{
  "nodes": [
    {
      "id": "I01",
      "kind": "source input",
      "title": "Selected cumulative fields and the frozen regular event register"
    },
    {
      "id": "I02",
      "kind": "coordinate convention",
      "title": "Fixed Mirror and phase representation"
    },
    {
      "id": "I03",
      "kind": "declared placement",
      "title": "Inherited cumulative translations and joining conditions"
    },
    {
      "id": "I04",
      "kind": "comparison convention",
      "title": "The 1000:1 local display"
    },
    {
      "id": "I05",
      "kind": "retained source relation",
      "title": "The sourced 17K closing correspondence"
    },
    {
      "id": "I06",
      "kind": "retained source relation",
      "title": "Two 13K expansion chains"
    },
    {
      "id": "I07",
      "kind": "calibration condition",
      "title": "Map the local junction and inner component to the retained chain"
    },
    {
      "id": "D01",
      "kind": "derived identity",
      "title": "The 600/598 residual gives local reflection"
    },
    {
      "id": "D02",
      "kind": "derived geometry",
      "title": "Central 14 and selected 5/6/7 radii"
    },
    {
      "id": "D03",
      "kind": "derived geometric classification",
      "title": "The marker roles remain different"
    },
    {
      "id": "D04",
      "kind": "derived source comparison",
      "title": "Closing 600-by 8993 rectangle"
    },
    {
      "id": "D05",
      "kind": "induced map",
      "title": "The 7K Noah shift and regular Flood map"
    },
    {
      "id": "D06",
      "kind": "finite source correspondence",
      "title": "Six admitted radius families"
    },
    {
      "id": "D07",
      "kind": "calibrated comparison",
      "title": "The 1196/1300 charts"
    },
    {
      "id": "D08",
      "kind": "equivalent constraints",
      "title": "Outer 25/23 and shared stage endpoint are one condition"
    },
    {
      "id": "D09",
      "kind": "retained finite exclusion",
      "title": "The inner families add no target matches"
    },
    {
      "id": "D10",
      "kind": "conditional determination",
      "title": "The translations are fixed if the declared joins are imposed"
    },
    {
      "id": "L01",
      "kind": "assessment",
      "title": "The strongest unresolved link is selection of the construction"
    }
  ],
  "edges": [
    {
      "from": "I01",
      "to": "D01",
      "meaning": "declared dependency, not independent-witness support"
    },
    {
      "from": "I02",
      "to": "D01",
      "meaning": "declared dependency, not independent-witness support"
    },
    {
      "from": "I03",
      "to": "D01",
      "meaning": "declared dependency, not independent-witness support"
    },
    {
      "from": "I01",
      "to": "D02",
      "meaning": "declared dependency, not independent-witness support"
    },
    {
      "from": "I03",
      "to": "D02",
      "meaning": "declared dependency, not independent-witness support"
    },
    {
      "from": "D01",
      "to": "D02",
      "meaning": "declared dependency, not independent-witness support"
    },
    {
      "from": "I02",
      "to": "D03",
      "meaning": "declared dependency, not independent-witness support"
    },
    {
      "from": "I04",
      "to": "D03",
      "meaning": "declared dependency, not independent-witness support"
    },
    {
      "from": "D02",
      "to": "D03",
      "meaning": "declared dependency, not independent-witness support"
    },
    {
      "from": "I01",
      "to": "D04",
      "meaning": "declared dependency, not independent-witness support"
    },
    {
      "from": "I02",
      "to": "D04",
      "meaning": "declared dependency, not independent-witness support"
    },
    {
      "from": "I05",
      "to": "D04",
      "meaning": "declared dependency, not independent-witness support"
    },
    {
      "from": "I03",
      "to": "D05",
      "meaning": "declared dependency, not independent-witness support"
    },
    {
      "from": "D04",
      "to": "D05",
      "meaning": "declared dependency, not independent-witness support"
    },
    {
      "from": "I01",
      "to": "D06",
      "meaning": "declared dependency, not independent-witness support"
    },
    {
      "from": "I02",
      "to": "D06",
      "meaning": "declared dependency, not independent-witness support"
    },
    {
      "from": "D05",
      "to": "D06",
      "meaning": "declared dependency, not independent-witness support"
    },
    {
      "from": "D03",
      "to": "D07",
      "meaning": "declared dependency, not independent-witness support"
    },
    {
      "from": "I06",
      "to": "D07",
      "meaning": "declared dependency, not independent-witness support"
    },
    {
      "from": "I07",
      "to": "D07",
      "meaning": "declared dependency, not independent-witness support"
    },
    {
      "from": "D06",
      "to": "D08",
      "meaning": "declared dependency, not independent-witness support"
    },
    {
      "from": "D07",
      "to": "D08",
      "meaning": "declared dependency, not independent-witness support"
    },
    {
      "from": "I01",
      "to": "D09",
      "meaning": "declared dependency, not independent-witness support"
    },
    {
      "from": "D06",
      "to": "D09",
      "meaning": "declared dependency, not independent-witness support"
    },
    {
      "from": "D07",
      "to": "D09",
      "meaning": "declared dependency, not independent-witness support"
    },
    {
      "from": "I01",
      "to": "D10",
      "meaning": "declared dependency, not independent-witness support"
    },
    {
      "from": "I02",
      "to": "D10",
      "meaning": "declared dependency, not independent-witness support"
    },
    {
      "from": "I03",
      "to": "D10",
      "meaning": "declared dependency, not independent-witness support"
    },
    {
      "from": "D01",
      "to": "D10",
      "meaning": "declared dependency, not independent-witness support"
    },
    {
      "from": "I03",
      "to": "L01",
      "meaning": "declared dependency, not independent-witness support"
    },
    {
      "from": "I04",
      "to": "L01",
      "meaning": "declared dependency, not independent-witness support"
    },
    {
      "from": "I07",
      "to": "L01",
      "meaning": "declared dependency, not independent-witness support"
    },
    {
      "from": "D07",
      "to": "L01",
      "meaning": "declared dependency, not independent-witness support"
    },
    {
      "from": "D09",
      "to": "L01",
      "meaning": "declared dependency, not independent-witness support"
    },
    {
      "from": "D10",
      "to": "L01",
      "meaning": "declared dependency, not independent-witness support"
    }
  ],
  "topological_order": [
    "I01",
    "I02",
    "I03",
    "I04",
    "I05",
    "I06",
    "I07",
    "D01",
    "D02",
    "D03",
    "D04",
    "D05",
    "D06",
    "D07",
    "D08",
    "D09",
    "D10",
    "L01"
  ],
  "acyclic": true,
  "semantic_truth_not_machine_proved": true
}