From 9f933c095d10226e89247e249e2098a2dac728ad Mon Sep 17 00:00:00 2001 From: Cinna Davis <1337isnot1337@users.noreply.github.com> Date: Wed, 14 Oct 2026 07:08:53 -0500 Subject: [PATCH 1/8] Research exact nonconsecutive commuting C3 fanout --- .../CERTIFICATE.json | 6120 +++++++++++++++++ .../CLAIM.md | 5 + .../OVERLAP.json | 61 + .../README.md | 53 + .../SELECTOR.json | 14 + .../SOURCES.json | 48 + .../TASK.json | 58 + .../VERIFY.json | 26 + .../test_verify.py | 71 + .../verify.py | 469 ++ 10 files changed, 6925 insertions(+) create mode 100644 research/complex-commuting-fanout-seed6935/CERTIFICATE.json create mode 100644 research/complex-commuting-fanout-seed6935/CLAIM.md create mode 100644 research/complex-commuting-fanout-seed6935/OVERLAP.json create mode 100644 research/complex-commuting-fanout-seed6935/README.md create mode 100644 research/complex-commuting-fanout-seed6935/SELECTOR.json create mode 100644 research/complex-commuting-fanout-seed6935/SOURCES.json create mode 100644 research/complex-commuting-fanout-seed6935/TASK.json create mode 100644 research/complex-commuting-fanout-seed6935/VERIFY.json create mode 100644 research/complex-commuting-fanout-seed6935/test_verify.py create mode 100644 research/complex-commuting-fanout-seed6935/verify.py diff --git a/research/complex-commuting-fanout-seed6935/CERTIFICATE.json b/research/complex-commuting-fanout-seed6935/CERTIFICATE.json new file mode 100644 index 0000000000..57b21695a8 --- /dev/null +++ b/research/complex-commuting-fanout-seed6935/CERTIFICATE.json @@ -0,0 +1,6120 @@ +{ + "base_commit": "0b1cccf86e2f5132ed286a26ef0a681a495740ea", + "baseline_ceiling_interval": [ + "52814190909/31250000000000", + "1690054109089/1000000000000000" + ], + "baseline_moment_interval_at_target": [ + "115820506125971981640018462368283600079773093374577584515447648967139586093763/115792089237316195423570985008687907853269984665640564039457584007913129639936", + "115820506125971981640018462368283600079773093374577584515447648967139586093799/115792089237316195423570985008687907853269984665640564039457584007913129639936" + ], + "baseline_profile": { + "1": 2412, + "2": 418, + "3": 432, + "4": 142, + "5": 82, + "8": 8 + }, + "catalogue_priority_revision": 3, + "catalogue_sha256": "6686ad58f1fbdbc87134a78901b60fd53a20d3984355e91defbbebc9e9fa8075", + "claim_url": "https://github.com/CrocSwap/integer-mult-bounds/discussions/1163#discussioncomment-18923131", + "compressed_word_sha256": "49596aa4ed4fd36cd4582fd0e8ddeb09fd80370a7d8aea1ede52a135b536d289", + "count_maximizing_schedule": [ + { + "coefficients": [ + "-1", + "1", + "-1" + ], + "consecutive": true, + "destinations": [ + 546, + 560, + 547 + ], + "end": 1192, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 1190, + 1191, + 1192 + ], + "joint_rank": 3, + "section": "A", + "source": 561, + "source_frame_rank": 1, + "start": 1190, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "-1", + "1", + "-1" + ], + "consecutive": true, + "destinations": [ + 548, + 558, + 549 + ], + "end": 1204, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 1202, + 1203, + 1204 + ], + "joint_rank": 3, + "section": "A", + "source": 559, + "source_frame_rank": 1, + "start": 1202, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "1/4", + "-1/4", + "1/4" + ], + "consecutive": true, + "destinations": [ + 169, + 170, + 172 + ], + "end": 53, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 51, + 52, + 53 + ], + "joint_rank": 3, + "section": "B", + "source": 592, + "source_frame_rank": 1, + "start": 51, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "1/4", + "-1/4", + "1/4" + ], + "consecutive": true, + "destinations": [ + 137, + 138, + 140 + ], + "end": 69, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 67, + 68, + 69 + ], + "joint_rank": 3, + "section": "B", + "source": 600, + "source_frame_rank": 1, + "start": 67, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "1/4", + "-1/4", + "1/4" + ], + "consecutive": true, + "destinations": [ + 129, + 130, + 132 + ], + "end": 85, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 83, + 84, + 85 + ], + "joint_rank": 3, + "section": "B", + "source": 608, + "source_frame_rank": 1, + "start": 83, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "1/4", + "-1/4", + "1/4" + ], + "consecutive": true, + "destinations": [ + 217, + 218, + 220 + ], + "end": 153, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 151, + 152, + 153 + ], + "joint_rank": 2, + "section": "B", + "source": 640, + "source_frame_rank": 1, + "start": 151, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 0 + ] + }, + { + "coefficients": [ + "-1/2", + "1/2", + "1/2" + ], + "consecutive": false, + "destinations": [ + 153, + 154, + 159 + ], + "end": 188, + "gap_adds": 1, + "gap_operations": 1, + "gap_scales": 0, + "indices": [ + 185, + 186, + 188 + ], + "joint_rank": 2, + "section": "B", + "source": 656, + "source_frame_rank": 1, + "start": 185, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 0, + 1 + ] + }, + { + "coefficients": [ + "-1/2", + "1/2", + "1/2" + ], + "consecutive": false, + "destinations": [ + 185, + 186, + 191 + ], + "end": 204, + "gap_adds": 1, + "gap_operations": 1, + "gap_scales": 0, + "indices": [ + 201, + 202, + 204 + ], + "joint_rank": 2, + "section": "B", + "source": 664, + "source_frame_rank": 1, + "start": 201, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 0, + 1, + 1 + ] + }, + { + "coefficients": [ + "-1/2", + "1/2", + "-1/2" + ], + "consecutive": true, + "destinations": [ + 209, + 210, + 212 + ], + "end": 219, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 217, + 218, + 219 + ], + "joint_rank": 2, + "section": "B", + "source": 672, + "source_frame_rank": 1, + "start": 217, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 0 + ] + }, + { + "coefficients": [ + "-1/2", + "1/2", + "-1/2" + ], + "consecutive": true, + "destinations": [ + 201, + 202, + 204 + ], + "end": 237, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 235, + 236, + 237 + ], + "joint_rank": 3, + "section": "B", + "source": 680, + "source_frame_rank": 1, + "start": 235, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "-1/2", + "1/2", + "-1/2" + ], + "consecutive": true, + "destinations": [ + 193, + 194, + 196 + ], + "end": 253, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 251, + 252, + 253 + ], + "joint_rank": 3, + "section": "B", + "source": 688, + "source_frame_rank": 1, + "start": 251, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "-1/2", + "1/2", + "-1/2" + ], + "consecutive": true, + "destinations": [ + 161, + 162, + 164 + ], + "end": 269, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 267, + 268, + 269 + ], + "joint_rank": 3, + "section": "B", + "source": 696, + "source_frame_rank": 1, + "start": 267, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 672, + 673, + 674 + ], + "end": 285, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 283, + 284, + 285 + ], + "joint_rank": 9, + "section": "B", + "source": 675, + "source_frame_rank": 4, + "start": 283, + "target_frame_ranks": [ + 4, + 4, + 4 + ], + "target_ranks": [ + 3, + 3, + 3 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 680, + 681, + 682 + ], + "end": 297, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 295, + 296, + 297 + ], + "joint_rank": 9, + "section": "B", + "source": 683, + "source_frame_rank": 4, + "start": 295, + "target_frame_ranks": [ + 4, + 4, + 4 + ], + "target_ranks": [ + 3, + 3, + 3 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 696, + 697, + 698 + ], + "end": 309, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 307, + 308, + 309 + ], + "joint_rank": 9, + "section": "B", + "source": 699, + "source_frame_rank": 4, + "start": 307, + "target_frame_ranks": [ + 4, + 4, + 4 + ], + "target_ranks": [ + 3, + 3, + 3 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 688, + 689, + 690 + ], + "end": 321, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 319, + 320, + 321 + ], + "joint_rank": 9, + "section": "B", + "source": 691, + "source_frame_rank": 4, + "start": 319, + "target_frame_ranks": [ + 4, + 4, + 4 + ], + "target_ranks": [ + 3, + 3, + 3 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 664, + 665, + 666 + ], + "end": 338, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 336, + 337, + 338 + ], + "joint_rank": 9, + "section": "B", + "source": 667, + "source_frame_rank": 4, + "start": 336, + "target_frame_ranks": [ + 4, + 4, + 4 + ], + "target_ranks": [ + 3, + 3, + 3 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 656, + 657, + 658 + ], + "end": 350, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 348, + 349, + 350 + ], + "joint_rank": 9, + "section": "B", + "source": 659, + "source_frame_rank": 4, + "start": 348, + "target_frame_ranks": [ + 4, + 4, + 4 + ], + "target_ranks": [ + 3, + 3, + 3 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 640, + 641, + 642 + ], + "end": 362, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 360, + 361, + 362 + ], + "joint_rank": 9, + "section": "B", + "source": 643, + "source_frame_rank": 4, + "start": 360, + "target_frame_ranks": [ + 4, + 4, + 4 + ], + "target_ranks": [ + 3, + 3, + 3 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 632, + 633, + 634 + ], + "end": 374, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 372, + 373, + 374 + ], + "joint_rank": 12, + "section": "B", + "source": 635, + "source_frame_rank": 5, + "start": 372, + "target_frame_ranks": [ + 5, + 5, + 5 + ], + "target_ranks": [ + 4, + 4, + 4 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 624, + 625, + 626 + ], + "end": 386, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 384, + 385, + 386 + ], + "joint_rank": 12, + "section": "B", + "source": 627, + "source_frame_rank": 5, + "start": 384, + "target_frame_ranks": [ + 5, + 5, + 5 + ], + "target_ranks": [ + 4, + 4, + 4 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 600, + 601, + 602 + ], + "end": 398, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 396, + 397, + 398 + ], + "joint_rank": 12, + "section": "B", + "source": 603, + "source_frame_rank": 5, + "start": 396, + "target_frame_ranks": [ + 5, + 5, + 5 + ], + "target_ranks": [ + 4, + 4, + 4 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 608, + 609, + 610 + ], + "end": 410, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 408, + 409, + 410 + ], + "joint_rank": 12, + "section": "B", + "source": 611, + "source_frame_rank": 5, + "start": 408, + "target_frame_ranks": [ + 5, + 5, + 5 + ], + "target_ranks": [ + 4, + 4, + 4 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 592, + 593, + 594 + ], + "end": 422, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 420, + 421, + 422 + ], + "joint_rank": 9, + "section": "B", + "source": 595, + "source_frame_rank": 4, + "start": 420, + "target_frame_ranks": [ + 4, + 4, + 4 + ], + "target_ranks": [ + 3, + 3, + 3 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 648, + 649, + 650 + ], + "end": 434, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 432, + 433, + 434 + ], + "joint_rank": 12, + "section": "B", + "source": 651, + "source_frame_rank": 5, + "start": 432, + "target_frame_ranks": [ + 5, + 5, + 5 + ], + "target_ranks": [ + 4, + 4, + 4 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 616, + 617, + 618 + ], + "end": 446, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 444, + 445, + 446 + ], + "joint_rank": 12, + "section": "B", + "source": 619, + "source_frame_rank": 5, + "start": 444, + "target_frame_ranks": [ + 5, + 5, + 5 + ], + "target_ranks": [ + 4, + 4, + 4 + ] + }, + { + "coefficients": [ + "-1", + "1", + "-1" + ], + "consecutive": false, + "destinations": [ + 123, + 187, + 483 + ], + "end": 736, + "gap_adds": 266, + "gap_operations": 266, + "gap_scales": 0, + "indices": [ + 468, + 504, + 736 + ], + "joint_rank": 2, + "section": "B", + "source": 555, + "source_frame_rank": 1, + "start": 468, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 0, + 1, + 1 + ] + } + ], + "count_schedule_ceiling_interval": [ + "852801490643/500000000000000", + "1705602981287/1000000000000000" + ], + "count_schedule_gain_percent": "1554887219800/1690054109089", + "count_schedule_profile": { + "1": 2378, + "12": 6, + "2": 423, + "3": 416, + "4": 124, + "5": 82, + "8": 8, + "9": 8 + }, + "five_percent_target_exponent": "35491136290869/20000000000000000", + "maximum_saving_is_favorable": "each direct child uses an upper cost endpoint and each joined child a lower cost endpoint; all additional mechanism costs are zero", + "maximum_saving_normalized_per_call": "2461712583450675636881701192674733001763301347918758701621663525098187661661/51874855978317655549759801283892182718264953130206972689676997635545082078691328", + "moment_lower_bound_at_target_after_maximum_saving": "115815011231812493524757565713835665407894157434068837286202957753913920496303/115792089237316195423570985008687907853269984665640564039457584007913129639936", + "predecessor": "https://github.com/CrocSwap/integer-mult-bounds/pull/1799", + "reconstructed_baseline_profile": { + "1": 2412, + "2": 418, + "3": 432, + "4": 142, + "5": 82, + "8": 8 + }, + "scope": { + "commutation": "every unselected gate between the first and last selected gate commutes exactly with each selected shear", + "group": "three ADD gates, one unchanged source frame, three distinct destinations, at least two positive target-rank increments", + "interval_rule": "selected closed gate-index intervals are pairwise disjoint", + "omitted_costs": [ + "adapter", + "copy", + "helper", + "hosting", + "frame transition", + "restoration", + "precision" + ], + "word": "selected width-73 rational ADD word, sections A and B" + }, + "sections": { + "A": { + "candidate_count": 2, + "candidates": [ + { + "coefficients": [ + "-1", + "1", + "-1" + ], + "consecutive": true, + "destinations": [ + 546, + 560, + 547 + ], + "end": 1192, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 1190, + 1191, + 1192 + ], + "joint_rank": 3, + "section": "A", + "source": 561, + "source_frame_rank": 1, + "start": 1190, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "-1", + "1", + "-1" + ], + "consecutive": true, + "destinations": [ + 548, + 558, + 549 + ], + "end": 1204, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 1202, + 1203, + 1204 + ], + "joint_rank": 3, + "section": "A", + "source": 559, + "source_frame_rank": 1, + "start": 1202, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + } + ], + "consecutive_candidate_count": 2, + "count_schedule": [ + { + "coefficients": [ + "-1", + "1", + "-1" + ], + "consecutive": true, + "destinations": [ + 546, + 560, + 547 + ], + "end": 1192, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 1190, + 1191, + 1192 + ], + "joint_rank": 3, + "section": "A", + "source": 561, + "source_frame_rank": 1, + "start": 1190, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "-1", + "1", + "-1" + ], + "consecutive": true, + "destinations": [ + 548, + 558, + 549 + ], + "end": 1204, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 1202, + 1203, + 1204 + ], + "joint_rank": 3, + "section": "A", + "source": 559, + "source_frame_rank": 1, + "start": 1202, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + } + ], + "count_weight": "2", + "maximum_disjoint_intervals": 2, + "maximum_target_saving": "1167360409126148200366849406988865820223955574503719255700495784183288949/7237005577332262213973186563042994240829374041602535252466099000494570602496", + "maximum_target_saving_intervals": 2, + "nonconsecutive_candidate_count": 0, + "selected_nonconsecutive_count": 0, + "target_schedule": [ + { + "coefficients": [ + "-1", + "1", + "-1" + ], + "consecutive": true, + "destinations": [ + 546, + 560, + 547 + ], + "end": 1192, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 1190, + 1191, + 1192 + ], + "joint_rank": 3, + "section": "A", + "source": 561, + "source_frame_rank": 1, + "start": 1190, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "-1", + "1", + "-1" + ], + "consecutive": true, + "destinations": [ + 548, + 558, + 549 + ], + "end": 1204, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 1202, + 1203, + 1204 + ], + "joint_rank": 3, + "section": "A", + "source": 559, + "source_frame_rank": 1, + "start": 1202, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + } + ] + }, + "B": { + "candidate_count": 52, + "candidates": [ + { + "coefficients": [ + "1/4", + "-1/4", + "1/4" + ], + "consecutive": true, + "destinations": [ + 169, + 170, + 172 + ], + "end": 53, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 51, + 52, + 53 + ], + "joint_rank": 3, + "section": "B", + "source": 592, + "source_frame_rank": 1, + "start": 51, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "1/4", + "-1/4", + "-1/4" + ], + "consecutive": false, + "destinations": [ + 169, + 170, + 175 + ], + "end": 54, + "gap_adds": 1, + "gap_operations": 1, + "gap_scales": 0, + "indices": [ + 51, + 52, + 54 + ], + "joint_rank": 3, + "section": "B", + "source": 592, + "source_frame_rank": 1, + "start": 51, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "1/4", + "1/4", + "-1/4" + ], + "consecutive": false, + "destinations": [ + 169, + 172, + 175 + ], + "end": 54, + "gap_adds": 1, + "gap_operations": 1, + "gap_scales": 0, + "indices": [ + 51, + 53, + 54 + ], + "joint_rank": 3, + "section": "B", + "source": 592, + "source_frame_rank": 1, + "start": 51, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "-1/4", + "1/4", + "-1/4" + ], + "consecutive": true, + "destinations": [ + 170, + 172, + 175 + ], + "end": 54, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 52, + 53, + 54 + ], + "joint_rank": 3, + "section": "B", + "source": 592, + "source_frame_rank": 1, + "start": 52, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "1/4", + "-1/4", + "1/4" + ], + "consecutive": true, + "destinations": [ + 137, + 138, + 140 + ], + "end": 69, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 67, + 68, + 69 + ], + "joint_rank": 3, + "section": "B", + "source": 600, + "source_frame_rank": 1, + "start": 67, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "1/4", + "-1/4", + "-1/4" + ], + "consecutive": false, + "destinations": [ + 137, + 138, + 143 + ], + "end": 70, + "gap_adds": 1, + "gap_operations": 1, + "gap_scales": 0, + "indices": [ + 67, + 68, + 70 + ], + "joint_rank": 3, + "section": "B", + "source": 600, + "source_frame_rank": 1, + "start": 67, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "1/4", + "1/4", + "-1/4" + ], + "consecutive": false, + "destinations": [ + 137, + 140, + 143 + ], + "end": 70, + "gap_adds": 1, + "gap_operations": 1, + "gap_scales": 0, + "indices": [ + 67, + 69, + 70 + ], + "joint_rank": 3, + "section": "B", + "source": 600, + "source_frame_rank": 1, + "start": 67, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "-1/4", + "1/4", + "-1/4" + ], + "consecutive": true, + "destinations": [ + 138, + 140, + 143 + ], + "end": 70, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 68, + 69, + 70 + ], + "joint_rank": 3, + "section": "B", + "source": 600, + "source_frame_rank": 1, + "start": 68, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "1/4", + "-1/4", + "1/4" + ], + "consecutive": true, + "destinations": [ + 129, + 130, + 132 + ], + "end": 85, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 83, + 84, + 85 + ], + "joint_rank": 3, + "section": "B", + "source": 608, + "source_frame_rank": 1, + "start": 83, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "1/4", + "-1/4", + "-1/4" + ], + "consecutive": false, + "destinations": [ + 129, + 130, + 135 + ], + "end": 86, + "gap_adds": 1, + "gap_operations": 1, + "gap_scales": 0, + "indices": [ + 83, + 84, + 86 + ], + "joint_rank": 3, + "section": "B", + "source": 608, + "source_frame_rank": 1, + "start": 83, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "1/4", + "1/4", + "-1/4" + ], + "consecutive": false, + "destinations": [ + 129, + 132, + 135 + ], + "end": 86, + "gap_adds": 1, + "gap_operations": 1, + "gap_scales": 0, + "indices": [ + 83, + 85, + 86 + ], + "joint_rank": 3, + "section": "B", + "source": 608, + "source_frame_rank": 1, + "start": 83, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "-1/4", + "1/4", + "-1/4" + ], + "consecutive": true, + "destinations": [ + 130, + 132, + 135 + ], + "end": 86, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 84, + 85, + 86 + ], + "joint_rank": 3, + "section": "B", + "source": 608, + "source_frame_rank": 1, + "start": 84, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "1/4", + "-1/4", + "1/4" + ], + "consecutive": true, + "destinations": [ + 217, + 218, + 220 + ], + "end": 153, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 151, + 152, + 153 + ], + "joint_rank": 2, + "section": "B", + "source": 640, + "source_frame_rank": 1, + "start": 151, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 0 + ] + }, + { + "coefficients": [ + "1/4", + "-1/4", + "-1/4" + ], + "consecutive": false, + "destinations": [ + 217, + 218, + 223 + ], + "end": 154, + "gap_adds": 1, + "gap_operations": 1, + "gap_scales": 0, + "indices": [ + 151, + 152, + 154 + ], + "joint_rank": 2, + "section": "B", + "source": 640, + "source_frame_rank": 1, + "start": 151, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 0 + ] + }, + { + "coefficients": [ + "-1/2", + "1/2", + "1/2" + ], + "consecutive": false, + "destinations": [ + 153, + 154, + 159 + ], + "end": 188, + "gap_adds": 1, + "gap_operations": 1, + "gap_scales": 0, + "indices": [ + 185, + 186, + 188 + ], + "joint_rank": 2, + "section": "B", + "source": 656, + "source_frame_rank": 1, + "start": 185, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 0, + 1 + ] + }, + { + "coefficients": [ + "-1/2", + "-1/2", + "1/2" + ], + "consecutive": false, + "destinations": [ + 153, + 156, + 159 + ], + "end": 188, + "gap_adds": 1, + "gap_operations": 1, + "gap_scales": 0, + "indices": [ + 185, + 187, + 188 + ], + "joint_rank": 2, + "section": "B", + "source": 656, + "source_frame_rank": 1, + "start": 185, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 0, + 1 + ] + }, + { + "coefficients": [ + "-1/2", + "1/2", + "1/2" + ], + "consecutive": false, + "destinations": [ + 185, + 186, + 191 + ], + "end": 204, + "gap_adds": 1, + "gap_operations": 1, + "gap_scales": 0, + "indices": [ + 201, + 202, + 204 + ], + "joint_rank": 2, + "section": "B", + "source": 664, + "source_frame_rank": 1, + "start": 201, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 0, + 1, + 1 + ] + }, + { + "coefficients": [ + "1/2", + "-1/2", + "1/2" + ], + "consecutive": true, + "destinations": [ + 186, + 188, + 191 + ], + "end": 204, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 202, + 203, + 204 + ], + "joint_rank": 2, + "section": "B", + "source": 664, + "source_frame_rank": 1, + "start": 202, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 0, + 1 + ] + }, + { + "coefficients": [ + "-1/2", + "1/2", + "-1/2" + ], + "consecutive": true, + "destinations": [ + 209, + 210, + 212 + ], + "end": 219, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 217, + 218, + 219 + ], + "joint_rank": 2, + "section": "B", + "source": 672, + "source_frame_rank": 1, + "start": 217, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 0 + ] + }, + { + "coefficients": [ + "-1/2", + "1/2", + "1/2" + ], + "consecutive": false, + "destinations": [ + 209, + 210, + 215 + ], + "end": 220, + "gap_adds": 1, + "gap_operations": 1, + "gap_scales": 0, + "indices": [ + 217, + 218, + 220 + ], + "joint_rank": 3, + "section": "B", + "source": 672, + "source_frame_rank": 1, + "start": 217, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "-1/2", + "-1/2", + "1/2" + ], + "consecutive": false, + "destinations": [ + 209, + 212, + 215 + ], + "end": 220, + "gap_adds": 1, + "gap_operations": 1, + "gap_scales": 0, + "indices": [ + 217, + 219, + 220 + ], + "joint_rank": 2, + "section": "B", + "source": 672, + "source_frame_rank": 1, + "start": 217, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 0, + 1 + ] + }, + { + "coefficients": [ + "1/2", + "-1/2", + "1/2" + ], + "consecutive": true, + "destinations": [ + 210, + 212, + 215 + ], + "end": 220, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 218, + 219, + 220 + ], + "joint_rank": 2, + "section": "B", + "source": 672, + "source_frame_rank": 1, + "start": 218, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 0, + 1 + ] + }, + { + "coefficients": [ + "-1/2", + "1/2", + "-1/2" + ], + "consecutive": true, + "destinations": [ + 201, + 202, + 204 + ], + "end": 237, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 235, + 236, + 237 + ], + "joint_rank": 3, + "section": "B", + "source": 680, + "source_frame_rank": 1, + "start": 235, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "-1/2", + "1/2", + "1/2" + ], + "consecutive": false, + "destinations": [ + 201, + 202, + 207 + ], + "end": 238, + "gap_adds": 1, + "gap_operations": 1, + "gap_scales": 0, + "indices": [ + 235, + 236, + 238 + ], + "joint_rank": 3, + "section": "B", + "source": 680, + "source_frame_rank": 1, + "start": 235, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "-1/2", + "-1/2", + "1/2" + ], + "consecutive": false, + "destinations": [ + 201, + 204, + 207 + ], + "end": 238, + "gap_adds": 1, + "gap_operations": 1, + "gap_scales": 0, + "indices": [ + 235, + 237, + 238 + ], + "joint_rank": 3, + "section": "B", + "source": 680, + "source_frame_rank": 1, + "start": 235, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "1/2", + "-1/2", + "1/2" + ], + "consecutive": true, + "destinations": [ + 202, + 204, + 207 + ], + "end": 238, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 236, + 237, + 238 + ], + "joint_rank": 3, + "section": "B", + "source": 680, + "source_frame_rank": 1, + "start": 236, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "-1/2", + "1/2", + "-1/2" + ], + "consecutive": true, + "destinations": [ + 193, + 194, + 196 + ], + "end": 253, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 251, + 252, + 253 + ], + "joint_rank": 3, + "section": "B", + "source": 688, + "source_frame_rank": 1, + "start": 251, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "-1/2", + "1/2", + "1/2" + ], + "consecutive": false, + "destinations": [ + 193, + 194, + 199 + ], + "end": 254, + "gap_adds": 1, + "gap_operations": 1, + "gap_scales": 0, + "indices": [ + 251, + 252, + 254 + ], + "joint_rank": 3, + "section": "B", + "source": 688, + "source_frame_rank": 1, + "start": 251, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "-1/2", + "-1/2", + "1/2" + ], + "consecutive": false, + "destinations": [ + 193, + 196, + 199 + ], + "end": 254, + "gap_adds": 1, + "gap_operations": 1, + "gap_scales": 0, + "indices": [ + 251, + 253, + 254 + ], + "joint_rank": 3, + "section": "B", + "source": 688, + "source_frame_rank": 1, + "start": 251, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "1/2", + "-1/2", + "1/2" + ], + "consecutive": true, + "destinations": [ + 194, + 196, + 199 + ], + "end": 254, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 252, + 253, + 254 + ], + "joint_rank": 3, + "section": "B", + "source": 688, + "source_frame_rank": 1, + "start": 252, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "-1/2", + "1/2", + "-1/2" + ], + "consecutive": true, + "destinations": [ + 161, + 162, + 164 + ], + "end": 269, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 267, + 268, + 269 + ], + "joint_rank": 3, + "section": "B", + "source": 696, + "source_frame_rank": 1, + "start": 267, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "-1/2", + "1/2", + "1/2" + ], + "consecutive": false, + "destinations": [ + 161, + 162, + 167 + ], + "end": 270, + "gap_adds": 1, + "gap_operations": 1, + "gap_scales": 0, + "indices": [ + 267, + 268, + 270 + ], + "joint_rank": 3, + "section": "B", + "source": 696, + "source_frame_rank": 1, + "start": 267, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "-1/2", + "-1/2", + "1/2" + ], + "consecutive": false, + "destinations": [ + 161, + 164, + 167 + ], + "end": 270, + "gap_adds": 1, + "gap_operations": 1, + "gap_scales": 0, + "indices": [ + 267, + 269, + 270 + ], + "joint_rank": 3, + "section": "B", + "source": 696, + "source_frame_rank": 1, + "start": 267, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "1/2", + "-1/2", + "1/2" + ], + "consecutive": true, + "destinations": [ + 162, + 164, + 167 + ], + "end": 270, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 268, + 269, + 270 + ], + "joint_rank": 3, + "section": "B", + "source": 696, + "source_frame_rank": 1, + "start": 268, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 672, + 673, + 674 + ], + "end": 285, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 283, + 284, + 285 + ], + "joint_rank": 9, + "section": "B", + "source": 675, + "source_frame_rank": 4, + "start": 283, + "target_frame_ranks": [ + 4, + 4, + 4 + ], + "target_ranks": [ + 3, + 3, + 3 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 680, + 681, + 682 + ], + "end": 297, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 295, + 296, + 297 + ], + "joint_rank": 9, + "section": "B", + "source": 683, + "source_frame_rank": 4, + "start": 295, + "target_frame_ranks": [ + 4, + 4, + 4 + ], + "target_ranks": [ + 3, + 3, + 3 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 696, + 697, + 698 + ], + "end": 309, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 307, + 308, + 309 + ], + "joint_rank": 9, + "section": "B", + "source": 699, + "source_frame_rank": 4, + "start": 307, + "target_frame_ranks": [ + 4, + 4, + 4 + ], + "target_ranks": [ + 3, + 3, + 3 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 688, + 689, + 690 + ], + "end": 321, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 319, + 320, + 321 + ], + "joint_rank": 9, + "section": "B", + "source": 691, + "source_frame_rank": 4, + "start": 319, + "target_frame_ranks": [ + 4, + 4, + 4 + ], + "target_ranks": [ + 3, + 3, + 3 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 664, + 665, + 666 + ], + "end": 338, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 336, + 337, + 338 + ], + "joint_rank": 9, + "section": "B", + "source": 667, + "source_frame_rank": 4, + "start": 336, + "target_frame_ranks": [ + 4, + 4, + 4 + ], + "target_ranks": [ + 3, + 3, + 3 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 656, + 657, + 658 + ], + "end": 350, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 348, + 349, + 350 + ], + "joint_rank": 9, + "section": "B", + "source": 659, + "source_frame_rank": 4, + "start": 348, + "target_frame_ranks": [ + 4, + 4, + 4 + ], + "target_ranks": [ + 3, + 3, + 3 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 640, + 641, + 642 + ], + "end": 362, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 360, + 361, + 362 + ], + "joint_rank": 9, + "section": "B", + "source": 643, + "source_frame_rank": 4, + "start": 360, + "target_frame_ranks": [ + 4, + 4, + 4 + ], + "target_ranks": [ + 3, + 3, + 3 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 632, + 633, + 634 + ], + "end": 374, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 372, + 373, + 374 + ], + "joint_rank": 12, + "section": "B", + "source": 635, + "source_frame_rank": 5, + "start": 372, + "target_frame_ranks": [ + 5, + 5, + 5 + ], + "target_ranks": [ + 4, + 4, + 4 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 624, + 625, + 626 + ], + "end": 386, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 384, + 385, + 386 + ], + "joint_rank": 12, + "section": "B", + "source": 627, + "source_frame_rank": 5, + "start": 384, + "target_frame_ranks": [ + 5, + 5, + 5 + ], + "target_ranks": [ + 4, + 4, + 4 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 600, + 601, + 602 + ], + "end": 398, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 396, + 397, + 398 + ], + "joint_rank": 12, + "section": "B", + "source": 603, + "source_frame_rank": 5, + "start": 396, + "target_frame_ranks": [ + 5, + 5, + 5 + ], + "target_ranks": [ + 4, + 4, + 4 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 608, + 609, + 610 + ], + "end": 410, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 408, + 409, + 410 + ], + "joint_rank": 12, + "section": "B", + "source": 611, + "source_frame_rank": 5, + "start": 408, + "target_frame_ranks": [ + 5, + 5, + 5 + ], + "target_ranks": [ + 4, + 4, + 4 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 592, + 593, + 594 + ], + "end": 422, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 420, + 421, + 422 + ], + "joint_rank": 9, + "section": "B", + "source": 595, + "source_frame_rank": 4, + "start": 420, + "target_frame_ranks": [ + 4, + 4, + 4 + ], + "target_ranks": [ + 3, + 3, + 3 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 648, + 649, + 650 + ], + "end": 434, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 432, + 433, + 434 + ], + "joint_rank": 12, + "section": "B", + "source": 651, + "source_frame_rank": 5, + "start": 432, + "target_frame_ranks": [ + 5, + 5, + 5 + ], + "target_ranks": [ + 4, + 4, + 4 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 616, + 617, + 618 + ], + "end": 446, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 444, + 445, + 446 + ], + "joint_rank": 12, + "section": "B", + "source": 619, + "source_frame_rank": 5, + "start": 444, + "target_frame_ranks": [ + 5, + 5, + 5 + ], + "target_ranks": [ + 4, + 4, + 4 + ] + }, + { + "coefficients": [ + "-1", + "1", + "-1" + ], + "consecutive": false, + "destinations": [ + 123, + 187, + 483 + ], + "end": 736, + "gap_adds": 266, + "gap_operations": 266, + "gap_scales": 0, + "indices": [ + 468, + 504, + 736 + ], + "joint_rank": 2, + "section": "B", + "source": 555, + "source_frame_rank": 1, + "start": 468, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 0, + 1, + 1 + ] + }, + { + "coefficients": [ + "1", + "-1", + "-1" + ], + "consecutive": false, + "destinations": [ + 211, + 147, + 495 + ], + "end": 756, + "gap_adds": 704, + "gap_operations": 704, + "gap_scales": 0, + "indices": [ + 50, + 477, + 756 + ], + "joint_rank": 2, + "section": "B", + "source": 567, + "source_frame_rank": 1, + "start": 50, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 0, + 1 + ] + }, + { + "coefficients": [ + "1", + "-1", + "-1" + ], + "consecutive": false, + "destinations": [ + 115, + 179, + 507 + ], + "end": 776, + "gap_adds": 315, + "gap_operations": 315, + "gap_scales": 0, + "indices": [ + 459, + 495, + 776 + ], + "joint_rank": 2, + "section": "B", + "source": 531, + "source_frame_rank": 1, + "start": 459, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 0, + 1 + ] + }, + { + "coefficients": [ + "1", + "-1", + "-1" + ], + "consecutive": false, + "destinations": [ + 155, + 219, + 519 + ], + "end": 796, + "gap_adds": 308, + "gap_operations": 308, + "gap_scales": 0, + "indices": [ + 486, + 521, + 796 + ], + "joint_rank": 2, + "section": "B", + "source": 543, + "source_frame_rank": 1, + "start": 486, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 0, + 1, + 1 + ] + } + ], + "consecutive_candidate_count": 30, + "count_schedule": [ + { + "coefficients": [ + "1/4", + "-1/4", + "1/4" + ], + "consecutive": true, + "destinations": [ + 169, + 170, + 172 + ], + "end": 53, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 51, + 52, + 53 + ], + "joint_rank": 3, + "section": "B", + "source": 592, + "source_frame_rank": 1, + "start": 51, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "1/4", + "-1/4", + "1/4" + ], + "consecutive": true, + "destinations": [ + 137, + 138, + 140 + ], + "end": 69, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 67, + 68, + 69 + ], + "joint_rank": 3, + "section": "B", + "source": 600, + "source_frame_rank": 1, + "start": 67, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "1/4", + "-1/4", + "1/4" + ], + "consecutive": true, + "destinations": [ + 129, + 130, + 132 + ], + "end": 85, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 83, + 84, + 85 + ], + "joint_rank": 3, + "section": "B", + "source": 608, + "source_frame_rank": 1, + "start": 83, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "1/4", + "-1/4", + "1/4" + ], + "consecutive": true, + "destinations": [ + 217, + 218, + 220 + ], + "end": 153, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 151, + 152, + 153 + ], + "joint_rank": 2, + "section": "B", + "source": 640, + "source_frame_rank": 1, + "start": 151, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 0 + ] + }, + { + "coefficients": [ + "-1/2", + "1/2", + "1/2" + ], + "consecutive": false, + "destinations": [ + 153, + 154, + 159 + ], + "end": 188, + "gap_adds": 1, + "gap_operations": 1, + "gap_scales": 0, + "indices": [ + 185, + 186, + 188 + ], + "joint_rank": 2, + "section": "B", + "source": 656, + "source_frame_rank": 1, + "start": 185, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 0, + 1 + ] + }, + { + "coefficients": [ + "-1/2", + "1/2", + "1/2" + ], + "consecutive": false, + "destinations": [ + 185, + 186, + 191 + ], + "end": 204, + "gap_adds": 1, + "gap_operations": 1, + "gap_scales": 0, + "indices": [ + 201, + 202, + 204 + ], + "joint_rank": 2, + "section": "B", + "source": 664, + "source_frame_rank": 1, + "start": 201, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 0, + 1, + 1 + ] + }, + { + "coefficients": [ + "-1/2", + "1/2", + "-1/2" + ], + "consecutive": true, + "destinations": [ + 209, + 210, + 212 + ], + "end": 219, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 217, + 218, + 219 + ], + "joint_rank": 2, + "section": "B", + "source": 672, + "source_frame_rank": 1, + "start": 217, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 0 + ] + }, + { + "coefficients": [ + "-1/2", + "1/2", + "-1/2" + ], + "consecutive": true, + "destinations": [ + 201, + 202, + 204 + ], + "end": 237, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 235, + 236, + 237 + ], + "joint_rank": 3, + "section": "B", + "source": 680, + "source_frame_rank": 1, + "start": 235, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "-1/2", + "1/2", + "-1/2" + ], + "consecutive": true, + "destinations": [ + 193, + 194, + 196 + ], + "end": 253, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 251, + 252, + 253 + ], + "joint_rank": 3, + "section": "B", + "source": 688, + "source_frame_rank": 1, + "start": 251, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "-1/2", + "1/2", + "-1/2" + ], + "consecutive": true, + "destinations": [ + 161, + 162, + 164 + ], + "end": 269, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 267, + 268, + 269 + ], + "joint_rank": 3, + "section": "B", + "source": 696, + "source_frame_rank": 1, + "start": 267, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 672, + 673, + 674 + ], + "end": 285, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 283, + 284, + 285 + ], + "joint_rank": 9, + "section": "B", + "source": 675, + "source_frame_rank": 4, + "start": 283, + "target_frame_ranks": [ + 4, + 4, + 4 + ], + "target_ranks": [ + 3, + 3, + 3 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 680, + 681, + 682 + ], + "end": 297, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 295, + 296, + 297 + ], + "joint_rank": 9, + "section": "B", + "source": 683, + "source_frame_rank": 4, + "start": 295, + "target_frame_ranks": [ + 4, + 4, + 4 + ], + "target_ranks": [ + 3, + 3, + 3 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 696, + 697, + 698 + ], + "end": 309, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 307, + 308, + 309 + ], + "joint_rank": 9, + "section": "B", + "source": 699, + "source_frame_rank": 4, + "start": 307, + "target_frame_ranks": [ + 4, + 4, + 4 + ], + "target_ranks": [ + 3, + 3, + 3 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 688, + 689, + 690 + ], + "end": 321, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 319, + 320, + 321 + ], + "joint_rank": 9, + "section": "B", + "source": 691, + "source_frame_rank": 4, + "start": 319, + "target_frame_ranks": [ + 4, + 4, + 4 + ], + "target_ranks": [ + 3, + 3, + 3 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 664, + 665, + 666 + ], + "end": 338, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 336, + 337, + 338 + ], + "joint_rank": 9, + "section": "B", + "source": 667, + "source_frame_rank": 4, + "start": 336, + "target_frame_ranks": [ + 4, + 4, + 4 + ], + "target_ranks": [ + 3, + 3, + 3 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 656, + 657, + 658 + ], + "end": 350, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 348, + 349, + 350 + ], + "joint_rank": 9, + "section": "B", + "source": 659, + "source_frame_rank": 4, + "start": 348, + "target_frame_ranks": [ + 4, + 4, + 4 + ], + "target_ranks": [ + 3, + 3, + 3 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 640, + 641, + 642 + ], + "end": 362, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 360, + 361, + 362 + ], + "joint_rank": 9, + "section": "B", + "source": 643, + "source_frame_rank": 4, + "start": 360, + "target_frame_ranks": [ + 4, + 4, + 4 + ], + "target_ranks": [ + 3, + 3, + 3 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 632, + 633, + 634 + ], + "end": 374, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 372, + 373, + 374 + ], + "joint_rank": 12, + "section": "B", + "source": 635, + "source_frame_rank": 5, + "start": 372, + "target_frame_ranks": [ + 5, + 5, + 5 + ], + "target_ranks": [ + 4, + 4, + 4 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 624, + 625, + 626 + ], + "end": 386, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 384, + 385, + 386 + ], + "joint_rank": 12, + "section": "B", + "source": 627, + "source_frame_rank": 5, + "start": 384, + "target_frame_ranks": [ + 5, + 5, + 5 + ], + "target_ranks": [ + 4, + 4, + 4 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 600, + 601, + 602 + ], + "end": 398, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 396, + 397, + 398 + ], + "joint_rank": 12, + "section": "B", + "source": 603, + "source_frame_rank": 5, + "start": 396, + "target_frame_ranks": [ + 5, + 5, + 5 + ], + "target_ranks": [ + 4, + 4, + 4 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 608, + 609, + 610 + ], + "end": 410, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 408, + 409, + 410 + ], + "joint_rank": 12, + "section": "B", + "source": 611, + "source_frame_rank": 5, + "start": 408, + "target_frame_ranks": [ + 5, + 5, + 5 + ], + "target_ranks": [ + 4, + 4, + 4 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 592, + 593, + 594 + ], + "end": 422, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 420, + 421, + 422 + ], + "joint_rank": 9, + "section": "B", + "source": 595, + "source_frame_rank": 4, + "start": 420, + "target_frame_ranks": [ + 4, + 4, + 4 + ], + "target_ranks": [ + 3, + 3, + 3 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 648, + 649, + 650 + ], + "end": 434, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 432, + 433, + 434 + ], + "joint_rank": 12, + "section": "B", + "source": 651, + "source_frame_rank": 5, + "start": 432, + "target_frame_ranks": [ + 5, + 5, + 5 + ], + "target_ranks": [ + 4, + 4, + 4 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 616, + 617, + 618 + ], + "end": 446, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 444, + 445, + 446 + ], + "joint_rank": 12, + "section": "B", + "source": 619, + "source_frame_rank": 5, + "start": 444, + "target_frame_ranks": [ + 5, + 5, + 5 + ], + "target_ranks": [ + 4, + 4, + 4 + ] + }, + { + "coefficients": [ + "-1", + "1", + "-1" + ], + "consecutive": false, + "destinations": [ + 123, + 187, + 483 + ], + "end": 736, + "gap_adds": 266, + "gap_operations": 266, + "gap_scales": 0, + "indices": [ + 468, + 504, + 736 + ], + "joint_rank": 2, + "section": "B", + "source": 555, + "source_frame_rank": 1, + "start": 468, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 0, + 1, + 1 + ] + } + ], + "count_weight": "25", + "maximum_disjoint_intervals": 25, + "maximum_target_saving": "264184737110399218495032003930170518078575171839387879467914203181887873037/57896044618658097711785492504343953926634992332820282019728792003956564819968", + "maximum_target_saving_intervals": 25, + "nonconsecutive_candidate_count": 22, + "selected_nonconsecutive_count": 4, + "target_schedule": [ + { + "coefficients": [ + "1/4", + "-1/4", + "1/4" + ], + "consecutive": true, + "destinations": [ + 169, + 170, + 172 + ], + "end": 53, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 51, + 52, + 53 + ], + "joint_rank": 3, + "section": "B", + "source": 592, + "source_frame_rank": 1, + "start": 51, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "1/4", + "-1/4", + "1/4" + ], + "consecutive": true, + "destinations": [ + 137, + 138, + 140 + ], + "end": 69, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 67, + 68, + 69 + ], + "joint_rank": 3, + "section": "B", + "source": 600, + "source_frame_rank": 1, + "start": 67, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "1/4", + "-1/4", + "1/4" + ], + "consecutive": true, + "destinations": [ + 129, + 130, + 132 + ], + "end": 85, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 83, + 84, + 85 + ], + "joint_rank": 3, + "section": "B", + "source": 608, + "source_frame_rank": 1, + "start": 83, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "1/4", + "-1/4", + "1/4" + ], + "consecutive": true, + "destinations": [ + 217, + 218, + 220 + ], + "end": 153, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 151, + 152, + 153 + ], + "joint_rank": 2, + "section": "B", + "source": 640, + "source_frame_rank": 1, + "start": 151, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 0 + ] + }, + { + "coefficients": [ + "-1/2", + "1/2", + "1/2" + ], + "consecutive": false, + "destinations": [ + 153, + 154, + 159 + ], + "end": 188, + "gap_adds": 1, + "gap_operations": 1, + "gap_scales": 0, + "indices": [ + 185, + 186, + 188 + ], + "joint_rank": 2, + "section": "B", + "source": 656, + "source_frame_rank": 1, + "start": 185, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 0, + 1 + ] + }, + { + "coefficients": [ + "-1/2", + "1/2", + "1/2" + ], + "consecutive": false, + "destinations": [ + 185, + 186, + 191 + ], + "end": 204, + "gap_adds": 1, + "gap_operations": 1, + "gap_scales": 0, + "indices": [ + 201, + 202, + 204 + ], + "joint_rank": 2, + "section": "B", + "source": 664, + "source_frame_rank": 1, + "start": 201, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 0, + 1, + 1 + ] + }, + { + "coefficients": [ + "-1/2", + "1/2", + "1/2" + ], + "consecutive": false, + "destinations": [ + 209, + 210, + 215 + ], + "end": 220, + "gap_adds": 1, + "gap_operations": 1, + "gap_scales": 0, + "indices": [ + 217, + 218, + 220 + ], + "joint_rank": 3, + "section": "B", + "source": 672, + "source_frame_rank": 1, + "start": 217, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "-1/2", + "1/2", + "-1/2" + ], + "consecutive": true, + "destinations": [ + 201, + 202, + 204 + ], + "end": 237, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 235, + 236, + 237 + ], + "joint_rank": 3, + "section": "B", + "source": 680, + "source_frame_rank": 1, + "start": 235, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "-1/2", + "1/2", + "-1/2" + ], + "consecutive": true, + "destinations": [ + 193, + 194, + 196 + ], + "end": 253, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 251, + 252, + 253 + ], + "joint_rank": 3, + "section": "B", + "source": 688, + "source_frame_rank": 1, + "start": 251, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "-1/2", + "1/2", + "-1/2" + ], + "consecutive": true, + "destinations": [ + 161, + 162, + 164 + ], + "end": 269, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 267, + 268, + 269 + ], + "joint_rank": 3, + "section": "B", + "source": 696, + "source_frame_rank": 1, + "start": 267, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 672, + 673, + 674 + ], + "end": 285, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 283, + 284, + 285 + ], + "joint_rank": 9, + "section": "B", + "source": 675, + "source_frame_rank": 4, + "start": 283, + "target_frame_ranks": [ + 4, + 4, + 4 + ], + "target_ranks": [ + 3, + 3, + 3 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 680, + 681, + 682 + ], + "end": 297, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 295, + 296, + 297 + ], + "joint_rank": 9, + "section": "B", + "source": 683, + "source_frame_rank": 4, + "start": 295, + "target_frame_ranks": [ + 4, + 4, + 4 + ], + "target_ranks": [ + 3, + 3, + 3 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 696, + 697, + 698 + ], + "end": 309, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 307, + 308, + 309 + ], + "joint_rank": 9, + "section": "B", + "source": 699, + "source_frame_rank": 4, + "start": 307, + "target_frame_ranks": [ + 4, + 4, + 4 + ], + "target_ranks": [ + 3, + 3, + 3 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 688, + 689, + 690 + ], + "end": 321, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 319, + 320, + 321 + ], + "joint_rank": 9, + "section": "B", + "source": 691, + "source_frame_rank": 4, + "start": 319, + "target_frame_ranks": [ + 4, + 4, + 4 + ], + "target_ranks": [ + 3, + 3, + 3 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 664, + 665, + 666 + ], + "end": 338, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 336, + 337, + 338 + ], + "joint_rank": 9, + "section": "B", + "source": 667, + "source_frame_rank": 4, + "start": 336, + "target_frame_ranks": [ + 4, + 4, + 4 + ], + "target_ranks": [ + 3, + 3, + 3 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 656, + 657, + 658 + ], + "end": 350, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 348, + 349, + 350 + ], + "joint_rank": 9, + "section": "B", + "source": 659, + "source_frame_rank": 4, + "start": 348, + "target_frame_ranks": [ + 4, + 4, + 4 + ], + "target_ranks": [ + 3, + 3, + 3 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 640, + 641, + 642 + ], + "end": 362, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 360, + 361, + 362 + ], + "joint_rank": 9, + "section": "B", + "source": 643, + "source_frame_rank": 4, + "start": 360, + "target_frame_ranks": [ + 4, + 4, + 4 + ], + "target_ranks": [ + 3, + 3, + 3 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 632, + 633, + 634 + ], + "end": 374, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 372, + 373, + 374 + ], + "joint_rank": 12, + "section": "B", + "source": 635, + "source_frame_rank": 5, + "start": 372, + "target_frame_ranks": [ + 5, + 5, + 5 + ], + "target_ranks": [ + 4, + 4, + 4 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 624, + 625, + 626 + ], + "end": 386, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 384, + 385, + 386 + ], + "joint_rank": 12, + "section": "B", + "source": 627, + "source_frame_rank": 5, + "start": 384, + "target_frame_ranks": [ + 5, + 5, + 5 + ], + "target_ranks": [ + 4, + 4, + 4 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 600, + 601, + 602 + ], + "end": 398, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 396, + 397, + 398 + ], + "joint_rank": 12, + "section": "B", + "source": 603, + "source_frame_rank": 5, + "start": 396, + "target_frame_ranks": [ + 5, + 5, + 5 + ], + "target_ranks": [ + 4, + 4, + 4 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 608, + 609, + 610 + ], + "end": 410, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 408, + 409, + 410 + ], + "joint_rank": 12, + "section": "B", + "source": 611, + "source_frame_rank": 5, + "start": 408, + "target_frame_ranks": [ + 5, + 5, + 5 + ], + "target_ranks": [ + 4, + 4, + 4 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 592, + 593, + 594 + ], + "end": 422, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 420, + 421, + 422 + ], + "joint_rank": 9, + "section": "B", + "source": 595, + "source_frame_rank": 4, + "start": 420, + "target_frame_ranks": [ + 4, + 4, + 4 + ], + "target_ranks": [ + 3, + 3, + 3 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 648, + 649, + 650 + ], + "end": 434, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 432, + 433, + 434 + ], + "joint_rank": 12, + "section": "B", + "source": 651, + "source_frame_rank": 5, + "start": 432, + "target_frame_ranks": [ + 5, + 5, + 5 + ], + "target_ranks": [ + 4, + 4, + 4 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 616, + 617, + 618 + ], + "end": 446, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 444, + 445, + 446 + ], + "joint_rank": 12, + "section": "B", + "source": 619, + "source_frame_rank": 5, + "start": 444, + "target_frame_ranks": [ + 5, + 5, + 5 + ], + "target_ranks": [ + 4, + 4, + 4 + ] + }, + { + "coefficients": [ + "-1", + "1", + "-1" + ], + "consecutive": false, + "destinations": [ + 123, + 187, + 483 + ], + "end": 736, + "gap_adds": 266, + "gap_operations": 266, + "gap_scales": 0, + "indices": [ + 468, + 504, + 736 + ], + "joint_rank": 2, + "section": "B", + "source": 555, + "source_frame_rank": 1, + "start": 468, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 0, + 1, + 1 + ] + } + ] + } + }, + "selected_record_sha256": "10b9e340fd8e354a37a0c4813c90e5de1dd42044b5f6aca4a3fc5a42b685fa32", + "status": "PASS_COMMUTING_FANOUT_FINITE_SCREEN", + "strict_margin_above_one": "22921994496298101186580705147757554624172768428273246745373746000790856367/115792089237316195423570985008687907853269984665640564039457584007913129639936", + "target_saving_schedule": [ + { + "coefficients": [ + "-1", + "1", + "-1" + ], + "consecutive": true, + "destinations": [ + 546, + 560, + 547 + ], + "end": 1192, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 1190, + 1191, + 1192 + ], + "joint_rank": 3, + "section": "A", + "source": 561, + "source_frame_rank": 1, + "start": 1190, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "-1", + "1", + "-1" + ], + "consecutive": true, + "destinations": [ + 548, + 558, + 549 + ], + "end": 1204, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 1202, + 1203, + 1204 + ], + "joint_rank": 3, + "section": "A", + "source": 559, + "source_frame_rank": 1, + "start": 1202, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "1/4", + "-1/4", + "1/4" + ], + "consecutive": true, + "destinations": [ + 169, + 170, + 172 + ], + "end": 53, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 51, + 52, + 53 + ], + "joint_rank": 3, + "section": "B", + "source": 592, + "source_frame_rank": 1, + "start": 51, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "1/4", + "-1/4", + "1/4" + ], + "consecutive": true, + "destinations": [ + 137, + 138, + 140 + ], + "end": 69, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 67, + 68, + 69 + ], + "joint_rank": 3, + "section": "B", + "source": 600, + "source_frame_rank": 1, + "start": 67, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "1/4", + "-1/4", + "1/4" + ], + "consecutive": true, + "destinations": [ + 129, + 130, + 132 + ], + "end": 85, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 83, + 84, + 85 + ], + "joint_rank": 3, + "section": "B", + "source": 608, + "source_frame_rank": 1, + "start": 83, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "1/4", + "-1/4", + "1/4" + ], + "consecutive": true, + "destinations": [ + 217, + 218, + 220 + ], + "end": 153, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 151, + 152, + 153 + ], + "joint_rank": 2, + "section": "B", + "source": 640, + "source_frame_rank": 1, + "start": 151, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 0 + ] + }, + { + "coefficients": [ + "-1/2", + "1/2", + "1/2" + ], + "consecutive": false, + "destinations": [ + 153, + 154, + 159 + ], + "end": 188, + "gap_adds": 1, + "gap_operations": 1, + "gap_scales": 0, + "indices": [ + 185, + 186, + 188 + ], + "joint_rank": 2, + "section": "B", + "source": 656, + "source_frame_rank": 1, + "start": 185, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 0, + 1 + ] + }, + { + "coefficients": [ + "-1/2", + "1/2", + "1/2" + ], + "consecutive": false, + "destinations": [ + 185, + 186, + 191 + ], + "end": 204, + "gap_adds": 1, + "gap_operations": 1, + "gap_scales": 0, + "indices": [ + 201, + 202, + 204 + ], + "joint_rank": 2, + "section": "B", + "source": 664, + "source_frame_rank": 1, + "start": 201, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 0, + 1, + 1 + ] + }, + { + "coefficients": [ + "-1/2", + "1/2", + "1/2" + ], + "consecutive": false, + "destinations": [ + 209, + 210, + 215 + ], + "end": 220, + "gap_adds": 1, + "gap_operations": 1, + "gap_scales": 0, + "indices": [ + 217, + 218, + 220 + ], + "joint_rank": 3, + "section": "B", + "source": 672, + "source_frame_rank": 1, + "start": 217, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "-1/2", + "1/2", + "-1/2" + ], + "consecutive": true, + "destinations": [ + 201, + 202, + 204 + ], + "end": 237, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 235, + 236, + 237 + ], + "joint_rank": 3, + "section": "B", + "source": 680, + "source_frame_rank": 1, + "start": 235, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "-1/2", + "1/2", + "-1/2" + ], + "consecutive": true, + "destinations": [ + 193, + 194, + 196 + ], + "end": 253, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 251, + 252, + 253 + ], + "joint_rank": 3, + "section": "B", + "source": 688, + "source_frame_rank": 1, + "start": 251, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "-1/2", + "1/2", + "-1/2" + ], + "consecutive": true, + "destinations": [ + 161, + 162, + 164 + ], + "end": 269, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 267, + 268, + 269 + ], + "joint_rank": 3, + "section": "B", + "source": 696, + "source_frame_rank": 1, + "start": 267, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 1, + 1, + 1 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 672, + 673, + 674 + ], + "end": 285, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 283, + 284, + 285 + ], + "joint_rank": 9, + "section": "B", + "source": 675, + "source_frame_rank": 4, + "start": 283, + "target_frame_ranks": [ + 4, + 4, + 4 + ], + "target_ranks": [ + 3, + 3, + 3 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 680, + 681, + 682 + ], + "end": 297, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 295, + 296, + 297 + ], + "joint_rank": 9, + "section": "B", + "source": 683, + "source_frame_rank": 4, + "start": 295, + "target_frame_ranks": [ + 4, + 4, + 4 + ], + "target_ranks": [ + 3, + 3, + 3 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 696, + 697, + 698 + ], + "end": 309, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 307, + 308, + 309 + ], + "joint_rank": 9, + "section": "B", + "source": 699, + "source_frame_rank": 4, + "start": 307, + "target_frame_ranks": [ + 4, + 4, + 4 + ], + "target_ranks": [ + 3, + 3, + 3 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 688, + 689, + 690 + ], + "end": 321, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 319, + 320, + 321 + ], + "joint_rank": 9, + "section": "B", + "source": 691, + "source_frame_rank": 4, + "start": 319, + "target_frame_ranks": [ + 4, + 4, + 4 + ], + "target_ranks": [ + 3, + 3, + 3 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 664, + 665, + 666 + ], + "end": 338, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 336, + 337, + 338 + ], + "joint_rank": 9, + "section": "B", + "source": 667, + "source_frame_rank": 4, + "start": 336, + "target_frame_ranks": [ + 4, + 4, + 4 + ], + "target_ranks": [ + 3, + 3, + 3 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 656, + 657, + 658 + ], + "end": 350, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 348, + 349, + 350 + ], + "joint_rank": 9, + "section": "B", + "source": 659, + "source_frame_rank": 4, + "start": 348, + "target_frame_ranks": [ + 4, + 4, + 4 + ], + "target_ranks": [ + 3, + 3, + 3 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 640, + 641, + 642 + ], + "end": 362, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 360, + 361, + 362 + ], + "joint_rank": 9, + "section": "B", + "source": 643, + "source_frame_rank": 4, + "start": 360, + "target_frame_ranks": [ + 4, + 4, + 4 + ], + "target_ranks": [ + 3, + 3, + 3 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 632, + 633, + 634 + ], + "end": 374, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 372, + 373, + 374 + ], + "joint_rank": 12, + "section": "B", + "source": 635, + "source_frame_rank": 5, + "start": 372, + "target_frame_ranks": [ + 5, + 5, + 5 + ], + "target_ranks": [ + 4, + 4, + 4 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 624, + 625, + 626 + ], + "end": 386, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 384, + 385, + 386 + ], + "joint_rank": 12, + "section": "B", + "source": 627, + "source_frame_rank": 5, + "start": 384, + "target_frame_ranks": [ + 5, + 5, + 5 + ], + "target_ranks": [ + 4, + 4, + 4 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 600, + 601, + 602 + ], + "end": 398, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 396, + 397, + 398 + ], + "joint_rank": 12, + "section": "B", + "source": 603, + "source_frame_rank": 5, + "start": 396, + "target_frame_ranks": [ + 5, + 5, + 5 + ], + "target_ranks": [ + 4, + 4, + 4 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 608, + 609, + 610 + ], + "end": 410, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 408, + 409, + 410 + ], + "joint_rank": 12, + "section": "B", + "source": 611, + "source_frame_rank": 5, + "start": 408, + "target_frame_ranks": [ + 5, + 5, + 5 + ], + "target_ranks": [ + 4, + 4, + 4 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 592, + 593, + 594 + ], + "end": 422, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 420, + 421, + 422 + ], + "joint_rank": 9, + "section": "B", + "source": 595, + "source_frame_rank": 4, + "start": 420, + "target_frame_ranks": [ + 4, + 4, + 4 + ], + "target_ranks": [ + 3, + 3, + 3 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 648, + 649, + 650 + ], + "end": 434, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 432, + 433, + 434 + ], + "joint_rank": 12, + "section": "B", + "source": 651, + "source_frame_rank": 5, + "start": 432, + "target_frame_ranks": [ + 5, + 5, + 5 + ], + "target_ranks": [ + 4, + 4, + 4 + ] + }, + { + "coefficients": [ + "-1", + "-1", + "1" + ], + "consecutive": true, + "destinations": [ + 616, + 617, + 618 + ], + "end": 446, + "gap_adds": 0, + "gap_operations": 0, + "gap_scales": 0, + "indices": [ + 444, + 445, + 446 + ], + "joint_rank": 12, + "section": "B", + "source": 619, + "source_frame_rank": 5, + "start": 444, + "target_frame_ranks": [ + 5, + 5, + 5 + ], + "target_ranks": [ + 4, + 4, + 4 + ] + }, + { + "coefficients": [ + "-1", + "1", + "-1" + ], + "consecutive": false, + "destinations": [ + 123, + 187, + 483 + ], + "end": 736, + "gap_adds": 266, + "gap_operations": 266, + "gap_scales": 0, + "indices": [ + 468, + 504, + 736 + ], + "joint_rank": 2, + "section": "B", + "source": 555, + "source_frame_rank": 1, + "start": 468, + "target_frame_ranks": [ + 1, + 1, + 1 + ], + "target_ranks": [ + 0, + 1, + 1 + ] + } + ], + "target_saving_schedule_ceiling_interval": [ + "852879852073/500000000000000", + "1705759704147/1000000000000000" + ], + "target_saving_schedule_gain_percent": "1570559505800/1690054109089", + "target_saving_schedule_group_count": 27, + "target_saving_schedule_mass": 5586, + "target_saving_schedule_nonconsecutive_count": 4, + "target_saving_schedule_profile": { + "1": 2377, + "12": 6, + "2": 422, + "3": 417, + "4": 124, + "5": 82, + "8": 8, + "9": 8 + }, + "word_sha256": "c2b294300760e1fd6eeab8c22c4d13e4633dca40e52cac8da0d68163a76e3ca8" +} diff --git a/research/complex-commuting-fanout-seed6935/CLAIM.md b/research/complex-commuting-fanout-seed6935/CLAIM.md new file mode 100644 index 0000000000..26414b96ad --- /dev/null +++ b/research/complex-commuting-fanout-seed6935/CLAIM.md @@ -0,0 +1,5 @@ +# Coordination claim + +Original claim: [Discussion #1163 comment 18923131](https://github.com/CrocSwap/integer-mult-bounds/discussions/1163#discussioncomment-18923131). It records seed `6935bdcbc1faaa9be26feaf275fe8c4d`, track, task, exact base, selected-record hash, predecessor, and an initial register-disjoint commutation scope with expiry 2026-10-14 13:49 UTC. The completed finding is a reply at [comment 18923474](https://github.com/CrocSwap/integer-mult-bounds/discussions/1163#discussioncomment-18923474). + +One bounded pivot broadened the gap rule from register-disjointness to exact matrix commutation. For an intervening ADD `b E_(u,v)` and selected fanout ADD `a E_(d,s)`, the criterion is `u != s` and `v != d`; for a diagonal SCALE, the factor must be one or its register must be outside the common source and selected destinations. This scope change was made because the strict register-disjoint screen found no new candidates. The pivot retains the same word, triple arity, unchanged source frame, distinct destinations, and exact interval schedule. The final finding is posted as a reply to the original claim. diff --git a/research/complex-commuting-fanout-seed6935/OVERLAP.json b/research/complex-commuting-fanout-seed6935/OVERLAP.json new file mode 100644 index 0000000000..912c79c9f3 --- /dev/null +++ b/research/complex-commuting-fanout-seed6935/OVERLAP.json @@ -0,0 +1,61 @@ +{ + "searched_at_utc": "2026-10-14T12:07:49.142276Z", + "method": "scripts/find_overlap.py --task complex-new-helper-inventory --refresh plus direct scans of recent comments on Discussions #1163 and #1167 and direct inspection of the nearest open PRs", + "open_pr_snapshot": { + "fetched_at_utc": "2026-10-14T12:05:58.186452Z", + "complete_pagination": true, + "records": 519 + }, + "discussion_snapshot": { + "fetched_at_utc": "2026-10-14T12:07:48.917467Z", + "complete_pagination": true, + "records": 489 + }, + "warnings": [], + "direct_predecessor": { + "pr": 1799, + "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/1799", + "head": "21d20b1d3ba657068413a7a090582c152cd35e4b", + "scope": "consecutive shared-source C3 triples; the finding leaves nonconsecutive source-version intervals open" + }, + "nearest_open_prs": [ + { + "pr": 1756, + "head": "b78859dd6f0d07bf1dda81718a18102bfec9cccb", + "scope": "one-source/two-output clean-cache boundary; different output count and cache contract" + }, + { + "pr": 1814, + "head": "915bf647756c20a07ab9b8523fe09dfcb4f33f7b", + "scope": "three distinct sources gathered into one destination, on consecutive C3 windows; algebraic dual incidence" + }, + { + "pr": 1817, + "head": "ac3a759e874e8e526bc884fc2cb8eb114695b063", + "scope": "diagonal rank-16 batch under register commutation; different rank and interface object" + }, + { + "pr": 1836, + "head": "0a62e3f1c0ea493ddb83f25b91c5548c87978bcc", + "scope": "two positive operand climbs at one ADD with a higher-rank paired child; different one-gate object" + } + ], + "same_track_claims": [ + { + "url": "https://github.com/CrocSwap/integer-mult-bounds/discussions/1163#discussioncomment-18923240", + "scope": "same-register staggered rank-three packets with up to five live packets and 15 scratch arrays", + "status_at_refresh": "active claim, expires 2026-10-14T13:55Z", + "distinction": "this package uses one unchanged source and three distinct destinations, with exact commutation across intervening operations and no added scratch-array allowance" + }, + { + "url": "https://github.com/CrocSwap/integer-mult-bounds/discussions/1163#discussioncomment-18923439", + "scope": "release of the same-register staggered scratch screen after its favorable ceiling failed the task gate", + "status_at_refresh": "released; no PR" + } + ], + "other_relevant_discussion": { + "url": "https://github.com/CrocSwap/integer-mult-bounds/discussions/1163#discussioncomment-18921204", + "scope": "consecutive shared-source C3 windows; predecessor finding and expiry 2026-10-14T11:56Z" + }, + "limitations": "The overlap helper searches open PR titles/bodies, Discussion text and top-level package metadata; it does not search all code diffs or arbitrary nested source files. This snapshot and manual scope comparison do not certify novelty." +} diff --git a/research/complex-commuting-fanout-seed6935/README.md b/research/complex-commuting-fanout-seed6935/README.md new file mode 100644 index 0000000000..b63f3bc6d9 --- /dev/null +++ b/research/complex-commuting-fanout-seed6935/README.md @@ -0,0 +1,53 @@ +# Nonconsecutive commuting C3 fanout on the selected word + +**Bounded new mechanism and favorable profile screen. No physical supplier or new kappa is claimed.** + +This package extends the consecutive shared-source C3 family in [PR #1799](https://github.com/CrocSwap/integer-mult-bounds/pull/1799). It allows selected ADD shears to be separated by operations that commute exactly with every selected shear. For `C_d = I + a E_(d,s)` and an intervening ADD `G = I + b E_(u,v)`, matrix multiplication gives + +\[ +C_dG-GC_d=ab\bigl(\mathbf 1_{s=u}E_{d,v}-\mathbf 1_{v=d}E_{u,s}\bigr). +\] + +For a nonzero intervening ADD coefficient, the exact rule is `u != s` and `v != d`; a zero ADD is the identity and always commutes. Thus an intervening ADD may read the shared source or write a selected destination; it may not update the common source or read a selected destination. An intervening diagonal SCALE commutes when its factor is one or its register is outside the common source and all three destinations. The verifier checks this algebra against small exact matrices in focused positive and negative controls. + +## Result + +On the exact selected width-73 rational word pinned at base `0b1cccf86e2f5132ed286a26ef0a681a495740ea`, exhaustive A/B enumeration found: + +| Quantity | Exact finite result | +|---|---:| +| Eligible C3 triples | 54 total | +| Consecutive triples | 32 | +| Nonconsecutive, exactly commuting triples | 22 | +| Maximum disjoint interval schedule | 27 triples (2 in A, 25 in B) | +| Nonconsecutive triples in the maximum target-saving schedule | 4 | +| Resulting paid rank mass | 5,586, unchanged | + +The target-saving schedule has paid profile `{1:2377, 2:422, 3:417, 4:124, 5:82, 8:8, 9:8, 12:6}`. Under the selected 896-family, nine-stage ceiling, its upper endpoint is `1705759704147/1000000000000000 = 0.001705759704147`, a **0.9292953979%** increase over the selected fixed-word upper endpoint `1690054109089/1000000000000000 = 0.001690054109089`. For comparison, PR #1799 reports +0.9065527351% for its consecutive-only schedule; the new schedule adds two grouped intervals while remaining a very small fixed-word improvement. + +At `a = 1.05` times the selected ceiling's upper endpoint, the exact weighted interval DP maximizes an optimistic saving bound over every eligible schedule. The resulting moment lower bound is still above one by the exact positive margin in `CERTIFICATE.json` (about `0.0001979582081`). Therefore no schedule in this finite commuting-C3 family reaches the five-percent target, even after granting zero adapter, copy, helper, hosting, frame-transition, restoration and precision costs. Any such expenses are additional nonnegative costs. + +The schedule's four nonconsecutive groups are B indices `[185,186,188]`, `[201,202,204]`, `[217,218,220]`, and `[468,504,736]`; the last group factors across 266 intervening gates that each pass the exact commutator criterion. Full sources, ranks, coefficients, gaps, schedules, profiles, and exact rational margins are in `CERTIFICATE.json`. + +## Reproduce + +From the repository root, with Python 3.10 or later and the standard library: + +```sh +python3 -B research/complex-commuting-fanout-seed6935/verify.py +python3 -B -m unittest discover -s research/complex-commuting-fanout-seed6935 -p 'test_*.py' +python3 scripts/research_package.py --package research/complex-commuting-fanout-seed6935 --check-only +``` + +Expected verifier line: `PASS_COMMUTING_FANOUT_FINITE_SCREEN`. The verifier binds the selected record, selected source manifest, assembly certificate, compressed and decompressed word, selected slot pin, and ceiling implementation. It reconstructs the complete baseline local profile before enumerating candidates. + +## Scope and attribution + +This is a fixed-word, fixed-arity, fixed-coverage result. It does not cover noncommuting dependencies, other local words, other fanout arities, or a physically realizable child adapter. The candidate rank profile replaces each selected triple's positive target increments by one child whose rank is their sum; this preserves total rank mass and is only a favorable local profile model. The cost of realizing that interface is not known. No selected frontier is changed. + +The result is a complementary follow-up to [PR #1799](https://github.com/CrocSwap/integer-mult-bounds/pull/1799), which studied consecutive triples and left nonconsecutive source-version intervals open. The original claim and current overlap snapshot are included. Substantial AI assistance from OpenAI Codex is disclosed; no independent review is claimed. + +## Open next questions + +- Can a physical adapter realize the 27-group schedule while preserving arbitrary dirty input values and fitting the full source, copy, helper, hosting, transition, restoration and precision bill? Start by deriving exact maps for the four nonconsecutive B groups. This matters because the screen's zero-interface profile is not a supplier. It is blocked by the absence of an admitted adapter contract and complete invoice. +- Can another arity or a changed coverage law create a target-scale gain? Start with a fully charged optimistic moment under the explicitly changed hypothesis before any new enumeration. This result's certificate covers only C3 on one selected word under the selected coverage law. diff --git a/research/complex-commuting-fanout-seed6935/SELECTOR.json b/research/complex-commuting-fanout-seed6935/SELECTOR.json new file mode 100644 index 0000000000..26681870a4 --- /dev/null +++ b/research/complex-commuting-fanout-seed6935/SELECTOR.json @@ -0,0 +1,14 @@ +{ + "command": "python3 scripts/choose_research_task.py", + "selection_mode": "fresh OS-random 128-bit seed", + "accepted_seed": "6935bdcbc1faaa9be26feaf275fe8c4d", + "track": "complex-mechanisms", + "task_id": "complex-new-helper-inventory", + "priority_revision": 3, + "catalogue_sha256": "6686ad58f1fbdbc87134a78901b60fd53a20d3984355e91defbbebc9e9fa8075", + "suggested_cards": ["complex-new-helper-inventory", "complex-rank-shape-decoder"], + "accepted_card": "complex-new-helper-inventory", + "scope_refinement": "Nonconsecutive exact-commutation C3 shared-source factorization on the selected width-73 A/B word.", + "exact_base_commit": "0b1cccf86e2f5132ed286a26ef0a681a495740ea", + "selected_record_sha256": "10b9e340fd8e354a37a0c4813c90e5de1dd42044b5f6aca4a3fc5a42b685fa32" +} diff --git a/research/complex-commuting-fanout-seed6935/SOURCES.json b/research/complex-commuting-fanout-seed6935/SOURCES.json new file mode 100644 index 0000000000..2446b06f2f --- /dev/null +++ b/research/complex-commuting-fanout-seed6935/SOURCES.json @@ -0,0 +1,48 @@ +{ + "schema_version": 1, + "base_commit": "0b1cccf86e2f5132ed286a26ef0a681a495740ea", + "files": [ + { + "path": "certificates/selected-result.json", + "usage": "input", + "git_blob": "ae6a99f28aa468649eb66a361e764d769363bf11", + "sha256": "10b9e340fd8e354a37a0c4813c90e5de1dd42044b5f6aca4a3fc5a42b685fa32" + }, + { + "path": "docs/research/agent-task-catalog.json", + "usage": "provenance", + "git_blob": "06c96f5579bb67ed1b86d334e78fbed7da6945f1", + "sha256": "6686ad58f1fbdbc87134a78901b60fd53a20d3984355e91defbbebc9e9fa8075" + }, + { + "path": "research/community-frontier1094-audit/ASSEMBLY.json", + "usage": "input", + "git_blob": "5fd676df060f3b450782fdf5ff5f6beb63a5eeb0", + "sha256": "1122cb3a575f8c788345fc1bf4c108ac7c3250fb81a5988671f5eb04b3ab3045" + }, + { + "path": "research/community-frontier1094-audit/SELECTED-SOURCE.json", + "usage": "input", + "git_blob": "6a75493790b4eff9c4a98051ef8b01d6aad0d5a8", + "sha256": "79b3de5db3dbcb9829789ba58e9e45758926031e2a7d80667a08429d369be53b" + }, + { + "path": "research/complex-local-word-ceiling/ceiling.py", + "usage": "input", + "git_blob": "6c0f54527d879396f689523bfde19928a9b6157c", + "sha256": "86a1432870b3b21d8454106ec9162fddc0471472d9214c590a1420f2426cedfc" + }, + { + "path": "research/gauge44-slots/construction/slots/SLOT-PINS-k8.json", + "usage": "input", + "git_blob": "2702c368f4de0b671577aee9a0e2df41c1b27658", + "sha256": "55dd229684febecb80638eff9c6b3986623e8539c6c956753b350209c3e0efe2" + }, + { + "path": "research/r480-owner-optimum/inputs/local/FULL-WORD.json.gz", + "usage": "input", + "git_blob": "723decbca8995e916d6f4b783aa3e1ddd4eb47fe", + "sha256": "49596aa4ed4fd36cd4582fd0e8ddeb09fd80370a7d8aea1ede52a135b536d289" + } + ] +} diff --git a/research/complex-commuting-fanout-seed6935/TASK.json b/research/complex-commuting-fanout-seed6935/TASK.json new file mode 100644 index 0000000000..85d43752b9 --- /dev/null +++ b/research/complex-commuting-fanout-seed6935/TASK.json @@ -0,0 +1,58 @@ +{ + "schema_version": 1, + "task_id": "complex-new-helper-inventory", + "priority_revision": 3, + "base_commit": "0b1cccf86e2f5132ed286a26ef0a681a495740ea", + "original_card": { + "id": "complex-new-helper-inventory", + "question": "Can a new local cost interface change the deficit-to-recursive-cost ratio beyond current packing?", + "starting_points": [ + "research/complex-local-word-ceiling/README.md", + "research/heterogeneous-owner-assembly/README.md", + "certificates/selected-result.json" + ], + "methods": [ + "Propose a changed helper inventory and derive an optimistic exact moment.", + "Design a small completed instance and independently verify its endpoint and rank bill." + ], + "acceptance_gate": "A new physically realizable contract outside the frozen catalogue whose per-call profile, screened with ceiling.ceiling(), beats the selected word's packing ceiling; a lower cap does not establish identical circuitry or order attainable optima, and is insufficient to pass the stronger-budget target under this model.", + "first_step": { + "command": ["python3", "-B", "research/complex-local-word-ceiling/verify.py"], + "expected": "PASS_COMPLEX_LOCAL_WORD_CEILING", + "inspect": "Read the selected word's per-call local profile, its packing ceiling and the lever table; run levers.py for the ideal budget of the lever you target.", + "scope": "Positive control and planning budget only; this is not a new construction or full cold replay." + }, + "first_experiment": "Before any synthesis, write the candidate per-call local profile (and centre charge / unpaid coordinates if changed) and screen it with ceiling.ceiling(); reject it if even the ideal ceiling does not beat the selected word's by your stated margin.", + "bottleneck_link": "Packing of the selected word is capped at +0.87% (ceiling model); only a lower local excess spend or a changed coverage law raises the cap.", + "allowed_variations": [ + "Narrow to one changed boundary or helper type with explicit counts.", + "If the coverage law, template or guard changes, derive an applicable fully charged replacement bound instead of applying the incumbent ceiling outside its scope." + ], + "scope_change_triggers": ["Mixing only providers already inside the pinned catalogue."], + "overlap_terms": ["helper inventory", "heterogeneous-owner", "mutable leaver"] + }, + "scope_status": "changed", + "actual_scope": "Factor selected-word shared-source ADD triples across intervening gates that commute exactly with all three shears; exhaust the A/B width-73 word and compute the resulting optimistic rank profile and five-percent moment screen.", + "scope_change_reason": "The card's generic new-interface question is refined to a specific nonconsecutive fanout mechanism left open by PR #1799. The changed hypothesis is exact commutation across intervening ADD/SCALE gates; the bounded object remains the selected word and the C3 fanout arity.", + "bottleneck_link": "Replacing three direct children by one summed-rank child changes the paid local profile rather than idle packing. The best target-saving schedule raises the local ceiling slightly, but exact cost accounting shows that even zero adapter and hosting expense misses the five-percent target.", + "budget_minutes": 60, + "stop_rule": "Exhaust every eligible triple in A and B for this selected word, with source rank unchanged, three distinct destinations, at least two positive target increments, and exact intervening-gate commutation; solve exact disjoint-interval schedules at the five-percent target. Do not expand to other words, arities, or noncommuting dependencies in this cycle.", + "outcome": "negative-result", + "evidence": "CERTIFICATE.json and verify.py exhaustively certify 54 eligible triples, including 22 nonconsecutive cases. The maximum target-saving schedule contains 27 triples, four nonconsecutive, but its favorable zero-interface profile remains above moment one at 1.05 times the selected ceiling.", + "author": "OpenAI Codex", + "ai_assistance": "Substantial AI assistance from OpenAI Codex. The exact enumerator, profile calculation, source binding and focused controls are included; no independent human review is claimed.", + "open_questions": [ + { + "question": "Can a physical local adapter realize the 27-group schedule while preserving arbitrary dirty source and destination values at a total cost small enough to improve the selected ceiling?", + "why_it_matters": "The finite profile screen grants zero adapter, copy, helper, hosting, transition, restoration and precision costs, so it is only a favorable necessary screen for a construction.", + "first_step": "Derive the exact input/output map for each selected interval group, starting with the four nonconsecutive B groups recorded in CERTIFICATE.json, then invoice every copy, helper, frame conversion and restoration operation.", + "blocked_by": "No concrete supplier/admission contract or complete cost invoice has been constructed." + }, + { + "question": "Can a different arity or a changed coverage law turn the commutation factorization into a target-scale gain?", + "why_it_matters": "This result is limited to C3 on one selected word and its unchanged 896-family, nine-stage coverage model.", + "first_step": "Name a changed algebraic hypothesis and compute its fully charged optimistic moment before enumerating another word.", + "blocked_by": "Outside the fixed-word, fixed-arity search domain of this seed." + } + ] +} diff --git a/research/complex-commuting-fanout-seed6935/VERIFY.json b/research/complex-commuting-fanout-seed6935/VERIFY.json new file mode 100644 index 0000000000..bc4d83af3a --- /dev/null +++ b/research/complex-commuting-fanout-seed6935/VERIFY.json @@ -0,0 +1,26 @@ +{ + "schema_version": 1, + "status": "ready", + "python": "3.12", + "requirements": [], + "inputs": [ + "certificates/selected-result.json", + "research/community-frontier1094-audit/ASSEMBLY.json", + "research/community-frontier1094-audit/SELECTED-SOURCE.json", + "research/complex-local-word-ceiling/ceiling.py", + "research/gauge44-slots/construction/slots/SLOT-PINS-k8.json", + "research/r480-owner-optimum/inputs/local/FULL-WORD.json.gz" + ], + "commands": [ + { + "argv": ["{python}", "-B", "{package}/verify.py"], + "timeout_seconds": 300, + "checks": "Reconstruct the pinned full profile; exhaust ADD/ADD/SCALE C3 commutators; exact weighted and cardinality interval optima; favorable exact moment margin and profile mass; committed certificate equality." + }, + { + "argv": ["{python}", "-B", "-m", "unittest", "discover", "-s", "{package}", "-p", "test_*.py"], + "timeout_seconds": 120, + "checks": "Exact rational positive controls and negative commutator, scaling and inverse controls." + } + ] +} diff --git a/research/complex-commuting-fanout-seed6935/test_verify.py b/research/complex-commuting-fanout-seed6935/test_verify.py new file mode 100644 index 0000000000..73d6171f13 --- /dev/null +++ b/research/complex-commuting-fanout-seed6935/test_verify.py @@ -0,0 +1,71 @@ +import unittest +from fractions import Fraction as Q + +from verify import ( + gap_commutes_with_fanout, + identity, + matmul, + operation_matrix, + verify_fanout_map, +) + + +class CommutatorTests(unittest.TestCase): + def assert_exactly_commutes(self, operation, source, destinations): + for destination in destinations: + selected = ["add", destination, source, 2, 3] + left = matmul(operation_matrix(operation, 6), operation_matrix(selected, 6)) + right = matmul(operation_matrix(selected, 6), operation_matrix(operation, 6)) + self.assertEqual(left, right) + + def assert_does_not_commute(self, operation, source, destinations): + found_witness = False + for destination in destinations: + selected = ["add", destination, source, 2, 3] + left = matmul(operation_matrix(operation, 6), operation_matrix(selected, 6)) + right = matmul(operation_matrix(selected, 6), operation_matrix(operation, 6)) + found_witness |= left != right + self.assertTrue(found_witness) + + def test_positive_target_write_and_common_source_read(self): + source, destinations = 0, [2, 3, 4] + writes_target = ["add", 2, 1, 5, 7] + reads_source = ["add", 1, 0, -3, 5] + zero_add = ["add", 0, 2, 0, 1] + for operation in (writes_target, reads_source, zero_add): + self.assertTrue(gap_commutes_with_fanout(operation, source, destinations)) + self.assert_exactly_commutes(operation, source, destinations) + + def test_negative_source_write_and_target_read(self): + source, destinations = 0, [2, 3, 4] + writes_source = ["add", 0, 1, 5, 7] + reads_target = ["add", 1, 3, -3, 5] + for operation in (writes_source, reads_target): + self.assertFalse(gap_commutes_with_fanout(operation, source, destinations)) + self.assert_does_not_commute(operation, source, destinations) + + def test_scale_positive_and_negative_controls(self): + source, destinations = 0, [2, 3, 4] + unrelated_scale = ["scale", 5, -2, 1, []] + unit_scale = ["scale", 2, 1, 1, []] + source_scale = ["scale", 0, -1, 1, []] + destination_scale = ["scale", 3, -1, 1, []] + for operation in (unrelated_scale, unit_scale): + self.assertTrue(gap_commutes_with_fanout(operation, source, destinations)) + self.assert_exactly_commutes(operation, source, destinations) + for operation in (source_scale, destination_scale): + self.assertFalse(gap_commutes_with_fanout(operation, source, destinations)) + self.assert_does_not_commute(operation, source, destinations) + + def test_exact_fanout_inverse_positive_and_negative(self): + coefficients = [Q(2, 3), Q(-5, 4), Q(7, 9)] + verify_fanout_map(coefficients) + forward, wrong_inverse = identity(4), identity(4) + for row, coefficient in enumerate(coefficients, start=1): + forward[row][0] += coefficient + wrong_inverse[row][0] += coefficient + self.assertNotEqual(matmul(forward, wrong_inverse), identity(4)) + + +if __name__ == "__main__": + unittest.main() diff --git a/research/complex-commuting-fanout-seed6935/verify.py b/research/complex-commuting-fanout-seed6935/verify.py new file mode 100644 index 0000000000..0c54fe8d36 --- /dev/null +++ b/research/complex-commuting-fanout-seed6935/verify.py @@ -0,0 +1,469 @@ +#!/usr/bin/env python3 +"""Exact selected-word screen for nonconsecutive commuting shared-source fanouts.""" +from bisect import bisect_left +from collections import Counter, defaultdict +from fractions import Fraction as Q +import gzip +import hashlib +import importlib.util +import itertools +import json +from pathlib import Path +import sys + +ROOT = Path(__file__).resolve().parents[2] +PKG = Path(__file__).resolve().parent +BASE = "0b1cccf86e2f5132ed286a26ef0a681a495740ea" +CATALOG_SHA = "6686ad58f1fbdbc87134a78901b60fd53a20d3984355e91defbbebc9e9fa8075" +SELECTED_SHA = "10b9e340fd8e354a37a0c4813c90e5de1dd42044b5f6aca4a3fc5a42b685fa32" +WORD_PATH = "research/r480-owner-optimum/inputs/local/FULL-WORD.json.gz" +WORD_COMPRESSED_SHA = "49596aa4ed4fd36cd4582fd0e8ddeb09fd80370a7d8aea1ede52a135b536d289" +WORD_SHA = "c2b294300760e1fd6eeab8c22c4d13e4633dca40e52cac8da0d68163a76e3ca8" +SLOT_PIN_PATH = "research/gauge44-slots/construction/slots/SLOT-PINS-k8.json" +MANIFEST_SHA = "79b3de5db3dbcb9829789ba58e9e45758926031e2a7d80667a08429d369be53b" +ASSEMBLY_SHA = "1122cb3a575f8c788345fc1bf4c108ac7c3250fb81a5988671f5eb04b3ab3045" +CEILING_PATH = "research/complex-local-word-ceiling/ceiling.py" +M, FAMILIES, STAGES, CENTRE = 73, 896, 9, 64 +BASE_PROFILE = {1: 2412, 2: 418, 3: 432, 4: 142, 5: 82, 8: 8} + + +def require(ok, message): + if not ok: + raise ValueError(message) + + +def sha256(data): + return hashlib.sha256(data).hexdigest() + + +def span(vectors): + """Canonical F2 row space as a descending-pivot tuple of integer masks.""" + pivots = {} + for value in vectors: + require(type(value) is int and value >= 0, "frame vector must be a nonnegative integer") + x = value + for pivot in sorted(pivots, reverse=True): + if (x >> pivot) & 1: + x ^= pivots[pivot] + if x: + pivot = x.bit_length() - 1 + for key in tuple(pivots): + if (pivots[key] >> pivot) & 1: + pivots[key] ^= x + pivots[pivot] = x + return tuple(pivots[key] for key in sorted(pivots, reverse=True)) + + +def matmul(left, right): + require(left and right and len(left[0]) == len(right), "matrix dimension mismatch") + return [[sum((left[i][k] * right[k][j] for k in range(len(right))), Q(0)) + for j in range(len(right[0]))] for i in range(len(left))] + + +def identity(size): + return [[Q(int(i == j)) for j in range(size)] for i in range(size)] + + +def operation_matrix(operation, size): + """Exact register matrix for the selected word's ADD and SCALE operations.""" + matrix = identity(size) + if operation[0] == "add": + target, source = operation[1], operation[2] + require(target != source, "self ADD is outside the pinned operation model") + matrix[target][source] += Q(operation[3], operation[4]) + elif operation[0] == "scale": + register = operation[1] + matrix[register][register] = Q(operation[2], operation[3]) + else: + raise ValueError("unsupported selected-word operation " + str(operation[0])) + return matrix + + +def gap_commutes_with_fanout(operation, source, destinations): + """Exact rank-one-matrix commutator criterion for one intervening gate. + + For an ADD b E_(u,v) and selected fanout a E_(d,source), the commutator + vanishes exactly when u != source and v != d. A SCALE is diagonal and + commutes exactly when it scales neither endpoint, or has unit factor. + """ + if operation[0] == "add": + if Q(operation[3], operation[4]) == 0: + return True + return operation[1] != source and operation[2] not in destinations + if operation[0] == "scale": + factor = Q(operation[2], operation[3]) + return factor == 1 or operation[1] not in ({source} | set(destinations)) + return False + + +def verify_fanout_map(coefficients): + require(len(coefficients) == 3, "fanout requires three output coefficients") + cs = [Q(value) for value in coefficients] + require(all(value != 0 for value in cs), "zero coefficient in selected ADD") + forward, inverse = identity(4), identity(4) + for row, coefficient in enumerate(cs, start=1): + forward[row][0] += coefficient + inverse[row][0] -= coefficient + require(matmul(forward, inverse) == identity(4), "fanout inverse is not exact") + require(matmul(inverse, forward) == identity(4), "reverse fanout inverse is not exact") + + +def load_inputs(): + source_manifest = json.loads((PKG / "SOURCES.json").read_text()) + require(source_manifest.get("schema_version") == 1, "unsupported source manifest") + require(source_manifest.get("base_commit") == BASE, "wrong source base") + for item in source_manifest.get("files", []): + path = ROOT / item["path"] + require(path.is_file(), "missing pinned source " + item["path"]) + require(sha256(path.read_bytes()) == item["sha256"], "source hash mismatch " + item["path"]) + + selected_path = ROOT / "certificates/selected-result.json" + manifest_path = ROOT / "research/community-frontier1094-audit/SELECTED-SOURCE.json" + assembly_path = ROOT / "research/community-frontier1094-audit/ASSEMBLY.json" + require(sha256(selected_path.read_bytes()) == SELECTED_SHA, "selected record changed") + require(sha256(manifest_path.read_bytes()) == MANIFEST_SHA, "selected source manifest changed") + require(sha256(assembly_path.read_bytes()) == ASSEMBLY_SHA, "selected assembly changed") + selected = json.loads(selected_path.read_text()) + require(selected.get("certificate_sha256") == ASSEMBLY_SHA, "selected record/certificate mismatch") + + compressed = (ROOT / WORD_PATH).read_bytes() + require(sha256(compressed) == WORD_COMPRESSED_SHA, "compressed word hash mismatch") + raw = gzip.decompress(compressed) + require(sha256(raw) == WORD_SHA, "decompressed word hash mismatch") + word = json.loads(raw) + slot_pins = json.loads((ROOT / SLOT_PIN_PATH).read_text()) + require(slot_pins.get("word_sha256") == WORD_SHA, "selected slot pin mismatch") + return word + + +def load_ceiling_module(): + path = ROOT / CEILING_PATH + spec = importlib.util.spec_from_file_location("pinned_complex_ceiling", path) + require(spec is not None and spec.loader is not None, "cannot load pinned ceiling module") + module = importlib.util.module_from_spec(spec) + spec.loader.exec_module(module) + return module + + +def advance_one(current, operation, target, profile): + if operation[0] == "add": + registers = [operation[1], operation[2]] + require(registers[0] != registers[1], "ADD must touch two distinct registers") + elif operation[0] == "scale": + registers = [operation[1]] + require(Q(operation[2], operation[3]) != 0, "zero SCALE is outside the reversible word") + else: + raise ValueError("unsupported selected-word operation " + str(operation[0])) + old_frames = [] + deltas = [] + for register in registers: + require(type(register) is int and 0 <= register < len(current), "register out of range") + old = current[register] + require(span(list(old) + list(target)) == target, "nonmonotone frame at operation") + delta = len(target) - len(old) + require(delta >= 0, "negative frame increment") + old_frames.append(old) + deltas.append(delta) + if delta: + profile[delta] += 1 + for register in registers: + current[register] = target + return old_frames, deltas + + +def reconstruct_word(word): + report = word.get("report", {}) + require((report.get("m"), report.get("h"), report.get("v"), report.get("R")) == (73, 9, 112, 480), + "selected word dimensions or inventory mismatch") + register_count = 2 * 112 + 480 + current = [tuple() for _ in range(register_count)] + for index, port in enumerate(word["ports"]): + current[index] = span([port]) + for register, frame in word.get("start_extra", {}).items(): + current[int(register)] = span(frame) + + profile = Counter() + sections = {} + for section in ("A", "B"): + rows = [] + operations = word.get(section) + require(isinstance(operations, list), "missing word section " + section) + for index, operation in enumerate(operations): + target = span(operation[-1]) + old_frames, deltas = advance_one(current, operation, target, profile) + rows.append({"index": index, "operation": operation, "target": target, + "old_frames": old_frames, "deltas": deltas}) + sections[section] = rows + + for cleanup_index, frame in word.get("early_cleanup", []): + operation = word["cleanup"][cleanup_index] + advance_one(current, operation, span(frame), profile) + + full = span([1 << index for index in range(9)]) + final_frames = {int(register): span(frame) for register, frame in word.get("helper_final", {}).items()} + for register in range(register_count): + if 112 <= register < 224: + port = word["ports"][register - 112] + target = span([value for value in range(1, 512) if (value & port).bit_count() % 2 == 0]) + else: + target = final_frames.get(register, full) + old = current[register] + require(span(list(old) + list(target)) == target, "nonmonotone terminal frame") + delta = len(target) - len(old) + require(delta >= 0, "negative terminal frame increment") + if delta: + profile[delta] += 1 + current[register] = target + profile.update(Counter(report.get("centre_ranks", []))) + declared = {int(rank): int(count) for rank, count in report.get("local_profile", {}).items()} + require(declared == BASE_PROFILE, "selected report profile mismatch") + require(dict(sorted(profile.items())) == BASE_PROFILE, "full selected local profile reconstruction mismatch") + return sections, profile + + +def candidate_for(section, triple, rows): + operations = [row["operation"] for row in triple] + if not all(operation[0] == "add" for operation in operations): + return None + sources = [operation[2] for operation in operations] + destinations = [operation[1] for operation in operations] + if len(set(sources)) != 1 or len(set(destinations)) != 3 or sources[0] in destinations: + return None + source = sources[0] + if [row["deltas"][1] for row in triple] != [0, 0, 0]: + return None + if sum(row["deltas"][0] > 0 for row in triple) < 2: + return None + source_frame = triple[0]["old_frames"][1] + if any(row["old_frames"][1] != source_frame for row in triple): + return None + if any(span(list(source_frame) + list(row["target"])) != row["target"] for row in triple): + return None + + indices = [row["index"] for row in triple] + require(indices == sorted(set(indices)), "candidate gate indices are not distinct and ordered") + chosen_indices = set(indices) + gaps = [rows[index]["operation"] for index in range(indices[0] + 1, indices[-1]) + if index not in chosen_indices] + if not all(gap_commutes_with_fanout(operation, source, destinations) for operation in gaps): + return None + + coefficients = [Q(operation[3], operation[4]) for operation in operations] + verify_fanout_map(coefficients) + ranks = [row["deltas"][0] for row in triple] + joint_rank = sum(ranks) + if not 0 < joint_rank < M: + return None + return { + "section": section, + "indices": indices, + "start": indices[0], + "end": indices[-1], + "source": source, + "destinations": destinations, + "coefficients": [str(value) for value in coefficients], + "target_ranks": ranks, + "joint_rank": joint_rank, + "source_frame_rank": len(source_frame), + "target_frame_ranks": [len(row["target"]) for row in triple], + "gap_operations": len(gaps), + "gap_adds": sum(operation[0] == "add" for operation in gaps), + "gap_scales": sum(operation[0] == "scale" for operation in gaps), + "consecutive": indices == list(range(indices[0], indices[0] + 3)), + } + + +def enumerate_candidates(sections): + result = {} + for section, rows in sections.items(): + by_source = defaultdict(list) + for row in rows: + operation = row["operation"] + if operation[0] == "add" and row["deltas"][1] == 0: + by_source[operation[2]].append(row) + candidates = [] + for source_rows in by_source.values(): + for triple in itertools.combinations(source_rows, 3): + candidate = candidate_for(section, triple, rows) + if candidate is not None: + candidates.append(candidate) + candidates.sort(key=lambda item: (item["end"], item["start"], item["indices"])) + result[section] = candidates + return result + + +def candidate_weight(candidate, ceiling, exponent): + direct = sum((ceiling.child_cost(rank, M, exponent)[1] + for rank in candidate["target_ranks"] if rank), Q(0)) + joint = ceiling.child_cost(candidate["joint_rank"], M, exponent)[0] + weight = direct - joint + require(weight > 0, "candidate has no positive ideal moment saving") + return weight + + +def weighted_interval_schedule(candidates, weights): + """Exact interval DP; candidate intervals are closed [first gate, last gate].""" + ordered = sorted(candidates, key=lambda item: (item["end"], item["start"], item["indices"])) + ends = [item["end"] for item in ordered] + best = [Q(0)] * (len(ordered) + 1) + choice = [None] * (len(ordered) + 1) + previous = [0] * (len(ordered) + 1) + for offset, candidate in enumerate(ordered, start=1): + predecessor_count = bisect_left(ends, candidate["start"], 0, offset - 1) + take_value = best[predecessor_count] + weights(candidate) + skip_value = best[offset - 1] + if take_value > skip_value: + best[offset] = take_value + choice[offset] = candidate + previous[offset] = predecessor_count + else: + best[offset] = skip_value + selected = [] + cursor = len(ordered) + while cursor: + if choice[cursor] is not None: + selected.append(choice[cursor]) + cursor = previous[cursor] + else: + cursor -= 1 + selected.reverse() + return best[-1], selected + + +def apply_profile(groups): + result = Counter(BASE_PROFILE) + for group in groups: + for rank in group["target_ranks"]: + if rank: + result[rank] -= 1 + require(result[rank] >= 0, "profile removes a missing direct child") + result[group["joint_rank"]] += 1 + return {rank: count for rank, count in sorted(result.items()) if count} + + +def section_record(candidates, ceiling, exponent): + saving, selected = weighted_interval_schedule( + candidates, lambda candidate: candidate_weight(candidate, ceiling, exponent)) + count, count_selected = weighted_interval_schedule(candidates, lambda candidate: Q(1)) + return { + "candidate_count": len(candidates), + "consecutive_candidate_count": sum(item["consecutive"] for item in candidates), + "nonconsecutive_candidate_count": sum(not item["consecutive"] for item in candidates), + "maximum_disjoint_intervals": len(count_selected), + "maximum_target_saving_intervals": len(selected), + "maximum_target_saving": str(saving), + "selected_nonconsecutive_count": sum(not item["consecutive"] for item in selected), + "candidates": candidates, + "count_schedule": count_selected, + "target_schedule": selected, + "count_weight": str(count), + } + + +def build_certificate(): + word = load_inputs() + sections, reconstructed = reconstruct_word(word) + candidates_by_section = enumerate_candidates(sections) + ceiling = load_ceiling_module() + + baseline_low, baseline_high = ceiling.ceiling(BASE_PROFILE, M, FAMILIES, STAGES, CENTRE) + target_exponent = baseline_high * Q(105, 100) + baseline_at_target = ceiling.relax(BASE_PROFILE, M, FAMILIES, STAGES, CENTRE, target_exponent) + require(baseline_at_target[0] > 1, "five-percent target is below baseline ceiling") + + sections_out = { + section: section_record(candidates_by_section[section], ceiling, target_exponent) + for section in ("A", "B") + } + target_groups = [candidate for section in ("A", "B") + for candidate in sections_out[section]["target_schedule"]] + count_groups = [candidate for section in ("A", "B") + for candidate in sections_out[section]["count_schedule"]] + profile = apply_profile(target_groups) + count_profile = apply_profile(count_groups) + + baseline_mass = sum(rank * count for rank, count in BASE_PROFILE.items()) + profile_mass = sum(rank * count for rank, count in profile.items()) + require(baseline_mass == profile_mass == 5586, "rank mass changed under fanout replacement") + require(sum(rank * count for rank, count in count_profile.items()) == 5586, + "rank mass changed under count-optimal replacement") + + total_saving = sum((Q(sections_out[section]["maximum_target_saving"]) + for section in ("A", "B")), Q(0)) + normalized_saving = total_saving / Q(FAMILIES, STAGES) + best_moment_lower = ceiling.down(baseline_at_target[0] - normalized_saving) + target_margin = best_moment_lower - 1 + require(target_margin > 0, "commuting C3 intervals may reach the 5-percent target") + + target_low, target_high = ceiling.ceiling(profile, M, FAMILIES, STAGES, CENTRE) + count_low, count_high = ceiling.ceiling(count_profile, M, FAMILIES, STAGES, CENTRE) + gain_percent = (target_high / baseline_high - 1) * 100 + count_gain_percent = (count_high / baseline_high - 1) * 100 + total_groups = len(target_groups) + nonconsecutive_groups = sum(not item["consecutive"] for item in target_groups) + require(total_groups == 27 and nonconsecutive_groups == 4, + "target-optimal schedule does not match the pinned finite result") + require(sum(record["candidate_count"] for record in sections_out.values()) == 54, + "unexpected exhaustive candidate count") + require(sum(record["nonconsecutive_candidate_count"] for record in sections_out.values()) == 22, + "unexpected nonconsecutive candidate count") + require(sum(record["maximum_disjoint_intervals"] for record in sections_out.values()) == 27, + "unexpected maximum disjoint interval count") + + return { + "status": "PASS_COMMUTING_FANOUT_FINITE_SCREEN", + "scope": { + "word": "selected width-73 rational ADD word, sections A and B", + "group": "three ADD gates, one unchanged source frame, three distinct destinations, at least two positive target-rank increments", + "commutation": "every unselected gate between the first and last selected gate commutes exactly with each selected shear", + "interval_rule": "selected closed gate-index intervals are pairwise disjoint", + "omitted_costs": ["adapter", "copy", "helper", "hosting", "frame transition", "restoration", "precision"], + }, + "base_commit": BASE, + "catalogue_priority_revision": 3, + "catalogue_sha256": CATALOG_SHA, + "selected_record_sha256": SELECTED_SHA, + "compressed_word_sha256": WORD_COMPRESSED_SHA, + "word_sha256": WORD_SHA, + "reconstructed_baseline_profile": {str(k): v for k, v in sorted(reconstructed.items())}, + "baseline_profile": {str(k): v for k, v in sorted(BASE_PROFILE.items())}, + "baseline_ceiling_interval": [str(baseline_low), str(baseline_high)], + "five_percent_target_exponent": str(target_exponent), + "baseline_moment_interval_at_target": [str(item) for item in baseline_at_target], + "sections": sections_out, + "target_saving_schedule": target_groups, + "count_maximizing_schedule": count_groups, + "target_saving_schedule_group_count": total_groups, + "target_saving_schedule_nonconsecutive_count": nonconsecutive_groups, + "target_saving_schedule_profile": {str(k): v for k, v in sorted(profile.items())}, + "target_saving_schedule_mass": profile_mass, + "target_saving_schedule_ceiling_interval": [str(target_low), str(target_high)], + "target_saving_schedule_gain_percent": str(gain_percent), + "count_schedule_profile": {str(k): v for k, v in sorted(count_profile.items())}, + "count_schedule_ceiling_interval": [str(count_low), str(count_high)], + "count_schedule_gain_percent": str(count_gain_percent), + "maximum_saving_normalized_per_call": str(normalized_saving), + "moment_lower_bound_at_target_after_maximum_saving": str(best_moment_lower), + "strict_margin_above_one": str(target_margin), + "maximum_saving_is_favorable": "each direct child uses an upper cost endpoint and each joined child a lower cost endpoint; all additional mechanism costs are zero", + "claim_url": "https://github.com/CrocSwap/integer-mult-bounds/discussions/1163#discussioncomment-18923131", + "predecessor": "https://github.com/CrocSwap/integer-mult-bounds/pull/1799", + } + + +def main(): + write = len(sys.argv) == 2 and sys.argv[1] == "--write" + require(len(sys.argv) == 1 or write, "usage: verify.py [--write]") + result = build_certificate() + output = PKG / "CERTIFICATE.json" + encoded = json.dumps(result, indent=2, sort_keys=True) + "\n" + if write: + output.write_text(encoded) + else: + require(output.is_file(), "missing CERTIFICATE.json; run verify.py --write once") + require(output.read_text() == encoded, "committed certificate differs from exact replay") + print("PASS_COMMUTING_FANOUT_FINITE_SCREEN") + + +if __name__ == "__main__": + main() From d7d1ac883164efe575d88e79f388ed74b363cd4b Mon Sep 17 00:00:00 2001 From: Cinna Davis <1337isnot1337@users.noreply.github.com> Date: Wed, 14 Oct 2026 07:11:26 -0500 Subject: [PATCH 2/8] Record final cycle ten overlap refresh --- .../complex-commuting-fanout-seed6935/OVERLAP.json | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/research/complex-commuting-fanout-seed6935/OVERLAP.json b/research/complex-commuting-fanout-seed6935/OVERLAP.json index 912c79c9f3..5fd88d8f56 100644 --- a/research/complex-commuting-fanout-seed6935/OVERLAP.json +++ b/research/complex-commuting-fanout-seed6935/OVERLAP.json @@ -1,15 +1,15 @@ { - "searched_at_utc": "2026-10-14T12:07:49.142276Z", - "method": "scripts/find_overlap.py --task complex-new-helper-inventory --refresh plus direct scans of recent comments on Discussions #1163 and #1167 and direct inspection of the nearest open PRs", + "searched_at_utc": "2026-10-14T12:10:58.395219Z", + "method": "scripts/find_overlap.py --task complex-new-helper-inventory --refresh plus direct scans of recent comments on Discussion #1163 and direct inspection of the nearest open PRs; the complete helper snapshot also searches Discussion #1167", "open_pr_snapshot": { - "fetched_at_utc": "2026-10-14T12:05:58.186452Z", + "fetched_at_utc": "2026-10-14T12:09:17.310497Z", "complete_pagination": true, - "records": 519 + "records": 521 }, "discussion_snapshot": { - "fetched_at_utc": "2026-10-14T12:07:48.917467Z", + "fetched_at_utc": "2026-10-14T12:10:58.244053Z", "complete_pagination": true, - "records": 489 + "records": 491 }, "warnings": [], "direct_predecessor": { @@ -44,7 +44,7 @@ { "url": "https://github.com/CrocSwap/integer-mult-bounds/discussions/1163#discussioncomment-18923240", "scope": "same-register staggered rank-three packets with up to five live packets and 15 scratch arrays", - "status_at_refresh": "active claim, expires 2026-10-14T13:55Z", + "status_at_refresh": "released by comment 18923439 at 2026-10-14T12:05:38Z; no PR", "distinction": "this package uses one unchanged source and three distinct destinations, with exact commutation across intervening operations and no added scratch-array allowance" }, { From 939fa9a4aa34fc826ea29d633099d771910adf28 Mon Sep 17 00:00:00 2001 From: Cinna Davis <1337isnot1337@users.noreply.github.com> Date: Wed, 14 Oct 2026 07:12:45 -0500 Subject: [PATCH 3/8] Link cycle ten handoff to draft PR --- research/complex-commuting-fanout-seed6935/CLAIM.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/research/complex-commuting-fanout-seed6935/CLAIM.md b/research/complex-commuting-fanout-seed6935/CLAIM.md index 26414b96ad..c3a1c72b0f 100644 --- a/research/complex-commuting-fanout-seed6935/CLAIM.md +++ b/research/complex-commuting-fanout-seed6935/CLAIM.md @@ -1,5 +1,5 @@ # Coordination claim -Original claim: [Discussion #1163 comment 18923131](https://github.com/CrocSwap/integer-mult-bounds/discussions/1163#discussioncomment-18923131). It records seed `6935bdcbc1faaa9be26feaf275fe8c4d`, track, task, exact base, selected-record hash, predecessor, and an initial register-disjoint commutation scope with expiry 2026-10-14 13:49 UTC. The completed finding is a reply at [comment 18923474](https://github.com/CrocSwap/integer-mult-bounds/discussions/1163#discussioncomment-18923474). +Original claim: [Discussion #1163 comment 18923131](https://github.com/CrocSwap/integer-mult-bounds/discussions/1163#discussioncomment-18923131). It records seed `6935bdcbc1faaa9be26feaf275fe8c4d`, track, task, exact base, selected-record hash, predecessor, and an initial register-disjoint commutation scope with expiry 2026-10-14 13:49 UTC. The completed finding is a reply at [comment 18923474](https://github.com/CrocSwap/integer-mult-bounds/discussions/1163#discussioncomment-18923474). Draft PR [#1865](https://github.com/CrocSwap/integer-mult-bounds/pull/1865) and pending hosted replay status were reported in [comment 18923576](https://github.com/CrocSwap/integer-mult-bounds/discussions/1163#discussioncomment-18923576). One bounded pivot broadened the gap rule from register-disjointness to exact matrix commutation. For an intervening ADD `b E_(u,v)` and selected fanout ADD `a E_(d,s)`, the criterion is `u != s` and `v != d`; for a diagonal SCALE, the factor must be one or its register must be outside the common source and selected destinations. This scope change was made because the strict register-disjoint screen found no new candidates. The pivot retains the same word, triple arity, unchanged source frame, distinct destinations, and exact interval schedule. The final finding is posted as a reply to the original claim. From 5bb09db7717fe3fc3c60d14c5773c7643988a80d Mon Sep 17 00:00:00 2001 From: 1337isnot1337 <164028474+1337isnot1337@users.noreply.github.com> Date: Wed, 21 Oct 2026 23:27:15 +0000 Subject: [PATCH 4/8] ci: bind historical skip-clones to equivalent current source masks --- research/skip-clones/SOURCE.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/research/skip-clones/SOURCE.json b/research/skip-clones/SOURCE.json index 8d1bb3b9c8..3ab0e99cbf 100644 --- a/research/skip-clones/SOURCE.json +++ b/research/skip-clones/SOURCE.json @@ -114,7 +114,7 @@ "research/skip-strips/verify.py": "502543a9e331a30965f042ab40fbf67b72e79310f088d9c80000853d964203d0", "scripts/copied_centers/physical.py": "837345d1f8753eab0e70f105b1d1bb0db965b993da037b1825ddef3672609d7d", "scripts/copied_centers_network.py": "409ebfbd8a41c4c4d089aa0949fcf5a949415dc26f57440ffd48b7bd8881e6a9", - "scripts/exclusion_circuit.py": "b253f9d7318becda1c1f3b24e2287ed44a9c27fcea00cf9d531afb950d0457a0", + "scripts/exclusion_circuit.py": "f9fbcd6e85e442cbd0926ac0887414e20735b2dc923d2d5822c803ceb46726d3", "scripts/partial_swap/__init__.py": "0438eaa34134600467a5864f93c3e15142eb025b35cef189c2e969cffea72a7f", "scripts/partial_swap/binary.py": "d32d7a23548cc738e974e8e55dd1fa2a8b11d2b80228515617ffe35410bb8805", "scripts/partial_swap/binary_io.hpp": "d0be783f61ac4b7981e7e48a8c1139b52572302ba76c191c0e9a1b16a1a05e0e", From baf7cc424c41465095355842e743517470cc921e Mon Sep 17 00:00:00 2001 From: 1337isnot1337 <164028474+1337isnot1337@users.noreply.github.com> Date: Wed, 21 Oct 2026 23:27:16 +0000 Subject: [PATCH 5/8] docs: reconcile selected record and archived status navigation --- docs/ci-verification.md | 12 ++++++++++++ docs/research/current-status.md | 6 ++++-- 2 files changed, 16 insertions(+), 2 deletions(-) diff --git a/docs/ci-verification.md b/docs/ci-verification.md index 582e416aaf..50e8120dc0 100644 --- a/docs/ci-verification.md +++ b/docs/ci-verification.md @@ -2,6 +2,18 @@ ## Current selected-family replay +Resolve the [selected record](../certificates/selected-result.json) before +running a historical checkpoint. The current cold replay is +`make frontier4359-verify`, using the +[proof review](research/pr-intake-evidence/pr4359/PROOF-REVIEW.md), +[validation](research/pr-intake-evidence/pr4359/VALIDATION.json) and +[source manifest](../certificates/frontier4359-source.json). +The [frontier4359 workflow](../.github/workflows/frontier4359.yml) provides +hosted replay evidence. Metadata and source-pin checks are separate from +operator replay and do not discharge the inherited theorem assumptions. + +## Historical frontier1094 replay + Start with the [selected record](../certificates/selected-result.json). Its `reproduce`, `review`, `source_manifest` and `validation` fields identify the replay command, scoped assessment, source bindings and integration evidence. diff --git a/docs/research/current-status.md b/docs/research/current-status.md index 62a8cbb097..532af84312 100644 --- a/docs/research/current-status.md +++ b/docs/research/current-status.md @@ -1,12 +1,14 @@ # Current reviewed status -Selected conditional κ: **0.0023 = 23/10000**, zxv’s #4359 productive-helper construction, using Jacob Alan Sussman’s mixed-target recursion and the credited cumulative native/outer lineage. +Selected conditional κ: **0.0023** (= 23/10000), zxv’s #4359 productive-helper construction, using Jacob Alan Sussman’s mixed-target recursion and the credited cumulative native/outer lineage. [Selected record](../../certificates/selected-result.json) · [Proof review](pr-intake-evidence/pr4359/PROOF-REVIEW.md) · [Integration receipt](pr-intake-evidence/pr4359/INTEGRATION.json) · [Contributors](community-productive4359-contributors.md). Cold replay: `make frontier4359-verify`. The fresh 23-stage replay and 59 normalized artifacts pass; the changed interfaces have an AI-assisted proof review under retained analytic/native/fixed-tape hypotheses. Winning uniform templates are not materialized. This is not a complete formal or independent human verification. #4404 independently checks a narrower arithmetic/flow scope. -## Historical selected status through #1094 +All sections below are a historical snapshot; the selected-result.json record above is authoritative. + +## Historical checkpoint through #1094 Historical selected conditional κ: **0.001672660197076918**, Rohan Arun's #1094 on Jeremy Kothe's #1087 packing and the cumulative k8/slot/T16 construction. The bit supplier remains #589 on #555. From e7d290e9d56eb1a7a8622572272af8e0aef161b9 Mon Sep 17 00:00:00 2001 From: 1337isnot1337 <164028474+1337isnot1337@users.noreply.github.com> Date: Wed, 21 Oct 2026 23:27:20 +0000 Subject: [PATCH 6/8] ci: preserve historical receipts across live source updates --- .../d8-mixed-target-seeda97c8e/SOURCES.json | 8 ++++---- research/d8-mixed-target-seeda97c8e/VERIFY.json | 4 ---- research/historical-1042-link/RESULT.json | 5 +++-- research/historical-1042-link/SOURCES.json | 17 +++++++++++++---- research/historical-1042-link/VERIFY.json | 15 ++++++++++++--- research/historical-1042-link/verify.py | 10 ++++++++-- research/test-suite-locale-reads/SOURCES.json | 5 +++-- 7 files changed, 43 insertions(+), 21 deletions(-) diff --git a/research/d8-mixed-target-seeda97c8e/SOURCES.json b/research/d8-mixed-target-seeda97c8e/SOURCES.json index 9384463ff4..5dcfa9dd60 100644 --- a/research/d8-mixed-target-seeda97c8e/SOURCES.json +++ b/research/d8-mixed-target-seeda97c8e/SOURCES.json @@ -4,25 +4,25 @@ "files": [ { "path": "autoresearch.md", - "usage": "input", + "usage": "provenance", "git_blob": "8d5403e0f10f68a61d0cb9294fa2e83e872d1d82", "sha256": "215b3222f6a943edc69422a28ac21ea1f397ddf54770f1d87ac4195385d73699" }, { "path": "certificates/selected-result.json", - "usage": "input", + "usage": "provenance", "git_blob": "ae6a99f28aa468649eb66a361e764d769363bf11", "sha256": "10b9e340fd8e354a37a0c4813c90e5de1dd42044b5f6aca4a3fc5a42b685fa32" }, { "path": "docs/research/agent-task-catalog.json", - "usage": "input", + "usage": "provenance", "git_blob": "06c96f5579bb67ed1b86d334e78fbed7da6945f1", "sha256": "6686ad58f1fbdbc87134a78901b60fd53a20d3984355e91defbbebc9e9fa8075" }, { "path": "docs/research/current-status.md", - "usage": "input", + "usage": "provenance", "git_blob": "d73b4ff9da41f044e793422db4318be17e234a6c", "sha256": "adb54af005eb11edaf84d782fe729338680ff908f6d4fbf39ba1062d2e7d8a77" }, diff --git a/research/d8-mixed-target-seeda97c8e/VERIFY.json b/research/d8-mixed-target-seeda97c8e/VERIFY.json index caff4adf82..2726200ed3 100644 --- a/research/d8-mixed-target-seeda97c8e/VERIFY.json +++ b/research/d8-mixed-target-seeda97c8e/VERIFY.json @@ -4,10 +4,6 @@ "python": "3.12", "requirements": [], "inputs": [ - "autoresearch.md", - "certificates/selected-result.json", - "docs/research/agent-task-catalog.json", - "docs/research/current-status.md", "research/bit-three-register-lower-bound/README.md", "research/d8-mixed-target-seeda97c8e/verify.py" ], diff --git a/research/historical-1042-link/RESULT.json b/research/historical-1042-link/RESULT.json index a9d58d2881..30ec98c793 100644 --- a/research/historical-1042-link/RESULT.json +++ b/research/historical-1042-link/RESULT.json @@ -2,8 +2,9 @@ "historical_href": "../../certificates/selected-result.json", "checkpoint": "certificates/checkpoints/frontier1042.json", "historical_kappa": "1672188119205421/1000000000000000000", - "live_kappa": "836330098538459/500000000000000000", + "live_kappa": "23/10000", "same_href": true, "kappas_differ": true, - "no_new_kappa": true + "no_new_kappa": true, + "intermediate_checkpoint": "certificates/checkpoints/frontier1094.json" } diff --git a/research/historical-1042-link/SOURCES.json b/research/historical-1042-link/SOURCES.json index c6119ca5a8..c15f301bec 100644 --- a/research/historical-1042-link/SOURCES.json +++ b/research/historical-1042-link/SOURCES.json @@ -11,20 +11,29 @@ { "path": "docs/research/current-status.md", "usage": "input", - "git_blob": "4e0a8b7cdacc1d9680f7f81d03624118bb20416d", - "sha256": "00a08925c51b26d168b8099ddeed659ac4381f7e04f3c7fd0e9de8e71f206823" + "git_blob": "532af84312cbfeb39a1e4659d8398deb560f1e4a", + "sha256": "54c843968d0b178369a7e56161be44c4692935c3f46ce261678aeedadb309891", + "pin": "head:baf7cc424c41465095355842e743517470cc921e:docs/research/current-status.md" }, { "path": "certificates/selected-result.json", "usage": "input", - "git_blob": "b1fea0c94436b236cc2b7d41a7be032811b94c81", - "sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" + "git_blob": "ed33caef5c5827693e9572d252a66f99cbb73d40", + "sha256": "5732707cc1e460b090b53f2463162749ad860de878a18f7408938671d295a9d9", + "pin": "head:baf7cc424c41465095355842e743517470cc921e:certificates/selected-result.json" }, { "path": "certificates/checkpoints/frontier1042.json", "usage": "input", "git_blob": "f451ced6626a1f03aba6915ce23a136b01ebe51d", "sha256": "207d1f49f113c585024b9d3c17eadbb8b1be17c1321e3d190aabe2f18ce1c5b7" + }, + { + "path": "certificates/checkpoints/frontier1094.json", + "usage": "input", + "git_blob": "b1fea0c94436b236cc2b7d41a7be032811b94c81", + "sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129", + "pin": "head:baf7cc424c41465095355842e743517470cc921e:certificates/checkpoints/frontier1094.json" } ] } diff --git a/research/historical-1042-link/VERIFY.json b/research/historical-1042-link/VERIFY.json index 5cff7b26c9..5138c1b017 100644 --- a/research/historical-1042-link/VERIFY.json +++ b/research/historical-1042-link/VERIFY.json @@ -6,16 +6,25 @@ "inputs": [ "docs/research/current-status.md", "certificates/selected-result.json", - "certificates/checkpoints/frontier1042.json" + "certificates/checkpoints/frontier1042.json", + "certificates/checkpoints/frontier1094.json" ], "commands": [ { - "argv": ["{python}", "-B", "{package}/verify.py"], + "argv": [ + "{python}", + "-B", + "{package}/verify.py" + ], "timeout_seconds": 30, "checks": "Compare the #1042 status link with the live record and the frontier1042 checkpoint." }, { - "argv": ["{python}", "-B", "{package}/test_verify.py"], + "argv": [ + "{python}", + "-B", + "{package}/test_verify.py" + ], "timeout_seconds": 30, "checks": "Check the printed decimal and the historical section cut." } diff --git a/research/historical-1042-link/verify.py b/research/historical-1042-link/verify.py index 12170922e5..2ffd4a8ce4 100644 --- a/research/historical-1042-link/verify.py +++ b/research/historical-1042-link/verify.py @@ -2,7 +2,8 @@ """Separate the #1042 status link from the live selected record. The historical section states the #1042 kappa and links to the live record. -The matching checkpoint is the selected record's previous_record field. +The matching checkpoint is reached through the selected record's historical +previous_record chain (currently via frontier1094). """ import hashlib @@ -16,6 +17,7 @@ MARKER = "PASS_HISTORICAL_1042_LINK kappas_differ=true no_new_kappa" HREF = "../../certificates/selected-result.json" CHECKPOINT = "certificates/checkpoints/frontier1042.json" +INTERMEDIATE = "certificates/checkpoints/frontier1094.json" SHOWN = "0.001672188119205421" @@ -43,6 +45,7 @@ def authenticate(): "docs/research/current-status.md", "certificates/selected-result.json", "certificates/checkpoints/frontier1042.json", + "certificates/checkpoints/frontier1094.json", } require(set(pinned) == expected, "input inventory changed") for path, row in pinned.items(): @@ -64,12 +67,15 @@ def evaluate(): require(HREF in section, "the historical section lost the live-record link") require(SHOWN in section, "the historical kappa sentence moved") require(Fraction(SHOWN) == Fraction(old["kappa"]), "the checkpoint kappa left the printed decimal") - require(live["previous_record"] == CHECKPOINT, "the previous-record pointer moved") + require(live["previous_record"] == INTERMEDIATE, "the live previous-record pointer moved") + intermediate = json.loads((ROOT / INTERMEDIATE).read_text(encoding="utf-8")) + require(intermediate["previous_record"] == CHECKPOINT, "the checkpoint ancestry link moved") require(Fraction(live["kappa"]) != Fraction(old["kappa"]), "the live and historical kappas agree") require(text.index(HREF) < text.index("# Historical status through #1042"), "the live section lost its record link") return { "historical_href": HREF, "checkpoint": CHECKPOINT, + "intermediate_checkpoint": INTERMEDIATE, "historical_kappa": old["kappa"], "live_kappa": live["kappa"], "same_href": True, diff --git a/research/test-suite-locale-reads/SOURCES.json b/research/test-suite-locale-reads/SOURCES.json index be5f08378a..431310a166 100644 --- a/research/test-suite-locale-reads/SOURCES.json +++ b/research/test-suite-locale-reads/SOURCES.json @@ -17,8 +17,9 @@ { "path": "docs/research/current-status.md", "usage": "input", - "git_blob": "d73b4ff9da41f044e793422db4318be17e234a6c", - "sha256": "adb54af005eb11edaf84d782fe729338680ff908f6d4fbf39ba1062d2e7d8a77" + "git_blob": "532af84312cbfeb39a1e4659d8398deb560f1e4a", + "sha256": "54c843968d0b178369a7e56161be44c4692935c3f46ce261678aeedadb309891", + "pin": "head:baf7cc424c41465095355842e743517470cc921e:docs/research/current-status.md" }, { "path": "tests/test_research_current_status.py", From eb544cc0272aa5cc17393cd43fdd0543bca77bc0 Mon Sep 17 00:00:00 2001 From: 1337isnot1337 <164028474+1337isnot1337@users.noreply.github.com> Date: Wed, 21 Oct 2026 23:32:55 +0000 Subject: [PATCH 7/8] ci: retain frozen clone pin and authenticate exact live successors Restore immutable PR53 exclusion-circuit source digest; distinguish admitted current live byte revisions through strict allow-listed hashes for partial-swap shared helper, regenerated source-hash-only certificate, and CI guide. Historical materialization still restores frozen inputs and checks their SHA256s. --- research/skip-clones/SOURCE.json | 2 +- scripts/replay_historical_check.py | 12 +++++++++--- 2 files changed, 10 insertions(+), 4 deletions(-) diff --git a/research/skip-clones/SOURCE.json b/research/skip-clones/SOURCE.json index 3ab0e99cbf..8d1bb3b9c8 100644 --- a/research/skip-clones/SOURCE.json +++ b/research/skip-clones/SOURCE.json @@ -114,7 +114,7 @@ "research/skip-strips/verify.py": "502543a9e331a30965f042ab40fbf67b72e79310f088d9c80000853d964203d0", "scripts/copied_centers/physical.py": "837345d1f8753eab0e70f105b1d1bb0db965b993da037b1825ddef3672609d7d", "scripts/copied_centers_network.py": "409ebfbd8a41c4c4d089aa0949fcf5a949415dc26f57440ffd48b7bd8881e6a9", - "scripts/exclusion_circuit.py": "f9fbcd6e85e442cbd0926ac0887414e20735b2dc923d2d5822c803ceb46726d3", + "scripts/exclusion_circuit.py": "b253f9d7318becda1c1f3b24e2287ed44a9c27fcea00cf9d531afb950d0457a0", "scripts/partial_swap/__init__.py": "0438eaa34134600467a5864f93c3e15142eb025b35cef189c2e969cffea72a7f", "scripts/partial_swap/binary.py": "d32d7a23548cc738e974e8e55dd1fa2a8b11d2b80228515617ffe35410bb8805", "scripts/partial_swap/binary_io.hpp": "d0be783f61ac4b7981e7e48a8c1139b52572302ba76c191c0e9a1b16a1a05e0e", diff --git a/scripts/replay_historical_check.py b/scripts/replay_historical_check.py index 1e92fff278..6a828a51b1 100755 --- a/scripts/replay_historical_check.py +++ b/scripts/replay_historical_check.py @@ -155,7 +155,9 @@ 'path': 'scripts/partial_swap/shared.py', 'input_from_root': True, 'input': 'research/partial-swap-digest/baseline.py', 'sha256': '81e9af92cdf38243a540cdcff2062778e449467848d444da37a9553c12ca4c34', - 'accepted_live_sha256': ['7290bd639600aecff11941d3faf95c9ce95589125cc6a7f7440fb86af7a0f17c'], + 'accepted_live_sha256': ['7290bd639600aecff11941d3faf95c9ce95589125cc6a7f7440fb86af7a0f17c', + # Reviewed hot-loop and byte-stable digest successor. + '5a0646a50b9f3e8ea55168620a78e8853b0ab810517cefc8cfb8696aedee278a'], } CONFIG['skip-clones']['additional_inputs'] = [dict(LEGACY_SHARED)] CONFIG['skip-clones-tests']['additional_inputs'] = [dict(LEGACY_SHARED)] @@ -178,7 +180,9 @@ 'field': 'files', 'path': 'certificates/partial-swap-network.json', 'input': 'partial-swap-network.json', 'sha256': 'f3c4be597b2f2136da4ae2cc80c7454f63c90aa01f84e5b8131cee4dd55de815', - 'accepted_live_sha256': ['2b19ed45b6207647017f6ee9f87f41df484981822fe555d088e5c1185dc7c62a'], + 'accepted_live_sha256': ['2b19ed45b6207647017f6ee9f87f41df484981822fe555d088e5c1185dc7c62a', + # Certificate source digest refreshed; proof values unchanged. + '4c0b9d37e1034b2076e30a70f8e514416298c462d9ee98bc87fe6556b14df786'], }] # Retain every original unittest command, isolating only frozen family tests. @@ -236,7 +240,9 @@ 'accepted_live_sha256': [ 'ae5bcac684ce2188632f38dee8ed46ebdc9588f490401505aa1cac33c55d84db', # Tekalign's PR3139 appends deadline usage; replay still restores PR695 bytes. - 'a3711fe12d560fac7726c530b9c8c622182f3d4f231a876c163616e49bd911bc']}, + 'a3711fe12d560fac7726c530b9c8c622182f3d4f231a876c163616e49bd911bc', + # Current #4359 CI navigation update, archive remains immutable. + '6c3e67d7765addf682bc40c75140bfa8e691579c6ead3ceeae275d63ab0b5628']}, {'manifest': 'research/community-frontier890-audit/CONTENT-COVERAGE.json', 'field': ['pull_requests', '853', 'files'], 'path': 'scripts/verify_complex741_parallel.py', From f3b8f1666a7117be5f9e4102791696a7aff7ad58 Mon Sep 17 00:00:00 2001 From: 1337isnot1337 <164028474+1337isnot1337@users.noreply.github.com> Date: Wed, 21 Oct 2026 23:41:34 +0000 Subject: [PATCH 8/8] ci: authenticate PR4110 original head through immutable October receipts The ledger preserves head 6195cef4 as its first observation, while current intake metadata points to reviewed successor 2d5da0e0. Verify both exact committed evidence snapshots, preserve attribution, and derive the original starting head without rewriting the ledger. --- scripts/pr_intake_initial_heads.py | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/scripts/pr_intake_initial_heads.py b/scripts/pr_intake_initial_heads.py index bfcf7cd309..409dfebbfa 100644 --- a/scripts/pr_intake_initial_heads.py +++ b/scripts/pr_intake_initial_heads.py @@ -1,8 +1,7 @@ -"""Authenticate three initial intake observations after exact recorded revisions. +"""Authenticate four initial intake observations after exact recorded revisions. -The mutable intake metadata describes the revised head. These existing receipts -retain its initial observation, independently confirmed in the first committed -intake records (82d67beb, 09fbc0f0 and 24db9bff respectively). No Git access is +The mutable intake metadata describes the revised head. These receipts retain their original observations in immutable intake +evidence, including #4110 before its documented October 21 update. No Git access is needed, including inside historical replay copies. This is an exact checkpoint adapter: changed receipt bytes or another revision require explicit maintenance, not a fallback to unverified ledger history. Future intake needs a durable pin @@ -18,11 +17,15 @@ 'queue-tail-20261017': '1f5d355fe5fc44839f7ede91ce7f98691f1a87f1f9f856c7e057f00b98ad6249', 'queue-refresh-20261017': '618a67ccba7857ba533da75742b01fa3e40020097b01ccb3e205c49b993e65b3', 'queue-oct18-20261018': '9b8407cee0210bb30b193c8a1040aa14913de5405b496ca003ba279896c28e79', + 'queue-oct20f-20261020': '28751ed30182c5892e4569988a5ad8b931468c68c7d341a5bc2cbb22ee44191d', + 'queue-oct21a-20261021': 'd527aa1989ccffb02d33b1e5937606d8714440662ad5ac86bf1a22a9c137472f', } REVISIONS = { 3107: ('queue-next-20261017', 'initial_archived_head', 'queue-next-20261017'), 3184: ('queue-tail-20261017', 'previously_reviewed_head', 'queue-tail-20261017'), 3251: ('queue-refresh-20261017', 'head', 'queue-oct18-20261018'), + # #4110's reviewed October 21 successor changed the mutable intake head. + 4110: ('queue-oct20f-20261020', 'head', 'queue-oct21a-20261021'), }