From a9b3f6b6b5a52fd04d1f59a958027d81d0bdb612 Mon Sep 17 00:00:00 2001 From: Cinna Davis <1337isnot1337@users.noreply.github.com> Date: Wed, 14 Oct 2026 04:07:06 -0500 Subject: [PATCH 1/7] Research joint rank-two child interface candidate --- .../complex-joint-child-seed0d762/CLAIM.md | 29 + .../complex-joint-child-seed0d762/LICENSE | 201 + .../OVERLAP.json | 331 + .../PAIR-RECIPE.json | 12103 ++++++++++++++++ .../complex-joint-child-seed0d762/README.md | 95 + .../complex-joint-child-seed0d762/RESULT.json | 98 + .../SOURCES.json | 114 + .../complex-joint-child-seed0d762/TASK.json | 89 + .../complex-joint-child-seed0d762/VERIFY.json | 32 + .../complex-joint-child-seed0d762/build.py | 208 + .../complex-joint-child-seed0d762/verify.py | 298 + 11 files changed, 13598 insertions(+) create mode 100644 research/complex-joint-child-seed0d762/CLAIM.md create mode 100644 research/complex-joint-child-seed0d762/LICENSE create mode 100644 research/complex-joint-child-seed0d762/OVERLAP.json create mode 100644 research/complex-joint-child-seed0d762/PAIR-RECIPE.json create mode 100644 research/complex-joint-child-seed0d762/README.md create mode 100644 research/complex-joint-child-seed0d762/RESULT.json create mode 100644 research/complex-joint-child-seed0d762/SOURCES.json create mode 100644 research/complex-joint-child-seed0d762/TASK.json create mode 100644 research/complex-joint-child-seed0d762/VERIFY.json create mode 100644 research/complex-joint-child-seed0d762/build.py create mode 100644 research/complex-joint-child-seed0d762/verify.py diff --git a/research/complex-joint-child-seed0d762/CLAIM.md b/research/complex-joint-child-seed0d762/CLAIM.md new file mode 100644 index 0000000000..ae65672c4f --- /dev/null +++ b/research/complex-joint-child-seed0d762/CLAIM.md @@ -0,0 +1,29 @@ +# Local research claim: joint rank-two child interface + +- **Track / seed:** `complex-mechanisms` / `0d762194a82c097da60f154a08625527` +- **Catalogue task:** `complex-new-helper-inventory`, scope key `5868e5281a1e63d41a22`, priority revision 3 +- **Catalogue SHA256:** `6686ad58f1fbdbc87134a78901b60fd53a20d3984355e91defbbebc9e9fa8075` +- **Base:** `0b1cccf86e2f5132ed286a26ef0a681a495740ea` +- **Selected record SHA256:** `10b9e340fd8e354a37a0c4813c90e5de1dd42044b5f6aca4a3fc5a42b685fa32` +- **Source manifest / certificate SHA256:** `79b3de5db3dbcb9829789ba58e9e45758926031e2a7d80667a08429d369be53b` / `1122cb3a575f8c788345fc1bf4c108ac7c3250fb81a5988671f5eb04b3ab3045` +- **Pinned local word:** `research/r480-owner-optimum/inputs/local/FULL-WORD.json.gz`; decompressed SHA256 `c2b294300760e1fd6eeab8c22c4d13e4633dca40e52cac8da0d68163a76e3ca8`; profile `{1:2412,2:418,3:432,4:142,5:82,8:8}`. + +## Question and changed interface + +Can the retained local word use one rank-two recursive child for two simultaneous rank-one frame transitions, with the two register lanes represented as a tagged direct sum? The bounded instance is the 73-dimensional selected word: pair every A/B or scheduled early-cleanup gate whose two participating registers both climb by one into the same target frame, then pair the rank-one terminal transitions in register order. This changes only the recursive child interface partition; it leaves the scalar word and native frames intact. + +The changed assumption is a new joint-child contract: a rank-two call may accept a product of two register-frame quotients of dimension one each. The exact local transition must preserve both full register values and arbitrary dirt. The experiment charges zero additional source copies, helper gates, frame edits, and restoration operations as an optimistic lower-cost screen; it separately reports the unproved cost of creating/hosting the joint boundary. It will not claim a new κ unless that contract and all extra costs are admitted. + +## Domain, predecessors, and overlap + +The search domain is exact and finite: 3,451 A gates, 1,846 B gates, the 116 scheduled early-cleanup entries, and all 704 terminal register frames of this single pinned word. A candidate gate pair must consist of the two registers in one operation, each with codimension-one growth to the same target. Terminal pairs are restricted to rank-one endings and sorted by register id. The search stops after producing one deterministic pairing and checking its full profile. + +Nearest predecessors are PR #987/#1094's selected local word and owner packing; PR #1012/#1240's coverage identity and fixed-word moment ceiling; single-register frame-coalescing work including PR #579/#583; and PR #1348's changed-coverage thresholds. The proposed mechanism groups two register lanes into one child boundary; it does not change coverage, search frame vectors, repack owners, or change the decoder. The 2026-10-14 09:10 UTC overlap refresh fetched all 435 open PRs and 396 Discussions with complete pagination and no warnings. It found one broad expired match, Discussion #1328, and no exact joint-register child match. The original claim remained local while the Discussions API was rate-limited; a handoff will be posted now that access has recovered. + +## Expected evidence and expiry + +Deliver a deterministic joint-boundary recipe; independently recompute every frame transition, quotient dimension, exact two-lane gate map, rank profile, rank mass, and fixed-word ceiling; include negative controls for a missing/duplicated member and a changed gate coefficient. Record the full optimistic moment/overhead ledger and keep the result scoped to a conditional mechanism. Claim expiry: **2026-10-14 09:20 UTC**. + +## Current result + +The exact source replay produced 574 shared-gate pairs, 16 early-cleanup pairs, and 163 terminal pairs. The ideal profile clears the fixed-word 5% screen by a guaranteed 5.241623654%, but the exact overhead budget at the threshold permits at most 11 additional rank-one children per local call. The candidate still fails `a=1/99`; no new κ is established. Exact interface admission, copies, hosting, restoration, and phase/precision transfer remain open. The initial claim stayed local during the API rate limit. A handoff update will link the review PR after submission. diff --git a/research/complex-joint-child-seed0d762/LICENSE b/research/complex-joint-child-seed0d762/LICENSE new file mode 100644 index 0000000000..261eeb9e9f --- /dev/null +++ b/research/complex-joint-child-seed0d762/LICENSE @@ -0,0 +1,201 @@ + Apache License + Version 2.0, January 2004 + http://www.apache.org/licenses/ + + TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION + + 1. Definitions. + + "License" shall mean the terms and conditions for use, reproduction, + and distribution as defined by Sections 1 through 9 of this document. + + "Licensor" shall mean the copyright owner or entity authorized by + the copyright owner that is granting the License. + + "Legal Entity" shall mean the union of the acting entity and all + other entities that control, are controlled by, or are under common + control with that entity. For the purposes of this definition, + "control" means (i) the power, direct or indirect, to cause the + direction or management of such entity, whether by contract or + otherwise, or (ii) ownership of fifty percent (50%) or more of the + outstanding shares, or (iii) beneficial ownership of such entity. + + "You" (or "Your") shall mean an individual or Legal Entity + exercising permissions granted by this License. + + "Source" form shall mean the preferred form for making modifications, + including but not limited to software source code, documentation + source, and configuration files. + + "Object" form shall mean any form resulting from mechanical + transformation or translation of a Source form, including but + not limited to compiled object code, generated documentation, + and conversions to other media types. + + "Work" shall mean the work of authorship, whether in Source or + Object form, made available under the License, as indicated by a + copyright notice that is included in or attached to the work + (an example is provided in the Appendix below). + + "Derivative Works" shall mean any work, whether in Source or Object + form, that is based on (or derived from) the Work and for which the + editorial revisions, annotations, elaborations, or other modifications + represent, as a whole, an original work of authorship. For the purposes + of this License, Derivative Works shall not include works that remain + separable from, or merely link (or bind by name) to the interfaces of, + the Work and Derivative Works thereof. + + "Contribution" shall mean any work of authorship, including + the original version of the Work and any modifications or additions + to that Work or Derivative Works thereof, that is intentionally + submitted to Licensor for inclusion in the Work by the copyright owner + or by an individual or Legal Entity authorized to submit on behalf of + the copyright owner. For the purposes of this definition, "submitted" + means any form of electronic, verbal, or written communication sent + to the Licensor or its representatives, including but not limited to + communication on electronic mailing lists, source code control systems, + and issue tracking systems that are managed by, or on behalf of, the + Licensor for the purpose of discussing and improving the Work, but + excluding communication that is conspicuously marked or otherwise + designated in writing by the copyright owner as "Not a Contribution." + + "Contributor" shall mean Licensor and any individual or Legal Entity + on behalf of whom a Contribution has been received by Licensor and + subsequently incorporated within the Work. + + 2. Grant of Copyright License. Subject to the terms and conditions of + this License, each Contributor hereby grants to You a perpetual, + worldwide, non-exclusive, no-charge, royalty-free, irrevocable + copyright license to reproduce, prepare Derivative Works of, + publicly display, publicly perform, sublicense, and distribute the + Work and such Derivative Works in Source or Object form. + + 3. Grant of Patent License. Subject to the terms and conditions of + this License, each Contributor hereby grants to You a perpetual, + worldwide, non-exclusive, no-charge, royalty-free, irrevocable + (except as stated in this section) patent license to make, have made, + use, offer to sell, sell, import, and otherwise transfer the Work, + where such license applies only to those patent claims licensable + by such Contributor that are necessarily infringed by their + Contribution(s) alone or by combination of their Contribution(s) + with the Work to which such Contribution(s) was submitted. If You + institute patent litigation against any entity (including a + cross-claim or counterclaim in a lawsuit) alleging that the Work + or a Contribution incorporated within the Work constitutes direct + or contributory patent infringement, then any patent licenses + granted to You under this License for that Work shall terminate + as of the date such litigation is filed. + + 4. Redistribution. You may reproduce and distribute copies of the + Work or Derivative Works thereof in any medium, with or without + modifications, and in Source or Object form, provided that You + meet the following conditions: + + (a) You must give any other recipients of the Work or + Derivative Works a copy of this License; and + + (b) You must cause any modified files to carry prominent notices + stating that You changed the files; and + + (c) You must retain, in the Source form of any Derivative Works + that You distribute, all copyright, patent, trademark, and + attribution notices from the Source form of the Work, + excluding those notices that do not pertain to any part of + the Derivative Works; and + + (d) If the Work includes a "NOTICE" text file as part of its + distribution, then any Derivative Works that You distribute must + include a readable copy of the attribution notices contained + within such NOTICE file, excluding those notices that do not + pertain to any part of the Derivative Works, in at least one + of the following places: within a NOTICE text file distributed + as part of the Derivative Works; within the Source form or + documentation, if provided along with the Derivative Works; or, + within a display generated by the Derivative Works, if and + wherever such third-party notices normally appear. The contents + of the NOTICE file are for informational purposes only and + do not modify the License. You may add Your own attribution + notices within Derivative Works that You distribute, alongside + or as an addendum to the NOTICE text from the Work, provided + that such additional attribution notices cannot be construed + as modifying the License. + + You may add Your own copyright statement to Your modifications and + may provide additional or different license terms and conditions + for use, reproduction, or distribution of Your modifications, or + for any such Derivative Works as a whole, provided Your use, + reproduction, and distribution of the Work otherwise complies with + the conditions stated in this License. + + 5. Submission of Contributions. Unless You explicitly state otherwise, + any Contribution intentionally submitted for inclusion in the Work + by You to the Licensor shall be under the terms and conditions of + this License, without any additional terms or conditions. + Notwithstanding the above, nothing herein shall supersede or modify + the terms of any separate license agreement you may have executed + with Licensor regarding such Contributions. + + 6. Trademarks. This License does not grant permission to use the trade + names, trademarks, service marks, or product names of the Licensor, + except as required for reasonable and customary use in describing the + origin of the Work and reproducing the content of the NOTICE file. + + 7. Disclaimer of Warranty. Unless required by applicable law or + agreed to in writing, Licensor provides the Work (and each + Contributor provides its Contributions) on an "AS IS" BASIS, + WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or + implied, including, without limitation, any warranties or conditions + of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A + PARTICULAR PURPOSE. You are solely responsible for determining the + appropriateness of using or redistributing the Work and assume any + risks associated with Your exercise of permissions under this License. + + 8. Limitation of Liability. In no event and under no legal theory, + whether in tort (including negligence), contract, or otherwise, + unless required by applicable law (such as deliberate and grossly + negligent acts) or agreed to in writing, shall any Contributor be + liable to You for damages, including any direct, indirect, special, + incidental, or consequential damages of any character arising as a + result of this License or out of the use or inability to use the + Work (including but not limited to damages for loss of goodwill, + work stoppage, computer failure or malfunction, or any and all + other commercial damages or losses), even if such Contributor + has been advised of the possibility of such damages. + + 9. Accepting Warranty or Additional Liability. While redistributing + the Work or Derivative Works thereof, You may choose to offer, + and charge a fee for, acceptance of support, warranty, indemnity, + or other liability obligations and/or rights consistent with this + License. However, in accepting such obligations, You may act only + on Your own behalf and on Your sole responsibility, not on behalf + of any other Contributor, and only if You agree to indemnify, + defend, and hold each Contributor harmless for any liability + incurred by, or claims asserted against, such Contributor by reason + of your accepting any such warranty or additional liability. + + END OF TERMS AND CONDITIONS + + APPENDIX: How to apply the Apache License to your work. + + To apply the Apache License to your work, attach the following + boilerplate notice, with the fields enclosed by brackets "[]" + replaced with your own identifying information. (Don't include + the brackets!) The text should be enclosed in the appropriate + comment syntax for the file format. We also recommend that a + file or class name and description of purpose be included on the + same "printed page" as the copyright notice for easier + identification within third-party archives. + + Copyright [yyyy] [name of copyright owner] + + Licensed under the Apache License, Version 2.0 (the "License"); + you may not use this file except in compliance with the License. + You may obtain a copy of the License at + + http://www.apache.org/licenses/LICENSE-2.0 + + Unless required by applicable law or agreed to in writing, software + distributed under the License is distributed on an "AS IS" BASIS, + WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + See the License for the specific language governing permissions and + limitations under the License. diff --git a/research/complex-joint-child-seed0d762/OVERLAP.json b/research/complex-joint-child-seed0d762/OVERLAP.json new file mode 100644 index 0000000000..12a9661f1e --- /dev/null +++ b/research/complex-joint-child-seed0d762/OVERLAP.json @@ -0,0 +1,331 @@ +{ + "status": "POSSIBLE_OVERLAP_NOT_A_NOVELTY_CERTIFICATE", + "searched_at": "2026-10-14T09:10:17.949846+00:00", + "terms": [ + "joint register child", + "paired rank-one child", + "same-gate two-register", + "terminal rank-two interface", + "complex-new-helper-inventory", + "helper inventory", + "heterogeneous-owner", + "mutable leaver", + "complex-local-word-ceiling", + "heterogeneous-owner-assembly" + ], + "coverage": { + "open_prs": { + "fetched_at": "2026-10-14T09:09:03.165827+00:00", + "complete_pagination": true, + "records": 435 + }, + "discussions": { + "fetched_at": "2026-10-14T09:10:17.868882+00:00", + "complete_pagination": true, + "records": 396 + } + }, + "local_records": 873, + "warnings": [], + "limits": "Remote PR scope is open PRs including drafts. Closed work is searched through local READMEs, TASK metadata and ledger only. No code diffs or arbitrary package files are searched. Recheck relevant heads before submission.", + "matches_total": 77, + "matches": [ + { + "kind": "local-task", + "title": "research/complex-local-word-ceiling/TASK.json", + "path": "research/complex-local-word-ceiling/TASK.json", + "sha256": "86517bec7b700435c08583a5f2d779464294328eab6388bd507750611f18f852", + "matched_terms": [ + "complex-new-helper-inventory", + "helper inventory", + "heterogeneous-owner", + "mutable leaver", + "complex-local-word-ceiling", + "heterogeneous-owner-assembly" + ], + "score": 8, + "excerpt": "{\n \"schema_version\": 1,\n \"task_id\": \"complex-new-helper-inventory\",\n \"priority_revision\": 2,\n \"base_commit\": \"e3bb23b4c6bae16ba277f9443e11257a0a37780a\",\n \"original_card\": {\n \"id\": \"complex-new-helper-inventory\",\n \"question\": \"Can a new local cost interface change the deficit-to-recursive-cost ratio beyond current packing?\",\n \"starting_points\": [\n \"research/heterogeneous-owner-assembly/README.md\",\n \"certificates/selected-result.json\"\n ],\n \"methods\": [\n \"Propose " + }, + { + "kind": "local-readme", + "title": "research/heterogeneous-owner-assembly/README.md", + "path": "research/heterogeneous-owner-assembly/README.md", + "sha256": "30f5d93adebc874370b63dddf98069079001fbd7b8f078a023d9eeb5d347c185", + "matched_terms": [ + "helper inventory", + "heterogeneous-owner", + "heterogeneous-owner-assembly" + ], + "score": 7, + "excerpt": "er map, finite invoice,\nor cold replay is claimed. The theorem takes each recorded paid profile\nand helper inventory as its call contract. It allows even combinations\nwhose physical compatibility has not been established.\n\n## Reproduce\n\nUse Python 3.11 or later and the standard library. Run from the repository\nroot with a fresh output filename:\n\n```sh\npython3 -B research/heterogeneous-owner-assembly/verify.py \\\n --audit-base-tree --out /tmp/heterogeneous-owner-bound.json\n```\n\nExpected result:\n\n" + }, + { + "kind": "local-task", + "title": "research/complex-joint-child-seed0d762/TASK.json", + "path": "research/complex-joint-child-seed0d762/TASK.json", + "sha256": "7ca797db1ebb01396250216345af96cd099c02ccba3c75154f18fab008ca11a8", + "matched_terms": [ + "complex-new-helper-inventory", + "helper inventory", + "heterogeneous-owner", + "mutable leaver", + "complex-local-word-ceiling", + "heterogeneous-owner-assembly" + ], + "score": 6, + "excerpt": "{\n \"schema_version\": 1,\n \"task_id\": \"complex-new-helper-inventory\",\n \"priority_revision\": 3,\n \"base_commit\": \"0b1cccf86e2f5132ed286a26ef0a681a495740ea\",\n \"original_card\": {\n \"id\": \"complex-new-helper-inventory\",\n \"question\": \"Can a new local cost interface change the deficit-to-recursive-cost ratio beyond current packing?\",\n \"starting_points\": [\n \"research/complex-local-word-ceiling/README.md\",\n \"research/heterogeneous-owner-assembly/README.md\",\n \"certificates/select" + }, + { + "kind": "local-readme", + "title": "research/complex-local-word-ceiling/README.md", + "path": "research/complex-local-word-ceiling/README.md", + "sha256": "b60be039cb0e03e064a27407d0bce9e58908d793da5ee405c876de5aebfa5f81", + "matched_terms": [ + "heterogeneous-owner", + "complex-local-word-ceiling", + "heterogeneous-owner-assembly" + ], + "score": 5, + "excerpt": "tograms all have exact moment above one at the ceiling.\n\n## Reproduce\n\n```sh\npython3 -I -B research/complex-local-word-ceiling/verify.py # ~10 s, PASS_COMPLEX_LOCAL_WORD_CEILING\npython3 scripts/research_package.py --package research/complex-local-word-ceiling\npython3 -I -B research/complex-local-word-ceiling/levers.py # ~5 s, planning budgets\n```\n\n`verify.py --write` regenerates `RESULT.json`. The exact arithmetic in `ceiling.py` uses the standard\nlibrary only: atanh logarithm " + }, + { + "kind": "local-task", + "title": "research/complex-block-rank-optimum/TASK.json", + "path": "research/complex-block-rank-optimum/TASK.json", + "sha256": "c9018cb68dec6d82909969a89accada6a2f0c27ff003ae1b8918a26c39866247", + "matched_terms": [ + "complex-new-helper-inventory", + "helper inventory", + "heterogeneous-owner", + "mutable leaver", + "heterogeneous-owner-assembly" + ], + "score": 5, + "excerpt": "{\n \"schema_version\": 1,\n \"task_id\": \"complex-new-helper-inventory\",\n \"priority_revision\": 2,\n \"base_commit\": \"bce54fb3f895cbe5cd4c0eb477c3afeed100190f\",\n \"original_card\": {\n \"id\": \"complex-new-helper-inventory\",\n \"question\": \"Can a new local cost interface change the deficit-to-recursive-cost ratio beyond current packing?\",\n \"starting_points\": [\n \"research/heterogeneous-owner-assembly/README.md\",\n \"certificates/selected-result.json\"\n ],\n \"methods\": [\n \"Propose " + }, + { + "kind": "local-task", + "title": "research/complex-p440-window-shocks/TASK.json", + "path": "research/complex-p440-window-shocks/TASK.json", + "sha256": "0ac5faab2d16d54837b72ebfca73a65ab73cae1d449baa3c488913d070b26ce0", + "matched_terms": [ + "complex-new-helper-inventory", + "helper inventory", + "heterogeneous-owner", + "mutable leaver", + "heterogeneous-owner-assembly" + ], + "score": 5, + "excerpt": "{\n \"schema_version\": 1,\n \"task_id\": \"complex-new-helper-inventory\",\n \"priority_revision\": 2,\n \"base_commit\": \"bce54fb3f895cbe5cd4c0eb477c3afeed100190f\",\n \"original_card\": {\n \"id\": \"complex-new-helper-inventory\",\n \"question\": \"Can a new local cost interface change the deficit-to-recursive-cost ratio beyond current packing?\",\n \"starting_points\": [\n \"research/heterogeneous-owner-assembly/README.md\",\n \"certificates/selected-result.json\"\n ],\n \"methods\": [\n \"Propose " + }, + { + "kind": "local-task", + "title": "research/complex-queue-ceiling-census/TASK.json", + "path": "research/complex-queue-ceiling-census/TASK.json", + "sha256": "f33147c067681cf98ed5e53e1f88f04222d44f78dac6aa7d9aca00e2fc1030a8", + "matched_terms": [ + "complex-new-helper-inventory", + "helper inventory", + "heterogeneous-owner", + "mutable leaver", + "heterogeneous-owner-assembly" + ], + "score": 5, + "excerpt": "{\n \"schema_version\": 1,\n \"task_id\": \"complex-new-helper-inventory\",\n \"priority_revision\": 2,\n \"base_commit\": \"826645f6f02dccc49adc701ac3b2eaa218328252\",\n \"original_card\": {\n \"id\": \"complex-new-helper-inventory\",\n \"question\": \"Can a new local cost interface change the deficit-to-recursive-cost ratio beyond current packing?\",\n \"starting_points\": [\n \"research/heterogeneous-owner-assembly/README.md\",\n \"certificates/selected-result.json\"\n ],\n \"methods\": [\n \"Propose " + }, + { + "kind": "local-task", + "title": "research/complex-temporal-gauge-pair-seed26/TASK.json", + "path": "research/complex-temporal-gauge-pair-seed26/TASK.json", + "sha256": "445d4444647d4b0f81cad012919cdaf0eb1d27622056c03bad1d24952571fdcb", + "matched_terms": [ + "complex-new-helper-inventory", + "helper inventory", + "heterogeneous-owner", + "mutable leaver", + "heterogeneous-owner-assembly" + ], + "score": 5, + "excerpt": "{\n \"schema_version\": 1,\n \"task_id\": \"complex-new-helper-inventory\",\n \"priority_revision\": 2,\n \"base_commit\": \"bce54fb3f895cbe5cd4c0eb477c3afeed100190f\",\n \"original_card\": {\n \"id\": \"complex-new-helper-inventory\",\n \"question\": \"Can a new local cost interface change the deficit-to-recursive-cost ratio beyond current packing?\",\n \"starting_points\": [\n \"research/heterogeneous-owner-assembly/README.md\",\n \"certificates/selected-result.json\"\n ],\n \"methods\": [\n \"Propose " + }, + { + "kind": "local-task", + "title": "research/k8-coherent-triples/TASK.json", + "path": "research/k8-coherent-triples/TASK.json", + "sha256": "1ba7f462a241335e1cefcfed90790257ae2553f327bb90b4637625811537ecb2", + "matched_terms": [ + "complex-new-helper-inventory", + "helper inventory", + "heterogeneous-owner", + "mutable leaver", + "heterogeneous-owner-assembly" + ], + "score": 5, + "excerpt": "{\n \"schema_version\": 1,\n \"task_id\": \"complex-new-helper-inventory\",\n \"priority_revision\": 2,\n \"base_commit\": \"bce54fb3f895cbe5cd4c0eb477c3afeed100190f\",\n \"original_card\": {\n \"id\": \"complex-new-helper-inventory\",\n \"question\": \"Can a new local cost interface change the deficit-to-recursive-cost ratio beyond current packing?\",\n \"starting_points\": [\n \"research/heterogeneous-owner-assembly/README.md\",\n \"certificates/selected-result.json\"\n ],\n \"methods\": [\n \"Propose " + }, + { + "kind": "local-task", + "title": "research/k8-coupled-gauge-stationarity/TASK.json", + "path": "research/k8-coupled-gauge-stationarity/TASK.json", + "sha256": "b2f4dd640a73856d8a79a42cdee9c8a0aa2a70ca54a6554c8e10a7c44d67f102", + "matched_terms": [ + "complex-new-helper-inventory", + "helper inventory", + "heterogeneous-owner", + "mutable leaver", + "heterogeneous-owner-assembly" + ], + "score": 5, + "excerpt": "{\n \"schema_version\": 1,\n \"task_id\": \"complex-new-helper-inventory\",\n \"priority_revision\": 2,\n \"base_commit\": \"bce54fb3f895cbe5cd4c0eb477c3afeed100190f\",\n \"original_card\": {\n \"id\": \"complex-new-helper-inventory\",\n \"question\": \"Can a new local cost interface change the deficit-to-recursive-cost ratio beyond current packing?\",\n \"starting_points\": [\n \"research/heterogeneous-owner-assembly/README.md\",\n \"certificates/selected-result.json\"\n ],\n \"methods\": [\n \"Propose " + }, + { + "kind": "local-task", + "title": "research/k8-l248-l253-l259-temporal-composition-seed27/TASK.json", + "path": "research/k8-l248-l253-l259-temporal-composition-seed27/TASK.json", + "sha256": "d026e2e18d401096332417394c047f7a0816a00d1711f181f8f7004ff1f44646", + "matched_terms": [ + "complex-new-helper-inventory", + "helper inventory", + "heterogeneous-owner", + "mutable leaver", + "heterogeneous-owner-assembly" + ], + "score": 5, + "excerpt": "{\n \"schema_version\": 1,\n \"task_id\": \"complex-new-helper-inventory\",\n \"priority_revision\": 2,\n \"base_commit\": \"bce54fb3f895cbe5cd4c0eb477c3afeed100190f\",\n \"original_card\": {\n \"id\": \"complex-new-helper-inventory\",\n \"question\": \"Can a new local cost interface change the deficit-to-recursive-cost ratio beyond current packing?\",\n \"starting_points\": [\n \"research/heterogeneous-owner-assembly/README.md\",\n \"certificates/selected-result.json\"\n ],\n \"methods\": [\n \"Propose " + }, + { + "kind": "local-task", + "title": "research/k8-l259-temporal-seed32/TASK.json", + "path": "research/k8-l259-temporal-seed32/TASK.json", + "sha256": "3217a4ccf802a772c1793d13dda40f7275749a4e88a782432bfbac2787b148f8", + "matched_terms": [ + "complex-new-helper-inventory", + "helper inventory", + "heterogeneous-owner", + "mutable leaver", + "heterogeneous-owner-assembly" + ], + "score": 5, + "excerpt": "{\n \"schema_version\": 1,\n \"task_id\": \"complex-new-helper-inventory\",\n \"original_card\": {\n \"id\": \"complex-new-helper-inventory\",\n \"question\": \"Can a new local cost interface change the deficit-to-recursive-cost ratio beyond current packing?\",\n \"starting_points\": [\n \"research/heterogeneous-owner-assembly/README.md\",\n \"certificates/selected-result.json\"\n ],\n \"methods\": [\n \"Propose a changed helper inventory and derive an optimistic exact moment.\",\n \"Design a sma" + }, + { + "kind": "local-task", + "title": "research/k8-l284-temporal-seed37/TASK.json", + "path": "research/k8-l284-temporal-seed37/TASK.json", + "sha256": "2466da351330adc2ed9d516c78bb0bfa2f804aef5e7a8350041368d74264f09d", + "matched_terms": [ + "complex-new-helper-inventory", + "helper inventory", + "heterogeneous-owner", + "mutable leaver", + "heterogeneous-owner-assembly" + ], + "score": 5, + "excerpt": "Narrow to one changed boundary or helper type with explicit counts.\"\n ],\n \"bottleneck_link\": \"Helper inventory changes can improve the moment; repacking a covered cost interface cannot evade its scoped bound.\",\n \"first_experiment\": \"Write the complete optimistic child histogram and reject it immediately if even the relaxation has insufficient headroom.\",\n \"first_step\": {\n \"command\": [\n \"python3\",\n \"-B\",\n \"scripts/research_baseline.py\"\n ],\n \"expecte" + }, + { + "kind": "local-task", + "title": "research/k8-many-dyadic-seed29/TASK.json", + "path": "research/k8-many-dyadic-seed29/TASK.json", + "sha256": "3991753cfae1621138df7ebc4d3fb9679a343ee6d8e13847a264e4f1d3c2b1d7", + "matched_terms": [ + "complex-new-helper-inventory", + "helper inventory", + "heterogeneous-owner", + "mutable leaver", + "heterogeneous-owner-assembly" + ], + "score": 5, + "excerpt": "{\n \"schema_version\": 1,\n \"task_id\": \"complex-new-helper-inventory\",\n \"priority_revision\": 2,\n \"base_commit\": \"dadfea6e8a78ff6ba901705f87532a71c6f5bbb8\",\n \"original_card\": {\n \"id\": \"complex-new-helper-inventory\",\n \"question\": \"Can a new local cost interface change the deficit-to-recursive-cost ratio beyond current packing?\",\n \"starting_points\": [\n \"research/heterogeneous-owner-assembly/README.md\",\n \"certificates/selected-result.json\"\n ],\n \"methods\": [\n \"Propose " + }, + { + "kind": "local-task", + "title": "research/k8-three-coordinate-temporal-seed21/TASK.json", + "path": "research/k8-three-coordinate-temporal-seed21/TASK.json", + "sha256": "7b2fcf5a6e417ebac4b4583cd9cfb47c977f71e239ec3575653dca6836789af3", + "matched_terms": [ + "complex-new-helper-inventory", + "helper inventory", + "heterogeneous-owner", + "mutable leaver", + "heterogeneous-owner-assembly" + ], + "score": 5, + "excerpt": "Narrow to one changed boundary or helper type with explicit counts.\"\n ],\n \"bottleneck_link\": \"Helper inventory changes can improve the moment; repacking a covered cost interface cannot evade its scoped bound.\",\n \"first_experiment\": \"Write the complete optimistic child histogram and reject it immediately if even the relaxation has insufficient headroom.\",\n \"first_step\": {\n \"command\": [\n \"python3\",\n \"-B\",\n \"scripts/research_baseline.py\"\n ],\n \"expecte" + }, + { + "kind": "local-task", + "title": "research/k8-varying-many-gauge-seed27/TASK.json", + "path": "research/k8-varying-many-gauge-seed27/TASK.json", + "sha256": "dee4ec1332ebb7450335469bb10b54ac0e1e136e2f519a758b5fc871936f4e30", + "matched_terms": [ + "complex-new-helper-inventory", + "helper inventory", + "heterogeneous-owner", + "mutable leaver", + "heterogeneous-owner-assembly" + ], + "score": 5, + "excerpt": "{\n \"schema_version\": 1,\n \"task_id\": \"complex-new-helper-inventory\",\n \"base_commit\": \"bce54fb3f895cbe5cd4c0eb477c3afeed100190f\",\n \"assignment_seed\": 27,\n \"track\": \"complex supplier\",\n \"scope_status\": \"changed\",\n \"original_card\": {\n \"id\": \"complex-new-helper-inventory\",\n \"question\": \"Can a new local cost interface change the deficit-to-recursive-cost ratio beyond current packing?\",\n \"starting_points\": [\n \"research/heterogeneous-owner-assembly/README.md\",\n \"certificates/se" + }, + { + "kind": "local-task", + "title": "research/k8-zero-static-temporal-seed25/TASK.json", + "path": "research/k8-zero-static-temporal-seed25/TASK.json", + "sha256": "d223f78570907d89b7d1d8b657f7a4487b45992417b083f68462bca3d0838b13", + "matched_terms": [ + "complex-new-helper-inventory", + "helper inventory", + "heterogeneous-owner", + "mutable leaver", + "heterogeneous-owner-assembly" + ], + "score": 5, + "excerpt": "Narrow to one changed boundary or helper type with explicit counts.\"\n ],\n \"bottleneck_link\": \"Helper inventory changes can improve the moment; repacking a covered cost interface cannot evade its scoped bound.\",\n \"first_experiment\": \"Write the complete optimistic child histogram and reject it immediately if even the relaxation has insufficient headroom.\",\n \"first_step\": {\n \"command\": [\n \"python3\",\n \"-B\",\n \"scripts/research_baseline.py\"\n ],\n \"expecte" + }, + { + "kind": "local-task", + "title": "research/p112-linear-endpoint-lifts/TASK.json", + "path": "research/p112-linear-endpoint-lifts/TASK.json", + "sha256": "ce958b7a4ecbc9b915cf3ee00e1bd0cd3bfcfddb207807b9279b9e7405d63bf4", + "matched_terms": [ + "complex-new-helper-inventory", + "helper inventory", + "heterogeneous-owner", + "mutable leaver", + "heterogeneous-owner-assembly" + ], + "score": 5, + "excerpt": "{\n \"schema_version\": 1,\n \"task_id\": \"complex-new-helper-inventory\",\n \"priority_revision\": 2,\n \"base_commit\": \"bce54fb3f895cbe5cd4c0eb477c3afeed100190f\",\n \"original_card\": {\n \"id\": \"complex-new-helper-inventory\",\n \"question\": \"Can a new local cost interface change the deficit-to-recursive-cost ratio beyond current packing?\",\n \"starting_points\": [\n \"research/heterogeneous-owner-assembly/README.md\",\n \"certificates/selected-result.json\"\n ],\n \"methods\": [\n \"Propose " + }, + { + "kind": "local-task", + "title": "research/two-accumulator-saved-arms/TASK.json", + "path": "research/two-accumulator-saved-arms/TASK.json", + "sha256": "290f1125db8b0a06c4117828303a80d116ddfe408cc3ccd61f1f61a4d3e4dd5d", + "matched_terms": [ + "complex-new-helper-inventory", + "helper inventory", + "heterogeneous-owner", + "mutable leaver", + "heterogeneous-owner-assembly" + ], + "score": 5, + "excerpt": "{\n \"schema_version\": 1,\n \"task_id\": \"complex-new-helper-inventory\",\n \"base_commit\": \"bce54fb3f895cbe5cd4c0eb477c3afeed100190f\",\n \"original_card\": {\n \"id\": \"complex-new-helper-inventory\",\n \"question\": \"Can a new local cost interface change the deficit-to-recursive-cost ratio beyond current packing?\",\n \"starting_points\": [\n \"research/heterogeneous-owner-assembly/README.md\",\n \"certificates/selected-result.json\"\n ],\n \"methods\": [\n \"Propose a changed helper inventory" + }, + { + "number": 1328, + "title": "CLAIM: coverage-law relief thresholds for the selected complex local word (Navinor, expires 2026-10-14T00:50Z)", + "kind": "discussion", + "url": "https://github.com/CrocSwap/integer-mult-bounds/discussions/1328", + "updated_at": "2026-10-13T23:21:26Z", + "matched_terms": [ + "complex-new-helper-inventory", + "heterogeneous-owner", + "heterogeneous-owner-assembly" + ], + "score": 3, + "excerpt": " exact thresholds?\n\n**Base / predecessors.** Base `bce54fb3f895cbe5cd4c0eb477c3afeed100190f`. Card `complex-new-helper-inventory` (scope key `5868e5281a1e63d41a22`, chooser track complex-mechanisms, OS nonce `6ddf1b6647d8c5131033b16d30f0045b`), scope **refined** to the card's optimistic-histogram first experiment applied to changed coverage-law interfaces. Predecessors: PR1012's coverage identity; https://github.com/CrocSwap/integer-mult-bounds/pull/1240 (fixed-word packing ceiling, model semant" + } + ] +} diff --git a/research/complex-joint-child-seed0d762/PAIR-RECIPE.json b/research/complex-joint-child-seed0d762/PAIR-RECIPE.json new file mode 100644 index 0000000000..1a77280ddb --- /dev/null +++ b/research/complex-joint-child-seed0d762/PAIR-RECIPE.json @@ -0,0 +1,12103 @@ +{ + "charge_ledger": { + "additional_precision_cost_assumed": 0, + "additional_restoration_gates_assumed": 0, + "additional_source_copies_assumed": 0, + "frame_edits": 0, + "native_scalar_gates_added": 0, + "recursive_profile_change": "753 pairs of rank-1 children are replaced by 753 rank-2 joint-interface children", + "unpriced_obligation": "prove and physically host the new joint rank-two child boundary, including source access, copies, restoration, phase/precision transfer, and complete-call ownership" + }, + "counts": { + "a_gate_count": 3451, + "b_gate_count": 1846, + "early_cleanup_pairs": 16, + "gate_pairs": 574, + "scheduled_early_cleanup_entries": 116, + "source_gate_count": 5297, + "terminal_pairs": 163, + "terminal_rank_one_transitions": 326, + "total_rank_two_children": 753 + }, + "model": { + "centre": 64, + "families": 896, + "idle_rank_cap": 51, + "m": 73, + "stages": 9 + }, + "pairing_rule": "pair two codimension-one gate participants at each shared target frame; pair all codimension-one early-cleanup gate participants at their scheduled frame; pair terminal codimension-one register transitions in increasing register order", + "pairs": [ + { + "cleanup_index": null, + "coefficient": "1", + "index": 1279, + "quotient_vectors": [ + 6, + 32 + ], + "rank": 2, + "registers": [ + 56, + 59 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1281, + "quotient_vectors": [ + 24, + 32 + ], + "rank": 2, + "registers": [ + 224, + 61 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1283, + "quotient_vectors": [ + 30, + 32 + ], + "rank": 2, + "registers": [ + 225, + 62 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1285, + "quotient_vectors": [ + 6, + 448 + ], + "rank": 2, + "registers": [ + 57, + 58 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1287, + "quotient_vectors": [ + 24, + 448 + ], + "rank": 2, + "registers": [ + 226, + 60 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1289, + "quotient_vectors": [ + 30, + 448 + ], + "rank": 2, + "registers": [ + 227, + 63 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1291, + "quotient_vectors": [ + 30, + 454 + ], + "rank": 2, + "registers": [ + 228, + 232 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1293, + "quotient_vectors": [ + 24, + 454 + ], + "rank": 2, + "registers": [ + 229, + 238 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1295, + "quotient_vectors": [ + 30, + 38 + ], + "rank": 2, + "registers": [ + 230, + 234 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1297, + "quotient_vectors": [ + 24, + 38 + ], + "rank": 2, + "registers": [ + 231, + 236 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1299, + "quotient_vectors": [ + 6, + 472 + ], + "rank": 2, + "registers": [ + 233, + 239 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1301, + "quotient_vectors": [ + 6, + 56 + ], + "rank": 2, + "registers": [ + 235, + 237 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1303, + "quotient_vectors": [ + 454, + 38 + ], + "rank": 2, + "registers": [ + 231, + 229 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1304, + "quotient_vectors": [ + 32, + 448 + ], + "rank": 2, + "registers": [ + 226, + 224 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1305, + "quotient_vectors": [ + 448, + 38 + ], + "rank": 2, + "registers": [ + 230, + 227 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1306, + "quotient_vectors": [ + 32, + 454 + ], + "rank": 2, + "registers": [ + 228, + 225 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1307, + "quotient_vectors": [ + 38, + 454 + ], + "rank": 2, + "registers": [ + 232, + 234 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1308, + "quotient_vectors": [ + 448, + 32 + ], + "rank": 2, + "registers": [ + 62, + 63 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1309, + "quotient_vectors": [ + 448, + 38 + ], + "rank": 2, + "registers": [ + 236, + 60 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1310, + "quotient_vectors": [ + 32, + 454 + ], + "rank": 2, + "registers": [ + 238, + 61 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1311, + "quotient_vectors": [ + 448, + 32 + ], + "rank": 2, + "registers": [ + 61, + 60 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1433, + "quotient_vectors": [ + 6, + 208 + ], + "rank": 2, + "registers": [ + 24, + 27 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1435, + "quotient_vectors": [ + 168, + 120 + ], + "rank": 2, + "registers": [ + 240, + 29 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1437, + "quotient_vectors": [ + 174, + 126 + ], + "rank": 2, + "registers": [ + 241, + 30 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1439, + "quotient_vectors": [ + 6, + 336 + ], + "rank": 2, + "registers": [ + 25, + 26 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1441, + "quotient_vectors": [ + 296, + 120 + ], + "rank": 2, + "registers": [ + 242, + 28 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1443, + "quotient_vectors": [ + 302, + 126 + ], + "rank": 2, + "registers": [ + 243, + 31 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1445, + "quotient_vectors": [ + 296, + 126 + ], + "rank": 2, + "registers": [ + 244, + 248 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1447, + "quotient_vectors": [ + 302, + 120 + ], + "rank": 2, + "registers": [ + 245, + 254 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1449, + "quotient_vectors": [ + 168, + 126 + ], + "rank": 2, + "registers": [ + 246, + 250 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1451, + "quotient_vectors": [ + 174, + 120 + ], + "rank": 2, + "registers": [ + 247, + 252 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1453, + "quotient_vectors": [ + 6, + 296 + ], + "rank": 2, + "registers": [ + 249, + 255 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1455, + "quotient_vectors": [ + 6, + 168 + ], + "rank": 2, + "registers": [ + 251, + 253 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1457, + "quotient_vectors": [ + 302, + 174 + ], + "rank": 2, + "registers": [ + 247, + 245 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1458, + "quotient_vectors": [ + 168, + 296 + ], + "rank": 2, + "registers": [ + 242, + 240 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1459, + "quotient_vectors": [ + 302, + 168 + ], + "rank": 2, + "registers": [ + 246, + 243 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1460, + "quotient_vectors": [ + 174, + 296 + ], + "rank": 2, + "registers": [ + 244, + 241 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1461, + "quotient_vectors": [ + 168, + 296 + ], + "rank": 2, + "registers": [ + 248, + 250 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1462, + "quotient_vectors": [ + 302, + 174 + ], + "rank": 2, + "registers": [ + 30, + 31 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1463, + "quotient_vectors": [ + 296, + 174 + ], + "rank": 2, + "registers": [ + 252, + 28 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1464, + "quotient_vectors": [ + 168, + 302 + ], + "rank": 2, + "registers": [ + 254, + 29 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1465, + "quotient_vectors": [ + 296, + 168 + ], + "rank": 2, + "registers": [ + 29, + 28 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1587, + "quotient_vectors": [ + 6, + 400 + ], + "rank": 2, + "registers": [ + 16, + 19 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1589, + "quotient_vectors": [ + 96, + 400 + ], + "rank": 2, + "registers": [ + 256, + 21 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1591, + "quotient_vectors": [ + 102, + 400 + ], + "rank": 2, + "registers": [ + 257, + 22 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1593, + "quotient_vectors": [ + 6, + 8 + ], + "rank": 2, + "registers": [ + 17, + 18 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1595, + "quotient_vectors": [ + 96, + 96 + ], + "rank": 2, + "registers": [ + 258, + 20 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1597, + "quotient_vectors": [ + 102, + 102 + ], + "rank": 2, + "registers": [ + 259, + 23 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1599, + "quotient_vectors": [ + 102, + 102 + ], + "rank": 2, + "registers": [ + 260, + 264 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1601, + "quotient_vectors": [ + 96, + 96 + ], + "rank": 2, + "registers": [ + 261, + 270 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1603, + "quotient_vectors": [ + 102, + 406 + ], + "rank": 2, + "registers": [ + 262, + 266 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1605, + "quotient_vectors": [ + 96, + 406 + ], + "rank": 2, + "registers": [ + 263, + 268 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1607, + "quotient_vectors": [ + 6, + 104 + ], + "rank": 2, + "registers": [ + 265, + 271 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1609, + "quotient_vectors": [ + 6, + 496 + ], + "rank": 2, + "registers": [ + 267, + 269 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1611, + "quotient_vectors": [ + 14, + 406 + ], + "rank": 2, + "registers": [ + 263, + 261 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1612, + "quotient_vectors": [ + 400, + 8 + ], + "rank": 2, + "registers": [ + 258, + 256 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1613, + "quotient_vectors": [ + 8, + 406 + ], + "rank": 2, + "registers": [ + 262, + 259 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1614, + "quotient_vectors": [ + 400, + 14 + ], + "rank": 2, + "registers": [ + 260, + 257 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1615, + "quotient_vectors": [ + 406, + 14 + ], + "rank": 2, + "registers": [ + 264, + 266 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1616, + "quotient_vectors": [ + 8, + 400 + ], + "rank": 2, + "registers": [ + 22, + 23 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1617, + "quotient_vectors": [ + 8, + 406 + ], + "rank": 2, + "registers": [ + 268, + 20 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1618, + "quotient_vectors": [ + 400, + 14 + ], + "rank": 2, + "registers": [ + 270, + 21 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1619, + "quotient_vectors": [ + 8, + 400 + ], + "rank": 2, + "registers": [ + 21, + 20 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1741, + "quotient_vectors": [ + 24, + 24 + ], + "rank": 2, + "registers": [ + 8, + 11 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1743, + "quotient_vectors": [ + 120, + 120 + ], + "rank": 2, + "registers": [ + 272, + 13 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1745, + "quotient_vectors": [ + 96, + 96 + ], + "rank": 2, + "registers": [ + 273, + 14 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1747, + "quotient_vectors": [ + 388, + 24 + ], + "rank": 2, + "registers": [ + 9, + 10 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1749, + "quotient_vectors": [ + 120, + 412 + ], + "rank": 2, + "registers": [ + 274, + 12 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1751, + "quotient_vectors": [ + 96, + 412 + ], + "rank": 2, + "registers": [ + 275, + 15 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1753, + "quotient_vectors": [ + 96, + 388 + ], + "rank": 2, + "registers": [ + 276, + 280 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1755, + "quotient_vectors": [ + 120, + 388 + ], + "rank": 2, + "registers": [ + 277, + 286 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1757, + "quotient_vectors": [ + 96, + 96 + ], + "rank": 2, + "registers": [ + 278, + 282 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1759, + "quotient_vectors": [ + 98, + 26 + ], + "rank": 2, + "registers": [ + 279, + 284 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1761, + "quotient_vectors": [ + 24, + 484 + ], + "rank": 2, + "registers": [ + 281, + 287 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1763, + "quotient_vectors": [ + 98, + 24 + ], + "rank": 2, + "registers": [ + 283, + 285 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1765, + "quotient_vectors": [ + 388, + 98 + ], + "rank": 2, + "registers": [ + 279, + 277 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1766, + "quotient_vectors": [ + 2, + 412 + ], + "rank": 2, + "registers": [ + 274, + 272 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1767, + "quotient_vectors": [ + 390, + 390 + ], + "rank": 2, + "registers": [ + 278, + 275 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1768, + "quotient_vectors": [ + 2, + 388 + ], + "rank": 2, + "registers": [ + 276, + 273 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1769, + "quotient_vectors": [ + 26, + 388 + ], + "rank": 2, + "registers": [ + 280, + 282 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1770, + "quotient_vectors": [ + 412, + 2 + ], + "rank": 2, + "registers": [ + 14, + 15 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1771, + "quotient_vectors": [ + 390, + 390 + ], + "rank": 2, + "registers": [ + 284, + 12 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1772, + "quotient_vectors": [ + 2, + 388 + ], + "rank": 2, + "registers": [ + 286, + 13 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1773, + "quotient_vectors": [ + 96, + 388 + ], + "rank": 2, + "registers": [ + 13, + 12 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1895, + "quotient_vectors": [ + 324, + 24 + ], + "rank": 2, + "registers": [ + 32, + 35 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1897, + "quotient_vectors": [ + 290, + 126 + ], + "rank": 2, + "registers": [ + 288, + 37 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1899, + "quotient_vectors": [ + 314, + 102 + ], + "rank": 2, + "registers": [ + 289, + 38 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1901, + "quotient_vectors": [ + 24, + 196 + ], + "rank": 2, + "registers": [ + 33, + 34 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1903, + "quotient_vectors": [ + 186, + 126 + ], + "rank": 2, + "registers": [ + 290, + 36 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1905, + "quotient_vectors": [ + 162, + 102 + ], + "rank": 2, + "registers": [ + 291, + 39 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1907, + "quotient_vectors": [ + 186, + 102 + ], + "rank": 2, + "registers": [ + 292, + 296 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1909, + "quotient_vectors": [ + 162, + 126 + ], + "rank": 2, + "registers": [ + 293, + 302 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1911, + "quotient_vectors": [ + 290, + 102 + ], + "rank": 2, + "registers": [ + 294, + 298 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1913, + "quotient_vectors": [ + 314, + 126 + ], + "rank": 2, + "registers": [ + 295, + 300 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1915, + "quotient_vectors": [ + 162, + 24 + ], + "rank": 2, + "registers": [ + 297, + 303 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1917, + "quotient_vectors": [ + 24, + 290 + ], + "rank": 2, + "registers": [ + 299, + 301 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1919, + "quotient_vectors": [ + 162, + 314 + ], + "rank": 2, + "registers": [ + 295, + 293 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1920, + "quotient_vectors": [ + 290, + 186 + ], + "rank": 2, + "registers": [ + 290, + 288 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1921, + "quotient_vectors": [ + 162, + 290 + ], + "rank": 2, + "registers": [ + 294, + 291 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1922, + "quotient_vectors": [ + 314, + 186 + ], + "rank": 2, + "registers": [ + 292, + 289 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1923, + "quotient_vectors": [ + 290, + 186 + ], + "rank": 2, + "registers": [ + 296, + 298 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1924, + "quotient_vectors": [ + 162, + 314 + ], + "rank": 2, + "registers": [ + 38, + 39 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1925, + "quotient_vectors": [ + 186, + 314 + ], + "rank": 2, + "registers": [ + 300, + 36 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1926, + "quotient_vectors": [ + 290, + 162 + ], + "rank": 2, + "registers": [ + 302, + 37 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1927, + "quotient_vectors": [ + 102, + 290 + ], + "rank": 2, + "registers": [ + 37, + 36 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2049, + "quotient_vectors": [ + 30, + 460 + ], + "rank": 2, + "registers": [ + 64, + 67 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2051, + "quotient_vectors": [ + 436, + 120 + ], + "rank": 2, + "registers": [ + 304, + 69 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2053, + "quotient_vectors": [ + 426, + 102 + ], + "rank": 2, + "registers": [ + 305, + 70 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2055, + "quotient_vectors": [ + 74, + 30 + ], + "rank": 2, + "registers": [ + 65, + 66 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2057, + "quotient_vectors": [ + 44, + 84 + ], + "rank": 2, + "registers": [ + 306, + 68 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2059, + "quotient_vectors": [ + 50, + 84 + ], + "rank": 2, + "registers": [ + 307, + 71 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2061, + "quotient_vectors": [ + 44, + 74 + ], + "rank": 2, + "registers": [ + 308, + 312 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2063, + "quotient_vectors": [ + 50, + 74 + ], + "rank": 2, + "registers": [ + 309, + 318 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2065, + "quotient_vectors": [ + 436, + 102 + ], + "rank": 2, + "registers": [ + 310, + 314 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2067, + "quotient_vectors": [ + 426, + 120 + ], + "rank": 2, + "registers": [ + 311, + 316 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2069, + "quotient_vectors": [ + 30, + 44 + ], + "rank": 2, + "registers": [ + 313, + 319 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2071, + "quotient_vectors": [ + 426, + 30 + ], + "rank": 2, + "registers": [ + 315, + 317 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2073, + "quotient_vectors": [ + 408, + 408 + ], + "rank": 2, + "registers": [ + 311, + 309 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2074, + "quotient_vectors": [ + 408, + 408 + ], + "rank": 2, + "registers": [ + 306, + 304 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2075, + "quotient_vectors": [ + 390, + 390 + ], + "rank": 2, + "registers": [ + 310, + 307 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2076, + "quotient_vectors": [ + 390, + 390 + ], + "rank": 2, + "registers": [ + 308, + 305 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2077, + "quotient_vectors": [ + 408, + 408 + ], + "rank": 2, + "registers": [ + 312, + 314 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2078, + "quotient_vectors": [ + 408, + 408 + ], + "rank": 2, + "registers": [ + 70, + 71 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2079, + "quotient_vectors": [ + 390, + 390 + ], + "rank": 2, + "registers": [ + 316, + 68 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2080, + "quotient_vectors": [ + 390, + 390 + ], + "rank": 2, + "registers": [ + 318, + 69 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2081, + "quotient_vectors": [ + 44, + 74 + ], + "rank": 2, + "registers": [ + 69, + 68 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2203, + "quotient_vectors": [ + 138, + 30 + ], + "rank": 2, + "registers": [ + 104, + 107 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2205, + "quotient_vectors": [ + 126, + 148 + ], + "rank": 2, + "registers": [ + 320, + 109 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2207, + "quotient_vectors": [ + 96, + 148 + ], + "rank": 2, + "registers": [ + 321, + 110 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2209, + "quotient_vectors": [ + 30, + 266 + ], + "rank": 2, + "registers": [ + 105, + 106 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2211, + "quotient_vectors": [ + 126, + 266 + ], + "rank": 2, + "registers": [ + 322, + 108 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2213, + "quotient_vectors": [ + 96, + 266 + ], + "rank": 2, + "registers": [ + 323, + 111 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2215, + "quotient_vectors": [ + 96, + 276 + ], + "rank": 2, + "registers": [ + 324, + 328 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2217, + "quotient_vectors": [ + 126, + 276 + ], + "rank": 2, + "registers": [ + 325, + 334 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2219, + "quotient_vectors": [ + 96, + 138 + ], + "rank": 2, + "registers": [ + 326, + 330 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2221, + "quotient_vectors": [ + 126, + 138 + ], + "rank": 2, + "registers": [ + 327, + 332 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2223, + "quotient_vectors": [ + 362, + 30 + ], + "rank": 2, + "registers": [ + 329, + 335 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2225, + "quotient_vectors": [ + 30, + 234 + ], + "rank": 2, + "registers": [ + 331, + 333 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2227, + "quotient_vectors": [ + 276, + 138 + ], + "rank": 2, + "registers": [ + 327, + 325 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2228, + "quotient_vectors": [ + 148, + 266 + ], + "rank": 2, + "registers": [ + 322, + 320 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2229, + "quotient_vectors": [ + 266, + 138 + ], + "rank": 2, + "registers": [ + 326, + 323 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2230, + "quotient_vectors": [ + 148, + 276 + ], + "rank": 2, + "registers": [ + 324, + 321 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2231, + "quotient_vectors": [ + 138, + 276 + ], + "rank": 2, + "registers": [ + 328, + 330 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2232, + "quotient_vectors": [ + 266, + 148 + ], + "rank": 2, + "registers": [ + 110, + 111 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2233, + "quotient_vectors": [ + 266, + 138 + ], + "rank": 2, + "registers": [ + 332, + 108 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2234, + "quotient_vectors": [ + 148, + 276 + ], + "rank": 2, + "registers": [ + 334, + 109 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2235, + "quotient_vectors": [ + 266, + 96 + ], + "rank": 2, + "registers": [ + 109, + 108 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2357, + "quotient_vectors": [ + 19, + 13 + ], + "rank": 2, + "registers": [ + 0, + 3 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2359, + "quotient_vectors": [ + 115, + 13 + ], + "rank": 2, + "registers": [ + 336, + 5 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2361, + "quotient_vectors": [ + 96, + 96 + ], + "rank": 2, + "registers": [ + 337, + 6 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2363, + "quotient_vectors": [ + 395, + 30 + ], + "rank": 2, + "registers": [ + 1, + 2 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2365, + "quotient_vectors": [ + 126, + 405 + ], + "rank": 2, + "registers": [ + 338, + 4 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2367, + "quotient_vectors": [ + 96, + 405 + ], + "rank": 2, + "registers": [ + 339, + 7 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2369, + "quotient_vectors": [ + 96, + 395 + ], + "rank": 2, + "registers": [ + 340, + 344 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2371, + "quotient_vectors": [ + 126, + 395 + ], + "rank": 2, + "registers": [ + 341, + 350 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2373, + "quotient_vectors": [ + 96, + 96 + ], + "rank": 2, + "registers": [ + 342, + 346 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2375, + "quotient_vectors": [ + 109, + 19 + ], + "rank": 2, + "registers": [ + 343, + 348 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2377, + "quotient_vectors": [ + 30, + 491 + ], + "rank": 2, + "registers": [ + 345, + 351 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2379, + "quotient_vectors": [ + 109, + 30 + ], + "rank": 2, + "registers": [ + 347, + 349 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2381, + "quotient_vectors": [ + 395, + 109 + ], + "rank": 2, + "registers": [ + 343, + 341 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2382, + "quotient_vectors": [ + 115, + 405 + ], + "rank": 2, + "registers": [ + 338, + 336 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2383, + "quotient_vectors": [ + 390, + 390 + ], + "rank": 2, + "registers": [ + 342, + 339 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2384, + "quotient_vectors": [ + 390, + 390 + ], + "rank": 2, + "registers": [ + 340, + 337 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2385, + "quotient_vectors": [ + 19, + 395 + ], + "rank": 2, + "registers": [ + 344, + 346 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2386, + "quotient_vectors": [ + 405, + 13 + ], + "rank": 2, + "registers": [ + 6, + 7 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2387, + "quotient_vectors": [ + 390, + 390 + ], + "rank": 2, + "registers": [ + 348, + 4 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2388, + "quotient_vectors": [ + 390, + 390 + ], + "rank": 2, + "registers": [ + 350, + 5 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2389, + "quotient_vectors": [ + 96, + 96 + ], + "rank": 2, + "registers": [ + 5, + 4 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2511, + "quotient_vectors": [ + 331, + 30 + ], + "rank": 2, + "registers": [ + 40, + 43 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2513, + "quotient_vectors": [ + 301, + 120 + ], + "rank": 2, + "registers": [ + 352, + 45 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2515, + "quotient_vectors": [ + 307, + 102 + ], + "rank": 2, + "registers": [ + 353, + 46 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2517, + "quotient_vectors": [ + 30, + 203 + ], + "rank": 2, + "registers": [ + 41, + 42 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2519, + "quotient_vectors": [ + 179, + 120 + ], + "rank": 2, + "registers": [ + 354, + 44 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2521, + "quotient_vectors": [ + 173, + 102 + ], + "rank": 2, + "registers": [ + 355, + 47 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2523, + "quotient_vectors": [ + 179, + 102 + ], + "rank": 2, + "registers": [ + 356, + 360 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2525, + "quotient_vectors": [ + 173, + 120 + ], + "rank": 2, + "registers": [ + 357, + 366 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2527, + "quotient_vectors": [ + 301, + 102 + ], + "rank": 2, + "registers": [ + 358, + 362 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2529, + "quotient_vectors": [ + 307, + 120 + ], + "rank": 2, + "registers": [ + 359, + 364 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2531, + "quotient_vectors": [ + 173, + 30 + ], + "rank": 2, + "registers": [ + 361, + 367 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2533, + "quotient_vectors": [ + 30, + 301 + ], + "rank": 2, + "registers": [ + 363, + 365 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2535, + "quotient_vectors": [ + 173, + 307 + ], + "rank": 2, + "registers": [ + 359, + 357 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2536, + "quotient_vectors": [ + 301, + 179 + ], + "rank": 2, + "registers": [ + 354, + 352 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2537, + "quotient_vectors": [ + 173, + 301 + ], + "rank": 2, + "registers": [ + 358, + 355 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2538, + "quotient_vectors": [ + 307, + 179 + ], + "rank": 2, + "registers": [ + 356, + 353 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2539, + "quotient_vectors": [ + 301, + 179 + ], + "rank": 2, + "registers": [ + 360, + 362 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2540, + "quotient_vectors": [ + 173, + 307 + ], + "rank": 2, + "registers": [ + 46, + 47 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2541, + "quotient_vectors": [ + 179, + 307 + ], + "rank": 2, + "registers": [ + 364, + 44 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2542, + "quotient_vectors": [ + 301, + 173 + ], + "rank": 2, + "registers": [ + 366, + 45 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2543, + "quotient_vectors": [ + 102, + 301 + ], + "rank": 2, + "registers": [ + 45, + 44 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2665, + "quotient_vectors": [ + 24, + 453 + ], + "rank": 2, + "registers": [ + 72, + 75 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2667, + "quotient_vectors": [ + 443, + 126 + ], + "rank": 2, + "registers": [ + 368, + 77 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2669, + "quotient_vectors": [ + 419, + 102 + ], + "rank": 2, + "registers": [ + 369, + 78 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2671, + "quotient_vectors": [ + 67, + 24 + ], + "rank": 2, + "registers": [ + 73, + 74 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2673, + "quotient_vectors": [ + 37, + 91 + ], + "rank": 2, + "registers": [ + 370, + 76 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2675, + "quotient_vectors": [ + 61, + 91 + ], + "rank": 2, + "registers": [ + 371, + 79 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2677, + "quotient_vectors": [ + 37, + 67 + ], + "rank": 2, + "registers": [ + 372, + 376 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2679, + "quotient_vectors": [ + 61, + 67 + ], + "rank": 2, + "registers": [ + 373, + 382 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2681, + "quotient_vectors": [ + 443, + 102 + ], + "rank": 2, + "registers": [ + 374, + 378 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2683, + "quotient_vectors": [ + 419, + 126 + ], + "rank": 2, + "registers": [ + 375, + 380 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2685, + "quotient_vectors": [ + 24, + 37 + ], + "rank": 2, + "registers": [ + 377, + 383 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2687, + "quotient_vectors": [ + 419, + 24 + ], + "rank": 2, + "registers": [ + 379, + 381 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2689, + "quotient_vectors": [ + 414, + 414 + ], + "rank": 2, + "registers": [ + 375, + 373 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2690, + "quotient_vectors": [ + 414, + 414 + ], + "rank": 2, + "registers": [ + 370, + 368 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2691, + "quotient_vectors": [ + 390, + 390 + ], + "rank": 2, + "registers": [ + 374, + 371 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2692, + "quotient_vectors": [ + 390, + 390 + ], + "rank": 2, + "registers": [ + 372, + 369 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2693, + "quotient_vectors": [ + 414, + 414 + ], + "rank": 2, + "registers": [ + 376, + 378 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2694, + "quotient_vectors": [ + 414, + 414 + ], + "rank": 2, + "registers": [ + 78, + 79 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2695, + "quotient_vectors": [ + 390, + 390 + ], + "rank": 2, + "registers": [ + 380, + 76 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2696, + "quotient_vectors": [ + 390, + 390 + ], + "rank": 2, + "registers": [ + 382, + 77 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2697, + "quotient_vectors": [ + 37, + 67 + ], + "rank": 2, + "registers": [ + 77, + 76 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2819, + "quotient_vectors": [ + 131, + 24 + ], + "rank": 2, + "registers": [ + 96, + 99 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2821, + "quotient_vectors": [ + 120, + 155 + ], + "rank": 2, + "registers": [ + 384, + 101 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2823, + "quotient_vectors": [ + 96, + 155 + ], + "rank": 2, + "registers": [ + 385, + 102 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2825, + "quotient_vectors": [ + 24, + 259 + ], + "rank": 2, + "registers": [ + 97, + 98 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2827, + "quotient_vectors": [ + 120, + 259 + ], + "rank": 2, + "registers": [ + 386, + 100 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2829, + "quotient_vectors": [ + 96, + 259 + ], + "rank": 2, + "registers": [ + 387, + 103 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2831, + "quotient_vectors": [ + 96, + 283 + ], + "rank": 2, + "registers": [ + 388, + 392 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2833, + "quotient_vectors": [ + 120, + 283 + ], + "rank": 2, + "registers": [ + 389, + 398 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2835, + "quotient_vectors": [ + 96, + 131 + ], + "rank": 2, + "registers": [ + 390, + 394 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2837, + "quotient_vectors": [ + 120, + 131 + ], + "rank": 2, + "registers": [ + 391, + 396 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2839, + "quotient_vectors": [ + 355, + 24 + ], + "rank": 2, + "registers": [ + 393, + 399 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2841, + "quotient_vectors": [ + 24, + 227 + ], + "rank": 2, + "registers": [ + 395, + 397 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2843, + "quotient_vectors": [ + 283, + 131 + ], + "rank": 2, + "registers": [ + 391, + 389 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2844, + "quotient_vectors": [ + 155, + 259 + ], + "rank": 2, + "registers": [ + 386, + 384 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2845, + "quotient_vectors": [ + 259, + 131 + ], + "rank": 2, + "registers": [ + 390, + 387 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2846, + "quotient_vectors": [ + 155, + 283 + ], + "rank": 2, + "registers": [ + 388, + 385 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2847, + "quotient_vectors": [ + 131, + 283 + ], + "rank": 2, + "registers": [ + 392, + 394 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2848, + "quotient_vectors": [ + 259, + 155 + ], + "rank": 2, + "registers": [ + 102, + 103 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2849, + "quotient_vectors": [ + 259, + 131 + ], + "rank": 2, + "registers": [ + 396, + 100 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2850, + "quotient_vectors": [ + 155, + 283 + ], + "rank": 2, + "registers": [ + 398, + 101 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2851, + "quotient_vectors": [ + 259, + 96 + ], + "rank": 2, + "registers": [ + 101, + 100 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2973, + "quotient_vectors": [ + 6, + 265 + ], + "rank": 2, + "registers": [ + 88, + 91 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2975, + "quotient_vectors": [ + 96, + 265 + ], + "rank": 2, + "registers": [ + 400, + 93 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2977, + "quotient_vectors": [ + 102, + 265 + ], + "rank": 2, + "registers": [ + 401, + 94 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2979, + "quotient_vectors": [ + 6, + 137 + ], + "rank": 2, + "registers": [ + 89, + 90 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2981, + "quotient_vectors": [ + 96, + 137 + ], + "rank": 2, + "registers": [ + 402, + 92 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2983, + "quotient_vectors": [ + 102, + 137 + ], + "rank": 2, + "registers": [ + 403, + 95 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2985, + "quotient_vectors": [ + 102, + 143 + ], + "rank": 2, + "registers": [ + 404, + 408 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2987, + "quotient_vectors": [ + 96, + 143 + ], + "rank": 2, + "registers": [ + 405, + 414 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2989, + "quotient_vectors": [ + 102, + 271 + ], + "rank": 2, + "registers": [ + 406, + 410 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2991, + "quotient_vectors": [ + 96, + 271 + ], + "rank": 2, + "registers": [ + 407, + 412 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2993, + "quotient_vectors": [ + 6, + 233 + ], + "rank": 2, + "registers": [ + 409, + 415 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2995, + "quotient_vectors": [ + 6, + 361 + ], + "rank": 2, + "registers": [ + 411, + 413 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2997, + "quotient_vectors": [ + 143, + 271 + ], + "rank": 2, + "registers": [ + 407, + 405 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2998, + "quotient_vectors": [ + 265, + 137 + ], + "rank": 2, + "registers": [ + 402, + 400 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 2999, + "quotient_vectors": [ + 137, + 271 + ], + "rank": 2, + "registers": [ + 406, + 403 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 3000, + "quotient_vectors": [ + 265, + 143 + ], + "rank": 2, + "registers": [ + 404, + 401 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 3001, + "quotient_vectors": [ + 271, + 143 + ], + "rank": 2, + "registers": [ + 408, + 410 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 3002, + "quotient_vectors": [ + 137, + 265 + ], + "rank": 2, + "registers": [ + 94, + 95 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 3003, + "quotient_vectors": [ + 137, + 271 + ], + "rank": 2, + "registers": [ + 412, + 92 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 3004, + "quotient_vectors": [ + 265, + 143 + ], + "rank": 2, + "registers": [ + 414, + 93 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 3005, + "quotient_vectors": [ + 137, + 265 + ], + "rank": 2, + "registers": [ + 93, + 92 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 3127, + "quotient_vectors": [ + 6, + 73 + ], + "rank": 2, + "registers": [ + 80, + 83 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 3129, + "quotient_vectors": [ + 49, + 73 + ], + "rank": 2, + "registers": [ + 416, + 85 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 3131, + "quotient_vectors": [ + 55, + 73 + ], + "rank": 2, + "registers": [ + 417, + 86 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 3133, + "quotient_vectors": [ + 6, + 465 + ], + "rank": 2, + "registers": [ + 81, + 82 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 3135, + "quotient_vectors": [ + 425, + 120 + ], + "rank": 2, + "registers": [ + 418, + 84 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 3137, + "quotient_vectors": [ + 431, + 126 + ], + "rank": 2, + "registers": [ + 419, + 87 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 3139, + "quotient_vectors": [ + 425, + 126 + ], + "rank": 2, + "registers": [ + 420, + 424 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 3141, + "quotient_vectors": [ + 431, + 120 + ], + "rank": 2, + "registers": [ + 421, + 430 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 3143, + "quotient_vectors": [ + 49, + 79 + ], + "rank": 2, + "registers": [ + 422, + 426 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 3145, + "quotient_vectors": [ + 55, + 79 + ], + "rank": 2, + "registers": [ + 423, + 428 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 3147, + "quotient_vectors": [ + 6, + 425 + ], + "rank": 2, + "registers": [ + 425, + 431 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 3149, + "quotient_vectors": [ + 6, + 49 + ], + "rank": 2, + "registers": [ + 427, + 429 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 3151, + "quotient_vectors": [ + 408, + 408 + ], + "rank": 2, + "registers": [ + 423, + 421 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 3152, + "quotient_vectors": [ + 408, + 408 + ], + "rank": 2, + "registers": [ + 418, + 416 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 3153, + "quotient_vectors": [ + 414, + 414 + ], + "rank": 2, + "registers": [ + 422, + 419 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 3154, + "quotient_vectors": [ + 414, + 414 + ], + "rank": 2, + "registers": [ + 420, + 417 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 3155, + "quotient_vectors": [ + 408, + 408 + ], + "rank": 2, + "registers": [ + 424, + 426 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 3156, + "quotient_vectors": [ + 408, + 408 + ], + "rank": 2, + "registers": [ + 86, + 87 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 3157, + "quotient_vectors": [ + 414, + 414 + ], + "rank": 2, + "registers": [ + 428, + 84 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 3158, + "quotient_vectors": [ + 414, + 414 + ], + "rank": 2, + "registers": [ + 430, + 85 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 3159, + "quotient_vectors": [ + 408, + 408 + ], + "rank": 2, + "registers": [ + 85, + 84 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 3281, + "quotient_vectors": [ + 6, + 185 + ], + "rank": 2, + "registers": [ + 48, + 51 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 3283, + "quotient_vectors": [ + 161, + 24 + ], + "rank": 2, + "registers": [ + 432, + 53 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 3285, + "quotient_vectors": [ + 167, + 30 + ], + "rank": 2, + "registers": [ + 433, + 54 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 3287, + "quotient_vectors": [ + 6, + 289 + ], + "rank": 2, + "registers": [ + 49, + 50 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 3289, + "quotient_vectors": [ + 24, + 289 + ], + "rank": 2, + "registers": [ + 434, + 52 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 3291, + "quotient_vectors": [ + 30, + 289 + ], + "rank": 2, + "registers": [ + 435, + 55 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 3293, + "quotient_vectors": [ + 30, + 295 + ], + "rank": 2, + "registers": [ + 436, + 440 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 3295, + "quotient_vectors": [ + 24, + 295 + ], + "rank": 2, + "registers": [ + 437, + 446 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 3297, + "quotient_vectors": [ + 161, + 30 + ], + "rank": 2, + "registers": [ + 438, + 442 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 3299, + "quotient_vectors": [ + 167, + 24 + ], + "rank": 2, + "registers": [ + 439, + 444 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 3301, + "quotient_vectors": [ + 6, + 313 + ], + "rank": 2, + "registers": [ + 441, + 447 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 3303, + "quotient_vectors": [ + 6, + 161 + ], + "rank": 2, + "registers": [ + 443, + 445 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 3305, + "quotient_vectors": [ + 295, + 167 + ], + "rank": 2, + "registers": [ + 439, + 437 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 3306, + "quotient_vectors": [ + 161, + 289 + ], + "rank": 2, + "registers": [ + 434, + 432 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 3307, + "quotient_vectors": [ + 289, + 161 + ], + "rank": 2, + "registers": [ + 438, + 435 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 3308, + "quotient_vectors": [ + 167, + 295 + ], + "rank": 2, + "registers": [ + 436, + 433 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 3309, + "quotient_vectors": [ + 161, + 295 + ], + "rank": 2, + "registers": [ + 440, + 442 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 3310, + "quotient_vectors": [ + 289, + 167 + ], + "rank": 2, + "registers": [ + 54, + 55 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 3311, + "quotient_vectors": [ + 289, + 167 + ], + "rank": 2, + "registers": [ + 444, + 52 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 3312, + "quotient_vectors": [ + 161, + 295 + ], + "rank": 2, + "registers": [ + 446, + 53 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 3313, + "quotient_vectors": [ + 289, + 161 + ], + "rank": 2, + "registers": [ + 53, + 52 + ], + "section": "A", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 533, + "quotient_vectors": [ + 32, + 448 + ], + "rank": 2, + "registers": [ + 57, + 56 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 534, + "quotient_vectors": [ + 192, + 336 + ], + "rank": 2, + "registers": [ + 25, + 16 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 535, + "quotient_vectors": [ + 208, + 8 + ], + "rank": 2, + "registers": [ + 17, + 24 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 554, + "quotient_vectors": [ + 32, + 472 + ], + "rank": 2, + "registers": [ + 239, + 59 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 555, + "quotient_vectors": [ + 73, + 137 + ], + "rank": 2, + "registers": [ + 89, + 80 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 556, + "quotient_vectors": [ + 265, + 216 + ], + "rank": 2, + "registers": [ + 81, + 88 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 575, + "quotient_vectors": [ + 208, + 296 + ], + "rank": 2, + "registers": [ + 255, + 27 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-1/2", + "index": 576, + "quotient_vectors": [ + 185, + 80 + ], + "rank": 2, + "registers": [ + 415, + 48 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 577, + "quotient_vectors": [ + 265, + 40 + ], + "rank": 2, + "registers": [ + 49, + 91 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 596, + "quotient_vectors": [ + 400, + 104 + ], + "rank": 2, + "registers": [ + 271, + 19 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 597, + "quotient_vectors": [ + 272, + 272 + ], + "rank": 2, + "registers": [ + 431, + 51 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 598, + "quotient_vectors": [ + 73, + 313 + ], + "rank": 2, + "registers": [ + 447, + 83 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 617, + "quotient_vectors": [ + 496, + 8 + ], + "rank": 2, + "registers": [ + 18, + 269 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 618, + "quotient_vectors": [ + 368, + 368 + ], + "rank": 2, + "registers": [ + 82, + 445 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 619, + "quotient_vectors": [ + 272, + 272 + ], + "rank": 2, + "registers": [ + 50, + 429 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 638, + "quotient_vectors": [ + 56, + 472 + ], + "rank": 2, + "registers": [ + 233, + 235 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 639, + "quotient_vectors": [ + 216, + 296 + ], + "rank": 2, + "registers": [ + 249, + 267 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 640, + "quotient_vectors": [ + 168, + 104 + ], + "rank": 2, + "registers": [ + 265, + 251 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 659, + "quotient_vectors": [ + 56, + 448 + ], + "rank": 2, + "registers": [ + 58, + 237 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 660, + "quotient_vectors": [ + 216, + 216 + ], + "rank": 2, + "registers": [ + 409, + 427 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 661, + "quotient_vectors": [ + 361, + 192 + ], + "rank": 2, + "registers": [ + 425, + 411 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 680, + "quotient_vectors": [ + 168, + 336 + ], + "rank": 2, + "registers": [ + 26, + 253 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-1/2", + "index": 681, + "quotient_vectors": [ + 40, + 137 + ], + "rank": 2, + "registers": [ + 90, + 443 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 682, + "quotient_vectors": [ + 80, + 313 + ], + "rank": 2, + "registers": [ + 441, + 413 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 719, + "quotient_vectors": [ + 390, + 390 + ], + "rank": 2, + "registers": [ + 283, + 281 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 720, + "quotient_vectors": [ + 2, + 388 + ], + "rank": 2, + "registers": [ + 9, + 8 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 721, + "quotient_vectors": [ + 98, + 388 + ], + "rank": 2, + "registers": [ + 10, + 285 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 722, + "quotient_vectors": [ + 2, + 484 + ], + "rank": 2, + "registers": [ + 287, + 11 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 738, + "quotient_vectors": [ + 162, + 290 + ], + "rank": 2, + "registers": [ + 299, + 297 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 739, + "quotient_vectors": [ + 324, + 196 + ], + "rank": 2, + "registers": [ + 33, + 32 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 740, + "quotient_vectors": [ + 290, + 196 + ], + "rank": 2, + "registers": [ + 34, + 301 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 741, + "quotient_vectors": [ + 324, + 162 + ], + "rank": 2, + "registers": [ + 303, + 35 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 758, + "quotient_vectors": [ + 390, + 390 + ], + "rank": 2, + "registers": [ + 315, + 313 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 759, + "quotient_vectors": [ + 390, + 390 + ], + "rank": 2, + "registers": [ + 65, + 64 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 760, + "quotient_vectors": [ + 426, + 74 + ], + "rank": 2, + "registers": [ + 66, + 317 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 761, + "quotient_vectors": [ + 460, + 44 + ], + "rank": 2, + "registers": [ + 319, + 67 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 778, + "quotient_vectors": [ + 362, + 234 + ], + "rank": 2, + "registers": [ + 331, + 329 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 779, + "quotient_vectors": [ + 138, + 266 + ], + "rank": 2, + "registers": [ + 105, + 104 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 780, + "quotient_vectors": [ + 234, + 266 + ], + "rank": 2, + "registers": [ + 106, + 333 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 781, + "quotient_vectors": [ + 138, + 362 + ], + "rank": 2, + "registers": [ + 335, + 107 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 798, + "quotient_vectors": [ + 390, + 390 + ], + "rank": 2, + "registers": [ + 347, + 345 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 799, + "quotient_vectors": [ + 390, + 390 + ], + "rank": 2, + "registers": [ + 1, + 0 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 800, + "quotient_vectors": [ + 109, + 395 + ], + "rank": 2, + "registers": [ + 2, + 349 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 801, + "quotient_vectors": [ + 486, + 486 + ], + "rank": 2, + "registers": [ + 351, + 3 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 816, + "quotient_vectors": [ + 173, + 301 + ], + "rank": 2, + "registers": [ + 363, + 361 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 817, + "quotient_vectors": [ + 331, + 203 + ], + "rank": 2, + "registers": [ + 41, + 40 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 818, + "quotient_vectors": [ + 301, + 203 + ], + "rank": 2, + "registers": [ + 42, + 365 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 819, + "quotient_vectors": [ + 331, + 173 + ], + "rank": 2, + "registers": [ + 367, + 43 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 834, + "quotient_vectors": [ + 390, + 390 + ], + "rank": 2, + "registers": [ + 379, + 377 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 835, + "quotient_vectors": [ + 390, + 390 + ], + "rank": 2, + "registers": [ + 73, + 72 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 836, + "quotient_vectors": [ + 419, + 67 + ], + "rank": 2, + "registers": [ + 74, + 381 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 837, + "quotient_vectors": [ + 453, + 37 + ], + "rank": 2, + "registers": [ + 383, + 75 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 852, + "quotient_vectors": [ + 355, + 227 + ], + "rank": 2, + "registers": [ + 395, + 393 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 853, + "quotient_vectors": [ + 131, + 259 + ], + "rank": 2, + "registers": [ + 97, + 96 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 854, + "quotient_vectors": [ + 227, + 259 + ], + "rank": 2, + "registers": [ + 98, + 397 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 855, + "quotient_vectors": [ + 131, + 355 + ], + "rank": 2, + "registers": [ + 399, + 99 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 942, + "quotient_vectors": [ + 290, + 98 + ], + "rank": 2, + "registers": [ + 283, + 299 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 943, + "quotient_vectors": [ + 320, + 320 + ], + "rank": 2, + "registers": [ + 9, + 33 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 944, + "quotient_vectors": [ + 320, + 320 + ], + "rank": 2, + "registers": [ + 315, + 331 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 945, + "quotient_vectors": [ + 266, + 74 + ], + "rank": 2, + "registers": [ + 65, + 105 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 946, + "quotient_vectors": [ + 171, + 299 + ], + "rank": 2, + "registers": [ + 347, + 363 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 947, + "quotient_vectors": [ + 320, + 320 + ], + "rank": 2, + "registers": [ + 1, + 41 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 948, + "quotient_vectors": [ + 320, + 320 + ], + "rank": 2, + "registers": [ + 379, + 395 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 949, + "quotient_vectors": [ + 259, + 67 + ], + "rank": 2, + "registers": [ + 73, + 97 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1046, + "quotient_vectors": [ + 386, + 6 + ], + "rank": 2, + "registers": [ + 482, + 554 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1047, + "quotient_vectors": [ + 33, + 2 + ], + "rank": 2, + "registers": [ + 483, + 555 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1048, + "quotient_vectors": [ + 395, + 74 + ], + "rank": 2, + "registers": [ + 506, + 530 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1049, + "quotient_vectors": [ + 449, + 449 + ], + "rank": 2, + "registers": [ + 507, + 531 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1050, + "quotient_vectors": [ + 203, + 266 + ], + "rank": 2, + "registers": [ + 518, + 542 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1051, + "quotient_vectors": [ + 331, + 138 + ], + "rank": 2, + "registers": [ + 519, + 543 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1052, + "quotient_vectors": [ + 259, + 6 + ], + "rank": 2, + "registers": [ + 494, + 566 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1053, + "quotient_vectors": [ + 322, + 6 + ], + "rank": 2, + "registers": [ + 495, + 567 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1398, + "quotient_vectors": [ + 257, + 257 + ], + "rank": 2, + "registers": [ + 283, + 379 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1402, + "quotient_vectors": [ + 257, + 257 + ], + "rank": 2, + "registers": [ + 9, + 73 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1406, + "quotient_vectors": [ + 257, + 257 + ], + "rank": 2, + "registers": [ + 315, + 347 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1410, + "quotient_vectors": [ + 257, + 257 + ], + "rank": 2, + "registers": [ + 65, + 1 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1414, + "quotient_vectors": [ + 259, + 33 + ], + "rank": 2, + "registers": [ + 592, + 599 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1418, + "quotient_vectors": [ + 33, + 33 + ], + "rank": 2, + "registers": [ + 593, + 598 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1422, + "quotient_vectors": [ + 33, + 33 + ], + "rank": 2, + "registers": [ + 594, + 597 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1426, + "quotient_vectors": [ + 33, + 266 + ], + "rank": 2, + "registers": [ + 595, + 596 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1430, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 279, + 359 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-1/2", + "index": 1432, + "quotient_vectors": [ + 130, + 66 + ], + "rank": 2, + "registers": [ + 139, + 279 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1433, + "quotient_vectors": [ + 130, + 64 + ], + "rank": 2, + "registers": [ + 142, + 359 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1434, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 274, + 354 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-1/2", + "index": 1436, + "quotient_vectors": [ + 4, + 144 + ], + "rank": 2, + "registers": [ + 136, + 274 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1437, + "quotient_vectors": [ + 4, + 136 + ], + "rank": 2, + "registers": [ + 141, + 354 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1438, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 295, + 343 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1442, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 290, + 338 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1446, + "quotient_vectors": [ + 258, + 128 + ], + "rank": 2, + "registers": [ + 600, + 607 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-1/2", + "index": 1448, + "quotient_vectors": [ + 258, + 66 + ], + "rank": 2, + "registers": [ + 138, + 600 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1449, + "quotient_vectors": [ + 258, + 64 + ], + "rank": 2, + "registers": [ + 143, + 607 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1450, + "quotient_vectors": [ + 280, + 280 + ], + "rank": 2, + "registers": [ + 601, + 606 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-1/2", + "index": 1452, + "quotient_vectors": [ + 4, + 272 + ], + "rank": 2, + "registers": [ + 137, + 601 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1453, + "quotient_vectors": [ + 4, + 264 + ], + "rank": 2, + "registers": [ + 140, + 606 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1454, + "quotient_vectors": [ + 128, + 274 + ], + "rank": 2, + "registers": [ + 602, + 605 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1458, + "quotient_vectors": [ + 128, + 266 + ], + "rank": 2, + "registers": [ + 603, + 604 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1462, + "quotient_vectors": [ + 258, + 8 + ], + "rank": 2, + "registers": [ + 278, + 342 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-1/2", + "index": 1464, + "quotient_vectors": [ + 258, + 64 + ], + "rank": 2, + "registers": [ + 131, + 278 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1465, + "quotient_vectors": [ + 258, + 66 + ], + "rank": 2, + "registers": [ + 134, + 342 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1466, + "quotient_vectors": [ + 8, + 8 + ], + "rank": 2, + "registers": [ + 276, + 340 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-1/2", + "index": 1468, + "quotient_vectors": [ + 4, + 64 + ], + "rank": 2, + "registers": [ + 128, + 276 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1469, + "quotient_vectors": [ + 4, + 80 + ], + "rank": 2, + "registers": [ + 133, + 340 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1470, + "quotient_vectors": [ + 8, + 82 + ], + "rank": 2, + "registers": [ + 294, + 358 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1474, + "quotient_vectors": [ + 66, + 8 + ], + "rank": 2, + "registers": [ + 292, + 356 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1478, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 608, + 615 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-1/2", + "index": 1480, + "quotient_vectors": [ + 10, + 64 + ], + "rank": 2, + "registers": [ + 130, + 608 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1481, + "quotient_vectors": [ + 66, + 66 + ], + "rank": 2, + "registers": [ + 135, + 615 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1482, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 609, + 614 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-1/2", + "index": 1484, + "quotient_vectors": [ + 4, + 64 + ], + "rank": 2, + "registers": [ + 129, + 609 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1485, + "quotient_vectors": [ + 4, + 72 + ], + "rank": 2, + "registers": [ + 132, + 614 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1486, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 610, + 613 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1490, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 611, + 612 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1494, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 247, + 364 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-1/2", + "index": 1496, + "quotient_vectors": [ + 18, + 64 + ], + "rank": 2, + "registers": [ + 123, + 247 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1497, + "quotient_vectors": [ + 16, + 66 + ], + "rank": 2, + "registers": [ + 126, + 364 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1498, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 242, + 366 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-1/2", + "index": 1500, + "quotient_vectors": [ + 16, + 64 + ], + "rank": 2, + "registers": [ + 120, + 242 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1501, + "quotient_vectors": [ + 18, + 66 + ], + "rank": 2, + "registers": [ + 125, + 366 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1502, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 263, + 344 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1506, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 258, + 6 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1510, + "quotient_vectors": [ + 72, + 2 + ], + "rank": 2, + "registers": [ + 616, + 623 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-1/2", + "index": 1512, + "quotient_vectors": [ + 16, + 64 + ], + "rank": 2, + "registers": [ + 122, + 616 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1513, + "quotient_vectors": [ + 20, + 68 + ], + "rank": 2, + "registers": [ + 127, + 623 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1514, + "quotient_vectors": [ + 2, + 76 + ], + "rank": 2, + "registers": [ + 617, + 622 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-1/2", + "index": 1516, + "quotient_vectors": [ + 20, + 64 + ], + "rank": 2, + "registers": [ + 121, + 617 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1517, + "quotient_vectors": [ + 16, + 68 + ], + "rank": 2, + "registers": [ + 124, + 622 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1518, + "quotient_vectors": [ + 20, + 2 + ], + "rank": 2, + "registers": [ + 618, + 621 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1522, + "quotient_vectors": [ + 2, + 16 + ], + "rank": 2, + "registers": [ + 619, + 620 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1526, + "quotient_vectors": [ + 262, + 262 + ], + "rank": 2, + "registers": [ + 246, + 348 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-1/2", + "index": 1528, + "quotient_vectors": [ + 16, + 260 + ], + "rank": 2, + "registers": [ + 147, + 246 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1529, + "quotient_vectors": [ + 18, + 258 + ], + "rank": 2, + "registers": [ + 150, + 348 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1530, + "quotient_vectors": [ + 262, + 262 + ], + "rank": 2, + "registers": [ + 244, + 350 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-1/2", + "index": 1532, + "quotient_vectors": [ + 20, + 260 + ], + "rank": 2, + "registers": [ + 144, + 244 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1533, + "quotient_vectors": [ + 16, + 258 + ], + "rank": 2, + "registers": [ + 149, + 350 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1534, + "quotient_vectors": [ + 262, + 262 + ], + "rank": 2, + "registers": [ + 262, + 360 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1538, + "quotient_vectors": [ + 262, + 262 + ], + "rank": 2, + "registers": [ + 260, + 46 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1542, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 624, + 631 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-1/2", + "index": 1544, + "quotient_vectors": [ + 20, + 132 + ], + "rank": 2, + "registers": [ + 146, + 624 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1545, + "quotient_vectors": [ + 16, + 130 + ], + "rank": 2, + "registers": [ + 151, + 631 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1546, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 625, + 630 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-1/2", + "index": 1548, + "quotient_vectors": [ + 16, + 132 + ], + "rank": 2, + "registers": [ + 145, + 625 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1549, + "quotient_vectors": [ + 18, + 130 + ], + "rank": 2, + "registers": [ + 148, + 630 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1550, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 626, + 629 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1554, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 627, + 628 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1558, + "quotient_vectors": [ + 258, + 74 + ], + "rank": 2, + "registers": [ + 456, + 396 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-1/2", + "index": 1560, + "quotient_vectors": [ + 258, + 66 + ], + "rank": 2, + "registers": [ + 179, + 456 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1561, + "quotient_vectors": [ + 258, + 64 + ], + "rank": 2, + "registers": [ + 182, + 396 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1562, + "quotient_vectors": [ + 260, + 44 + ], + "rank": 2, + "registers": [ + 457, + 398 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-1/2", + "index": 1564, + "quotient_vectors": [ + 260, + 68 + ], + "rank": 2, + "registers": [ + 176, + 457 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1565, + "quotient_vectors": [ + 260, + 64 + ], + "rank": 2, + "registers": [ + 181, + 398 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1566, + "quotient_vectors": [ + 262, + 262 + ], + "rank": 2, + "registers": [ + 466, + 376 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1570, + "quotient_vectors": [ + 262, + 262 + ], + "rank": 2, + "registers": [ + 467, + 78 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1574, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 632, + 639 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-1/2", + "index": 1576, + "quotient_vectors": [ + 66, + 66 + ], + "rank": 2, + "registers": [ + 178, + 632 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1577, + "quotient_vectors": [ + 34, + 64 + ], + "rank": 2, + "registers": [ + 183, + 639 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1578, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 633, + 638 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-1/2", + "index": 1580, + "quotient_vectors": [ + 68, + 68 + ], + "rank": 2, + "registers": [ + 177, + 633 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1581, + "quotient_vectors": [ + 36, + 64 + ], + "rank": 2, + "registers": [ + 180, + 638 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1582, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 634, + 637 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1586, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 635, + 636 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1590, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 458, + 380 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-1/2", + "index": 1592, + "quotient_vectors": [ + 130, + 130 + ], + "rank": 2, + "registers": [ + 219, + 458 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1593, + "quotient_vectors": [ + 132, + 132 + ], + "rank": 2, + "registers": [ + 222, + 380 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1594, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 459, + 382 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-1/2", + "index": 1596, + "quotient_vectors": [ + 132, + 132 + ], + "rank": 2, + "registers": [ + 216, + 459 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1597, + "quotient_vectors": [ + 130, + 130 + ], + "rank": 2, + "registers": [ + 221, + 382 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1598, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 464, + 392 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1602, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 465, + 102 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1606, + "quotient_vectors": [ + 262, + 262 + ], + "rank": 2, + "registers": [ + 640, + 647 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-1/2", + "index": 1608, + "quotient_vectors": [ + 260, + 260 + ], + "rank": 2, + "registers": [ + 218, + 640 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1609, + "quotient_vectors": [ + 258, + 258 + ], + "rank": 2, + "registers": [ + 223, + 647 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1610, + "quotient_vectors": [ + 262, + 262 + ], + "rank": 2, + "registers": [ + 641, + 646 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-1/2", + "index": 1612, + "quotient_vectors": [ + 258, + 258 + ], + "rank": 2, + "registers": [ + 217, + 641 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1613, + "quotient_vectors": [ + 260, + 260 + ], + "rank": 2, + "registers": [ + 220, + 646 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1614, + "quotient_vectors": [ + 258, + 128 + ], + "rank": 2, + "registers": [ + 642, + 645 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1618, + "quotient_vectors": [ + 260, + 128 + ], + "rank": 2, + "registers": [ + 643, + 644 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1622, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 248, + 300 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1624, + "quotient_vectors": [ + 17, + 64 + ], + "rank": 2, + "registers": [ + 115, + 248 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1625, + "quotient_vectors": [ + 16, + 65 + ], + "rank": 2, + "registers": [ + 118, + 300 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1626, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 30, + 302 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1628, + "quotient_vectors": [ + 16, + 64 + ], + "rank": 2, + "registers": [ + 112, + 30 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1629, + "quotient_vectors": [ + 17, + 65 + ], + "rank": 2, + "registers": [ + 117, + 302 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1630, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 268, + 280 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1634, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 270, + 14 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1638, + "quotient_vectors": [ + 257, + 257 + ], + "rank": 2, + "registers": [ + 648, + 655 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1640, + "quotient_vectors": [ + 16, + 64 + ], + "rank": 2, + "registers": [ + 114, + 648 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1641, + "quotient_vectors": [ + 17, + 65 + ], + "rank": 2, + "registers": [ + 119, + 655 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1642, + "quotient_vectors": [ + 257, + 257 + ], + "rank": 2, + "registers": [ + 649, + 654 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1644, + "quotient_vectors": [ + 17, + 64 + ], + "rank": 2, + "registers": [ + 113, + 649 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1645, + "quotient_vectors": [ + 16, + 65 + ], + "rank": 2, + "registers": [ + 116, + 654 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1646, + "quotient_vectors": [ + 257, + 257 + ], + "rank": 2, + "registers": [ + 650, + 653 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1650, + "quotient_vectors": [ + 257, + 257 + ], + "rank": 2, + "registers": [ + 651, + 652 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1654, + "quotient_vectors": [ + 257, + 257 + ], + "rank": 2, + "registers": [ + 252, + 284 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1656, + "quotient_vectors": [ + 16, + 65 + ], + "rank": 2, + "registers": [ + 155, + 252 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1657, + "quotient_vectors": [ + 17, + 64 + ], + "rank": 2, + "registers": [ + 158, + 284 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1658, + "quotient_vectors": [ + 257, + 257 + ], + "rank": 2, + "registers": [ + 254, + 286 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1660, + "quotient_vectors": [ + 17, + 65 + ], + "rank": 2, + "registers": [ + 152, + 254 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1661, + "quotient_vectors": [ + 16, + 64 + ], + "rank": 2, + "registers": [ + 157, + 286 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1662, + "quotient_vectors": [ + 257, + 257 + ], + "rank": 2, + "registers": [ + 264, + 296 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1666, + "quotient_vectors": [ + 257, + 257 + ], + "rank": 2, + "registers": [ + 22, + 38 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1670, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 656, + 663 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1672, + "quotient_vectors": [ + 17, + 65 + ], + "rank": 2, + "registers": [ + 154, + 656 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1673, + "quotient_vectors": [ + 16, + 64 + ], + "rank": 2, + "registers": [ + 159, + 663 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1674, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 657, + 662 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1676, + "quotient_vectors": [ + 16, + 65 + ], + "rank": 2, + "registers": [ + 153, + 657 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1677, + "quotient_vectors": [ + 17, + 64 + ], + "rank": 2, + "registers": [ + 156, + 662 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1678, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 658, + 661 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1682, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 659, + 660 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1686, + "quotient_vectors": [ + 257, + 257 + ], + "rank": 2, + "registers": [ + 460, + 332 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1688, + "quotient_vectors": [ + 17, + 65 + ], + "rank": 2, + "registers": [ + 187, + 460 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1689, + "quotient_vectors": [ + 16, + 64 + ], + "rank": 2, + "registers": [ + 190, + 332 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1690, + "quotient_vectors": [ + 257, + 257 + ], + "rank": 2, + "registers": [ + 461, + 334 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1692, + "quotient_vectors": [ + 16, + 65 + ], + "rank": 2, + "registers": [ + 184, + 461 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1693, + "quotient_vectors": [ + 17, + 64 + ], + "rank": 2, + "registers": [ + 189, + 334 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1694, + "quotient_vectors": [ + 257, + 257 + ], + "rank": 2, + "registers": [ + 468, + 312 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1698, + "quotient_vectors": [ + 257, + 257 + ], + "rank": 2, + "registers": [ + 469, + 70 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1702, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 664, + 671 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1704, + "quotient_vectors": [ + 16, + 65 + ], + "rank": 2, + "registers": [ + 186, + 664 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1705, + "quotient_vectors": [ + 17, + 64 + ], + "rank": 2, + "registers": [ + 191, + 671 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1706, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 665, + 670 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1708, + "quotient_vectors": [ + 17, + 65 + ], + "rank": 2, + "registers": [ + 185, + 665 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1709, + "quotient_vectors": [ + 16, + 64 + ], + "rank": 2, + "registers": [ + 188, + 670 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1710, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 666, + 669 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1714, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 667, + 668 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1718, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 462, + 316 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1720, + "quotient_vectors": [ + 16, + 64 + ], + "rank": 2, + "registers": [ + 211, + 462 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1721, + "quotient_vectors": [ + 17, + 65 + ], + "rank": 2, + "registers": [ + 214, + 316 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1722, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 463, + 318 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1724, + "quotient_vectors": [ + 17, + 64 + ], + "rank": 2, + "registers": [ + 208, + 463 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1725, + "quotient_vectors": [ + 16, + 65 + ], + "rank": 2, + "registers": [ + 213, + 318 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1726, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 470, + 328 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1730, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 471, + 110 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1734, + "quotient_vectors": [ + 257, + 257 + ], + "rank": 2, + "registers": [ + 672, + 679 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1736, + "quotient_vectors": [ + 17, + 64 + ], + "rank": 2, + "registers": [ + 210, + 672 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1737, + "quotient_vectors": [ + 16, + 65 + ], + "rank": 2, + "registers": [ + 215, + 679 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1738, + "quotient_vectors": [ + 257, + 257 + ], + "rank": 2, + "registers": [ + 673, + 678 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1740, + "quotient_vectors": [ + 16, + 64 + ], + "rank": 2, + "registers": [ + 209, + 673 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1741, + "quotient_vectors": [ + 17, + 65 + ], + "rank": 2, + "registers": [ + 212, + 678 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1742, + "quotient_vectors": [ + 257, + 257 + ], + "rank": 2, + "registers": [ + 674, + 677 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1746, + "quotient_vectors": [ + 257, + 257 + ], + "rank": 2, + "registers": [ + 675, + 676 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1750, + "quotient_vectors": [ + 257, + 257 + ], + "rank": 2, + "registers": [ + 478, + 514 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1752, + "quotient_vectors": [ + 5, + 64 + ], + "rank": 2, + "registers": [ + 203, + 478 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1753, + "quotient_vectors": [ + 5, + 65 + ], + "rank": 2, + "registers": [ + 206, + 514 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1754, + "quotient_vectors": [ + 257, + 257 + ], + "rank": 2, + "registers": [ + 479, + 515 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1756, + "quotient_vectors": [ + 4, + 64 + ], + "rank": 2, + "registers": [ + 200, + 479 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1757, + "quotient_vectors": [ + 4, + 65 + ], + "rank": 2, + "registers": [ + 205, + 515 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1758, + "quotient_vectors": [ + 257, + 257 + ], + "rank": 2, + "registers": [ + 490, + 502 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1762, + "quotient_vectors": [ + 257, + 257 + ], + "rank": 2, + "registers": [ + 491, + 503 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1766, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 680, + 687 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1768, + "quotient_vectors": [ + 5, + 64 + ], + "rank": 2, + "registers": [ + 202, + 680 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1769, + "quotient_vectors": [ + 5, + 65 + ], + "rank": 2, + "registers": [ + 207, + 687 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1770, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 681, + 686 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1772, + "quotient_vectors": [ + 4, + 64 + ], + "rank": 2, + "registers": [ + 201, + 681 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1773, + "quotient_vectors": [ + 4, + 65 + ], + "rank": 2, + "registers": [ + 204, + 686 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1774, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 682, + 685 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1778, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 683, + 684 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1782, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 480, + 504 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1784, + "quotient_vectors": [ + 5, + 65 + ], + "rank": 2, + "registers": [ + 195, + 480 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1785, + "quotient_vectors": [ + 5, + 64 + ], + "rank": 2, + "registers": [ + 198, + 504 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1786, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 481, + 505 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1788, + "quotient_vectors": [ + 4, + 65 + ], + "rank": 2, + "registers": [ + 192, + 481 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1789, + "quotient_vectors": [ + 4, + 64 + ], + "rank": 2, + "registers": [ + 197, + 505 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1790, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 492, + 516 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1794, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 493, + 517 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1798, + "quotient_vectors": [ + 257, + 257 + ], + "rank": 2, + "registers": [ + 688, + 695 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1800, + "quotient_vectors": [ + 5, + 65 + ], + "rank": 2, + "registers": [ + 194, + 688 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1801, + "quotient_vectors": [ + 5, + 64 + ], + "rank": 2, + "registers": [ + 199, + 695 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1802, + "quotient_vectors": [ + 257, + 257 + ], + "rank": 2, + "registers": [ + 689, + 694 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1804, + "quotient_vectors": [ + 4, + 65 + ], + "rank": 2, + "registers": [ + 193, + 689 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "-2", + "index": 1805, + "quotient_vectors": [ + 4, + 64 + ], + "rank": 2, + "registers": [ + 196, + 694 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1806, + "quotient_vectors": [ + 257, + 257 + ], + "rank": 2, + "registers": [ + 690, + 693 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1810, + "quotient_vectors": [ + 257, + 257 + ], + "rank": 2, + "registers": [ + 691, + 692 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1814, + "quotient_vectors": [ + 259, + 129 + ], + "rank": 2, + "registers": [ + 482, + 494 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1818, + "quotient_vectors": [ + 320, + 320 + ], + "rank": 2, + "registers": [ + 483, + 495 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1822, + "quotient_vectors": [ + 266, + 129 + ], + "rank": 2, + "registers": [ + 506, + 518 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1826, + "quotient_vectors": [ + 320, + 320 + ], + "rank": 2, + "registers": [ + 507, + 519 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1830, + "quotient_vectors": [ + 257, + 257 + ], + "rank": 2, + "registers": [ + 696, + 703 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1834, + "quotient_vectors": [ + 257, + 257 + ], + "rank": 2, + "registers": [ + 697, + 702 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1838, + "quotient_vectors": [ + 257, + 257 + ], + "rank": 2, + "registers": [ + 698, + 701 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": null, + "coefficient": "1", + "index": 1842, + "quotient_vectors": [ + 257, + 257 + ], + "rank": 2, + "registers": [ + 699, + 700 + ], + "section": "B", + "stage": "gate" + }, + { + "cleanup_index": 6795, + "coefficient": "1/2", + "index": 0, + "quotient_vectors": [ + 64, + 256 + ], + "rank": 2, + "registers": [ + 74, + 584 + ], + "section": "cleanup", + "stage": "early-cleanup" + }, + { + "cleanup_index": 6794, + "coefficient": "2", + "index": 1, + "quotient_vectors": [ + 32, + 256 + ], + "rank": 2, + "registers": [ + 556, + 454 + ], + "section": "cleanup", + "stage": "early-cleanup" + }, + { + "cleanup_index": 6793, + "coefficient": "1/2", + "index": 2, + "quotient_vectors": [ + 32, + 256 + ], + "rank": 2, + "registers": [ + 351, + 587 + ], + "section": "cleanup", + "stage": "early-cleanup" + }, + { + "cleanup_index": 6792, + "coefficient": "1/2", + "index": 3, + "quotient_vectors": [ + 256, + 2 + ], + "rank": 2, + "registers": [ + 383, + 585 + ], + "section": "cleanup", + "stage": "early-cleanup" + }, + { + "cleanup_index": 6791, + "coefficient": "2", + "index": 4, + "quotient_vectors": [ + 256, + 64 + ], + "rank": 2, + "registers": [ + 557, + 455 + ], + "section": "cleanup", + "stage": "early-cleanup" + }, + { + "cleanup_index": 6790, + "coefficient": "-1", + "index": 5, + "quotient_vectors": [ + 128, + 256 + ], + "rank": 2, + "registers": [ + 399, + 591 + ], + "section": "cleanup", + "stage": "early-cleanup" + }, + { + "cleanup_index": 6789, + "coefficient": "-1", + "index": 6, + "quotient_vectors": [ + 256, + 128 + ], + "rank": 2, + "registers": [ + 98, + 590 + ], + "section": "cleanup", + "stage": "early-cleanup" + }, + { + "cleanup_index": 6788, + "coefficient": "2", + "index": 7, + "quotient_vectors": [ + 10, + 256 + ], + "rank": 2, + "registers": [ + 533, + 453 + ], + "section": "cleanup", + "stage": "early-cleanup" + }, + { + "cleanup_index": 6785, + "coefficient": "2", + "index": 8, + "quotient_vectors": [ + 256, + 64 + ], + "rank": 2, + "registers": [ + 532, + 452 + ], + "section": "cleanup", + "stage": "early-cleanup" + }, + { + "cleanup_index": 6787, + "coefficient": "-1", + "index": 9, + "quotient_vectors": [ + 256, + 64 + ], + "rank": 2, + "registers": [ + 509, + 451 + ], + "section": "cleanup", + "stage": "early-cleanup" + }, + { + "cleanup_index": 6784, + "coefficient": "-1", + "index": 10, + "quotient_vectors": [ + 32, + 256 + ], + "rank": 2, + "registers": [ + 508, + 450 + ], + "section": "cleanup", + "stage": "early-cleanup" + }, + { + "cleanup_index": 6786, + "coefficient": "-1", + "index": 11, + "quotient_vectors": [ + 2, + 256 + ], + "rank": 2, + "registers": [ + 485, + 449 + ], + "section": "cleanup", + "stage": "early-cleanup" + }, + { + "cleanup_index": 6783, + "coefficient": "-1", + "index": 12, + "quotient_vectors": [ + 256, + 64 + ], + "rank": 2, + "registers": [ + 484, + 448 + ], + "section": "cleanup", + "stage": "early-cleanup" + }, + { + "cleanup_index": 32, + "coefficient": "-1", + "index": 32, + "quotient_vectors": [ + 256, + 128 + ], + "rank": 2, + "registers": [ + 589, + 54 + ], + "section": "cleanup", + "stage": "early-cleanup" + }, + { + "cleanup_index": 88, + "coefficient": "-1", + "index": 88, + "quotient_vectors": [ + 256, + 64 + ], + "rank": 2, + "registers": [ + 586, + 438 + ], + "section": "cleanup", + "stage": "early-cleanup" + }, + { + "cleanup_index": 89, + "coefficient": "-1", + "index": 89, + "quotient_vectors": [ + 128, + 256 + ], + "rank": 2, + "registers": [ + 588, + 440 + ], + "section": "cleanup", + "stage": "early-cleanup" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 32, + 4 + ], + "rank": 2, + "registers": [ + 1, + 4 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 16, + 64 + ], + "rank": 2, + "registers": [ + 5, + 6 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 64, + 32 + ], + "rank": 2, + "registers": [ + 7, + 9 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 1, + 16 + ], + "rank": 2, + "registers": [ + 12, + 13 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 64, + 64 + ], + "rank": 2, + "registers": [ + 14, + 15 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 1, + 4 + ], + "rank": 2, + "registers": [ + 20, + 21 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 64 + ], + "rank": 2, + "registers": [ + 22, + 23 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 1, + 4 + ], + "rank": 2, + "registers": [ + 28, + 29 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 8, + 64 + ], + "rank": 2, + "registers": [ + 30, + 31 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 16, + 1 + ], + "rank": 2, + "registers": [ + 33, + 36 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 16, + 256 + ], + "rank": 2, + "registers": [ + 37, + 38 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 64, + 16 + ], + "rank": 2, + "registers": [ + 39, + 41 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 4, + 16 + ], + "rank": 2, + "registers": [ + 44, + 45 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 64 + ], + "rank": 2, + "registers": [ + 46, + 47 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 64, + 64 + ], + "rank": 2, + "registers": [ + 52, + 53 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 16, + 64 + ], + "rank": 2, + "registers": [ + 54, + 55 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 1, + 4 + ], + "rank": 2, + "registers": [ + 60, + 61 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 16, + 16 + ], + "rank": 2, + "registers": [ + 62, + 63 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 32, + 1 + ], + "rank": 2, + "registers": [ + 65, + 68 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 16, + 256 + ], + "rank": 2, + "registers": [ + 69, + 70 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 64, + 32 + ], + "rank": 2, + "registers": [ + 71, + 73 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 16, + 4 + ], + "rank": 2, + "registers": [ + 74, + 76 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 16, + 256 + ], + "rank": 2, + "registers": [ + 77, + 78 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 64, + 16 + ], + "rank": 2, + "registers": [ + 79, + 84 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 16, + 64 + ], + "rank": 2, + "registers": [ + 85, + 86 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 64, + 16 + ], + "rank": 2, + "registers": [ + 87, + 92 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 16, + 64 + ], + "rank": 2, + "registers": [ + 93, + 94 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 64, + 16 + ], + "rank": 2, + "registers": [ + 95, + 97 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 16, + 4 + ], + "rank": 2, + "registers": [ + 98, + 100 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 16, + 128 + ], + "rank": 2, + "registers": [ + 101, + 102 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 64, + 16 + ], + "rank": 2, + "registers": [ + 103, + 105 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 1, + 16 + ], + "rank": 2, + "registers": [ + 108, + 109 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 128, + 64 + ], + "rank": 2, + "registers": [ + 110, + 111 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 16, + 16 + ], + "rank": 2, + "registers": [ + 224, + 226 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 16, + 16 + ], + "rank": 2, + "registers": [ + 228, + 230 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 16, + 16 + ], + "rank": 2, + "registers": [ + 231, + 232 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 16, + 16 + ], + "rank": 2, + "registers": [ + 236, + 238 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 64, + 2 + ], + "rank": 2, + "registers": [ + 240, + 242 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 244, + 246 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 16, + 16 + ], + "rank": 2, + "registers": [ + 247, + 248 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 252, + 254 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 64, + 2 + ], + "rank": 2, + "registers": [ + 256, + 258 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 260, + 262 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 16, + 256 + ], + "rank": 2, + "registers": [ + 263, + 264 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 16, + 8 + ], + "rank": 2, + "registers": [ + 268, + 270 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 64, + 128 + ], + "rank": 2, + "registers": [ + 272, + 274 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 276, + 278 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 128, + 64 + ], + "rank": 2, + "registers": [ + 279, + 280 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 32, + 256 + ], + "rank": 2, + "registers": [ + 283, + 284 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 64 + ], + "rank": 2, + "registers": [ + 286, + 288 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 128, + 256 + ], + "rank": 2, + "registers": [ + 290, + 292 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 128 + ], + "rank": 2, + "registers": [ + 294, + 295 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 16 + ], + "rank": 2, + "registers": [ + 296, + 299 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 64, + 64 + ], + "rank": 2, + "registers": [ + 300, + 302 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 64, + 64 + ], + "rank": 2, + "registers": [ + 304, + 306 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 64, + 64 + ], + "rank": 2, + "registers": [ + 308, + 310 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 32 + ], + "rank": 2, + "registers": [ + 312, + 315 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 128, + 128 + ], + "rank": 2, + "registers": [ + 316, + 318 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 64, + 64 + ], + "rank": 2, + "registers": [ + 320, + 322 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 64, + 64 + ], + "rank": 2, + "registers": [ + 324, + 326 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 128, + 16 + ], + "rank": 2, + "registers": [ + 328, + 331 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 332, + 334 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 64, + 128 + ], + "rank": 2, + "registers": [ + 336, + 338 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 340, + 342 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 128, + 64 + ], + "rank": 2, + "registers": [ + 343, + 344 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 32, + 256 + ], + "rank": 2, + "registers": [ + 347, + 348 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 16 + ], + "rank": 2, + "registers": [ + 350, + 351 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 64, + 128 + ], + "rank": 2, + "registers": [ + 352, + 354 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 356, + 358 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 128, + 256 + ], + "rank": 2, + "registers": [ + 359, + 360 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 16, + 64 + ], + "rank": 2, + "registers": [ + 363, + 364 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 64, + 16 + ], + "rank": 2, + "registers": [ + 366, + 367 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 64, + 256 + ], + "rank": 2, + "registers": [ + 368, + 376 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 32, + 128 + ], + "rank": 2, + "registers": [ + 379, + 380 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 128, + 16 + ], + "rank": 2, + "registers": [ + 382, + 383 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 64, + 128 + ], + "rank": 2, + "registers": [ + 384, + 392 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 16, + 256 + ], + "rank": 2, + "registers": [ + 395, + 396 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 16 + ], + "rank": 2, + "registers": [ + 398, + 399 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 64, + 64 + ], + "rank": 2, + "registers": [ + 400, + 408 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 64, + 64 + ], + "rank": 2, + "registers": [ + 412, + 414 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 64, + 64 + ], + "rank": 2, + "registers": [ + 416, + 424 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 64, + 64 + ], + "rank": 2, + "registers": [ + 428, + 430 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 64, + 16 + ], + "rank": 2, + "registers": [ + 432, + 434 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 16, + 16 + ], + "rank": 2, + "registers": [ + 436, + 438 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 16, + 16 + ], + "rank": 2, + "registers": [ + 439, + 440 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 16, + 16 + ], + "rank": 2, + "registers": [ + 444, + 446 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 456, + 457 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 128, + 128 + ], + "rank": 2, + "registers": [ + 458, + 459 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 460, + 461 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 128, + 128 + ], + "rank": 2, + "registers": [ + 462, + 463 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 128, + 128 + ], + "rank": 2, + "registers": [ + 464, + 465 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 466, + 467 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 468, + 469 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 128, + 128 + ], + "rank": 2, + "registers": [ + 470, + 471 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 478, + 479 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 64, + 64 + ], + "rank": 2, + "registers": [ + 480, + 481 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 128, + 128 + ], + "rank": 2, + "registers": [ + 482, + 483 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 490, + 491 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 64, + 64 + ], + "rank": 2, + "registers": [ + 492, + 493 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 128, + 128 + ], + "rank": 2, + "registers": [ + 494, + 495 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 64, + 256 + ], + "rank": 2, + "registers": [ + 499, + 502 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 32 + ], + "rank": 2, + "registers": [ + 503, + 504 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 32, + 128 + ], + "rank": 2, + "registers": [ + 505, + 506 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 128, + 64 + ], + "rank": 2, + "registers": [ + 507, + 511 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 514, + 515 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 32, + 32 + ], + "rank": 2, + "registers": [ + 516, + 517 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 128, + 128 + ], + "rank": 2, + "registers": [ + 518, + 519 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 592, + 593 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 594, + 595 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 596, + 597 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 598, + 599 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 600, + 601 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 602, + 603 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 604, + 605 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 606, + 607 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 8, + 8 + ], + "rank": 2, + "registers": [ + 608, + 609 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 8, + 8 + ], + "rank": 2, + "registers": [ + 610, + 611 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 64, + 64 + ], + "rank": 2, + "registers": [ + 612, + 613 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 64, + 64 + ], + "rank": 2, + "registers": [ + 614, + 615 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 616, + 617 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 618, + 619 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 620, + 621 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 622, + 623 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 128, + 128 + ], + "rank": 2, + "registers": [ + 624, + 625 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 128, + 128 + ], + "rank": 2, + "registers": [ + 626, + 627 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 128, + 128 + ], + "rank": 2, + "registers": [ + 628, + 629 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 128, + 128 + ], + "rank": 2, + "registers": [ + 630, + 631 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 64, + 64 + ], + "rank": 2, + "registers": [ + 632, + 633 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 64, + 64 + ], + "rank": 2, + "registers": [ + 634, + 635 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 32, + 32 + ], + "rank": 2, + "registers": [ + 636, + 637 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 32, + 32 + ], + "rank": 2, + "registers": [ + 638, + 639 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 640, + 641 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 642, + 643 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 644, + 645 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 646, + 647 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 648, + 649 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 650, + 651 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 652, + 653 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 654, + 655 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 128, + 128 + ], + "rank": 2, + "registers": [ + 656, + 657 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 128, + 128 + ], + "rank": 2, + "registers": [ + 658, + 659 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 128, + 128 + ], + "rank": 2, + "registers": [ + 660, + 661 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 128, + 128 + ], + "rank": 2, + "registers": [ + 662, + 663 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 64, + 64 + ], + "rank": 2, + "registers": [ + 664, + 665 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 64, + 64 + ], + "rank": 2, + "registers": [ + 666, + 667 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 32, + 32 + ], + "rank": 2, + "registers": [ + 668, + 669 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 32, + 32 + ], + "rank": 2, + "registers": [ + 670, + 671 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 672, + 673 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 674, + 675 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 676, + 677 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 678, + 679 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 128, + 128 + ], + "rank": 2, + "registers": [ + 680, + 681 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 128, + 128 + ], + "rank": 2, + "registers": [ + 682, + 683 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 128, + 128 + ], + "rank": 2, + "registers": [ + 684, + 685 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 128, + 128 + ], + "rank": 2, + "registers": [ + 686, + 687 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 688, + 689 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 690, + 691 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 692, + 693 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 694, + 695 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 696, + 697 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 698, + 699 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 700, + 701 + ], + "section": "final", + "stage": "terminal" + }, + { + "cleanup_index": null, + "coefficient": null, + "index": null, + "quotient_vectors": [ + 256, + 256 + ], + "rank": 2, + "registers": [ + 702, + 703 + ], + "section": "final", + "stage": "terminal" + } + ], + "profile_after_ideal_joint_interfaces": { + "1": 906, + "2": 1171, + "3": 432, + "4": 142, + "5": 82, + "8": 8 + }, + "profile_before": { + "1": 2412, + "2": 418, + "3": 432, + "4": 142, + "5": 82, + "8": 8 + }, + "rank_mass_before_and_after": 5586, + "schema_version": 1, + "scope": "Conditional local cost-interface mechanism only; no supplier admission, global assembly, or new kappa.", + "source": { + "decompressed_sha256": "c2b294300760e1fd6eeab8c22c4d13e4633dca40e52cac8da0d68163a76e3ca8", + "path": "research/r480-owner-optimum/inputs/local/FULL-WORD.json.gz" + } +} diff --git a/research/complex-joint-child-seed0d762/README.md b/research/complex-joint-child-seed0d762/README.md new file mode 100644 index 0000000000..e70fd494b6 --- /dev/null +++ b/research/complex-joint-child-seed0d762/README.md @@ -0,0 +1,95 @@ +# Joint rank-two child boundary for paired frame climbs + +**New conditional local interface mechanism. No new κ is claimed.** On the selected width-73 local word, 753 pairs of rank-one frame transitions can be described as tagged two-register rank-two boundaries. The native word is unchanged. If one recursive rank-two call can serve each such direct-sum boundary at the usual rank-two price, the local profile's exact fixed-word ceiling rises by at least **5.241623654%**. The proposed child contract has not been admitted or physically hosted, so this is a costed mechanism candidate, not an improved multiplication bound. + +## Mechanism + +For a register transition from frame `U` to frame `F`, the child boundary is the quotient `F/U`. A selected pair consists of two distinct register lanes, each with a one-dimensional quotient. Their tagged direct sum has dimension two: + +\[ + (F_1/U_1) \oplus (F_2/U_2), \qquad \dim=1+1=2. +\] + +The new interface contract `J2` asks one rank-two recursive child to accept and return this tagged product. It keeps the lanes separate; it does not identify their basis vectors or drop either lane's dirt. + +There are three exact classes in the pinned word: + +1. **574 A/B gate pairs.** In one `add` gate, both participating registers grow by one into the same frame `F`. On the two register lanes the gate is the rational shear + `T_c(x,y) = (x + c y, y)`, where `c` is the exact recorded numerator divided by denominator. Its inverse is `T_{-c}`. Both old frames lie in `F`, so the full dirty input maps inside `F × F`; the two-lane boundary has codimension two. +2. **16 scheduled early-cleanup pairs.** The cleanup gate's two participants both grow by one into its scheduled frame. The same exact shear argument applies. +3. **163 terminal pairs.** There are 326 rank-one terminal transitions. Pairing them by increasing register id yields 163 direct-sum terminal boundaries. Their map is the identity on the tagged product; no register values are identified. + +The finite scan covers all 3,451 A gates, 1,846 B gates, 116 scheduled early-cleanup entries, and 704 terminal registers. As one gate example, A[1291] adds register 232 into register 228 with coefficient `+1`. Register 228 grows from `span{454}` to `span{454,30}`; register 232 grows from `span{472}` to the same target because `472 = 454 xor 30`. The tagged quotient basis is `((228,30),(232,454))`, and the gate map is `[[1,1],[0,1]]` with inverse `[[1,-1],[0,1]]`. Both lanes remain distinct; their joint quotient dimension is exactly two. + +The pairs partition 1,506 rank-one child calls into 753 rank-two calls. The resulting virtual per-call profile is + +`{1:906, 2:1171, 3:432, 4:142, 5:82, 8:8}`, + +with the same rank mass, 5,586. Under the retained selected-word model, the idle mass remains 1,646, `m=73`, `W=896/9`, the centre charge is 64, and the halving guard gives idle-rank cap 51. + +For `0 < a < 1`, the optimistic cost change per pair is strictly favorable: + +\[ +2(1/73)^{1-a}-(2/73)^{1-a} +=73^{a-1}\left(2-2^{1-a}\right)>0. +\] + +The exact ceiling calculation prices the whole resulting histogram, including the fixed idle remainder and centre charge; it does not assume that this local inequality by itself supplies a recursive multiplier. + +## Exact screening and full charge ledger + +`verify.py` calls the repository's outward-rounded rational ceiling routine with a `10^-12` grid. The baseline fixed-word ceiling is bracketed by `0.001690054109` and `0.001690054110`. The paired profile is bracketed by `0.001778640386` and `0.001778640387`. Even comparing the candidate's lower endpoint with the baseline's upper endpoint, the ideal gain is at least `5.241623654%`. The candidate's relaxed moment at `a=1/99` is strictly greater than one (lower bound about `1.0232932528`), so the mechanism does not reach the target-scale budget. + +The 5% threshold is tight against extra child work. At `a = 1.05 × 0.001690054110`, the candidate has headroom for at most **11 extra rank-one children per local call** if each is charged by removing the same amount of fractional rank-51 idle mass. Twelve such children already miss the 5% threshold. This is only the child-moment budget; it does not pay for the joint boundary's source adapters, copies, phase/precision conversion, or hosting. In particular, one extra rank-one adapter for each of the 753 pairs would overwhelm the available headroom. + +| Cost | Optimistic charge used for the screen | Evidence or remaining obligation | +|---|---|---| +| Source access | No extra scalar reads are added to the recorded word | The new call must still receive both lanes. Whether a joint call avoids an extra copy or adapter is unproved. | +| Native helper operations | Zero additional scalar gates | The word is pinned and unchanged. | +| Recursive children | Replace two rank-one calls by one rank-two `J2` call for each of 753 pairs | Exact virtual profile and moment are checked. The `J2` recursion supplier is unproved. | +| Frame changes | Zero | The original frame chains remain byte-for-byte unchanged. | +| Copied information | Zero in the tagged direct-sum model | A physical layout showing no added copies is not supplied. | +| Hosting | No added local rank mass; 753 fewer recursive call boundaries | Whole-call ownership and the physical width inventory are not rebuilt for `J2`. | +| Restoration | Zero additional local gates | The gate shear has an exact inverse; the shared child's terminal restoration interface is unproved. | +| Precision and phases | Assumed unchanged | The joint boundary's phase and precision transfer are not admitted. | +| Interface transitions | Not priced; at most 11 extra rank-one child costs per call fit while preserving the 5% margin | This is the central open cost: prove the rank-two boundary is a legal single child, and price all adapters, copies, hosting, and restoration it needs. | + +The zero-overhead assumptions make this a deliberately favorable screen. They do not establish that the new contract is realizable. The reported `a/(1+a)` value is only a complex-side profile cap under the retained transfer; it is not a new κ. The selected bit supplier, global owner map, all-size construction, analytic transfer, and full assembly are unchanged and not replayed here. + +## Reproduction + +From the repository root: + +```sh +python3 -B research/complex-joint-child-seed0d762/build.py +python3 -B research/complex-joint-child-seed0d762/verify.py +python3.12 -B scripts/research_package.py --package research/complex-joint-child-seed0d762 +``` + +Expected verification output includes: + +```text +PASS_JOINT_CHILD_INTERFACE_CANDIDATE pairs=753 gain=5.241623654% +PASS_NEGATIVE_CONTROLS missing_pair,duplicate_pair,changed_gate_map,bad_quotient_vector +LIMIT no supplier admission, physical cost, global assembly, or new kappa +``` + +The recipe pins the decompressed source word SHA256 `c2b294300760e1fd6eeab8c22c4d13e4633dca40e52cac8da0d68163a76e3ca8`; the verifier also checks that the selected slot output pin has the same digest. The verifier independently reconstructs all A/B, scheduled cleanup, and terminal frame changes using exact F2 subspaces, validates the integer shear and inverse, recomputes the full rank bill, and rejects four mutated recipes. It uses only the Python standard library plus the pinned repository ceiling routine. + +In this worktree, direct replay passed under Python 3.14.7 both normally and with `-I -O`. Python 3.12 is not installed locally, so the registered `research_package.py --package` mathematical replay was not run here. `--check-only` passed its metadata and source-pin checks; it is not a mathematical acceptance check. + +## Scope and predecessors + +The selected word comes from `research/gauge44-slots` and is the word selected by the current result. Earlier frame coalescing changes the dimension jump within one register. This mechanism instead joins quotient calls across two register lanes at a shared gate or a common terminal boundary. It leaves the source frames, scalar word, fixed coverage identity, and owner map unchanged. The frozen provider mixture bound in `research/heterogeneous-owner-assembly` does not include this joint boundary contract. PR #1348 changes coverage thresholds, which is also a different mechanism. + +The result is conditional on admitting `J2`. It does not show that an arbitrary product of two scalar children can be supplied by an existing rank-two multiplication recurrence. Supplier construction, actual source access, physical copies, host assignment, restoration, phase/precision transfer, and full assembly remain open. This package preserves the original selected record and all frozen sources. + +## Open next questions + +- Can an existing complex recursive supplier implement `J2` on arbitrary tagged one-dimensional quotients without extra source copies? +- What minimum adapter, restoration, precision, and whole-call hosting charge does a physical `J2` implementation require, and does the 5.24% ideal headroom survive it? +- Can the joint contract be integrated into the selected supplier while preserving every arbitrary-dirt column and terminal frame? + +## Credit + +This is a new local interface proposal and exact profile screen prepared by Cinna Davis with substantial OpenAI Codex assistance. It reuses the selected word, the fixed-word ceiling, and their credited upstream work without modifying or claiming those constructions. The contribution is licensed under Apache-2.0. diff --git a/research/complex-joint-child-seed0d762/RESULT.json b/research/complex-joint-child-seed0d762/RESULT.json new file mode 100644 index 0000000000..32ef904884 --- /dev/null +++ b/research/complex-joint-child-seed0d762/RESULT.json @@ -0,0 +1,98 @@ +{ + "cost_screen": { + "a_at_guaranteed_5_percent_gain": "3549113631/2000000000000", + "baseline_a_ceiling": [ + "1690054109/1000000000000", + "169005411/100000000000" + ], + "extra_rank_one_cost_per_call_vs_rank_51_idle_mass": [ + "100017284834943459193891913974855372460872141495904490082925908561582451721/103749711956635311099519602567784365436529906260413945379353995271090164157382656", + "212536730274254850787020317196567666479353300678797041426217555693362709927/220468137907850036086479155456541776552626050803379633931127239951066598834438144" + ], + "grid": "1/1000000000000", + "guaranteed_relative_ceiling_gain": "44293138/845027055", + "guaranteed_relative_ceiling_gain_decimal": "5.241623654%", + "headroom_per_call_at_5_percent_threshold": [ + "1304587038572927341602101752780374654869462614914079705441342809736843265/115792089237316195423570985008687907853269984665640564039457584007913129639936", + "652293519286463670801050876390187327434731307457039852720671404868421647/57896044618658097711785492504343953926634992332820282019728792003956564819968" + ], + "joint_profile_a_ceiling": [ + "889320193/500000000000", + "1778640387/1000000000000" + ], + "joint_profile_kappa_cap_from_complex_side_only": "1778640387/1001778640387", + "maximum_extra_rank_one_children_per_call_while_retaining_5_percent": 11, + "relaxation_at_5_percent_threshold": [ + "57895392325138811248114691453467563739307557601512824979876071332551696398321/57896044618658097711785492504343953926634992332820282019728792003956564819968", + "115790784650277622496229382906935127478615115203025649959752142665103392796671/115792089237316195423570985008687907853269984665640564039457584007913129639936" + ], + "relaxation_at_a_equals_1_over_99": [ + "3702789488892870517543906168682073222125130903025927238591347112389342165209/3618502788666131106986593281521497120414687020801267626233049500247285301248", + "59244631822285928280702498698913171554002094448414835817461553798229474643365/57896044618658097711785492504343953926634992332820282019728792003956564819968" + ] + }, + "negative_controls_rejected": [ + "missing_pair", + "duplicate_pair", + "changed_gate_map", + "bad_quotient_vector" + ], + "no_new_kappa_claimed": true, + "pair_counts": { + "a_gate_count": 3451, + "b_gate_count": 1846, + "early_cleanup_pairs": 16, + "gate_pairs": 574, + "scheduled_early_cleanup_entries": 116, + "source_gate_count": 5297, + "terminal_pairs": 163, + "terminal_rank_one_transitions": 326, + "total_rank_two_children": 753 + }, + "pair_role_counts": { + "early-cleanup": { + "helper/helper": 13, + "helper/input": 1, + "input/helper": 2 + }, + "gate": { + "helper/helper": 281, + "helper/input": 105, + "input/helper": 15, + "input/input": 77, + "target/helper": 95, + "target/input": 1 + }, + "terminal": { + "helper/helper": 130, + "input/input": 33 + } + }, + "positive_evidence": [ + "all 753 tagged rank-two quotient interfaces have exact dimension two", + "each gate-pair map is an invertible integer shear and both frame lanes remain in the shared target", + "terminal pairs are exact direct sums of two independent codimension-one boundaries", + "the native word and frames are unchanged; only the recursive-call grouping changes" + ], + "profile_after_ideal_joint_interfaces": { + "1": 906, + "2": 1171, + "3": 432, + "4": 142, + "5": 82, + "8": 8 + }, + "profile_before": { + "1": 2412, + "2": 418, + "3": 432, + "4": 142, + "5": 82, + "8": 8 + }, + "rank_mass": 5586, + "scope": "Exact tagged direct-sum frame transitions on one selected local word; supplier admission, physical hosting, and global assembly are unproved.", + "source_word_sha256": "c2b294300760e1fd6eeab8c22c4d13e4633dca40e52cac8da0d68163a76e3ca8", + "status": "PASS_JOINT_CHILD_INTERFACE_CANDIDATE", + "unpriced_obligations": "prove and physically host the new joint rank-two child boundary, including source access, copies, restoration, phase/precision transfer, and complete-call ownership" +} diff --git a/research/complex-joint-child-seed0d762/SOURCES.json b/research/complex-joint-child-seed0d762/SOURCES.json new file mode 100644 index 0000000000..4ac092753a --- /dev/null +++ b/research/complex-joint-child-seed0d762/SOURCES.json @@ -0,0 +1,114 @@ +{ + "schema_version": 1, + "base_commit": "0b1cccf86e2f5132ed286a26ef0a681a495740ea", + "files": [ + { + "path": "docs/research/agent-task-catalog.json", + "sha256": "6686ad58f1fbdbc87134a78901b60fd53a20d3984355e91defbbebc9e9fa8075", + "usage": "provenance", + "git_blob": "06c96f5579bb67ed1b86d334e78fbed7da6945f1" + }, + { + "path": "autoresearch.md", + "sha256": "215b3222f6a943edc69422a28ac21ea1f397ddf54770f1d87ac4195385d73699", + "usage": "provenance", + "git_blob": "8d5403e0f10f68a61d0cb9294fa2e83e872d1d82" + }, + { + "path": "AGENTS.md", + "sha256": "5f29c7cbf0eb28f4e87f0affa9cffdaef4e39a630a5878c8fed02b544c894d2e", + "usage": "provenance", + "git_blob": "860762e04e963e1b163b8fa5267854c0040a9e67" + }, + { + "path": "CONTRIBUTING.md", + "sha256": "df5b5646602f42cb5da5844f04ac925182ddcd0f627b9de1c96a5095bb7a277a", + "usage": "provenance", + "git_blob": "e51435543687f1bd88ab22248082dc689ce8b853" + }, + { + "path": "docs/research/bottleneck-brief.md", + "sha256": "a5e316569672dc88276647d1a7ae91df150b944e1376a975c67af246d94d67c8", + "usage": "provenance", + "git_blob": "9a2c01f65bdb5c6816685bf00c8510ea8db43856" + }, + { + "path": "docs/research/research-glossary.md", + "sha256": "d0c49f9c5d2e51d7479fc52d29d65659d3bef4edf78db03f9e1406fc40f7ab62", + "usage": "provenance", + "git_blob": "ebe36a6e1ba7e9c78d93db0c16bfb44201633b06" + }, + { + "path": "certificates/selected-result.json", + "sha256": "10b9e340fd8e354a37a0c4813c90e5de1dd42044b5f6aca4a3fc5a42b685fa32", + "usage": "provenance", + "git_blob": "ae6a99f28aa468649eb66a361e764d769363bf11" + }, + { + "path": "research/community-frontier1094-audit/SELECTED-SOURCE.json", + "sha256": "79b3de5db3dbcb9829789ba58e9e45758926031e2a7d80667a08429d369be53b", + "usage": "provenance", + "git_blob": "6a75493790b4eff9c4a98051ef8b01d6aad0d5a8" + }, + { + "path": "research/community-frontier1094-audit/ASSEMBLY.json", + "sha256": "1122cb3a575f8c788345fc1bf4c108ac7c3250fb81a5988671f5eb04b3ab3045", + "usage": "provenance", + "git_blob": "5fd676df060f3b450782fdf5ff5f6beb63a5eeb0" + }, + { + "path": "research/gauge44-slots/README.md", + "sha256": "bd4248499e577321f17aacba1d7815a5eb0f9cbe88faeb8fef38b71bdf3a684c", + "usage": "provenance", + "git_blob": "8b485109396f32bfe3422f18023def2b14c57237" + }, + { + "path": "research/gauge44-slots/construction/slots/SLOT-PINS-k8.json", + "sha256": "55dd229684febecb80638eff9c6b3986623e8539c6c956753b350209c3e0efe2", + "usage": "input", + "git_blob": "2702c368f4de0b671577aee9a0e2df41c1b27658" + }, + { + "path": "research/complex-local-word-ceiling/README.md", + "sha256": "b60be039cb0e03e064a27407d0bce9e58908d793da5ee405c876de5aebfa5f81", + "usage": "provenance", + "git_blob": "f5f742f8196da29d2c3f4dffb3c27685ca9401f6" + }, + { + "path": "research/complex-local-word-ceiling/ceiling.py", + "sha256": "86a1432870b3b21d8454106ec9162fddc0471472d9214c590a1420f2426cedfc", + "usage": "input", + "git_blob": "6c0f54527d879396f689523bfde19928a9b6157c" + }, + { + "path": "research/heterogeneous-owner-assembly/README.md", + "sha256": "30f5d93adebc874370b63dddf98069079001fbd7b8f078a023d9eeb5d347c185", + "usage": "provenance", + "git_blob": "c433801385fcd3a846df9f7f7c0ced301208d871" + }, + { + "path": "research/kernel-frame-coalescing/README.md", + "sha256": "32b64f7638e6cb9bcd1d0e41779808ac1d5d6897152a00194e82e8c3754fd7b0", + "usage": "provenance", + "git_blob": "f0447272d3179f95ac01882a225af2842e9a2c21" + }, + { + "path": "research/r480-owner-optimum/README.md", + "sha256": "fbed39077a7220643feaf542f402bda7ba50a5fa3fe0b384c6cbaa26a830b8f8", + "usage": "provenance", + "git_blob": "4fa54b2da8d2adf99973227a2ebd3c1a909d9e04" + }, + { + "path": "research/r480-owner-optimum/inputs/local/FULL-WORD.json.gz", + "sha256": "49596aa4ed4fd36cd4582fd0e8ddeb09fd80370a7d8aea1ede52a135b536d289", + "usage": "input", + "git_blob": "723decbca8995e916d6f4b783aa3e1ddd4eb47fe" + }, + { + "path": "research/gauge44-slots/independent/audit_local.py", + "sha256": "03afcfc9da428b3f6edac81c1fee7f277ab81b64998efae78380b63498dec6cd", + "usage": "provenance", + "git_blob": "4744d8783c25bf7bf5076886169077ca3808309a" + } + ] +} diff --git a/research/complex-joint-child-seed0d762/TASK.json b/research/complex-joint-child-seed0d762/TASK.json new file mode 100644 index 0000000000..7eb565cc79 --- /dev/null +++ b/research/complex-joint-child-seed0d762/TASK.json @@ -0,0 +1,89 @@ +{ + "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": "refined", + "actual_scope": "Construct and exact-check tagged direct-sum rank-two interfaces for 753 pairs of codimension-one frame transitions in the selected width-73 complex word: 574 shared A/B gate pairs, 16 scheduled cleanup pairs, and 163 deterministic terminal pairs.", + "scope_change_reason": "The catalogue card is broad. This isolates a new cross-register child boundary that is absent from the frozen per-register frame interface and owner catalogue. The local experiment demonstrates exact two-lane maps and a greater-than-5% favorable fixed-word ceiling shift, while explicitly leaving physical realization and the new recursive supplier contract open.", + "bottleneck_link": "The selected complex side is capped by many rank-one children. Replacing two rank-one charges by one rank-two charge improves the exact local ceiling 5.24% under zero added interface overhead, but the 1/99 target still fails and no kappa is claimed.", + "budget_minutes": 60, + "stop_rule": "Enumerate the complete pinned local word: all A/B gate transitions, all scheduled early-cleanup transitions, and all terminal frames. Pair each same-gate 1+1 climb and the terminal rank-one set by increasing register id. Stop after exact replay, profile pricing, four negative controls, and package checks; do not search alternate pairing policies in this cycle.", + "outcome": "partial", + "evidence": "The exact source profile {1:2412,2:418,3:432,4:142,5:82,8:8} replays on decompressed word SHA256 c2b294300760e1fd6eeab8c22c4d13e4633dca40e52cac8da0d68163a76e3ca8. The recipe contains 753 verified tagged rank-two boundaries and yields virtual profile {1:906,2:1171,3:432,4:142,5:82,8:8}, with rank mass 5,586 unchanged. The exact repository ceiling routine brackets the baseline and candidate ceilings and proves at least a 5.241623654% ideal gain; the candidate relaxation at a=1/99 remains greater than one. The 5% margin permits at most 11 additional rank-one local children per call when charged against fractional rank-51 idle mass; 12 miss the margin. Four semantic negative controls reject. Physical J2 admission, copies, hosting, restoration, and phase/precision costs remain open.", + "author": "Cinna Davis", + "ai_assistance": "Substantial OpenAI Codex assistance in the interface formulation, exact construction, independent replay, cost screen, and packaging.", + "open_questions": [ + { + "question": "Can an existing complex recursive supplier implement J2 for arbitrary tagged one-dimensional quotients?", + "why_it_matters": "The ideal profile saving only applies if the joint boundary is one legal rank-two recursive child.", + "first_step": "Extract the selected supplier boundary contract and try one shared-gate pair with all arbitrary-dirt coordinates and the exact inverse.", + "blocked_by": "The current supplier exposes separate per-register child boundaries and no reviewed J2 interface." + }, + { + "question": "What physical adapter and hosting charge does J2 require?", + "why_it_matters": "Any added source copy, phase transition, restoration, precision, or host demand can erase the 5.24% ideal gain.", + "first_step": "Choose one gate pair and create a complete two-register interface invoice through child entry, operation, and terminal restoration.", + "blocked_by": "No physical J2 register layout or whole-call ownership schedule exists yet." + }, + { + "question": "Does a fully assembled J2 supplier improve the selected conditional exponent after the bit side binds?", + "why_it_matters": "A local moment cap is not a new multiplication bound.", + "first_step": "Only after J2 is physically admitted, rebuild the local profile and rerun the selected global strict moment and assembly.", + "blocked_by": "J2 supplier and complete assembly are open." + } + ], + "accepted_seed": "0d762194a82c097da60f154a08625527", + "track": "complex-mechanisms", + "scope_key": "5868e5281a1e63d41a22/joint-register-rank2-boundary", + "catalog_sha256": "6686ad58f1fbdbc87134a78901b60fd53a20d3984355e91defbbebc9e9fa8075", + "selected_record_sha256": "10b9e340fd8e354a37a0c4813c90e5de1dd42044b5f6aca4a3fc5a42b685fa32", + "source_word_sha256": "c2b294300760e1fd6eeab8c22c4d13e4633dca40e52cac8da0d68163a76e3ca8", + "pre_submission_overlap": { + "checked_at_utc": "2026-10-14T09:10:17Z", + "open_prs": 435, + "discussions": 396, + "discussion_snapshot_utc": "2026-10-14T09:10:17Z", + "pagination_complete": true, + "warnings": [] + }, + "discussion_claim": "Not posted: GitHub Discussions GraphQL API rate limit; local CLAIM.md records scope and expiry." +} diff --git a/research/complex-joint-child-seed0d762/VERIFY.json b/research/complex-joint-child-seed0d762/VERIFY.json new file mode 100644 index 0000000000..76b64ae823 --- /dev/null +++ b/research/complex-joint-child-seed0d762/VERIFY.json @@ -0,0 +1,32 @@ +{ + "schema_version": 1, + "status": "ready", + "python": "3.12", + "requirements": [], + "commands": [ + { + "argv": [ + "{python}", + "-B", + "research/complex-joint-child-seed0d762/verify.py" + ], + "timeout_seconds": 180, + "checks": "Replays the pinned source word, all 753 joint quotient interfaces and exact shear inverses; recomputes profile/rank mass/fixed-word ceilings; requires four negative controls to fail.; bounds extra rank-one overhead to 11 per call at the 5 percent threshold." + } + ], + "inputs": [ + "research/complex-local-word-ceiling/ceiling.py", + "research/r480-owner-optimum/inputs/local/FULL-WORD.json.gz", + "research/complex-joint-child-seed0d762/PAIR-RECIPE.json", + "research/complex-joint-child-seed0d762/build.py", + "research/complex-joint-child-seed0d762/verify.py", + "research/complex-joint-child-seed0d762/RESULT.json", + "research/complex-joint-child-seed0d762/README.md", + "research/complex-joint-child-seed0d762/TASK.json", + "research/complex-joint-child-seed0d762/CLAIM.md", + "research/complex-joint-child-seed0d762/OVERLAP.json", + "research/complex-joint-child-seed0d762/SOURCES.json", + "research/gauge44-slots/construction/slots/SLOT-PINS-k8.json", + "research/complex-joint-child-seed0d762/LICENSE" + ] +} diff --git a/research/complex-joint-child-seed0d762/build.py b/research/complex-joint-child-seed0d762/build.py new file mode 100644 index 0000000000..148f800850 --- /dev/null +++ b/research/complex-joint-child-seed0d762/build.py @@ -0,0 +1,208 @@ +#!/usr/bin/env python3 +# SPDX-License-Identifier: Apache-2.0 +"""Build a candidate joint rank-two child-boundary recipe for one pinned word.""" +import gzip +import hashlib +import json +from collections import Counter +from fractions import Fraction as Q +from pathlib import Path + +ROOT = Path(__file__).resolve().parents[2] +PKG = Path(__file__).resolve().parent +WORD = ROOT / "research/r480-owner-optimum/inputs/local/FULL-WORD.json.gz" +SELECTED_WORD_PIN = ROOT / "research/gauge44-slots/construction/slots/SLOT-PINS-k8.json" +WORD_SHA = "c2b294300760e1fd6eeab8c22c4d13e4633dca40e52cac8da0d68163a76e3ca8" +BASE = {1: 2412, 2: 418, 3: 432, 4: 142, 5: 82, 8: 8} + + +def span(vectors): + pivots = {} + for value in vectors: + x = value + for pivot in sorted(pivots, reverse=True): + if (x >> pivot) & 1: + x ^= pivots[pivot] + if x: + pivot = x.bit_length() - 1 + for k in tuple(pivots): + if (pivots[k] >> pivot) & 1: + pivots[k] ^= x + pivots[pivot] = x + return tuple(pivots[k] for k in sorted(pivots, reverse=True)) + + +def complement(old, new): + assert span(list(old) + list(new)) == new and len(new) == len(old) + 1 + for vector in new: + if len(span(list(old) + [vector])) == len(old) + 1: + return vector + raise AssertionError("codimension-one frame has no complement") + + +def role(register, v): + if register < v: + return "input" + if register < 2 * v: + return "target" + return "helper" + + +def regs(operation): + return [operation[1]] + ([operation[2]] if operation[0] == "add" else []) + + +def gate_pair(stage, section, index, operation, old_frames, new_frame, v, cleanup_index=None): + assert operation[0] == "add" and len(old_frames) == 2 + coeff = Q(operation[3], operation[4]) + assert coeff != 0 + return { + "stage": stage, + "section": section, + "index": index, + "cleanup_index": cleanup_index, + "registers": [operation[1], operation[2]], + "coefficient": str(coeff), + "quotient_vectors": [complement(old, new_frame) for old in old_frames], + "rank": 2, + } + + +def terminal_pair(left, right, v): + return { + "stage": "terminal", + "section": "final", + "index": None, + "cleanup_index": None, + "registers": [left[0], right[0]], + "coefficient": None, + "quotient_vectors": [complement(old, new) for _, old, new in (left, right)], + "rank": 2, + } + + +def build(): + raw = gzip.decompress(WORD.read_bytes()) + digest = hashlib.sha256(raw).hexdigest() + assert digest == WORD_SHA, (digest, WORD_SHA) + assert json.loads(SELECTED_WORD_PIN.read_text())["word_sha256"] == digest + word = json.loads(raw) + v, helpers = word["report"]["v"], word["report"]["R"] + n = 2 * v + helpers + assert word["report"]["m"] == 73 and word["report"]["h"] == 9 + assert {int(r): c for r, c in word["report"]["local_profile"].items()} == BASE + + current = [() for _ in range(n)] + for i, port in enumerate(word["ports"]): + current[i] = span([port]) + for r, frame in word.get("start_extra", {}).items(): + current[int(r)] = span(frame) + local_profile = Counter() + pairs = [] + + for section in ("A", "B"): + for index, operation in enumerate(word[section]): + target = span(operation[-1]) + touched = regs(operation) + old = [current[r] for r in touched] + deltas = [len(target) - len(frame) for frame in old] + assert all(span(list(frame) + list(target)) == target for frame in old) + for delta in deltas: + if delta: + local_profile[delta] += 1 + if len(touched) == 2 and deltas == [1, 1]: + pairs.append(gate_pair("gate", section, index, operation, old, target, v)) + for r in touched: + current[r] = target + + for schedule_index, (cleanup_index, frame) in enumerate(word.get("early_cleanup", [])): + operation = word["cleanup"][cleanup_index] + target = span(frame) + touched = regs(operation) + old = [current[r] for r in touched] + deltas = [len(target) - len(x) for x in old] + assert all(span(list(x) + list(target)) == target for x in old) + for delta in deltas: + if delta: + local_profile[delta] += 1 + if len(touched) == 2 and deltas == [1, 1]: + pairs.append(gate_pair("early-cleanup", "cleanup", schedule_index, operation, old, target, v, + cleanup_index)) + for r in touched: + current[r] = target + + full = span([1 << i for i in range(9)]) + finals = {int(r): span(frame) for r, frame in word.get("helper_final", {}).items()} + terminal = [] + for r in range(n): + if v <= r < 2 * v: + target = span([x for x in range(1, 512) if (x & word["ports"][r - v]).bit_count() % 2 == 0]) + else: + target = finals.get(r, full) + old = current[r] + assert span(list(old) + list(target)) == target + delta = len(target) - len(old) + if delta: + local_profile[delta] += 1 + if delta == 1: + terminal.append((r, old, target)) + current[r] = target + + local_profile.update(Counter(word["report"]["centre_ranks"])) + assert dict(sorted(local_profile.items())) == BASE + assert len(terminal) == 326 and [x[0] for x in terminal] == sorted(x[0] for x in terminal) + assert len(terminal) % 2 == 0 + for i in range(0, len(terminal), 2): + pairs.append(terminal_pair(terminal[i], terminal[i + 1], v)) + + paired = len(pairs) + profile_after = dict(BASE) + profile_after[1] -= 2 * paired + profile_after[2] += paired + assert profile_after == {1: 906, 2: 1171, 3: 432, 4: 142, 5: 82, 8: 8} + assert sum(r * c for r, c in profile_after.items()) == sum(r * c for r, c in BASE.items()) == 5586 + keys = {(p["stage"], p["section"], tuple(p["registers"]) if p["stage"] == "terminal" else p["index"]) + for p in pairs} + assert len(keys) == paired + + return { + "schema_version": 1, + "source": { + "path": "research/r480-owner-optimum/inputs/local/FULL-WORD.json.gz", + "decompressed_sha256": digest, + }, + "model": {"m": 73, "stages": 9, "families": 896, "centre": 64, "idle_rank_cap": 51}, + "pairing_rule": "pair two codimension-one gate participants at each shared target frame; pair all codimension-one early-cleanup gate participants at their scheduled frame; pair terminal codimension-one register transitions in increasing register order", + "counts": { + "gate_pairs": sum(p["stage"] == "gate" for p in pairs), + "early_cleanup_pairs": sum(p["stage"] == "early-cleanup" for p in pairs), + "terminal_pairs": sum(p["stage"] == "terminal" for p in pairs), + "total_rank_two_children": paired, + "a_gate_count": len(word["A"]), + "b_gate_count": len(word["B"]), + "source_gate_count": len(word["A"]) + len(word["B"]), + "scheduled_early_cleanup_entries": len(word.get("early_cleanup", [])), + "terminal_rank_one_transitions": len(terminal), + }, + "profile_before": {str(k): v for k, v in sorted(BASE.items())}, + "profile_after_ideal_joint_interfaces": {str(k): v for k, v in sorted(profile_after.items())}, + "rank_mass_before_and_after": 5586, + "pairs": pairs, + "charge_ledger": { + "native_scalar_gates_added": 0, + "frame_edits": 0, + "additional_source_copies_assumed": 0, + "additional_restoration_gates_assumed": 0, + "additional_precision_cost_assumed": 0, + "recursive_profile_change": "753 pairs of rank-1 children are replaced by 753 rank-2 joint-interface children", + "unpriced_obligation": "prove and physically host the new joint rank-two child boundary, including source access, copies, restoration, phase/precision transfer, and complete-call ownership", + }, + "scope": "Conditional local cost-interface mechanism only; no supplier admission, global assembly, or new kappa.", + } + + +if __name__ == "__main__": + result = build() + output = PKG / "PAIR-RECIPE.json" + output.write_text(json.dumps(result, sort_keys=True, indent=2) + "\n") + print("PASS_BUILD_JOINT_CHILD_RECIPE", result["counts"], hashlib.sha256(output.read_bytes()).hexdigest()) diff --git a/research/complex-joint-child-seed0d762/verify.py b/research/complex-joint-child-seed0d762/verify.py new file mode 100644 index 0000000000..906493c361 --- /dev/null +++ b/research/complex-joint-child-seed0d762/verify.py @@ -0,0 +1,298 @@ +#!/usr/bin/env python3 +# SPDX-License-Identifier: Apache-2.0 +"""Independent exact replay of the tagged two-register child-boundary recipe.""" +import copy +import gzip +import hashlib +import json +import sys +from collections import Counter +from fractions import Fraction as Q +from pathlib import Path + +ROOT = Path(__file__).resolve().parents[2] +PKG = Path(__file__).resolve().parent +WORD_PATH = ROOT / "research/r480-owner-optimum/inputs/local/FULL-WORD.json.gz" +SELECTED_WORD_PIN = ROOT / "research/gauge44-slots/construction/slots/SLOT-PINS-k8.json" +WORD_SHA = "c2b294300760e1fd6eeab8c22c4d13e4633dca40e52cac8da0d68163a76e3ca8" +EXPECTED_PROFILE = {1: 2412, 2: 418, 3: 432, 4: 142, 5: 82, 8: 8} + + +def require(condition, message): + if not condition: + raise ValueError(message) + + +def space(vectors): + """Enumerate the exact F2 span; dimension is log2 of its cardinality.""" + values = {0} + for vector in vectors: + values |= {x ^ vector for x in tuple(values)} + return frozenset(values) + + +def dimension(vectors): + size = len(space(vectors)) + require(size > 0 and size & (size - 1) == 0, "span cardinality is not a power of two") + return size.bit_length() - 1 + + +def as_int_frames(items): + return [int(x) for x in items] + + +def regs(operation): + return [int(operation[1])] + ([int(operation[2])] if operation[0] == "add" else []) + + +def get_role(r, v): + return "input" if r < v else "target" if r < 2 * v else "helper" + + +def member_record(r, before, after, v): + return {"register": r, "role": get_role(r, v), "from": list(before), "to": list(after)} + + +def compute_expected(word): + v, helper_count = int(word["report"]["v"]), int(word["report"]["R"]) + register_count = 2 * v + helper_count + current = [space([]) for _ in range(register_count)] + for i, port in enumerate(word["ports"]): + current[i] = space([int(port)]) + for register, frame in word.get("start_extra", {}).items(): + current[int(register)] = space(as_int_frames(frame)) + + profile = Counter() + pairs = [] + + def run_gate(stage, section, index, operation, target, cleanup_index=None): + target_space = space(target) + touched = regs(operation) + prior = [current[r] for r in touched] + for old in prior: + require(old <= target_space, f"nonmonotone frame at {section}:{index}") + deltas = [len(target_space).bit_length() - 1 - (len(old).bit_length() - 1) for old in prior] + for delta in deltas: + if delta: + profile[delta] += 1 + if len(touched) == 2 and deltas == [1, 1]: + pairs.append({ + "stage": stage, "section": section, "index": index, + "cleanup_index": cleanup_index, "registers": touched, + "operation": list(operation[:-1]), "target_space": target_space, + "prior_spaces": prior, + }) + for r in touched: + current[r] = target_space + + for section in ("A", "B"): + for index, operation in enumerate(word[section]): + run_gate("gate", section, index, operation, as_int_frames(operation[-1])) + + for schedule_index, (cleanup_index, frame) in enumerate(word.get("early_cleanup", [])): + operation = word["cleanup"][cleanup_index] + run_gate("early-cleanup", "cleanup", schedule_index, operation, as_int_frames(frame), cleanup_index) + + full = space([1 << i for i in range(9)]) + finals = {int(r): space(as_int_frames(frame)) for r, frame in word.get("helper_final", {}).items()} + terminal = [] + for r in range(register_count): + if v <= r < 2 * v: + target = space([x for x in range(1, 512) if ((x & int(word["ports"][r - v])).bit_count() % 2) == 0]) + else: + target = finals.get(r, full) + old = current[r] + require(old <= target, f"nonmonotone terminal frame at register {r}") + delta = len(target).bit_length() - 1 - (len(old).bit_length() - 1) + if delta: + profile[delta] += 1 + if delta == 1: + terminal.append((r, old, target)) + current[r] = target + + profile.update(int(x) for x in word["report"]["centre_ranks"]) + require(dict(sorted(profile.items())) == EXPECTED_PROFILE, + "source word profile did not replay: " + repr(dict(sorted(profile.items())))) + require(len(terminal) == 326 and len(terminal) % 2 == 0, "terminal rank-one set changed") + for i in range(0, len(terminal), 2): + left, right = terminal[i], terminal[i + 1] + pairs.append({ + "stage": "terminal", "section": "final", "index": None, "cleanup_index": None, + "registers": [left[0], right[0]], "operation": None, "target_space": None, + "prior_spaces": [left[1], right[1]], "final_spaces": [left[2], right[2]], + }) + return profile, pairs + + +def key(pair): + return pair["stage"], pair["section"], pair["index"], tuple(pair["registers"]) + + +def validate(recipe, raw, word): + require(hashlib.sha256(raw).hexdigest() == WORD_SHA, "pinned word content hash") + selected_pin = json.loads(SELECTED_WORD_PIN.read_text()) + require(selected_pin["word_sha256"] == WORD_SHA, "selected slot output does not pin the same word") + require(recipe["source"]["decompressed_sha256"] == WORD_SHA, "recipe word pin") + require(recipe["model"] == {"m": 73, "stages": 9, "families": 896, "centre": 64, "idle_rank_cap": 51}, + "model pin") + profile, wanted = compute_expected(word) + wanted_keys = [key(p) for p in wanted] + got = recipe["pairs"] + require([key(p) for p in got] == wanted_keys, "pair list is not the deterministic complete pairing") + + for pair, expected in zip(got, wanted): + require(pair["rank"] == 2 and len(pair["quotient_vectors"]) == 2, "joint rank must be two") + require(pair["registers"] == expected["registers"], "member register order") + for vector, register, before, after in zip( + pair["quotient_vectors"], expected["registers"], expected["prior_spaces"], + expected.get("final_spaces", [expected.get("target_space")] * 2)): + require(dimension(after) - dimension(before) == 1, "each member must be codimension one") + vector = int(vector) + require(vector in after and vector not in before, "quotient vector must add the one missing direction") + + if pair["stage"] == "terminal": + matrix = [[1, 0], [0, 1]] + require(pair["coefficient"] is None and pair["cleanup_index"] is None, "terminal metadata") + else: + target = expected["target_space"] + require(pair["cleanup_index"] == expected["cleanup_index"], "cleanup index") + coeff = Q(int(expected["operation"][3]), int(expected["operation"][4])) + require(pair["coefficient"] == str(coeff), "gate coefficient") + matrix = [[1, coeff], [0, 1]] + require(all(before <= target for before in expected["prior_spaces"]), + "gate shear input lanes must fit the common target") + inverse = [[matrix[0][0], -matrix[0][1]], [0, 1]] + product = [ + [sum(matrix[i][k] * inverse[k][j] for k in range(2)) for j in range(2)] + for i in range(2) + ] + require(product == [[1, 0], [0, 1]], "joint map inverse") + + counts = recipe["counts"] + require(counts == { + "gate_pairs": 574, + "early_cleanup_pairs": 16, + "terminal_pairs": 163, + "total_rank_two_children": 753, + "a_gate_count": len(word["A"]), + "b_gate_count": len(word["B"]), + "source_gate_count": len(word["A"]) + len(word["B"]), + "scheduled_early_cleanup_entries": len(word.get("early_cleanup", [])), + "terminal_rank_one_transitions": 326, + }, "pair-count receipt") + before = {int(r): int(n) for r, n in recipe["profile_before"].items()} + after = {int(r): int(n) for r, n in recipe["profile_after_ideal_joint_interfaces"].items()} + require(before == EXPECTED_PROFILE == dict(profile), "before profile") + expected_after = Counter(before) + expected_after[1] -= 2 * counts["total_rank_two_children"] + expected_after[2] += counts["total_rank_two_children"] + require(dict(sorted(after.items())) == dict(sorted(expected_after.items())), "virtual profile change") + require(sum(r * n for r, n in before.items()) == sum(r * n for r, n in after.items()) == 5586, + "rank mass changed") + require(recipe["rank_mass_before_and_after"] == 5586, "rank-mass receipt") + return after + + +def screen(after): + sys.path.insert(0, str(ROOT / "research/complex-local-word-ceiling")) + import ceiling + base = {1: 2412, 2: 418, 3: 432, 4: 142, 5: 82, 8: 8} + grid = Q(1, 10**12) + base_lo, base_hi = ceiling.ceiling(base, 73, 896, 9, 64, grid=grid) + cand_lo, cand_hi = ceiling.ceiling(after, 73, 896, 9, 64, grid=grid) + gain_floor = cand_lo / base_hi - 1 + target_moment = ceiling.relax(after, 73, 896, 9, 64, Q(1, 99)) + kappa_cap = cand_hi / (1 + cand_hi) + five_percent_point = base_hi * Q(105, 100) + moment_at_five_percent = ceiling.relax(after, 73, 896, 9, 64, five_percent_point) + W = Q(896, 9) + rank_one = ceiling.child_cost(1, 73, five_percent_point) + idle_unit = ceiling.child_cost(51, 73, five_percent_point) + extra_rank_one_lo = (rank_one[0] - idle_unit[1] / 51) / W + extra_rank_one_hi = (rank_one[1] - idle_unit[0] / 51) / W + headroom_lo = 1 - moment_at_five_percent[1] + headroom_hi = 1 - moment_at_five_percent[0] + safe_extra_rank_ones = int(headroom_lo // extra_rank_one_hi) + possible_extra_rank_ones = int(headroom_hi // extra_rank_one_lo) + require(gain_floor > Q(5, 100), "ideal ceiling improvement did not clear 5 percent") + require(target_moment[0] > 1, "target 1/99 unexpectedly passes the relaxation") + require(safe_extra_rank_ones == possible_extra_rank_ones == 11, + "overhead headroom at the 5 percent threshold changed") + return { + "grid": str(grid), + "baseline_a_ceiling": [str(base_lo), str(base_hi)], + "joint_profile_a_ceiling": [str(cand_lo), str(cand_hi)], + "guaranteed_relative_ceiling_gain": str(gain_floor), + "guaranteed_relative_ceiling_gain_decimal": f"{float(gain_floor) * 100:.9f}%", + "joint_profile_kappa_cap_from_complex_side_only": str(kappa_cap), + "relaxation_at_a_equals_1_over_99": [str(x) for x in target_moment], + "a_at_guaranteed_5_percent_gain": str(five_percent_point), + "relaxation_at_5_percent_threshold": [str(x) for x in moment_at_five_percent], + "extra_rank_one_cost_per_call_vs_rank_51_idle_mass": [str(extra_rank_one_lo), str(extra_rank_one_hi)], + "headroom_per_call_at_5_percent_threshold": [str(headroom_lo), str(headroom_hi)], + "maximum_extra_rank_one_children_per_call_while_retaining_5_percent": safe_extra_rank_ones, + } + + +def main(): + raw = gzip.decompress(WORD_PATH.read_bytes()) + word = json.loads(raw) + recipe = json.loads((PKG / "PAIR-RECIPE.json").read_text()) + after = validate(recipe, raw, word) + costs = screen(after) + + # Semantic negative controls: missing, duplicated, and corrupted interface evidence must fail. + controls = [] + for name, mutate in ( + ("missing_pair", lambda r: r["pairs"].pop()), + ("duplicate_pair", lambda r: r["pairs"].__setitem__(-1, copy.deepcopy(r["pairs"][0]))), + ("changed_gate_map", lambda r: r["pairs"][0].__setitem__("coefficient", 999)), + ("bad_quotient_vector", lambda r: r["pairs"][0]["quotient_vectors"].__setitem__(0, 0)), + ): + bad = copy.deepcopy(recipe) + mutate(bad) + try: + validate(bad, raw, word) + except (AssertionError, ValueError, KeyError, IndexError): + controls.append(name) + else: + raise AssertionError("negative control accepted: " + name) + + from collections import defaultdict + role_pairs = defaultdict(Counter) + for pair in recipe["pairs"]: + role_pairs[pair["stage"]]["/".join(get_role(r, word["report"]["v"]) for r in pair["registers"])] += 1 + report = { + "status": "PASS_JOINT_CHILD_INTERFACE_CANDIDATE", + "scope": "Exact tagged direct-sum frame transitions on one selected local word; supplier admission, physical hosting, and global assembly are unproved.", + "source_word_sha256": WORD_SHA, + "pair_counts": recipe["counts"], + "pair_role_counts": {stage: dict(sorted(counts.items())) for stage, counts in sorted(role_pairs.items())}, + "profile_before": recipe["profile_before"], + "profile_after_ideal_joint_interfaces": recipe["profile_after_ideal_joint_interfaces"], + "rank_mass": 5586, + "cost_screen": costs, + "positive_evidence": [ + "all 753 tagged rank-two quotient interfaces have exact dimension two", + "each gate-pair map is an invertible integer shear and both frame lanes remain in the shared target", + "terminal pairs are exact direct sums of two independent codimension-one boundaries", + "the native word and frames are unchanged; only the recursive-call grouping changes", + ], + "negative_controls_rejected": controls, + "unpriced_obligations": recipe["charge_ledger"]["unpriced_obligation"], + "no_new_kappa_claimed": True, + } + encoded = json.dumps(report, sort_keys=True, indent=2) + "\n" + result_path = PKG / "RESULT.json" + if "--write" in sys.argv[1:]: + result_path.write_text(encoded) + else: + require(result_path.exists(), "RESULT.json missing; run verify.py --write after reviewing this report") + require(json.loads(result_path.read_text()) == report, "RESULT.json differs from exact replay") + print("PASS_JOINT_CHILD_INTERFACE_CANDIDATE pairs=753 gain=" + costs["guaranteed_relative_ceiling_gain_decimal"]) + print("PASS_NEGATIVE_CONTROLS " + ",".join(controls)) + print("LIMIT no supplier admission, physical cost, global assembly, or new kappa") + + +if __name__ == "__main__": + main() From 811a8e715b6b888c94f0d9da810541a4639c1ff9 Mon Sep 17 00:00:00 2001 From: Cinna Davis <1337isnot1337@users.noreply.github.com> Date: Wed, 14 Oct 2026 04:12:53 -0500 Subject: [PATCH 2/7] Record joint child handoff links --- research/complex-joint-child-seed0d762/CLAIM.md | 2 +- research/complex-joint-child-seed0d762/README.md | 4 ++++ research/complex-joint-child-seed0d762/TASK.json | 4 +++- 3 files changed, 8 insertions(+), 2 deletions(-) diff --git a/research/complex-joint-child-seed0d762/CLAIM.md b/research/complex-joint-child-seed0d762/CLAIM.md index ae65672c4f..e51ea2e22f 100644 --- a/research/complex-joint-child-seed0d762/CLAIM.md +++ b/research/complex-joint-child-seed0d762/CLAIM.md @@ -26,4 +26,4 @@ Deliver a deterministic joint-boundary recipe; independently recompute every fra ## Current result -The exact source replay produced 574 shared-gate pairs, 16 early-cleanup pairs, and 163 terminal pairs. The ideal profile clears the fixed-word 5% screen by a guaranteed 5.241623654%, but the exact overhead budget at the threshold permits at most 11 additional rank-one children per local call. The candidate still fails `a=1/99`; no new κ is established. Exact interface admission, copies, hosting, restoration, and phase/precision transfer remain open. The initial claim stayed local during the API rate limit. A handoff update will link the review PR after submission. +The exact source replay produced 574 shared-gate pairs, 16 early-cleanup pairs, and 163 terminal pairs. The ideal profile clears the fixed-word 5% screen by a guaranteed 5.241623654%, but the exact overhead budget at the threshold permits at most 11 additional rank-one children per local call. The candidate still fails `a=1/99`; no new κ is established. Exact interface admission, copies, hosting, restoration, and phase/precision transfer remain open. The initial claim stayed local during the API rate limit. The handoff is now posted at [Discussion #1765](https://github.com/CrocSwap/integer-mult-bounds/discussions/1765), linking draft [PR #1764](https://github.com/CrocSwap/integer-mult-bounds/pull/1764). diff --git a/research/complex-joint-child-seed0d762/README.md b/research/complex-joint-child-seed0d762/README.md index e70fd494b6..516d771159 100644 --- a/research/complex-joint-child-seed0d762/README.md +++ b/research/complex-joint-child-seed0d762/README.md @@ -78,6 +78,10 @@ The recipe pins the decompressed source word SHA256 `c2b294300760e1fd6eeab8c22c4 In this worktree, direct replay passed under Python 3.14.7 both normally and with `-I -O`. Python 3.12 is not installed locally, so the registered `research_package.py --package` mathematical replay was not run here. `--check-only` passed its metadata and source-pin checks; it is not a mathematical acceptance check. +## Review status + +Draft review is at [PR #1764](https://github.com/CrocSwap/integer-mult-bounds/pull/1764); the result handoff is [Discussion #1765](https://github.com/CrocSwap/integer-mult-bounds/discussions/1765). The draft status reflects the unproved physical `J2` supplier and its overheads. + ## Scope and predecessors The selected word comes from `research/gauge44-slots` and is the word selected by the current result. Earlier frame coalescing changes the dimension jump within one register. This mechanism instead joins quotient calls across two register lanes at a shared gate or a common terminal boundary. It leaves the source frames, scalar word, fixed coverage identity, and owner map unchanged. The frozen provider mixture bound in `research/heterogeneous-owner-assembly` does not include this joint boundary contract. PR #1348 changes coverage thresholds, which is also a different mechanism. diff --git a/research/complex-joint-child-seed0d762/TASK.json b/research/complex-joint-child-seed0d762/TASK.json index 7eb565cc79..839dd843b3 100644 --- a/research/complex-joint-child-seed0d762/TASK.json +++ b/research/complex-joint-child-seed0d762/TASK.json @@ -85,5 +85,7 @@ "pagination_complete": true, "warnings": [] }, - "discussion_claim": "Not posted: GitHub Discussions GraphQL API rate limit; local CLAIM.md records scope and expiry." + "discussion_claim": "HANDOFF posted: https://github.com/CrocSwap/integer-mult-bounds/discussions/1765", + "pr_url": "https://github.com/CrocSwap/integer-mult-bounds/pull/1764", + "pr_status": "draft; conditional local mechanism candidate, no new kappa" } From fbb501bf8cf8fa2a012e55483aea7b9efb9dbacc Mon Sep 17 00:00:00 2001 From: 1337isnot1337 <164028474+1337isnot1337@users.noreply.github.com> Date: Wed, 21 Oct 2026 23:26:48 +0000 Subject: [PATCH 3/7] 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 4d891fc090171a7b0e27e70bbd2a37dd60ee239d Mon Sep 17 00:00:00 2001 From: 1337isnot1337 <164028474+1337isnot1337@users.noreply.github.com> Date: Wed, 21 Oct 2026 23:26:49 +0000 Subject: [PATCH 4/7] 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 2dcfba50a71de797b2f6c130f335cc40c40e25c8 Mon Sep 17 00:00:00 2001 From: 1337isnot1337 <164028474+1337isnot1337@users.noreply.github.com> Date: Wed, 21 Oct 2026 23:26:52 +0000 Subject: [PATCH 5/7] 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..2c342f4c23 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:4d891fc090171a7b0e27e70bbd2a37dd60ee239d:docs/research/current-status.md" }, { "path": "certificates/selected-result.json", "usage": "input", - "git_blob": "b1fea0c94436b236cc2b7d41a7be032811b94c81", - "sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" + "git_blob": "ed33caef5c5827693e9572d252a66f99cbb73d40", + "sha256": "5732707cc1e460b090b53f2463162749ad860de878a18f7408938671d295a9d9", + "pin": "head:4d891fc090171a7b0e27e70bbd2a37dd60ee239d: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:4d891fc090171a7b0e27e70bbd2a37dd60ee239d: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..117d8f68aa 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:4d891fc090171a7b0e27e70bbd2a37dd60ee239d:docs/research/current-status.md" }, { "path": "tests/test_research_current_status.py", From 92a6b7fef74a7f1e3efb911a366ce32e2d026397 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 6/7] 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 eb2f90ee1d2b030618ae1de6860bf820c80a04ee 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 7/7] 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'), }