diff --git a/research/bit589-shared-register-triple-seed05/LICENSE b/research/bit589-shared-register-triple-seed05/LICENSE new file mode 100644 index 0000000000..261eeb9e9f --- /dev/null +++ b/research/bit589-shared-register-triple-seed05/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/bit589-shared-register-triple-seed05/PROOF.md b/research/bit589-shared-register-triple-seed05/PROOF.md new file mode 100644 index 0000000000..5df29434e5 --- /dev/null +++ b/research/bit589-shared-register-triple-seed05/PROOF.md @@ -0,0 +1,87 @@ +# Exact finite census on a fixed single-move-option product + +## Claim and scope + +For the seed-selected A-section triple `(927, 928, 930)` in the pinned +PR589 `v=111`, `R=439` word, let `D_i` denote the frozen `(slot, frame)` +choices certified for moving operation `i` **individually** by the PR1345 +atlas on the unchanged word. Every tuple in `D_927 x D_928 x D_930`, +under the verifier's specified deterministic reinsertion, either fails the +full chain-nesting replay, preserves the paid profile, or strictly raises +its exact moment cost. There are no improvements or unresolved tuples in +**this fixed product**. No completeness for jointly enabled frames or +commutation-dependent placements is asserted. + +## Fixed inputs + +`SOURCES.json` pins the selected-result record, review, assembly, selected word +bytes, bit-cost record and moment-cost implementation to base commit +`bce54fb3f895cbe5cd4c0eb477c3afeed100190f`. It separately pins the exact +PR1345 atlas source and the relevant predecessor heads. `verify.py` checks both +Git blob IDs and SHA-256 hashes before using these inputs. It also checks that +the selected certificate still names +`836330098538459/500000000000000000` and that PR589's bit saving is exactly +`1733427039589844234749/1000000000000000000000000`. + +The vendored atlas is loaded only through the definitions needed for legal +options and exact scoring. The verifier stops before executing PR1345's own +single/pair census, so this package independently applies those definitions to +the new triple. + +## Domain construction + +Let each A operation's legal options be its exact `(slot, frame)` pairs from +the pinned atlas. Form the graph on movable A operations, joining operations +whose source/target register sets intersect. Keep components whose product of +individual option counts exceeds 200,000. Within that large component, collect +same-register triples with option-product at most 5,000 and with more than one +distinct legal frame for each member. Sort by `(option product, operation +indices)`. This gives 200 tuples; seed `5 mod 200` selects index 5, +`(927, 928, 930)`. + +The selected operations all write register 325 at frame 282, from sources +256, 442 and 392. Their frozen **single-move** option lists contain 7, 6 +and 5 entries, so the Cartesian product has exactly 210 tuples. This is +complete enumeration of the specified product, not a proof that the product +contains every globally legal triple placement. In particular, the atlas +single-move lists need not include choices enabled only after another move, +and alternative commutations/reinsertions are outside this finite model. +No random sampling is used within the selected product. + +## Classification and pricing + +For each Cartesian-product tuple, the verifier reinserts the three selected +A operations according to the fixed key `(slot - 0.5, original_index)`, +while all other A operations retain their original index order; the C section +is then rebuilt. The pinned PR1345 chain scorer checks nesting for precisely +this joint reconstruction. If it returns no score, the reconstructed word +is also replayed and required to fail the full map check. Otherwise, the +candidate preserves the selected gates and operands, and the exact paid +profile is computed by replaying all 661 registers. This reconstruction +does not enumerate other commutation schedules with potentially different +legal frame options. + +It then prices the profile difference against the original using the pinned +rank-cost intervals. The independently aggregated profile interval must be +contained in the full-chain scorer's interval. Equal profiles have exact zero +direct delta. For changed profiles, the reported interval is strictly positive; +all 64 such assignments have the same changed profile. This establishes a +negative result only over the 210 assignments in the stated finite domain. + +The full census is: 46 nesting-incompatible assignments, 100 valid assignments +with the baseline profile, and 64 valid assignments with a strictly higher +profile cost. There are zero improvements and zero unresolved assignments. + +## Controls and limitations + +The replay checks an all-home identity, rejects a changed source operand, and +rejects a word with the selected A ADD omitted. These controls check the input +identity and coverage paths used by this finite verifier; they do not turn the +census into a formal proof of all PR589 transports. + +Jointly enabled placements not present in the fixed single-move option +lists, alternative admissible gate commutations/reinsertions, other triples, +four-way changes, cross-section triples, structural changes, and other +supplier words remain open. No optimum theorem, +new supplier admission, or new `kappa` is claimed. Inherited PR589/compiler, +realization, hosting, precision/tape, and analytic assumptions are unchanged. diff --git a/research/bit589-shared-register-triple-seed05/README.md b/research/bit589-shared-register-triple-seed05/README.md new file mode 100644 index 0000000000..4b56748612 --- /dev/null +++ b/research/bit589-shared-register-triple-seed05/README.md @@ -0,0 +1,126 @@ +# Fixed-option A-triple census on PR589's selected bit word + +**Scoped negative result; no new κ.** This certificate exhausts the +**Cartesian product of three frozen individually legal PR1345 single-move +option lists** for one seed-selected A-section triple in the merged PR589 +R439 word. It does **not** enumerate every jointly enabled frame or +commutation-dependent triple placement. It adds a fixed-option third-order +case beyond the single-transport and pair censuses in PR #1345. + +## Result + +The selected operations are A-operation indices 927, 928 and 930. They all +write register 325 at frame 282, from sources 256, 442 and 392. Let `D_i` +be the fixed `(slot, frame)` option list returned by the pinned PR1345 atlas +when operation `i` is moved individually in the unchanged word. The exact +sizes are `|D_927|=7`, `|D_928|=6`, and `|D_930|=5`. We enumerate the +**entire fixed product** `D_927 x D_928 x D_930`, all 210 tuples. Each is +inserted by the verifier's deterministic move order and tested for joint +chain nesting and full paid replay; this is a completeness claim only for +that enumerated product, not for all conceivable triple moves. + +| Joint outcome | Assignments | Evidence | +|---|---:|---| +| Incompatible full register chain | 46 | Exact frame-nesting score rejects the combined placement; the full word replay also rejects it. | +| Same paid profile | 100 | Full 661-register replay passes; profile equals the original exactly. | +| Strictly higher moment cost | 64 | Full replay passes; every changed profile is `{1:1326, 2:1342, 3:78, 4:44, 5:102, 6:11, 7:19}`. | +| Improvement or unresolved case | 0 | Every assignment **within the fixed 210-tuple product** is classified. | + +The unchanged selected profile is `{1:1323, 2:1342, 3:79, 4:44, 5:102, 6:11, 7:19}`. +The changed profile increases the rank-one count by three and reduces the +rank-three count by one. At PR589's exact bit saving +`1733427039589844234749/10^24`, the exact outward-rational interval for the +moment-cost increase is + +`[89827377253997004816123267, 89827377253997004816123311] / 15625000000000000000000000000` + +(approximately `0.005748952144255809`). The interval is strictly positive. +The exact moment increment for a profile-preserving word is zero. + +The selected assembly remains complex-bound at +`κ = 836330098538459/500000000000000000`. This finite triple census changes no +supplier or exponent. + +## Assignment and overlap + +- Track: Bit supplier; OS-random seed 5; exact base + `bce54fb3f895cbe5cd4c0eb477c3afeed100190f`. +- Selected input: PR589 merged head `a5afc8c6169ea61ba7c51dfd3cade02cc7b13b46`, + tuned word `v=111`, `R=439`, decoder constant 63. +- PR #1345 exhausts all legal single transports and same-section shared-register + pairs. Its README explicitly leaves triples and larger shared-register sets + open. PR #1382 covers A/B cross-section pairs and explicitly leaves triples + open. This package evaluates one distinct same-section triple from the large + A component. +- The screen also checked an eight-total decoder reduction against PR #1084 and + the PR #968/#1077 decoder-floor lineage, and the active helper-468 later-cut + claim in Discussion #1362. Those scopes were not repeated. +- The first seed-indexed triple had only slot choices at its original frames and + could not alter the paid profile. One bounded pivot restricted the candidate + pool to frame-sensitive triples. The resulting pool contains 200 tuples, + ordered by `(option product, operation index triple)`; seed `5 mod 200` selects + index 5, `(927,928,930)`. +- Exact source Git blobs and SHA256 pins are in `SOURCES.json`; PR #1345's exact + atlas source is vendored under `vendor/pr1345/`. + +## Reproduce + +From the repository root, with Python 3.11 or later and the standard library: + +```sh +python3 -I -B research/bit589-shared-register-triple-seed05/verify.py +``` + +Expected output: + +```text +PASS_PR589_A_TRIPLE_TRANSPORT seed=5 ops=927,928,930 assignments=210 valid=164 ties=100 losses=64 incompatible=46 controls=3 no_new_kappa +``` + +The verifier rebuilds the pinned PR1345 **individual single-move** option +lists, checks the seed selection, scores all 210 tuples in their Cartesian +product, and replays every jointly nestable reconstructed word on all 661 +registers. It also checks an all-home identity, a mutated source operand, +and an omitted ADD. It does not generate new options jointly enabled by +moving multiple gates, nor enumerate alternative commutation/reordering +schedules beyond its fixed insertion rule. + +## Limits and credit + +This result covers one triple **only within the frozen product of three +individually legal single-move option lists and the specified insertion +convention** in one A-section component of the fixed PR589 word. Jointly +enabled frame options, commutation-sensitive legal placements, alternative +insertions, and multi-move choices absent from these single-move lists have +**not** been enumerated; the 210-tuple result cannot rule out improvements +among them. It also does not exclude a different triple, four or more +simultaneous transports, A/B cross-section triples, gate-order changes, +structural rewrites, or a different bit circuit. The bit supplier's inherited H1-H5, compiler, +realization, hosting, precision/tape and analytic assumptions remain. The +finite census is not an optimality theorem for PR589 or a proof of the full +multiplication theorem. + +## Open next questions + +- **Question:** Does any other frame-sensitive triple of A operations sharing + a register lower PR589's paid profile? **Why it matters:** This census covers + one seed-selected tuple and cannot decide whether the triple move class has + a useful profile change elsewhere. **First step:** apply the same exact + chain-compatibility and full 661-register replay to the remaining eligible + triples in the pinned PR1345 atlas, with an explicit bounded search budget. + **Blocked by:** the joint option product and candidate count grow quickly; + each surviving assignment still needs an exact paid replay. +- **Question:** Can a useful result compose triples that share an operation or + use different target registers? **Why it matters:** Such interactions are + outside both this fixed tuple and PR #1345's pair census. **First step:** + define a disjoint or shared-operation move family and price its complete + joint domain before enumerating. **Blocked by:** the current exact transport + scorer does not establish that overlapping move combinations preserve the + required gate multiset and full-chain nesting. + +Credit DreamingOfClouds / PR589 for the selected bit word and the retained PR555 +construction; credit @hypotures and the PR1345 atlas for the exact transport +domain and cost method; credit @1337isnot1337 / PR1382 for the disjoint +A/B-pair extension. Prepared by Cinna Davis with substantial OpenAI Codex +assistance for task selection, exact enumeration, verification and writing. No +independent human review or subagents are claimed. Apache-2.0. diff --git a/research/bit589-shared-register-triple-seed05/RESULT.json b/research/bit589-shared-register-triple-seed05/RESULT.json new file mode 100644 index 0000000000..86b9f67df8 --- /dev/null +++ b/research/bit589-shared-register-triple-seed05/RESULT.json @@ -0,0 +1,5510 @@ +{ + "status": "PASS_PR589_A_TRIPLE_TRANSPORT_CENSUS", + "base_commit": "bce54fb3f895cbe5cd4c0eb477c3afeed100190f", + "assignment_seed": 5, + "track": "bit supplier", + "selected_kappa_unchanged": "836330098538459/500000000000000000", + "bit_saving_c": "1733427039589844234749/1000000000000000000000000", + "predecessors": { + "pr589": "a5afc8c6169ea61ba7c51dfd3cade02cc7b13b46", + "pr1345": "b54a856aa79857d91cd5d65f8f7144e26c8c084f", + "pr1382": "cf17b06c00c50a22315f210c5f6b5197c860abdd", + "pr1048": "07730cd8302c378607259a9ad0efb73e0b57a2f2", + "pr1084": "ac8bd04538e692efa9c9b16bd79de5a45edcc9a5" + }, + "word_sha256": "e3e301e62bc2b41dbf1ceac0acf3d35824ebeab1848c5a2142d4577b109da52f", + "search_domain": { + "section": "A", + "giant_component_gate_count": 1924, + "eligible_frame_sensitive_triples": 200, + "ordering": "(individual option product, operation index triple)", + "seed_index": 5, + "selected_operations": [ + [ + 282, + 325, + 256 + ], + [ + 282, + 325, + 442 + ], + [ + 282, + 325, + 392 + ] + ], + "shared_register": 325, + "individual_option_domains": [ + [ + [ + 926, + 282 + ], + [ + 926, + 685 + ], + [ + 927, + 282 + ], + [ + 927, + 685 + ], + [ + 929, + 282 + ], + [ + 930, + 282 + ], + [ + 931, + 282 + ] + ], + [ + [ + 927, + 282 + ], + [ + 927, + 686 + ], + [ + 928, + 282 + ], + [ + 930, + 282 + ], + [ + 931, + 282 + ], + [ + 933, + 282 + ] + ], + [ + [ + 927, + 282 + ], + [ + 927, + 688 + ], + [ + 928, + 282 + ], + [ + 929, + 282 + ], + [ + 930, + 282 + ] + ] + ], + "joint_assignments": 210, + "option_source": "fixed PR1345 individually legal single-move option lists on unchanged PR589 word", + "joint_construction": "Cartesian product of frozen option lists, then deterministic reinsertion by (slot - 0.5, original_index) and full-chain replay", + "complete_fixed_option_product_coverage": true, + "all_jointly_enabled_frame_options_covered": false, + "all_alternative_commutation_schedules_covered": false + }, + "summary": { + "joint_chain_invalid": 46, + "profile_tie": 100, + "strict_loss": 64, + "strict_improvement": 0, + "unresolved": 0 + }, + "baseline_paid_profile": { + "1": 1323, + "2": 1342, + "3": 79, + "4": 44, + "5": 102, + "6": 11, + "7": 19 + }, + "changed_paid_profile": { + "1": 1326, + "2": 1342, + "3": 78, + "4": 44, + "5": 102, + "6": 11, + "7": 19 + }, + "profile_class_sha256": { + "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272": { + "1": 1323, + "2": 1342, + "3": 79, + "4": 44, + "5": 102, + "6": 11, + "7": 19 + }, + "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806": { + "1": 1326, + "2": 1342, + "3": 78, + "4": 44, + "5": 102, + "6": 11, + "7": 19 + } + }, + "profile_preserving_price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_worsening_price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "assignment_results": [ + { + "moves": [ + [ + 927, + 926, + 282 + ], + [ + 928, + 927, + 282 + ], + [ + 930, + 927, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 926, + 282 + ], + [ + 928, + 927, + 282 + ], + [ + 930, + 927, + 688 + ] + ], + "classification": "joint_chain_invalid", + "price_interval": null, + "profile_sha256": null, + "full_map_replay": "rejected_by_frame_nesting" + }, + { + "moves": [ + [ + 927, + 926, + 282 + ], + [ + 928, + 927, + 282 + ], + [ + 930, + 928, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 926, + 282 + ], + [ + 928, + 927, + 282 + ], + [ + 930, + 929, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 926, + 282 + ], + [ + 928, + 927, + 282 + ], + [ + 930, + 930, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 926, + 282 + ], + [ + 928, + 927, + 686 + ], + [ + 930, + 927, + 282 + ] + ], + "classification": "joint_chain_invalid", + "price_interval": null, + "profile_sha256": null, + "full_map_replay": "rejected_by_frame_nesting" + }, + { + "moves": [ + [ + 927, + 926, + 282 + ], + [ + 928, + 927, + 686 + ], + [ + 930, + 927, + 688 + ] + ], + "classification": "joint_chain_invalid", + "price_interval": null, + "profile_sha256": null, + "full_map_replay": "rejected_by_frame_nesting" + }, + { + "moves": [ + [ + 927, + 926, + 282 + ], + [ + 928, + 927, + 686 + ], + [ + 930, + 928, + 282 + ] + ], + "classification": "joint_chain_invalid", + "price_interval": null, + "profile_sha256": null, + "full_map_replay": "rejected_by_frame_nesting" + }, + { + "moves": [ + [ + 927, + 926, + 282 + ], + [ + 928, + 927, + 686 + ], + [ + 930, + 929, + 282 + ] + ], + "classification": "joint_chain_invalid", + "price_interval": null, + "profile_sha256": null, + "full_map_replay": "rejected_by_frame_nesting" + }, + { + "moves": [ + [ + 927, + 926, + 282 + ], + [ + 928, + 927, + 686 + ], + [ + 930, + 930, + 282 + ] + ], + "classification": "joint_chain_invalid", + "price_interval": null, + "profile_sha256": null, + "full_map_replay": "rejected_by_frame_nesting" + }, + { + "moves": [ + [ + 927, + 926, + 282 + ], + [ + 928, + 928, + 282 + ], + [ + 930, + 927, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 926, + 282 + ], + [ + 928, + 928, + 282 + ], + [ + 930, + 927, + 688 + ] + ], + "classification": "joint_chain_invalid", + "price_interval": null, + "profile_sha256": null, + "full_map_replay": "rejected_by_frame_nesting" + }, + { + "moves": [ + [ + 927, + 926, + 282 + ], + [ + 928, + 928, + 282 + ], + [ + 930, + 928, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 926, + 282 + ], + [ + 928, + 928, + 282 + ], + [ + 930, + 929, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 926, + 282 + ], + [ + 928, + 928, + 282 + ], + [ + 930, + 930, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 926, + 282 + ], + [ + 928, + 930, + 282 + ], + [ + 930, + 927, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 926, + 282 + ], + [ + 928, + 930, + 282 + ], + [ + 930, + 927, + 688 + ] + ], + "classification": "joint_chain_invalid", + "price_interval": null, + "profile_sha256": null, + "full_map_replay": "rejected_by_frame_nesting" + }, + { + "moves": [ + [ + 927, + 926, + 282 + ], + [ + 928, + 930, + 282 + ], + [ + 930, + 928, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 926, + 282 + ], + [ + 928, + 930, + 282 + ], + [ + 930, + 929, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 926, + 282 + ], + [ + 928, + 930, + 282 + ], + [ + 930, + 930, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 926, + 282 + ], + [ + 928, + 931, + 282 + ], + [ + 930, + 927, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 926, + 282 + ], + [ + 928, + 931, + 282 + ], + [ + 930, + 927, + 688 + ] + ], + "classification": "joint_chain_invalid", + "price_interval": null, + "profile_sha256": null, + "full_map_replay": "rejected_by_frame_nesting" + }, + { + "moves": [ + [ + 927, + 926, + 282 + ], + [ + 928, + 931, + 282 + ], + [ + 930, + 928, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 926, + 282 + ], + [ + 928, + 931, + 282 + ], + [ + 930, + 929, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 926, + 282 + ], + [ + 928, + 931, + 282 + ], + [ + 930, + 930, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 926, + 282 + ], + [ + 928, + 933, + 282 + ], + [ + 930, + 927, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 926, + 282 + ], + [ + 928, + 933, + 282 + ], + [ + 930, + 927, + 688 + ] + ], + "classification": "joint_chain_invalid", + "price_interval": null, + "profile_sha256": null, + "full_map_replay": "rejected_by_frame_nesting" + }, + { + "moves": [ + [ + 927, + 926, + 282 + ], + [ + 928, + 933, + 282 + ], + [ + 930, + 928, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 926, + 282 + ], + [ + 928, + 933, + 282 + ], + [ + 930, + 929, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 926, + 282 + ], + [ + 928, + 933, + 282 + ], + [ + 930, + 930, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 926, + 685 + ], + [ + 928, + 927, + 282 + ], + [ + 930, + 927, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 926, + 685 + ], + [ + 928, + 927, + 282 + ], + [ + 930, + 927, + 688 + ] + ], + "classification": "joint_chain_invalid", + "price_interval": null, + "profile_sha256": null, + "full_map_replay": "rejected_by_frame_nesting" + }, + { + "moves": [ + [ + 927, + 926, + 685 + ], + [ + 928, + 927, + 282 + ], + [ + 930, + 928, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 926, + 685 + ], + [ + 928, + 927, + 282 + ], + [ + 930, + 929, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 926, + 685 + ], + [ + 928, + 927, + 282 + ], + [ + 930, + 930, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 926, + 685 + ], + [ + 928, + 927, + 686 + ], + [ + 930, + 927, + 282 + ] + ], + "classification": "joint_chain_invalid", + "price_interval": null, + "profile_sha256": null, + "full_map_replay": "rejected_by_frame_nesting" + }, + { + "moves": [ + [ + 927, + 926, + 685 + ], + [ + 928, + 927, + 686 + ], + [ + 930, + 927, + 688 + ] + ], + "classification": "joint_chain_invalid", + "price_interval": null, + "profile_sha256": null, + "full_map_replay": "rejected_by_frame_nesting" + }, + { + "moves": [ + [ + 927, + 926, + 685 + ], + [ + 928, + 927, + 686 + ], + [ + 930, + 928, + 282 + ] + ], + "classification": "joint_chain_invalid", + "price_interval": null, + "profile_sha256": null, + "full_map_replay": "rejected_by_frame_nesting" + }, + { + "moves": [ + [ + 927, + 926, + 685 + ], + [ + 928, + 927, + 686 + ], + [ + 930, + 929, + 282 + ] + ], + "classification": "joint_chain_invalid", + "price_interval": null, + "profile_sha256": null, + "full_map_replay": "rejected_by_frame_nesting" + }, + { + "moves": [ + [ + 927, + 926, + 685 + ], + [ + 928, + 927, + 686 + ], + [ + 930, + 930, + 282 + ] + ], + "classification": "joint_chain_invalid", + "price_interval": null, + "profile_sha256": null, + "full_map_replay": "rejected_by_frame_nesting" + }, + { + "moves": [ + [ + 927, + 926, + 685 + ], + [ + 928, + 928, + 282 + ], + [ + 930, + 927, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 926, + 685 + ], + [ + 928, + 928, + 282 + ], + [ + 930, + 927, + 688 + ] + ], + "classification": "joint_chain_invalid", + "price_interval": null, + "profile_sha256": null, + "full_map_replay": "rejected_by_frame_nesting" + }, + { + "moves": [ + [ + 927, + 926, + 685 + ], + [ + 928, + 928, + 282 + ], + [ + 930, + 928, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 926, + 685 + ], + [ + 928, + 928, + 282 + ], + [ + 930, + 929, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 926, + 685 + ], + [ + 928, + 928, + 282 + ], + [ + 930, + 930, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 926, + 685 + ], + [ + 928, + 930, + 282 + ], + [ + 930, + 927, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 926, + 685 + ], + [ + 928, + 930, + 282 + ], + [ + 930, + 927, + 688 + ] + ], + "classification": "joint_chain_invalid", + "price_interval": null, + "profile_sha256": null, + "full_map_replay": "rejected_by_frame_nesting" + }, + { + "moves": [ + [ + 927, + 926, + 685 + ], + [ + 928, + 930, + 282 + ], + [ + 930, + 928, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 926, + 685 + ], + [ + 928, + 930, + 282 + ], + [ + 930, + 929, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 926, + 685 + ], + [ + 928, + 930, + 282 + ], + [ + 930, + 930, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 926, + 685 + ], + [ + 928, + 931, + 282 + ], + [ + 930, + 927, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 926, + 685 + ], + [ + 928, + 931, + 282 + ], + [ + 930, + 927, + 688 + ] + ], + "classification": "joint_chain_invalid", + "price_interval": null, + "profile_sha256": null, + "full_map_replay": "rejected_by_frame_nesting" + }, + { + "moves": [ + [ + 927, + 926, + 685 + ], + [ + 928, + 931, + 282 + ], + [ + 930, + 928, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 926, + 685 + ], + [ + 928, + 931, + 282 + ], + [ + 930, + 929, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 926, + 685 + ], + [ + 928, + 931, + 282 + ], + [ + 930, + 930, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 926, + 685 + ], + [ + 928, + 933, + 282 + ], + [ + 930, + 927, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 926, + 685 + ], + [ + 928, + 933, + 282 + ], + [ + 930, + 927, + 688 + ] + ], + "classification": "joint_chain_invalid", + "price_interval": null, + "profile_sha256": null, + "full_map_replay": "rejected_by_frame_nesting" + }, + { + "moves": [ + [ + 927, + 926, + 685 + ], + [ + 928, + 933, + 282 + ], + [ + 930, + 928, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 926, + 685 + ], + [ + 928, + 933, + 282 + ], + [ + 930, + 929, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 926, + 685 + ], + [ + 928, + 933, + 282 + ], + [ + 930, + 930, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 927, + 282 + ], + [ + 928, + 927, + 282 + ], + [ + 930, + 927, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 927, + 282 + ], + [ + 928, + 927, + 282 + ], + [ + 930, + 927, + 688 + ] + ], + "classification": "joint_chain_invalid", + "price_interval": null, + "profile_sha256": null, + "full_map_replay": "rejected_by_frame_nesting" + }, + { + "moves": [ + [ + 927, + 927, + 282 + ], + [ + 928, + 927, + 282 + ], + [ + 930, + 928, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 927, + 282 + ], + [ + 928, + 927, + 282 + ], + [ + 930, + 929, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 927, + 282 + ], + [ + 928, + 927, + 282 + ], + [ + 930, + 930, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 927, + 282 + ], + [ + 928, + 927, + 686 + ], + [ + 930, + 927, + 282 + ] + ], + "classification": "joint_chain_invalid", + "price_interval": null, + "profile_sha256": null, + "full_map_replay": "rejected_by_frame_nesting" + }, + { + "moves": [ + [ + 927, + 927, + 282 + ], + [ + 928, + 927, + 686 + ], + [ + 930, + 927, + 688 + ] + ], + "classification": "joint_chain_invalid", + "price_interval": null, + "profile_sha256": null, + "full_map_replay": "rejected_by_frame_nesting" + }, + { + "moves": [ + [ + 927, + 927, + 282 + ], + [ + 928, + 927, + 686 + ], + [ + 930, + 928, + 282 + ] + ], + "classification": "joint_chain_invalid", + "price_interval": null, + "profile_sha256": null, + "full_map_replay": "rejected_by_frame_nesting" + }, + { + "moves": [ + [ + 927, + 927, + 282 + ], + [ + 928, + 927, + 686 + ], + [ + 930, + 929, + 282 + ] + ], + "classification": "joint_chain_invalid", + "price_interval": null, + "profile_sha256": null, + "full_map_replay": "rejected_by_frame_nesting" + }, + { + "moves": [ + [ + 927, + 927, + 282 + ], + [ + 928, + 927, + 686 + ], + [ + 930, + 930, + 282 + ] + ], + "classification": "joint_chain_invalid", + "price_interval": null, + "profile_sha256": null, + "full_map_replay": "rejected_by_frame_nesting" + }, + { + "moves": [ + [ + 927, + 927, + 282 + ], + [ + 928, + 928, + 282 + ], + [ + 930, + 927, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 927, + 282 + ], + [ + 928, + 928, + 282 + ], + [ + 930, + 927, + 688 + ] + ], + "classification": "joint_chain_invalid", + "price_interval": null, + "profile_sha256": null, + "full_map_replay": "rejected_by_frame_nesting" + }, + { + "moves": [ + [ + 927, + 927, + 282 + ], + [ + 928, + 928, + 282 + ], + [ + 930, + 928, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 927, + 282 + ], + [ + 928, + 928, + 282 + ], + [ + 930, + 929, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 927, + 282 + ], + [ + 928, + 928, + 282 + ], + [ + 930, + 930, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 927, + 282 + ], + [ + 928, + 930, + 282 + ], + [ + 930, + 927, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 927, + 282 + ], + [ + 928, + 930, + 282 + ], + [ + 930, + 927, + 688 + ] + ], + "classification": "joint_chain_invalid", + "price_interval": null, + "profile_sha256": null, + "full_map_replay": "rejected_by_frame_nesting" + }, + { + "moves": [ + [ + 927, + 927, + 282 + ], + [ + 928, + 930, + 282 + ], + [ + 930, + 928, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 927, + 282 + ], + [ + 928, + 930, + 282 + ], + [ + 930, + 929, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 927, + 282 + ], + [ + 928, + 930, + 282 + ], + [ + 930, + 930, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 927, + 282 + ], + [ + 928, + 931, + 282 + ], + [ + 930, + 927, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 927, + 282 + ], + [ + 928, + 931, + 282 + ], + [ + 930, + 927, + 688 + ] + ], + "classification": "joint_chain_invalid", + "price_interval": null, + "profile_sha256": null, + "full_map_replay": "rejected_by_frame_nesting" + }, + { + "moves": [ + [ + 927, + 927, + 282 + ], + [ + 928, + 931, + 282 + ], + [ + 930, + 928, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 927, + 282 + ], + [ + 928, + 931, + 282 + ], + [ + 930, + 929, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 927, + 282 + ], + [ + 928, + 931, + 282 + ], + [ + 930, + 930, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 927, + 282 + ], + [ + 928, + 933, + 282 + ], + [ + 930, + 927, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 927, + 282 + ], + [ + 928, + 933, + 282 + ], + [ + 930, + 927, + 688 + ] + ], + "classification": "joint_chain_invalid", + "price_interval": null, + "profile_sha256": null, + "full_map_replay": "rejected_by_frame_nesting" + }, + { + "moves": [ + [ + 927, + 927, + 282 + ], + [ + 928, + 933, + 282 + ], + [ + 930, + 928, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 927, + 282 + ], + [ + 928, + 933, + 282 + ], + [ + 930, + 929, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 927, + 282 + ], + [ + 928, + 933, + 282 + ], + [ + 930, + 930, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 927, + 685 + ], + [ + 928, + 927, + 282 + ], + [ + 930, + 927, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 927, + 685 + ], + [ + 928, + 927, + 282 + ], + [ + 930, + 927, + 688 + ] + ], + "classification": "joint_chain_invalid", + "price_interval": null, + "profile_sha256": null, + "full_map_replay": "rejected_by_frame_nesting" + }, + { + "moves": [ + [ + 927, + 927, + 685 + ], + [ + 928, + 927, + 282 + ], + [ + 930, + 928, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 927, + 685 + ], + [ + 928, + 927, + 282 + ], + [ + 930, + 929, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 927, + 685 + ], + [ + 928, + 927, + 282 + ], + [ + 930, + 930, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 927, + 685 + ], + [ + 928, + 927, + 686 + ], + [ + 930, + 927, + 282 + ] + ], + "classification": "joint_chain_invalid", + "price_interval": null, + "profile_sha256": null, + "full_map_replay": "rejected_by_frame_nesting" + }, + { + "moves": [ + [ + 927, + 927, + 685 + ], + [ + 928, + 927, + 686 + ], + [ + 930, + 927, + 688 + ] + ], + "classification": "joint_chain_invalid", + "price_interval": null, + "profile_sha256": null, + "full_map_replay": "rejected_by_frame_nesting" + }, + { + "moves": [ + [ + 927, + 927, + 685 + ], + [ + 928, + 927, + 686 + ], + [ + 930, + 928, + 282 + ] + ], + "classification": "joint_chain_invalid", + "price_interval": null, + "profile_sha256": null, + "full_map_replay": "rejected_by_frame_nesting" + }, + { + "moves": [ + [ + 927, + 927, + 685 + ], + [ + 928, + 927, + 686 + ], + [ + 930, + 929, + 282 + ] + ], + "classification": "joint_chain_invalid", + "price_interval": null, + "profile_sha256": null, + "full_map_replay": "rejected_by_frame_nesting" + }, + { + "moves": [ + [ + 927, + 927, + 685 + ], + [ + 928, + 927, + 686 + ], + [ + 930, + 930, + 282 + ] + ], + "classification": "joint_chain_invalid", + "price_interval": null, + "profile_sha256": null, + "full_map_replay": "rejected_by_frame_nesting" + }, + { + "moves": [ + [ + 927, + 927, + 685 + ], + [ + 928, + 928, + 282 + ], + [ + 930, + 927, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 927, + 685 + ], + [ + 928, + 928, + 282 + ], + [ + 930, + 927, + 688 + ] + ], + "classification": "joint_chain_invalid", + "price_interval": null, + "profile_sha256": null, + "full_map_replay": "rejected_by_frame_nesting" + }, + { + "moves": [ + [ + 927, + 927, + 685 + ], + [ + 928, + 928, + 282 + ], + [ + 930, + 928, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 927, + 685 + ], + [ + 928, + 928, + 282 + ], + [ + 930, + 929, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 927, + 685 + ], + [ + 928, + 928, + 282 + ], + [ + 930, + 930, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 927, + 685 + ], + [ + 928, + 930, + 282 + ], + [ + 930, + 927, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 927, + 685 + ], + [ + 928, + 930, + 282 + ], + [ + 930, + 927, + 688 + ] + ], + "classification": "joint_chain_invalid", + "price_interval": null, + "profile_sha256": null, + "full_map_replay": "rejected_by_frame_nesting" + }, + { + "moves": [ + [ + 927, + 927, + 685 + ], + [ + 928, + 930, + 282 + ], + [ + 930, + 928, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 927, + 685 + ], + [ + 928, + 930, + 282 + ], + [ + 930, + 929, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 927, + 685 + ], + [ + 928, + 930, + 282 + ], + [ + 930, + 930, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 927, + 685 + ], + [ + 928, + 931, + 282 + ], + [ + 930, + 927, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 927, + 685 + ], + [ + 928, + 931, + 282 + ], + [ + 930, + 927, + 688 + ] + ], + "classification": "joint_chain_invalid", + "price_interval": null, + "profile_sha256": null, + "full_map_replay": "rejected_by_frame_nesting" + }, + { + "moves": [ + [ + 927, + 927, + 685 + ], + [ + 928, + 931, + 282 + ], + [ + 930, + 928, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 927, + 685 + ], + [ + 928, + 931, + 282 + ], + [ + 930, + 929, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 927, + 685 + ], + [ + 928, + 931, + 282 + ], + [ + 930, + 930, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 927, + 685 + ], + [ + 928, + 933, + 282 + ], + [ + 930, + 927, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 927, + 685 + ], + [ + 928, + 933, + 282 + ], + [ + 930, + 927, + 688 + ] + ], + "classification": "joint_chain_invalid", + "price_interval": null, + "profile_sha256": null, + "full_map_replay": "rejected_by_frame_nesting" + }, + { + "moves": [ + [ + 927, + 927, + 685 + ], + [ + 928, + 933, + 282 + ], + [ + 930, + 928, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 927, + 685 + ], + [ + 928, + 933, + 282 + ], + [ + 930, + 929, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 927, + 685 + ], + [ + 928, + 933, + 282 + ], + [ + 930, + 930, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 929, + 282 + ], + [ + 928, + 927, + 282 + ], + [ + 930, + 927, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 929, + 282 + ], + [ + 928, + 927, + 282 + ], + [ + 930, + 927, + 688 + ] + ], + "classification": "joint_chain_invalid", + "price_interval": null, + "profile_sha256": null, + "full_map_replay": "rejected_by_frame_nesting" + }, + { + "moves": [ + [ + 927, + 929, + 282 + ], + [ + 928, + 927, + 282 + ], + [ + 930, + 928, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 929, + 282 + ], + [ + 928, + 927, + 282 + ], + [ + 930, + 929, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 929, + 282 + ], + [ + 928, + 927, + 282 + ], + [ + 930, + 930, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 929, + 282 + ], + [ + 928, + 927, + 686 + ], + [ + 930, + 927, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 929, + 282 + ], + [ + 928, + 927, + 686 + ], + [ + 930, + 927, + 688 + ] + ], + "classification": "joint_chain_invalid", + "price_interval": null, + "profile_sha256": null, + "full_map_replay": "rejected_by_frame_nesting" + }, + { + "moves": [ + [ + 927, + 929, + 282 + ], + [ + 928, + 927, + 686 + ], + [ + 930, + 928, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 929, + 282 + ], + [ + 928, + 927, + 686 + ], + [ + 930, + 929, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 929, + 282 + ], + [ + 928, + 927, + 686 + ], + [ + 930, + 930, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 929, + 282 + ], + [ + 928, + 928, + 282 + ], + [ + 930, + 927, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 929, + 282 + ], + [ + 928, + 928, + 282 + ], + [ + 930, + 927, + 688 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 929, + 282 + ], + [ + 928, + 928, + 282 + ], + [ + 930, + 928, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 929, + 282 + ], + [ + 928, + 928, + 282 + ], + [ + 930, + 929, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 929, + 282 + ], + [ + 928, + 928, + 282 + ], + [ + 930, + 930, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 929, + 282 + ], + [ + 928, + 930, + 282 + ], + [ + 930, + 927, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 929, + 282 + ], + [ + 928, + 930, + 282 + ], + [ + 930, + 927, + 688 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 929, + 282 + ], + [ + 928, + 930, + 282 + ], + [ + 930, + 928, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 929, + 282 + ], + [ + 928, + 930, + 282 + ], + [ + 930, + 929, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 929, + 282 + ], + [ + 928, + 930, + 282 + ], + [ + 930, + 930, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 929, + 282 + ], + [ + 928, + 931, + 282 + ], + [ + 930, + 927, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 929, + 282 + ], + [ + 928, + 931, + 282 + ], + [ + 930, + 927, + 688 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 929, + 282 + ], + [ + 928, + 931, + 282 + ], + [ + 930, + 928, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 929, + 282 + ], + [ + 928, + 931, + 282 + ], + [ + 930, + 929, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 929, + 282 + ], + [ + 928, + 931, + 282 + ], + [ + 930, + 930, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 929, + 282 + ], + [ + 928, + 933, + 282 + ], + [ + 930, + 927, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 929, + 282 + ], + [ + 928, + 933, + 282 + ], + [ + 930, + 927, + 688 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 929, + 282 + ], + [ + 928, + 933, + 282 + ], + [ + 930, + 928, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 929, + 282 + ], + [ + 928, + 933, + 282 + ], + [ + 930, + 929, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 929, + 282 + ], + [ + 928, + 933, + 282 + ], + [ + 930, + 930, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 930, + 282 + ], + [ + 928, + 927, + 282 + ], + [ + 930, + 927, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 930, + 282 + ], + [ + 928, + 927, + 282 + ], + [ + 930, + 927, + 688 + ] + ], + "classification": "joint_chain_invalid", + "price_interval": null, + "profile_sha256": null, + "full_map_replay": "rejected_by_frame_nesting" + }, + { + "moves": [ + [ + 927, + 930, + 282 + ], + [ + 928, + 927, + 282 + ], + [ + 930, + 928, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 930, + 282 + ], + [ + 928, + 927, + 282 + ], + [ + 930, + 929, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 930, + 282 + ], + [ + 928, + 927, + 282 + ], + [ + 930, + 930, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 930, + 282 + ], + [ + 928, + 927, + 686 + ], + [ + 930, + 927, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 930, + 282 + ], + [ + 928, + 927, + 686 + ], + [ + 930, + 927, + 688 + ] + ], + "classification": "joint_chain_invalid", + "price_interval": null, + "profile_sha256": null, + "full_map_replay": "rejected_by_frame_nesting" + }, + { + "moves": [ + [ + 927, + 930, + 282 + ], + [ + 928, + 927, + 686 + ], + [ + 930, + 928, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 930, + 282 + ], + [ + 928, + 927, + 686 + ], + [ + 930, + 929, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 930, + 282 + ], + [ + 928, + 927, + 686 + ], + [ + 930, + 930, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 930, + 282 + ], + [ + 928, + 928, + 282 + ], + [ + 930, + 927, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 930, + 282 + ], + [ + 928, + 928, + 282 + ], + [ + 930, + 927, + 688 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 930, + 282 + ], + [ + 928, + 928, + 282 + ], + [ + 930, + 928, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 930, + 282 + ], + [ + 928, + 928, + 282 + ], + [ + 930, + 929, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 930, + 282 + ], + [ + 928, + 928, + 282 + ], + [ + 930, + 930, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 930, + 282 + ], + [ + 928, + 930, + 282 + ], + [ + 930, + 927, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 930, + 282 + ], + [ + 928, + 930, + 282 + ], + [ + 930, + 927, + 688 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 930, + 282 + ], + [ + 928, + 930, + 282 + ], + [ + 930, + 928, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 930, + 282 + ], + [ + 928, + 930, + 282 + ], + [ + 930, + 929, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 930, + 282 + ], + [ + 928, + 930, + 282 + ], + [ + 930, + 930, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 930, + 282 + ], + [ + 928, + 931, + 282 + ], + [ + 930, + 927, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 930, + 282 + ], + [ + 928, + 931, + 282 + ], + [ + 930, + 927, + 688 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 930, + 282 + ], + [ + 928, + 931, + 282 + ], + [ + 930, + 928, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 930, + 282 + ], + [ + 928, + 931, + 282 + ], + [ + 930, + 929, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 930, + 282 + ], + [ + 928, + 931, + 282 + ], + [ + 930, + 930, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 930, + 282 + ], + [ + 928, + 933, + 282 + ], + [ + 930, + 927, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 930, + 282 + ], + [ + 928, + 933, + 282 + ], + [ + 930, + 927, + 688 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 930, + 282 + ], + [ + 928, + 933, + 282 + ], + [ + 930, + 928, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 930, + 282 + ], + [ + 928, + 933, + 282 + ], + [ + 930, + 929, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 930, + 282 + ], + [ + 928, + 933, + 282 + ], + [ + 930, + 930, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 931, + 282 + ], + [ + 928, + 927, + 282 + ], + [ + 930, + 927, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 931, + 282 + ], + [ + 928, + 927, + 282 + ], + [ + 930, + 927, + 688 + ] + ], + "classification": "joint_chain_invalid", + "price_interval": null, + "profile_sha256": null, + "full_map_replay": "rejected_by_frame_nesting" + }, + { + "moves": [ + [ + 927, + 931, + 282 + ], + [ + 928, + 927, + 282 + ], + [ + 930, + 928, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 931, + 282 + ], + [ + 928, + 927, + 282 + ], + [ + 930, + 929, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 931, + 282 + ], + [ + 928, + 927, + 282 + ], + [ + 930, + 930, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 931, + 282 + ], + [ + 928, + 927, + 686 + ], + [ + 930, + 927, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 931, + 282 + ], + [ + 928, + 927, + 686 + ], + [ + 930, + 927, + 688 + ] + ], + "classification": "joint_chain_invalid", + "price_interval": null, + "profile_sha256": null, + "full_map_replay": "rejected_by_frame_nesting" + }, + { + "moves": [ + [ + 927, + 931, + 282 + ], + [ + 928, + 927, + 686 + ], + [ + 930, + 928, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 931, + 282 + ], + [ + 928, + 927, + 686 + ], + [ + 930, + 929, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 931, + 282 + ], + [ + 928, + 927, + 686 + ], + [ + 930, + 930, + 282 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 931, + 282 + ], + [ + 928, + 928, + 282 + ], + [ + 930, + 927, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 931, + 282 + ], + [ + 928, + 928, + 282 + ], + [ + 930, + 927, + 688 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 931, + 282 + ], + [ + 928, + 928, + 282 + ], + [ + 930, + 928, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 931, + 282 + ], + [ + 928, + 928, + 282 + ], + [ + 930, + 929, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 931, + 282 + ], + [ + 928, + 928, + 282 + ], + [ + 930, + 930, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 931, + 282 + ], + [ + 928, + 930, + 282 + ], + [ + 930, + 927, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 931, + 282 + ], + [ + 928, + 930, + 282 + ], + [ + 930, + 927, + 688 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 931, + 282 + ], + [ + 928, + 930, + 282 + ], + [ + 930, + 928, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 931, + 282 + ], + [ + 928, + 930, + 282 + ], + [ + 930, + 929, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 931, + 282 + ], + [ + 928, + 930, + 282 + ], + [ + 930, + 930, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 931, + 282 + ], + [ + 928, + 931, + 282 + ], + [ + 930, + 927, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 931, + 282 + ], + [ + 928, + 931, + 282 + ], + [ + 930, + 927, + 688 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 931, + 282 + ], + [ + 928, + 931, + 282 + ], + [ + 930, + 928, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 931, + 282 + ], + [ + 928, + 931, + 282 + ], + [ + 930, + 929, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 931, + 282 + ], + [ + 928, + 931, + 282 + ], + [ + 930, + 930, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 931, + 282 + ], + [ + 928, + 933, + 282 + ], + [ + 930, + 927, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 931, + 282 + ], + [ + 928, + 933, + 282 + ], + [ + 930, + 927, + 688 + ] + ], + "classification": "strict_loss", + "price_interval": [ + "89827377253997004816123267/15625000000000000000000000000", + "89827377253997004816123311/15625000000000000000000000000" + ], + "profile_sha256": "47de8cc554c4de625b341ad207c04c08d5df5f110788ef1207cc48619952c806", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 931, + 282 + ], + [ + 928, + 933, + 282 + ], + [ + 930, + 928, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 931, + 282 + ], + [ + 928, + 933, + 282 + ], + [ + 930, + 929, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + }, + { + "moves": [ + [ + 927, + 931, + 282 + ], + [ + 928, + 933, + 282 + ], + [ + 930, + 930, + 282 + ] + ], + "classification": "profile_tie", + "price_interval": [ + "-21/15625000000000000000000000000", + "21/15625000000000000000000000000" + ], + "profile_sha256": "66df823ad24a61d75b15846da47afe438dc52f12bbe59ea99b6eb4900d70d272", + "full_map_replay": "passed_661_registers" + } + ], + "controls": { + "all_home_identity": "passed", + "mutated_source_operand": "rejected", + "omitted_A_ADD": "rejected" + }, + "scope": "Exact negative result only for the 210-tuple Cartesian product of fixed individually legal single-move options for one A-section triple on a pinned PR589 word and a deterministic reinsertion order; no exclusion of jointly enabled frame/commutation options, other triples, other move classes, or a better bit supplier." +} diff --git a/research/bit589-shared-register-triple-seed05/SOURCES.json b/research/bit589-shared-register-triple-seed05/SOURCES.json new file mode 100644 index 0000000000..6e3523850f --- /dev/null +++ b/research/bit589-shared-register-triple-seed05/SOURCES.json @@ -0,0 +1,112 @@ +{ + "schema_version": 1, + "base_commit": "bce54fb3f895cbe5cd4c0eb477c3afeed100190f", + "base_files": [ + { + "path": "CONTRIBUTING.md", + "git_blob": "e51435543687f1bd88ab22248082dc689ce8b853", + "sha256": "df5b5646602f42cb5da5844f04ac925182ddcd0f627b9de1c96a5095bb7a277a" + }, + { + "path": "certificates/selected-result.json", + "git_blob": "ae6a99f28aa468649eb66a361e764d769363bf11", + "sha256": "10b9e340fd8e354a37a0c4813c90e5de1dd42044b5f6aca4a3fc5a42b685fa32" + }, + { + "path": "docs/research/current-status.md", + "git_blob": "aa3cf49715cd367ad8c4e63ab28856fc0d19794f", + "sha256": "1f59d648763c77d574d18dc59ea8bf62d2ee74aaed3c202c9c8cfa4f901badbd" + }, + { + "path": "docs/research/pr-ledger.md", + "git_blob": "4331ba3175b3418f70fb5cf7ee9689b3505c0678", + "sha256": "8030b58f708e40aee4e40f950a20a0b0ccef3f92b08e6e089fe35db82ec027e6" + }, + { + "path": "docs/research/community-batch1099-review.md", + "git_blob": "6cb6ec061a071a06a2d18cd4dc3e9a2b05d28099", + "sha256": "7e76d2c38e5fce30587835b7251df1430488ae4dd372611ef69a3f03f476b6cb" + }, + { + "path": "research/community-frontier1094-audit/ASSEMBLY.json", + "git_blob": "5fd676df060f3b450782fdf5ff5f6beb63a5eeb0", + "sha256": "1122cb3a575f8c788345fc1bf4c108ac7c3250fb81a5988671f5eb04b3ab3045" + }, + { + "path": "research/community-frontier1094-audit/SELECTED-SOURCE.json", + "git_blob": "6a75493790b4eff9c4a98051ef8b01d6aad0d5a8", + "sha256": "79b3de5db3dbcb9829789ba58e9e45758926031e2a7d80667a08429d369be53b" + }, + { + "path": "research/e8-bit-p111-tuned/README.md", + "git_blob": "40dff2216e65ebba0be490ad962e869876a45286", + "sha256": "a054ce8453e2936d45c4edd1c3678993903fcf6705ac241b9f1a4c4f9accda2d" + }, + { + "path": "research/e8-bit-p111-tuned/tune/EXPECTED.json", + "git_blob": "e293ddc557742637f9f679f083a1a282d87b1b13", + "sha256": "b9f0e5ca038abe837b0007c8fe006f366a6f02009244ac57705a8a200e2301f4" + }, + { + "path": "research/e8-bit-p111-tuned/tune/bitE8mut-p111-tuned.json.gz", + "git_blob": "85a4499bf9e4911a705d50567a2c2ef6cf23739a", + "sha256": "e3e301e62bc2b41dbf1ceac0acf3d35824ebeab1848c5a2142d4577b109da52f" + }, + { + "path": "research/e8-bit-p111-tuned/tune/wlib.py", + "git_blob": "0e5f9a26f68cc415b793aa903cf6d105acbc8f03", + "sha256": "a37fdf3cdf5f62945c2a90193401c0e9edc9dd3cda8d8cb36a3b9c329ebe4dbc" + }, + { + "path": "research/complex-k492-owner-repair/vendor/multicold/engines/base_two_moment.py", + "git_blob": "14a90fa0e788217856f070382c9e61bd7c603c61", + "sha256": "aee70c242a2f1d225528fabe2002e1564d1dc884797c07d28a831c7878ee9098" + } + ], + "vendored_files": [ + { + "path": "vendor/pr1345/atlas.py", + "upstream_path": "research/bit589-transport-atlas/atlas.py", + "upstream_head": "b54a856aa79857d91cd5d65f8f7144e26c8c084f", + "git_blob": "fe9fb21e82422a157369c28f8c5ab67cf63185ea", + "sha256": "6e6e2a068fa5e40026b3ac81d7f3d88ea7c08fd0a0c0064c36f6ba33e4dfd95f" + } + ], + "predecessors": { + "pr589": { + "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/589", + "head": "a5afc8c6169ea61ba7c51dfd3cade02cc7b13b46", + "merged_as": "b3eb785ac5b4b1ca2beea0f80db078a505626a90", + "role": "selected tuned R439 bit supplier" + }, + "pr1345": { + "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/1345", + "head": "b54a856aa79857d91cd5d65f8f7144e26c8c084f", + "status_at_selection": "open", + "role": "exact legal transport generation and full-chain moment score; leaves triples beyond pairs" + }, + "pr1382": { + "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/1382", + "head": "cf17b06c00c50a22315f210c5f6b5197c860abdd", + "status_at_selection": "open", + "role": "A/B cross-section pairs, not same-section triples" + }, + "pr1048": { + "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/1048", + "head": "07730cd8302c378607259a9ad0efb73e0b57a2f2", + "status_at_selection": "open", + "role": "exact single and two-move profile audit; no three-move census" + }, + "pr1084": { + "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/1084", + "head": "ac8bd04538e692efa9c9b16bd79de5a45edcc9a5", + "status_at_selection": "open", + "role": "adjacent E8 decoder witness and pairing-cost floor; excluded decoder candidate" + }, + "discussion1362": { + "url": "https://github.com/CrocSwap/integer-mult-bounds/discussions/1362", + "status_at_selection": "active", + "role": "helper 468 later B/C cuts; screened-out object" + } + } +} diff --git a/research/bit589-shared-register-triple-seed05/VALIDATION.md b/research/bit589-shared-register-triple-seed05/VALIDATION.md new file mode 100644 index 0000000000..f26dc3b499 --- /dev/null +++ b/research/bit589-shared-register-triple-seed05/VALIDATION.md @@ -0,0 +1,29 @@ +# Validation record + +- Exact repository base: `bce54fb3f895cbe5cd4c0eb477c3afeed100190f`. +- Selected supplier: merged PR589 head `a5afc8c6169ea61ba7c51dfd3cade02cc7b13b46`; + tuned word `v=111`, `R=439`, decoder constant 63. +- Transport/scoring source: open PR1345 head + `b54a856aa79857d91cd5d65f8f7144e26c8c084f`, vendored bytes pinned in + `SOURCES.json`. +- Local interpreter: CPython 3.14.7; the verifier uses only the standard + library and is run without `-O` so upstream replay assertions remain active. + +Command from the repository root: + +```sh +python3 -I -B research/bit589-shared-register-triple-seed05/verify.py +``` + +Expected result: + +```text +PASS_PR589_A_TRIPLE_TRANSPORT seed=5 ops=927,928,930 assignments=210 valid=164 ties=100 losses=64 incompatible=46 controls=3 no_new_kappa +``` + +The replay checks all 210 tuples in the fixed Cartesian product of three +individually legal PR1345 single-move option lists; all 164 tuples that pass +the chain-nesting scorer are replayed against the full 661-register map. +It does not certify all jointly enabled frames or alternative commutations. It also rechecks the +three controls named in the README and compares the entire generated result to +`RESULT.json`. Repository diff whitespace validation is `git diff --check`. diff --git a/research/bit589-shared-register-triple-seed05/vendor/pr1345/atlas.py b/research/bit589-shared-register-triple-seed05/vendor/pr1345/atlas.py new file mode 100644 index 0000000000..fe9fb21e82 --- /dev/null +++ b/research/bit589-shared-register-triple-seed05/vendor/pr1345/atlas.py @@ -0,0 +1,437 @@ +"""Independent exact transport atlas for the PR589 bit word (seed 10, bit supplier). + +With gate multiset, operands, scatter, start/final, D and rebuilt-C fixed, +enumerate every transport: relocate one elementary addition r += s to any +position in its exact commutation window at any legal catalogue frame (or the +closure frame of the slot bounds), singly and, for the shared-register coupling, +as every pair of movable transports sharing a register. Scoring is exact: the +pinned moment engine gives outward rational bounds for d*(64/d)^c at the exact +saving c; the objective is the full per-register frame-chain cost plus scatter +tops, which reproduces the replay paid profile exactly. No float decides a +comparison. +Prepared with an autonomous opencode research agent (Qwen3.8-Flash); Apache-2.0. +""" +import json, sys, time, importlib.util +from bisect import bisect_left +from collections import Counter +from fractions import Fraction as Q +from hashlib import sha256 +from pathlib import Path + +from pathlib import Path as _P +ROOT = _P(__file__).resolve().parents[2] +sys.path.insert(0, str(ROOT / 'research/e8-bit-p111-tuned/tune')) +import wlib + +WORD = sys.argv[1] if len(sys.argv) > 1 else \ + str(ROOT / 'research/e8-bit-p111-tuned/tune/bitE8mut-p111-tuned.json.gz') +C = Q(1733427039589844234749, 10**24) +T0 = time.time() +w = wlib.load(WORD) +V, R = w['v'], w['R'] +N, NL = 2 * V + R, len(w['lines']) +ret = set(w['ret']) +lines = w['lines'] + +masks = [sum(1 << i for i in f) for f in w['frames']] +dim = [len(wlib.basis(lines[i] for i in f)) for f in w['frames']] +idx = {m: i for i, m in enumerate(masks)} +_cl = {} +def closure(mask): + if mask in _cl: + return _cl[mask] + sel = [lines[i] for i in range(NL) if mask >> i & 1] + rk = len(wlib.basis(sel)) + cl = mask + for i in range(NL): + if mask >> i & 1: + continue + if len(wlib.basis(sel + [lines[i]])) == rk: + cl |= 1 << i + if cl not in idx: + idx[cl] = len(masks) + masks.append(cl) + dim.append(rk) + _cl[mask] = idx[cl] + return idx[cl] + +ep = ROOT / 'research/complex-k492-owner-repair/vendor/multicold/engines/base_two_moment.py' +assert sha256(ep.read_bytes()).hexdigest() == 'aee70c242a2f1d225528fabe2002e1564d1dc884797c07d28a831c7878ee9098' +spec = importlib.util.spec_from_file_location('atlas_engine', ep) +engine = importlib.util.module_from_spec(spec) +spec.loader.exec_module(engine) +P = {0: (Q(0), Q(0))} +for d in range(1, 17): + P[d] = tuple(64 * x for x in engine.moment(64, 1, [(d, 1)], C)) + +def chain_cost(seq): + lo = hi = Q(0) + for a, b in zip(seq, seq[1:]): + da, db = dim[a], dim[b] + if db < da or masks[a] & ~masks[b]: + return None + if db > da: + lo += P[db - da][0] + hi += P[db - da][1] + return lo, hi + +def dedup(seq): + out = [] + for f in seq: + if not out or out[-1] != f: + out.append(f) + return out + +SEG = {r: {'D': [], 'A': [], 'B': [], 'C': []} for r in range(N)} +for sec in 'DABC': + for f, t, ss in w[sec]: + for r in [t, *ss]: + s = SEG[r][sec] + if not s or s[-1] != f: + s.append(f) +def full_chain(r, sec=None, ev=None): + segs = [SEG[r]['D']] + if sec == 'A': + segs += [ev, SEG[r]['B'], SEG[r]['C']] + elif sec == 'B': + segs += [SEG[r]['A'], ev, SEG[r]['C']] + else: + segs += [SEG[r]['A'], SEG[r]['B'], SEG[r]['C']] + return [w['start'][r], *dedup(sum(segs, [])), w['final'][r]] +base_cost = {} +for r in range(N): + c = chain_cost(full_chain(r)) + assert c is not None + base_cost[r] = c +tops = Counter() +for q in ret: + fa = w['start'][q] + for sec in 'DA': + for f, t, ss in w[sec]: + if q in (t, *ss): + fa = f + tops[dim[fa]] += 1 +assert dict(tops) == {7: 9}, tops + +def steps(seq): + return Counter(dim[b] - dim[a] for a, b in zip(seq, seq[1:]) if dim[b] > dim[a]) +H0 = Counter() +for r in range(N): + H0.update(steps(full_chain(r))) +H0.update(tops) +assert dict(sorted(H0.items())) == wlib.paid(w) + +def ops_of(sec): + return [(f, t, s) for f, t, ss in w[sec] for s in ss] +A_ops, B_ops = ops_of('A'), ops_of('B') +lastA = list(w['start']) +for f, t, s in A_ops: + lastA[t] = lastA[s] = f +firstB = list(w['final']) +seen = set() +for f, t, s in B_ops: + for r in (t, s): + if r not in seen: + firstB[r] = f + seen.add(r) +CTX = {'A': (list(w['start']), firstB), 'B': (lastA, list(w['final']))} +cp = {} +for r in ret: + lf = w['start'][r] + for f, t, s in A_ops: + if r in (t, s): + lf = f + cp[r] = lf +commute = lambda a, b: a[1] != b[2] and b[1] != a[2] +_feas = {} +def feasible(low, high): + if (low, high) in _feas: + return _feas[(low, high)] + out = [f for f in range(len(masks)) if masks[f] & ~high == 0 and low & ~masks[f] == 0] + F0 = closure(low) + if masks[F0] & ~high == 0 and F0 not in out: + out.append(F0) + _feas[(low, high)] = out + return out + +def options(sec): + ops = A_ops if sec == 'A' else B_ops + tl = [[] for _ in range(N)] + for i, (f, t, s) in enumerate(ops): + tl[t].append(i) + tl[s].append(i) + pre, post = CTX[sec] + n = len(ops) + res = [] + for i, (f0, t, s) in enumerate(ops): + lo = i + while lo > 0 and commute((f0, t, s), ops[lo - 1]): + lo -= 1 + hi = i + while hi < n - 1 and commute((f0, t, s), ops[hi + 1]): + hi += 1 + tt = [j for j in tl[t] if j != i] + ts = [j for j in tl[s] if j != i] + starts = sorted({lo} | {e + 1 for e in tt + ts if lo <= e + 1 <= hi} | {i}) + opts = set() + for k, st in enumerate(starts): + en = (starts[k + 1] - 1) if k + 1 < len(starts) else hi + q = min(max(i, st), en) + ctx = [] + for r, lst in ((t, tt), (s, ts)): + kk = bisect_left(lst, q) + p = ops[lst[kk - 1]][0] if kk > 0 else pre[r] + nx = ops[lst[kk]][0] if kk < len(lst) else post[r] + ctx.append((p, nx, kk, lst)) + (pt, nt, kt, _), (ps, ns, ks, _) = ctx + low = masks[pt] | masks[ps] + high = masks[nt] & masks[ns] + if low & ~high: + continue + for F in feasible(low, high): + ok = True + if sec == 'A': + for r, lst, kk in ((t, tt, kt), (s, ts, ks)): + if r in ret: + last = F if kk == len(lst) else (ops[lst[-1]][0] if lst else w['start'][r]) + if last != cp[r]: + ok = False + if ok: + opts.add((q, F)) + res.append(sorted(opts)) + return ops, tl, res + +def score(sec, ops, tl, moves): + regs = set() + for i, q, F in moves: + regs.add(ops[i][1]) + regs.add(ops[i][2]) + mv = {i: (q, F) for i, q, F in moves} + lo = hi = Q(0) + for r in regs: + ev = [] + for j in tl[r]: + if j in mv: + ev.append((mv[j][0] - 0.5, j, mv[j][1])) + else: + ev.append((j, j, ops[j][0])) + ev.sort() + frames = [e[2] for e in ev] + if sec == 'A': + for r2 in ret: + if r2 == r and frames: + if frames[-1] != cp[r]: + return None + c = chain_cost(full_chain(r, sec, frames)) + if c is None: + return None + lo += c[0] - base_cost[r][1] + hi += c[1] - base_cost[r][0] + return lo, hi + +def atlas(sec): + ops, tl, opts = options(sec) + stat = Counter() + best_pos, ties, improving = None, 0, [] + examples = {'same_profile': [], 'strictly_worse': []} + for i, (f0, t, s) in enumerate(ops): + home = score(sec, ops, tl, [(i, i, f0)]) + assert abs(home[0]) < Q(1, 10**20) and abs(home[1]) < Q(1, 10**20), (sec, i, home) + for q, F in opts[i]: + if q == i and F == f0: + continue + stat['legal'] += 1 + d = score(sec, ops, tl, [(i, q, F)]) + if d is None: + stat['illegal_chain'] += 1 + continue + if d[1] < 0: + improving.append((sec, i, q, F, float(d[0]), float(d[1]))) + stat['improving'] += 1 + elif d[0] > 0: + stat['strictly_worse'] += 1 + if len(examples['strictly_worse']) < 2: + examples['strictly_worse'].append((i, q, F)) + if best_pos is None or d[0] < best_pos[0]: + best_pos = (d[0], sec, i, q, F) + else: + H = Counter() + mv = {i: (q, F)} + for r in (t, s): + ev = [(mv[j][0] - 0.5, j, mv[j][1]) if j in mv else (j, j, ops[j][0]) for j in tl[r]] + ev.sort() + H.update(steps(full_chain(r, sec, [e[2] for e in ev]))) + H0r = Counter() + for r in (t, s): + H0r.update(steps(full_chain(r))) + if H == H0r: + ties += 1 + stat['same_profile'] += 1 + if len(examples['same_profile']) < 2: + examples['same_profile'].append((i, q, F)) + else: + stat['unresolved'] += 1 + return ops, tl, opts, stat, improving, best_pos, ties, examples + +out = {'word': WORD.rsplit('/', 1)[-1], 'c': str(C)} +all_opts = {} +for sec in 'AB': + ops, tl, opts, stat, improving, best_pos, ties, examples = atlas(sec) + all_opts[sec] = (ops, tl, opts) + all_opts[sec + '_ex'] = examples + out[sec] = dict(ops=len(ops), **dict(stat), + smallest_strict_loss=str(best_pos[0]) if best_pos else None, + improving=improving[:5]) +# ------------------------------------------------- replay spot-check +# Apply sample single moves to the word, rebuild C, replay exactly, and +# compare the replayed paid profile with the chain-model prediction. +n0 = len(w['frames']) +def apply_and_replay(sec, i, q, F): + import copy + w2 = copy.deepcopy(w) + ops = [(f, t, s) for f, t, ss in w2[sec] for s in ss] + op = ops.pop(i) + op = (F, op[1], op[2]) + ops.insert(q, op) + w2[sec] = [[f, t, [s]] for f, t, s in ops] + if F >= n0: + w2['frames'].append([k for k in range(NL) if masks[F] >> k & 1]) + w2['C'] = wlib.rebuild_C(w2) + return wlib.paid(w2) + +def predicted(sec, i, q, F): + ops, tl, opts = all_opts[sec] + t, s = ops[i][1], ops[i][2] + mv = {i: (q, F)} + H = Counter(tops) + for r in range(N): + if r in (t, s): + ev = [(mv[x][0] - 0.5, x, mv[x][1]) if x in mv else (x, x, ops[x][0]) for x in tl[r]] + ev.sort() + H.update(steps(full_chain(r, sec, [e[2] for e in ev]))) + else: + H.update(steps(full_chain(r))) + return dict(sorted(H.items())) + +spot = [] +for sec in 'AB': + for kind in ('same_profile', 'strictly_worse'): + for (i, q, F) in all_opts[sec + '_ex'][kind]: + got = dict(sorted(apply_and_replay(sec, i, q, F).items())) + pred = predicted(sec, i, q, F) + assert got == pred, (sec, i, q, F, got, pred) + spot.append(dict(section=sec, kind=kind, op=i, slot=q, frame=F, profile=got)) +out['replay_spot_check'] = spot + + +# ------------------------------------------- simultaneous transports +import itertools +comp_out = [] +for sec in 'AB': + ops, tl, opts = all_opts[sec] + home = [(i, ops[i][0]) for i in range(len(ops))] + movable = [i for i in range(len(ops)) if len(opts[i]) > 1] + reg2op = {} + par = {i: i for i in movable} + def find(x): + while par[x] != x: + x = par[x] + return x + for i in movable: + for r in (ops[i][1], ops[i][2]): + if r in reg2op: + a, b = find(reg2op[r]), find(i) + if a != b: + par[a] = b + else: + reg2op[r] = i + comps = {} + for i in movable: + comps.setdefault(find(i), []).append(i) + stat = Counter() + best = None + for xs in comps.values(): + stat['components'] += 1 + stat['size_' + str(len(xs))] += 1 + ncombo = 1 + for i in xs: + ncombo *= len(opts[i]) + stat['combos'] += ncombo + if ncombo > 200000: + stat['over_budget'] += 1 + stat['over_combos'] += ncombo + continue + for combo in itertools.product(*(opts[i] for i in xs)): + moves = [(i, q, F) for i, (q, F) in zip(xs, combo)] + if all((q, F) == (i, ops[i][0]) for i, (q, F) in zip(xs, combo)): + continue + stat['scored'] += 1 + d = score(sec, ops, tl, moves) + if d is None: + stat['illegal'] += 1 + continue + if d[1] < 0: + stat['improving'] += 1 + if best is None or d[0] < best[0]: + best = (d, moves) + elif d[0] > 0: + stat['worse'] += 1 + else: + stat['undecided_or_tie'] += 1 + comp_out.append(dict(section=sec, movable=len(movable), **dict(stat), + best_improving=[str(best[0][0]), str(best[0][1]), + [[i, q, F] for i, q, F in best[1]]] if best else None)) +out['simultaneous'] = comp_out + +# Full components are astronomically large; certify the first-order coupling: +# every pair of movable transports sharing a register, all frame/slot choices. +# Disjoint-register simultaneous moves decompose additively, so with no +# improving single transport they cannot improve either. +pair_out = [] +for sec in 'AB': + ops, tl, opts = all_opts[sec] + movable = [i for i in range(len(ops)) if len(opts[i]) > 1] + by_reg = {} + for i in movable: + for r in (ops[i][1], ops[i][2]): + by_reg.setdefault(r, []).append(i) + pairs = set() + for r, xs in by_reg.items(): + for a in range(len(xs)): + for b in range(a + 1, len(xs)): + pairs.add((xs[a], xs[b])) + stat = Counter() + best = None + for i, j in sorted(pairs): + for qi, Fi in opts[i]: + for qj, Fj in opts[j]: + if (qi, Fi) == (i, ops[i][0]) and (qj, Fj) == (j, ops[j][0]): + continue + stat['scored'] += 1 + d = score(sec, ops, tl, [(i, qi, Fi), (j, qj, Fj)]) + if d is None: + stat['illegal'] += 1 + elif d[1] < 0: + stat['improving'] += 1 + if best is None or d[0] < best[0]: + best = (d, [(i, qi, Fi), (j, qj, Fj)]) + elif d[0] > 0: + stat['worse'] += 1 + else: + regs = {ops[i][1], ops[i][2], ops[j][1], ops[j][2]} + mv = {i: (qi, Fi), j: (qj, Fj)} + H = Counter() + H0r = Counter() + for r in regs: + ev = [(mv[x][0] - 0.5, x, mv[x][1]) if x in mv else (x, x, ops[x][0]) for x in tl[r]] + ev.sort() + H.update(steps(full_chain(r, sec, [e[2] for e in ev]))) + H0r.update(steps(full_chain(r))) + if H == H0r: + stat['same_profile'] += 1 + else: + stat['unresolved'] += 1 + pair_out.append(dict(section=sec, movable=len(movable), pairs=len(pairs), **dict(stat), + best_improving=[str(best[0][0]), str(best[0][1]), best[1]] if best else None)) +out['simultaneous_pairs'] = pair_out +print(json.dumps(out)) diff --git a/research/bit589-shared-register-triple-seed05/verify.py b/research/bit589-shared-register-triple-seed05/verify.py new file mode 100644 index 0000000000..d6afface2e --- /dev/null +++ b/research/bit589-shared-register-triple-seed05/verify.py @@ -0,0 +1,403 @@ +#!/usr/bin/env python3 +"""Replay a seed-selected third-order transport census on the PR589 bit word.""" +import copy +import hashlib +import itertools +import json +import math +from pathlib import Path +import sys + +PACKAGE = Path(__file__).resolve().parent +ROOT = PACKAGE.parents[1] +SOURCES = PACKAGE / "SOURCES.json" +RESULT = PACKAGE / "RESULT.json" +BASE = "bce54fb3f895cbe5cd4c0eb477c3afeed100190f" +SELECTED_KAPPA = "836330098538459/500000000000000000" +BIT_C = "1733427039589844234749/1000000000000000000000000" +PR1345_HEAD = "b54a856aa79857d91cd5d65f8f7144e26c8c084f" +PR589_HEAD = "a5afc8c6169ea61ba7c51dfd3cade02cc7b13b46" +SEED = 5 +EXPECTED_TRIPLE = (927, 928, 930) +EXPECTED_OPS = ((282, 325, 256), (282, 325, 442), (282, 325, 392)) + + +def need(condition, message): + if not condition: + raise ValueError(message) + + +def canonical(value): + return json.dumps(value, sort_keys=True, separators=(",", ":"), allow_nan=False).encode() + + +def sha(raw): + return hashlib.sha256(raw).hexdigest() + + +def git_blob(raw): + return hashlib.sha1(b"blob " + str(len(raw)).encode() + b"\0" + raw).hexdigest() + + +def check_source_pins(sources): + need(sources["schema_version"] == 1 and sources["base_commit"] == BASE, + "exact base source manifest") + for row in sources["base_files"]: + raw = (ROOT / row["path"]).read_bytes() + need(sha(raw) == row["sha256"], "base SHA-256: " + row["path"]) + need(git_blob(raw) == row["git_blob"], "base Git blob: " + row["path"]) + need(len(sources["vendored_files"]) == 1, "single pinned PR1345 source file") + for row in sources["vendored_files"]: + raw = (PACKAGE / row["path"]).read_bytes() + need(sha(raw) == row["sha256"], "vendored SHA-256: " + row["path"]) + need(git_blob(raw) == row["git_blob"], "vendored Git blob: " + row["path"]) + need(row["upstream_head"] == PR1345_HEAD, "PR1345 exact head") + pred = sources["predecessors"] + need(pred["pr589"]["head"] == PR589_HEAD, "selected PR589 source head") + need(pred["pr1345"]["head"] == PR1345_HEAD, "PR1345 predecessor head") + need(pred["pr1382"]["head"] == "cf17b06c00c50a22315f210c5f6b5197c860abdd", + "PR1382 overlap head") + need(pred["pr1048"]["head"] == "07730cd8302c378607259a9ad0efb73e0b57a2f2", + "PR1048 scope head") + + +def load_exact_atlas(vendor_path): + """Load PR1345's definitions, stopping before its full single/pair census.""" + source = vendor_path.read_text() + marker = "out = {'word': WORD" + cut = source.find(marker) + need(cut >= 0, "pinned PR1345 atlas entry point") + # The source's own ROOT calculation expects the upstream package path. + upstream_path = ROOT / "research/bit589-transport-atlas/atlas.py" + namespace = {"__file__": str(upstream_path), "__name__": "seed05_pinned_pr1345_atlas"} + old_argv = sys.argv + try: + sys.argv = [str(upstream_path)] + exec(compile(source[:cut], str(upstream_path), "exec"), namespace) + finally: + sys.argv = old_argv + need(namespace["ROOT"].resolve() == ROOT.resolve(), "PR1345 repository root") + return namespace + + +def find_seed_triple(ops, opts): + movable = [i for i in range(len(ops)) if len(opts[i]) > 1] + by_reg = {} + for i in movable: + for register in (ops[i][1], ops[i][2]): + by_reg.setdefault(register, set()).add(i) + + parent = {i: i for i in movable} + + def find(x): + while parent[x] != x: + parent[x] = parent[parent[x]] + x = parent[x] + return x + + for operation_set in by_reg.values(): + for i, j in itertools.combinations(sorted(operation_set), 2): + a, b = find(i), find(j) + if a != b: + parent[a] = b + + components = {} + for i in movable: + components.setdefault(find(i), []).append(i) + giant = set() + for operation_set in components.values(): + full_product = math.prod(len(opts[i]) for i in operation_set) + if full_product > 200_000: + giant.update(operation_set) + + candidates = set() + for operation_set in by_reg.values(): + for triple in itertools.combinations(sorted(operation_set & giant), 3): + product = math.prod(len(opts[i]) for i in triple) + frame_sensitive = all(len({frame for _, frame in opts[i]}) > 1 + for i in triple) + if product <= 5_000 and frame_sensitive: + candidates.add(triple) + ordered = sorted(candidates, + key=lambda t: (math.prod(len(opts[i]) for i in t), t)) + need(len(ordered) == 200, "complete seed-selected A-triple candidate pool") + index = SEED % len(ordered) + return ordered, index, ordered[index] + + +def make_word(word, ops, choice, frame_sets, wlib): + candidate = copy.deepcopy(word) + flat = [(f, t, s) for f, t, sources in candidate["A"] for s in sources] + need(len(flat) == len(ops), "A operation flattening") + events = [] + for j, (frame, target, source) in enumerate(flat): + if j in choice: + slot, new_frame = choice[j] + key = (slot - 0.5, j) + else: + new_frame = frame + key = (j, j) + events.append((key, j, new_frame, target, source)) + events.sort() + candidate["A"] = [[frame, target, [source]] + for _, _, frame, target, source in events] + # Include the exact PR1345 closure frames used by the option enumerator. + candidate["frames"] = frame_sets + candidate["C"] = wlib.rebuild_C(candidate) + return candidate + + +def profile_payload(profile): + return {str(k): v for k, v in sorted(profile.items())} + + +def profile_sha(profile): + return sha(canonical(profile_payload(profile))) + + +def profile_price_interval(ns, baseline, profile): + """Reprice the full profile delta from rank counts, with signed intervals.""" + low = high = ns["Q"](0) + for rank in set(baseline) | set(profile): + delta_count = profile.get(rank, 0) - baseline.get(rank, 0) + unit_low, unit_high = ns["P"][rank] + if delta_count >= 0: + low += delta_count * unit_low + high += delta_count * unit_high + else: + low += delta_count * unit_high + high += delta_count * unit_low + return low, high + + +def reject_replay(wlib, frame_obj, word): + try: + wlib.replay(word, frame_obj) + except AssertionError: + return True + return False + + +def verify(): + sources = json.loads(SOURCES.read_bytes()) + check_source_pins(sources) + selected = json.loads((ROOT / "certificates/selected-result.json").read_bytes()) + need(selected["kappa"] == SELECTED_KAPPA, "selected conditional kappa") + assembly = json.loads((ROOT / "research/community-frontier1094-audit/ASSEMBLY.json").read_bytes()) + need(assembly["kappa"] == SELECTED_KAPPA, "selected assembly kappa") + bit = assembly["bit_supplier"] + need(bit["pr"] == 589 and bit["commit"] == PR589_HEAD and + bit["word"]["v"] == 111 and bit["word"]["decoder_constant"] == 63, + "selected PR589 supplier identity") + + expected = json.loads((ROOT / "research/e8-bit-p111-tuned/tune/EXPECTED.json").read_bytes()) + need(expected["nine"]["bit_lower"] == BIT_C, "exact PR589 bit saving") + word_path = ROOT / "research/e8-bit-p111-tuned" / expected["word"]["file"] + need(sha(word_path.read_bytes()) == expected["word"]["file_sha256"], + "exact selected tuned word bytes") + need(expected["word"]["local_histogram"] == + {"1": 1323, "2": 1342, "3": 79, "4": 44, "5": 102, "6": 11, "7": 19}, + "selected PR589 baseline profile") + + ns = load_exact_atlas(PACKAGE / "vendor/pr1345/atlas.py") + need(str(ns["C"]) == BIT_C, "PR1345 exact objective c") + need(ns["w"]["v"] == 111 and ns["w"]["R"] == 439, + "PR589 tuned word parameters") + ops, tl, opts = ns["options"]("A") + ordered, seed_index, triple = find_seed_triple(ops, opts) + need(seed_index == 5 and triple == EXPECTED_TRIPLE, + "OS-seed-indexed exact frame-sensitive triple") + need(tuple(tuple(ops[i]) for i in triple) == EXPECTED_OPS, + "selected operation identity and shared target") + common = set(ops[triple[0]][1:]) & set(ops[triple[1]][1:]) & set(ops[triple[2]][1:]) + need(common == {325}, "three operations share only target register 325") + domains = [opts[i] for i in triple] + need([len(x) for x in domains] == [7, 6, 5], "complete individual option counts") + joint_count = math.prod(len(x) for x in domains) + need(joint_count == 210, "complete fixed single-move option product") + + word = ns["w"] + wlib = ns["wlib"] + frame_sets = [[k for k in range(ns["NL"]) if mask >> k & 1] + for mask in ns["masks"]] + expanded_word = copy.deepcopy(word) + expanded_word["frames"] = frame_sets + frame_obj = wlib.Frames(expanded_word) + baseline = wlib.paid(word, frame_obj) + need(profile_payload(baseline) == expected["word"]["local_histogram"], + "baseline full replay profile") + + assignment_rows = [] + profile_classes = {profile_sha(baseline): profile_payload(baseline)} + counts = {"joint_chain_invalid": 0, "profile_tie": 0, "strict_loss": 0, + "strict_improvement": 0, "unresolved": 0} + zero_price = [] + loss_price = [] + home_choice = {i: next(option for option in domains[k] + if option == (i, ops[i][0])) + for k, i in enumerate(triple)} + + for combo in itertools.product(*domains): + choice = {i: option for i, option in zip(triple, combo)} + moves = [(i, q, frame) for i, (q, frame) in choice.items()] + interval = ns["score"]("A", ops, tl, moves) + candidate = make_word(word, ops, choice, frame_sets, wlib) + row = {"moves": [[i, q, frame] for i, (q, frame) in choice.items()]} + if interval is None: + counts["joint_chain_invalid"] += 1 + need(reject_replay(wlib, frame_obj, candidate), + "joint-chain-invalid assignment rejected by full replay") + row.update({"classification": "joint_chain_invalid", + "price_interval": None, "profile_sha256": None, + "full_map_replay": "rejected_by_frame_nesting"}) + else: + lo, hi = interval + price = [str(lo), str(hi)] + try: + profile = wlib.paid(candidate, frame_obj) + except AssertionError as exc: + raise ValueError("scored triple assignment failed full 661-register replay") from exc + direct_interval = profile_price_interval(ns, baseline, profile) + need(lo <= direct_interval[0] <= direct_interval[1] <= hi, + "full-chain score encloses independently aggregated profile price") + phash = profile_sha(profile) + profile_classes[phash] = profile_payload(profile) + equal = profile == baseline + if equal: + need(lo <= 0 <= hi, "profile-preserving move has zero in its exact price enclosure") + need(direct_interval == (0, 0), "equal profiles have exactly zero direct price delta") + counts["profile_tie"] += 1 + zero_price.append(price) + classification = "profile_tie" + elif hi < 0: + counts["strict_improvement"] += 1 + classification = "strict_improvement" + elif lo > 0: + counts["strict_loss"] += 1 + loss_price.append(price) + classification = "strict_loss" + else: + counts["unresolved"] += 1 + classification = "unresolved" + row.update({"classification": classification, + "price_interval": price, "profile_sha256": phash, + "full_map_replay": "passed_661_registers"}) + assignment_rows.append(row) + + need(counts == {"joint_chain_invalid": 46, "profile_tie": 100, + "strict_loss": 64, "strict_improvement": 0, "unresolved": 0}, + "complete 210-assignment outcome census") + need(len(profile_classes) == 2, "only baseline and one changed profile") + need(len(set(tuple(x) for x in zero_price)) == 1 and + len(set(tuple(x) for x in loss_price)) == 1, + "uniform exact tie and loss enclosures") + changed_profiles = [v for key, v in profile_classes.items() + if key != profile_sha(baseline)] + need(changed_profiles == [{"1": 1326, "2": 1342, "3": 78, "4": 44, + "5": 102, "6": 11, "7": 19}], + "single exact changed profile") + need(FractionTextPositive(loss_price[0][0]), "all profile-changing moves strictly worsen price") + + # Positive identity and two semantic/coverage failure controls. + home_word = make_word(word, ops, home_choice, frame_sets, wlib) + need(wlib.paid(home_word, frame_obj) == baseline, + "all-home schedule identity control") + wrong_source = copy.deepcopy(home_word) + wrong_source["A"][triple[0]][2][0] += 1 + wrong_source["C"] = wlib.rebuild_C(wrong_source) + need(reject_replay(wlib, frame_obj, wrong_source), "wrong source operand rejected") + missing_add = copy.deepcopy(home_word) + missing_add["A"].pop(triple[0]) + missing_add["C"] = wlib.rebuild_C(missing_add) + need(reject_replay(wlib, frame_obj, missing_add), "omitted A ADD rejected") + + return { + "status": "PASS_PR589_A_TRIPLE_TRANSPORT_CENSUS", + "base_commit": BASE, + "assignment_seed": SEED, + "track": "bit supplier", + "selected_kappa_unchanged": SELECTED_KAPPA, + "bit_saving_c": BIT_C, + "predecessors": {k: v["head"] for k, v in sources["predecessors"].items() + if "head" in v}, + "word_sha256": expected["word"]["file_sha256"], + "search_domain": { + "section": "A", + "giant_component_gate_count": len(giant_component_indices(opts, ops)), + "eligible_frame_sensitive_triples": len(ordered), + "ordering": "(individual option product, operation index triple)", + "seed_index": seed_index, + "selected_operations": [list(ops[i]) for i in triple], + "shared_register": 325, + "individual_option_domains": [[[q, frame] for q, frame in opts[i]] for i in triple], + "joint_assignments": joint_count, + "option_source": "fixed PR1345 individually legal single-move option lists on unchanged PR589 word", + "joint_construction": "Cartesian product of frozen option lists, then deterministic reinsertion by (slot - 0.5, original_index) and full-chain replay", + "complete_fixed_option_product_coverage": True, + "all_jointly_enabled_frame_options_covered": False, + "all_alternative_commutation_schedules_covered": False + }, + "summary": counts, + "baseline_paid_profile": profile_payload(baseline), + "changed_paid_profile": changed_profiles[0], + "profile_class_sha256": profile_classes, + "profile_preserving_price_interval": zero_price[0], + "profile_worsening_price_interval": loss_price[0], + "assignment_results": assignment_rows, + "controls": { + "all_home_identity": "passed", + "mutated_source_operand": "rejected", + "omitted_A_ADD": "rejected" + }, + "scope": "Exact negative result only for the 210-tuple Cartesian product of fixed individually legal single-move options for one A-section triple on a pinned PR589 word and a deterministic reinsertion order; no exclusion of jointly enabled frame/commutation options, other triples, other move classes, or a better bit supplier." + } + + +def giant_component_indices(opts, ops): + movable = [i for i in range(len(ops)) if len(opts[i]) > 1] + by_reg = {} + for i in movable: + for register in (ops[i][1], ops[i][2]): + by_reg.setdefault(register, set()).add(i) + parent = {i: i for i in movable} + def find(x): + while parent[x] != x: + parent[x] = parent[parent[x]] + x = parent[x] + return x + for operation_set in by_reg.values(): + for i, j in itertools.combinations(sorted(operation_set), 2): + a, b = find(i), find(j) + if a != b: + parent[a] = b + components = {} + for i in movable: + components.setdefault(find(i), []).append(i) + giant = [] + for operation_set in components.values(): + if math.prod(len(opts[i]) for i in operation_set) > 200_000: + giant.extend(operation_set) + return sorted(set(giant)) + + +def FractionTextPositive(text): + from fractions import Fraction + return Fraction(text) > 0 + + +def main(): + write = len(sys.argv) == 2 and sys.argv[1] == "--write" + need(len(sys.argv) == 1 or write, "usage: verify.py [--write]") + result = verify() + if write: + need(not RESULT.exists(), "refusing to overwrite RESULT.json") + RESULT.write_text(json.dumps(result, indent=2) + "\n") + print("WROTE_RESULT " + str(RESULT.relative_to(ROOT))) + return + expected = json.loads(RESULT.read_bytes()) + need(canonical(result) == canonical(expected), "stored result differs from complete replay") + print("PASS_PR589_A_TRIPLE_TRANSPORT seed=5 ops=927,928,930 assignments=210 valid=164 ties=100 losses=64 incompatible=46 controls=3 no_new_kappa") + + +if __name__ == "__main__": + main() diff --git a/research/seed05-bit-reroll-20261013/ASSIGNMENT.json b/research/seed05-bit-reroll-20261013/ASSIGNMENT.json new file mode 100644 index 0000000000..892862f79a --- /dev/null +++ b/research/seed05-bit-reroll-20261013/ASSIGNMENT.json @@ -0,0 +1,173 @@ +{ + "assignment_seed_os_random": 5, + "track": "Bit supplier", + "draw_source": "Python secrets backed by OS randomness", + "drawn_at_utc": "2026-10-13T23:57:05Z", + "base_commit": "bce54fb3f895cbe5cd4c0eb477c3afeed100190f", + "status": "complete scoped negative; packaged verifier passes; submission pending", + "selected_record": { + "kappa": "836330098538459/500000000000000000", + "review": "docs/research/community-batch1099-review.md", + "assembly": "research/community-frontier1094-audit/ASSEMBLY.json", + "bit_supplier": { + "pr": 589, + "head": "a5afc8c6169ea61ba7c51dfd3cade02cc7b13b46", + "merged_as": "b3eb785ac5b4b1ca2beea0f80db078a505626a90", + "path": "research/e8-bit-p111-tuned/tune/EXPECTED.json", + "word": { + "v": 111, + "helpers": 439, + "decoder_constant": 63 + } + } + }, + "candidate_tasks": [ + { + "object": "Exact third-order simultaneous transport on a single selected A register of the PR589 tuned word", + "screened_against": "PR1345 exhausts all single transports and shared-register pairs, with triples explicitly excluded; PR1382 extends only to A/B cross-section pairs; no triple claim was found in the refreshed overlap searches.; PR1382 recent A/B cross-section pair census is pinned at head cf17b06c00c50a22315f210c5f6b5197c860abdd and explicitly excludes triples.", + "decision": "selected; a seed-indexed tuple lies in PR1345s large A component and is not in either pair census" + }, + { + "object": "Reduce the nine pseudo-target decoder total count for the selected 111 live-root word", + "screened_against": "PR1084 and the PR968/1077 exact E8 decoder floors; PR589/PR545 already relies on nine affine-independent puncture classes.", + "decision": "do not repeat covered E8 decoder classes" + }, + { + "object": "Rank-seven retirement of helper 468 at later B/C cuts", + "screened_against": "active Discussion #1362 (seed 17) studies this selected PR589 helper across all later cuts.", + "decision": "claimed by concurrent work; avoid" + } + ], + "selected_scope": { + "section": "A", + "move_family": "three simultaneous individually legal transports, all sharing target register 325; original gate multiset and operands fixed", + "operation_indices": [ + 927, + 928, + 930 + ], + "operations": [ + [ + 282, + 325, + 256 + ], + [ + 282, + 325, + 442 + ], + [ + 282, + 325, + 392 + ] + ], + "common_register": 325, + "seed_rule": "seed 5 selects index 5 from 200 eligible frame-sensitive A triples sorted by exact option product then operation indices", + "method": "Enumerate the frozen Cartesian product, use deterministic reinsertion and PR1345 pinned full-chain moment scorer at PR589 bit c, then full replay each jointly nestable candidate; no exhaustive guarantee for jointly enabled frame/commutation options.", + "fixed_single_move_option_product": "D_927 x D_928 x D_930; 7*6*5=210 tuples from frozen individually legal PR1345 single-move (slot,frame) lists", + "covers_jointly_enabled_new_frame_options": false, + "covers_other_admissible_commutation_orders": false + }, + "expected_deliverable": "Source-pinned exact census over one seed-selected fixed 210-tuple single-move-option product; no claim of completeness for broader joint options. No kappa or supplier-admission claim.", + "expected_finish_utc": "2026-10-14T00:57:05Z", + "coordination": "No pinned sprint coordination issue found; local claim recorded.", + "recent_overlap_refresh": { + "searched_at_utc": "2026-10-14T00:06:08Z", + "terms": [ + "three simultaneous PR589 transport", + "A-register triples bit589", + "third-order transport interaction" + ], + "open_prs": 862, + "discussions": 111, + "pagination_complete": true, + "warnings": [], + "matches": [], + "adjacent_scopes": { + "pr1345": { + "head": "b54a856aa79857d91cd5d65f8f7144e26c8c084f", + "scope": "exact single and same-section shared-register pair transports; excludes triples" + }, + "pr1382": { + "head": "cf17b06c00c50a22315f210c5f6b5197c860abdd", + "scope": "fixed-option A/B cross-section pairs; triples and structural rewrites excluded" + }, + "discussion1362": "active later-cut helper468 retirement claim; selected triple uses A transport registers 231 and distinct operation set" + } + }, + "seed_diversification": { + "universe": "same-section A triples in PR1345s unique large component, with three operations sharing a register, product of exact individual option counts <=5000, and at least two legal frame values for each operation", + "candidate_count": 200, + "sort_rule": "(joint option product, operation-index triple)", + "seed_rule": "seed 5 modulo 200 selects sorted index 5", + "selected_triple": [ + 927, + 928, + 930 + ], + "selected_operations_frame_target_source": [ + [ + 282, + 325, + 256 + ], + [ + 282, + 325, + 442 + ], + [ + 282, + 325, + 392 + ] + ], + "shared_register": 325, + "individual_option_counts": [ + 7, + 6, + 5 + ], + "complete_joint_assignments": 210, + "evidence_pivot": "the first triple chosen from the broader pool, (9,854,1951), had eight options but all kept frames (6,278,471) unchanged. Its optimistic moment/profile change is zero. Pivot once to the 200 frame-sensitive triples so the selected object can affect the paid profile." + }, + "completed_result": { + "package": "research/bit589-shared-register-triple-seed05/", + "classification": "scoped negative result; no new kappa", + "counts": { + "joint_assignments": 210, + "chain_incompatible": 46, + "profile_ties": 100, + "strict_losses": 64, + "strict_improvements": 0, + "unresolved": 0 + }, + "profiles": { + "baseline": { + "1": 1323, + "2": 1342, + "3": 79, + "4": 44, + "5": 102, + "6": 11, + "7": 19 + }, + "changed": { + "1": 1326, + "2": 1342, + "3": 78, + "4": 44, + "5": 102, + "6": 11, + "7": 19 + } + }, + "command": "python3 -I -B research/bit589-shared-register-triple-seed05/verify.py", + "expected_output": "PASS_PR589_A_TRIPLE_TRANSPORT seed=5 ops=927,928,930 assignments=210 valid=164 ties=100 losses=64 incompatible=46 controls=3 no_new_kappa", + "local_result": "PASS on CPython 3.14.7; 210 assignments classified; full replay and all three controls passed", + "pr": "pending final overlap refresh and submission", + "scope": "Fixed product of three single-move option lists and deterministic reinsertion only; 210 tuples, no jointly enabled or alternate commutation completeness." + } +} diff --git a/research/seed05-bit-reroll-20261013/CLAIM.md b/research/seed05-bit-reroll-20261013/CLAIM.md new file mode 100644 index 0000000000..0fba935aee --- /dev/null +++ b/research/seed05-bit-reroll-20261013/CLAIM.md @@ -0,0 +1,13 @@ +# Local sprint claim + +- Track and seed: Bit supplier, OS-random seed 5. +- Exact base: `bce54fb3f895cbe5cd4c0eb477c3afeed100190f`. +- Selected source: merged PR589 head `a5afc8c6169ea61ba7c51dfd3cade02cc7b13b46` in the selected assembly, `v=111`, 439 helpers, decoder constant 63. The bit c does not bind selected κ. +- Object: exact third-order simultaneous transport interaction on the selected PR589 tuned word: A operation indices 927, 928 and 930, all at frame 282 with common target register 325 and distinct sources 256, 442 and 392. +- Proposed method: build the fixed PR1345 single-move frame/slot option lists from the unchanged word and enumerate the complete `7 × 6 × 5 = 210` assignments in their Cartesian product for this triple (not all jointly enabled frames or commutation-dependent options), then compare the exact full-chain price at the inherited bit c. PR1345 covers singles and same-section shared-register pairs but explicitly excludes triples in its large component. PR1382 covers A/B cross-section pairs, not triples. +- Seed diversification: after excluding triples whose legal alternatives all preserve their original frames, there are 200 eligible A triples in the large component, ordered by option product and operation indices. Seed `5 mod 200` selects index 5, `(927,928,930)`. +- Evidence-based pivot: the first triple selected from the broader set, `(9,854,1951)`, had only slot changes and held all three frames fixed, so it could not change the paid profile. The final claim tests frame-sensitive triples. +- Candidate screen: eight-total decoder reduction is covered by PR1084/PR968/PR1077; later-cut rank-seven retirement of helper 468 is actively claimed in Discussion #1362. +- Expected deliverable: source-pinned exact census for the fixed Cartesian product of three individually legal transport option lists for one shared-register triple; result may be a scoped negative, without assuming global triple-placement completeness. Any putative improvement must also survive exact word replay. No assumption that improvement exists; no new κ claim. +- Coordination: no pinned sprint coordination issue found; claim recorded locally. Refresh overlap before handoff. +- Expected finish: 2026-10-14 00:57:05 UTC.