{
  "contract_version": "0.1.0",
  "authority_status": "CANDIDATE_NON_RUNTIME_NO_AUTHORITY_EFFECT",
  "definition": {
    "graph_id": "LOCAL-DEMO-2",
    "topology_authority": "LOCAL_NON_GRAPHUS_CONTRACT",
    "edge_set_ref": "LOCAL-DEMO-2-EDGES@1",
    "edge_set_authority_status": "DISPLAY_ONLY_NON_RUNTIME",
    "nodes": [{"node_id": "N1", "ports": ["out"]}, {"node_id": "N2", "ports": ["in"]}],
    "connections": [{"connection_id": "C1", "source": "N1:out", "target": "N2:in", "kind": "DIRECTED_TRANSITION"}]
  },
  "instance": {"instance_id": "I1", "graph_ref": "LOCAL-DEMO-2", "instance_path": "/I1", "semantic_bindings": {}, "parent_instance_ref": null, "invocation_ref": null},
  "run": {
    "run_id": "R1", "instance_ref": "I1", "tenet_evidence_ref": "TENET@epoch-1", "rotas_evidence_ref": "ROTA@epoch-1", "arepo_decision_ref": "AREPO-ADMIT@epoch-1",
    "bounds": {"max_depth": 2, "max_nodes": 4, "max_opera_calls": 1, "max_parallel_branches": 1, "max_revisits": 1, "max_time_ms": 1000, "max_trace_events": 8, "max_context_units": 1000},
    "branches": [],
    "events": [{"sequence": 0, "event_type": "VISIT", "locus_ref": "N1", "connection_ref": null, "state_delta": {"entered": true}}, {"sequence": 1, "event_type": "TRAVERSE", "locus_ref": "N2", "connection_ref": "C1", "state_delta": {"moved": true}}, {"sequence": 2, "event_type": "COMPLETE", "locus_ref": "N2", "connection_ref": null, "state_delta": {"closed": true}}],
    "result_status": "COMPLETED"
  }
}