{
"step": "C337",
"status": "passed",
"assertions_passed": 427,
"checks": [
"cumulative 00/0/0",
"cumulative 00/0/1",
"cumulative 00/0/2",
"cumulative 00/0/3",
"cumulative 00/0/4",
"cumulative 00/0/5",
"cumulative 00/0/6",
"cumulative 00/0/7",
"cumulative 00/1/0",
"cumulative 00/1/1",
"cumulative 00/1/2",
"cumulative 00/1/3",
"cumulative 00/1/4",
"cumulative 00/1/5",
"cumulative 00/1/6",
"cumulative 00/1/7",
"cumulative 00/2/0",
"cumulative 00/2/1",
"cumulative 00/2/2",
"cumulative 00/2/3",
"cumulative 00/2/4",
"cumulative 00/2/5",
"cumulative 00/2/6",
"cumulative 00/2/7",
"cumulative 00/3/0",
"cumulative 00/3/1",
"cumulative 00/3/2",
"cumulative 00/3/3",
"cumulative 00/3/4",
"cumulative 00/3/5",
"cumulative 00/3/6",
"cumulative 00/3/7",
"cumulative 00/4/0",
"cumulative 00/4/1",
"cumulative 00/4/2",
"cumulative 00/4/3",
"cumulative 00/4/4",
"cumulative 00/4/5",
"cumulative 00/4/6",
"cumulative 00/4/7",
"cumulative 00/5/0",
"cumulative 00/5/1",
"cumulative 00/5/2",
"cumulative 00/5/3",
"cumulative 00/5/4",
"cumulative 00/5/5",
"cumulative 00/5/6",
"cumulative 00/5/7",
"cumulative 00/6/0",
"cumulative 00/6/1",
"cumulative 00/6/2",
"cumulative 00/6/3",
"cumulative 00/6/4",
"cumulative 00/6/5",
"cumulative 00/6/6",
"cumulative 00/6/7",
"cumulative 00/7/0",
"cumulative 00/7/1",
"cumulative 00/7/2",
"cumulative 00/7/3",
"cumulative 00/7/4",
"cumulative 00/7/5",
"cumulative 00/7/6",
"cumulative 00/7/7",
"cumulative 01/0/0",
"cumulative 01/0/1",
"cumulative 01/0/2",
"cumulative 01/0/3",
"cumulative 01/0/4",
"cumulative 01/0/5",
"cumulative 01/0/6",
"cumulative 01/0/7",
"cumulative 01/1/0",
"cumulative 01/1/1",
"cumulative 01/1/2",
"cumulative 01/1/3",
"cumulative 01/1/4",
"cumulative 01/1/5",
"cumulative 01/1/6",
"cumulative 01/1/7",
"cumulative 01/2/0",
"cumulative 01/2/1",
"cumulative 01/2/2",
"cumulative 01/2/3",
"cumulative 01/2/4",
"cumulative 01/2/5",
"cumulative 01/2/6",
"cumulative 01/2/7",
"cumulative 01/3/0",
"cumulative 01/3/1",
"cumulative 01/3/2",
"cumulative 01/3/3",
"cumulative 01/3/4",
"cumulative 01/3/5",
"cumulative 01/3/6",
"cumulative 01/3/7",
"cumulative 01/4/0",
"cumulative 01/4/1",
"cumulative 01/4/2",
"cumulative 01/4/3",
"cumulative 01/4/4",
"cumulative 01/4/5",
"cumulative 01/4/6",
"cumulative 01/4/7",
"cumulative 01/5/0",
"cumulative 01/5/1",
"cumulative 01/5/2",
"cumulative 01/5/3",
"cumulative 01/5/4",
"cumulative 01/5/5",
"cumulative 01/5/6",
"cumulative 01/5/7",
"cumulative 01/6/0",
"cumulative 01/6/1",
"cumulative 01/6/2",
"cumulative 01/6/3",
"cumulative 01/6/4",
"cumulative 01/6/5",
"cumulative 01/6/6",
"cumulative 01/6/7",
"cumulative 01/7/0",
"cumulative 01/7/1",
"cumulative 01/7/2",
"cumulative 01/7/3",
"cumulative 01/7/4",
"cumulative 01/7/5",
"cumulative 01/7/6",
"cumulative 01/7/7",
"cumulative 10/0/0",
"cumulative 10/0/1",
"cumulative 10/0/2",
"cumulative 10/0/3",
"cumulative 10/0/4",
"cumulative 10/0/5",
"cumulative 10/0/6",
"cumulative 10/0/7",
"cumulative 10/1/0",
"cumulative 10/1/1",
"cumulative 10/1/2",
"cumulative 10/1/3",
"cumulative 10/1/4",
"cumulative 10/1/5",
"cumulative 10/1/6",
"cumulative 10/1/7",
"cumulative 10/2/0",
"cumulative 10/2/1",
"cumulative 10/2/2",
"cumulative 10/2/3",
"cumulative 10/2/4",
"cumulative 10/2/5",
"cumulative 10/2/6",
"cumulative 10/2/7",
"cumulative 10/3/0",
"cumulative 10/3/1",
"cumulative 10/3/2",
"cumulative 10/3/3",
"cumulative 10/3/4",
"cumulative 10/3/5",
"cumulative 10/3/6",
"cumulative 10/3/7",
"cumulative 10/4/0",
"cumulative 10/4/1",
"cumulative 10/4/2",
"cumulative 10/4/3",
"cumulative 10/4/4",
"cumulative 10/4/5",
"cumulative 10/4/6",
"cumulative 10/4/7",
"cumulative 10/5/0",
"cumulative 10/5/1",
"cumulative 10/5/2",
"cumulative 10/5/3",
"cumulative 10/5/4",
"cumulative 10/5/5",
"cumulative 10/5/6",
"cumulative 10/5/7",
"cumulative 10/6/0",
"cumulative 10/6/1",
"cumulative 10/6/2",
"cumulative 10/6/3",
"cumulative 10/6/4",
"cumulative 10/6/5",
"cumulative 10/6/6",
"cumulative 10/6/7",
"cumulative 10/7/0",
"cumulative 10/7/1",
"cumulative 10/7/2",
"cumulative 10/7/3",
"cumulative 10/7/4",
"cumulative 10/7/5",
"cumulative 10/7/6",
"cumulative 10/7/7",
"cumulative 11/0/0",
"cumulative 11/0/1",
"cumulative 11/0/2",
"cumulative 11/0/3",
"cumulative 11/0/4",
"cumulative 11/0/5",
"cumulative 11/0/6",
"cumulative 11/0/7",
"cumulative 11/1/0",
"cumulative 11/1/1",
"cumulative 11/1/2",
"cumulative 11/1/3",
"cumulative 11/1/4",
"cumulative 11/1/5",
"cumulative 11/1/6",
"cumulative 11/1/7",
"cumulative 11/2/0",
"cumulative 11/2/1",
"cumulative 11/2/2",
"cumulative 11/2/3",
"cumulative 11/2/4",
"cumulative 11/2/5",
"cumulative 11/2/6",
"cumulative 11/2/7",
"cumulative 11/3/0",
"cumulative 11/3/1",
"cumulative 11/3/2",
"cumulative 11/3/3",
"cumulative 11/3/4",
"cumulative 11/3/5",
"cumulative 11/3/6",
"cumulative 11/3/7",
"cumulative 11/4/0",
"cumulative 11/4/1",
"cumulative 11/4/2",
"cumulative 11/4/3",
"cumulative 11/4/4",
"cumulative 11/4/5",
"cumulative 11/4/6",
"cumulative 11/4/7",
"cumulative 11/5/0",
"cumulative 11/5/1",
"cumulative 11/5/2",
"cumulative 11/5/3",
"cumulative 11/5/4",
"cumulative 11/5/5",
"cumulative 11/5/6",
"cumulative 11/5/7",
"cumulative 11/6/0",
"cumulative 11/6/1",
"cumulative 11/6/2",
"cumulative 11/6/3",
"cumulative 11/6/4",
"cumulative 11/6/5",
"cumulative 11/6/6",
"cumulative 11/6/7",
"cumulative 11/7/0",
"cumulative 11/7/1",
"cumulative 11/7/2",
"cumulative 11/7/3",
"cumulative 11/7/4",
"cumulative 11/7/5",
"cumulative 11/7/6",
"cumulative 11/7/7",
"1/0-3/0/00 right factorization",
"1/0-3/0/01 right factorization",
"1/0-3/0/10 right factorization",
"1/0-3/0/11 right factorization",
"1/0-3/1/00 right factorization",
"1/0-3/1/01 right factorization",
"1/0-3/1/10 right factorization",
"1/0-3/1/11 right factorization",
"1/0-2/0/00 right factorization",
"1/0-2/0/01 right factorization",
"1/0-2/0/10 right factorization",
"1/0-2/0/11 right factorization",
"1/0-2/1/00 right factorization",
"1/0-2/1/01 right factorization",
"1/0-2/1/10 right factorization",
"1/0-2/1/11 right factorization",
"1/0-1/0/00 right factorization",
"1/0-1/0/01 right factorization",
"1/0-1/0/10 right factorization",
"1/0-1/0/11 right factorization",
"1/0-1/1/00 right factorization",
"1/0-1/1/01 right factorization",
"1/0-1/1/10 right factorization",
"1/0-1/1/11 right factorization",
"1/1-3/0/00 right factorization",
"1/1-3/0/01 right factorization",
"1/1-3/0/10 right factorization",
"1/1-3/0/11 right factorization",
"1/1-3/1/00 right factorization",
"1/1-3/1/01 right factorization",
"1/1-3/1/10 right factorization",
"1/1-3/1/11 right factorization",
"1/1-2/0/00 right factorization",
"1/1-2/0/01 right factorization",
"1/1-2/0/10 right factorization",
"1/1-2/0/11 right factorization",
"1/1-2/1/00 right factorization",
"1/1-2/1/01 right factorization",
"1/1-2/1/10 right factorization",
"1/1-2/1/11 right factorization",
"1/1-1/0/00 right factorization",
"1/1-1/0/01 right factorization",
"1/1-1/0/10 right factorization",
"1/1-1/0/11 right factorization",
"1/1-1/1/00 right factorization",
"1/1-1/1/01 right factorization",
"1/1-1/1/10 right factorization",
"1/1-1/1/11 right factorization",
"2/0-3/0/00 right factorization",
"2/0-3/0/01 right factorization",
"2/0-3/0/10 right factorization",
"2/0-3/0/11 right factorization",
"2/0-3/1/00 right factorization",
"2/0-3/1/01 right factorization",
"2/0-3/1/10 right factorization",
"2/0-3/1/11 right factorization",
"2/0-2/0/00 right factorization",
"2/0-2/0/01 right factorization",
"2/0-2/0/10 right factorization",
"2/0-2/0/11 right factorization",
"2/0-2/1/00 right factorization",
"2/0-2/1/01 right factorization",
"2/0-2/1/10 right factorization",
"2/0-2/1/11 right factorization",
"2/0-1/0/00 right factorization",
"2/0-1/0/01 right factorization",
"2/0-1/0/10 right factorization",
"2/0-1/0/11 right factorization",
"2/0-1/1/00 right factorization",
"2/0-1/1/01 right factorization",
"2/0-1/1/10 right factorization",
"2/0-1/1/11 right factorization",
"2/1-3/0/00 right factorization",
"2/1-3/0/01 right factorization",
"2/1-3/0/10 right factorization",
"2/1-3/0/11 right factorization",
"2/1-3/1/00 right factorization",
"2/1-3/1/01 right factorization",
"2/1-3/1/10 right factorization",
"2/1-3/1/11 right factorization",
"2/1-2/0/00 right factorization",
"2/1-2/0/01 right factorization",
"2/1-2/0/10 right factorization",
"2/1-2/0/11 right factorization",
"2/1-2/1/00 right factorization",
"2/1-2/1/01 right factorization",
"2/1-2/1/10 right factorization",
"2/1-2/1/11 right factorization",
"2/1-1/0/00 right factorization",
"2/1-1/0/01 right factorization",
"2/1-1/0/10 right factorization",
"2/1-1/0/11 right factorization",
"2/1-1/1/00 right factorization",
"2/1-1/1/01 right factorization",
"2/1-1/1/10 right factorization",
"2/1-1/1/11 right factorization",
"3/0-3/0/00 right factorization",
"3/0-3/0/01 right factorization",
"3/0-3/0/10 right factorization",
"3/0-3/0/11 right factorization",
"3/0-3/1/00 right factorization",
"3/0-3/1/01 right factorization",
"3/0-3/1/10 right factorization",
"3/0-3/1/11 right factorization",
"3/0-2/0/00 right factorization",
"3/0-2/0/01 right factorization",
"3/0-2/0/10 right factorization",
"3/0-2/0/11 right factorization",
"3/0-2/1/00 right factorization",
"3/0-2/1/01 right factorization",
"3/0-2/1/10 right factorization",
"3/0-2/1/11 right factorization",
"3/0-1/0/00 right factorization",
"3/0-1/0/01 right factorization",
"3/0-1/0/10 right factorization",
"3/0-1/0/11 right factorization",
"3/0-1/1/00 right factorization",
"3/0-1/1/01 right factorization",
"3/0-1/1/10 right factorization",
"3/0-1/1/11 right factorization",
"3/1-3/0/00 right factorization",
"3/1-3/0/01 right factorization",
"3/1-3/0/10 right factorization",
"3/1-3/0/11 right factorization",
"3/1-3/1/00 right factorization",
"3/1-3/1/01 right factorization",
"3/1-3/1/10 right factorization",
"3/1-3/1/11 right factorization",
"3/1-2/0/00 right factorization",
"3/1-2/0/01 right factorization",
"3/1-2/0/10 right factorization",
"3/1-2/0/11 right factorization",
"3/1-2/1/00 right factorization",
"3/1-2/1/01 right factorization",
"3/1-2/1/10 right factorization",
"3/1-2/1/11 right factorization",
"3/1-1/0/00 right factorization",
"3/1-1/0/01 right factorization",
"3/1-1/0/10 right factorization",
"3/1-1/0/11 right factorization",
"3/1-1/1/00 right factorization",
"3/1-1/1/01 right factorization",
"3/1-1/1/10 right factorization",
"3/1-1/1/11 right factorization",
"join 0/2",
"join 0/3",
"join 0/4",
"join 0/5",
"join 1/2",
"join 1/3",
"join 1/4",
"join 1/5",
"join 2/2",
"join 2/3",
"join 2/4",
"join 2/5",
"join 3/2",
"join 3/3",
"join 3/4",
"join 3/5",
"join 4/2",
"join 4/3",
"join 4/4",
"join 4/5",
"join 5/2",
"join 5/3",
"join 5/4",
"join 5/5",
"left6 right4 join24 aligned4",
"exact C287 reconciliation",
"17K exactly equal annual index"
],
"source_checks_passed": 15,
"source_checks": [
"frozen PREVIOUS_CERTIFICATE.json",
"frozen PREVIOUS_RESULTS.json",
"frozen PREVIOUS_DATA.json",
"frozen PREVIOUS_CHECKPOINT.md",
"frozen PREVIOUS_NEXT_STEP.json",
"frozen File_18.md",
"frozen File_09.md",
"frozen C286_DATA.json",
"frozen C287_DATA.json",
"frozen C271_REGISTER.json",
"frozen C319_DATA.json",
"predecessor PREVIOUS_RESULTS.json",
"predecessor PREVIOUS_DATA.json",
"predecessor PREVIOUS_CHECKPOINT.md",
"predecessor PREVIOUS_NEXT_STEP.json"
],
"canonical_or_graph_edits": false,
"check_scope": "Finite source-labelled calculation; counts are verification inventory, not witness counts."
}
Evidence
RESULTS.json
Linked sources and evidence
Edition and provenance
RESULTS.json
SHA-256 de2cdf1c88fe74f290652dafa29a5bb5d12cc415fe34841d5e9cfec6c53430e1
C01–C479/packets/C337/evidence/RESULTS.json