C20 RESULTS.json

{
  "report": "C20",
  "status": "PASS",
  "checks_passed": 96,
  "checks": [
    "frozen input sources/FILE_18.md",
    "frozen input sources/FILE_09.md",
    "frozen input sources/C19_RELATIVE_INPUTS.json",
    "frozen input sources/C19_ANCHOR_DEPENDENCY_CERTIFICATE.json",
    "frozen input sources/C19_RESULTS.json",
    "frozen input sources/C19_REPORT.md",
    "frozen input sources/C18_SOURCE_RECONSTRUCTION.json",
    "frozen input sources/C17_SUM_RECONSTRUCTION.json",
    "frozen input sources/C12_BASIS_CERTIFICATE.json",
    "frozen input sources/MIRROR_HANDOFF.md",
    "controller FILE_18.md",
    "controller FILE_09.md",
    "C19 is a completed checkpoint",
    "paired Mirror suffix convention retained",
    "source Flood closing calibration retained",
    "SP pre-Lamech subtotal",
    "begetting difference vector",
    "MT and SP post-Arphaxad sums",
    "relative begetting difference",
    "cardinal Noah/Flood span reconstructed",
    "primary elapsed Lamech interval",
    "MT same-Gear Noah/Flood supports the common cardinal relation",
    "distinct two-year roles agree at the source",
    "named cumulative Cainan agrees with lifespan source",
    "Shem lifespan agrees across retained stack sources",
    "non-Cainan lifespan current source Arphaxad",
    "non-Cainan lifespan current source Shelah",
    "non-Cainan lifespan current source Eber",
    "non-Cainan lifespan current source Peleg",
    "non-Cainan lifespan current source Reu",
    "non-Cainan lifespan current source Serug",
    "non-Cainan lifespan current source Nahor",
    "non-Cainan lifespan current source Terah",
    "non-Cainan lifespan current source Abraham",
    "non-Cainan lifespan current source Isaac",
    "non-Cainan lifespan current source Jacob",
    "non-Cainan lifespan current source Levi",
    "non-Cainan lifespan current source Kohath",
    "non-Cainan lifespan current source Amram",
    "non-Cainan lifespan current source Moses",
    "reconstructed relative head, suffix and cumulative total",
    "two selected lengths",
    "three typed unit calculations",
    "unit equals square of 23",
    "C19 widths and opening retained",
    "C19 coefficient constants retained",
    "eliminating cumulative opening and Mirror widths leaves the regular unit",
    "all retained compatibility residuals vanish",
    "regular data require the observed Cainan value",
    "inferred Cainan formula does not consume Cainan lifespan",
    "primitive expansion is an exact coefficient identity",
    "selected length and stack compatibility relation",
    "Cainan requirement is the unit residual",
    "SP midpoint reduction keeps its residual explicit",
    "C19 third-family residual identity at primitive level",
    "remaining 10/13 compatibility definition",
    "remaining 10/17 compatibility identity",
    "free-unit third-equation consistency identity",
    "three bounded independence certificates",
    "anchor, suffix and all non-Cainan lifespan inputs cancel from unit comparison",
    "common MT/SP post-Arphaxad changes cancel from unit comparison",
    "Shelah and Cainan are distinct source inputs",
    "SP path preserves fixed head and unit Primary Noah / primary Shem",
    "SP path preserves fixed head and unit Companion Noah / primary Shem",
    "SP path preserves fixed head and unit Companion Noah / companion Shem",
    "three source-qualified path decompositions",
    "retained cumulative branch membership N02",
    "retained cumulative branch lengths N02",
    "retained cumulative branch membership N04",
    "retained cumulative branch lengths N04",
    "C12 selected-length join is retained",
    "adjacent earlier-member diagnostic has source membership",
    "bounded control retained source",
    "residual identity in control retained source",
    "bounded control Cainan lifespan +1",
    "residual identity in control Cainan lifespan +1",
    "bounded control SP Nahor begetting +1",
    "residual identity in control SP Nahor begetting +1",
    "bounded control common MT and SP Nahor begetting +1",
    "residual identity in control common MT and SP Nahor begetting +1",
    "bounded control SP pre-Lamech Jared begetting +1",
    "residual identity in control SP pre-Lamech Jared begetting +1",
    "bounded control change 52 to 53 alone",
    "residual identity in control change 52 to 53 alone",
    "bounded control G1 start instead of retained close calibration",
    "residual identity in control G1 start instead of retained close calibration",
    "bounded control Shelah lifespan +1 with Cainan unchanged",
    "residual identity in control Shelah lifespan +1 with Cainan unchanged",
    "bounded control preserve midpoint: head and Lamech leg each +1",
    "residual identity in control preserve midpoint: head and Lamech leg each +1",
    "bounded control preserve head total: head +1 and Lamech leg -1",
    "residual identity in control preserve head total: head +1 and Lamech leg -1",
    "bounded control cardinal Noah span +1 through birth separation",
    "residual identity in control cardinal Noah span +1 through birth separation",
    "bounded control earlier cumulative member +1",
    "residual identity in control earlier cumulative member +1"
  ],
  "frozen_inputs": 10,
  "primitive_roles": 56,
  "unit_values": {
    "K_regular": 529,
    "K_local_regular": 529,
    "K_from_cumulative_members": 529
  },
  "remaining_unit_constraint": "2d+3ell_r-2P-2wC-4tau-kappa=0",
  "regular_required_Cainan": 460,
  "scope": "Fixed regular Creation; Gears only Noah/Shem/Flood; SP companions only Noah/Shem; source close calibration separate; native LXX ON and derived OFF; no canonical edits or earlier campaign execution."
}