moon_graphdesk

    Property graph import, indexing, query and impact analysis

    graphdesk
    cli
    moonbit
    Download zip
    Author
    Version
    0.1.0
    License
    Apache-2.0
    Last updated
    12 hours ago
    Downloads
    3

    #Moon GraphDesk

    Property graph queries, implemented in MoonBit with a JSON CLI and reusable library API.

    • Repository: https://github.com/yyqdbngt/moon-graphdesk
    • Package: yyqdbngt/moon_graphdesk@0.1.0
    • License: Apache-2.0
    • Release scope: 0.1.0 initial implementation. The broader competition proposal in docs/proposal.md is a reference design, not a claim that every planned capability is implemented.

    #Implemented

    Node/edge/property import with identity and endpoint checks; outgoing and incoming indexes; typed/property selection; depth-limited forward and reverse traversal; nonnegative weighted shortest paths; iterative strongly connected components; cycles/isolated-node summaries; snapshots.

    #Build and run

    Use MoonBit and Node.js 24. The core library supports JS, wasm, wasm-gc and native; the filesystem/HTTP/process CLI is JS only.

    moon update moon build --target js moon run cmd/main --target js -- examples/scenario-1.json node _build/js/debug/build/cmd/main/main.js examples/scenario-1.json

    Pass - to read a UTF-8 JSON request from stdin. A single request must be at most 16 MiB. Successful requests print one JSON result; invalid requests exit nonzero. The host runner is a separate process and does not edit the input request file.

    #Library use

    moon add yyqdbngt/moon_graphdesk@0.1.0

    In the consumer's moon.pkg:

    import {
    "yyqdbngt/moon_graphdesk" @engine,
    "moonbitlang/core/json",
    }

    fn example(request : Json) -> Json raise {
    @engine.execute(request)
    }

    execute(Json) -> Json raise is the standard JSON boundary. from_json, Value::to_json, and run(Value) -> Value raise provide a typed semantic value interface. Object ordering is not significant; numeric values use finite Double. Public domain functions are listed in pkg.generated.mbti.

    #Tests

    moon test --target js moon test --target wasm moon test --target wasm-gc moon test --target native # requires a C compiler moon build --target js node scripts/check.mjs python -B scripts/reference.py

    There are 6 checked fixture cases in tests/cases.json, executed both in MoonBit white-box tests and through the actual Node CLI. Independent reference checks use Python's standard library or separately written algorithms. Fixtures are synthetic and are not presented as production adoption evidence. See input and output examples and current boundaries.

    #Current boundaries

    An in-memory property graph. Shortest paths use O(V²) Dijkstra and reject negative weights. Components are sorted for reproducible output. Impact analysis follows incoming edges up to the requested depth (default 1). No graph query language or disk database. Numeric weights use finite Double. Snapshots are JSON graph data validated again on import.

    See source and dependency attribution. This release does not establish competition eligibility or organizer acceptance.

    InputError

    pub(all) suberror InputError {
    InputError(String)
    } derive(Eq, Show)

    Graph

    pub struct Graph {
    nodes : Map[String, Value]
    edges : Array[Value]
    outgoing : Map[String, Array[Int]]
    incoming : Map[String, Array[Int]]
    }

    Graph::shortest_path

    fn Graph::shortest_path(self : Graph, start : String, target : String, edge_type? : String) -> Value raise

    Graph::snapshot

    fn Graph::snapshot(self : Graph) -> Value

    Graph::strong_components

    fn Graph::strong_components(self : Graph) -> Array[Array[String]] raise

    Graph::traverse

    fn Graph::traverse(self : Graph, start : String, depth : Int, reverse? : Bool, edge_type? : String) -> Value raise

    Value

    pub(all) enum Value {
    Null
    Bool(Bool)
    Number(Double)
    String(String)
    Array(Array[Value])
    Object(Map[String, Value])
    } derive(Eq,
    Debug
    )

    Value::stringify

    fn Value::stringify(self : Value) -> String

    Value::to_json

    fn Value::to_json(self : Value) -> Json

    execute

    fn execute(request : Json) -> Json raise

    from_json

    fn from_json(value : Json) -> Value

    load_graph

    fn load_graph(source : Value) -> Graph raise

    run

    fn run(request : Value) -> Value raise