Module resolve 

sqry graph resolve <symbol> [--explain] [--json]

End-to-end proof point for the Phase 2 binding plane: loads a snapshot from disk, constructs a BindingPlane facade, runs a resolution query, and prints the outcome. With --explain the ordered step trace is rendered via [WitnessRendering].

Output contracts

Text mode (default):

symbol: <name>
outcome: <Debug repr of SymbolResolutionOutcome>
  - node_id=<NodeId> classification=<Classification> kind=<NodeKind>
[blank line + "witness trace:" section when --explain is given]

JSON mode (--json):

{
  "symbol":   "<name>",
  "outcome":  "<serde outcome>",
  "bindings": [
    { "node_id": "...", "classification": "...", "kind": "..." }
  ],
  "explain":  null | { "steps": [...], "candidate_count": N, ... }
}

The JSON shape is the stable external contract for scripting consumers. Changes to key names or value types are a breaking public-API change.

Spec: 01_SPEC.md#fr9-end-to-end-proof Plan: 03_IMPLEMENTATION_PLAN.md P2U10

Functions

run

Runs the sqry graph resolve subcommand.