{
"step": "C316",
"status": "passed",
"assertions_passed": 54,
"checks": [
"j3 unique original Flood ancestry",
"j3 inherited source role and index",
"j3 two equal output routes",
"j3 station domains",
"j3 1/4 unique derived Flood antecedent",
"j3 1/4 actual Shem ancestry",
"j3 1/4 source offset contributes two",
"j3 -1/4 unique derived Flood antecedent",
"j3 -1/4 actual Shem ancestry",
"j3 -1/4 source offset contributes two",
"j4 unique original Flood ancestry",
"j4 inherited source role and index",
"j4 two equal output routes",
"j4 station domains",
"j4 1/4 unique derived Flood antecedent",
"j4 1/4 actual Shem ancestry",
"j4 1/4 source offset contributes two",
"j4 -1/4 unique derived Flood antecedent",
"j4 -1/4 actual Shem ancestry",
"j4 -1/4 source offset contributes two",
"j5 unique original Flood ancestry",
"j5 inherited source role and index",
"j5 two equal output routes",
"j5 station domains",
"j5 1/4 unique derived Flood antecedent",
"j5 1/4 actual Shem ancestry",
"j5 1/4 source offset contributes two",
"j5 -1/4 unique derived Flood antecedent",
"j5 -1/4 actual Shem ancestry",
"j5 -1/4 source offset contributes two",
"j5 admitted regular oneGear descent",
"j6 unique original Flood ancestry",
"j6 inherited source role and index",
"j6 two equal output routes",
"j6 station domains",
"j6 1/4 unique derived Flood antecedent",
"j6 1/4 actual Shem ancestry",
"j6 1/4 source offset contributes two",
"j6 -1/4 unique derived Flood antecedent",
"j6 -1/4 actual Shem ancestry",
"j6 -1/4 source offset contributes two",
"j6 admitted regular oneGear descent",
"j7 unique original Flood ancestry",
"j7 inherited source role and index",
"j7 two equal output routes",
"j7 station domains",
"j7 1/4 unique derived Flood antecedent",
"j7 1/4 actual Shem ancestry",
"j7 1/4 source offset contributes two",
"j7 -1/4 unique derived Flood antecedent",
"j7 -1/4 actual Shem ancestry",
"j7 -1/4 source offset contributes two",
"j7 admitted regular oneGear descent",
"allthree C287 support onlyj5"
],
"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 C314_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 eda83b360a614d3603cdabf318f999eda433008f37f53ac79574c24234941cdd
C01–C479/packets/C316/evidence/RESULTS.json