{
  "columns": [
    "claim",
    "left",
    "right",
    "steps",
    "source",
    "status"
  ],
  "rows": [
    [
      "Actual/Rounded pair",
      12600,
      12600,
      "C570–C573",
      "File63 §§7.3–7.4,9.7",
      "source endpoints; composed map derived"
    ],
    [
      "P allocation",
      "70/69",
      "70/69",
      "C568–C569",
      "File63 §1.3",
      "source split; general identity derived"
    ],
    [
      "J allocation",
      "300/299",
      "300/299",
      "C570–C571",
      "File63 §§7.3–7.4",
      "source path; allocation identity derived"
    ],
    [
      "1566 convergence",
      300,
      300,
      "C534–C535",
      "File60 §§6.1–6.2",
      "same anchor/direction"
    ],
    [
      "Calendar calibration",
      "8400/23",
      "8400/23",
      "C586",
      "File12 calendrical physics",
      "schematic measure"
    ],
    [
      "3430 anatomy",
      3430,
      3430,
      "C546,C580,C611",
      "File60 cumulative packet; File63 §8",
      "same magnitude with distinct states"
    ],
    [
      "989 bridge unit",
      9890,
      9890,
      "C612",
      "File60 cumulative Abraham; File52c §3.14",
      "derived scaled-duration link"
    ],
    [
      "Cumulative root coverage",
      42,
      42,
      "C552",
      "File62 §§1.2–1.4",
      "dependent coordinate coverage"
    ],
    [
      "Enoch cell coverage",
      48,
      48,
      "C587",
      "File69 Appendix B.1–B.4",
      "dependent coordinate coverage"
    ],
    [
      "Enoch grid coverage",
      196,
      196,
      "C593",
      "File68 Appendix C.1–C.10",
      "dependent interval coverage"
    ],
    [
      "Enoch/Key9000",
      9000,
      9000,
      "C606",
      "File68 §8.9; File52c §3.15",
      "derived duration interface"
    ],
    [
      "529 second E",
      625,
      625,
      "C531,C610 context",
      "prior synthesis; File52c",
      "repeated Key, not repeated decimal inversion"
    ]
  ]
}