{
  "report": "C21",
  "status": "PASS",
  "checks_passed": 75,
  "checks": [
    "frozen input sources/FILE_18.md",
    "frozen input sources/FILE_09.md",
    "frozen input sources/C20_PRIMITIVE_SOURCE_LEDGER.json",
    "frozen input sources/C20_DEPENDENCY_CERTIFICATE.json",
    "frozen input sources/C20_RESULTS.json",
    "frozen input sources/C20_REPORT.md",
    "frozen input sources/C17_SUM_RECONSTRUCTION.json",
    "frozen input sources/C19_RELATIVE_INPUTS.json",
    "frozen input sources/C19_ANCHOR_DEPENDENCY_CERTIFICATE.json",
    "controller FILE_18.md",
    "controller FILE_09.md",
    "C20 completed checkpoint",
    "source values and retained roles Arphaxad",
    "source values and retained roles Shelah",
    "source values and retained roles Eber",
    "source values and retained roles Peleg",
    "source values and retained roles Reu",
    "source values and retained roles Serug",
    "source values and retained roles Nahor",
    "source values and retained roles Terah",
    "shared suffix lifespan Abraham",
    "shared suffix lifespan Isaac",
    "shared suffix lifespan Jacob",
    "shared suffix lifespan Levi",
    "shared suffix lifespan Kohath",
    "shared suffix lifespan Amram",
    "shared suffix lifespan Moses",
    "natural early and late lifespan subtotals",
    "named remainders sum",
    "late surplus and boundary correction",
    "C17 non-Cainan total retained",
    "relative sum decomposition is exact",
    "same-side opening to SP close gap is exact",
    "source gap and two half-units",
    "remaining named balance",
    "old and new constraint bases exact coefficient identity",
    "new residual is the previous 10/17 elimination",
    "source Phi and Psi remain satisfied",
    "gap eliminates comparison anchor",
    "MT post-Flood and SP head begetting are absent from the reduced gap",
    "Cainan is absent from OFF source gap but present in target",
    "new pair spans exactly the old compatibility equations",
    "natural cut at Abraham",
    "unadjusted Arphaxad comparison",
    "relative-to-absolute source comparisons",
    "source close calibration",
    "same-side paired components agree",
    "paired Mirror bridge remains civil no-year-zero",
    "named difference telescope Arphaxad",
    "named difference telescope Shelah",
    "named difference telescope Eber",
    "named difference telescope Peleg",
    "named difference telescope Reu",
    "named difference telescope Serug",
    "named difference telescope Nahor",
    "named difference telescope Terah",
    "telescoped source chain reaches the named Abraham cut",
    "bounded control retained source",
    "constraint identity in control retained source",
    "bounded control Shelah lifespan +1",
    "constraint identity in control Shelah lifespan +1",
    "bounded control shared regular sojourn component +1",
    "constraint identity in control shared regular sojourn component +1",
    "bounded control SP Nahor begetting +1",
    "constraint identity in control SP Nahor begetting +1",
    "bounded control MT Nahor begetting +1",
    "constraint identity in control MT Nahor begetting +1",
    "bounded control SP pre-Lamech Jared begetting +1",
    "constraint identity in control SP pre-Lamech Jared begetting +1",
    "bounded control one member below cumulative opening",
    "constraint identity in control one member below cumulative opening",
    "bounded control G1 start replaces retained close",
    "constraint identity in control G1 start replaces retained close",
    "bounded control Arphaxad lifespan +1 and Shelah lifespan -1",
    "constraint identity in control Arphaxad lifespan +1 and Shelah lifespan -1"
  ],
  "frozen_inputs": 9,
  "source_balance": "1910+269+5+1=2185=5*299+3*230",
  "dependency_identity": "Phi+Psi+2C=0",
  "scope": "No canonical changes; regular Gears only Noah/Shem/Flood; no previous campaign execution."
}