{
"step": "C428",
"status": "passed",
"assertions_passed": 160,
"checks": [
"paired cross-span equality (2799, 26, 1)",
"paired cross-span equality (2799, 27, 2)",
"paired cross-span equality (2799, 28, 3)",
"paired cross-span equality (2799, 29, 4)",
"paired cross-span equality (2799, 30, 5)",
"paired cross-span equality (2799, 31, 6)",
"paired cross-span equality (2949, 26, 1)",
"paired cross-span equality (2949, 27, 2)",
"paired cross-span equality (2949, 28, 3)",
"paired cross-span equality (2949, 29, 4)",
"paired cross-span equality (2949, 30, 5)",
"paired cross-span equality (2949, 31, 6)",
"paired cross-span equality (2951, 26, 1)",
"paired cross-span equality (2951, 27, 2)",
"paired cross-span equality (2951, 28, 3)",
"paired cross-span equality (2951, 29, 4)",
"paired cross-span equality (2951, 30, 5)",
"paired cross-span equality (2951, 31, 6)",
"paired cross-span equality (2953, 26, 1)",
"paired cross-span equality (2953, 27, 2)",
"paired cross-span equality (2953, 28, 3)",
"paired cross-span equality (2953, 29, 4)",
"paired cross-span equality (2953, 30, 5)",
"paired cross-span equality (2953, 31, 6)",
"paired cross-span equality (2991, 26, 1)",
"paired cross-span equality (2991, 27, 2)",
"paired cross-span equality (2991, 28, 3)",
"paired cross-span equality (2991, 29, 4)",
"paired cross-span equality (2991, 30, 5)",
"paired cross-span equality (2991, 31, 6)",
"paired cross-span equality (2993, 26, 1)",
"paired cross-span equality (2993, 27, 2)",
"paired cross-span equality (2993, 28, 3)",
"paired cross-span equality (2993, 29, 4)",
"paired cross-span equality (2993, 30, 5)",
"paired cross-span equality (2993, 31, 6)",
"paired cross-span equality (3081, 26, 1)",
"paired cross-span equality (3081, 27, 2)",
"paired cross-span equality (3081, 28, 3)",
"paired cross-span equality (3081, 29, 4)",
"paired cross-span equality (3081, 30, 5)",
"paired cross-span equality (3081, 31, 6)",
"paired cross-span equality (3083, 26, 1)",
"paired cross-span equality (3083, 27, 2)",
"paired cross-span equality (3083, 28, 3)",
"paired cross-span equality (3083, 29, 4)",
"paired cross-span equality (3083, 30, 5)",
"paired cross-span equality (3083, 31, 6)",
"paired cross-span equality (3166, 26, 1)",
"paired cross-span equality (3166, 27, 2)",
"paired cross-span equality (3166, 28, 3)",
"paired cross-span equality (3166, 29, 4)",
"paired cross-span equality (3166, 30, 5)",
"paired cross-span equality (3166, 31, 6)",
"paired cross-span equality (3168, 26, 1)",
"paired cross-span equality (3168, 27, 2)",
"paired cross-span equality (3168, 28, 3)",
"paired cross-span equality (3168, 29, 4)",
"paired cross-span equality (3168, 30, 5)",
"paired cross-span equality (3168, 31, 6)",
"paired cross-span equality (3206, 26, 1)",
"paired cross-span equality (3206, 27, 2)",
"paired cross-span equality (3206, 28, 3)",
"paired cross-span equality (3206, 29, 4)",
"paired cross-span equality (3206, 30, 5)",
"paired cross-span equality (3206, 31, 6)",
"paired cross-span equality (3208, 26, 1)",
"paired cross-span equality (3208, 27, 2)",
"paired cross-span equality (3208, 28, 3)",
"paired cross-span equality (3208, 29, 4)",
"paired cross-span equality (3208, 30, 5)",
"paired cross-span equality (3208, 31, 6)",
"paired cross-span equality (3296, 26, 1)",
"paired cross-span equality (3296, 27, 2)",
"paired cross-span equality (3296, 28, 3)",
"paired cross-span equality (3296, 29, 4)",
"paired cross-span equality (3296, 30, 5)",
"paired cross-span equality (3296, 31, 6)",
"paired cross-span equality (3298, 26, 1)",
"paired cross-span equality (3298, 27, 2)",
"paired cross-span equality (3298, 28, 3)",
"paired cross-span equality (3298, 29, 4)",
"paired cross-span equality (3298, 30, 5)",
"paired cross-span equality (3298, 31, 6)",
"paired cross-span equality (3299, 26, 1)",
"paired cross-span equality (3299, 27, 2)",
"paired cross-span equality (3299, 28, 3)",
"paired cross-span equality (3299, 29, 4)",
"paired cross-span equality (3299, 30, 5)",
"paired cross-span equality (3299, 31, 6)",
"paired cross-span equality (3300, 26, 1)",
"paired cross-span equality (3300, 27, 2)",
"paired cross-span equality (3300, 28, 3)",
"paired cross-span equality (3300, 29, 4)",
"paired cross-span equality (3300, 30, 5)",
"paired cross-span equality (3300, 31, 6)",
"paired cross-span equality (3399, 26, 1)",
"paired cross-span equality (3399, 27, 2)",
"paired cross-span equality (3399, 28, 3)",
"paired cross-span equality (3399, 29, 4)",
"paired cross-span equality (3399, 30, 5)",
"paired cross-span equality (3399, 31, 6)",
"paired cross-span equality (3490, 26, 1)",
"paired cross-span equality (3490, 27, 2)",
"paired cross-span equality (3490, 28, 3)",
"paired cross-span equality (3490, 29, 4)",
"paired cross-span equality (3490, 30, 5)",
"paired cross-span equality (3490, 31, 6)",
"paired cross-span equality (3491, 26, 1)",
"paired cross-span equality (3491, 27, 2)",
"paired cross-span equality (3491, 28, 3)",
"paired cross-span equality (3491, 29, 4)",
"paired cross-span equality (3491, 30, 5)",
"paired cross-span equality (3491, 31, 6)",
"paired cross-span equality (3492, 26, 1)",
"paired cross-span equality (3492, 27, 2)",
"paired cross-span equality (3492, 28, 3)",
"paired cross-span equality (3492, 29, 4)",
"paired cross-span equality (3492, 30, 5)",
"paired cross-span equality (3492, 31, 6)",
"paired cross-span equality (3493, 26, 1)",
"paired cross-span equality (3493, 27, 2)",
"paired cross-span equality (3493, 28, 3)",
"paired cross-span equality (3493, 29, 4)",
"paired cross-span equality (3493, 30, 5)",
"paired cross-span equality (3493, 31, 6)",
"paired cross-span equality (3705, 26, 1)",
"paired cross-span equality (3705, 27, 2)",
"paired cross-span equality (3705, 28, 3)",
"existing C287 geometry 3705",
"paired cross-span equality (3705, 29, 4)",
"paired cross-span equality (3705, 30, 5)",
"paired cross-span equality (3705, 31, 6)",
"paired cross-span equality (3706, 26, 1)",
"paired cross-span equality (3706, 27, 2)",
"paired cross-span equality (3706, 28, 3)",
"paired cross-span equality (3706, 29, 4)",
"existing C287 geometry 3706",
"paired cross-span equality (3706, 30, 5)",
"paired cross-span equality (3706, 31, 6)",
"paired cross-span equality (3707, 26, 1)",
"paired cross-span equality (3707, 27, 2)",
"paired cross-span equality (3707, 28, 3)",
"paired cross-span equality (3707, 29, 4)",
"paired cross-span equality (3707, 30, 5)",
"existing C287 geometry 3707",
"paired cross-span equality (3707, 31, 6)",
"paired cross-span equality (3708, 26, 1)",
"paired cross-span equality (3708, 27, 2)",
"paired cross-span equality (3708, 28, 3)",
"paired cross-span equality (3708, 29, 4)",
"paired cross-span equality (3708, 30, 5)",
"paired cross-span equality (3708, 31, 6)",
"existing C287 geometry 3708",
"paired cross-span equality (3899, 26, 1)",
"paired cross-span equality (3899, 27, 2)",
"paired cross-span equality (3899, 28, 3)",
"paired cross-span equality (3899, 29, 4)",
"paired cross-span equality (3899, 30, 5)",
"paired cross-span equality (3899, 31, 6)"
],
"source_checks_passed": 16,
"source_checks": [
"PREVIOUS_CERTIFICATE.json",
"PREVIOUS_DATA.json",
"PREVIOUS_RESULTS.json",
"PREVIOUS_CHECKPOINT.md",
"PREVIOUS_NEXT_STEP.json",
"File_18.md",
"File_09.md",
"C286_DATA.json",
"C287_DATA.json",
"C414_DATA.json",
"C426_DATA.json",
"C365_DATA.json",
"predecessor PREVIOUS_DATA.json",
"predecessor PREVIOUS_RESULTS.json",
"predecessor PREVIOUS_CHECKPOINT.md",
"predecessor PREVIOUS_NEXT_STEP.json"
],
"canonical_or_graph_edits": false,
"new_independent_agent_review": false
}
Evidence
RESULTS.json
Linked sources and evidence
Edition and provenance
RESULTS.json
SHA-256 a1ca16651fa3b89b924e9cde9cf5def5ae022a1eb7aa21f390aa04370aa16b02
C01–C479/packets/C428/evidence/RESULTS.json