{
"step": "C273",
"status": "passed",
"check_count": 156,
"checks": [
"frozen C266_CERTIFICATE.json",
"frozen C266_REPORT.md",
"frozen C266_RESULTS.json",
"frozen C267_CERTIFICATE.json",
"frozen C267_REPORT.md",
"frozen C267_RESULTS.json",
"frozen C268_CERTIFICATE.json",
"frozen C268_REPORT.md",
"frozen C268_RESULTS.json",
"frozen C269_CERTIFICATE.json",
"frozen C269_REPORT.md",
"frozen C269_RESULTS.json",
"frozen C270_CERTIFICATE.json",
"frozen C270_REPORT.md",
"frozen C270_RESULTS.json",
"frozen C271_CERTIFICATE.json",
"frozen C271_REPORT.md",
"frozen C271_RESULTS.json",
"frozen C272_CERTIFICATE.json",
"frozen C272_REPORT.md",
"frozen C272_RESULTS.json",
"frozen C272_CHECKPOINT.md",
"frozen C266_ENDPOINTS.json",
"frozen C267_CLASSIFICATION.json",
"frozen C267_ENVELOPES.json",
"frozen C268_CORRESPONDENCE.json",
"frozen C269_RECTANGLE.json",
"frozen C269_PATHS.json",
"frozen C269_OPERATORS.json",
"frozen C269_GRAPH_INCIDENCE.json",
"frozen C270_MAPS.json",
"frozen C271_FAMILIES.json",
"frozen C271_COVERAGE.json",
"frozen C272_CLASSIFICATION.json",
"frozen C272_STAGES.json",
"frozen C272_LIMITS.json",
"frozen C01_RESULTS.json",
"frozen AXIS_REPORT.md",
"frozen MIRROR_COMPREHENSIVE.md",
"frozen MIRROR_BILATERAL.md",
"frozen FILE_09.md",
"frozen FILE_18.md",
"frozen C265_CERTIFICATE.json",
"C265 chain root",
"C272 current head",
"C266 previous certificate",
"C266 report binding",
"C266 results binding",
"C266 retained passing status",
"C267 previous certificate",
"C267 report binding",
"C267 results binding",
"C267 retained passing status",
"C268 previous certificate",
"C268 report binding",
"C268 results binding",
"C268 retained passing status",
"C269 previous certificate",
"C269 report binding",
"C269 results binding",
"C269 retained passing status",
"C270 previous certificate",
"C270 report binding",
"C270 results binding",
"C270 retained passing status",
"C271 previous certificate",
"C271 report binding",
"C271 results binding",
"C271 retained passing status",
"C272 previous certificate",
"C272 report binding",
"C272 results binding",
"C272 retained passing status",
"latest checkpoint binding",
"controller FILE_18.md",
"controller FILE_09.md",
"dependency order I01",
"source references I01",
"dependency order I02",
"source references I02",
"dependency order I03",
"source references I03",
"dependency order I04",
"source references I04",
"dependency order I05",
"source references I05",
"dependency order I06",
"source references I06",
"dependency order I07",
"source references I07",
"dependency order D01",
"source references D01",
"dependency order D02",
"source references D02",
"dependency order D03",
"source references D03",
"dependency order D04",
"source references D04",
"dependency order D05",
"source references D05",
"dependency order D06",
"source references D06",
"dependency order D07",
"source references D07",
"dependency order D08",
"source references D08",
"dependency order D09",
"source references D09",
"dependency order D10",
"source references D10",
"dependency order L01",
"source references L01",
"declared claim groups",
"conditional MT closing equation",
"conditional SP reflected interval",
"local residual and junction",
"K difference identities",
"cross-profile shifted difference",
"MT_ON inherited field limits",
"MT_ON local reflection",
"SP_OFF inherited field limits",
"SP_OFF local reflection",
"LXX_OFF inherited field limits",
"LXX_OFF local reflection",
"central chronological completion",
"selected outer radii",
"LXX midpoint roles",
"LXX component radii",
"phase width under E changes",
"retained envelope sum versus union",
"closing rectangle identities",
"closing rectangle spans",
"retained598plus2 subdivision",
"inherited C254 closing path",
"closing prefix remains6875",
"graph status preserved",
"induced maps retained",
"compositions with inverse source translation",
"six radius families retained",
"retained selector rho1",
"retained selector rho2",
"retained selector rho3",
"retained selector rho4",
"retained selector rho5",
"retained selector rho6",
"retained pair counts",
"source coverage limits",
"calibrated scales",
"macro chain and midpoint widths",
"equivalent radius six conditions",
"target midpoint qualification",
"chart anchor differs from source attachment",
"attachment discrepancies retained",
"retained chart audit counts",
"retained outer-only hits",
"stage gap formula retained"
],
"retained_certificates": [
{
"step": "C266",
"certificate_sha256": "a5a1da16cdad0fe6f67441b07be92eb1b28f67c8a6793f7a09f1dd99716bb50f",
"historical_assertions": 207,
"historical_campaign_rerun": false
},
{
"step": "C267",
"certificate_sha256": "504c1ae201ece6bfa4639ff7ab0faa274213786887b94e4728e25cf7f0a5fdec",
"historical_assertions": 138,
"historical_campaign_rerun": false
},
{
"step": "C268",
"certificate_sha256": "dd081b556118711b9e8aef97a329f8d3f688664b3dd5f6aa523bc6fca804a34f",
"historical_assertions": 127,
"historical_campaign_rerun": false
},
{
"step": "C269",
"certificate_sha256": "775e17d1627d7670dc431eee50a594cf1071a937e69f54190d1f4aaa8efe392f",
"historical_assertions": 145,
"historical_campaign_rerun": false
},
{
"step": "C270",
"certificate_sha256": "73969d5cc289651b69b7894761c84b9771b745fc96cc6f82f5eb86e789335490",
"historical_assertions": 111,
"historical_campaign_rerun": false
},
{
"step": "C271",
"certificate_sha256": "57c44ea4bd81a4507d55626ecdf9631301941ade3ab6a662898e59e3db6eefd7",
"historical_assertions": 271,
"historical_campaign_rerun": false
},
{
"step": "C272",
"certificate_sha256": "9947d90e99cb8f010076cea2795c3138ab9d7d3e393b469db83f6332fc36fdd0",
"historical_assertions": 326,
"historical_campaign_rerun": false
}
],
"frozen_inputs": 43,
"claim_groups": 18,
"historical_campaigns_rerun": false,
"new_event_search": false,
"canonical_sources_modified": false,
"graph_modified": false,
"new_independent_review": false,
"assessment_status": "source-qualified authored synthesis; machine checks cover integrity, references, dependency order and explicit arithmetic"
}
Evidence
RESULTS.json
Linked sources and evidence
Edition and provenance
RESULTS.json
SHA-256 821dd950cfaaab34265bb9c5bf44e4aa944168f9381e39dd564faf26a6987d10
C01–C479/packets/C273/evidence/RESULTS.json