{
"check_count": 4,
"checks": [
{
"actual": {
"joined24": {
"m": 1,
"rho": 1
},
"new17": {
"m": 1,
"rho": 1
},
"new19": {
"m": 1,
"rho": 1
},
"right12": {
"m": 1,
"rho": 1
},
"right22": {
"m": 1,
"rho": 1
}
},
"check": "new endpoint residual forms",
"expected": {
"joined24": {
"m": 1,
"rho": 1
},
"new17": {
"m": 1,
"rho": 1
},
"new19": {
"m": 1,
"rho": 1
},
"right12": {
"m": 1,
"rho": 1
},
"right22": {
"m": 1,
"rho": 1
}
},
"passed": true
},
{
"actual": {
"new15": {
"rho": 1
},
"old17": {
"rho": 1
},
"old20": {
"rho": 1
},
"old22": {
"rho": 1
}
},
"check": "old-side residual forms",
"expected": {
"new15": {
"rho": 1
},
"old17": {
"rho": 1
},
"old20": {
"rho": 1
},
"old22": {
"rho": 1
}
},
"passed": true
},
{
"actual": 2,
"check": "rank when selected-length match is released",
"expected": 2,
"passed": true
},
{
"actual": [
0,
0,
0,
0
],
"check": "source cumulative/regular match",
"expected": [
0,
0,
0,
0
],
"passed": true
}
],
"input_verification": [
{
"file": "File_18.md",
"sha256": "68301ab760bfbe2e874aedc5c8d943ced7a6219d34bc2859332a70713f9630d5"
},
{
"file": "File_09.md",
"sha256": "45851004c5864229ebf6a896f9099819a08d8926715d3e97e4bc3985c4a3876e"
},
{
"file": "MIRROR_HANDOFF.md",
"sha256": "8a857e112e4a5b774768f92f9872fc75446b202414baa9e9ab788214a6f71eed"
},
{
"file": "C15_GRAPH.json",
"sha256": "dc86bd891d48189fdfaec6531d24bf9b97ee25359f368019a220fed754d08916"
},
{
"file": "C15_DEPENDENCY.json",
"sha256": "7e75380ea1e7528fea0ed2fa991293da145d21ccdb91bde2489f8c6a8b3c3347"
},
{
"file": "C16_DOMAIN.json",
"sha256": "415afb6b427e1bf3e5ed2420952c24540d716d7371b99509fb085d88fc8b844a"
},
{
"file": "C22_RATIO.json",
"sha256": "12f7035957f02327307559d38ac92c93609c9d6e72a18ec83b369b727a050543"
},
{
"file": "C22_GRAMMAR.json",
"sha256": "e045f7613bf168813526daaf2e20014f6ebbad2bc57a87ffe2a0e85d18d26469"
},
{
"file": "C22_RESULTS.json",
"sha256": "4a66e8f53dc4319d1c965b919c2d7ac629b5506ceaeb795585790da5699b47c2"
},
{
"file": "C22_REPORT.md",
"sha256": "f8a3ee6a19b1d59a0b4da51f1330d52f267d3714d4ae8d645dd68c647a7ca452"
}
],
"next_step": "Build a bounded residual diagnosis that distinguishes width errors from endpoint-binding errors.",
"passed": true,
"report": "C46"
}
Evidence
C46 RESULTS.json
Linked sources and evidence
Edition and provenance
C46_RESULTS.json
SHA-256 d481556fddd7bc4cc6ad66cd2d828f42e0a277ff8d7ad52ec313dfc2026df96b
C01–C479/reference/490d_C01_C265_Complete_Window_Archive_20260923.zip!/workspace/mirror_30_step_campaign_20260922/C46/evidence/C46_RESULTS.json