{
  "nodes": [
    {"id": "FP", "name": "FixedPoint Q16_16", "status": "Verified"},
    {"id": "RRC", "name": "RRC Classification", "status": "Verified"},
    {"id": "AVM", "name": "AVMIsa Output Boundary", "status": "Pending"},
    {"id": "Semantics", "name": "Semantics Core", "status": "Pending"},
    {"id": "DNA", "name": "DNA Encoding Pipeline", "status": "Verified"},
    {"id": "Rigour", "name": "Rigour Pipeline", "status": "Verified"},
    {"id": "Lean", "name": "SilverSight Formalization", "status": "Verified"},
    {"id": "Audit", "name": "Audit/Fix Loop", "status": "Verified"}
  ],
  "edges": [
    {"from": "FP", "to": "RRC"},
    {"from": "FP", "to": "AVM"},
    {"from": "RRC", "to": "Semantics"},
    {"from": "Semantics", "to": "DNA"},
    {"from": "DNA", "to": "Rigour"},
    {"from": "Rigour", "to": "Lean"},
    {"from": "Lean", "to": "Build"},
    {"from": "Audit", "to": "Lean"}
  ]
}