{
"step": "C386",
"status": "passed",
"assertions_passed": 26,
"checks": [
"whole affine square 0",
"unique whole-map pivot 0",
"Shem geometry and forty-two 0",
"successful component affine square (0, 0)",
"successful component affine square (0, 255)",
"only two coherent component assignments 0",
"whole affine square 1",
"unique whole-map pivot 1",
"Shem geometry and forty-two 1",
"successful component affine square (1, 0)",
"successful component affine square (1, 255)",
"only two coherent component assignments 1",
"whole affine square 2",
"unique whole-map pivot 2",
"Shem geometry and forty-two 2",
"successful component affine square (2, 0)",
"successful component affine square (2, 255)",
"only two coherent component assignments 2",
"whole affine square 3",
"unique whole-map pivot 3",
"Shem geometry and forty-two 3",
"successful component affine square (3, 0)",
"successful component affine square (3, 255)",
"only two coherent component assignments 3",
"1024 phase assignments",
"fixed composite does not preserve half-year spacing"
],
"source_checks_passed": 18,
"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 C341_DATA.json",
"frozen C363_DATA.json",
"frozen File_02.md",
"frozen File_46.md",
"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 527c3f6c33d838fcf6ff957b00f1e3af9a83b7152bb5d03113b2602605c2fa9c
C01–C479/packets/C386/evidence/RESULTS.json