{
  "status": "passed",
  "method": "Separately written root-agent source joins and integer cross-products; no main calculation imported. Shared frozen inputs and same analyst, not independent historical corroboration.",
  "new_independent_agent_review": false,
  "check_count": 341,
  "checks": [
    "48 unique cumulative source identities",
    "original32 members retained",
    "source seam text",
    "Lamech source derivation text",
    "Noah provenance 0",
    "Noah cumulative lifespans 0",
    "Noah shape join 0 1",
    "Noah shape join 0 2",
    "Noah shape join 0 3",
    "Noah provenance 1",
    "Noah cumulative lifespans 1",
    "Noah shape join 1 1",
    "Noah shape join 1 2",
    "Noah shape join 1 3",
    "Noah provenance 2",
    "Noah cumulative lifespans 2",
    "Noah shape join 2 1",
    "Noah shape join 2 2",
    "Noah shape join 2 3",
    "Noah provenance 3",
    "Noah cumulative lifespans 3",
    "Noah shape join 3 1",
    "Noah shape join 3 2",
    "Noah shape join 3 3",
    "Noah provenance 4",
    "Noah cumulative lifespans 4",
    "Noah shape join 4 1",
    "Noah shape join 4 2",
    "Noah shape join 4 3",
    "Noah provenance 5",
    "Noah cumulative lifespans 5",
    "Noah shape join 5 1",
    "Noah shape join 5 2",
    "Noah shape join 5 3",
    "Noah provenance 6",
    "Noah cumulative lifespans 6",
    "Noah shape join 6 1",
    "Noah shape join 6 2",
    "Noah shape join 6 3",
    "Noah provenance 7",
    "Noah cumulative lifespans 7",
    "Noah shape join 7 1",
    "Noah shape join 7 2",
    "Noah shape join 7 3",
    "no500 or1100 source interval",
    "cumulative joined input 0",
    "joined E internal no source 0",
    "joined J terminal no source 0",
    "cumulative joined input 1",
    "joined E internal no source 1",
    "joined J terminal no source 1",
    "cumulative joined input 2",
    "joined E internal no source 2",
    "joined J terminal no source 2",
    "cumulative joined input 3",
    "joined E internal no source 3",
    "joined J terminal no source 3",
    "cumulative joined input 4",
    "joined E internal no source 4",
    "joined J terminal no source 4",
    "cumulative joined input 5",
    "joined E internal no source 5",
    "joined J terminal no source 5",
    "annual source correspondence 2 0",
    "OFF interior excludes19K 2 0",
    "annual source correspondence 2 1",
    "OFF interior excludes19K 2 1",
    "annual source correspondence 2 2",
    "OFF interior excludes19K 2 2",
    "annual source correspondence 2 3",
    "OFF interior excludes19K 2 3",
    "annual source correspondence 2 4",
    "OFF interior excludes19K 2 4",
    "annual source correspondence 2 5",
    "OFF interior excludes19K 2 5",
    "annual source correspondence 2 6",
    "OFF interior excludes19K 2 6",
    "annual source correspondence 2 7",
    "OFF interior excludes19K 2 7",
    "unique annual correspondence 2",
    "fixed19K Noah source lift 2",
    "reversal phase 2 -1 -1",
    "translation phase 2 -1 -1",
    "reversal phase 2 -1 1",
    "translation phase 2 -1 1",
    "reversal phase 2 1 -1",
    "translation phase 2 1 -1",
    "reversal phase 2 1 1",
    "translation phase 2 1 1",
    "950 bridge endpoint join 2 0 0",
    "950 bridge coefficient 2 0 0",
    "950 matrix replay 2 0 0",
    "950 bridge endpoint join 2 0 1",
    "950 bridge coefficient 2 0 1",
    "950 matrix replay 2 0 1",
    "950 bridge endpoint join 2 1 0",
    "950 bridge coefficient 2 1 0",
    "950 matrix replay 2 1 0",
    "950 bridge endpoint join 2 1 1",
    "950 bridge coefficient 2 1 1",
    "950 matrix replay 2 1 1",
    "annual source correspondence 3 0",
    "OFF interior excludes19K 3 0",
    "annual source correspondence 3 1",
    "OFF interior excludes19K 3 1",
    "annual source correspondence 3 2",
    "OFF interior excludes19K 3 2",
    "annual source correspondence 3 3",
    "OFF interior excludes19K 3 3",
    "annual source correspondence 3 4",
    "OFF interior excludes19K 3 4",
    "annual source correspondence 3 5",
    "OFF interior excludes19K 3 5",
    "annual source correspondence 3 6",
    "OFF interior excludes19K 3 6",
    "annual source correspondence 3 7",
    "OFF interior excludes19K 3 7",
    "unique annual correspondence 3",
    "fixed19K Noah source lift 3",
    "reversal phase 3 -1 -1",
    "translation phase 3 -1 -1",
    "reversal phase 3 -1 1",
    "translation phase 3 -1 1",
    "reversal phase 3 1 -1",
    "translation phase 3 1 -1",
    "reversal phase 3 1 1",
    "translation phase 3 1 1",
    "950 bridge endpoint join 3 0 0",
    "950 bridge coefficient 3 0 0",
    "950 matrix replay 3 0 0",
    "950 bridge endpoint join 3 0 1",
    "950 bridge coefficient 3 0 1",
    "950 matrix replay 3 0 1",
    "950 bridge endpoint join 3 1 0",
    "950 bridge coefficient 3 1 0",
    "950 matrix replay 3 1 0",
    "950 bridge endpoint join 3 1 1",
    "950 bridge coefficient 3 1 1",
    "950 matrix replay 3 1 1",
    "annual source correspondence 4 0",
    "OFF interior excludes19K 4 0",
    "annual source correspondence 4 1",
    "OFF interior excludes19K 4 1",
    "annual source correspondence 4 2",
    "OFF interior excludes19K 4 2",
    "annual source correspondence 4 3",
    "OFF interior excludes19K 4 3",
    "annual source correspondence 4 4",
    "OFF interior excludes19K 4 4",
    "annual source correspondence 4 5",
    "OFF interior excludes19K 4 5",
    "annual source correspondence 4 6",
    "OFF interior excludes19K 4 6",
    "annual source correspondence 4 7",
    "OFF interior excludes19K 4 7",
    "unique annual correspondence 4",
    "fixed19K Noah source lift 4",
    "reversal phase 4 -1 -1",
    "translation phase 4 -1 -1",
    "reversal phase 4 -1 1",
    "translation phase 4 -1 1",
    "reversal phase 4 1 -1",
    "translation phase 4 1 -1",
    "reversal phase 4 1 1",
    "translation phase 4 1 1",
    "950 bridge endpoint join 4 0 0",
    "950 bridge coefficient 4 0 0",
    "950 matrix replay 4 0 0",
    "950 bridge endpoint join 4 0 1",
    "950 bridge coefficient 4 0 1",
    "950 matrix replay 4 0 1",
    "950 bridge endpoint join 4 1 0",
    "950 bridge coefficient 4 1 0",
    "950 matrix replay 4 1 0",
    "950 bridge endpoint join 4 1 1",
    "950 bridge coefficient 4 1 1",
    "950 matrix replay 4 1 1",
    "annual source correspondence 5 0",
    "OFF interior excludes19K 5 0",
    "annual source correspondence 5 1",
    "OFF interior excludes19K 5 1",
    "annual source correspondence 5 2",
    "OFF interior excludes19K 5 2",
    "annual source correspondence 5 3",
    "OFF interior excludes19K 5 3",
    "annual source correspondence 5 4",
    "OFF interior excludes19K 5 4",
    "annual source correspondence 5 5",
    "OFF interior excludes19K 5 5",
    "annual source correspondence 5 6",
    "OFF interior excludes19K 5 6",
    "annual source correspondence 5 7",
    "OFF interior excludes19K 5 7",
    "unique annual correspondence 5",
    "fixed19K Noah source lift 5",
    "reversal phase 5 -1 -1",
    "translation phase 5 -1 -1",
    "reversal phase 5 -1 1",
    "translation phase 5 -1 1",
    "reversal phase 5 1 -1",
    "translation phase 5 1 -1",
    "reversal phase 5 1 1",
    "translation phase 5 1 1",
    "950 bridge endpoint join 5 0 0",
    "950 bridge coefficient 5 0 0",
    "950 matrix replay 5 0 0",
    "950 bridge endpoint join 5 0 1",
    "950 bridge coefficient 5 0 1",
    "950 matrix replay 5 0 1",
    "950 bridge endpoint join 5 1 0",
    "950 bridge coefficient 5 1 0",
    "950 matrix replay 5 1 0",
    "950 bridge endpoint join 5 1 1",
    "950 bridge coefficient 5 1 1",
    "950 matrix replay 5 1 1",
    "four existing native lifespan lifts",
    "cumulative J source edge 0",
    "cumulative P source edge 0",
    "cumulative equal gain and sourced first segment 0",
    "cumulative J source edge 1",
    "cumulative P source edge 1",
    "cumulative equal gain and sourced first segment 1",
    "cumulative J source edge 2",
    "cumulative P source edge 2",
    "cumulative equal gain and sourced first segment 2",
    "cumulative J source edge 3",
    "cumulative P source edge 3",
    "cumulative equal gain and sourced first segment 3",
    "cumulative J source edge 4",
    "cumulative P source edge 4",
    "cumulative equal gain and sourced first segment 4",
    "cumulative J source edge 5",
    "cumulative P source edge 5",
    "cumulative equal gain and sourced first segment 5",
    "regular exact image residual numerators 2",
    "regular common output iff primary 2",
    "alternative SP start standalone P 2",
    "regular exact image residual numerators 3",
    "regular common output iff primary 3",
    "regular sourced first segment 3",
    "regular exact image residual numerators 4",
    "regular common output iff primary 4",
    "alternative SP start standalone P 4",
    "regular exact image residual numerators 5",
    "regular common output iff primary 5",
    "regular sourced first segment 5",
    "regular support domain",
    "paired component cross products cumulative 2 -1",
    "fixed pivot phase mismatch cumulative 2 -1",
    "paired component cross products cumulative 2 1",
    "fixed pivot phase mismatch cumulative 2 1",
    "paired component cross products cumulative 3 -1",
    "fixed pivot phase mismatch cumulative 3 -1",
    "paired component cross products cumulative 3 1",
    "fixed pivot phase mismatch cumulative 3 1",
    "paired component cross products cumulative 4 -1",
    "fixed pivot phase mismatch cumulative 4 -1",
    "paired component cross products cumulative 4 1",
    "fixed pivot phase mismatch cumulative 4 1",
    "paired component cross products cumulative 5 -1",
    "fixed pivot phase mismatch cumulative 5 -1",
    "paired component cross products cumulative 5 1",
    "fixed pivot phase mismatch cumulative 5 1",
    "paired component cross products regular 3 -1",
    "fixed pivot phase mismatch regular 3 -1",
    "paired component cross products regular 3 1",
    "fixed pivot phase mismatch regular 3 1",
    "paired component cross products regular 5 -1",
    "fixed pivot phase mismatch regular 5 -1",
    "paired component cross products regular 5 1",
    "fixed pivot phase mismatch regular 5 1",
    "twelve component joins",
    "selector cumulative source equality 00:i7",
    "selector regular source equality 00:i7",
    "selector normal form 00:i7",
    "selector cumulative source equality 00:i6",
    "selector regular source equality 00:i6",
    "selector normal form 00:i6",
    "selector cumulative source equality 00:i5",
    "selector regular source equality 00:i5",
    "selector normal form 00:i5",
    "selector cumulative source equality 00:i4",
    "selector regular source equality 00:i4",
    "selector normal form 00:i4",
    "selector cumulative source equality 00:i3",
    "selector regular source equality 00:i3",
    "selector normal form 00:i3",
    "selector cumulative source equality 02:i7",
    "selector regular source equality 02:i7",
    "selector normal form 02:i7",
    "selector cumulative source equality 02:i6",
    "selector regular source equality 02:i6",
    "selector normal form 02:i6",
    "selector cumulative source equality 02:i5",
    "selector regular source equality 02:i5",
    "selector normal form 02:i5",
    "selector cumulative source equality 02:i4",
    "selector regular source equality 02:i4",
    "selector normal form 02:i4",
    "selector cumulative source equality 02:i3",
    "selector regular source equality 02:i3",
    "selector normal form 02:i3",
    "selector cumulative source equality 20:i7",
    "selector regular source equality 20:i7",
    "selector normal form 20:i7",
    "selector cumulative source equality 20:i6",
    "selector regular source equality 20:i6",
    "selector normal form 20:i6",
    "selector cumulative source equality 20:i5",
    "selector regular source equality 20:i5",
    "selector normal form 20:i5",
    "selector cumulative source equality 20:i4",
    "selector regular source equality 20:i4",
    "selector normal form 20:i4",
    "selector cumulative source equality 20:i3",
    "selector regular source equality 20:i3",
    "selector normal form 20:i3",
    "selector cumulative source equality 22:i7",
    "selector regular source equality 22:i7",
    "selector normal form 22:i7",
    "selector cumulative source equality 22:i6",
    "selector regular source equality 22:i6",
    "selector normal form 22:i6",
    "selector cumulative source equality 22:i5",
    "selector regular source equality 22:i5",
    "selector normal form 22:i5",
    "selector cumulative source equality 22:i4",
    "selector regular source equality 22:i4",
    "selector normal form 22:i4",
    "selector cumulative source equality 22:i3",
    "selector regular source equality 22:i3",
    "selector normal form 22:i3",
    "all paired selector outputs replay",
    "Noah fixed19K selector replay",
    "joint selector exact two controls",
    "affine coefficient numerator",
    "unique intersection equation coefficients",
    "primitive integer outputs",
    "integer input versus output distinction",
    "actual primitive scale",
    "C372 declared scale replay"
  ],
  "Noah_annual_matches": [
    {
      "i": 2,
      "OFF_index": 3
    },
    {
      "i": 3,
      "OFF_index": 5
    },
    {
      "i": 4,
      "OFF_index": 5
    },
    {
      "i": 5,
      "OFF_index": 7
    }
  ],
  "Noah_bridge_matrices": [
    {
      "i": 2,
      "matrix": [
        [
          10051,
          9592
        ],
        [
          9592,
          9133
        ]
      ]
    },
    {
      "i": 3,
      "matrix": [
        [
          10051,
          9591
        ],
        [
          9591,
          9131
        ]
      ]
    },
    {
      "i": 4,
      "matrix": [
        [
          10051,
          9592
        ],
        [
          9592,
          9133
        ]
      ]
    },
    {
      "i": 5,
      "matrix": [
        [
          10051,
          9591
        ],
        [
          9591,
          9131
        ]
      ]
    }
  ],
  "cumulative_P_J_source_rows": [
    0,
    1,
    2,
    3,
    4,
    5
  ],
  "regular_primary_P_J_source_rows": [
    3,
    5
  ],
  "companion_failures": [
    2,
    4
  ],
  "component_preserving_phase_joins": 12,
  "fixed_pivot_phase_joins": 0,
  "C319_survivors": {
    "cumulative": [
      "20:i3",
      "20:i4",
      "20:i5",
      "22:i3",
      "22:i4",
      "22:i5"
    ],
    "regular": [
      "02:i3",
      "02:i5",
      "22:i3",
      "22:i5"
    ],
    "joint": [
      "22:i3",
      "22:i5"
    ]
  },
  "primitive_scale": 2,
  "C374_executed": false
}