{
"check_count": 91,
"checks": [
"frozen FILE_18.md",
"frozen FILE_09.md",
"frozen C10_RESULTS.json",
"frozen C10_REPORT.md",
"frozen C12_RESULTS.json",
"frozen C12_REPORT.md",
"frozen C122_CERTIFICATE.json",
"frozen C122_REPORT.md",
"frozen C127_GRAPH.json",
"frozen C131_CERTIFICATE.json",
"frozen C131_REPORT.md",
"frozen C131_CHECKPOINT.md",
"controlling source fields and paired phase",
"frozen scope",
"source identity includes role and phase",
"five C12 source endpoint comparisons",
"N01 independent C10/C12/C122 joins",
"N01 A typed source",
"N01 c typed source",
"N01 D typed source",
"N01 X typed source",
"N01 Y typed source",
"N01 b typed source",
"N01 q typed source",
"N01 f typed source",
"N01 regular role selectors",
"N01 20K both seasons",
"N01 full four-cell 17K square",
"N01 13K Conquest prefix both seasons",
"N01 optional sourced opening",
"N02 independent C10/C12/C122 joins",
"N02 A typed source",
"N02 c typed source",
"N02 D typed source",
"N02 X typed source",
"N02 Y typed source",
"N02 b typed source",
"N02 q typed source",
"N02 f typed source",
"N02 regular role selectors",
"N02 20K both seasons",
"N02 full four-cell 17K square",
"N02 13K Conquest prefix both seasons",
"N02 optional sourced opening",
"N03 independent C10/C12/C122 joins",
"N03 A typed source",
"N03 c typed source",
"N03 D typed source",
"N03 X typed source",
"N03 Y typed source",
"N03 b typed source",
"N03 q typed source",
"N03 f typed source",
"N03 regular role selectors",
"N03 20K both seasons",
"N03 full four-cell 17K square",
"N03 13K Conquest prefix both seasons",
"N03 optional sourced opening",
"N04 independent C10/C12/C122 joins",
"N04 A typed source",
"N04 c typed source",
"N04 D typed source",
"N04 X typed source",
"N04 Y typed source",
"N04 b typed source",
"N04 q typed source",
"N04 f typed source",
"N04 regular role selectors",
"N04 20K both seasons",
"N04 full four-cell 17K square",
"N04 13K Conquest prefix both seasons",
"N04 optional sourced opening",
"O typed opening member",
"four retained source fields",
"deletion A across four rows",
"deletion D across four rows",
"deletion O across four rows",
"deletion U across four rows",
"deletion X across four rows",
"deletion M across four rows",
"deletion b across four rows",
"deletion q across four rows",
"deletion f across four rows",
"deletion z across four rows",
"fifth A D X independently in C10/C12",
"fifth unadmitted U and M are phase-specific",
"fifth b/f sourced but Conquest q excluded",
"fifth scalar and both phase components",
"fifth exact incidence outcome",
"fifth two absent square facets and absent path facet",
"fifth regenerated z cannot supply missing q"
],
"passed": true,
"report": "C132"
}
Evidence
RESULTS.json
Linked sources and evidence
Edition and provenance
RESULTS.json
SHA-256 442e092b69cac4bd949b283941c56bb2fb9c392a906fb88e8e991719ffdc3b42
C01–C479/reference/490d_C01_C265_Complete_Window_Archive_20260923.zip!/workspace/mirror_C132_Finite_Source_Incidence_Audit_20260922/RESULTS.json