diff --git a/docs/ci-verification.md b/docs/ci-verification.md index 63ba3e9aa8..52b62d0481 100644 --- a/docs/ci-verification.md +++ b/docs/ci-verification.md @@ -1,8 +1,25 @@ # CI verification -## Current selected-family replay: #6030 +## Current selected-family replay: #7000 with #7001 The [selected record](../certificates/selected-result.json) binds conditional +κ = 0.00363005817 to the [application review](research/pr-intake-evidence/pr7000-application/PROOF-REVIEW.md), +[validation receipts](research/pr-intake-evidence/pr7000-application/VALIDATION.json), +and [explicit source closure](../certificates/frontier7000-source.json). +`make frontier7000-verify` follows that exact-source selected replay. The review +reuses eleven authenticated preceding executions and records seven fresh serial +application, scalar and complete native-catalogue executions. The earlier +monolithic timeout is retained separately and is not completed coverage. +Consult the receipts for exact commands, source heads and limits. + +The five inherited framework assumptions remain. No complete uniform word, +literal multiplier execution, independent human proof or formal-kernel proof +is asserted. Routine research submissions do not need to rerun this +selected-family replay. The sections below preserve historical checkpoints. + +## Historical selected-family replay: #6030 + +The [historical checkpoint](../certificates/checkpoints/frontier6030.json) binds conditional κ = 0.003125804 to the [proof review](research/pr-intake-evidence/pr6030-audit/PROOF-REVIEW.md), [validation receipts](research/pr-intake-evidence/pr6030-audit/VALIDATION.json), and [explicit source closure](../certificates/frontier6030-source.json). diff --git a/research/p104-nonunit-output-composition/APPLICATION.md b/research/p104-nonunit-output-composition/APPLICATION.md new file mode 100644 index 0000000000..6fd7f46086 --- /dev/null +++ b/research/p104-nonunit-output-composition/APPLICATION.md @@ -0,0 +1,24 @@ +# Complete conditional composition + +The source is exact PR7130's nonunit-pivot split and complete nested closure. +The construction applies the output rechart mechanism of PR7124, retaining +all scalar coefficients/order, main endpoints, owned operations and the exact +signed 17-stage caller from PR7113. Every changed helper promise and public +transport is recounted. The normalized-coordinate proof is in PROOF.md. + +The early exact native adjoint and both complete directed prices passed. +Full native/application and registered isolated CPython 3.12.14 replay passed, +matching every frozen receipt field. See NATIVE-RESULT.json, RESULT.json and +REPLAY.txt. The complete application has 110,400 paid positions, 22,308 +productive fields, surplus 1,424, ordinary work 778,867,208 and precision +context 2,362. All 3,038 catalogue checks and 104 main boundaries passed. +These checks reconstruct all physical chart maps, absolute phase, main boundaries, +owner bindings, native/caller integer grids, error envelopes, ordinary work, +fixed-tape substitution and all compiler/outer inequalities. The source's native +1125/F25 grid is independently rederived and explicitly used in both precision +paths; stale F24 reuse is rejected. + +The assumptions native_all_columns, owned_erasure, compiler, precision_tape and +analytic_recovery remain. Owned erasure keeps its nonzero-content premise. +Source-aware finite verification is not independent human/formal acceptance, +maintainer admission or literal compiled top-level multiplication execution. diff --git a/research/p104-nonunit-output-composition/CHANGES.json b/research/p104-nonunit-output-composition/CHANGES.json new file mode 100644 index 0000000000..ec40963230 --- /dev/null +++ b/research/p104-nonunit-output-composition/CHANGES.json @@ -0,0 +1,757 @@ +{ + "initial": [], + "final": [ + [ + 226, + 246, + 127 + ], + [ + 234, + 246, + 127 + ], + [ + 236, + 246, + 127 + ], + [ + 297, + 246, + 127 + ], + [ + 299, + 246, + 127 + ], + [ + 393, + 246, + 127 + ], + [ + 449, + 246, + 127 + ], + [ + 484, + 246, + 127 + ], + [ + 485, + 246, + 127 + ], + [ + 707, + 246, + 127 + ], + [ + 990, + 246, + 127 + ], + [ + 998, + 246, + 127 + ], + [ + 1060, + 246, + 127 + ], + [ + 1155, + 246, + 127 + ], + [ + 1208, + 246, + 127 + ], + [ + 1445, + 246, + 127 + ], + [ + 1460, + 246, + 127 + ], + [ + 1461, + 246, + 127 + ], + [ + 1477, + 246, + 127 + ], + [ + 1489, + 246, + 127 + ], + [ + 1490, + 246, + 127 + ] + ], + "scalar": [ + [ + 40337, + 246, + 127 + ], + [ + 40360, + 246, + 127 + ], + [ + 40917, + 246, + 127 + ], + [ + 42499, + 246, + 127 + ], + [ + 42501, + 246, + 127 + ], + [ + 42502, + 246, + 127 + ], + [ + 44218, + 246, + 127 + ], + [ + 44220, + 246, + 127 + ], + [ + 44222, + 246, + 127 + ], + [ + 44253, + 246, + 127 + ], + [ + 44257, + 246, + 127 + ], + [ + 44506, + 246, + 127 + ], + [ + 44508, + 246, + 127 + ], + [ + 44510, + 246, + 127 + ], + [ + 44512, + 246, + 127 + ], + [ + 44514, + 246, + 127 + ], + [ + 44515, + 246, + 127 + ], + [ + 44517, + 246, + 127 + ], + [ + 44519, + 246, + 127 + ], + [ + 44520, + 246, + 127 + ], + [ + 44521, + 246, + 127 + ], + [ + 44522, + 246, + 127 + ], + [ + 44523, + 246, + 127 + ], + [ + 44524, + 246, + 127 + ], + [ + 44526, + 246, + 127 + ], + [ + 44527, + 246, + 127 + ], + [ + 44528, + 246, + 127 + ], + [ + 44529, + 246, + 127 + ], + [ + 44530, + 246, + 127 + ], + [ + 44531, + 246, + 127 + ], + [ + 44532, + 246, + 127 + ], + [ + 44534, + 246, + 127 + ], + [ + 44536, + 246, + 127 + ], + [ + 44537, + 246, + 127 + ], + [ + 44538, + 246, + 127 + ], + [ + 44539, + 246, + 127 + ], + [ + 44540, + 246, + 127 + ], + [ + 44541, + 246, + 127 + ], + [ + 44542, + 246, + 127 + ], + [ + 44543, + 246, + 127 + ], + [ + 44544, + 246, + 127 + ], + [ + 44545, + 246, + 127 + ], + [ + 44546, + 246, + 127 + ], + [ + 44547, + 246, + 127 + ], + [ + 44548, + 246, + 127 + ], + [ + 44549, + 246, + 127 + ], + [ + 44550, + 246, + 127 + ], + [ + 44551, + 246, + 127 + ], + [ + 44553, + 246, + 127 + ], + [ + 44556, + 246, + 127 + ], + [ + 44558, + 246, + 127 + ], + [ + 44560, + 246, + 127 + ], + [ + 44561, + 246, + 127 + ], + [ + 44563, + 246, + 127 + ], + [ + 44565, + 246, + 127 + ], + [ + 44568, + 246, + 127 + ], + [ + 44569, + 246, + 127 + ], + [ + 44570, + 246, + 127 + ], + [ + 44571, + 246, + 127 + ], + [ + 44572, + 246, + 127 + ], + [ + 44573, + 246, + 127 + ], + [ + 44579, + 246, + 127 + ], + [ + 44581, + 246, + 127 + ], + [ + 44582, + 246, + 127 + ], + [ + 44589, + 246, + 127 + ], + [ + 44590, + 246, + 127 + ], + [ + 44592, + 246, + 127 + ], + [ + 44594, + 246, + 127 + ], + [ + 44678, + 246, + 127 + ], + [ + 44696, + 246, + 127 + ], + [ + 44796, + 246, + 127 + ], + [ + 44797, + 246, + 127 + ], + [ + 44798, + 246, + 127 + ], + [ + 44799, + 246, + 127 + ], + [ + 44800, + 246, + 127 + ], + [ + 44801, + 246, + 127 + ], + [ + 44802, + 246, + 127 + ], + [ + 44803, + 246, + 127 + ], + [ + 44804, + 246, + 127 + ], + [ + 44805, + 246, + 127 + ], + [ + 44806, + 246, + 127 + ], + [ + 44807, + 246, + 127 + ], + [ + 44808, + 246, + 127 + ], + [ + 44809, + 246, + 127 + ], + [ + 44810, + 246, + 127 + ], + [ + 44811, + 246, + 127 + ], + [ + 44812, + 246, + 127 + ], + [ + 44813, + 246, + 127 + ], + [ + 44814, + 246, + 127 + ], + [ + 44815, + 246, + 127 + ], + [ + 44816, + 246, + 127 + ], + [ + 44817, + 246, + 127 + ], + [ + 44818, + 246, + 127 + ], + [ + 44819, + 246, + 127 + ], + [ + 44820, + 246, + 127 + ], + [ + 44821, + 246, + 127 + ], + [ + 44822, + 246, + 127 + ], + [ + 44823, + 246, + 127 + ], + [ + 44824, + 246, + 127 + ], + [ + 44825, + 246, + 127 + ], + [ + 44826, + 246, + 127 + ], + [ + 44827, + 246, + 127 + ], + [ + 44833, + 246, + 127 + ], + [ + 44834, + 246, + 127 + ], + [ + 44835, + 246, + 127 + ], + [ + 44841, + 246, + 127 + ], + [ + 44842, + 246, + 127 + ], + [ + 44844, + 246, + 127 + ], + [ + 44845, + 246, + 127 + ], + [ + 44846, + 246, + 127 + ], + [ + 72985, + 246, + 127 + ], + [ + 72986, + 246, + 127 + ], + [ + 72987, + 246, + 127 + ], + [ + 72988, + 246, + 127 + ], + [ + 72989, + 246, + 127 + ], + [ + 74158, + 246, + 127 + ], + [ + 74159, + 246, + 127 + ], + [ + 74160, + 246, + 127 + ], + [ + 74161, + 246, + 127 + ], + [ + 74162, + 246, + 127 + ], + [ + 74163, + 246, + 127 + ], + [ + 74164, + 246, + 127 + ], + [ + 74173, + 246, + 127 + ], + [ + 74174, + 246, + 127 + ], + [ + 74175, + 246, + 127 + ], + [ + 74176, + 246, + 127 + ], + [ + 74177, + 246, + 127 + ], + [ + 74178, + 246, + 127 + ], + [ + 74179, + 246, + 127 + ] + ] +} diff --git a/research/p104-nonunit-output-composition/DISCOVERY.json b/research/p104-nonunit-output-composition/DISCOVERY.json new file mode 100644 index 0000000000..aedef42495 --- /dev/null +++ b/research/p104-nonunit-output-composition/DISCOVERY.json @@ -0,0 +1,32 @@ +{ + "status": "FLOATING_NOMINATION_ONLY", + "mode": "exit", + "source_sha256": "a32696e806c5cde0510cdf2f494e1f14ebb01e73d4ec577413fd7e7c0d9d68b2", + "candidate_sha256": "9557c4682056ab7cc7cda89aa73865bef0e3948cc10b3c3061b0a944af05b96a", + "native_delta": { + "T": { + "9": 18, + "2": 2, + "8": -18, + "5": -1, + "6": 1, + "1": -2 + }, + "P": { + "1": -35, + "2": 12, + "4": -8, + "3": 8, + "5": 8 + } + }, + "mutable_nodes": 69010, + "method": "1337isnot1337/OpenAI Codex alpha expansion; Rohan Arun/OpenAI Codex current-tariff graph adapter.", + "passes": 2, + "termination": "No improving alpha move in second pass", + "changed_helper_outputs": 21, + "changed_scalar_contacts": 129, + "graph_nodes": 71350, + "graph_edges": 134309, + "candidate_frames": 1095 +} diff --git a/research/p104-nonunit-output-composition/EARLY-RESULT.json b/research/p104-nonunit-output-composition/EARLY-RESULT.json new file mode 100644 index 0000000000..b115d998a2 --- /dev/null +++ b/research/p104-nonunit-output-composition/EARLY-RESULT.json @@ -0,0 +1,201 @@ +{ + "status": "PASS_EXACT_NATIVE_AND_PRICE_ONLY", + "word_sha256": "9557c4682056ab7cc7cda89aa73865bef0e3948cc10b3c3061b0a944af05b96a", + "native": { + "public": 1492, + "events": 74591, + "paid": { + "1": 3993, + "2": 854, + "3": 827, + "4": 224, + "5": 341, + "6": 16, + "7": 11, + "8": 6 + }, + "helpers": { + "1": 16, + "2": 20, + "3": 47, + "4": 218, + "5": 74, + "6": 43, + "7": 18, + "8": 35, + "9": 621 + }, + "rises": { + "1": 10, + "2": 4, + "3": 1, + "4": 6, + "5": 1, + "6": 1 + }, + "owned_peak": 43, + "lifetimes": 54, + "bad_inputs": [] + }, + "native_delta": { + "T": { + "1": -2, + "2": 2, + "5": -1, + "6": 1, + "8": -18, + "9": 18 + }, + "P": { + "1": -35, + "2": 12, + "3": 8, + "4": -8, + "5": 8 + } + }, + "invoice": { + "P": { + "1": 68265, + "16": 416, + "2": 14518, + "24": 416, + "3": 14059, + "32": 416, + "4": 3808, + "40": 416, + "48": 416, + "5": 5797, + "56": 416, + "6": 272, + "64": 208, + "7": 187, + "8": 758, + "9": 32 + }, + "S": 1424, + "T": { + "1": 272, + "137": 208, + "17": 416, + "2": 340, + "25": 416, + "3": 799, + "33": 416, + "4": 3706, + "41": 416, + "49": 416, + "5": 1258, + "57": 416, + "6": 731, + "65": 416, + "7": 306, + "73": 208, + "8": 595, + "9": 10973 + }, + "empty_root_credits": 0 + }, + "gate": { + "claim": "3642408496869/1000000000000000", + "tested": "364240849686907/100000000000000000", + "raw_bracket": [ + "36424084968693169933964196366183/10000000000000000000000000000000000", + "4553010621086646241745524545773/1250000000000000000000000000000000" + ], + "moment_margins": { + "36424084968693169933964196366183/10000000000000000000000000000000000": [ + "187638419132676185812036537536839420100383559531923/12500000000000000000000000000000000000000000000000000000000000000000000000000000", + "750553676530704743248146150147357680401534257485899/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "4553010621086646241745524545773/1250000000000000000000000000000000": [ + "-475838385881126595975213826899193397895189328050629/20000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-2379191929405632979876069134495966989475946600991499/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364240849686907/100000000000000000": [ + "2396020747253035581302553685786103857610081739390219623253277840874727/25000000000000000000000000000000000000000000000000000000000000000000000000000000", + "239602074725303558130255368578610385761008173939021962325327785059817/2500000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "moment_margin_float": { + "36424084968693169933964196366183/10000000000000000000000000000000000": [ + 1.5011073530614094e-29, + 1.5011073530614094e-29 + ], + "4553010621086646241745524545773/1250000000000000000000000000000000": [ + -2.379191929405633e-29, + -2.379191929405633e-29 + ], + "364240849686907/100000000000000000": [ + 9.584082989012143e-11, + 9.584082989012143e-11 + ] + }, + "derivative_upper": -381949.8486859147, + "alpha": [ + 0.9999999999999997, + 0.9999999999999997 + ], + "gamma": [ + 0.9408986995419518, + 0.9408986995419518 + ], + "delta": [ + 0.9019663367095151, + 0.9019663367095151 + ], + "minimum_log_power": 2235, + "written_log_power": 2236, + "compiler_gap": "1/100000000000000000", + "H": "16502900000000000000000", + "BIT_pin": "376669/100000000", + "BIT_margin": "12428150313093/100000000000000000", + "outer": { + "strict_count": 54, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "BIT_just_below_effective_rejected": true + }, + "input_lift": { + "margins": { + "3642408496869/1000000000000000": [ + "124275106365520551379855848850723162292503069300292278027520160547922417998319/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124275106365520551379855848850723162292503069300292278027520160547922418000243/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364240849686907/100000000000000000": [ + "124275106365522837880548224256348648322779138259472078906655111790416942642193/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124275106365522837880548224256348648322779138259472078906655111790416942644151/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "interval_kappa_cap": "376669/100000000", + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + } + }, + "price": { + "claim_decimal": "0.003642408496869", + "previous_claim": "3642219284637/1000000000000000", + "gain": "1.89212232E-7", + "gain_exact": "23651529/125000000000000", + "raw_bracket": [ + "0.0036424084968693169933964196366183", + "0.0036424084968693169933964196366184" + ], + "independent_raw_bracket": [ + "0.00364240849686931699339641963661833", + "0.00364240849686931699339641963661834" + ], + "candidate_margin_at_old_upper": [ + "7342003716227063123481474642367397001715979664055708969839165248446819348758371/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "3671001858113531561740737321183698500857989832027854484919582624223409691731707/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "baseline_rejects_new_claim": true + }, + "pending": [ + "fresh integer grid", + "all affected physical chart maps", + "complete caller replay", + "ordinary and precision bounds", + "full source application" + ] +} \ No newline at end of file diff --git a/research/p104-nonunit-output-composition/ENVIRONMENT.json b/research/p104-nonunit-output-composition/ENVIRONMENT.json new file mode 100644 index 0000000000..ed616e5283 --- /dev/null +++ b/research/p104-nonunit-output-composition/ENVIRONMENT.json @@ -0,0 +1,7 @@ +{ + "python": "3.12.14 (main, Aug 12 2026, 13:57:54) [Clang 21.0.0 (clang-2100.1.1.101)]", + "platform": "macOS-27.0.1-arm64-arm-64bit", + "verification_status": "PASS_REGISTERED_RESEARCH_PACKAGE", + "completed_at": "2026-11-10T22:23:44.095169+00:00", + "registered_command": "python3.12 -B scripts/research_package.py --package research/p104-nonunit-output-composition" +} diff --git a/research/p104-nonunit-output-composition/INPUTS.json b/research/p104-nonunit-output-composition/INPUTS.json new file mode 100644 index 0000000000..5474826692 --- /dev/null +++ b/research/p104-nonunit-output-composition/INPUTS.json @@ -0,0 +1,133 @@ +{ + "source_head": "161e482bc2d8c78ecef96135430c60d49b8fc345", + "prefix": "research/p104-nonunit-pivot-split", + "archive": "inputs/pr7130.tar", + "archive_sha256": "585abeb047f4c4b2d84a9a74c167fe9845850ed7521ea9f560031d5d5c82d084", + "files": [ + { + "path": "research/p104-nonunit-pivot-split/APPLICATION.md", + "size": 7289, + "sha256": "ecd91346194f85437f40fb04ffd2c1fa7279072c106e53fc5b7664586926d93f" + }, + { + "path": "research/p104-nonunit-pivot-split/DISCOVERY.json", + "size": 5508, + "sha256": "df2afbb1fe0e4d4cecf4352aa2e63a3eaea6f9460cdd34f37cf63ca07fb0ccf6" + }, + { + "path": "research/p104-nonunit-pivot-split/ENVIRONMENT.json", + "size": 676, + "sha256": "2c8df323b5b4d69e6ffc9b16d66726b6529043d24b24969b3a4d7dbea36493f7" + }, + { + "path": "research/p104-nonunit-pivot-split/INPUTS.json", + "size": 7578, + "sha256": "df1a91654e2fca4567d903461b1caf31486180eaa56f018aff5c7d1a45f8e5b7" + }, + { + "path": "research/p104-nonunit-pivot-split/NATIVE-RESULT.json", + "size": 74263, + "sha256": "b2508bb1f9a1490b6b6e1c33f494b0c9d10380aaaec9a63f1df6fe7aa93ae1ae" + }, + { + "path": "research/p104-nonunit-pivot-split/PROOF.md", + "size": 5718, + "sha256": "eb6bec518c80157283f9ae6b110e50aa2e031ed2981efd4c24cc5ff5d4d8881f" + }, + { + "path": "research/p104-nonunit-pivot-split/README.md", + "size": 5719, + "sha256": "1e048941ec672ed33947c4febe944d86ea2e67760ac7add8eb06908b38fdb9df" + }, + { + "path": "research/p104-nonunit-pivot-split/REPLAY.txt", + "size": 3837, + "sha256": "502f8965b68945c0ea7366a305bd9749d51519aaa775644acb0e74401e129592" + }, + { + "path": "research/p104-nonunit-pivot-split/RESULT.json", + "size": 76782, + "sha256": "73680ba4f2bb411d0deb967d0cb8c4c90aa2d3b8d36d61ce1282c74b81fe9b3c" + }, + { + "path": "research/p104-nonunit-pivot-split/SOURCES.json", + "size": 856, + "sha256": "8b58a30ae55396b8d108de4ee2c7c6ac75dc1096948c9ac3796c20b21b1c9372" + }, + { + "path": "research/p104-nonunit-pivot-split/TASK.json", + "size": 11980, + "sha256": "091134058847980d7ba7eae322099dd5442de898db8ab801a88436682ec13c35" + }, + { + "path": "research/p104-nonunit-pivot-split/VALIDATION.md", + "size": 3599, + "sha256": "e6587306b667f5e203583380bd6164ab57ea1ab3cb0747b963a94cacf3cdcde6" + }, + { + "path": "research/p104-nonunit-pivot-split/VERIFY.json", + "size": 1112, + "sha256": "36c07c4ebde58dd7fbcad857356424c31fd9a0256e0a7ab2c4f1afe9bf83fcf8" + }, + { + "path": "research/p104-nonunit-pivot-split/WITNESS.json", + "size": 10335, + "sha256": "031afbf36c1a0f0b4a3f31137c705ef2d33c2983382efbf9201a7c885dfd7ac0" + }, + { + "path": "research/p104-nonunit-pivot-split/WORD.json.gz", + "size": 371002, + "sha256": "250ec5734ad5fa70f0178b1562d74894192f5263d96a99400e5a8b066681ada1" + }, + { + "path": "research/p104-nonunit-pivot-split/adapt.py", + "size": 3163, + "sha256": "420d3827e8c683e2b1bed9282e6309db013a76b455fce74095a72661dabe7e66" + }, + { + "path": "research/p104-nonunit-pivot-split/construct.py", + "size": 3061, + "sha256": "42ffab76b8664088f444ba7d815537a541af72c5fa5eef897989b90399b9e564" + }, + { + "path": "research/p104-nonunit-pivot-split/derive_grid.py", + "size": 1510, + "sha256": "ceb7a44ef19d72a16db7b43c65c85910d965499d1715436011de32af5d39dbb0" + }, + { + "path": "research/p104-nonunit-pivot-split/inputs/pr7123.tar", + "size": 9799680, + "sha256": "834098d9b40ed09035fe6128b90805517dba7c9332ef191d55c48b40e72bb620" + }, + { + "path": "research/p104-nonunit-pivot-split/price.py", + "size": 3642, + "sha256": "1e4db6d057fb7d645e60f1646709ab36a838f3158ecef3c1713891b16d32ecfd" + }, + { + "path": "research/p104-nonunit-pivot-split/source.py", + "size": 3430, + "sha256": "db9338f5e96ffaa7ec21ac10872c931bdd99aeecab12ed5c9506d20bf9f34dd1" + }, + { + "path": "research/p104-nonunit-pivot-split/split.py", + "size": 6551, + "sha256": "999b9eeabe5cd1a7e3ec014d1a449f850b4ac9bfb19749cddef41ae12cd0b405" + }, + { + "path": "research/p104-nonunit-pivot-split/support.py", + "size": 606, + "sha256": "f3e6eeb879480715c5c32c1a390a63c57d26ea1c9a9cbdb89b83ca34260e47f6" + }, + { + "path": "research/p104-nonunit-pivot-split/verify.py", + "size": 3446, + "sha256": "b4ea05f1d046430e8bc2618053c1aed01795c2ad2ec61c17b933ad693d959a4b" + }, + { + "path": "research/p104-nonunit-pivot-split/verify_native.py", + "size": 14734, + "sha256": "a2f247ae4560c05f943f59a8131d4bdb70951b46a320b9b80d9dda045a5597e8" + } + ] +} diff --git a/research/p104-nonunit-output-composition/NATIVE-RESULT.json b/research/p104-nonunit-output-composition/NATIVE-RESULT.json new file mode 100644 index 0000000000..e6f84fc206 --- /dev/null +++ b/research/p104-nonunit-output-composition/NATIVE-RESULT.json @@ -0,0 +1,3159 @@ +{ + "caller": { + "bad_outputs": [], + "caller_denominator_height_bound": 431, + "caller_mass_bound": "2031778024781380738667307850969872261300825114412066667930609010754885615256246771273722516797028373875488084463456734932931819440254377992064287155336455679722182496470290893143689397339193405421398373633/137438953472", + "caller_mass_ceiling_bits": 642, + "max_terms": 3998 + }, + "charts": { + "new_pairs": [ + [ + 259, + 127 + ], + [ + 723, + 127 + ], + [ + 724, + 127 + ], + [ + 807, + 127 + ], + [ + 901, + 127 + ], + [ + 903, + 127 + ], + [ + 1068, + 127 + ], + [ + 1072, + 127 + ] + ], + "rechecked_pairs": [ + { + "columns": 512, + "pair": [ + 3, + 127 + ], + "rank": 9 + }, + { + "columns": 512, + "pair": [ + 3, + 1027 + ], + "rank": 5 + }, + { + "columns": 512, + "pair": [ + 259, + 127 + ], + "rank": 6 + }, + { + "columns": 512, + "pair": [ + 723, + 127 + ], + "rank": 3 + }, + { + "columns": 512, + "pair": [ + 724, + 127 + ], + "rank": 3 + }, + { + "columns": 512, + "pair": [ + 807, + 127 + ], + "rank": 3 + }, + { + "columns": 512, + "pair": [ + 901, + 127 + ], + "rank": 2 + }, + { + "columns": 512, + "pair": [ + 903, + 127 + ], + "rank": 2 + }, + { + "columns": 512, + "pair": [ + 1027, + 127 + ], + "rank": 4 + }, + { + "columns": 512, + "pair": [ + 1068, + 127 + ], + "rank": 3 + }, + { + "columns": 512, + "pair": [ + 1072, + 127 + ], + "rank": 3 + } + ], + "wrong_phase_rejected": true + }, + "controls": { + "duplicate_scalar_edit": true, + "insufficient_fractional_grid": true, + "insufficient_odd_grid": true, + "omitted_output_rechart": true, + "wrong_move_source": true, + "wrong_scalar_coefficient": true, + "wrong_source_output": true, + "wrong_source_scalar": true + }, + "derived_grid": { + "coefficient_visits": 15457099, + "fractional_bits": 25, + "mass_witness": [ + 65191, + "stored" + ], + "odd_scale": 1125, + "scaled_maximum_mass": "814448574117075/8192", + "unscaled_maximum_mass": "10859314321561/122880" + }, + "forward": { + "coefficient_positions": 2380849, + "fractional_bits": 25, + "grid": 1125, + "rows": 1543 + }, + "gate": { + "BIT_margin": "12488088630593/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16495300000000000000000", + "alpha": [ + 1.0, + 1.0 + ], + "claim": "1820904556847/500000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.8819471149318463, + 0.8819471149318463 + ], + "derivative_upper": -407243.55228057853, + "gamma": [ + 0.9500551070405945, + 0.9500551070405945 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "1820904556847/500000000000000": [ + "31063881948369873212736245389790206957535005605732863378151943093778881799183/25000000000000000000000000000000000000000000000000000000000000000000000000000000", + "31063881948369873212736245389790206957535005605732863378151943093778881799667/25000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364180911369407/100000000000000000": [ + "124255527793481779384999127994100128332209987793302997734606971173267282020377/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "4970221111739271175399965119764005133288399511732119909384278846930691280893/4000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2234, + "moment_margin_float": { + "18209045568470392809315402162023/5000000000000000000000000000000000": [ + 1.6495761762250443e-29, + 1.6495761762250443e-29 + ], + "364180911369407/100000000000000000": [ + 3.5465449708337695e-12, + 3.5465449708337695e-12 + ], + "36418091136940785618630804324047/10000000000000000000000000000000000": [ + -2.492682275605578e-29, + -2.492682275605578e-29 + ] + }, + "moment_margins": { + "18209045568470392809315402162023/5000000000000000000000000000000000": [ + "824788088112522130438665568455299110706492529333047/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "824788088112522130438665568455299110706492550287141/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364180911369407/100000000000000000": [ + "35465449708337695611779134205843267255636297654589331197505192599757/10000000000000000000000000000000000000000000000000000000000000000000000000000000", + "177327248541688478058895671029216336278181488272946655987525983923169/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "36418091136940785618630804324047/10000000000000000000000000000000000": [ + "-623170568901394501704195739794726206420064476495789/25000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-1246341137802789003408391479589452412840128932130663/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "18209045568470392809315402162023/5000000000000000000000000000000000", + "36418091136940785618630804324047/10000000000000000000000000000000000" + ], + "tested": "364180911369407/100000000000000000", + "written_log_power": 2235 + }, + "grid": { + "dyadic_height": 25, + "maximum_scaled_mass": "814448574117075/8192", + "odd_divisions": { + "ADD": 5365, + "SCALE": 71 + }, + "odd_grid_lcm": 1125, + "opcodes": { + "ADD": 64504, + "CLEAR": 54, + "COPY": 1, + "INIT": 54, + "MOVE": 6272, + "SCALE": 3706 + }, + "owned_lifetimes": 54, + "owned_peak": 43, + "owned_rise_mass": 56, + "owned_rises": { + "1": 10, + "2": 4, + "3": 1, + "4": 6, + "5": 1, + "6": 1 + }, + "paid": { + "1": 3993, + "2": 854, + "3": 827, + "4": 224, + "5": 341, + "6": 16, + "7": 11, + "8": 6 + } + }, + "invoice": { + "P": { + "1": 72258, + "16": 416, + "2": 15372, + "24": 416, + "3": 14886, + "32": 416, + "4": 4032, + "40": 416, + "48": 416, + "5": 6138, + "56": 416, + "6": 288, + "64": 416, + "7": 198, + "8": 780, + "9": 32 + }, + "S": 1520, + "T": { + "1": 288, + "145": 208, + "17": 416, + "2": 360, + "25": 416, + "3": 846, + "33": 416, + "4": 3924, + "41": 416, + "49": 416, + "5": 1332, + "57": 416, + "6": 774, + "65": 416, + "7": 324, + "73": 416, + "8": 630, + "9": 11594 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036418091136940785618630804324046398231108803950541862568162850303", + "raw_crossing": "0.0036418091136940785618630804324046398231108803950541862568162850303" + }, + "limitations": [ + "Five inherited framework assumptions remain.", + "Source-aware retained engines are not independent human/formal acceptance.", + "The complete 17-stage application is checked separately." + ], + "native": { + "bad_inputs": [], + "events": 74591, + "helpers": { + "1": 16, + "2": 20, + "3": 47, + "4": 218, + "5": 74, + "6": 43, + "7": 18, + "8": 35, + "9": 621 + }, + "lifetimes": 54, + "owned_peak": 43, + "paid": { + "1": 3993, + "2": 854, + "3": 827, + "4": 224, + "5": 341, + "6": 16, + "7": 11, + "8": 6 + }, + "public": 1492, + "rises": { + "1": 10, + "2": 4, + "3": 1, + "4": 6, + "5": 1, + "6": 1 + } + }, + "ordinary": { + "caller_items": { + "A": { + "envelope": 124674048, + "field_boundary": 94848, + "fused_routes": 0, + "idle_routes": 185472000, + "output_routes": 229056000, + "query_routes": 1152000, + "thin": 6144 + }, + "B": { + "envelope": 39515136, + "field_boundary": 7904, + "fused_routes": 1168000, + "idle_routes": 19552000, + "output_routes": 19088000, + "query_routes": 0, + "thin": 0 + } + }, + "caller_total": 619786080, + "conservative_total": 852670384, + "extra_B_scalar_surcharge": 784256, + "init_clear_allowance": 216, + "lambda_paid_rank1_would_reduce_S_by": 14384, + "lambda_second_charge": 14384000, + "margin_to_billion": 147329616, + "odd_divisions": { + "ADD": 5365, + "SCALE": 71 + }, + "per_input_conversion": 2793024, + "raw_upper": 834709104, + "route_items": { + "first_main_adapter": 416, + "first_main_boundary": 208, + "helper_boundary": 2184, + "moves": 6272, + "owned_lifetime": 216, + "second_main_adapter": 384, + "second_main_boundary": 192 + }, + "routing": 9872000, + "scalar_upper": 2068168 + }, + "physical_checks": [ + "verify_host3_odd.py", + "physical.py" + ], + "precision": { + "Kstar_bits": 14093, + "caller": { + "denominator_height": 431, + "maximum_mass": "2031778024781380738667307850969872261300825114412066667930609010754885615256246771273722516797028373875488084463456734932931819440254377992064287155336455679722182496470290893143689397339193405421398373633/137438953472", + "pre_joint_height": 426, + "pre_joint_mass": "766527916529583301313228867197686200815349463045311717713050641430930492401493758087731346459407655106441982454343595473292801327075604294093436993244143470221321807686760749419510412771973080166736111/17179869184" + }, + "context_c": 1342, + "context_height": 451, + "context_mass_bits": 671, + "rounded_caller": { + "bounds": { + "E_joint_entrance": { + "exact": "45956158967679222815782826579562263162421191735534710280517795234696013835395819021138749508383511804045148407599664318133401561966546587499275528912742005295320999450297854639196186414689082278646035163700106829222866057031767964944930357839243808896110442960287133798375374763851202761718953283327694352465031782451/236574025616993083824920739000090624000000000000000000000", + "strict_power_of_two": 865, + "witness": { + "cut": 4982, + "event": 4982, + "factor": "1", + "kind": "stored", + "register": 39 + } + }, + "Gamma_context": { + "exact": "29616632601997843111733214466704770891916473704753886606841664114387844129182021457891304570899565697259931346107770588468378690555179300803108679994510559005523362532441943722469533405221257395724722915777692113020439714210040978198916128199895030756638748408951873722752497554803635171401514239492529651396980077829191/1135555322961566802359619547200434995200000000000000000000", + "strict_power_of_two": 872, + "witness": { + "cut": 5112, + "factor": "1", + "kind": "public-return", + "register": 75 + } + }, + "M_caller": { + "exact": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", + "strict_power_of_two": 619, + "witness": { + "cut": 5076, + "event": 5075, + "factor": "1", + "kind": "stored", + "register": 75 + } + }, + "M_context": { + "exact": "8832691684299359833408959580233547684673543630490499776586337351490133944555111889127632362311959854894438864007994000792547613465209960330801154610282082443869419121058207060719532940892367317969424360538532868464385994494273274953182652435885336375204808492718597845710976755400294016082105492169075252692626986952769909/757036881974377868239746364800289996800000000000000000000", + "strict_power_of_two": 881, + "witness": { + "cut": 4983, + "event": 4982, + "factor": "1", + "kind": "stored", + "register": null + } + }, + "M_joint_entrance": { + "exact": "66231921216838714175335242310174311625441766070329537281095337280001689425837300045521194678022507207573740758259597518292006513594483309822197449388620837179777160688120985448681075810705/4096", + "strict_power_of_two": 612, + "witness": { + "cut": 4982, + "event": 4982, + "factor": "1", + "kind": "stored", + "register": 39 + } + }, + "Sigma_caller": { + "exact": "29616632601997843111733214466704770891916473704753886606841664114387844129182021457891304570899565697259931346107770588468378690555179300803108679994510559005523362532441943722469533405221257395724722915777692113020439714210040978198916128199895030756638748408951873722752497554803635171401514239492529651396980077829191/1135555322961566802359619547200434995200000000000000000000", + "strict_power_of_two": 872, + "witness": { + "cut": 5098, + "event": 5097, + "factor": "1", + "kind": "stored", + "register": 75 + } + }, + "Sigma_context": { + "exact": "91930728196880398020535165539921140663282336398213488386156138280712345003355360159668332866240607333515102052639261113851978502595366680741174842839175789230621516164716252492641651536319166386893721161373300174843978257315526582250213915306195068353638262981845192382849835230031974088067472149270286772747725708305919930401315470586176339174684190661234155215507499559248140065761689288597547632876255138437559606098888850862261411960307834923745297/655866440585504295186659233010595682288897598376131487118386096242688000000000000000000000000000000000000000000", + "strict_power_of_two": 1134, + "witness": { + "cut": 4983, + "event": 4982, + "factor": "1", + "kind": "stored", + "register": null + } + } + }, + "fresh_arbitrary_helpers": 19656, + "helper_allocation_premise": "distinct (stage, helper) public inputs as in frozen caller proof", + "independent_adjoint": { + "E_joint_entrance": { + "entrance_mass": "66231921216838714175335242310174311625441766070329537281095337280001689425837300045521194678022507207573740758259597518292006513594483309822197449388620837179777160688120985448681075810705/4096", + "joint_coefficient": "3341262452763736608333208973454412950850413153418406702391448781717870354386212730465850137279766193453853839111325961239001898880600732238129365028446669327062277635590277335176110963/4096", + "primitive_coefficient": "97386365324171280012900240624596584740208335418838768849197300645798627964098858911945347609583363839763283834626254278123625524137460265198827318958269714035256037492260512470970582090841/16384", + "residual_mass": "45956158967679222815782826579562263162421191735534710280517795234696013835395819021138749508383511804045148407599664318133401561966546587499275528912742005295320999450297854639196186414689082278646035163700106829222866057031767964944930357839243808896110442960287133798375374763851202761718953283327694352465031782451/236574025616993083824920739000090624000000000000000000000" + }, + "Gamma_context": { + "entrance_mass": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", + "joint_coefficient": "3588816846070975662189139150385916018049768310935423284247506919489598097879366381598784768436344948623399851427080856173768395141863135887379886323692161717893814936281078874126758254305/32768", + "primitive_coefficient": "104601728656160061800829059188189517089489205649710398563826603344774845615386975930430446869514605732253126838851071709850611632285445276658068751933727423823199247050168422471008254528236067/131072", + "residual_mass": "29616632601997843111733214466704770891916473704753886606841664114387844129182021457891304570899565697259931346107770588468378690555179300803108679994510559005523362532441943722469533405221257395724722915777692113020439714210040978198916128199895030756638748408951873722752497554803635171401514239492529651396980077829191/1135555322961566802359619547200434995200000000000000000000" + }, + "M_caller": { + "entrance_mass": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", + "joint_coefficient": "3588816846070975662189139150385916018049768310935423284247506919489598097879366381598784768436344948623399851427080856173768395141863135887379886323692161717893814936281078874126758254305/32768", + "primitive_coefficient": "104601728656160061800829059188189517089489205649710398563826603344774845615386975930430446869514605732253126838851071709850611632285445276658068751933727423823199247050168422471008254528104995/131072", + "residual_mass": "29616632601997843111733214466704770891916473704753886606841664114387844129182021457891304570899565697259931346107770588468378690555179300803108679994510559005523362532441943722469533405221257395724722915777692113020439714210040978198916128199895030756638748408950738167429535988001275551854313804497329651396980077829191/1135555322961566802359619547200434995200000000000000000000" + }, + "M_joint_entrance": { + "entrance_mass": "66231921216838714175335242310174311625441766070329537281095337280001689425837300045521194678022507207573740758259597518292006513594483309822197449388620837179777160688120985448681075810705/4096", + "joint_coefficient": "3341262452763736608333208973454412950850413153418406702391448781717870354386212730465850137279766193453853839111325961239001898880600732238129365028446669327062277635590277335176110963/4096", + "primitive_coefficient": "97386365324171280012900240624596584740208335418838768849197300645798627964098858911945347609583363839763283834626254278123625524137460265198827318958269714035256037492260512470970582090841/16384", + "residual_mass": "45956158967679222815782826579562263162421191735534710280517795234696013835395819021138749508383511804045148407599664318133401561966546587499275528912742005295320999450297854639196186414689082278646035163700106829222866057031767964944930357839243808896110442960287133798375374763851202761718953283327694352465031782451/236574025616993083824920739000090624000000000000000000000" + }, + "Sigma_caller": { + "entrance_mass": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", + "joint_coefficient": "3588816846070975662189139150385916018049768310935423284247506919489598097879366381598784768436344948623399851427080856173768395141863135887379886323692161717893814936281078874126758254305/32768", + "primitive_coefficient": "104601728656160061800829059188189517089489205649710398563826603344774845615386975930430446869514605732253126838851071709850611632285445276658068751933727423823199247050168422471008254528236067/131072", + "residual_mass": "29616632601997843111733214466704770891916473704753886606841664114387844129182021457891304570899565697259931346107770588468378690555179300803108679994510559005523362532441943722469533405221257395724722915777692113020439714210040978198916128199895030756638748408951873722752497554803635171401514239492529651396980077829191/1135555322961566802359619547200434995200000000000000000000" + } + }, + "joint_entries": [ + { + "entrance_defect": "4384", + "entrance_mass": "23859/2", + "event": 49, + "stage": 1 + }, + { + "entrance_defect": "5823402468042658127515629298431357754773937703831754798029696780575777440660611097679594926444698421123062410306671952537417821003871702561/43317997854674026579270154846208000000000000000000000", + "entrance_mass": "44760984243/4", + "event": 144, + "stage": 2 + }, + { + "entrance_defect": "16693087564645519352667131388584477127723327194746803769501795363046716750954219891821336497892985172995190212093511028167784892508785581630626127619/2772351862699137701073289910157312000000000000000000000", + "entrance_mass": "8019347752894898813/16", + "event": 275, + "stage": 3 + }, + { + "entrance_defect": "215422192633591090026718421101229688867395740192060130939534377095327027017481888573524455851217236775618110445459047663644854516807096794436788055030581263/138617593134956885053664495507865600000000000000000000", + "entrance_mass": "258721681913211409397548013/2", + "event": 435, + "stage": 4 + }, + { + "entrance_defect": "765172015674055005502204944260753106338692998376563830162002339943020354226413412740488867268351143841808084380333318986486025327611655744464974538044974639593124711/924117287566379233691096636719104000000000000000000000", + "entrance_mass": "1102764325780487636837595009524032653/16", + "event": 627, + "stage": 5 + }, + { + "entrance_defect": "1373227137756577962355966961994747883057969260705125865160268980104207606594942134795347669704771666740953650781362131598325168486505436148896085402774240574573718476871476833/693087965674784425268322477539328000000000000000000000", + "entrance_mass": "659697369868562418053848749577901431896032551/4", + "event": 848, + "stage": 6 + }, + { + "entrance_defect": "20823385125733264397373130135470385885717243829898523984703014037862456049744046533794517859371032151682144999298106020683737363791905385329394848595113665508664732260933911909373875967/4435762980318620321717263856251699200000000000000000000", + "entrance_mass": "50017699262951285012300223375874644326538714050483088723/128", + "event": 1101, + "stage": 7 + }, + { + "entrance_defect": "85942815844819624798768677166454839152044948128553416318787073456438796747454131509990724740929296080170239103938199321660605491071191028781007242674460057975619756125245265194431235428641889409/1848234575132758467382193273438208000000000000000000000", + "entrance_mass": "123860608372223676361208276303474840021608894935793894644443117475/32", + "event": 1383, + "stage": 8 + }, + { + "entrance_defect": "930254240815172593002111463814567791592106391799700687181753619387741741399981902896610684785145133951832181055799275402913332669009823451933148087791073877390410304698992466316215955974119680813019832881/11089407450796550804293159640629248000000000000000000000", + "entrance_mass": "446893495694686287960280473450842802655971489871616126572592413520841719161/64", + "event": 1662, + "stage": 9 + }, + { + "entrance_defect": "26698235396981531006587778451882883182110095126999765272567844857545443200484234440375249316350452957358518239348140618283785727503851179074477035063842987983820430734988924023028400579704395139900507400410303134548098181164803729266048896791338433/2772351862699137701073289910157312000000000000000000000", + "entrance_mass": "1603226733879417057855793968966209778425632456862348198524030211565823693253398434234475406089669867705587698766845597/2", + "event": 3203, + "stage": 10 + }, + { + "entrance_defect": "333036983658180038883662743128905522715209350247732536137821768948555325481015944802413193499606530223117597801829336946571681395597673511601932830250175868873111302673385933920654634585837535836241301613081076393700057312206243945906125500018386491980505887/44357629803186203217172638562516992000000000000000000000", + "entrance_mass": "159990737255009044304340266028013949411590186711547802615104749842798991699729693917477577741470706009608765481680513095697397863/256", + "event": 3526, + "stage": 11 + }, + { + "entrance_defect": "1485186436926991259618808866175905038473112211829949921752671199261321953155788166317596655801147525973394517001496776614940789403355003461577371661985736990964142521225191795568692088800743193087943620502110262253707539571184413716287551443851148888278242916303152247/177430519212744812868690554250067968000000000000000000000", + "entrance_mass": "713482539972112811302498126039122556478474335397824876612540289480809876975347015211250548661355667282704396311981650378099911649135840063/1024", + "event": 3821, + "stage": 12 + }, + { + "entrance_defect": "159734677096262425185433941088322769849474381987355822994404309188758946418252325743197303832653241149016429983171694710521624398724289737286760406086949855232909685105961494674629473677123617706540048328474989281426194640859253875310302849128273712805141475983414632150223613/19714502134749423652076728250007552000000000000000000000", + "entrance_mass": "690627858377635566118234917748020783796286454330854789097666289598705747090709204201800639258908872647850357504982405971722609074791401430947671165/1024", + "event": 4088, + "stage": 13 + }, + { + "entrance_defect": "980153406356745179018851594470700052828230646662424324467935109428920644007214794487464518333845218278329527811110801232797746755135661762982599585462983656695063207942495996937672219763729250028650229919835014087128420380773507378606545560875506343120689789929852002889324954327141519/354861038425489625737381108500135936000000000000000000000", + "entrance_mass": "470865020405587123936906066570155601953174646068287322382245101819760273515813542612024822098129182481570490831889396523550001544922531326945370763196989399/2048", + "event": 4324, + "stage": 14 + }, + { + "entrance_defect": "96723012749600866479144752224412743277854181988609996474499167263462243524947510748760147829563003001682011605318192552417985760750905791386050851288081523579625585289987425699851040049517123070434760418622561703432062526246566935198131270044900033910486127050999185378631497468870337792596817/177430519212744812868690554250067968000000000000000000000", + "entrance_mass": "46465668615402712050475352820015987705766128000689019237904160504542353131957951954454381327545881694314550682714483945959032017848349099581053150524269011108711881/1024", + "event": 4532, + "stage": 15 + }, + { + "entrance_defect": "47249675831480591727259084954248338330131540971946728788183455135423278806545759699381401985924508078834115254059913969269216844345814389214643888435250561001294312963965440302165551119361727711762190937413036542054642368471033838998886901589246821062107421252754816726301280920690899992657906840510743/1419444153701958502949524434000543744000000000000000000000", + "entrance_mass": "22698711681515933658235268009935719580127806482189476469420786919611768582281970304620813093468639555288906634046185136362302550495196405154606658307111274865117192668126623/8192", + "event": 4709, + "stage": 16 + }, + { + "entrance_defect": "97572789126142640524394701510581430158435701440378124576484220007661341218729611377906474765143504773745175598782595923556646198324413426465676734066872307955423127098615004112377744753921451742916570123015429079245985939313806829956216073570190487848078573825096686777722630499466484226201337991629341101257/283888830740391700589904886800108748800000000000000000000", + "entrance_mass": "234369503003028720835110712559034466962392865438574454855472632480300248897620917700915501102797005900029816899906431175273180672543487679750570754841237111980601879269511857634373/8192", + "event": 4858, + "stage": 17 + }, + { + "entrance_defect": "45956158967679222815782826579562263162421191735534710280517795234696013835395819021138749508383511804045148407599664318133401561966546587499275528912742005295320999450297854639196186414689082278646035163700106829222866057031767964944930357839243808896110442960287133798375374763851202761718953283327694352465031782451/236574025616993083824920739000090624000000000000000000000", + "entrance_mass": "66231921216838714175335242310174311625441766070329537281095337280001689425837300045521194678022507207573740758259597518292006513594483309822197449388620837179777160688120985448681075810705/4096", + "event": 4982, + "stage": 18 + } + ], + "physical_main_inputs": 3952, + "sites": { + "ADD": 4102, + "IDLE_ODD": 4, + "IDLE_ONE": 96, + "J": 18, + "LAMBDA": 214, + "QUERY": 4, + "SCALE": 298, + "SWAP": 376, + "noninteger_scalar": 1562 + } + }, + "rounded_native": { + "bounds": { + "Gamma": { + "exact": "41262390743654180353824668559220566387072561689719160198891078363901463467703289210216786053079186041456655602373382010595955679502531/173271991418696106317080619384832000000000000000000000", + "strict_power_of_two": 268, + "witness": { + "cut": 74591, + "factor": "1", + "kind": "public-return", + "register": 1483 + } + }, + "M": { + "exact": "2000400604879422152099704980701647518621850280449683462754007100601087452800342179425603181544902261909432088137599521038480745462975147/2772351862699137701073289910157312000000000000000000000", + "strict_power_of_two": 269, + "witness": { + "cut": 73415, + "factor": "1", + "kind": "stored", + "register": 1483 + } + }, + "Sigma": { + "exact": "41262390743654180353824668559220566387072561689719160198891078363901463467703289210216786053079186041456655602373382010595955679502531/173271991418696106317080619384832000000000000000000000", + "strict_power_of_two": 268, + "witness": { + "cut": 73415, + "factor": "1", + "kind": "stored", + "register": 1483 + } + } + }, + "census": { + "denominator_bits": 20, + "events": 74591, + "lifetimes": 54, + "max_denominator": 655360, + "max_numerator": 14729531, + "numerator_bits": 24, + "opcodes": { + "ADD": 64504, + "CLEAR": 54, + "COPY": 1, + "INIT": 54, + "MOVE": 6272, + "SCALE": 3706 + }, + "owned_labels": 51, + "peak_owned": 43, + "public": 1492, + "scalars": { + "dyadic": 62775, + "integer": 39336, + "noninteger": 28875, + "odd": 5436 + } + }, + "independent_adjoint": { + "Gamma": { + "active_residual_sites": 26499, + "entrance_mass": "2000400604879422152099704980701647518621850280449683462754007100601087452800342179425603181544902261909432088137599521038480745462975147/2772351862699137701073289910157312000000000000000000000", + "residual_mass": "41262390743654180353824668559220566387072561689719160198891078363901463467703289210216786053079186041456655602373382010595955679502531/173271991418696106317080619384832000000000000000000000" + }, + "M": { + "active_residual_sites": 26499, + "entrance_mass": "2000400604879422152099704980701647518621850280449683462754007100601087452800342179425603181544902261909432088137599521038480745462975147/2772351862699137701073289910157312000000000000000000000", + "residual_mass": "41262390743654180353824668559220566387072561689719160198891078363901463467703289210216786053079186041456655602373382010595955679502531/173271991418696106317080619384832000000000000000000000" + }, + "Sigma": { + "active_residual_sites": 26499, + "entrance_mass": "2000400604879422152099704980701647518621850280449683462754007100601087452800342179425603181544902261909432088137599521038480745462975147/2772351862699137701073289910157312000000000000000000000", + "residual_mass": "41262390743654180353824668559220566387072561689719160198891078363901463467703289210216786053079186041456655602373382010595955679502531/173271991418696106317080619384832000000000000000000000" + } + } + }, + "scope": "Exact-child grid and attributed all-fibre error envelope, with one signed unitary per fused event", + "word": { + "coefficient_visits": 15457099, + "dyadic_height": 25, + "mass_witness": [ + 65191, + "stored add" + ], + "maximum_scaled_mass": "814448574117075/8192", + "numerator_bits": 24, + "odd_scale_lcm": 1125 + } + }, + "price": { + "baseline_rejects_new_claim": true, + "candidate_margin_at_old_upper": [ + "3886222593545785226328011430685703825051949147459598436830268433405400358224391/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "3886222593545785226328011430685703825051949147459598436830268433405400377134467/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "claim_decimal": "0.003641809113694", + "gain": "1.87637789E-7", + "gain_exact": "187637789/1000000000000000", + "independent_raw_bracket": [ + "0.00364180911369407856186308043240463", + "0.00364180911369407856186308043240464" + ], + "previous_claim": "728324295181/200000000000000", + "raw_bracket": [ + "0.0036418091136940785618630804324046", + "0.0036418091136940785618630804324047" + ] + }, + "signed_routes": { + "ambient": 153, + "bindings": [ + { + "body_swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "caller_fields": [ + 56, + 57 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 69, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 17, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 1, + 6 + ], + [ + "XOR", + 0, + 6 + ], + [ + "XOR", + 1, + 4 + ], + [ + "XOR", + 0, + 4 + ], + [ + "SWAP", + 4, + 6 + ], + [ + "XOR", + 6, + 1 + ], + [ + "XOR", + 4, + 1 + ], + [ + "XOR", + 6, + 0 + ], + [ + "XOR", + 4, + 0 + ] + ], + "old9_inverse": [ + 81, + 82, + 4, + 8, + 67, + 32, + 19, + 128, + 256 + ], + "old9_route": [ + 81, + 82, + 4, + 8, + 67, + 32, + 19, + 128, + 256 + ], + "ordinary_elementary_units": 35, + "ordinary_route_units": 19, + "port": 15, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 81, + "stage": 9 + }, + { + "body_swaps": [ + [ + 1, + 81 + ], + [ + 2, + 82 + ], + [ + 3, + 83 + ], + [ + 4, + 84 + ], + [ + 5, + 85 + ], + [ + 6, + 86 + ], + [ + 7, + 87 + ], + [ + 8, + 88 + ] + ], + "caller_fields": [ + 58, + 59 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 64, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 17, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 1, + 6 + ], + [ + "XOR", + 0, + 6 + ], + [ + "XOR", + 1, + 4 + ], + [ + "XOR", + 0, + 4 + ], + [ + "SWAP", + 4, + 6 + ], + [ + "XOR", + 6, + 1 + ], + [ + "XOR", + 4, + 1 + ], + [ + "XOR", + 6, + 0 + ], + [ + "XOR", + 4, + 0 + ] + ], + "old9_inverse": [ + 81, + 82, + 4, + 8, + 67, + 32, + 19, + 128, + 256 + ], + "old9_route": [ + 81, + 82, + 4, + 8, + 67, + 32, + 19, + 128, + 256 + ], + "ordinary_elementary_units": 35, + "ordinary_route_units": 19, + "port": 15, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 81, + "stage": 10 + }, + { + "body_swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "caller_fields": [ + 56, + 57 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 63, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 19, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 1, + 8 + ], + [ + "XOR", + 0, + 8 + ], + [ + "XOR", + 1, + 4 + ], + [ + "XOR", + 0, + 4 + ], + [ + "SWAP", + 4, + 8 + ], + [ + "XOR", + 8, + 1 + ], + [ + "XOR", + 4, + 1 + ], + [ + "XOR", + 8, + 0 + ], + [ + "XOR", + 4, + 0 + ] + ], + "old9_inverse": [ + 273, + 274, + 4, + 8, + 259, + 32, + 64, + 128, + 19 + ], + "old9_route": [ + 273, + 274, + 4, + 8, + 259, + 32, + 64, + 128, + 19 + ], + "ordinary_elementary_units": 35, + "ordinary_route_units": 19, + "port": 17, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 273, + "stage": 9 + }, + { + "body_swaps": [ + [ + 1, + 81 + ], + [ + 2, + 82 + ], + [ + 3, + 83 + ], + [ + 4, + 84 + ], + [ + 5, + 85 + ], + [ + 6, + 86 + ], + [ + 7, + 87 + ], + [ + 8, + 88 + ] + ], + "caller_fields": [ + 58, + 59 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 60, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 19, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 1, + 8 + ], + [ + "XOR", + 0, + 8 + ], + [ + "XOR", + 1, + 4 + ], + [ + "XOR", + 0, + 4 + ], + [ + "SWAP", + 4, + 8 + ], + [ + "XOR", + 8, + 1 + ], + [ + "XOR", + 4, + 1 + ], + [ + "XOR", + 8, + 0 + ], + [ + "XOR", + 4, + 0 + ] + ], + "old9_inverse": [ + 273, + 274, + 4, + 8, + 259, + 32, + 64, + 128, + 19 + ], + "old9_route": [ + 273, + 274, + 4, + 8, + 259, + 32, + 64, + 128, + 19 + ], + "ordinary_elementary_units": 35, + "ordinary_route_units": 19, + "port": 17, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 273, + "stage": 10 + }, + { + "body_swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "caller_fields": [ + 56, + 57 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 67, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 30, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 1, + 8 + ], + [ + "XOR", + 0, + 8 + ], + [ + "XOR", + 1, + 2 + ], + [ + "XOR", + 0, + 2 + ], + [ + "SWAP", + 2, + 8 + ], + [ + "XOR", + 8, + 1 + ], + [ + "XOR", + 2, + 1 + ], + [ + "XOR", + 8, + 0 + ], + [ + "XOR", + 2, + 0 + ], + [ + "SWAP", + 0, + 1 + ] + ], + "old9_inverse": [ + 262, + 261, + 259, + 8, + 16, + 32, + 64, + 128, + 7 + ], + "old9_route": [ + 262, + 261, + 259, + 8, + 16, + 32, + 64, + 128, + 7 + ], + "ordinary_elementary_units": 37, + "ordinary_route_units": 19, + "port": 27, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 262, + "stage": 9 + }, + { + "body_swaps": [ + [ + 1, + 81 + ], + [ + 2, + 82 + ], + [ + 3, + 83 + ], + [ + 4, + 84 + ], + [ + 5, + 85 + ], + [ + 6, + 86 + ], + [ + 7, + 87 + ], + [ + 8, + 88 + ] + ], + "caller_fields": [ + 58, + 59 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 61, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 30, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 1, + 8 + ], + [ + "XOR", + 0, + 8 + ], + [ + "XOR", + 1, + 2 + ], + [ + "XOR", + 0, + 2 + ], + [ + "SWAP", + 2, + 8 + ], + [ + "XOR", + 8, + 1 + ], + [ + "XOR", + 2, + 1 + ], + [ + "XOR", + 8, + 0 + ], + [ + "XOR", + 2, + 0 + ], + [ + "SWAP", + 0, + 1 + ] + ], + "old9_inverse": [ + 262, + 261, + 259, + 8, + 16, + 32, + 64, + 128, + 7 + ], + "old9_route": [ + 262, + 261, + 259, + 8, + 16, + 32, + 64, + 128, + 7 + ], + "ordinary_elementary_units": 37, + "ordinary_route_units": 19, + "port": 27, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 262, + "stage": 10 + }, + { + "body_swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "caller_fields": [ + 56, + 57 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 55, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 38, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 1, + 6 + ], + [ + "XOR", + 0, + 6 + ], + [ + "XOR", + 1, + 5 + ], + [ + "XOR", + 0, + 5 + ], + [ + "SWAP", + 5, + 6 + ], + [ + "XOR", + 6, + 1 + ], + [ + "XOR", + 5, + 1 + ], + [ + "XOR", + 6, + 0 + ], + [ + "XOR", + 5, + 0 + ], + [ + "SWAP", + 0, + 1 + ] + ], + "old9_inverse": [ + 98, + 97, + 4, + 8, + 16, + 67, + 35, + 128, + 256 + ], + "old9_route": [ + 98, + 97, + 4, + 8, + 16, + 67, + 35, + 128, + 256 + ], + "ordinary_elementary_units": 37, + "ordinary_route_units": 19, + "port": 34, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 98, + "stage": 9 + }, + { + "body_swaps": [ + [ + 1, + 81 + ], + [ + 2, + 82 + ], + [ + 3, + 83 + ], + [ + 4, + 84 + ], + [ + 5, + 85 + ], + [ + 6, + 86 + ], + [ + 7, + 87 + ], + [ + 8, + 88 + ] + ], + "caller_fields": [ + 58, + 59 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 68, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 38, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 1, + 6 + ], + [ + "XOR", + 0, + 6 + ], + [ + "XOR", + 1, + 5 + ], + [ + "XOR", + 0, + 5 + ], + [ + "SWAP", + 5, + 6 + ], + [ + "XOR", + 6, + 1 + ], + [ + "XOR", + 5, + 1 + ], + [ + "XOR", + 6, + 0 + ], + [ + "XOR", + 5, + 0 + ], + [ + "SWAP", + 0, + 1 + ] + ], + "old9_inverse": [ + 98, + 97, + 4, + 8, + 16, + 67, + 35, + 128, + 256 + ], + "old9_route": [ + 98, + 97, + 4, + 8, + 16, + 67, + 35, + 128, + 256 + ], + "ordinary_elementary_units": 37, + "ordinary_route_units": 19, + "port": 34, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 98, + "stage": 10 + }, + { + "body_swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "caller_fields": [ + 56, + 57 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 60, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 40, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 1, + 8 + ], + [ + "XOR", + 0, + 8 + ], + [ + "XOR", + 1, + 5 + ], + [ + "XOR", + 0, + 5 + ], + [ + "SWAP", + 5, + 8 + ], + [ + "XOR", + 8, + 1 + ], + [ + "XOR", + 5, + 1 + ], + [ + "XOR", + 8, + 0 + ], + [ + "XOR", + 5, + 0 + ], + [ + "SWAP", + 0, + 1 + ] + ], + "old9_inverse": [ + 290, + 289, + 4, + 8, + 16, + 259, + 64, + 128, + 35 + ], + "old9_route": [ + 290, + 289, + 4, + 8, + 16, + 259, + 64, + 128, + 35 + ], + "ordinary_elementary_units": 37, + "ordinary_route_units": 19, + "port": 35, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 290, + "stage": 9 + }, + { + "body_swaps": [ + [ + 1, + 81 + ], + [ + 2, + 82 + ], + [ + 3, + 83 + ], + [ + 4, + 84 + ], + [ + 5, + 85 + ], + [ + 6, + 86 + ], + [ + 7, + 87 + ], + [ + 8, + 88 + ] + ], + "caller_fields": [ + 58, + 59 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 69, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 40, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 1, + 8 + ], + [ + "XOR", + 0, + 8 + ], + [ + "XOR", + 1, + 5 + ], + [ + "XOR", + 0, + 5 + ], + [ + "SWAP", + 5, + 8 + ], + [ + "XOR", + 8, + 1 + ], + [ + "XOR", + 5, + 1 + ], + [ + "XOR", + 8, + 0 + ], + [ + "XOR", + 5, + 0 + ], + [ + "SWAP", + 0, + 1 + ] + ], + "old9_inverse": [ + 290, + 289, + 4, + 8, + 16, + 259, + 64, + 128, + 35 + ], + "old9_route": [ + 290, + 289, + 4, + 8, + 16, + 259, + 64, + 128, + 35 + ], + "ordinary_elementary_units": 37, + "ordinary_route_units": 19, + "port": 35, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 290, + "stage": 10 + }, + { + "body_swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "caller_fields": [ + 56, + 57 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 62, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 47, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 2, + 8 + ], + [ + "XOR", + 0, + 8 + ], + [ + "XOR", + 2, + 3 + ], + [ + "XOR", + 0, + 3 + ], + [ + "SWAP", + 3, + 8 + ], + [ + "XOR", + 8, + 2 + ], + [ + "XOR", + 3, + 2 + ], + [ + "XOR", + 8, + 0 + ], + [ + "XOR", + 3, + 0 + ], + [ + "SWAP", + 0, + 2 + ] + ], + "old9_inverse": [ + 268, + 2, + 265, + 261, + 16, + 32, + 64, + 128, + 13 + ], + "old9_route": [ + 268, + 2, + 265, + 261, + 16, + 32, + 64, + 128, + 13 + ], + "ordinary_elementary_units": 37, + "ordinary_route_units": 19, + "port": 42, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 268, + "stage": 9 + }, + { + "body_swaps": [ + [ + 1, + 81 + ], + [ + 2, + 82 + ], + [ + 3, + 83 + ], + [ + 4, + 84 + ], + [ + 5, + 85 + ], + [ + 6, + 86 + ], + [ + 7, + 87 + ], + [ + 8, + 88 + ] + ], + "caller_fields": [ + 58, + 59 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 62, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 47, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 2, + 8 + ], + [ + "XOR", + 0, + 8 + ], + [ + "XOR", + 2, + 3 + ], + [ + "XOR", + 0, + 3 + ], + [ + "SWAP", + 3, + 8 + ], + [ + "XOR", + 8, + 2 + ], + [ + "XOR", + 3, + 2 + ], + [ + "XOR", + 8, + 0 + ], + [ + "XOR", + 3, + 0 + ], + [ + "SWAP", + 0, + 2 + ] + ], + "old9_inverse": [ + 268, + 2, + 265, + 261, + 16, + 32, + 64, + 128, + 13 + ], + "old9_route": [ + 268, + 2, + 265, + 261, + 16, + 32, + 64, + 128, + 13 + ], + "ordinary_elementary_units": 37, + "ordinary_route_units": 19, + "port": 42, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 268, + "stage": 10 + }, + { + "body_swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "caller_fields": [ + 56, + 57 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 60, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 52, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 2, + 7 + ], + [ + "XOR", + 0, + 7 + ], + [ + "XOR", + 2, + 5 + ], + [ + "XOR", + 0, + 5 + ], + [ + "SWAP", + 5, + 7 + ], + [ + "XOR", + 7, + 2 + ], + [ + "XOR", + 5, + 2 + ], + [ + "XOR", + 7, + 0 + ], + [ + "XOR", + 5, + 0 + ], + [ + "SWAP", + 0, + 2 + ] + ], + "old9_inverse": [ + 164, + 2, + 161, + 8, + 16, + 133, + 64, + 37, + 256 + ], + "old9_route": [ + 164, + 2, + 161, + 8, + 16, + 133, + 64, + 37, + 256 + ], + "ordinary_elementary_units": 37, + "ordinary_route_units": 19, + "port": 47, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 164, + "stage": 9 + }, + { + "body_swaps": [ + [ + 1, + 81 + ], + [ + 2, + 82 + ], + [ + 3, + 83 + ], + [ + 4, + 84 + ], + [ + 5, + 85 + ], + [ + 6, + 86 + ], + [ + 7, + 87 + ], + [ + 8, + 88 + ] + ], + "caller_fields": [ + 58, + 59 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 69, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 52, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 2, + 7 + ], + [ + "XOR", + 0, + 7 + ], + [ + "XOR", + 2, + 5 + ], + [ + "XOR", + 0, + 5 + ], + [ + "SWAP", + 5, + 7 + ], + [ + "XOR", + 7, + 2 + ], + [ + "XOR", + 5, + 2 + ], + [ + "XOR", + 7, + 0 + ], + [ + "XOR", + 5, + 0 + ], + [ + "SWAP", + 0, + 2 + ] + ], + "old9_inverse": [ + 164, + 2, + 161, + 8, + 16, + 133, + 64, + 37, + 256 + ], + "old9_route": [ + 164, + 2, + 161, + 8, + 16, + 133, + 64, + 37, + 256 + ], + "ordinary_elementary_units": 37, + "ordinary_route_units": 19, + "port": 47, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 164, + "stage": 10 + }, + { + "body_swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "caller_fields": [ + 56, + 57 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 59, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 60, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 3, + 8 + ], + [ + "XOR", + 0, + 8 + ], + [ + "XOR", + 3, + 4 + ], + [ + "XOR", + 0, + 4 + ], + [ + "SWAP", + 4, + 8 + ], + [ + "XOR", + 8, + 3 + ], + [ + "XOR", + 4, + 3 + ], + [ + "XOR", + 8, + 0 + ], + [ + "XOR", + 4, + 0 + ], + [ + "SWAP", + 0, + 3 + ] + ], + "old9_inverse": [ + 280, + 2, + 4, + 273, + 265, + 32, + 64, + 128, + 25 + ], + "old9_route": [ + 280, + 2, + 4, + 273, + 265, + 32, + 64, + 128, + 25 + ], + "ordinary_elementary_units": 37, + "ordinary_route_units": 19, + "port": 55, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 280, + "stage": 9 + }, + { + "body_swaps": [ + [ + 1, + 81 + ], + [ + 2, + 82 + ], + [ + 3, + 83 + ], + [ + 4, + 84 + ], + [ + 5, + 85 + ], + [ + 6, + 86 + ], + [ + 7, + 87 + ], + [ + 8, + 88 + ] + ], + "caller_fields": [ + 58, + 59 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 55, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 60, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 3, + 8 + ], + [ + "XOR", + 0, + 8 + ], + [ + "XOR", + 3, + 4 + ], + [ + "XOR", + 0, + 4 + ], + [ + "SWAP", + 4, + 8 + ], + [ + "XOR", + 8, + 3 + ], + [ + "XOR", + 4, + 3 + ], + [ + "XOR", + 8, + 0 + ], + [ + "XOR", + 4, + 0 + ], + [ + "SWAP", + 0, + 3 + ] + ], + "old9_inverse": [ + 280, + 2, + 4, + 273, + 265, + 32, + 64, + 128, + 25 + ], + "old9_route": [ + 280, + 2, + 4, + 273, + 265, + 32, + 64, + 128, + 25 + ], + "ordinary_elementary_units": 37, + "ordinary_route_units": 19, + "port": 55, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 280, + "stage": 10 + } + ], + "paid_calls": 32, + "proposed_sha": "9557f713ab4ffb91ede05e8a6d5668c694b9940fc16f2f2d657e2f2b2cac2d3f", + "status": "PASS_PHYSICAL_RANK9_ALGEBRA", + "word_sha": "9557c4682056ab7cc7cda89aa73865bef0e3948cc10b3c3061b0a944af05b96a" + }, + "source_head": "161e482bc2d8c78ecef96135430c60d49b8fc345", + "status": "PASS_NONUNIT_OUTPUT_COMPOSITION_NATIVE", + "word_canonical_sha256": "9557c4682056ab7cc7cda89aa73865bef0e3948cc10b3c3061b0a944af05b96a" +} diff --git a/research/p104-nonunit-output-composition/PROOF.md b/research/p104-nonunit-output-composition/PROOF.md new file mode 100644 index 0000000000..29053b3ae1 --- /dev/null +++ b/research/p104-nonunit-output-composition/PROOF.md @@ -0,0 +1,95 @@ +# Source-bound nonunit split and output rechart composition + +The source is the complete frozen #7130 export identified by `INPUTS.json`. +The construction is the finite specification in `CHANGES.json`, interpreted +by `construct.py`. The discovery heuristic is not a proof premise. + +## Normalized-coordinate identity + +For a field in chart F, write its physical value as C_F z. A legal MOVE from +F to G applies C_G C_F⁻¹, leaving z unchanged. When two fields share F, +ADD(r,s,q) sends z_r to z_r+q z_s. SCALE and COPY have the corresponding +chart-independent normalized actions. Consequently a chronological scalar +program has the same normalized linear operator whenever each scalar's +operands share its declared chart and every intervening MOVE is legal. + +The generator retains every scalar opcode, operand and rational coefficient +in the original order. It changes only the declared charts of 129 public +scalar contacts and the output charts of 21 independent public helpers. +It removes the old public transport schedule and reconstructs the required +transport immediately before each scalar contact and at the final boundary. +Every emitted public MOVE is checked to be strictly nested and increasing. +Unchanged transports need not retain their former timestamp: in normalized +coordinates they are identities and the scalar chronology is identical. + +Main input/output charts stay fixed. Each affected helper now promises +C_new-final C_initial⁻¹ on its arbitrary independent input, and its productive +rank is changed accordingly. No old helper credit is retained for a changed +boundary. All independent helper coefficients and every main output are +checked by the complete reverse adjoint; a separate integer forward replay +checks the full endpoint matrix. + +Owned INIT/CLEAR operations, scalar contacts involving owned fields, and +owned MOVEs retain their source order and charts. The verifier separately +checks all lifetimes, peak live allocation and upward rank mass. This is +under the inherited owned-erasure contract, not a new zero-erasure theorem. + +## Complete invoice + +The exact per-native changes are + +``` +ΔT = {1: -2, 2: +2, 5: -1, 6: +1, 8: -18, 9: +18} +ΔP = {1: -35, 2: +12, 3: +8, 4: -8, 5: +8}. +``` + +Both rank masses increase by 21. Productive field count is unchanged and paid +positions decrease by 15 per native invocation. The unchanged 17-stage caller +multiplies both changes by 17, preserving full rank surplus 1,424 and zero +empty-root credit. Every target uses its actual changed output boundary. + +For p=1−κ, the native signed-moment improvement is + +``` +33 H1 − 10 H2 − 8 H3 + 8 H4 − 9 H5 + H6 − 18 H8 + 18 H9, +Hr = r^p. +``` + +Both retained directed engines bracket the new complete crossing. The narrower +independent interval is `(0.00364240849686931699339641963661833, +0.00364240849686931699339641963661834)`. Both reject the predecessor invoice at +κ=0.003642408496869. A strict compiler probe stays below the lower crossing; +all compiler/outer inequalities are recomputed. This is an invoice-specific +bound, not a global optimum. + +## Scope of acceptance + +The full application additionally requires legal physical chart maps, +absolute phase, native and caller integer grids, precision/error envelopes, +ordinary work and fixed-tape substitution. Their executable checks and +receipts are separate from the early price receipt. See `APPLICATION.md` +for the current completion state. Five inherited assumptions and independent +human/formal review remain; a successful finite replay does not remove them. + +## Attribution + +The global assignment was nominated using **1337isnot1337/OpenAI Codex**'s +`fresh-helper-boundary/discover-cut.cpp` alpha-expansion method, with its +tariff parameter exposed rather than frozen. Ali Romman, CubeJerry, ToikY, +dillona, Matarener, DreamingOfClouds, the #7000 reviewers and Rohan Arun's +caller retain their respective source credit. All nested notices remain +in the authenticated source export. Rohan Arun with OpenAI Codex assistance; +Apache-2.0. + +## Precision inherited from the split + +PR7130 requires native odd scale 1125 and fractional height 25. The rechart +preserves its scalar coefficients/order. A fresh rational derivation is compared +with independent integer forward replay at that source-pinned grid, including +scaled maximum mass. Both native and complete caller precision paths explicitly +request that height from the authenticated grid engine; the F24 negative control +remains. Fresh envelopes and all precision charges are recomputed. + +The F25 integration follows dillona/OpenAI Codex's PR7130 adapters. It changes +only temporary authenticated source copies; no frozen source or divisibility +check is changed or disabled. diff --git a/research/p104-nonunit-output-composition/README.md b/research/p104-nonunit-output-composition/README.md new file mode 100644 index 0000000000..121096b722 --- /dev/null +++ b/research/p104-nonunit-output-composition/README.md @@ -0,0 +1,38 @@ +# Conditional κ = 0.003642408496869 + +This composes PR7130's nonunit-pivot split with the global output rechart +mechanism from PR7124. The exact arbitrary-input native adjoint, complete +paid/target recount and both directed complete-price engines passed at +κ=0.003642408496869, improving PR7130 by 0.000000189212232. + +After that early draft, full native/application checks and registered isolated +CPython 3.12.14 replay passed, matching every frozen receipt field. This includes +the source's independently rederived 1125/F25 grid and increased precision +context 2362; F24 is rejected. All 3,038 catalogue checks, 104 main boundaries, +physical/phase/ownership checks, fresh envelopes, ordinary and fixed-tape costs, +both directed prices and 54 strict plus four functional outer conditions passed. +The complete ordinary bill is 778,867,208, with 110,400 paid positions and +22,308 productive fields. See REPLAY.txt, NATIVE-RESULT.json, RESULT.json and +VALIDATION.md. Five inherited assumptions and independent review remain; +source-aware local replay is not maintainer or formal acceptance. + +The complete PR7130 source export and nested sources/notices are authenticated +by INPUTS.json. CHANGES.json and construct.py regenerate the entire word; +21 helper output charts and 129 scalar-contact charts change, while scalar +coefficients/order, main endpoints and owned inventory remain unchanged. + +```sh +python3.12 -B scripts/research_package.py --package research/p104-nonunit-output-composition +``` + +Credit dillona/OpenAI Codex for PR7130's legal nonunit-pivot split and precision +accounting; Rohan Arun/OpenAI Codex for PR7124's output rechart, PR7122's input +rechart and PR7113's caller; 1337isnot1337/OpenAI Codex for alpha expansion; +Ali Romman, Jerry Chen/CubeJerry, ToikY, Matarener, DreamingOfClouds, +Douglas Colkitt/#7000 reviewers and all retained source authors and notices. +Rohan Arun with substantial OpenAI Codex assistance; no subagents. Apache-2.0. + +## Open next questions + +- Obtain independent reviewer confirmation of the registered replay. +- Obtain independent review of the composed construction and all charges. diff --git a/research/p104-nonunit-output-composition/REPLAY.txt b/research/p104-nonunit-output-composition/REPLAY.txt new file mode 100644 index 0000000000..7c27affdda --- /dev/null +++ b/research/p104-nonunit-output-composition/REPLAY.txt @@ -0,0 +1,76 @@ +CHECK Entire source reconstruction, exact native adjoint and complete signed price with both directed engines; all frozen early fields. +PASS_EXACT_NATIVE_AND_PRICE_ONLY 0.003642408496869 +CHECK Complete forward/adjoint, changed chart columns and phase, native common grid, ordinary/precision/physical bounds and corruption controls; all native receipt fields. +PASS whole source/operator, forward/adjoint, causal charts and fresh native grid +caller 0 terms 77 +caller 500 terms 621 +caller 1000 terms 2648 +caller 1500 terms 3619 +caller 2000 terms 1590 +caller 2500 terms 398 +caller 3000 terms 1918 +caller 3500 terms 1797 +caller 4000 terms 1817 +caller 4500 terms 912 +caller 5000 terms 167 +PASS full ingredient invoice, ordinary, precision, both prices and outer gates +events 74591 public 1492 owned roles 51 paid {1: 3993, 2: 854, 3: 827, 4: 224, 5: 341, 6: 16, 7: 11, 8: 6} owned UP {1: 10, 2: 4, 3: 1, 4: 6, 5: 1, 6: 1} helpers {1: 16, 2: 20, 3: 47, 4: 218, 5: 74, 6: 43, 7: 18, 8: 35, 9: 621} +endpoint bad rows 0 odd certificate S 1125 +PASS_HOST3 decoupled ports 96 hosted ports 8 +gate interpreter agrees with the library on 4 exact state vectors +replayed 74591 events, 2953 chart pairs, 15s +prime 1000000009 seed 11: helper rows bad 0 (of 1092), X rows bad 0, Y rows bad 0, X2 rows bad 0, Y2 rows bad 0 (of 104 ports; 96 with second mains) +tableau on 104 ports: XX!=D 0 YY!=D 0 YX!=Q^-1D 0 XY!=QD 0 | controls matching (must be 0): 0 0 +PASS_PHYSICAL 20s +PASS affected Gaussian chart columns, phase, corruption controls and finite physical replay +PASS_NONUNIT_OUTPUT_COMPOSITION_NATIVE 1820904556847/500000000000000 +CHECK Complete literal signed 17-stage caller, all paid/helper maps and main boundaries, independent integer grid, physical ownership, ordinary, precision, fixed-tape and compiler/outer gates; all application receipt fields. +PASS two reconstructed invoices and both exact price engines 0.003642408496869 +RUN emit_odd_type_b.py +caller 0 terms 41 +caller 500 terms 1178 +caller 1000 terms 2699 +caller 1500 terms 1262 +caller 2000 terms 881 +caller 2500 terms 2484 +caller 3000 terms 765 +caller 3500 terms 640 +caller 0 terms 41 +caller 500 terms 1178 +caller 1000 terms 2701 +caller 1500 terms 1264 +caller 2000 terms 881 +caller 2500 terms 2485 +caller 3000 terms 765 +caller 3500 terms 641 +PASS exact short type B 3877 events Counter({8: 34, 9: 4, 56: 4, 48: 4, 40: 4, 32: 4, 24: 4, 16: 4, 64: 2}) +RUN emit_odd_type_ab.py +caller 0 terms 73 +caller 500 terms 1076 +caller 1000 terms 2476 +caller 1500 terms 1334 +caller 2000 terms 2078 +caller 2500 terms 1235 +caller 3000 terms 2978 +caller 3500 terms 2335 +caller 4000 terms 1046 +caller 4500 terms 299 +PASS exact short A+B 4783 events 3752 ['36424084968693169933964196366183/10000000000000000000000000000000000', '4553010621086646241745524545773/1250000000000000000000000000000000'] +RUN check_odd_caller_exact_grid.py +PASS odd caller grid [381, 69, 62] [381, 3, 2] scale bits 10 checked 176874 +RUN check_odd_physical_binding.py +PASS exact physical binding 110400 13600 22308 +RUN check_odd_precision.py +PASS short precision 406 1181 2362 +RUN check_odd_partial_admission.py +ordinary bill 778867208 +PASS partial signed short gates 778867208 3642408496869/1000000000000000 {'strict_count': 54, 'functional_count': 4, 'minimum_margin': '1/1000000000000000000', 'BIT_just_below_effective_rejected': True} +RUN check_odd_fixed_tape_counts.py +PASS finite tariff substitution 42799840 25431181696 precision 2362 +RUN complete catalogue 0 1000 +RUN complete catalogue 1000 2000 +RUN complete catalogue 2000 3000 +RUN complete catalogue 3000 3038 +PASS complete 8+9 component application checks 3642408496869/1000000000000000 3038 110400 +PASS_P104_NONUNIT_OUTPUT_COMPOSITION 3642408496869/1000000000000000 +PASS_REGISTERED_RESEARCH_PACKAGE research/p104-nonunit-output-composition outcome=completed diff --git a/research/p104-nonunit-output-composition/RESULT.json b/research/p104-nonunit-output-composition/RESULT.json new file mode 100644 index 0000000000..1214101ca0 --- /dev/null +++ b/research/p104-nonunit-output-composition/RESULT.json @@ -0,0 +1,1594 @@ +{ + "adapter": { + "adapted_sha256": { + "check_odd_partial_admission.py": "2a4cdd2412a28e5a60c95ae8049e51ff3d0002ae97346bf5441f258f20ad6de4", + "check_odd_precision.py": "94be27f8f66981bddb750553f892976c452561df721be766d9ef90fb73e70d9d", + "emit_odd_type_ab.py": "6fd9f61f9ba6c726524d1a585d0201b0eac61829ccae6be598f0f0fc1cb64f1a" + }, + "edits": [ + { + "file": "emit_odd_type_ab.py", + "new": "invoice=json.loads((root/\"COHORT-PRICE.json\").read_text())", + "old": "invoice=next(x for x in json.loads((root/\"SHORT-CALLER-RAW-PRICE.json\").read_text())[\"rows\"] if tuple(x[\"shape\"])==shape)" + }, + { + "file": "check_odd_partial_admission.py", + "new": "actual_native=ind.native(w)\nassert actual_native==N and not N[\"bad_inputs\"], \"Fresh complete native inventory and arbitrary-input adjoint\"", + "old": "previous=json.loads((root/\"SHORT-ADMISSION-PARTIAL.json\").read_text())\nassert previous[\"native_sha256\"]==digest and not N[\"bad_inputs\"]" + }, + { + "file": "check_odd_partial_admission.py", + "new": "claim=Q('0.003642408496869')", + "old": "claim=Q(\".00363797977\")" + }, + { + "file": "check_odd_partial_admission.py", + "new": "tested=claim+Q(7,10**17)\nwhile tested>=Q(reference[\"raw_bracket\"][0]):\n tested=claim+(tested-claim)/10", + "old": "tested=claim+Q(7,10**17)" + }, + { + "file": "check_odd_partial_admission.py", + "new": "g=gate(invoice,claim,tested,*bracket,r[\"gate\"][\"BIT_pin\"])\ntry:\n gate(invoice,claim,Q(bracket[0]),*bracket,r[\"gate\"][\"BIT_pin\"])\nexcept AssertionError:\n crossing_probe_rejected=True\nelse:\n raise AssertionError(\"Probe at lower crossing unexpectedly accepted\")", + "old": "g=gate(invoice,claim,tested,*bracket,r[\"gate\"][\"BIT_pin\"])" + }, + { + "file": "check_odd_partial_admission.py", + "new": "\"crossing_probe_rejected\":crossing_probe_rejected,\"scope\":\"Reuse exact same native word all-column adjoint;", + "old": "\"scope\":\"Reuse exact same native word all-column adjoint;" + }, + { + "file": "check_odd_precision.py", + "new": "", + "old": "previous=json.loads((root/\"SHORT-PRECISION.json\").read_text())" + }, + { + "file": "check_odd_precision.py", + "new": "assert grid_receipt[\"caller_sha256\"]==sha256(cpath.read_bytes()).hexdigest()", + "old": "assert previous[\"native_sha256\"]==sha and grid_receipt[\"caller_sha256\"]==sha256(cpath.read_bytes()).hexdigest()" + }, + { + "file": "check_odd_precision.py", + "new": "wg=grid.word_run(w, frac=25)\nwp,wr=env.native_envelope(w)\nwg=json.loads(json.dumps(wg,default=str));wr=json.loads(json.dumps(wr,default=str))\nassert wg==r[\"precision\"][\"word\"] and wr==r[\"precision\"][\"rounded_native\"], \"Fresh changed-native grid and envelope\"", + "old": "wg=previous[\"native_grid\"]\nwr=previous[\"rounded_native\"]\nwp={key:(Q(v[\"exact\"]),v[\"witness\"]) for key,v in wr[\"bounds\"].items()}" + } + ] + }, + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "catalogue": [ + { + "catalogue_digest": "028f9f70bb24b83c4540e7e9b9b0e7aa1b37fe20fa05a79fb53c933e2e0edb43", + "catalogue_size": 3038, + "checked_maps": 1000, + "distinct_helper_maps": 186, + "distinct_paid_maps": 2953, + "exact_recipe_digest": "b9cdcbe051edca0b1fb57ede0bc0ba3c8614a4586d18b8946141fc9030ca731e", + "main_boundary_digest": "4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945", + "main_boundary_pairs": 0, + "phase_control_rejected": true, + "scope": "Complete signed Pauli action plus exact Gaussian global phase; for Clifford maps these determine every matrix column. Generic tensor-product and physical grammar application is written in the review. No random-field substitution.", + "slice_start": 0, + "slice_stop": 1000, + "status": "PASS_CURRENT_NATIVE_CATALOGUE_SLICE", + "word_sha256": "3c3391a9c098f710129d124af94ffda7a9abe8dc3c15e54c1b0c16bba8706fb5" + }, + { + "catalogue_digest": "028f9f70bb24b83c4540e7e9b9b0e7aa1b37fe20fa05a79fb53c933e2e0edb43", + "catalogue_size": 3038, + "checked_maps": 1000, + "distinct_helper_maps": 186, + "distinct_paid_maps": 2953, + "exact_recipe_digest": "3e70bf7c9c05d1194c607367fe8e874627d3e2a4ac5a995454b53232f6466859", + "main_boundary_digest": "4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945", + "main_boundary_pairs": 0, + "phase_control_rejected": true, + "scope": "Complete signed Pauli action plus exact Gaussian global phase; for Clifford maps these determine every matrix column. Generic tensor-product and physical grammar application is written in the review. No random-field substitution.", + "slice_start": 1000, + "slice_stop": 2000, + "status": "PASS_CURRENT_NATIVE_CATALOGUE_SLICE", + "word_sha256": "3c3391a9c098f710129d124af94ffda7a9abe8dc3c15e54c1b0c16bba8706fb5" + }, + { + "catalogue_digest": "028f9f70bb24b83c4540e7e9b9b0e7aa1b37fe20fa05a79fb53c933e2e0edb43", + "catalogue_size": 3038, + "checked_maps": 1000, + "distinct_helper_maps": 186, + "distinct_paid_maps": 2953, + "exact_recipe_digest": "f76e845684b453845083f27738e56aa51cc2a480f4e23846fa3041557ffe5095", + "main_boundary_digest": "4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945", + "main_boundary_pairs": 0, + "phase_control_rejected": true, + "scope": "Complete signed Pauli action plus exact Gaussian global phase; for Clifford maps these determine every matrix column. Generic tensor-product and physical grammar application is written in the review. No random-field substitution.", + "slice_start": 2000, + "slice_stop": 3000, + "status": "PASS_CURRENT_NATIVE_CATALOGUE_SLICE", + "word_sha256": "3c3391a9c098f710129d124af94ffda7a9abe8dc3c15e54c1b0c16bba8706fb5" + }, + { + "catalogue_digest": "028f9f70bb24b83c4540e7e9b9b0e7aa1b37fe20fa05a79fb53c933e2e0edb43", + "catalogue_size": 3038, + "checked_maps": 38, + "distinct_helper_maps": 186, + "distinct_paid_maps": 2953, + "exact_recipe_digest": "bfc076a1b2a07970754ea4df7d34ebef3f24dfb8fb22f891d0b20192de61a896", + "main_boundary_digest": "ad959887c990b8862a0e60db3f53d5195a1c9d667c1593f0101adc8db18f27fa", + "main_boundary_pairs": 104, + "phase_control_rejected": true, + "scope": "Complete signed Pauli action plus exact Gaussian global phase; for Clifford maps these determine every matrix column. Generic tensor-product and physical grammar application is written in the review. No random-field substitution.", + "slice_start": 3000, + "slice_stop": 3038, + "status": "PASS_CURRENT_NATIVE_CATALOGUE_SLICE", + "word_sha256": "3c3391a9c098f710129d124af94ffda7a9abe8dc3c15e54c1b0c16bba8706fb5" + } + ], + "checks": { + "ODD-8X9-APPLICATION-CHECKS.json": { + "assumptions": [ + "native_all_columns", + "owned_erasure", + "compiler", + "precision_tape", + "analytic_recovery" + ], + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "candidate": "3642408496869/1000000000000000", + "catalogue": [ + { + "catalogue_digest": "028f9f70bb24b83c4540e7e9b9b0e7aa1b37fe20fa05a79fb53c933e2e0edb43", + "catalogue_size": 3038, + "checked_maps": 1000, + "distinct_helper_maps": 186, + "distinct_paid_maps": 2953, + "exact_recipe_digest": "b9cdcbe051edca0b1fb57ede0bc0ba3c8614a4586d18b8946141fc9030ca731e", + "log_sha256": "3ea72e68c7f09f0e7a9ad8d46084b3fbdf8af6d123e8f2535b6e4d8c270d9680", + "main_boundary_digest": "4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945", + "main_boundary_pairs": 0, + "phase_control_rejected": true, + "scope": "Complete signed Pauli action plus exact Gaussian global phase; for Clifford maps these determine every matrix column. Generic tensor-product and physical grammar application is written in the review. No random-field substitution.", + "slice_start": 0, + "slice_stop": 1000, + "status": "PASS_CURRENT_NATIVE_CATALOGUE_SLICE", + "word_sha256": "3c3391a9c098f710129d124af94ffda7a9abe8dc3c15e54c1b0c16bba8706fb5" + }, + { + "catalogue_digest": "028f9f70bb24b83c4540e7e9b9b0e7aa1b37fe20fa05a79fb53c933e2e0edb43", + "catalogue_size": 3038, + "checked_maps": 1000, + "distinct_helper_maps": 186, + "distinct_paid_maps": 2953, + "exact_recipe_digest": "3e70bf7c9c05d1194c607367fe8e874627d3e2a4ac5a995454b53232f6466859", + "log_sha256": "4d88b8dd1ab61dae8a98c4b87c78ad462a3abf893c1fed4ac8dea76febbc8d46", + "main_boundary_digest": "4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945", + "main_boundary_pairs": 0, + "phase_control_rejected": true, + "scope": "Complete signed Pauli action plus exact Gaussian global phase; for Clifford maps these determine every matrix column. Generic tensor-product and physical grammar application is written in the review. No random-field substitution.", + "slice_start": 1000, + "slice_stop": 2000, + "status": "PASS_CURRENT_NATIVE_CATALOGUE_SLICE", + "word_sha256": "3c3391a9c098f710129d124af94ffda7a9abe8dc3c15e54c1b0c16bba8706fb5" + }, + { + "catalogue_digest": "028f9f70bb24b83c4540e7e9b9b0e7aa1b37fe20fa05a79fb53c933e2e0edb43", + "catalogue_size": 3038, + "checked_maps": 1000, + "distinct_helper_maps": 186, + "distinct_paid_maps": 2953, + "exact_recipe_digest": "f76e845684b453845083f27738e56aa51cc2a480f4e23846fa3041557ffe5095", + "log_sha256": "11225a704eee2c374c9c743654cda5e05bbf86d92f379174124af4e453d3f215", + "main_boundary_digest": "4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945", + "main_boundary_pairs": 0, + "phase_control_rejected": true, + "scope": "Complete signed Pauli action plus exact Gaussian global phase; for Clifford maps these determine every matrix column. Generic tensor-product and physical grammar application is written in the review. No random-field substitution.", + "slice_start": 2000, + "slice_stop": 3000, + "status": "PASS_CURRENT_NATIVE_CATALOGUE_SLICE", + "word_sha256": "3c3391a9c098f710129d124af94ffda7a9abe8dc3c15e54c1b0c16bba8706fb5" + }, + { + "catalogue_digest": "028f9f70bb24b83c4540e7e9b9b0e7aa1b37fe20fa05a79fb53c933e2e0edb43", + "catalogue_size": 3038, + "checked_maps": 38, + "distinct_helper_maps": 186, + "distinct_paid_maps": 2953, + "exact_recipe_digest": "bfc076a1b2a07970754ea4df7d34ebef3f24dfb8fb22f891d0b20192de61a896", + "log_sha256": "014f1d89af33f982e3287d932354f66da5aa31faa7e2767a86850f60b27e9b34", + "main_boundary_digest": "ad959887c990b8862a0e60db3f53d5195a1c9d667c1593f0101adc8db18f27fa", + "main_boundary_pairs": 104, + "phase_control_rejected": true, + "scope": "Complete signed Pauli action plus exact Gaussian global phase; for Clifford maps these determine every matrix column. Generic tensor-product and physical grammar application is written in the review. No random-field substitution.", + "slice_start": 3000, + "slice_stop": 3038, + "status": "PASS_CURRENT_NATIVE_CATALOGUE_SLICE", + "word_sha256": "3c3391a9c098f710129d124af94ffda7a9abe8dc3c15e54c1b0c16bba8706fb5" + } + ], + "fixed_tape_counts": { + "H": 16502900000000000000000, + "Kstar_bits": 14093, + "actual_ambient": 145, + "caller_odd_scale": 675, + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "common_grid": { + "fractional": "p+D", + "signed_width": "p+h+2D+3", + "temp_padding": 26 + }, + "compiler_ambient_cap": 153, + "context_bound_bits": 14104, + "context_c": 2362, + "elementary_records_per_map_upper": 85264, + "elementary_records_upper": 25431181696, + "log_power": 2236, + "max_scalar_numerator_bits": 24, + "monomial_map_slots": 298264, + "native_invocations": 17, + "native_sha256": "9557c4682056ab7cc7cda89aa73865bef0e3948cc10b3c3061b0a944af05b96a", + "owned_banks_per_raw_occurrence": 867, + "scalar_macro_inputs": { + "caller": 117856, + "conversions": 58216, + "native": 1161423 + }, + "scalar_services_upper": 42799840, + "scalar_steps_coefficient": 44878885027840, + "scope": "Exact finite-cost and common-format substitutions in the selected #7000 conditional application proof, using the conservative primitive movement and scalar constants there. The premise is the complete signed native/physical binding and retained compiler, BIT, stock, and outer contracts. This script counts the raw occurrence, not an enumerated top-level compiled multiplier.", + "tested_claim": "3642408496869/1000000000000000" + }, + "native_archive_sha256": "3c3391a9c098f710129d124af94ffda7a9abe8dc3c15e54c1b0c16bba8706fb5", + "native_canonical_sha256": "9557c4682056ab7cc7cda89aa73865bef0e3948cc10b3c3061b0a944af05b96a", + "numeric_gate": { + "BIT_margin": "12428150313093/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16502900000000000000000", + "alpha": [ + 0.9999999999999997, + 0.9999999999999997 + ], + "claim": "3642408496869/1000000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.9019663367095151, + 0.9019663367095151 + ], + "derivative_upper": -381949.8486859147, + "gamma": [ + 0.9408986995419518, + 0.9408986995419518 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "3642408496869/1000000000000000": [ + "124275106365520551379855848850723162292503069300292278027520160547922417998319/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124275106365520551379855848850723162292503069300292278027520160547922418000243/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364240849686907/100000000000000000": [ + "124275106365522837880548224256348648322779138259472078906655111790416942642193/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124275106365522837880548224256348648322779138259472078906655111790416942644151/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2235, + "moment_margin_float": { + "364240849686907/100000000000000000": [ + 9.584082989012143e-11, + 9.584082989012143e-11 + ], + "36424084968693169933964196366183/10000000000000000000000000000000000": [ + 1.5011073530614094e-29, + 1.5011073530614094e-29 + ], + "4553010621086646241745524545773/1250000000000000000000000000000000": [ + -2.379191929405633e-29, + -2.379191929405633e-29 + ] + }, + "moment_margins": { + "364240849686907/100000000000000000": [ + "2396020747253035581302553685786103857610081739390219623253277840874727/25000000000000000000000000000000000000000000000000000000000000000000000000000000", + "239602074725303558130255368578610385761008173939021962325327785059817/2500000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "36424084968693169933964196366183/10000000000000000000000000000000000": [ + "187638419132676185812036537536839420100383559531923/12500000000000000000000000000000000000000000000000000000000000000000000000000000", + "750553676530704743248146150147357680401534257485899/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "4553010621086646241745524545773/1250000000000000000000000000000000": [ + "-475838385881126595975213826899193397895189328050629/20000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-2379191929405632979876069134495966989475946600991499/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "36424084968693169933964196366183/10000000000000000000000000000000000", + "4553010621086646241745524545773/1250000000000000000000000000000000" + ], + "tested": "364240849686907/100000000000000000", + "written_log_power": 2236 + }, + "physical_binding": { + "ambient": 145, + "complete_paid_position_digest": "0324229f132f6f1f5a8d8fbb49d090a2db0d3090edf9e4b9ca55919fd8432424", + "fresh_helpers": 18564, + "idle_uses": 3392, + "lambda_uses": 11280, + "native_calls": 17, + "native_contact_boundaries": 13600, + "native_public": 1492, + "nonzero_boundary_translations": 13600, + "paid": { + "1": 68265, + "16": 416, + "2": 14518, + "24": 416, + "3": 14059, + "32": 416, + "4": 3808, + "40": 416, + "48": 416, + "5": 5797, + "56": 416, + "6": 272, + "64": 208, + "7": 187, + "8": 758, + "9": 32 + }, + "paid_positions": 110400, + "phase_record_digest": "586ab7499fb677afdd83c397ea0b6d3b25f73ea6cdfa1ec95dd68adccff935ad", + "productive_fields": 22308, + "query_uses": 384, + "rank_surplus": 1424, + "reserved_native_banks": 867, + "reserved_serial_query_lambda_bank": 1, + "targets": { + "1": 272, + "137": 208, + "17": 416, + "2": 340, + "25": 416, + "3": 799, + "33": 416, + "4": 3706, + "41": 416, + "49": 416, + "5": 1258, + "57": 416, + "6": 731, + "65": 416, + "7": 306, + "73": 208, + "8": 595, + "9": 10973 + } + }, + "scope": "Conditional component application to the exact 8+9 source with the selected completed BIT predecessor and inherited five assumptions. Checks every normalized endpoint, every paid/helper nested chart map up to exact signed Pauli and absolute phase, caller occurrence/phase, precision, finite scalar and route bounds, and numeric gates. Does not run a compiled Turing machine, select an upstream frontier, or claim human/formal review.", + "source_unit_ordinary": { + "all_caller_scalar_surcharge": 2248928, + "caller_items": { + "A": { + "envelope": 102076416, + "field_boundary": 89856, + "fused_routes": 0, + "idle_routes": 170112000, + "output_routes": 213120000, + "query_routes": 1152000, + "thin": 6144 + }, + "B": { + "envelope": 35730432, + "field_boundary": 7488, + "fused_routes": 1168000, + "idle_routes": 18016000, + "output_routes": 17760000, + "query_routes": 0, + "thin": 0 + } + }, + "caller_total": 559238336, + "charged_caller_odd_conversions": 479232, + "conservative_total": 778867208, + "init_clear_allowance": 216, + "lambda_paid_rank1_would_reduce_S_by": 11280, + "lambda_second_charge": 11280000, + "margin_to_billion": 221132792, + "odd_divisions": { + "ADD": 5365, + "SCALE": 71 + }, + "per_input_conversion": 2637856, + "raw_upper": 762221192, + "route_items": { + "first_main_adapter": 416, + "first_main_boundary": 208, + "helper_boundary": 2184, + "moves": 6272, + "owned_lifetime": 216, + "second_main_adapter": 384, + "second_main_boundary": 192 + }, + "routing": 9872000, + "scalar_upper": 2068168 + }, + "status": "PASS_8X9_EXACT_COMPONENT_APPLICATION_CHECKS" + }, + "ODD-ADMISSION-PARTIAL.json": { + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "compiler_outer": { + "BIT_margin": "12428150313093/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16502900000000000000000", + "alpha": [ + 0.9999999999999997, + 0.9999999999999997 + ], + "claim": "3642408496869/1000000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.9019663367095151, + 0.9019663367095151 + ], + "derivative_upper": -381949.8486859147, + "gamma": [ + 0.9408986995419518, + 0.9408986995419518 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "3642408496869/1000000000000000": [ + "124275106365520551379855848850723162292503069300292278027520160547922417998319/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124275106365520551379855848850723162292503069300292278027520160547922418000243/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364240849686907/100000000000000000": [ + "124275106365522837880548224256348648322779138259472078906655111790416942642193/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124275106365522837880548224256348648322779138259472078906655111790416942644151/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2235, + "moment_margin_float": { + "364240849686907/100000000000000000": [ + 9.584082989012143e-11, + 9.584082989012143e-11 + ], + "36424084968693169933964196366183/10000000000000000000000000000000000": [ + 1.5011073530614094e-29, + 1.5011073530614094e-29 + ], + "4553010621086646241745524545773/1250000000000000000000000000000000": [ + -2.379191929405633e-29, + -2.379191929405633e-29 + ] + }, + "moment_margins": { + "364240849686907/100000000000000000": [ + "2396020747253035581302553685786103857610081739390219623253277840874727/25000000000000000000000000000000000000000000000000000000000000000000000000000000", + "239602074725303558130255368578610385761008173939021962325327785059817/2500000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "36424084968693169933964196366183/10000000000000000000000000000000000": [ + "187638419132676185812036537536839420100383559531923/12500000000000000000000000000000000000000000000000000000000000000000000000000000", + "750553676530704743248146150147357680401534257485899/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "4553010621086646241745524545773/1250000000000000000000000000000000": [ + "-475838385881126595975213826899193397895189328050629/20000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-2379191929405632979876069134495966989475946600991499/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "36424084968693169933964196366183/10000000000000000000000000000000000", + "4553010621086646241745524545773/1250000000000000000000000000000000" + ], + "tested": "364240849686907/100000000000000000", + "written_log_power": 2236 + }, + "crossing_probe_rejected": true, + "finite_rank9_fields": [ + { + "child_rank": 9, + "denominator": 512, + "exponent": 1, + "mutated_entries": { + "missing global phase": 8, + "missing multiplicity": 0 + }, + "spectators": 136, + "stage": 8, + "swaps": [ + [ + 1, + 65 + ], + [ + 2, + 66 + ], + [ + 3, + 67 + ], + [ + 4, + 68 + ], + [ + 5, + 69 + ], + [ + 6, + 70 + ], + [ + 7, + 71 + ], + [ + 8, + 72 + ] + ], + "tested_entries": 262144, + "width": 1 + }, + { + "child_rank": 9, + "denominator": 262144, + "exponent": 2, + "mutated_entries": { + "missing global phase": 8, + "missing multiplicity": 8 + }, + "spectators": 272, + "stage": 8, + "swaps": [ + [ + 1, + 65 + ], + [ + 2, + 66 + ], + [ + 3, + 67 + ], + [ + 4, + 68 + ], + [ + 5, + 69 + ], + [ + 6, + 70 + ], + [ + 7, + 71 + ], + [ + 8, + 72 + ] + ], + "tested_entries": 1024, + "width": 2 + }, + { + "child_rank": 9, + "denominator": 134217728, + "exponent": 3, + "mutated_entries": { + "missing global phase": 8, + "missing multiplicity": 8 + }, + "spectators": 408, + "stage": 8, + "swaps": [ + [ + 1, + 65 + ], + [ + 2, + 66 + ], + [ + 3, + 67 + ], + [ + 4, + 68 + ], + [ + 5, + 69 + ], + [ + 6, + 70 + ], + [ + 7, + 71 + ], + [ + 8, + 72 + ] + ], + "tested_entries": 1024, + "width": 3 + }, + { + "child_rank": 9, + "denominator": 512, + "exponent": 1, + "mutated_entries": { + "missing global phase": 8, + "missing multiplicity": 0 + }, + "spectators": 136, + "stage": 9, + "swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "tested_entries": 262144, + "width": 1 + }, + { + "child_rank": 9, + "denominator": 262144, + "exponent": 2, + "mutated_entries": { + "missing global phase": 8, + "missing multiplicity": 8 + }, + "spectators": 272, + "stage": 9, + "swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "tested_entries": 1024, + "width": 2 + }, + { + "child_rank": 9, + "denominator": 134217728, + "exponent": 3, + "mutated_entries": { + "missing global phase": 8, + "missing multiplicity": 8 + }, + "spectators": 408, + "stage": 9, + "swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "tested_entries": 1024, + "width": 3 + } + ], + "invoice": { + "P": { + "1": 68265, + "16": 416, + "2": 14518, + "24": 416, + "3": 14059, + "32": 416, + "4": 3808, + "40": 416, + "48": 416, + "5": 5797, + "56": 416, + "6": 272, + "64": 208, + "7": 187, + "8": 758, + "9": 32 + }, + "S": 1424, + "T": { + "1": 272, + "137": 208, + "17": 416, + "2": 340, + "25": 416, + "3": 799, + "33": 416, + "4": 3706, + "41": 416, + "49": 416, + "5": 1258, + "57": 416, + "6": 731, + "65": 416, + "7": 306, + "73": 208, + "8": 595, + "9": 10973 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036424084968693169933964196366183386853498606175933205372534926496", + "raw_crossing": "0.0036424084968693169933964196366183386853498606175933205372534926496" + }, + "native_sha256": "9557c4682056ab7cc7cda89aa73865bef0e3948cc10b3c3061b0a944af05b96a", + "ordinary": { + "all_caller_scalar_surcharge": 2248928, + "caller_items": { + "A": { + "envelope": 102076416, + "field_boundary": 89856, + "fused_routes": 0, + "idle_routes": 170112000, + "output_routes": 213120000, + "query_routes": 1152000, + "thin": 6144 + }, + "B": { + "envelope": 35730432, + "field_boundary": 7488, + "fused_routes": 1168000, + "idle_routes": 18016000, + "output_routes": 17760000, + "query_routes": 0, + "thin": 0 + } + }, + "caller_total": 559238336, + "charged_caller_odd_conversions": 479232, + "conservative_total": 778867208, + "init_clear_allowance": 216, + "lambda_paid_rank1_would_reduce_S_by": 11280, + "lambda_second_charge": 11280000, + "margin_to_billion": 221132792, + "odd_divisions": { + "ADD": 5365, + "SCALE": 71 + }, + "per_input_conversion": 2637856, + "raw_upper": 762221192, + "route_items": { + "first_main_adapter": 416, + "first_main_boundary": 208, + "helper_boundary": 2184, + "moves": 6272, + "owned_lifetime": 216, + "second_main_adapter": 384, + "second_main_boundary": 192 + }, + "routing": 9872000, + "scalar_upper": 2068168 + }, + "scope": "Reuse exact same native word all-column adjoint; fresh exact signed caller and invoice, ordinary source-unit upper bill, inherited numerical compiler and outer inequalities, and signed rank9 child finite field routes. Fresh integrated physical native/caller and changed-word precision/occurrence application remain separate." + }, + "ODD-CALLER-EXACT-GRID.json": { + "caller_odd_scale": "675", + "caller_odd_scale_bits": 10, + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "grid_exponents": [ + 381, + 3, + 2 + ], + "peak_terms": 3752, + "preproduct_exact_divisions": 176874, + "prime_order": [ + 2, + 3, + 5 + ], + "safe_valuation_bound": [ + 381, + 69, + 62 + ], + "scope": "Independent integer Laurent caller endpoint and pre-product divisibility. Valuation bound propagates complete field operators whose Gaussian coefficients have only power-of-two denominators, so odd factors are sourced only from the charged scalar operations. Fixed conversion and storage bounds still needed." + }, + "ODD-FIXED-TAPE-COUNTS.json": { + "H": 16502900000000000000000, + "Kstar_bits": 14093, + "actual_ambient": 145, + "caller_odd_scale": 675, + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "common_grid": { + "fractional": "p+D", + "signed_width": "p+h+2D+3", + "temp_padding": 26 + }, + "compiler_ambient_cap": 153, + "context_bound_bits": 14104, + "context_c": 2362, + "elementary_records_per_map_upper": 85264, + "elementary_records_upper": 25431181696, + "log_power": 2236, + "max_scalar_numerator_bits": 24, + "monomial_map_slots": 298264, + "native_invocations": 17, + "native_sha256": "9557c4682056ab7cc7cda89aa73865bef0e3948cc10b3c3061b0a944af05b96a", + "owned_banks_per_raw_occurrence": 867, + "scalar_macro_inputs": { + "caller": 117856, + "conversions": 58216, + "native": 1161423 + }, + "scalar_services_upper": 42799840, + "scalar_steps_coefficient": 44878885027840, + "scope": "Exact finite-cost and common-format substitutions in the selected #7000 conditional application proof, using the conservative primitive movement and scalar constants there. The premise is the complete signed native/physical binding and retained compiler, BIT, stock, and outer contracts. This script counts the raw occurrence, not an enumerated top-level compiled multiplier.", + "tested_claim": "3642408496869/1000000000000000" + }, + "ODD-PHYSICAL-BINDING.json": { + "aliased_main_rejected": true, + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "native_sha256": "9557c4682056ab7cc7cda89aa73865bef0e3948cc10b3c3061b0a944af05b96a", + "occurrence_and_geometry": { + "ambient": 145, + "complete_paid_position_digest": "0324229f132f6f1f5a8d8fbb49d090a2db0d3090edf9e4b9ca55919fd8432424", + "fresh_helpers": 18564, + "idle_uses": 3392, + "lambda_uses": 11280, + "native_calls": 17, + "native_contact_boundaries": 13600, + "native_public": 1492, + "nonzero_boundary_translations": 13600, + "paid": { + "1": 68265, + "16": 416, + "2": 14518, + "24": 416, + "3": 14059, + "32": 416, + "4": 3808, + "40": 416, + "48": 416, + "5": 5797, + "56": 416, + "6": 272, + "64": 208, + "7": 187, + "8": 758, + "9": 32 + }, + "paid_positions": 110400, + "phase_record_digest": "586ab7499fb677afdd83c397ea0b6d3b25f73ea6cdfa1ec95dd68adccff935ad", + "productive_fields": 22308, + "query_uses": 384, + "rank_surplus": 1424, + "reserved_native_banks": 867, + "reserved_serial_query_lambda_bank": 1, + "targets": { + "1": 272, + "137": 208, + "17": 416, + "2": 340, + "25": 416, + "3": 799, + "33": 416, + "4": 3706, + "41": 416, + "49": 416, + "5": 1258, + "57": 416, + "6": 731, + "65": 416, + "7": 306, + "73": 208, + "8": 595, + "9": 10973 + } + }, + "patched_application_sha256": "733b31b1cee4567b466fdf834a34460b530f1f87ca6dca9270c0fabb2cf89849", + "scope": "Current caller port and ownership substitution, full phase-polynomial native contact identities on disjoint stage axes, whole signed idle/output geometry, and ordered paid positions. Retains the standard nested chart and local operator premises and requires separate full native replay and complete fixed-tape tariff application.", + "source_reviewer_sha256": "d98987db98553dc55bfc80e3ca47abfcd51c57af6f8cda61101391d8eae94184" + }, + "ODD-PRECISION.json": { + "caller_grid": { + "caller_odd_scale": "675", + "caller_odd_scale_bits": 10, + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "grid_exponents": [ + 381, + 3, + 2 + ], + "peak_terms": 3752, + "preproduct_exact_divisions": 176874, + "prime_order": [ + 2, + 3, + 5 + ], + "safe_valuation_bound": [ + 381, + 69, + 62 + ], + "scope": "Independent integer Laurent caller endpoint and pre-product divisibility. Valuation bound propagates complete field operators whose Gaussian coefficients have only power-of-two denominators, so odd factors are sourced only from the charged scalar operations. Fixed conversion and storage bounds still needed." + }, + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "context_c": 2362, + "context_height": 406, + "context_mass_bits": 1181, + "native_grid": { + "coefficient_visits": 15457099, + "dyadic_height": 25, + "mass_witness": [ + 65191, + "stored add" + ], + "maximum_scaled_mass": "814448574117075/8192", + "numerator_bits": 24, + "odd_scale_lcm": 1125 + }, + "native_sha256": "9557c4682056ab7cc7cda89aa73865bef0e3948cc10b3c3061b0a944af05b96a", + "precision_program_sha256": "7696f2e4074ccc9c970670494595e2a973742279a6109d1e60fd551a4611d236", + "rounded_caller": { + "bounds": { + "E_joint_entrance": { + "exact": "5950784596457319646781042109049649395947688220153629498674197626336617060316885269596849625832730735374806187127383474426201690043383414226351676401822266248371626396497159176497230618018984985627894631416777770336973316630522918081790538003107095176070939379435247528107255024380677778281357547271196031692703049986251284571544553863387098068291247569297960490977528765446020526806354533978934594926960216887889822913970010347/2529158213879057302658998941096345600000000000000000000000000000000000000000000000", + "strict_power_of_two": 1148, + "witness": { + "cut": 4691, + "event": 4691, + "factor": "1", + "kind": "stored", + "register": 36 + } + }, + "Gamma_context": { + "exact": "153575481248692675084934569000179123719626342753978231524079938152902054419882048804587227211232275580896736598223501763486667888649096778445608178054042397147312248826786182460579657779719744044963604312245157618863512851107721118949006126841942893783398452734706802900119818847095001316628842826649938287013649344554564346635084768032156596800024826976825509397876465008311994516768680421178301587499262864086679523742236937337/1896868660409292976994249205822259200000000000000000000000000000000000000000000000", + "strict_power_of_two": 1153, + "witness": { + "cut": 4783, + "factor": "1", + "kind": "public-return", + "register": 37 + } + }, + "M_caller": { + "exact": "321214676655933560129782836030951119958622429471431692811117505066079252658303325303661828534046786576018850667853596288128047313819788006911616028348392581085050721023636971054851673799947587501432346122953175312809813833001587100311020687804583808767060460431114911369649528995555025426696059541/456139469146728515625000000", + "strict_power_of_two": 897, + "witness": { + "cut": 4751, + "event": 4750, + "factor": "1", + "kind": "stored", + "register": 37 + } + }, + "M_context": { + "exact": "24898013777100702035967807306091511244662602025139468421656390878219636962702451835397705516562583813714751076075014761541426714578979447457838246883663379540658135110522684890152220850081224266847858467942457034492429205494175440008713667333568524239495616651717634471043696134441138275016076327532667795585567014680211930935502669438837484994915626622950665764620750914798532506936890144034321496304058272553336563831712407929237/1686105475919371535105999294064230400000000000000000000000000000000000000000000000", + "strict_power_of_two": 1160, + "witness": { + "cut": 4692, + "event": 4691, + "factor": "1", + "kind": "stored", + "register": null + } + }, + "M_joint_entrance": { + "exact": "12446513821466013746992171114880354528234540647439407368041740746722705684890095694539586093101687855496797040728247169012299728404791642365323413178973703529222728715961384485250463009966565309368602073434714550373752128374887698957802006867751735225949803848812917591840288770078529478244705471/608185958862304687500000000", + "strict_power_of_two": 892, + "witness": { + "cut": 4691, + "event": 4691, + "factor": "1", + "kind": "stored", + "register": 36 + } + }, + "Sigma_caller": { + "exact": "153575481248692675084934569000179123719626342753978231524079938152902054419882048804587227211232275580896736598223501763486667888649096778445608178054042397147312248826786182460579657779719744044963604312245157618863512851107721118949006126841942893783398452734706802900119818847095001316628842826649938287013649344554564346635084768032156596800024826976825509397876465008311994516768680421178301587499262864086679523742236937337/1896868660409292976994249205822259200000000000000000000000000000000000000000000000", + "strict_power_of_two": 1153, + "witness": { + "cut": 4753, + "event": 4752, + "factor": "1", + "kind": "stored", + "register": 37 + } + }, + "Sigma_context": { + "exact": "11903953106260370278140133773965854814178369875789970127069211335833254020029762950958032406501684756362982199558110111067284921959022159894243287507010133300652812750768558318403742506603695928360095507898506243611703878702768058987510383014581912472684921117868452670901193382202669601603960381345347618883346399397808227042676880708376909156691901002370783477676787997302969130852034235975768515349700950164635348693649136004673837442756347671456328233362577706099692860525587412652509896213240486877884935201306349781824500893354708582553976209502408993846009/7011716485308428615133405458301579549733503737764404511774644319027200000000000000000000000000000000000000000000000000000000000000000000", + "strict_power_of_two": 1416, + "witness": { + "cut": 4692, + "event": 4691, + "factor": "1", + "kind": "stored", + "register": null + } + } + }, + "fresh_arbitrary_helpers": 18564, + "helper_allocation_premise": "distinct (stage, helper) public inputs as in frozen caller proof", + "independent_adjoint": { + "E_joint_entrance": { + "entrance_mass": "12446513821466013746992171114880354528234540647439407368041740746722705684890095694539586093101687855496797040728247169012299728404791642365323413178973703529222728715961384485250463009966565309368602073434714550373752128374887698957802006867751735225949803848812917591840288770078529478244705471/608185958862304687500000000", + "joint_coefficient": "144218124282401204617230263054514744346632405857442589144991781917530152132889870002846209306787762894150543865356389849084238452276894627352790762454037345126994351979907477144401257368423063007427271766117739822282248246858569624239109891511459830034432108241771054783468611278140179030295737/14596463012695312500000000000", + "primitive_coefficient": "1237373204913668966810008103424843603237049842106979534739539344726881600855129275554334885562896567825503574055929527662143657491595081161117482238618339640110136792453314323518006796600687371906278112102741547626404362403105174332310591538741639237757093806525664195341657589882317257470101709011/175157556152343750000000000000", + "residual_mass": "5950784596457319646781042109049649395947688220153629498674197626336617060316885269596849625832730735374806187127383474426201690043383414226351676401822266248371626396497159176497230618018984985627894631416777770336973316630522918081790538003107095176070939379435247528107255024380677778281357547271196031692703049986251284571544553863387098068291247569297960490977528765446020526806354533978934594926960216887889822913970010347/2529158213879057302658998941096345600000000000000000000000000000000000000000000000" + }, + "Gamma_context": { + "entrance_mass": "321214676655933560129782836030951119958622429471431692811117505066079252658303325303661828534046786576018850667853596288128047313819788006911616028348392581085050721023636971054851673799947587501432346122953175312809813833001587100311020687804583808767060460431114911369649528995555025426696059541/456139469146728515625000000", + "joint_coefficient": "3721923971948022264020008386608472289590988528157114268392412469599050143495508978788641788787976594161440706214373829555996384554677122174093932095769106055424540710380314024651007332164525664382203471694821380954416641216321248248752759218861172626274920078125266851782731337714997593665899027/10947347259521484375000000000", + "primitive_coefficient": "31933635363307317503891208167952125518099265598871297188945655447689887409437080424471754322893069036961252717295444311531802702290424391181977246033332095685934810861449534911850277930109610390733877602745069385156892357266512877411313922547610591253415658016844390796379192959369382262182067424881/131368167114257812500000000000", + "residual_mass": "153575481248692675084934569000179123719626342753978231524079938152902054419882048804587227211232275580896736598223501763486667888649096778445608178054042397147312248826786182460579657779719744044963604312245157618863512851107721118949006126841942893783398452734706802900119818847095001316628842826649938287013649344554564346635084768032156596800024826976825509397876465008311994516768680421178301587499262864086679523742236937337/1896868660409292976994249205822259200000000000000000000000000000000000000000000000" + }, + "M_caller": { + "entrance_mass": "321214676655933560129782836030951119958622429471431692811117505066079252658303325303661828534046786576018850667853596288128047313819788006911616028348392581085050721023636971054851673799947587501432346122953175312809813833001587100311020687804583808767060460431114911369649528995555025426696059541/456139469146728515625000000", + "joint_coefficient": "3721923971948022264020008386608472289590988528157114268392412469599050143495508978788641788787976594161440706214373829555996384554677122174093932095769106055424540710380314024651007332164525664382203471694821380954416641216321248248752759218861172626274920078125266851782731337714997593665899027/10947347259521484375000000000", + "primitive_coefficient": "31933635363307317503891208167952125518099265598871297188945655447689887409437080424471754322893069036961252717295444311531802702290424391181977246033332095685934810861449534911850277930109610390733877602745069385156892357266512877411313922547610591253415658016844390796247824792255124449682067424881/131368167114257812500000000000", + "residual_mass": "153575481248692675084934569000179123719626342753978231524079938152902054419882048804587227211232275580896736598223501763486667888649096778445608178054042397147312248826786182460579657779719744044963604312245157618863512851107721118949006126841942893783398452734706802900119818847095001316628842826649938287013649344554564346635084768032156596800022930108165100104899470759106172257568680421178301587499262864086679523742236937337/1896868660409292976994249205822259200000000000000000000000000000000000000000000000" + }, + "M_joint_entrance": { + "entrance_mass": "12446513821466013746992171114880354528234540647439407368041740746722705684890095694539586093101687855496797040728247169012299728404791642365323413178973703529222728715961384485250463009966565309368602073434714550373752128374887698957802006867751735225949803848812917591840288770078529478244705471/608185958862304687500000000", + "joint_coefficient": "144218124282401204617230263054514744346632405857442589144991781917530152132889870002846209306787762894150543865356389849084238452276894627352790762454037345126994351979907477144401257368423063007427271766117739822282248246858569624239109891511459830034432108241771054783468611278140179030295737/14596463012695312500000000000", + "primitive_coefficient": "1237373204913668966810008103424843603237049842106979534739539344726881600855129275554334885562896567825503574055929527662143657491595081161117482238618339640110136792453314323518006796600687371906278112102741547626404362403105174332310591538741639237757093806525664195341657589882317257470101709011/175157556152343750000000000000", + "residual_mass": "5950784596457319646781042109049649395947688220153629498674197626336617060316885269596849625832730735374806187127383474426201690043383414226351676401822266248371626396497159176497230618018984985627894631416777770336973316630522918081790538003107095176070939379435247528107255024380677778281357547271196031692703049986251284571544553863387098068291247569297960490977528765446020526806354533978934594926960216887889822913970010347/2529158213879057302658998941096345600000000000000000000000000000000000000000000000" + }, + "Sigma_caller": { + "entrance_mass": "321214676655933560129782836030951119958622429471431692811117505066079252658303325303661828534046786576018850667853596288128047313819788006911616028348392581085050721023636971054851673799947587501432346122953175312809813833001587100311020687804583808767060460431114911369649528995555025426696059541/456139469146728515625000000", + "joint_coefficient": "3721923971948022264020008386608472289590988528157114268392412469599050143495508978788641788787976594161440706214373829555996384554677122174093932095769106055424540710380314024651007332164525664382203471694821380954416641216321248248752759218861172626274920078125266851782731337714997593665899027/10947347259521484375000000000", + "primitive_coefficient": "31933635363307317503891208167952125518099265598871297188945655447689887409437080424471754322893069036961252717295444311531802702290424391181977246033332095685934810861449534911850277930109610390733877602745069385156892357266512877411313922547610591253415658016844390796379192959369382262182067424881/131368167114257812500000000000", + "residual_mass": "153575481248692675084934569000179123719626342753978231524079938152902054419882048804587227211232275580896736598223501763486667888649096778445608178054042397147312248826786182460579657779719744044963604312245157618863512851107721118949006126841942893783398452734706802900119818847095001316628842826649938287013649344554564346635084768032156596800024826976825509397876465008311994516768680421178301587499262864086679523742236937337/1896868660409292976994249205822259200000000000000000000000000000000000000000000000" + } + }, + "joint_entries": [ + { + "entrance_defect": "1435/4", + "entrance_mass": "2067/2", + "event": 43, + "stage": 1 + }, + { + "entrance_defect": "70781793918399586558213313219166874124348981830476075439299148062985117742742708752008405257047902585707819409051289874650376544308398195117/54147497318342533224087693557760000000000000000000000", + "entrance_mass": "56849465528/5", + "event": 137, + "stage": 2 + }, + { + "entrance_defect": "107545293560019130402683285945609675422266176997625062910617679166125768386588553970345823333213374594954600322300561452336065256257218403742259486545197/5198159742560883189512418581544960000000000000000000000", + "entrance_mass": "899756300051784928313/5", + "event": 268, + "stage": 3 + }, + { + "entrance_defect": "100168175419170962309410485582772128097175345943911048485049079247311101970469254674007013858887681100335136050752472619475943032952212522177791895423529822227821/5198159742560883189512418581544960000000000000000000000", + "entrance_mass": "2514111326902273689027625979152/15", + "event": 432, + "stage": 4 + }, + { + "entrance_defect": "20462096123875919764329906341867017106411055486650041560280880698582596677764998287420900982115803592236177889542061555830443373797416870122899846604084645982386599271376891/5198159742560883189512418581544960000000000000000000000", + "entrance_mass": "513576167499541081817002847690160861158177/15", + "event": 633, + "stage": 5 + }, + { + "entrance_defect": "1959245387687414223546514741657040650281549520224206307948249839895341092219719715063816557063354389670302614621188683726361237172974071031030484281595034167852225539740784671725077119/77972396138413247842686278723174400000000000000000000000", + "entrance_mass": "49174910102467876864090432969907258581035345395534834/225", + "event": 867, + "stage": 6 + }, + { + "entrance_defect": "208963522494459959908564749202344616225858863148692101181188439661247018980831837083537077714468820211188535567354301770571191125819484041984326915523848319352625526707573684781584410768887569969/8663599570934805315854030969241600000000000000000000000", + "entrance_mass": "47202796791779792903787260464709452698419616298153732189406926691/225", + "event": 1138, + "stage": 7 + }, + { + "entrance_defect": "60841691544910830928364282138725800374594826721182509450938386596011486931005190227581333928095460915639243081105041980509203768248315837669160769430287556038709353692186271961087270514708595248388801980927073351/9746549517301655980335784840396800000000000000000000000000", + "entrance_mass": "1527059719525243651854937925515623170877847518562264265010551055991429949116792541/28125", + "event": 1423, + "stage": 8 + }, + { + "entrance_defect": "21697531828625713684740058398136455620365440982997449911407078954694215801300793760772068763786761013278336382216875248436301722977944686542614557481598113756091878698300644837953471117486973242734047026121073293808617260044713793025894027441057152180868289078937417087929316106425038123423385085871614265738010662096210730699698607256176914735971/11240703172795810234039995293761536000000000000000000000000000000000000000000000", + "entrance_mass": "45382020709918266925583064268574418985484021788023395083741971786893952543604385214817042722264713249357732585113211736557042182118473445437784492974844696068231496289005681248244219743195326431922663592509646282903/2703048706054687500000000", + "event": 3058, + "stage": 9 + }, + { + "entrance_defect": "8250516616501954952947521879546170262715903208283456671037321906103325170245107464536561241089763967794517013787779996111361122623301225360437931973621208708162624020027146302436292874899135255798147229041001764906193945412958792393279956531239070838462139517330704385511394047257523532677898368537505181666793977321511434252998072420338928064461976457587447409/281017579319895255850999882344038400000000000000000000000000000000000000000000000", + "entrance_mass": "17256576412236653193246225901973714737195067836439327666112948810725372605325768521068989782195051084826433423902219365061463548934152577319772447024097669813834215493691840531234110147024064996639957180865886380686899413865699437/67576217651367187500000000", + "event": 3377, + "stage": 10 + }, + { + "entrance_defect": "3936204358672694714049639857607941543948385792858929624461273360524627965237929916623514737071982877505582267533025376397105816572271840648600265334105893464673235981104732422870668138032538327022758768801414502573399950167040738254752599727269892498483447304673848002432122549886160040554995496940034138939737093960974718497258156119745401439514571613781407496569931774571/9367252643996508528366662744801280000000000000000000000000000000000000000000000", + "entrance_mass": "8232867642949280967953864719378369729636081542640965177026582834276172086852779069019078166383458700724373015543641299678854718814560615654710102550769670203427726502361438450768012893674227975469242856299447027845030556012745339827937032703/2252540588378906250000000", + "event": 3674, + "stage": 11 + }, + { + "entrance_defect": "49463969802973967325116951425714591118109814884781424090538939802520063192967223247080302984831059907051629962646047414781903629088233820238607810524527659646156121580222106742268971125774270092757154023858944069505056435505141858256814511836313156889484204738704606607678593598749722023642008158499742305562424443145091862828666280537749163072662453266946919802757687749650912526923467/1264579106939528651329499470548172800000000000000000000000000000000000000000000000", + "entrance_mass": "103457615351059805192637231353494210876529187337645013912367786609511281374638184501291799844537790265462481580051228205479278831706979374022592427678836083146990308179368316797029946556942233864286312243671687806427572314354434738422294564686254956597631/304092979431152343750000000", + "event": 3934, + "stage": 12 + }, + { + "entrance_defect": "3258160217148365984270609051672662361598559220821822976206750026494041945354721081932301778977314253741393952027434716688523809537980518501811816943843228148931075356555076753619896050843025928144973389026987990414311969605172653665641593556930077950137864280102788280030225362908536698902601093694682438996425781850314815323743736775030295470077208849971627228717596985041345076246496350067723/316144776734882162832374867637043200000000000000000000000000000000000000000000000", + "entrance_mass": "6814687293408352348961376609223100753789665399854180217091951198766673494955017243489117504312576625705862588971333049204842152193259763726092611947454717867967563820647006231530855513792517852570389360287582421241328472893443552787136426885585158158296407747039/76023244857788085937500000", + "event": 4149, + "stage": 13 + }, + { + "entrance_defect": "130852840842335729232766137021705310563412666964173716780336143585511384068764352121550980332664165476972038082876809878125617542351089264780701097756292189831879420094070186235729625282260142075998380772637679347548316896682084414136189062008043206330797950131728920746162306491404670850992249744742333679948143404118971319638294043960156053452358084865881401674952509155427338540213589482680789812165187/2529158213879057302658998941096345600000000000000000000000000000000000000000000000", + "entrance_mass": "273688564209132230699064882255651065961520374651451250325109091529813162250488973700796593555467744131430272845604649750549608356985710665121874068107850799585492748533787927289567936649257940207702597871193107311090132538524151482351564937285621850171994049078063458209591/608185958862304687500000000", + "event": 4337, + "stage": 14 + }, + { + "entrance_defect": "2500880895806015086378784021061611530864648573542505916839281558662504972835419291099192238869361509869219630796335185560995573432039206385566004493026422287396129389234902101230595976246159537627351344971687865719985818774859474450281039648209649102524823896982115928742867175548371096395274731839234494515296722807711803486322564585561171276038585617967385299774092545648940295952972914933856517768193759502977/1264579106939528651329499470548172800000000000000000000000000000000000000000000000", + "entrance_mass": "5230780602279043381317572379439763694807653157987526423412516241866438709931406455512285461654380762978554988724296151241130161368896505647624919395909388513302452136334767445346454946237326490486725295589968816639097338790755366202380875008783642473174121062695038054202858248061/304092979431152343750000000", + "event": 4485, + "stage": 15 + }, + { + "entrance_defect": "2768451233798323087389731795522238120754259027802011042453481877193682957405891392158863987414969508586367796138941713526105556382342810135115538384838550525273567908563665199103976459067052584488522355077357731213146134459046864716843037944205910783290525348323514641167409318848626571913371695775824143045879341262556079597721457339660378250204885289420922885038937689486130380298163082437626911112503708246627922440091/2529158213879057302658998941096345600000000000000000000000000000000000000000000000", + "entrance_mass": "5790424100720951765768300756324298709533962301792798636386692749870979029496708556989270788662796627612885676197810930990877069943243536093513215980405080279750566239442965631097385199413957318608000177913047677092759213914423460784984181631621622445055356552059259436283593839861423838063/608185958862304687500000000", + "event": 4606, + "stage": 16 + }, + { + "entrance_defect": "5950784596457319646781042109049649395947688220153629498674197626336617060316885269596849625832730735374806187127383474426201690043383414226351676401822266248371626396497159176497230618018984985627894631416777770336973316630522918081790538003107095176070939379435247528107255024380677778281357547271196031692703049986251284571544553863387098068291247569297960490977528765446020526806354533978934594926960216887889822913970010347/2529158213879057302658998941096345600000000000000000000000000000000000000000000000", + "entrance_mass": "12446513821466013746992171114880354528234540647439407368041740746722705684890095694539586093101687855496797040728247169012299728404791642365323413178973703529222728715961384485250463009966565309368602073434714550373752128374887698957802006867751735225949803848812917591840288770078529478244705471/608185958862304687500000000", + "event": 4691, + "stage": 17 + } + ], + "physical_main_inputs": 3744, + "sites": { + "ADD": 4126, + "IDLE_ODD": 4, + "IDLE_ONE": 90, + "J": 17, + "LAMBDA": 178, + "QUERY": 4, + "SCALE": 312, + "SWAP": 52, + "noninteger_scalar": 1752 + } + }, + "rounded_native": { + "bounds": { + "Gamma": { + "exact": "41262390743654180353824668559220566387072561689719160198891078363901463467703289210216786053079186041456655602373382010595955679502531/173271991418696106317080619384832000000000000000000000", + "strict_power_of_two": 268, + "witness": { + "cut": 74591, + "factor": "1", + "kind": "public-return", + "register": 1483 + } + }, + "M": { + "exact": "2000400604879422152099704980701647518621850280449683462754007100601087452800342179425603181544902261909432088137599521038480745462975147/2772351862699137701073289910157312000000000000000000000", + "strict_power_of_two": 269, + "witness": { + "cut": 73415, + "factor": "1", + "kind": "stored", + "register": 1483 + } + }, + "Sigma": { + "exact": "41262390743654180353824668559220566387072561689719160198891078363901463467703289210216786053079186041456655602373382010595955679502531/173271991418696106317080619384832000000000000000000000", + "strict_power_of_two": 268, + "witness": { + "cut": 73415, + "factor": "1", + "kind": "stored", + "register": 1483 + } + } + }, + "census": { + "denominator_bits": 20, + "events": 74591, + "lifetimes": 54, + "max_denominator": 655360, + "max_numerator": 14729531, + "numerator_bits": 24, + "opcodes": { + "ADD": 64504, + "CLEAR": 54, + "COPY": 1, + "INIT": 54, + "MOVE": 6272, + "SCALE": 3706 + }, + "owned_labels": 51, + "peak_owned": 43, + "public": 1492, + "scalars": { + "dyadic": 62775, + "integer": 39336, + "noninteger": 28875, + "odd": 5436 + } + }, + "independent_adjoint": { + "Gamma": { + "active_residual_sites": 26499, + "entrance_mass": "2000400604879422152099704980701647518621850280449683462754007100601087452800342179425603181544902261909432088137599521038480745462975147/2772351862699137701073289910157312000000000000000000000", + "residual_mass": "41262390743654180353824668559220566387072561689719160198891078363901463467703289210216786053079186041456655602373382010595955679502531/173271991418696106317080619384832000000000000000000000" + }, + "M": { + "active_residual_sites": 26499, + "entrance_mass": "2000400604879422152099704980701647518621850280449683462754007100601087452800342179425603181544902261909432088137599521038480745462975147/2772351862699137701073289910157312000000000000000000000", + "residual_mass": "41262390743654180353824668559220566387072561689719160198891078363901463467703289210216786053079186041456655602373382010595955679502531/173271991418696106317080619384832000000000000000000000" + }, + "Sigma": { + "active_residual_sites": 26499, + "entrance_mass": "2000400604879422152099704980701647518621850280449683462754007100601087452800342179425603181544902261909432088137599521038480745462975147/2772351862699137701073289910157312000000000000000000000", + "residual_mass": "41262390743654180353824668559220566387072561689719160198891078363901463467703289210216786053079186041456655602373382010595955679502531/173271991418696106317080619384832000000000000000000000" + } + } + }, + "scope": "Fixed integer Laurent grid with charged odd caller scale, and pinned attributed forward/adjoint all-fibre defect engine applied to the emitted 17-stage caller. Each LAMBDA, QUERY and signed/unsigned idle is one unitary with one child defect. The caller allocation assumes independent stage helpers. Full physical application remains separate." + }, + "ODD-TYPE-AB-REPLAY.json": { + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "paid": { + "1": 68265, + "16": 416, + "2": 14518, + "24": 416, + "3": 14059, + "32": 416, + "4": 3808, + "40": 416, + "48": 416, + "5": 5797, + "56": 416, + "6": 272, + "64": 208, + "7": 187, + "8": 758, + "9": 32 + }, + "raw_bracket": [ + "36424084968693169933964196366183/10000000000000000000000000000000000", + "4553010621086646241745524545773/1250000000000000000000000000000000" + ], + "replay": { + "bad_outputs": [], + "caller_denominator_height_bound": 578, + "caller_mass_bound": "854474036861847560509026474008040300059938928517783661039773198072080884690114508581583887358835968277340425788985297793555303569703690223623950838857161290503004459697662544865276977234864184443860251086668962688762176068520364648820282528496698239206689277049335412289161443623602012468587331439851515703/168151253906250000000000000000000", + "caller_mass_ceiling_bits": 910, + "max_terms": 3752 + }, + "scope": "Exact emitted signed Laurent caller endpoint and recomputed native/caller paid and target profiles. Physical address bindings, independent branch-source composition, ordinary units, precision and outer gates are still required.", + "shape": [ + 8, + 9 + ], + "source_word_sha256": "9557c4682056ab7cc7cda89aa73865bef0e3948cc10b3c3061b0a944af05b96a", + "target": { + "1": 272, + "137": 208, + "17": 416, + "2": 340, + "25": 416, + "3": 799, + "33": 416, + "4": 3706, + "41": 416, + "49": 416, + "5": 1258, + "57": 416, + "6": 731, + "65": 416, + "7": 306, + "73": 208, + "8": 595, + "9": 10973 + } + } + }, + "claim": "3642408496869/1000000000000000", + "price": { + "after": { + "P": { + "1": 68265, + "16": 416, + "2": 14518, + "24": 416, + "3": 14059, + "32": 416, + "4": 3808, + "40": 416, + "48": 416, + "5": 5797, + "56": 416, + "6": 272, + "64": 208, + "7": 187, + "8": 758, + "9": 32 + }, + "S": 1424, + "T": { + "1": 272, + "137": 208, + "17": 416, + "2": 340, + "25": 416, + "3": 799, + "33": 416, + "4": 3706, + "41": 416, + "49": 416, + "5": 1258, + "57": 416, + "6": 731, + "65": 416, + "7": 306, + "73": 208, + "8": 595, + "9": 10973 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036424084968693169933964196366183386853498606175933205372534926496", + "raw_crossing": "0.0036424084968693169933964196366183386853498606175933205372534926496" + }, + "before": { + "P": { + "1": 68860, + "16": 416, + "2": 14314, + "24": 416, + "3": 13923, + "32": 416, + "4": 3944, + "40": 416, + "48": 416, + "5": 5661, + "56": 416, + "6": 272, + "64": 208, + "7": 187, + "8": 758, + "9": 32 + }, + "S": 1424, + "T": { + "1": 306, + "137": 208, + "17": 416, + "2": 306, + "25": 416, + "3": 799, + "33": 416, + "4": 3706, + "41": 416, + "49": 416, + "5": 1275, + "57": 416, + "6": 714, + "65": 416, + "7": 306, + "73": 208, + "8": 901, + "9": 10667 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036422192846378389792779110762715450733811793013921687470157795111", + "raw_crossing": "0.0036422192846378389792779110762715450733811793013921687470157795111" + }, + "gate": { + "BIT_margin": "12428150313093/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16502900000000000000000", + "alpha": [ + 0.9999999999999997, + 0.9999999999999997 + ], + "claim": "3642408496869/1000000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.9019663367095151, + 0.9019663367095151 + ], + "derivative_upper": -381949.8486859147, + "gamma": [ + 0.9408986995419518, + 0.9408986995419518 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "3642408496869/1000000000000000": [ + "124275106365520551379855848850723162292503069300292278027520160547922417998319/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124275106365520551379855848850723162292503069300292278027520160547922418000243/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364240849686907/100000000000000000": [ + "124275106365522837880548224256348648322779138259472078906655111790416942642193/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124275106365522837880548224256348648322779138259472078906655111790416942644151/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2235, + "moment_margin_float": { + "364240849686907/100000000000000000": [ + 9.584082989012143e-11, + 9.584082989012143e-11 + ], + "36424084968693169933964196366183/10000000000000000000000000000000000": [ + 1.5011073530614094e-29, + 1.5011073530614094e-29 + ], + "4553010621086646241745524545773/1250000000000000000000000000000000": [ + -2.379191929405633e-29, + -2.379191929405633e-29 + ] + }, + "moment_margins": { + "364240849686907/100000000000000000": [ + "2396020747253035581302553685786103857610081739390219623253277840874727/25000000000000000000000000000000000000000000000000000000000000000000000000000000", + "239602074725303558130255368578610385761008173939021962325327785059817/2500000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "36424084968693169933964196366183/10000000000000000000000000000000000": [ + "187638419132676185812036537536839420100383559531923/12500000000000000000000000000000000000000000000000000000000000000000000000000000", + "750553676530704743248146150147357680401534257485899/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "4553010621086646241745524545773/1250000000000000000000000000000000": [ + "-475838385881126595975213826899193397895189328050629/20000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-2379191929405632979876069134495966989475946600991499/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "36424084968693169933964196366183/10000000000000000000000000000000000", + "4553010621086646241745524545773/1250000000000000000000000000000000" + ], + "tested": "364240849686907/100000000000000000", + "written_log_power": 2236 + }, + "native_baseline_rejects_new_claim": true, + "new_native": "9557c4682056ab7cc7cda89aa73865bef0e3948cc10b3c3061b0a944af05b96a", + "old_native": "a32696e806c5cde0510cdf2f494e1f14ebb01e73d4ec577413fd7e7c0d9d68b2", + "price": { + "baseline_rejects_new_claim": true, + "candidate_margin_at_old_upper": [ + "7342003716227063123481474642367397001715979664055708969839165248446819348758371/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "3671001858113531561740737321183698500857989832027854484919582624223409691731707/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "claim_decimal": "0.003642408496869", + "gain": "1.89212232E-7", + "gain_exact": "23651529/125000000000000", + "independent_raw_bracket": [ + "0.00364240849686931699339641963661833", + "0.00364240849686931699339641963661834" + ], + "previous_claim": "3642219284637/1000000000000000", + "raw_bracket": [ + "0.0036424084968693169933964196366183", + "0.0036424084968693169933964196366184" + ] + } + }, + "status": "PASS_P104_NONUNIT_OUTPUT_COMPOSITION" +} diff --git a/research/p104-nonunit-output-composition/SOURCES.json b/research/p104-nonunit-output-composition/SOURCES.json new file mode 100644 index 0000000000..5359c07027 --- /dev/null +++ b/research/p104-nonunit-output-composition/SOURCES.json @@ -0,0 +1,36 @@ +{ + "schema_version": 1, + "base_commit": "e54523517d0f03e58352e647c403a5af3e525a57", + "files": [ + { + "path": "docs/research/agent-task-catalog.json", + "usage": "provenance", + "git_blob": "3404fbdd5e7529a0674eef26114b5071e4586cec", + "sha256": "ead6cdc9d0af6d58e8a49744d8ec8c7c15e13d2ba93c276c434bcf9b51b93a81" + }, + { + "path": "certificates/selected-result.json", + "usage": "provenance", + "git_blob": "75d77b328ea02ded535e7f23aee5b1e55d0bb1a8", + "sha256": "154c3d30455d778fd3343b6b4851f0fa4665f0f7625b0adb3675e2bafbbf6bf1" + }, + { + "path": "docs/research/pr-intake-evidence/pr7000-application/PROOF-REVIEW.md", + "usage": "provenance", + "git_blob": "3dd1af2285e597676725e85ad4f65e7ad326d695", + "sha256": "4501502c2ceb9759b20372435fe4beb51082c5a5e2910c1fd5dbe6edca415055" + }, + { + "path": "research/fresh-helper-boundary/discover-cut.cpp", + "usage": "provenance", + "git_blob": "5caa077ea070e3a5f27328dd55d02ac846024871", + "sha256": "ad6b8e91ea641ebd177c483c51d301921022fdb5f79e5dd03e8bd4d62b8d2356" + }, + { + "path": "research/fresh-helper-boundary/README.md", + "usage": "provenance", + "git_blob": "cbcfab9ccd9cc266f6353da4e820ad00b5f311ca", + "sha256": "5b29c0902638f8ae4e78c07fb5d7958c64e0d3ec6651260fc8db05b940bb4185" + } + ] +} \ No newline at end of file diff --git a/research/p104-nonunit-output-composition/TASK.json b/research/p104-nonunit-output-composition/TASK.json new file mode 100644 index 0000000000..da743bcbe3 --- /dev/null +++ b/research/p104-nonunit-output-composition/TASK.json @@ -0,0 +1,133 @@ +{ + "schema_version": 1, + "task_id": "p104-side-correction", + "base_commit": "e54523517d0f03e58352e647c403a5af3e525a57", + "priority_revision": 8, + "original_card": { + "id": "p104-side-correction", + "question": "Can joint helper bases and a legal causal split improve the complete P104 productive/paid invoice?", + "starting_points": [ + "docs/research/current-priorities.md", + "docs/research/research-family-status.md", + "certificates/selected-result.json", + "docs/research/pr-intake-evidence/pr5599-completion/PROOF-REVIEW.md", + "research/p104-helper-subspace-splits/README.md", + "research/dyadic-helper-channel-capacity/README.md" + ], + "methods": [ + "Construct and independently check one source-bound instance of the stated first experiment.", + "Seek an exact counterexample or target-specific complete-budget obstruction to that same proposed change." + ], + "acceptance_gate": "An exact arbitrary-input identity, source/target frame availability and restoration at the chosen cut, plus the complete channel+correction+idle/hosting bill or an explicit favorable bound. The native channel alone is not a supplier. A scoped local result may be retained without a complete supplier. Expanding it into further construction rounds requires the family-level budget and obligation gate in research-family-status.md; an optimistic passing relaxation alone is not acceptance.", + "first_step": { + "command": [ + "python3", + "-B", + "scripts/research_selected_baseline.py" + ], + "expected": "PASS_RESEARCH_BASELINE_BINDINGS_ONLY", + "inspect": "Read revision 8, the selected review and live exact-source handoffs. Then follow this card's bounded first_experiment.", + "scope": "Source-bound orientation only, not a supplier replay or theorem proof." + }, + "first_experiment": "Start with the selected #5599 emitted word and review pending #5718 distinct input/output bases plus #5717/#5719 coverage before claiming work. Pick one uncovered source word, helper group and cut region. Prove the arbitrary-input relation and legal entry/exit corrections, then compare full target and paid profiles. Reject if completion, owned lifetimes or consumer costs repay the gain. A static pairing rank alone is not a physical split.", + "bottleneck_link": "Judge the actual current supplier contract and complete signed target/paid bill; frozen-profile ceilings require an applicability proof.", + "allowed_variations": [ + "One exact source head, helper/cut region or quantified proposition and changed hypothesis; check live handoffs first. Different seeds are not different scopes." + ], + "scope_change_triggers": [ + "Changing source head, helper/cut domain, operation alphabet or caller boundary without recording the new scope.", + "Treating an archived proposal or local numerical pass as complete supplier admission." + ], + "overlap_terms": [ + "P104", + "helper basis", + "helper split", + "5718", + "dyadic capacity" + ], + "existing_checks": [ + { + "scope": "PR #4133: literal-slot defect", + "evidence": "research/p104-literal-slot-defect/README.md", + "remaining": "Independently validate the stated scope or change its producer/consumer premise and pay the complete boundary.", + "status": "author-checked", + "source_commit": "88666f1dee93fbd85b31fd5d6f91a219e111b5f4", + "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" + }, + { + "scope": "PR #4136: uniform commutation gap", + "evidence": "research/p104-uniform-commutation-gap/README.md", + "remaining": "Independently validate the stated scope or change its producer/consumer premise and pay the complete boundary.", + "status": "author-checked", + "source_commit": "281ce601a8be9db470de630759179c23e1dfaa88", + "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" + }, + { + "scope": "PR #4140: uniform encoding gap", + "evidence": "research/p104-uniform-encoding-gap/README.md", + "remaining": "Independently validate the stated scope or change its producer/consumer premise and pay the complete boundary.", + "status": "author-checked", + "source_commit": "de25c6525aa866962309df5d107b32d55e6e5628", + "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" + }, + { + "scope": "PR #4153: source-chart shortcut exhausts its optimistic allowance", + "evidence": "research/p104-source-chart-shortcut/README.md", + "remaining": "Independently validate the stated scope or change its producer/consumer premise and pay the complete boundary.", + "status": "author-checked", + "source_commit": "9123241fea53df77e51ffe30d9aca1625d4bf3a8", + "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" + }, + { + "scope": "PR #4154: fiber-tag seam mismatch", + "evidence": "research/p104-fiber-tag-seam/README.md", + "remaining": "Independently validate the stated scope or change its producer/consumer premise and pay the complete boundary.", + "status": "author-checked", + "source_commit": "4ffcdaee5d6255a9cea1fe53a5424435068089d0", + "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" + }, + { + "scope": "Selected PR5599: complete helper-subspace construction and independent caller replay; five framework assumptions remain.", + "evidence": "docs/research/pr-intake-evidence/pr5599-completion/PROOF-REVIEW.md", + "remaining": "The next experiment must identify uncovered source-specific work. Successor archive intake does not transfer this admission.", + "status": "reviewed", + "source_commit": "09dd0965711ca7eeb169057a420abab1c9052137", + "selected_record_sha256": "2a0220e866417774606e0f991e41b9c1d26b1f43b97857238cf478dbc7d330b5" + } + ] + }, + "author": "Rohan Arun", + "ai_assistance": "Substantial OpenAI Codex assistance; no subagents.", + "claim": "https://github.com/CrocSwap/integer-mult-bounds/pull/7131", + "scope_status": "changed", + "scope_change_reason": "Compose PR7130 nonunit-pivot split with PR7124 global output rechart after the competitor surpassed that bound.", + "concrete_question": "Can global public scalar/helper output recharting retain its gain on exact PR7130 while fully charging the F25 precision requirement?", + "actual_scope": "Rechart 21 helper output fields and 129 scalar contacts of exact PR7130; reconstruct the whole native and complete signed 17-stage application.", + "domain": "PR7130 at 161e482bc2d8c78ecef96135430c60d49b8fc345; 71350 graph nodes, 134309 edges, 69010 mutable nodes, 1095 frames. Main boundaries and owned contacts fixed.", + "success": "Fully checked conditional kappa > 0.003642219284637.", + "bottleneck_link": "Helper output chart changes must be credited and charged jointly with scalar contacts and all causal transports.", + "predecessor_head": "161e482bc2d8c78ecef96135430c60d49b8fc345", + "predecessors": [ + "dillona/OpenAI Codex PR7130 legal nonunit-pivot split and F25 precision accounting, complete immediate source at 161e482bc2d8c78ecef96135430c60d49b8fc345.", + "Rohan Arun/OpenAI Codex PR7124 global output rechart and its source-specific native/application verification.", + "Rohan Arun/OpenAI Codex PR7122 global input rechart, retained through PR7123.", + "1337isnot1337/OpenAI Codex fresh-helper-boundary alpha-expansion min-cut method.", + "Rohan Arun/OpenAI Codex PR7113 exact signed 17-stage caller and source-specific application.", + "ToikY signed sources, price engines, splits and chart-120 proposal retained through PR7120.", + "Ali Romman helper bases and independent split identities; Jerry Chen/CubeJerry causal retiming and native/invoice/compiler engines; Matarener complete kernels and pairing decisions.", + "DreamingOfClouds, Douglas Colkitt and #7000 reviewers, and all retained nested-source authors and notices." + ], + "outcome": "completed", + "evidence_status": "Direct early/native/complete application verification and final registered isolated CPython 3.12.14 replay passed; every frozen receipt field matched.", + "evidence": "EARLY-RESULT.json; NATIVE-RESULT.json; RESULT.json; REPLAY.txt", + "overlap": "Canonical main e54523517d0f03e58352e647c403a5af3e525a57 refreshed. PR7130 was the highest comparable public claim at submission; its body explicitly lists composition with PR7124 as unproved. This package addresses that composition, not a global optimum.", + "open_questions": [ + { + "question": "Can an independent reviewer validate this output rechart and the full application?", + "why_it_matters": "Source-aware author replay is not independent admission.", + "first_step": "Run the package replay and inspect PROOF.md and APPLICATION.md.", + "blocked_by": "No independent reviewer receipt yet." + } + ], + "stop_rule": "One new fully checked invoice; refresh before any further research round." +} diff --git a/research/p104-nonunit-output-composition/VALIDATION.md b/research/p104-nonunit-output-composition/VALIDATION.md new file mode 100644 index 0000000000..f97f39cfdd --- /dev/null +++ b/research/p104-nonunit-output-composition/VALIDATION.md @@ -0,0 +1,30 @@ +# Validation record + +Direct local CPython 3.12.14 runs: + +- `python3.12 -B -u research/p104-nonunit-output-composition/verify_early.py`: passed; every frozen early receipt field matched. +- `python3.12 -B -u research/p104-nonunit-output-composition/verify_native.py --out research/p104-nonunit-output-composition/NATIVE-RESULT.json`: passed. Exact source/candidate reconstruction, forward/adjoint, eleven 512-column chart checks, phase, eight corruption controls, rational/integer grid agreement, separate ingredient invoice/ordinary/precision and finite native/signed routes passed. +- `python3.12 -B -u research/p104-nonunit-output-composition/verify.py --out research/p104-nonunit-output-composition/RESULT.json`: passed the complete application, including all 3,038 catalogue checks, 104 main boundaries and the increased precision context 2362. +- `python3.12 -B scripts/research_package.py --package research/p104-nonunit-output-composition`: exit code 0, `PASS_REGISTERED_RESEARCH_PACKAGE research/p104-nonunit-output-composition outcome=completed`. All three stages reran under isolated Python and matched every frozen early/native/application receipt field. Full stdout is REPLAY.txt. + +The source-pinned fractional height is 25. The independent rational derivation +and integer forward replay agree on height and scaled maximum mass. Exact +one-occurrence adapters carry this height into the integer forward scale and +trailing-bit measurement, the ingredient precision and the complete caller +precision path. The insufficient-height control rejects F24. No divisibility +check is disabled; frozen sources are unchanged. The integration follows and +credits dillona/OpenAI Codex's PR7130 precision adapters. + +The initial draft was published after the narrower exact price/native checks; +EARLY-RESULT.json preserves that historical boundary. Complete receipts are +recorded separately when those checks finish. + +The current-CI-navigation test passes with the existing #7113/#7122/#7124 +correction to docs/ci-verification.md, replacing obsolete selected #6030 with +#7000. No hosted scientific result for this new package is inferred from prior +passing packages. Five inherited assumptions and independent review remain. + +The initial hosted run 42912441613 failed the known guide6030/selected7000 +current-CI-navigation test (760 tests, one failure, 24 skips); scientific replay +was skipped. The existing documentation correction fixes that targeted test. +Hosted status after the final push remains separate from these local receipts. diff --git a/research/p104-nonunit-output-composition/VERIFY.json b/research/p104-nonunit-output-composition/VERIFY.json new file mode 100644 index 0000000000..c67a7dfb66 --- /dev/null +++ b/research/p104-nonunit-output-composition/VERIFY.json @@ -0,0 +1,39 @@ +{ + "schema_version": 1, + "status": "ready", + "python": "3.12", + "requirements": [], + "inputs": [], + "commands": [ + { + "argv": [ + "{python}", + "-I", + "-B", + "{package}/verify_early.py" + ], + "timeout_seconds": 120, + "checks": "Entire source reconstruction, exact native adjoint and complete signed price with both directed engines; all frozen early fields." + }, + { + "argv": [ + "{python}", + "-I", + "-B", + "{package}/verify_native.py" + ], + "timeout_seconds": 480, + "checks": "Complete forward/adjoint, changed chart columns and phase, native common grid, ordinary/precision/physical bounds and corruption controls; all native receipt fields." + }, + { + "argv": [ + "{python}", + "-I", + "-B", + "{package}/verify.py" + ], + "timeout_seconds": 600, + "checks": "Complete literal signed 17-stage caller, all paid/helper maps and main boundaries, independent integer grid, physical ownership, ordinary, precision, fixed-tape and compiler/outer gates; all application receipt fields." + } + ] +} \ No newline at end of file diff --git a/research/p104-nonunit-output-composition/WORD.json.gz b/research/p104-nonunit-output-composition/WORD.json.gz new file mode 100644 index 0000000000..5da45b971e Binary files /dev/null and b/research/p104-nonunit-output-composition/WORD.json.gz differ diff --git a/research/p104-nonunit-output-composition/adapt.py b/research/p104-nonunit-output-composition/adapt.py new file mode 100644 index 0000000000..f3e04261ae --- /dev/null +++ b/research/p104-nonunit-output-composition/adapt.py @@ -0,0 +1,39 @@ +# Successor: Rohan Arun/OpenAI Codex global output rechart; predecessor attribution retained. +"""Counted adapters invalidate same-native reuse in Rohan Arun's #7113 checks. +All edits apply only to temporary copies of authenticated source. Apache-2.0. +Prepared for dillona with substantial OpenAI Codex assistance. +""" +from hashlib import sha256 + +def adapt(folder,claim,frac): + changes=[] + def patch(name,old,new): + path=folder/name;raw=path.read_text() + if raw.count(old)!=1:raise ValueError('Exact one-occurrence adapter: '+name+' '+old) + path.write_text(raw.replace(old,new));changes.append(dict(file=name,old=old,new=new)) + patch('emit_odd_type_ab.py', + 'invoice=next(x for x in json.loads((root/"SHORT-CALLER-RAW-PRICE.json").read_text())["rows"] if tuple(x["shape"])==shape)', + 'invoice=json.loads((root/"COHORT-PRICE.json").read_text())') + patch('check_odd_partial_admission.py', + 'previous=json.loads((root/"SHORT-ADMISSION-PARTIAL.json").read_text())\nassert previous["native_sha256"]==digest and not N["bad_inputs"]', + 'actual_native=ind.native(w)\nassert actual_native==N and not N["bad_inputs"], "Fresh complete native inventory and arbitrary-input adjoint"') + patch('check_odd_partial_admission.py','claim=Q(".00363797977")','claim=Q('+repr(claim)+')') + # ToikY's frozen exact_price() already shrinks this probe below the + # certified crossing. Recompute that rule in the caller's separate gate. + patch('check_odd_partial_admission.py', + 'tested=claim+Q(7,10**17)', + 'tested=claim+Q(7,10**17)\nwhile tested>=Q(reference["raw_bracket"][0]):\n tested=claim+(tested-claim)/10') + patch('check_odd_partial_admission.py', + 'g=gate(invoice,claim,tested,*bracket,r["gate"]["BIT_pin"])', + 'g=gate(invoice,claim,tested,*bracket,r["gate"]["BIT_pin"])\ntry:\n gate(invoice,claim,Q(bracket[0]),*bracket,r["gate"]["BIT_pin"])\nexcept AssertionError:\n crossing_probe_rejected=True\nelse:\n raise AssertionError("Probe at lower crossing unexpectedly accepted")') + patch('check_odd_partial_admission.py', + '"scope":"Reuse exact same native word all-column adjoint;', + '"crossing_probe_rejected":crossing_probe_rejected,"scope":"Reuse exact same native word all-column adjoint;') + patch('check_odd_precision.py','previous=json.loads((root/"SHORT-PRECISION.json").read_text())','') + patch('check_odd_precision.py', + 'assert previous["native_sha256"]==sha and grid_receipt["caller_sha256"]==sha256(cpath.read_bytes()).hexdigest()', + 'assert grid_receipt["caller_sha256"]==sha256(cpath.read_bytes()).hexdigest()') + patch('check_odd_precision.py', + 'wg=previous["native_grid"]\nwr=previous["rounded_native"]\nwp={key:(Q(v["exact"]),v["witness"]) for key,v in wr["bounds"].items()}', + f'wg=grid.word_run(w, frac={frac})\nwp,wr=env.native_envelope(w)\nwg=json.loads(json.dumps(wg,default=str));wr=json.loads(json.dumps(wr,default=str))\nassert wg==r["precision"]["word"] and wr==r["precision"]["rounded_native"], "Fresh changed-native grid and envelope"') + return dict(edits=changes,adapted_sha256={x['file']:sha256((folder/x['file']).read_bytes()).hexdigest() for x in changes}) diff --git a/research/p104-nonunit-output-composition/construct.py b/research/p104-nonunit-output-composition/construct.py new file mode 100644 index 0000000000..70b5463532 --- /dev/null +++ b/research/p104-nonunit-output-composition/construct.py @@ -0,0 +1,42 @@ +"""Rechart public scalar contacts and reconstruct every causal transport. + +Fresh-helper-boundary alpha-expansion supplied the nomination. This generator +does not trust its floating score. Rohan Arun/OpenAI Codex, Apache-2.0. +""" +from copy import deepcopy +def span(basis): + out={0} + for x in basis: + assert x not in out;out|={x^v for v in tuple(out)} + return frozenset(out) +def construct(source,changes): + w=deepcopy(source);n=w['public'];spaces=list(map(span,w['frames'])) + main=set(w['live'])|{r+112 for r in w['live']}|set(w['hosted']['X2'])|set(w['hosted']['Y2']) + for r,old,new in changes['initial']: + assert r=n and spaces[to]=n]);cur[r]=to + for i,e in enumerate(source['program']): + op,r=e[:2] + if op=='MOVE': + if r>=n:assert cur[r]==e[2];move(r,e[3]) + elif op=='INIT':assert r>=n and cur[r] is None;program.append(e.copy());cur[r]=e[2] + elif op=='CLEAR':assert r>=n and cur[r]==e[2];program.append(e.copy());cur[r]=None + else: + assert op in ('ADD','COPY','SCALE');roles=e[1:3] if op in ('ADD','COPY') else e[1:2];frame=e[-1] + if i in edits: + old,frame=edits[i];assert old==e[-1] and all(rpeak:peak=mass;witness=[i,kind] + for i,e in enumerate(word['program']): + op,r=e[:2] + if op in('INIT','CLEAR'):rows[r]={} + elif op=='SCALE': + rows[r]={k:Q(e[2])*v for k,v in rows[r].items()};observe(rows[r],i,'scale') + elif op in('ADD','COPY'): + if op=='COPY':assert not rows[r] + product={k:Q(e[3])*v for k,v in rows[e[2]].items()};observe(product,i,'product') + row=rows[r].copy() + for k,v in product.items(): + value=row.get(k,Q(0))+v + if value:row[k]=value + else:row.pop(k,None) + rows[r]=row;observe(row,i,'stored') + odd=denom;frac=0 + while odd%2==0:odd//=2;frac+=1 + return dict(odd_scale=odd,fractional_bits=frac,unscaled_maximum_mass=str(peak),scaled_maximum_mass=str(peak*odd),mass_witness=witness,coefficient_visits=visits),rows +if __name__=='__main__': + w=json.load(gzip.open(sys.argv[1],'rt'));result,rows=derive(w) + Path(sys.argv[2]).write_text(json.dumps(result,indent=2)+'\n');print(result) diff --git a/research/p104-nonunit-output-composition/inputs/pr7130.tar b/research/p104-nonunit-output-composition/inputs/pr7130.tar new file mode 100644 index 0000000000..5723c5b365 Binary files /dev/null and b/research/p104-nonunit-output-composition/inputs/pr7130.tar differ diff --git a/research/p104-nonunit-output-composition/price.py b/research/p104-nonunit-output-composition/price.py new file mode 100644 index 0000000000..ee2a7e5fca --- /dev/null +++ b/research/p104-nonunit-output-composition/price.py @@ -0,0 +1,54 @@ +# Successor: Rohan Arun/OpenAI Codex global output rechart; predecessor attribution retained. +"""Recompute both source invoices and two exact crossing engines. +Retains Rohan Arun's caller adapters and ToikY's attributed price engines. +Prepared for dillona with substantial OpenAI Codex assistance. Apache-2.0. +""" +from pathlib import Path +from hashlib import sha256 +from fractions import Fraction as Q +import gzip,importlib.util,json,sys + +def load(name,path): + spec=importlib.util.spec_from_file_location(name,path);obj=importlib.util.module_from_spec(spec);sys.modules[name]=obj;spec.loader.exec_module(obj);return obj + +def read(path): + raw=Path(path).read_bytes();return json.loads(gzip.decompress(raw) if raw[:2]==b'\x1f\x8b' else raw) + +def normalized(value):return json.loads(json.dumps(value,default=str)) + +def main(native,caller,previous_composition,folder): + source=load('composition_native_source',native/'source.py') + with source.sources() as (vendor,archive,rank9,bundle,parent,word): + sys.path.insert(0,str(folder)) + model=load('composition_signed_model',folder/'signed_model.py');ind=model.signed_model() + code=(folder/'independent.py').read_text();part=code[code.index('def invoices('):code.index('def ordinary(')] + assert part.count('assert calls==18')==1 + part=part.replace('assert calls==18',"assert calls==C['stages']") + old="elif e[1]=='IDLE_ONE':P[8*len(e[3])]+=ports";assert part.count(old)==1 + part=part.replace(old,"elif e[1] in ('IDLE_ONE','IDLE_ODD'):P[8*len(e[3])+(e[1]=='IDLE_ODD')]+=ports") + exec(compile(part,str(folder/'independent.py'),'exec'),ind.__dict__) + C=read(caller/'expected/ODD-TYPE-AB-CALLER.json') + old_word=word;new_word=read(native/'WORD.json.gz') + old_result=read(parent/'NATIVE-RESULT.json');new_result=read(native/'NATIVE-RESULT.json') + inventories=[ind.native(w) for w in (old_word,new_word)] + for n,r,w in zip(inventories,(old_result,new_result),(old_word,new_word)): + assert normalized(n)==r['native'] and not n['bad_inputs'] + assert sha256(json.dumps(w,sort_keys=True,separators=(',',':')).encode()).hexdigest()==r['word_canonical_sha256'] + before,after=[ind.invoices(w,C,n) for w,n in zip((old_word,new_word),inventories)] + previous=read(previous_composition/'RESULT.json')['price'] + assert normalized(before)==previous['after'],'Entire reconstructed current #7130 invoice' + G=load('composition_price_engine',bundle/'gate.py') + gate,price=G.exact_price(vendor,archive,before,after,{'gate':previous['gate']}) + assert Q(gate['claim'])>Q(new_result['gate']['claim']) + native_invoice={k:({int(r):v for r,v in value.items()} if k in ('T','P') else value) for k,value in new_result['invoice'].items()} + directed=G.module('composition_native_comparator',vendor/'interval_gate.py') + assert directed.moment(G.signed(native_invoice),Q(gate['claim']))[1]<0,'The separately checked18-stage ingredient invoice rejects the17-stage claim' + record=normalized(dict(before=before,after=after,gate=gate,price=price,native_baseline_rejects_new_claim=True, + old_native=old_result['word_canonical_sha256'],new_native=new_result['word_canonical_sha256'])) + with (folder/'CURRENT-PRICE.json').open('x') as f:json.dump(record,f,indent=2) + with (folder/'COHORT-PRICE.json').open('x') as f:json.dump(dict(target=after['T'],paid=after['P'],bracket=gate['raw_bracket']),f,indent=2) + print('PASS two reconstructed invoices and both exact price engines',price['claim_decimal'],flush=True) + +if __name__=='__main__': + assert __debug__ + main(*map(Path,sys.argv[1:])) diff --git a/research/p104-nonunit-output-composition/source.py b/research/p104-nonunit-output-composition/source.py new file mode 100644 index 0000000000..e980a221bd --- /dev/null +++ b/research/p104-nonunit-output-composition/source.py @@ -0,0 +1,49 @@ +"""Authenticate the complete #7130 closure. Apache-2.0; retained author notices apply.""" +from pathlib import Path +from contextlib import contextmanager +from hashlib import sha256 +import json,gzip,tarfile,tempfile,importlib.util,sys +HERE=Path(__file__).resolve().parent +def read(path): + raw=Path(path).read_bytes();return json.loads(gzip.decompress(raw) if raw[:2]==b'\x1f\x8b' else raw) +def canonical(obj):return json.dumps(obj,sort_keys=True,separators=(',',':')).encode() +def need(ok,why): + if not ok:raise ValueError(why) +def load(name,path): + s=importlib.util.spec_from_file_location(name,path);m=importlib.util.module_from_spec(s);sys.modules[name]=m;s.loader.exec_module(m);return m +@contextmanager +def parent_bundle(): + pin=read(HERE/'INPUTS.json');archive=HERE/pin['archive'];need(sha256(archive.read_bytes()).hexdigest()==pin['archive_sha256'],'Source archive') + with tempfile.TemporaryDirectory(prefix='rechart-source-') as tmp: + root=Path(tmp);pins={r['path']:r for r in pin['files']};seen=set() + with tarfile.open(archive) as tar: + for m in tar: + if m.isdir():continue + path=root/m.name;need(m.isfile() and m.name in pins and m.name not in seen and path.resolve().is_relative_to(root.resolve()),'Safe source member') + raw=tar.extractfile(m).read();p=pins[m.name];need(len(raw)==p['size'] and sha256(raw).hexdigest()==p['sha256'],'Source member hash') + path.parent.mkdir(parents=True,exist_ok=True);path.write_bytes(raw);seen.add(m.name) + need(seen==set(pins),'Complete source inventory');yield root/pin['prefix'] +@contextmanager +def sources(): + with parent_bundle() as parent: + s=load('rechart_parent_source',parent/'source.py') + with s.sources() as (vendor,archive,rank9,bundle,oldparent,oldword): + names=('source','construct','support','split','rechart','retime') + saved={k:sys.modules.get(k) for k in names};saved_path=list(sys.path) + try: + for k in names:sys.modules.pop(k,None) + sys.path.insert(0,str(parent)) + c=load('rechart_parent_construct',parent/'construct.py') + word=c.construct(oldword,read(parent/'WITNESS.json')) + finally: + sys.path[:]=saved_path + for k,v in saved.items(): + if v is None:sys.modules.pop(k,None) + else:sys.modules[k]=v + need(canonical(word)==gzip.decompress((parent/'WORD.json.gz').read_bytes()),'Every reconstructed #7130 word byte') + yield vendor,archive,rank9,bundle,parent,word +@contextmanager +def bundles(): + with parent_bundle() as parent: + s=load('rechart_composition_source',parent/'source.py') + with s.bundles() as (parts,previous,root):yield parts,parent,root diff --git a/research/p104-nonunit-output-composition/verify.py b/research/p104-nonunit-output-composition/verify.py new file mode 100644 index 0000000000..18ab253055 --- /dev/null +++ b/research/p104-nonunit-output-composition/verify.py @@ -0,0 +1,54 @@ +# Successor: Rohan Arun/OpenAI Codex global output rechart; predecessor attribution retained. +"""Fresh source-bound native/caller composition and complete chart catalogue. +Prepared for dillona with substantial OpenAI Codex assistance. Apache-2.0. +""" +from pathlib import Path +from hashlib import sha256 +import argparse,json,shutil,subprocess,sys +sys.path.insert(0,str(Path(__file__).resolve().parent)) +from source import HERE,bundles,read,need +from adapt import adapt +need(__debug__,'Run without optimized Python') +COMMANDS=('emit_odd_type_b.py','emit_odd_type_ab.py','check_odd_caller_exact_grid.py', + 'check_odd_physical_binding.py','check_odd_precision.py','check_odd_partial_admission.py', + 'check_odd_fixed_tape_counts.py') + +def run(): + with bundles() as (source,previous_composition,root): + working=root/'working';shutil.copytree(source[7113]/'replay',working) + folder=working/'supplier7112/short-caller' + (folder.parent/'WORD.json.gz').write_bytes((HERE/'WORD.json.gz').read_bytes()) + (folder.parent/'RESULT.json').write_bytes((HERE/'NATIVE-RESULT.json').read_bytes()) + for path in folder.glob('SHORT-CATALOGUE-*-*.log'):path.unlink() + adapter=adapt(folder,read(HERE/'EARLY-RESULT.json')['price']['claim_decimal'],read(HERE/'NATIVE-RESULT.json')['derived_grid']['fractional_bits']) + subprocess.run([sys.executable,'-I','-B',str(HERE/'price.py'),str(HERE),str(source[7113]),str(previous_composition),str(folder)],check=True) + for name in COMMANDS: + print('RUN',name,flush=True) + subprocess.run([sys.executable,'-B',str(folder/name)],cwd=folder,check=True) + need((folder/'ODD-TYPE-AB-CALLER.json').read_bytes()==(source[7113]/'expected/ODD-TYPE-AB-CALLER.json').read_bytes(),'Whole reconstructed literal caller unchanged') + price=read(folder/'CURRENT-PRICE.json');partial=read(folder/'ODD-ADMISSION-PARTIAL.json') + need(price['after']==partial['invoice'],'Complete invoice from two adapters') + need(price['gate']==partial['compiler_outer'],'Both complete directed compiler gates') + catalogue=[] + size=int(subprocess.check_output([sys.executable,'-B',str(folder/'short_native_catalogue.py'),'--size'],cwd=folder,text=True)) + for start in range(0,size,1000): + stop=min(start+1000,size) + print('RUN complete catalogue',start,stop,flush=True) + path=folder/f'SHORT-CATALOGUE-{start}-{stop}.log' + with path.open('x') as out:subprocess.run([sys.executable,'-B',str(folder/'short_native_catalogue.py'),'--start',str(start),'--stop',str(stop)],cwd=folder,stdout=out,check=True) + text=path.read_text();catalogue.append(json.loads(text[text.index('\n{'):])) + subprocess.run([sys.executable,'-B',str(folder/'assemble_odd_application.py')],cwd=folder,check=True) + files=('ODD-TYPE-AB-REPLAY.json','ODD-CALLER-EXACT-GRID.json','ODD-PHYSICAL-BINDING.json', + 'ODD-PRECISION.json','ODD-ADMISSION-PARTIAL.json','ODD-FIXED-TAPE-COUNTS.json','ODD-8X9-APPLICATION-CHECKS.json') + result=dict(status='PASS_P104_NONUNIT_OUTPUT_COMPOSITION',claim=price['gate']['claim'],price=price, + caller_sha256=sha256((folder/'ODD-TYPE-AB-CALLER.json').read_bytes()).hexdigest(), + adapter=adapter,catalogue=catalogue,checks={name:read(folder/name) for name in files}) + return result + +def main(): + p=argparse.ArgumentParser();p.add_argument('--out',type=Path);a=p.parse_args();result=run() + if a.out: + with a.out.open('x') as f:json.dump(result,f,sort_keys=True,indent=2);f.write('\n') + else:need(result==read(HERE/'RESULT.json'),'Every frozen composition receipt field') + print(result['status'],result['claim'],flush=True) +if __name__=='__main__':main() diff --git a/research/p104-nonunit-output-composition/verify_early.py b/research/p104-nonunit-output-composition/verify_early.py new file mode 100644 index 0000000000..b7bd7ad3e3 --- /dev/null +++ b/research/p104-nonunit-output-composition/verify_early.py @@ -0,0 +1,32 @@ +"""Exact source, native operator, complete invoice and two price engines. + +This gate alone does not certify the full physical/precision application. +Rohan Arun with OpenAI Codex assistance. Apache-2.0. +""" +from pathlib import Path +from collections import Counter +from hashlib import sha256 +import sys,json,gzip,copy,argparse +sys.path.insert(0,str(Path(__file__).resolve().parent)) +from source import HERE,read,sources,canonical,need,load +from construct import construct +def normalized(x):return json.loads(json.dumps(x,default=str)) +def run(): + need(__debug__,'Do not disable proof assertions') + with sources() as (vendor,archive,rank9,bundle,parent,old): + new=construct(old,read(HERE/'CHANGES.json'));need(canonical(new)==gzip.decompress((HERE/'WORD.json.gz').read_bytes()),'Entire regenerated word') + I=load('rechart_early_independent',vendor/'independent.py');before,after=map(I.native,(old,new)) + need(not before['bad_inputs'] and not after['bad_inputs'],'Exact arbitrary-input adjoint') + need(normalized(before)==read(parent/'NATIVE-RESULT.json')['native'],'Entire source inventory') + need(all(before[k]==after[k] for k in ('lifetimes','owned_peak','rises')),'Owned inventory unchanged') + base=read(parent/'RESULT.json')['price'];old_invoice={k:({int(r):v for r,v in x.items()} if k in ('T','P') else x) for k,x in base['after'].items()} + invoice=copy.deepcopy(old_invoice);deltas={} + for ik,nk in (('T','helpers'),('P','paid')): + d=Counter(after[nk]);d.subtract(before[nk]);d={r:v for r,v in d.items() if v};deltas[ik]=d + for r,v in d.items():invoice[ik][r]=invoice[ik].get(r,0)+17*v + invoice['S']=sum(r*(invoice['T'].get(r,0)-invoice['P'].get(r,0)) for r in invoice['T'].keys()|invoice['P'].keys()) + for k in ('raw_crossing','no_E_credit_crossing'):invoice.pop(k,None) + G=load('rechart_early_price',bundle/'gate.py');gate,price=G.exact_price(vendor,archive,old_invoice,invoice,{'gate':base['gate']}) + return normalized(dict(status='PASS_EXACT_NATIVE_AND_PRICE_ONLY',word_sha256=sha256(canonical(new)).hexdigest(),native=after,native_delta=deltas,invoice=invoice,gate=gate,price=price,pending=['fresh integer grid','all affected physical chart maps','complete caller replay','ordinary and precision bounds','full source application'])) +if __name__=='__main__': + r=run();need(r==read(HERE/'EARLY-RESULT.json'),'Every frozen early receipt field');print(r['status'],r['price']['claim_decimal'],flush=True) diff --git a/research/p104-nonunit-output-composition/verify_native.py b/research/p104-nonunit-output-composition/verify_native.py new file mode 100644 index 0000000000..6ac9384061 --- /dev/null +++ b/research/p104-nonunit-output-composition/verify_native.py @@ -0,0 +1,125 @@ +"""Full changed-native operator, grid, price, envelope and physical checks. + +Retains authenticated predecessor engines and all source notices. Source-aware +verification is distinct from independent human/formal acceptance. +Rohan Arun with OpenAI Codex assistance. Apache-2.0. +""" +from pathlib import Path +from collections import Counter +from copy import deepcopy +from fractions import Fraction as Q +from hashlib import sha256 +import sys,json,gzip,argparse,subprocess,tempfile,io,contextlib +sys.path.insert(0,str(Path(__file__).resolve().parent)) +from source import HERE,read,load,sources,canonical,need +from construct import construct +from derive_grid import derive +def normalized(x):return json.loads(json.dumps(x,default=str)) +def delta(a,b): + d=Counter(a);d.subtract(b);return {r:v for r,v in d.items() if v} +def rejects(fn): + try:fn() + except (AssertionError,ValueError):return True + raise ValueError('Corruption control accepted') +def run(): + need(__debug__,'Assertions are proof obligations') + with sources() as (vendor,archive,rank9,bundle,parent,old): + changes=read(HERE/'CHANGES.json');new=construct(old,changes) + need(canonical(new)==gzip.decompress((HERE/'WORD.json.gz').read_bytes()),'Whole emitted word') + G=load('rechart_price_engine',bundle/'gate.py');sys.path.insert(0,str(rank9)) + reference=read(parent/'NATIVE-RESULT.json') + helper_count=sum(reference['native']['helpers'].values()) + frac=reference['derived_grid']['fractional_bits'];odd=reference['derived_grid']['odd_scale'] + base=G.module('rechart_rank9',rank9/'candidate_gate.py',( + ('== 1080','== '+str(helper_count)), + ('fresh_arbitrary_helpers=18 * 1080','fresh_arbitrary_helpers=18 * '+str(helper_count)), + ('grid.word_run(word), grid.caller_run(caller)',f'grid.word_run(word, frac={frac}), grid.caller_run(caller)'))) + I=base.independent(vendor);oldN,N=map(I.native,(old,new));previous=read(parent/'NATIVE-RESULT.json') + need(normalized(oldN)==previous['native'] and not N['bad_inputs'],'Source inventory and entire changed adjoint') + need(all(N[k]==oldN[k] for k in ('lifetimes','owned_peak','rises')),'Owned inventory unchanged') + early=read(HERE/'EARLY-RESULT.json') + need(normalized(dict(T=delta(N['helpers'],oldN['helpers']),P=delta(N['paid'],oldN['paid'])))==early['native_delta'],'Exact target and paid deltas') + # Recharting changes no scalar operation or normalized chronological map. + strip=lambda w:[[e[0],*e[1:-1]] for e in w['program'] if e[0] in ('ADD','COPY','SCALE')] + need(strip(old)==strip(new),'Every scalar coefficient, operand and chronological order unchanged') + derived,_=derive(new);need(derived['odd_scale']==odd and derived['fractional_bits']==frac,'Fresh minimal common grid') + audit=G.module('rechart_forward',archive/'audit_native.py',( + ('2**24',f'2**{frac}'), + ('25 - (abs(value) & -abs(value)).bit_length()',f'{frac+1} - (abs(value) & -abs(value)).bit_length()'))) + forward,grid=audit.replay(new,list(enumerate(new['program'])),set()) + need(grid['dyadic_height']==derived['fractional_bits'] and grid['maximum_scaled_mass']==derived['scaled_maximum_mass'],'Independent rational/integer grid height and mass') + saved_modules={k:sys.modules.get(k) for k in ('source','construct','support','split','rechart','retime')};saved_path=list(sys.path) + try: + for k in saved_modules:sys.modules.pop(k,None) + sys.path.insert(0,str(parent)) + parent_checks=load('rechart_parent_checks',parent/'verify_native.py') + finally: + sys.path[:]=saved_path + for k,v in saved_modules.items(): + if v is None:sys.modules.pop(k,None) + else:sys.modules[k]=v + forward_receipt=parent_checks.forward_endpoint(new,forward[0]) + need(grid['odd_grid_lcm']==odd and grid['owned_rise_mass']==56,'Fresh native grid and owned ascent') + print('PASS whole source/operator, forward/adjoint, causal charts and fresh native grid',flush=True) + caller_path=rank9/'dyadic/CALLER.json';C=read(caller_path) + need(sha256(caller_path.read_bytes()).hexdigest()==G.CALLER,'Exact 18-stage ingredient caller') + symbolic=I.caller(C);need(not symbolic['bad_outputs'] and normalized(symbolic)==previous['caller'],'Full ingredient caller') + before=I.invoices(old,C,oldN);invoice=I.invoices(new,C,N) + need(normalized(before)==previous['invoice'],'Reconstructed source ingredient invoice') + unadjusted=I.ordinary(old,C,oldN);ordinary=I.ordinary(new,C,N) + routes=previous['ordinary']['caller_items']['B']['fused_routes'];route_delta=routes-unadjusted['caller_items']['B']['fused_routes'] + surcharge=0 + for e in C['events']: + if e[0]=='B' and e[1] in ('ADD','SCALE'): + q=Q(e[4] if e[1]=='ADD' else e[3]);a,d=abs(q.numerator),q.denominator + surcharge+=4*(a.bit_length()+d.bit_length()+1+(a.bit_count() if e[1]=='ADD' else 0)) + surcharge*=len(C['types']['B']['ports']) + need(surcharge==previous['ordinary']['extra_B_scalar_surcharge'],'Fresh B surcharge') + need(unadjusted['conservative_total']+route_delta+surcharge==previous['ordinary']['conservative_total'],'Whole source ordinary bill') + ordinary['caller_items']['B']['fused_routes']=routes + for k in ('caller_total','raw_upper','conservative_total'):ordinary[k]+=route_delta + ordinary['extra_B_scalar_surcharge']=surcharge;ordinary['conservative_total']+=surcharge + ordinary['margin_to_billion']=10**9-ordinary['conservative_total'];need(ordinary['margin_to_billion']>0,'Ordinary allowance') + gate,price=G.exact_price(vendor,archive,before,invoice,previous) + manifest=read(vendor/'INDEPENDENT-SOURCES.json');P=load('rechart_bit_binding',archive/'verify.py');P.bit_binding(I,manifest) + precision=base.precision(vendor,new,C,gate,manifest) + need(precision['word']['odd_scale_lcm']==odd and precision['word']['dyadic_height']==frac,'Fresh ingredient precision') + print('PASS full ingredient invoice, ordinary, precision, both prices and outer gates',flush=True) + charts=parent_checks.chart_check(vendor,old,new) + controls={} + bad=deepcopy(changes);bad['final'][0][1]=-1 + controls['wrong_source_output']=rejects(lambda:construct(old,bad)) + bad=deepcopy(changes);bad['scalar'][0][1]=-1 + controls['wrong_source_scalar']=rejects(lambda:construct(old,bad)) + bad=deepcopy(changes);bad['scalar'].append(bad['scalar'][0]) + controls['duplicate_scalar_edit']=rejects(lambda:construct(old,bad)) + scalar=next(i for i,e in enumerate(new['program']) if e[0]=='ADD') + controls['wrong_scalar_coefficient']=bool(I.native(new,mutant=scalar)['bad_inputs']) + bad=deepcopy(new);i=next(i for i,e in enumerate(bad['program']) if e[0]=='MOVE');bad['program'][i][2]=-1 + controls['wrong_move_source']=rejects(lambda:I.native(bad)) + bad=deepcopy(new);r=changes['final'][0][0];bad['final'][r]=old['final'][r] + controls['omitted_output_rechart']=rejects(lambda:I.native(bad)) + grid_engine=G.module('rechart_grid_controls',vendor/'retained/odd-native-common-grid/independent_bounds.py') + controls['insufficient_odd_grid']=rejects(lambda:grid_engine.word_run(new,odd//3,frac)) + controls['insufficient_fractional_grid']=rejects(lambda:grid_engine.word_run(new,odd,frac-1)) + need(all(controls.values()),'All native corruption controls') + physical_checks=[] + with tempfile.TemporaryDirectory(prefix='rechart-physical-') as tmp: + path=Path(tmp)/'word.json.gz';path.write_bytes(gzip.compress(canonical(new),mtime=0)) + for command,args in [(vendor/'frozen/verify_host3_odd.py',[path,str(odd)]),(vendor/'frozen/physical.py',[path,vendor/'frozen/clifford_exact.py','1000000009','11'])]: + subprocess.run([sys.executable,'-I','-B',str(command),*map(str,args)],check=True);physical_checks.append(command.name) + digest=sha256(canonical(new)).hexdigest() + engine=G.module('rechart_signed_routes',rank9/'physical_child.py',(('cca66a7ec924bab47ccd1410968d16e071a01dc6110b5c08040bd207f753d066',digest),)) + capture=io.StringIO() + with contextlib.redirect_stdout(capture):engine.main(path,vendor/'data/caller.json',caller_path) + signed_routes=json.loads(capture.getvalue()) + need(signed_routes['status']=='PASS_PHYSICAL_RANK9_ALGEBRA' and signed_routes['paid_calls']==32,'Signed physical fields') + need(1000*sum(len(row['caller_fields'])*row['ordinary_elementary_units'] for row in signed_routes['bindings'])==routes,'Actual signed-route charge') + print('PASS affected Gaussian chart columns, phase, corruption controls and finite physical replay',flush=True) + return normalized(dict(status='PASS_NONUNIT_OUTPUT_COMPOSITION_NATIVE',source_head=read(HERE/'INPUTS.json')['source_head'],word_canonical_sha256=digest,native=N,forward=forward_receipt,grid=grid,derived_grid=derived,caller=symbolic,invoice=invoice,ordinary=ordinary,gate=gate,price=price,precision=precision,charts=charts,controls=controls,physical_checks=physical_checks,signed_routes=signed_routes,limitations=['Five inherited framework assumptions remain.','Source-aware retained engines are not independent human/formal acceptance.','The complete 17-stage application is checked separately.'])) +if __name__=='__main__': + p=argparse.ArgumentParser();p.add_argument('--out',type=Path);a=p.parse_args();r=run() + if a.out: + with a.out.open('x') as f:json.dump(r,f,sort_keys=True,indent=2);f.write('\n') + else:need(r==read(HERE/'NATIVE-RESULT.json'),'Every frozen native receipt field') + print(r['status'],r['gate']['claim'],flush=True)