diff --git a/research/p104-unlocked-rank8-split/APPLICATION.md b/research/p104-unlocked-rank8-split/APPLICATION.md new file mode 100644 index 0000000000..6ef4c81aaf --- /dev/null +++ b/research/p104-unlocked-rank8-split/APPLICATION.md @@ -0,0 +1,29 @@ +# Conditional application to the new rank-eight split and signed caller + +This applies Rohan Arun's #7113 component proof and #7116–#7120's changed-native adaptation to the exact new rank-eight split. The changed boundary group permits a new cocharted split, proved in PROOF.md. The predecessor’s distinct ToikY chart-120 pattern and credit are retained in the frozen source closure. Both artifact hashes and public heads are in README.md. The five inherited assumptions and selected completed BIT predecessor are retained. The source-specific proof template is the [#7000 application review](https://github.com/CrocSwap/integer-mult-bounds/blob/e54523517d0f03e58352e647c403a5af3e525a57/docs/research/pr-intake-evidence/pr7000-application/PROOF-REVIEW.md), including its BIT ambient 134 repair. Its generic root/storage and scalar/physical arguments require the substitutions below; a predecessor's numeric receipt alone is insufficient. + +## Native and caller operator substitution + +The new constructor preserves every arbitrary-input native endpoint while splitting one rank-eight helper target into 3+5. It adds 20 ADDs and 6 SCALEs; the MOVE chart pairs and their order are retained under the required successor/owned relabeling, and the entire paid Counter is unchanged. Boundary group 3→246 has dimensions 0→8, and chart 259 has dimension 3. The exact prefix/suffix relations and boundary/cut bases of lengths 7/6 are in PROOF.md. Its complete forward and adjoint replays include every owned row. All 3,050 current paid/helper chart pairs and 104 main boundary pairs are then rebuilt with the pinned compiler and distinct signed-Pauli/absolute-phase interpreter. For these Clifford maps, the signed Pauli action fixes the operator up to global phase, which the exact Gaussian check fixes. Thus every column of each chart map is determined. The fresh replay includes a deliberately wrong absolute phase. + +The unchanged 17-stage caller has five noncommuting quarter turns and twelve padding turns in inverse pairs. Its grouped idle bases lie over Z[1/30]. Its exact rational and integer Laurent engines agree on all 72 output fields for every formal central/body variable. In the physical substitution, seventeen disjoint eight-axis stage blocks and nine central axes use ambient 145. For each invocation, exchange the eight native complement axes with the fresh stage block while fixing the routed central axis and spectator axes. The phase-polynomial checks verify both directions. Literal A and B routes then apply commuting body operators on disjoint stage blocks. + +A signed rank-nine idle uses one positive rank-nine recursive request plus the charged ordinary conjugation/phase implementing the inverse on the protected central axis. Current finite signed-child checks cover widths 1,2,3; the symbolic phase geometry supplies the disjoint-axis substitution. The ordered occurrence digest is recomputed from the literal caller and current native geometry. It binds 13,600 native contact boundaries, 110,723 paid positions and 22,274 productive fields. Main-owner aliasing is rejected. Allocate 18,530 distinct (stage,helper) public inputs and 867 reserved native owned banks, plus the retained serial query/LAMBDA bank. The surplus is 1,424. The ownership discipline and owned-erasure hypothesis remain explicit. + +## Common-grid and fixed-root induction + +Scale each of the 3,744 raw caller main input fields by 675 and divide each completed caller main output by 675. The independent integer Laurent replay checks the necessary valuations 3³ and 5², rejects a lower exponent of either prime, and uses safe binary valuation 381. Every normalized main coefficient and pre-ADD product is integral on that odd grid. Substituting actual binary Clifford address operators introduces only powers of two, so the odd-divisibility invariant transfers to whole arrays and all spectators. + +Within each native invocation, scale all 1,490 public fields by 1125 and unscale the completed returns. The separate exact prefix/pre-product derivation and integer replay establish the native grid at fractional height 24. Fresh helpers receive their own independent inputs. The exact native endpoint ensures these helper inputs do not perturb the normalized main caller invariant. Both odd scales are included simultaneously in the unfinished-context mass allowance. + +The fresh forward/adjoint envelope has height 405 and context mass exponent 1172, giving c=2344. This is recomputed from the current word and caller; #7120’s allowance was 2342. It remains below 4096. The same conservative ambient 153 compiler threshold funds it: Kstar has 14,093 bits and c·Kstar has 14,104 bits, below H=16487800000000000000000. The regenerated compiler gap is 1/100000000000000000 (previous 1/10^18); the regenerated outer and fixed-tape gates use this gap and H. The independent inequalities check every rounded caller bound as well. Apply the retained full-root common-format induction with fixed padding, signed width p+h+2D+3, fractional width p+D, and 26 temporary bits. Completed child returns preserve this format. Exact finite-state odd division retains the reviewed carry/remainder invariant. + +## Physical upper-cost substitution + +The source-unit ordinary bound 777,785,464 includes the caller and native conversion services. It is distinct from the physical-machine bound. The fresh raw-occurrence counts give 1,145,919 native scalar macro inputs, 117,856 caller macro inputs and 58,148 conversions. The retained conservative factor 32 gives 42,301,536 scalar services; with the reviewed 2²⁰ service constant this is 44,356,375,412,736 times the root scalar-width envelope. Numerators of all actual native/caller instructions and both conversion scales fit 24 bits. + +The current occurrence count gives 298,842 monomial map slots. At actual ambient 145, the retained elementary bound 4(145+1)² is 85,264 records per map, hence at most 25,480,464,288 elementary records per raw occurrence. Use actual owner widths and these finite coefficients in the same fixed-tape stock and movement envelopes from the selected review. The positive compiler/outer slack permits enlarging the eventual cutoffs. This is a conditional asymptotic substitution, not an enumerated machine trace. + +The recomputed complete recurrence has the bracket and claim in README.md; both exact price engines, the compiler and 54 strict plus 4 functional outer inequalities pass. These checks establish the stated conditional component application under the five assumptions. Independent mathematical review, formal-kernel validation and maintainer admission are separate obligations. + +Credit Rohan Arun for the #7113 proof and implementation, Douglas Colkitt and the #7000 application reviewers, the retained compiler/precision/source authors, and the complete lineage in README.md. Adapted for this exact newly available rank-eight split, retaining ToikY’s predecessor credit by dillona with substantial OpenAI Codex assistance. Apache-2.0. diff --git a/research/p104-unlocked-rank8-split/DISCOVERY.json b/research/p104-unlocked-rank8-split/DISCOVERY.json new file mode 100644 index 0000000000..d9db6233ca --- /dev/null +++ b/research/p104-unlocked-rank8-split/DISCOVERY.json @@ -0,0 +1,217 @@ +{ + "source_head": "b3d68cf1db9bf493ded2d8f4cb922939edc0ef95", + "method": "Attributed complete helper kernels/pairing decision and total-cost basis nominations; no exhaustive rational cost optimization.", + "groups": [ + { + "group": [ + 3, + 246 + ], + "systems": 2731, + "saved": 856, + "pairs": 203, + "hits": 3, + "classes": { + "F1zero": 643, + "F2zero": 60, + "witness": 153 + }, + "rescued": 0, + "budget_reject": { + "2": 21, + "3": 153, + "5": 3, + "8": 1, + "7": 16 + }, + "best_budget": { + "cut": 31859, + "frame": 259, + "cost": 0.0, + "gain": 0.019141871671898514, + "paths": [ + { + "role": 231, + "lo": 31849, + "hi": 31861, + "frame": 259, + "old": 259, + "new": 534, + "moves": [ + 31858 + ], + "old_paid": [ + 3 + ], + "new_paid": [ + 0, + 3 + ], + "cost": 0.0, + "private": false, + "neutral": true + } + ], + "paid_roles": 0 + } + }, + { + "group": [ + 120, + 127 + ], + "systems": 291, + "saved": 151, + "pairs": 0, + "hits": 0, + "classes": { + "F1zero": 151 + }, + "rescued": 0, + "budget_reject": {}, + "best_budget": null + }, + { + "group": [ + 597, + 120 + ], + "systems": 0, + "saved": 0, + "pairs": 0, + "hits": 0, + "classes": {}, + "rescued": 0, + "budget_reject": {}, + "best_budget": null + }, + { + "group": [ + 597, + 127 + ], + "systems": 112, + "saved": 58, + "pairs": 0, + "hits": 0, + "classes": { + "F1zero": 58 + }, + "rescued": 0, + "budget_reject": {}, + "best_budget": null + }, + { + "group": [ + 3, + 127 + ], + "systems": 38329, + "saved": 10032, + "pairs": 43830, + "hits": 0, + "classes": { + "F1zero": 7996, + "witness": 1770, + "F2zero": 266 + }, + "rescued": 0, + "budget_reject": { + "8": 3216, + "10": 2495, + "6": 3784, + "13": 1482, + "12": 2015, + "4": 2350, + "9": 3263, + "7": 3945, + "14": 1482, + "15": 1936, + "5": 2584, + "3": 3183, + "2": 1116, + "18": 1227, + "16": 1261, + "21": 802, + "24": 496, + "11": 2090, + "17": 1249, + "20": 791, + "19": 997, + "22": 473, + "25": 184, + "23": 620, + "28": 181, + "29": 109, + "27": 175, + "26": 176, + "30": 99, + "31": 34, + "33": 5, + "32": 10 + }, + "best_budget": { + "cut": 39771, + "frame": 109, + "cost": 0.013863483243874875, + "gain": 0.011366962019796034, + "paths": [ + { + "role": 523, + "lo": 32236, + "hi": 40246, + "frame": 109, + "old": 3, + "new": 394, + "moves": [ + 32237 + ], + "old_paid": [ + 3 + ], + "new_paid": [ + 1, + 2 + ], + "cost": 0.006931741621937437, + "private": false, + "neutral": false + }, + { + "role": 461, + "lo": 34542, + "hi": 39774, + "frame": 109, + "old": 3, + "new": 285, + "moves": [ + 34761 + ], + "old_paid": [ + 3 + ], + "new_paid": [ + 1, + 2 + ], + "cost": 0.006931741621937437, + "private": false, + "neutral": false + } + ], + "paid_roles": 2 + } + } + ], + "legal_nominations": 3, + "selected_group": [ + 3, + 246 + ], + "selected_index": 2, + "full_native_checked_indices": [ + 2 + ], + "selection": "Smallest nominated basis pair:7boundary+6middle instructions; other candidates7+7 and7+8 were not built.", + "coverage": "All five declared groups completed. Search code/results are local-only; selected exact witness and complete verifier are public. No global barrier is claimed." +} diff --git a/research/p104-unlocked-rank8-split/ENVIRONMENT.json b/research/p104-unlocked-rank8-split/ENVIRONMENT.json new file mode 100644 index 0000000000..8f7b4fbc69 --- /dev/null +++ b/research/p104-unlocked-rank8-split/ENVIRONMENT.json @@ -0,0 +1,14 @@ +{ + "initial_python": "3.14.7", + "initial_platform": "macOS-27.0.1-arm64-arm-64bit-Mach-O", + "registered_replay": { + "python": "3.12.16", + "platform": "macOS-27.0.1-arm64-arm-64bit", + "result": "PASS both complete commands; every native and composition receipt field matched" + }, + "dependencies": "Python standard library", + "interpreter_origin": "Official Astral python-build-standalone release20261026; isolated /tmp installation", + "interpreter_archive_sha256": "fbf4afef53c2a6b72bb741bc06d5671a9dfaf87bd84e5aa73ac9b3d0d589f14e", + "hosted_ci": "Not yet published; no hosted scientific pass claimed.", + "completed_utc": "2026-11-10T20:03:26.553051+00:00" +} diff --git a/research/p104-unlocked-rank8-split/INPUTS.json b/research/p104-unlocked-rank8-split/INPUTS.json new file mode 100644 index 0000000000..de11dacf04 --- /dev/null +++ b/research/p104-unlocked-rank8-split/INPUTS.json @@ -0,0 +1,165 @@ +{ + "head": "b3d68cf1db9bf493ded2d8f4cb922939edc0ef95", + "pr": 7120, + "prefix": "research/p104-chart120-peer-composition", + "archive": "inputs/pr7120.tar", + "archive_sha256": "6e4e30926d7d554dfee3046eb064d082baa6139fd7c520a6d1c2eb5d3d7c18bf", + "files": [ + { + "path": "research/p104-chart120-peer-composition/APPLICATION.md", + "size": 7065, + "sha256": "4e96ec6f7e527d3b3f7fe2d13806b25ef64088c1d25dd1098fd210b60eccc19d", + "git_blob": "ee557090b689b0cc1629fd723c7fd0db0eda6a7e" + }, + { + "path": "research/p104-chart120-peer-composition/DISCOVERY.json", + "size": 2657, + "sha256": "52f196d90715f70f93e9136a81ffeec7424036aaa29c6d2e8cde12f4dba6596c", + "git_blob": "f68a0c093ca7e5d787734d255cb58938af6ca5b6" + }, + { + "path": "research/p104-chart120-peer-composition/ENVIRONMENT.json", + "size": 676, + "sha256": "60348cde37eb8396229fd0811150358e65670a5ba97918264c14bd3451c30dcf", + "git_blob": "c1f1ea854cf5e1bb1600d6b754fc4c2c8ba4a7b9" + }, + { + "path": "research/p104-chart120-peer-composition/INPUTS.json", + "size": 6410, + "sha256": "64f3b34d446ea77cb3d81ddc395cc1c12a1f18aa8162f12564190fd38f41494d", + "git_blob": "ed87b512bc2013f92aa9946d54a170b2e80875f9" + }, + { + "path": "research/p104-chart120-peer-composition/NATIVE-RESULT.json", + "size": 74131, + "sha256": "7d392f2d0fd6f6f6b22972d834b52757ea042428f0535ff6a10ce23b3dfb9f10", + "git_blob": "158c368d1f2b60dac438dd76cb0f7399f41ac6af" + }, + { + "path": "research/p104-chart120-peer-composition/PEER-CREDIT.json", + "size": 791, + "sha256": "508b496885db05b8fc357908c257a1f373e77fe2a786e8759dc924c0fa85d3ba", + "git_blob": "163c4ac2fc14e7191307d2beedaf73c248392f14" + }, + { + "path": "research/p104-chart120-peer-composition/PROOF.md", + "size": 4705, + "sha256": "cdd7c98f36babfa575d83ecdd351bac4822564712d4f5a485f0e960f6a784d7f", + "git_blob": "346dda4ac3b56e7748e4318ef3865ef0dc25fe02" + }, + { + "path": "research/p104-chart120-peer-composition/README.md", + "size": 6220, + "sha256": "d05c4b2976517061cfb8ba5b4aac4e6192ff67a14bf43a191617877f54b59d95", + "git_blob": "449cf8d162e65f12959652204cb3e840231e40b4" + }, + { + "path": "research/p104-chart120-peer-composition/REPLAY.txt", + "size": 3782, + "sha256": "d5d64bf93efb86d90a7434651b52266c0acfb07ab591580a55f563063be71739", + "git_blob": "440c371fc54cc1b1ca48ef020c018ba0c34c6126" + }, + { + "path": "research/p104-chart120-peer-composition/RESULT.json", + "size": 76538, + "sha256": "78383a7cb60349b43fabe0abe59f4509e6f54f4268f94483002d5c85f5c04e38", + "git_blob": "43f7d5ca1a0c17850a53d73c66d69d0bdfc3c1d2" + }, + { + "path": "research/p104-chart120-peer-composition/SOURCES.json", + "size": 856, + "sha256": "8b58a30ae55396b8d108de4ee2c7c6ac75dc1096948c9ac3796c20b21b1c9372", + "git_blob": "c4150ae39789502a4adf89e8f5235995d458a72e" + }, + { + "path": "research/p104-chart120-peer-composition/TASK.json", + "size": 10569, + "sha256": "c58a48bce6efcd1616ee269efb0b55601621b29ad69590556a8c4a8b930bc25b", + "git_blob": "e3bedc155a6d5254b4531bf1ba1bea067fbcae90" + }, + { + "path": "research/p104-chart120-peer-composition/VALIDATION.md", + "size": 2653, + "sha256": "13a4b1ab035698af9a01012ad5225ec75ebfc6554560017b1eca1a3f40ba7b18", + "git_blob": "193d520a11375be5cb6728db5c0f22eb7ad043d5" + }, + { + "path": "research/p104-chart120-peer-composition/VERIFY.json", + "size": 1044, + "sha256": "dac6e370caf4a75e2f041274227a7f3af17266afb530542d6feaadc2c024df29", + "git_blob": "b7727cdab9891b498a64f5d14b28de460f0e7005" + }, + { + "path": "research/p104-chart120-peer-composition/WITNESS.json", + "size": 699, + "sha256": "f3d99d96607e3170ae457874da9c0c8705d25cacf247b0f2116137b7831c2dc5", + "git_blob": "d62acc6a7eee9c85794f2426dc93549b2cabfab0" + }, + { + "path": "research/p104-chart120-peer-composition/WORD.json.gz", + "size": 364559, + "sha256": "c22eddc6ae3160aa924cca8e2f14f20f69c0ff9bcca6c3c2ee0cdb83ebb55448", + "git_blob": "2383c3cb7837b9cd0bbb5fd2d23c8fd69d54bb56" + }, + { + "path": "research/p104-chart120-peer-composition/adapt.py", + "size": 3240, + "sha256": "8200611dcc19fe7fea6d723519116a25be34eb4d18ae092ad80cd8dc4ca3d4a5", + "git_blob": "8bea39b2cdce799d9f9af3bcfa1f4a26e6f6e3cc" + }, + { + "path": "research/p104-chart120-peer-composition/construct.py", + "size": 3061, + "sha256": "42ffab76b8664088f444ba7d815537a541af72c5fa5eef897989b90399b9e564", + "git_blob": "748bfe2be2e5fffc1dfa9bdfa261bfcc8da16088" + }, + { + "path": "research/p104-chart120-peer-composition/derive_grid.py", + "size": 1510, + "sha256": "ceb7a44ef19d72a16db7b43c65c85910d965499d1715436011de32af5d39dbb0", + "git_blob": "f8cb37f00bcd197d77bbb205dae3c1a40c0aa680" + }, + { + "path": "research/p104-chart120-peer-composition/inputs/pr7119.tar", + "size": 7495680, + "sha256": "4b00a38b97ca6eb717ba238a2b69b07256b74c51064c6c74a8ed429f4155cc63", + "git_blob": "7773800d9c16b117f31dfda44fac1b71fabaa2c2" + }, + { + "path": "research/p104-chart120-peer-composition/price.py", + "size": 3642, + "sha256": "037fcd9915c9a405fcce7c32025edebd58da523ba1b718e4becd98d614c9fa5f", + "git_blob": "063eb0d8ebb4b8c9c0febd0b951a4a475a6b12d3" + }, + { + "path": "research/p104-chart120-peer-composition/source.py", + "size": 3302, + "sha256": "5d9173af18fe8cece93243a8c04d850001ef03082b3a565d25c6bd9037c0fcde", + "git_blob": "e905eb7f5338975ef9f6152a5976b679b3fb1361" + }, + { + "path": "research/p104-chart120-peer-composition/split.py", + "size": 6432, + "sha256": "3d529d78994504ad591a3afade4dab094751c1c221edbab10165290314cf0894", + "git_blob": "5407e8959b8723464aee68eea6ffcf2ee75cc3b7" + }, + { + "path": "research/p104-chart120-peer-composition/support.py", + "size": 606, + "sha256": "f3e6eeb879480715c5c32c1a390a63c57d26ea1c9a9cbdb89b83ca34260e47f6", + "git_blob": "192cd38d27e4b732981b98730459a041dcfb52e7" + }, + { + "path": "research/p104-chart120-peer-composition/verify.py", + "size": 3452, + "sha256": "7263ab8346ee29df171eb28b7bc367a94b4636dc5eeeafd4015dbcc5eac05a4d", + "git_blob": "2c6d0d5da27044d4f2c7d32639e4fd829d3f00ed" + }, + { + "path": "research/p104-chart120-peer-composition/verify_native.py", + "size": 13021, + "sha256": "6cd153a13395dffca9ed5bcbd3018283bb9f9a366fb5649c2ccb461ea9c6ae61", + "git_blob": "f6219abb3b89f614133630d5e73ab35b7832cf52" + } + ] +} diff --git a/research/p104-unlocked-rank8-split/NATIVE-RESULT.json b/research/p104-unlocked-rank8-split/NATIVE-RESULT.json new file mode 100644 index 0000000000..6161e3ef47 --- /dev/null +++ b/research/p104-unlocked-rank8-split/NATIVE-RESULT.json @@ -0,0 +1,3075 @@ +{ + "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, + 246 + ] + ], + "rechecked_pairs": [ + { + "columns": 512, + "pair": [ + 3, + 246 + ], + "rank": 8 + }, + { + "columns": 512, + "pair": [ + 3, + 259 + ], + "rank": 3 + }, + { + "columns": 512, + "pair": [ + 259, + 246 + ], + "rank": 5 + } + ], + "wrong_phase_rejected": true + }, + "controls": { + "insufficient_fractional_grid": true, + "insufficient_odd_grid": true, + "missing_cut_correction": true, + "missing_final_basis": true, + "missing_initial_basis": true, + "missing_successor_correction": true, + "unexpected_retiming": true, + "wrong_boundary_direction": true, + "wrong_boundary_functional": true, + "wrong_cut_frame": true, + "wrong_paid_declaration": true, + "wrong_prefix": true, + "wrong_successor_frame": true, + "wrong_suffix": true, + "wrong_target_ranks": true + }, + "derived_grid": { + "coefficient_visits": 15003535, + "fractional_bits": 24, + "mass_witness": [ + 64739, + "stored" + ], + "odd_scale": 1125, + "scaled_maximum_mass": "1630603680282225/16384", + "unscaled_maximum_mass": "7247127467921/81920" + }, + "forward": { + "coefficient_positions": 2374681, + "fractional_bits": 24, + "grid": 1125, + "rows": 1541 + }, + "gate": { + "BIT_margin": "12716806148493/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16487800000000000000000", + "alpha": [ + 0.9999999999999997, + 0.9999999999999997 + ], + "claim": "727904387703/200000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.8819834196936333, + 0.8819834196936333 + ], + "derivative_upper": -407532.8432804249, + "gamma": [ + 0.9498741667284882, + 0.9498741667284882 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "363952193851507/100000000000000000": [ + "124180815657494992926811469641520805115264935722620512399481888434385850285169/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "12418081565749499292681146964152080511526493572262051239948188843438585028709/10000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "727904387703/200000000000000": [ + "62090407828746353132726039053342140805533345511384258899146227632305987987167/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "31045203914373176566363019526671070402766672755692129449573113816152993994071/25000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2233, + "moment_margin_float": { + "363952193851507/100000000000000000": [ + 8.880209192774295e-11, + 8.880209192774295e-11 + ], + "36395219385152842431546939637479/10000000000000000000000000000000000": [ + 2.1928885356429053e-29, + 2.1928885356429053e-29 + ], + "909880484628821060788673490937/250000000000000000000000000000000": [ + -1.952032316301817e-29, + -1.952032316301817e-29 + ] + }, + "moment_margins": { + "363952193851507/100000000000000000": [ + "555013074548393450488902981250418873665181418629660941501443345721029/6250000000000000000000000000000000000000000000000000000000000000000000000000000", + "22200522981935738019556119250016754946607256745186437660057733932819/250000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "36395219385152842431546939637479/10000000000000000000000000000000000": [ + "548222133910726310154110097489239633896132507312269/25000000000000000000000000000000000000000000000000000000000000000000000000000000", + "1096444267821452620308220194978479267792265035678589/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "909880484628821060788673490937/250000000000000000000000000000000": [ + "-244004039537727119323676643878373653022896324192049/12500000000000000000000000000000000000000000000000000000000000000000000000000000", + "-61001009884431779830919160969593413255724079731427/3125000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "36395219385152842431546939637479/10000000000000000000000000000000000", + "909880484628821060788673490937/250000000000000000000000000000000" + ], + "tested": "363952193851507/100000000000000000", + "written_log_power": 2234 + }, + "grid": { + "dyadic_height": 24, + "maximum_scaled_mass": "1630603680282225/16384", + "odd_divisions": { + "ADD": 5219, + "SCALE": 67 + }, + "odd_grid_lcm": 1125, + "opcodes": { + "ADD": 63602, + "CLEAR": 54, + "COPY": 1, + "INIT": 54, + "MOVE": 6291, + "SCALE": 3696 + }, + "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": 4034, + "2": 841, + "3": 818, + "4": 240, + "5": 325, + "6": 16, + "7": 11, + "8": 6 + } + }, + "invoice": { + "P": { + "1": 72996, + "16": 416, + "2": 15138, + "24": 416, + "3": 14724, + "32": 416, + "4": 4320, + "40": 416, + "48": 416, + "5": 5850, + "56": 416, + "6": 288, + "64": 416, + "7": 198, + "8": 780, + "9": 32 + }, + "S": 1520, + "T": { + "1": 306, + "145": 208, + "17": 416, + "2": 324, + "25": 416, + "3": 846, + "33": 416, + "4": 3942, + "41": 416, + "49": 416, + "5": 1296, + "57": 416, + "6": 756, + "65": 416, + "7": 324, + "73": 416, + "8": 1026, + "9": 11216 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036395219385152842431546939637479529054381005620757125896762542675", + "raw_crossing": "0.0036395219385152842431546939637479529054381005620757125896762542675" + }, + "limitations": [ + "Source-aware reuse of attributed engines, not independent human or kernel review.", + "The five framework assumptions remain; the current17-stage application is checked separately by verify.py.", + "Finite physical checks and source-unit bills do not constitute a complete multiplication theorem." + ], + "native": { + "bad_inputs": [], + "events": 73698, + "helpers": { + "1": 17, + "2": 18, + "3": 47, + "4": 219, + "5": 72, + "6": 42, + "7": 18, + "8": 57, + "9": 600 + }, + "lifetimes": 54, + "owned_peak": 43, + "paid": { + "1": 4034, + "2": 841, + "3": 818, + "4": 240, + "5": 325, + "6": 16, + "7": 11, + "8": 6 + }, + "public": 1490, + "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": 851525008, + "extra_B_scalar_surcharge": 784256, + "init_clear_allowance": 216, + "lambda_paid_rank1_would_reduce_S_by": 14384, + "lambda_second_charge": 14384000, + "margin_to_billion": 148474992, + "odd_divisions": { + "ADD": 5219, + "SCALE": 67 + }, + "per_input_conversion": 2789280, + "raw_upper": 833567472, + "route_items": { + "first_main_adapter": 416, + "first_main_boundary": 208, + "helper_boundary": 2180, + "moves": 6291, + "owned_lifetime": 216, + "second_main_adapter": 384, + "second_main_boundary": 192 + }, + "routing": 9887000, + "scalar_upper": 1989744 + }, + "physical_checks": [ + "verify_host3_odd.py", + "physical.py", + "physical_child.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": 450, + "context_mass_bits": 671, + "rounded_caller": { + "bounds": { + "E_joint_entrance": { + "exact": "77479600692749393612326251218125109343077252382711892590000629544600140594855319562333837509712654851919182936762521990170989345240508388898908583103526158140747863317092476070488853629670862629970923664793955193385039741634793838885161806125876572167205691708492424180890803173835601419072259706505102932664185643/236574025616993083824920739000090624000000000000000000000", + "strict_power_of_two": 856, + "witness": { + "cut": 4982, + "event": 4982, + "factor": "1", + "kind": "stored", + "register": 39 + } + }, + "Gamma_context": { + "exact": "49932042176990874511256674878146592065196184574804916157605490335461588104111189421348672953754271239209085877176060344251527789508368489712952595099901817109590347822468869336517937072881614509495566989923104243270667251442584978775550012371017215765696612719695089019979652074956757706497925277240143067870564730463/1135555322961566802359619547200434995200000000000000000000", + "strict_power_of_two": 863, + "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": "1517467424199399144286442889854250311314040536971336977505931646515895031104093193723692428893655009292634521511035243044911764407801606748768257977747444276602207933088115613310444385069087492168081000234540944330870598969953470600064012372965427774031188570477225594929817668336314544781366385206040173015916702009337/94629610246797233529968295600036249600000000000000000000", + "strict_power_of_two": 872, + "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": "49932042176990874511256674878146592065196184574804916157605490335461588104111189421348672953754271239209085877176060344251527789508368489712952595099901817109590347822468869336517937072881614509495566989923104243270667251442584978775550012371017215765696612719695089019979652074956757706497925277240143067870564730463/1135555322961566802359619547200434995200000000000000000000", + "strict_power_of_two": 863, + "witness": { + "cut": 5098, + "event": 5097, + "factor": "1", + "kind": "stored", + "register": 75 + } + }, + "Sigma_context": { + "exact": "26627516142774866761322532431079069794656610444055995039858935572713725415858761536862330366582709423839177840463618129245996757224565833445238087751203676537234974858493228911436284264066119534874832296681195349962537351828880023704864560840692483464282096886651921173569986641090141519279030997373893930787147542397688006831607331816093142668201222135959046228703561353392577717659265107287073083776944897664797036752362760003555937089642448653/81983305073188036898332404126324460286112199797016435889798262030336000000000000000000000000000000000000000000", + "strict_power_of_two": 1115, + "witness": { + "cut": 4983, + "event": 4982, + "factor": "1", + "kind": "stored", + "register": null + } + } + }, + "fresh_arbitrary_helpers": 19620, + "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": "77479600692749393612326251218125109343077252382711892590000629544600140594855319562333837509712654851919182936762521990170989345240508388898908583103526158140747863317092476070488853629670862629970923664793955193385039741634793838885161806125876572167205691708492424180890803173835601419072259706505102932664185643/236574025616993083824920739000090624000000000000000000000" + }, + "Gamma_context": { + "entrance_mass": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", + "joint_coefficient": "3588816846070975662189139150385916018049768310935423284247506919489598097879366381598784768436344948623399851427080856173768395141863135887379886323692161717893814936281078874126758254305/32768", + "primitive_coefficient": "104601728656160061800829059188189517089489205649710398563826603344774845615386975930430446869514605732253126838851071709850611632285445276658068751933727423823199247050168422471008254528236067/131072", + "residual_mass": "49932042176990874511256674878146592065196184574804916157605490335461588104111189421348672953754271239209085877176060344251527789508368489712952595099901817109590347822468869336517937072881614509495566989923104243270667251442584978775550012371017215765696612719695089019979652074956757706497925277240143067870564730463/1135555322961566802359619547200434995200000000000000000000" + }, + "M_caller": { + "entrance_mass": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", + "joint_coefficient": "3588816846070975662189139150385916018049768310935423284247506919489598097879366381598784768436344948623399851427080856173768395141863135887379886323692161717893814936281078874126758254305/32768", + "primitive_coefficient": "104601728656160061800829059188189517089489205649710398563826603344774845615386975930430446869514605732253126838851071709850611632285445276658068751933727423823199247050168422471008254528104995/131072", + "residual_mass": "49932042176990874511256674878146592065196184574804916157605490335461588104111189421348672953754271239209085877176060344251527789508368489712952595099901817109590347822468869336517937072881614509495566989923104243270667251442584978775550012371017215765696612718559533697018085272597138159297490282040143067870564730463/1135555322961566802359619547200434995200000000000000000000" + }, + "M_joint_entrance": { + "entrance_mass": "66231921216838714175335242310174311625441766070329537281095337280001689425837300045521194678022507207573740758259597518292006513594483309822197449388620837179777160688120985448681075810705/4096", + "joint_coefficient": "3341262452763736608333208973454412950850413153418406702391448781717870354386212730465850137279766193453853839111325961239001898880600732238129365028446669327062277635590277335176110963/4096", + "primitive_coefficient": "97386365324171280012900240624596584740208335418838768849197300645798627964098858911945347609583363839763283834626254278123625524137460265198827318958269714035256037492260512470970582090841/16384", + "residual_mass": "77479600692749393612326251218125109343077252382711892590000629544600140594855319562333837509712654851919182936762521990170989345240508388898908583103526158140747863317092476070488853629670862629970923664793955193385039741634793838885161806125876572167205691708492424180890803173835601419072259706505102932664185643/236574025616993083824920739000090624000000000000000000000" + }, + "Sigma_caller": { + "entrance_mass": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", + "joint_coefficient": "3588816846070975662189139150385916018049768310935423284247506919489598097879366381598784768436344948623399851427080856173768395141863135887379886323692161717893814936281078874126758254305/32768", + "primitive_coefficient": "104601728656160061800829059188189517089489205649710398563826603344774845615386975930430446869514605732253126838851071709850611632285445276658068751933727423823199247050168422471008254528236067/131072", + "residual_mass": "49932042176990874511256674878146592065196184574804916157605490335461588104111189421348672953754271239209085877176060344251527789508368489712952595099901817109590347822468869336517937072881614509495566989923104243270667251442584978775550012371017215765696612719695089019979652074956757706497925277240143067870564730463/1135555322961566802359619547200434995200000000000000000000" + } + }, + "joint_entries": [ + { + "entrance_defect": "4384", + "entrance_mass": "23859/2", + "event": 49, + "stage": 1 + }, + { + "entrance_defect": "9817941882706950664704169065716741122746739646827011905846579267086986872021528274853339174555425636461748660048375780695132463999052873/43317997854674026579270154846208000000000000000000000", + "entrance_mass": "44760984243/4", + "event": 144, + "stage": 2 + }, + { + "entrance_defect": "28143643591873283031497772908876172628857490019196111831550450573979893594151833888557461637563552804045447889365956392195756515311608545884639867/2772351862699137701073289910157312000000000000000000000", + "entrance_mass": "8019347752894898813/16", + "event": 275, + "stage": 3 + }, + { + "entrance_defect": "363190176040294540100426272339376731232874038209680851849324285782362290385062224917810007535215190999335223222059730712105588114891636055045952578867559/138617593134956885053664495507865600000000000000000000", + "entrance_mass": "258721681913211409397548013/2", + "event": 435, + "stage": 4 + }, + { + "entrance_defect": "1290038670929548627285610236903700852094177438137154415541687870054855589202073667928361291763130362205193875264365125460173693690010899198469369878215444401117823/924117287566379233691096636719104000000000000000000000", + "entrance_mass": "1102764325780487636837595009524032653/16", + "event": 627, + "stage": 5 + }, + { + "entrance_defect": "2315186749368141491789923507553413514425850177527166875008437433895536602828780163173216164948237415451060150590360127288910164569345214612968396760235116608074916106194569/693087965674784425268322477539328000000000000000000000", + "entrance_mass": "659697369868562418053848749577901431896032551/4", + "event": 848, + "stage": 6 + }, + { + "entrance_defect": "35107102091535527921174800886806741801055949713470032104225890485946038400107129880124386130250640468571881502003362599921170209398589079353271268755365836942733359140460017404175831/4435762980318620321717263856251699200000000000000000000", + "entrance_mass": "50017699262951285012300223375874644326538714050483088723/128", + "event": 1101, + "stage": 7 + }, + { + "entrance_defect": "144894943434028882728086474136220496105886243015417036479045705028542584556008153848179349363438434498940059266791731859141377360120077107548713761269854895904670440423650194397961099489319337/1848234575132758467382193273438208000000000000000000000", + "entrance_mass": "123860608372223676361208276303474840021608894935793894644443117475/32", + "event": 1383, + "stage": 8 + }, + { + "entrance_defect": "1568358381991560031727645080840025505598468120571116629481900623817646188311873013978006601653807925296679394439812177086670124061679004299431602750758584475340511163897250839711493993450233268183036633/11089407450796550804293159640629248000000000000000000000", + "entrance_mass": "446893495694686287960280473450842802655971489871616126572592413520841719161/64", + "event": 1662, + "stage": 9 + }, + { + "entrance_defect": "45011782190369138430292971781028353590557960384377421005459024549589729193389342145476542488744701181425603293879022073938429540986661346946743142962120997749621500137911985129585088847210522691646083135222643679437634572587877671049237559643369/2772351862699137701073289910157312000000000000000000000", + "entrance_mass": "1603226733879417057855793968966209778425632456862348198524030211565823693253398434234475406089669867705587698766845597/2", + "event": 3203, + "stage": 10 + }, + { + "entrance_defect": "561482358173167622902445700169639602517476337220908020332972125531043613379004683341969913636546425406985146282069436464212802386261421756090355970562324721883954708092799461693538810145193495355406598628907659105793664562169918197443137070904516857542391/44357629803186203217172638562516992000000000000000000000", + "entrance_mass": "159990737255009044304340266028013949411590186711547802615104749842798991699729693917477577741470706009608765481680513095697397863/256", + "event": 3526, + "stage": 11 + }, + { + "entrance_defect": "2503944077839924224363276750425675943632614998989902270585268579282348526564812388552035961857456095729570523755131288622778276111209173551743343083876334640689919940481512108018979355960721317874799490796638313407017043079787082863705605884151833407994363696825871/177430519212744812868690554250067968000000000000000000000", + "entrance_mass": "713482539972112811302498126039122556478474335397824876612540289480809876975347015211250548661355667282704396311981650378099911649135840063/1024", + "event": 3821, + "stage": 12 + }, + { + "entrance_defect": "269304034023117349171106702794868403265250864405813697970925105244760486541353457020654803468524171202190023671624499548283813669727116072162484734030446811403307154830492170280339486849232665172756080384913224504268988855506161326720273044104866464131467732912471369951109/19714502134749423652076728250007552000000000000000000000", + "entrance_mass": "690627858377635566118234917748020783796286454330854789097666289598705747090709204201800639258908872647850357504982405971722609074791401430947671165/1024", + "event": 4088, + "stage": 13 + }, + { + "entrance_defect": "1652485678700179732043721038136474113671792655679788176324000714506509661154609737941085390204548081621715304753008015113503588471912378259942064182258460506446681164250751813283825219880168226306106109105628062181054745759361893958898680983329378191087905178620140375743575436462567/354861038425489625737381108500135936000000000000000000000", + "entrance_mass": "470865020405587123936906066570155601953174646068287322382245101819760273515813542612024822098129182481570490831889396523550001544922531326945370763196989399/2048", + "event": 4324, + "stage": 14 + }, + { + "entrance_defect": "163069772887445304558130352312353258405478206639666806134682824413267087559159257100634698020429206233717687804481308046347655595369020815308819601122797387982782926413294470715409495840808286927019772533172123069693021615366148641539838109621844479226704339455197380211253238024249821509881/177430519212744812868690554250067968000000000000000000000", + "entrance_mass": "46465668615402712050475352820015987705766128000689019237904160504542353131957951954454381327545881694314550682714483945959032017848349099581053150524269011108711881/1024", + "event": 4532, + "stage": 15 + }, + { + "entrance_defect": "79660400227522364991117370513239981661934056886595493090861294876494495084340549484453395099354104256175536706018109159295688270244685190767586330224258817357584960134372618881172661999426224337515434109770085896975222991046351526222159768796949590246785024424134838532203222020331882286815095905199/1419444153701958502949524434000543744000000000000000000000", + "entrance_mass": "22698711681515933658235268009935719580127806482189476469420786919611768582281970304620813093468639555288906634046185136362302550495196405154606658307111274865117192668126623/8192", + "event": 4709, + "stage": 16 + }, + { + "entrance_defect": "164502449939043401379785640357446323428799008367375319328103572186321161363648846186153428587052424524733102014121013314536029575966986383170657738165792861893199821968810201741516865230783191525970810733834444450908872343693757461525171317530118026806343131858118667704216463110455462732322345249746410801/283888830740391700589904886800108748800000000000000000000", + "entrance_mass": "234369503003028720835110712559034466962392865438574454855472632480300248897620917700915501102797005900029816899906431175273180672543487679750570754841237111980601879269511857634373/8192", + "event": 4858, + "stage": 17 + }, + { + "entrance_defect": "77479600692749393612326251218125109343077252382711892590000629544600140594855319562333837509712654851919182936762521990170989345240508388898908583103526158140747863317092476070488853629670862629970923664793955193385039741634793838885161806125876572167205691708492424180890803173835601419072259706505102932664185643/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": "69566161103563006459985184443649808495275592512112944043807379435325951575793696086356967547708226613703581579767731970262610369083/173271991418696106317080619384832000000000000000000000", + "strict_power_of_two": 258, + "witness": { + "cut": 73698, + "factor": "1", + "kind": "public-return", + "register": 1483 + } + }, + "M": { + "exact": "343671313541845501309472612492502311032999987392244517478817334560141457140286622439606680653979622823283610254904180591124034876071/346543982837392212634161238769664000000000000000000000", + "strict_power_of_two": 260, + "witness": { + "cut": 72963, + "factor": "1", + "kind": "stored", + "register": 1483 + } + }, + "Sigma": { + "exact": "69566161103563006459985184443649808495275592512112944043807379435325951575793696086356967547708226613703581579767731970262610369083/173271991418696106317080619384832000000000000000000000", + "strict_power_of_two": 258, + "witness": { + "cut": 72963, + "factor": "1", + "kind": "stored", + "register": 1483 + } + } + }, + "census": { + "denominator_bits": 20, + "events": 73698, + "lifetimes": 54, + "max_denominator": 655360, + "max_numerator": 14729531, + "numerator_bits": 24, + "opcodes": { + "ADD": 63602, + "CLEAR": 54, + "COPY": 1, + "INIT": 54, + "MOVE": 6291, + "SCALE": 3696 + }, + "owned_labels": 51, + "peak_owned": 43, + "public": 1490, + "scalars": { + "dyadic": 62013, + "integer": 39293, + "noninteger": 28006, + "odd": 5286 + } + }, + "independent_adjoint": { + "Gamma": { + "active_residual_sites": 26069, + "entrance_mass": "343671313541845501309472612492502311032999987392244517478817334560141457140286622439606680653979622823283610254904180591124034876071/346543982837392212634161238769664000000000000000000000", + "residual_mass": "69566161103563006459985184443649808495275592512112944043807379435325951575793696086356967547708226613703581579767731970262610369083/173271991418696106317080619384832000000000000000000000" + }, + "M": { + "active_residual_sites": 26069, + "entrance_mass": "343671313541845501309472612492502311032999987392244517478817334560141457140286622439606680653979622823283610254904180591124034876071/346543982837392212634161238769664000000000000000000000", + "residual_mass": "69566161103563006459985184443649808495275592512112944043807379435325951575793696086356967547708226613703581579767731970262610369083/173271991418696106317080619384832000000000000000000000" + }, + "Sigma": { + "active_residual_sites": 26069, + "entrance_mass": "343671313541845501309472612492502311032999987392244517478817334560141457140286622439606680653979622823283610254904180591124034876071/346543982837392212634161238769664000000000000000000000", + "residual_mass": "69566161103563006459985184443649808495275592512112944043807379435325951575793696086356967547708226613703581579767731970262610369083/173271991418696106317080619384832000000000000000000000" + } + } + }, + "scope": "Exact-child grid and attributed all-fibre error envelope, with one signed unitary per fused event", + "word": { + "coefficient_visits": 15003535, + "dyadic_height": 24, + "mass_witness": [ + 64739, + "stored add" + ], + "maximum_scaled_mass": "1630603680282225/16384", + "numerator_bits": 24, + "odd_scale_lcm": 1125 + } + }, + "price": { + "baseline_rejects_new_claim": true, + "candidate_margin_at_old_upper": [ + "861249369441443622491986471113144643200215494159699885250142676976139998146287/2500000000000000000000000000000000000000000000000000000000000000000000000000000", + "17224987388828872449839729422262892864004309883193997705002853539522799981446329/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "claim_decimal": "0.003639521938515", + "gain": "8.31135663E-7", + "gain_exact": "831135663/1000000000000000", + "independent_raw_bracket": [ + "0.00363952193851528424315469396374795", + "0.00363952193851528424315469396374796" + ], + "previous_claim": "909672700713/250000000000000", + "raw_bracket": [ + "0.0036395219385152842431546939637479", + "0.003639521938515284243154693963748" + ] + }, + "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": "0a27f1224fdb196602d52d4170bc12b8bde0b9818809e73ecdbdaaa5d3b7adbc" + }, + "source_head": "b3d68cf1db9bf493ded2d8f4cb922939edc0ef95", + "status": "PASS_P104_UNLOCKED_RANK8_NATIVE", + "word_canonical_sha256": "0a27f1224fdb196602d52d4170bc12b8bde0b9818809e73ecdbdaaa5d3b7adbc" +} diff --git a/research/p104-unlocked-rank8-split/PROOF.md b/research/p104-unlocked-rank8-split/PROOF.md new file mode 100644 index 0000000000..21386ce53f --- /dev/null +++ b/research/p104-unlocked-rank8-split/PROOF.md @@ -0,0 +1,48 @@ +# A funded endpoint change permits another helper split + +This package starts from exact #7120 `b3d68cf1db9bf493ded2d8f4cb922939edc0ef95`, native hash `4f19c6ee57b74d7c3ea1863df0b33fe275a3a7511f77084f05726ee216ebdc34`. Its complete 26-file export and all nested sources are authenticated, and every source native byte is reconstructed before the new construction. + +The boundary group is 3→246, dimensions zero and eight. It now contains roles 231,449,707. The funded split in #7117 moved role 231’s endpoint from chart 127 to 246. In frozen #7115, role 231 has endpoints 3→127 while 449 and 707 have 3→246, so the common-group boundary basis below was unavailable. The present result uses this changed target contract. It retains #7120’s distinct ToikY chart-120 composition. + +At source cut 31847, all required fields actually occupy chart 259, basis[21,38,459], dimension 3, nested in chart 246. No MOVE is relocated, inserted or removed. With P the exact prefix and S the suffix, the checker proves + + a = e448ᵀ, + b = e448 + e1205/16 − e995/16, + c = e231ᵀ − 4e707ᵀ, + d = e449/8 − e707/4, + aP=c, Sb=d, ab=cd=1. + +The boundary basis G satisfies row231(G)=c and Gd=e231; the cut basis J satisfies row231(J)=a and Jb=e231. The attributed Ali Romman routine emits seven instructions for G and six for J. Their inverses are exact, and every scalar remains in the retained alphabet. Both boundary vectors use only the same independent helper group; all cut vectors and pivot 231 occupy259. Complete rational prefix/suffix checks include every other public input and all owned rows. + +For direct inspection, the emitted bases are: + +``` +G at chart 3: + x231 += x707 + x707 -= x231 + x231 += x707 + x707 *= -1 + x231 *= -4 + x449 -= x231/8 + x231 += x707 + +J at chart 259: + x231 += x448 + x448 -= x231 + x231 += x448 + x448 *= -1 + x995 += x231/16 + x1205 -= x231/16 +``` + +The inverses reverse instruction order and invert each scalar operation. The successor-side instructions use role 1489 for the continuing pivot. The output G uses chart 246. + +Apply G⁻¹ at the input boundary, followed by P and J. Coordinate231 then equals its original independent input because aPG⁻¹=cG⁻¹=e231ᵀ. Retire that field at259 and replace its continuation by a fresh independent input z, using new role 1489. After J⁻¹, S and G at the output boundary, the output change is G S b(z−x231)=Gd(z−x231)=e231(z−x231). Every other endpoint remains unchanged. This argument uses neither an inverse of P nor an inverse of S, and retains the owned initialization/erasure assumptions. + +The retained target becomes3→259, rank 3. The fresh arbitrary input has target259→246, rank 5. The construction adds 20 ADDs and 6 SCALEs, with no MOVE changes. It has 73,698 events,1,490 public inputs and 1,090 independent helpers. All54 owned lifetimes, peak 43 and 23 rises of mass 56 are unchanged. Complete forward and adjoint checks verify the emitted word, whose canonical hash is `0a27f1224fdb196602d52d4170bc12b8bde0b9818809e73ecdbdaaa5d3b7adbc`. + +For H_r=r^(1−κ), the native signed gain is H3+H5−H8>0 for 0<κ<1, by strict concavity/subadditivity. The entire paid Counter is unchanged. Across the retained 17-stage caller, ΔT={3:+17,5:+17,8:−17}; ΔP={}. Rank surplus remains 1424 and there is no empty credit. Both exact engines reconstruct the complete source and candidate invoices and reject #7120’s invoice at the new claim. + +The scalar bases, new independent input, odd conversions, complete grid/envelope, physical maps, ordinary work, and regenerated compiler/fixed-tape gates are charged in APPLICATION.md. This is a conditional component application under the five retained assumptions; independent human/formal review and maintainer admission remain separate. + +Credit Ali Romman for the independent helper/basis identity, Jerry Chen/CubeJerry for native/invoice and causal tools, Matarener for complete discovery kernels/pairing, Rohan Arun for the 17-stage caller/application, ToikY for the retained chart 120 pattern and signed predecessors, DreamingOfClouds, Douglas Colkitt/#7000 reviewers and every retained source notice. The exact current-source construction was prepared for dillona with substantial OpenAI Codex assistance; no subagents. Apache-2.0. diff --git a/research/p104-unlocked-rank8-split/README.md b/research/p104-unlocked-rank8-split/README.md new file mode 100644 index 0000000000..ac090023d8 --- /dev/null +++ b/research/p104-unlocked-rank8-split/README.md @@ -0,0 +1,48 @@ +# Conditional κ 0.003640102187396 from a newly available rank-eight split + +The paid helper lowering in #7117 changed role 231’s target to chart 246. On exact **#7120**, that permits a common boundary basis with roles 449 and 707 and a new **rank 8→3+5 split with the entire paid profile unchanged**. The complete conditional claim is **0.003640102187396**, gain **0.000000838081114** over #7120. Added scalar work and every changed caller/physical/precision cost are charged. + +At source cut 31847/chart 259/pivot 231, the exact witness is a=e448ᵀ, b=e448+e1205/16−e995/16, c=e231ᵀ−4e707ᵀ, d=e449/8−e707/4. The full prefix/suffix checks establish aP=c, Sb=d and ab=cd=1. The boundary/cut bases have 7/6 instructions. [PROOF.md](PROOF.md) gives the arbitrary-input replacement argument. No retiming is needed. The emitted word adds **20 ADDs + 6 SCALEs**, no MOVEs, and one independent helper. + +| Complete signed 17-stage application | #7120 | This construction | +|---|---:|---:| +| Paid positions |110723|110723| +| Productive fields |22257|22274| +| Rank surplus |1424|1424| +| Empty-root credits |0|0| + +ΔP={} and ΔT={3:+17,5:+17,8:−17}. Native signed gain H3+H5−H8 is strictly positive for 0<κ<1. The new word has 73,698 events, 1,490 public inputs and 1,090 independent helpers; all 54 owned lifetimes, peak 43 and 23 rises of mass 56 remain unchanged. Ordinary work is **777,785,464<10⁹**. Fresh precision gives height 405, mass exponent 1172 and **c=2344**. Native grid 1125/F24 and caller grid 675 are derived separately and charged together. Regenerated gates use gap `1/100000000000000000` and H=`16487800000000000000000`. + +Both exact engines reject #7120’s invoice at the new claim. The independent raw crossing is + +``` +(0.00364010218739649072410851912941669, + 0.0036401021873964907241085191294167). +``` + +This is the emitted invoice’s ceiling, with more than 0.9999999999998 realized. The retained BIT cap 0.00376669 leaves 0.000126587812604 headroom, without asserting attainability. The old hosted nine-stage `complex-local-word-ceiling/ceiling.py` coverage law does not apply to this signed 17-stage caller with independent helper targets. The complete signed-invoice crossing is the applicable bound for this word/caller; it does not bound other constructions. Selected #7000 remains unchanged. + +## Frozen sources and reproduction + +`INPUTS.json` authenticates the complete 26-file #7120 export at `b3d68cf1db9bf493ded2d8f4cb922939edc0ef95`, retaining every nested source and notice. Every source native byte is reconstructed. Source SHA256: `4f19c6ee57b74d7c3ea1863df0b33fe275a3a7511f77084f05726ee216ebdc34`. New native SHA256: `0a27f1224fdb196602d52d4170bc12b8bde0b9818809e73ecdbdaaa5d3b7adbc`. Rohan Arun’s #7113 signed 17-stage caller remains byte-identical, SHA256 `255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc`, from head `07a76c5e2738882c0cb322278e56f6cae3c9885d`. + +```sh +python3.12 -B scripts/research_package.py --package research/p104-unlocked-rank8-split +``` + +The first command checks source/candidate reconstruction, exact arbitrary-input forward/adjoint, declared target/paid deltas, fresh grid, the separate 18-stage ingredient invoice/precision, three 512-column chart maps and full finite native/signed routes. The second reconstructs both complete 17-stage invoices and the unchanged rational/integer Laurent caller, then checks the source-specific application. All **3,050 paid/helper maps and 104 main boundaries** receive exact signed-Pauli/absolute-phase checks. Fifteen native corruption controls, owner/grid/phase/BIT controls, a crossing-probe rejection and 54 strict+4 functional outer conditions remain active. Every frozen receipt field is compared. + +The standard-library replay needs neither Git nor network, rejects optimized Python, and writes a fresh receipt only with `--out UNUSED_PATH`. [VALIDATION.md](VALIDATION.md) records completed runs and [APPLICATION.md](APPLICATION.md) supplies the complete physical, ownership, grid, precision and fixed-tape substitutions. `DISCOVERY.json` labels the finite local nomination evidence; only the selected witness was constructed, with no exhaustive rational cost optimum claimed. + +## Remaining obligations and credit + +The five assumptions remain: `native_all_columns`, `owned_erasure`, `compiler`, `precision_tape`, `analytic_recovery`. Owned erasure retains its nonzero-content premise. Independent human/formal review, maintainer admission and compiled top-level execution remain open. + +Credit **Ali Romman** for helper bases and the split identity; **Jerry Chen/CubeJerry** for causal/native/invoice/compiler tools; **Matarener** for complete discovery kernels/pairing; **Rohan Arun** for the 17-stage caller/application; **ToikY** for the retained chart 120 pattern and signed predecessors; **DreamingOfClouds**, **Douglas Colkitt/#7000 reviewers**, the preceding dillona/OpenAI Codex chain and all retained notices. This exact current-source construction was prepared for dillona with substantial OpenAI Codex assistance; no subagents. Apache-2.0. + +## Open next questions + +- Independently review this exact native and complete application with its source export and registered replay. +- After a fresh upstream/overlap checkpoint, test whether subsequent changed helper endpoints support another fully priced construction; no further gain is established here. + +[Canonical investigation](https://github.com/CrocSwap/integer-mult-bounds/discussions/1166#discussioncomment-19520521). diff --git a/research/p104-unlocked-rank8-split/REPLAY.txt b/research/p104-unlocked-rank8-split/REPLAY.txt new file mode 100644 index 0000000000..fe72aa082f --- /dev/null +++ b/research/p104-unlocked-rank8-split/REPLAY.txt @@ -0,0 +1,73 @@ +CHECK Authenticate/reconstruct exact7120 from complete26-file export and nested closure; no-retiming whole-cut arbitrary-input forward/adjoint, helper8→3+5 and exact unchanged paid profile, fresh grid/18-stage ingredient/precision, three512-column maps,15negativecontrols, complete finite native/signed routes, every frozen native receipt field. +PASS source reconstruction, whole cut, adjoint and independent forward map +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 signed caller, ordinary bill, two exact price engines, precision and compiler gates +events 73698 public 1490 owned roles 51 paid {1: 4034, 2: 841, 3: 818, 4: 240, 5: 325, 6: 16, 7: 11, 8: 6} owned UP {1: 10, 2: 4, 3: 1, 4: 6, 5: 1, 6: 1} helpers {1: 17, 2: 18, 3: 47, 4: 219, 5: 72, 6: 42, 7: 18, 8: 57, 9: 600} +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 73698 events, 2964 chart pairs, 20s +prime 1000000009 seed 11: helper rows bad 0 (of 1090), 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 27s +PASS chart columns and phase, rejection controls and finite physical replay +PASS_P104_UNLOCKED_RANK8_NATIVE 727904387703/200000000000000 +CHECK Reconstruct both complete17-stage invoices, unchanged literal caller, all3050paid/helper maps and104main boundaries, fresh grid/envelopes, ordinary/physical/fixed-tape costs, two prices and54+4outer gates; compare every frozen composition field. +PASS two reconstructed invoices and both exact price engines 0.003640102187396 +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 ['18200510936982453620542595647083/5000000000000000000000000000000000', '36401021873964907241085191294167/10000000000000000000000000000000000'] +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 110723 13600 22274 +RUN check_odd_precision.py +PASS short precision 405 1172 2344 +RUN check_odd_partial_admission.py +ordinary bill 777785464 +PASS partial signed short gates 777785464 910025546849/250000000000000 {'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 42301536 25480464288 precision 2344 +RUN complete catalogue 0 1000 +RUN complete catalogue 1000 2000 +RUN complete catalogue 2000 3050 +PASS complete 8+9 component application checks 910025546849/250000000000000 3050 110723 +PASS_P104_UNLOCKED_RANK8_SPLIT 910025546849/250000000000000 +PASS_REGISTERED_RESEARCH_PACKAGE research/p104-unlocked-rank8-split outcome=partial diff --git a/research/p104-unlocked-rank8-split/RESULT.json b/research/p104-unlocked-rank8-split/RESULT.json new file mode 100644 index 0000000000..e470265510 --- /dev/null +++ b/research/p104-unlocked-rank8-split/RESULT.json @@ -0,0 +1,1561 @@ +{ + "adapter": { + "adapted_sha256": { + "check_odd_partial_admission.py": "bef698512bdd8799719d191c413e455785ef27802160db0c3929857c85b2de58", + "check_odd_precision.py": "65fc0858c70601fa3de6c758fa5b11388a5225bf813d1f383ac9aae26721e303", + "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(\".003640102187396\")", + "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)\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": "311d80e4143038d9b80832fb94345a5e1cfb6b8afb6de96cf0b5f57a47071eb4", + "catalogue_size": 3050, + "checked_maps": 1000, + "distinct_helper_maps": 186, + "distinct_paid_maps": 2964, + "exact_recipe_digest": "0871470ce791ade6524d25a2aca5e6c0ac232bc9c6d9017e1a7e13e5ff0c8137", + "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": "de682b0c857da34da27bf665b90b8c700994d34d1572642c3365dc69327d11e0" + }, + { + "catalogue_digest": "311d80e4143038d9b80832fb94345a5e1cfb6b8afb6de96cf0b5f57a47071eb4", + "catalogue_size": 3050, + "checked_maps": 1000, + "distinct_helper_maps": 186, + "distinct_paid_maps": 2964, + "exact_recipe_digest": "339d13430e78537b5a60714fde4637f3f8cdb422cf5223d24ef643f8c38a568b", + "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": "de682b0c857da34da27bf665b90b8c700994d34d1572642c3365dc69327d11e0" + }, + { + "catalogue_digest": "311d80e4143038d9b80832fb94345a5e1cfb6b8afb6de96cf0b5f57a47071eb4", + "catalogue_size": 3050, + "checked_maps": 1050, + "distinct_helper_maps": 186, + "distinct_paid_maps": 2964, + "exact_recipe_digest": "5571a3671b1dbefdba7dd2984914f31eaf7cab055d5f934b77d2f99b9a5729f8", + "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": 2000, + "slice_stop": 3050, + "status": "PASS_CURRENT_NATIVE_CATALOGUE_SLICE", + "word_sha256": "de682b0c857da34da27bf665b90b8c700994d34d1572642c3365dc69327d11e0" + } + ], + "checks": { + "ODD-8X9-APPLICATION-CHECKS.json": { + "assumptions": [ + "native_all_columns", + "owned_erasure", + "compiler", + "precision_tape", + "analytic_recovery" + ], + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "candidate": "910025546849/250000000000000", + "catalogue": [ + { + "catalogue_digest": "311d80e4143038d9b80832fb94345a5e1cfb6b8afb6de96cf0b5f57a47071eb4", + "catalogue_size": 3050, + "checked_maps": 1000, + "distinct_helper_maps": 186, + "distinct_paid_maps": 2964, + "exact_recipe_digest": "0871470ce791ade6524d25a2aca5e6c0ac232bc9c6d9017e1a7e13e5ff0c8137", + "log_sha256": "48c6cf78946640d2e1140aa65274a275f15e4a00289fcb3229cddfd81a5d07a2", + "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": "de682b0c857da34da27bf665b90b8c700994d34d1572642c3365dc69327d11e0" + }, + { + "catalogue_digest": "311d80e4143038d9b80832fb94345a5e1cfb6b8afb6de96cf0b5f57a47071eb4", + "catalogue_size": 3050, + "checked_maps": 1000, + "distinct_helper_maps": 186, + "distinct_paid_maps": 2964, + "exact_recipe_digest": "339d13430e78537b5a60714fde4637f3f8cdb422cf5223d24ef643f8c38a568b", + "log_sha256": "5ee1da46c28d0c0993a0cbeb72b4d0d61eb2452064f204e858f7a22bc1ff4334", + "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": "de682b0c857da34da27bf665b90b8c700994d34d1572642c3365dc69327d11e0" + }, + { + "catalogue_digest": "311d80e4143038d9b80832fb94345a5e1cfb6b8afb6de96cf0b5f57a47071eb4", + "catalogue_size": 3050, + "checked_maps": 1050, + "distinct_helper_maps": 186, + "distinct_paid_maps": 2964, + "exact_recipe_digest": "5571a3671b1dbefdba7dd2984914f31eaf7cab055d5f934b77d2f99b9a5729f8", + "log_sha256": "00a37c749f610fc0e7e5a57d3d6d90bee5b0fe7e1bc452a3b28b8593e4e8a10c", + "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": 2000, + "slice_stop": 3050, + "status": "PASS_CURRENT_NATIVE_CATALOGUE_SLICE", + "word_sha256": "de682b0c857da34da27bf665b90b8c700994d34d1572642c3365dc69327d11e0" + } + ], + "fixed_tape_counts": { + "H": 16487800000000000000000, + "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": 2344, + "elementary_records_per_map_upper": 85264, + "elementary_records_upper": 25480464288, + "log_power": 2234, + "max_scalar_numerator_bits": 24, + "monomial_map_slots": 298842, + "native_invocations": 17, + "native_sha256": "0a27f1224fdb196602d52d4170bc12b8bde0b9818809e73ecdbdaaa5d3b7adbc", + "owned_banks_per_raw_occurrence": 867, + "scalar_macro_inputs": { + "caller": 117856, + "conversions": 58148, + "native": 1145919 + }, + "scalar_services_upper": 42301536, + "scalar_steps_coefficient": 44356375412736, + "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": "910025546849/250000000000000" + }, + "native_archive_sha256": "de682b0c857da34da27bf665b90b8c700994d34d1572642c3365dc69327d11e0", + "native_canonical_sha256": "0a27f1224fdb196602d52d4170bc12b8bde0b9818809e73ecdbdaaa5d3b7adbc", + "numeric_gate": { + "BIT_margin": "12658781260393/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16487800000000000000000", + "alpha": [ + 0.9999999999999994, + 0.9999999999999994 + ], + "claim": "910025546849/250000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.9020356551479675, + 0.9020356551479675 + ], + "derivative_upper": -382225.8368318333, + "gamma": [ + 0.940699024939559, + 0.940699024939559 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "364010218739607/100000000000000000": [ + "62099885138210728930233766257454056908048534345410933369930595130453809101539/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124199770276421457860467532514908113816097068690821866739861190260907618205021/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "910025546849/250000000000000": [ + "62099885138209585615702584145567466048529624165191797406403863755958233718411/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "31049942569104792807851292072783733024264812082595898703201931877979116859697/25000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2233, + "moment_margin_float": { + "18200510936982453620542595647083/5000000000000000000000000000000000": [ + 3.5768267294932915e-29, + 3.5768267294932915e-29 + ], + "364010218739607/100000000000000000": [ + 1.6335932079890785e-10, + 1.6335932079890785e-10 + ], + "36401021873964907241085191294167/10000000000000000000000000000000000": [ + -3.0598667461378805e-30, + -3.0598667461378805e-30 + ] + }, + "moment_margins": { + "18200510936982453620542595647083/5000000000000000000000000000000000": [ + "3576826729493291368469204065289751337969338719024653/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "3576826729493291368469204065289751337969338757666209/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364010218739607/100000000000000000": [ + "1020995754993174115976353734363592847691334932214708606715431006099229/6250000000000000000000000000000000000000000000000000000000000000000000000000000", + "16335932079890785855621659749817485563061358915435337707446896136341331/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "36401021873964907241085191294167/10000000000000000000000000000000000": [ + "-152993337306894015553993614402748568007435354957489/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-9562083581680875972124600900171785500464708482037/3125000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "18200510936982453620542595647083/5000000000000000000000000000000000", + "36401021873964907241085191294167/10000000000000000000000000000000000" + ], + "tested": "364010218739607/100000000000000000", + "written_log_power": 2234 + }, + "physical_binding": { + "ambient": 145, + "complete_paid_position_digest": "7964b65f6c3fd16ed4061da8a984f62d3ba071aa33014e480a1ed0ea411c1233", + "fresh_helpers": 18530, + "idle_uses": 3392, + "lambda_uses": 11280, + "native_calls": 17, + "native_contact_boundaries": 13600, + "native_public": 1490, + "nonzero_boundary_translations": 13600, + "paid": { + "1": 68962, + "16": 416, + "2": 14297, + "24": 416, + "3": 13906, + "32": 416, + "4": 4080, + "40": 416, + "48": 416, + "5": 5525, + "56": 416, + "6": 272, + "64": 208, + "7": 187, + "8": 758, + "9": 32 + }, + "paid_positions": 110723, + "phase_record_digest": "586ab7499fb677afdd83c397ea0b6d3b25f73ea6cdfa1ec95dd68adccff935ad", + "productive_fields": 22274, + "query_uses": 384, + "rank_surplus": 1424, + "reserved_native_banks": 867, + "reserved_serial_query_lambda_bank": 1, + "targets": { + "1": 289, + "137": 208, + "17": 416, + "2": 306, + "25": 416, + "3": 799, + "33": 416, + "4": 3723, + "41": 416, + "49": 416, + "5": 1224, + "57": 416, + "6": 714, + "65": 416, + "7": 306, + "73": 208, + "8": 969, + "9": 10616 + } + }, + "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": 777785464, + "init_clear_allowance": 216, + "lambda_paid_rank1_would_reduce_S_by": 11280, + "lambda_second_charge": 11280000, + "margin_to_billion": 222214536, + "odd_divisions": { + "ADD": 5219, + "SCALE": 67 + }, + "per_input_conversion": 2634320, + "raw_upper": 761142984, + "route_items": { + "first_main_adapter": 416, + "first_main_boundary": 208, + "helper_boundary": 2180, + "moves": 6291, + "owned_lifetime": 216, + "second_main_adapter": 384, + "second_main_boundary": 192 + }, + "routing": 9887000, + "scalar_upper": 1989744 + }, + "status": "PASS_8X9_EXACT_COMPONENT_APPLICATION_CHECKS" + }, + "ODD-ADMISSION-PARTIAL.json": { + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "compiler_outer": { + "BIT_margin": "12658781260393/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16487800000000000000000", + "alpha": [ + 0.9999999999999994, + 0.9999999999999994 + ], + "claim": "910025546849/250000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.9020356551479675, + 0.9020356551479675 + ], + "derivative_upper": -382225.8368318333, + "gamma": [ + 0.940699024939559, + 0.940699024939559 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "364010218739607/100000000000000000": [ + "62099885138210728930233766257454056908048534345410933369930595130453809101539/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124199770276421457860467532514908113816097068690821866739861190260907618205021/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "910025546849/250000000000000": [ + "62099885138209585615702584145567466048529624165191797406403863755958233718411/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "31049942569104792807851292072783733024264812082595898703201931877979116859697/25000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2233, + "moment_margin_float": { + "18200510936982453620542595647083/5000000000000000000000000000000000": [ + 3.5768267294932915e-29, + 3.5768267294932915e-29 + ], + "364010218739607/100000000000000000": [ + 1.6335932079890785e-10, + 1.6335932079890785e-10 + ], + "36401021873964907241085191294167/10000000000000000000000000000000000": [ + -3.0598667461378805e-30, + -3.0598667461378805e-30 + ] + }, + "moment_margins": { + "18200510936982453620542595647083/5000000000000000000000000000000000": [ + "3576826729493291368469204065289751337969338719024653/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "3576826729493291368469204065289751337969338757666209/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364010218739607/100000000000000000": [ + "1020995754993174115976353734363592847691334932214708606715431006099229/6250000000000000000000000000000000000000000000000000000000000000000000000000000", + "16335932079890785855621659749817485563061358915435337707446896136341331/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "36401021873964907241085191294167/10000000000000000000000000000000000": [ + "-152993337306894015553993614402748568007435354957489/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-9562083581680875972124600900171785500464708482037/3125000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "18200510936982453620542595647083/5000000000000000000000000000000000", + "36401021873964907241085191294167/10000000000000000000000000000000000" + ], + "tested": "364010218739607/100000000000000000", + "written_log_power": 2234 + }, + "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": 68962, + "16": 416, + "2": 14297, + "24": 416, + "3": 13906, + "32": 416, + "4": 4080, + "40": 416, + "48": 416, + "5": 5525, + "56": 416, + "6": 272, + "64": 208, + "7": 187, + "8": 758, + "9": 32 + }, + "S": 1424, + "T": { + "1": 289, + "137": 208, + "17": 416, + "2": 306, + "25": 416, + "3": 799, + "33": 416, + "4": 3723, + "41": 416, + "49": 416, + "5": 1224, + "57": 416, + "6": 714, + "65": 416, + "7": 306, + "73": 208, + "8": 969, + "9": 10616 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036401021873964907241085191294166921194597121219375525703542844145", + "raw_crossing": "0.0036401021873964907241085191294166921194597121219375525703542844145" + }, + "native_sha256": "0a27f1224fdb196602d52d4170bc12b8bde0b9818809e73ecdbdaaa5d3b7adbc", + "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": 777785464, + "init_clear_allowance": 216, + "lambda_paid_rank1_would_reduce_S_by": 11280, + "lambda_second_charge": 11280000, + "margin_to_billion": 222214536, + "odd_divisions": { + "ADD": 5219, + "SCALE": 67 + }, + "per_input_conversion": 2634320, + "raw_upper": 761142984, + "route_items": { + "first_main_adapter": 416, + "first_main_boundary": 208, + "helper_boundary": 2180, + "moves": 6291, + "owned_lifetime": 216, + "second_main_adapter": 384, + "second_main_boundary": 192 + }, + "routing": 9887000, + "scalar_upper": 1989744 + }, + "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": 16487800000000000000000, + "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": 2344, + "elementary_records_per_map_upper": 85264, + "elementary_records_upper": 25480464288, + "log_power": 2234, + "max_scalar_numerator_bits": 24, + "monomial_map_slots": 298842, + "native_invocations": 17, + "native_sha256": "0a27f1224fdb196602d52d4170bc12b8bde0b9818809e73ecdbdaaa5d3b7adbc", + "owned_banks_per_raw_occurrence": 867, + "scalar_macro_inputs": { + "caller": 117856, + "conversions": 58148, + "native": 1145919 + }, + "scalar_services_upper": 42301536, + "scalar_steps_coefficient": 44356375412736, + "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": "910025546849/250000000000000" + }, + "ODD-PHYSICAL-BINDING.json": { + "aliased_main_rejected": true, + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "native_sha256": "0a27f1224fdb196602d52d4170bc12b8bde0b9818809e73ecdbdaaa5d3b7adbc", + "occurrence_and_geometry": { + "ambient": 145, + "complete_paid_position_digest": "7964b65f6c3fd16ed4061da8a984f62d3ba071aa33014e480a1ed0ea411c1233", + "fresh_helpers": 18530, + "idle_uses": 3392, + "lambda_uses": 11280, + "native_calls": 17, + "native_contact_boundaries": 13600, + "native_public": 1490, + "nonzero_boundary_translations": 13600, + "paid": { + "1": 68962, + "16": 416, + "2": 14297, + "24": 416, + "3": 13906, + "32": 416, + "4": 4080, + "40": 416, + "48": 416, + "5": 5525, + "56": 416, + "6": 272, + "64": 208, + "7": 187, + "8": 758, + "9": 32 + }, + "paid_positions": 110723, + "phase_record_digest": "586ab7499fb677afdd83c397ea0b6d3b25f73ea6cdfa1ec95dd68adccff935ad", + "productive_fields": 22274, + "query_uses": 384, + "rank_surplus": 1424, + "reserved_native_banks": 867, + "reserved_serial_query_lambda_bank": 1, + "targets": { + "1": 289, + "137": 208, + "17": 416, + "2": 306, + "25": 416, + "3": 799, + "33": 416, + "4": 3723, + "41": 416, + "49": 416, + "5": 1224, + "57": 416, + "6": 714, + "65": 416, + "7": 306, + "73": 208, + "8": 969, + "9": 10616 + } + }, + "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": 2344, + "context_height": 405, + "context_mass_bits": 1172, + "native_grid": { + "coefficient_visits": 15003535, + "dyadic_height": 24, + "mass_witness": [ + 64739, + "stored add" + ], + "maximum_scaled_mass": "1630603680282225/16384", + "numerator_bits": 24, + "odd_scale_lcm": 1125 + }, + "native_sha256": "0a27f1224fdb196602d52d4170bc12b8bde0b9818809e73ecdbdaaa5d3b7adbc", + "precision_program_sha256": "7696f2e4074ccc9c970670494595e2a973742279a6109d1e60fd551a4611d236", + "rounded_caller": { + "bounds": { + "E_joint_entrance": { + "exact": "10032701267883194203701446000061699205301419833409038546297777812287915715037707201542532819645978726802979859943729838829787513032088387326814266593205935145525610265987711769970103223458654629773045670901366773191826426891130702619416920498825622693535116332154875816442497063635596313718694299804835293201920380948026346370747138492848618843284166877588033306817035792847490752736184303238954937468303634569550532211499171/2529158213879057302658998941096345600000000000000000000000000000000000000000000000", + "strict_power_of_two": 1139, + "witness": { + "cut": 4691, + "event": 4691, + "factor": "1", + "kind": "stored", + "register": 36 + } + }, + "Gamma_context": { + "exact": "258919962647749236800827156782745656864164568776112980764713602071216226991039848124440501000060592793805761819112616517661331384287795373261587775850882135823751395525135357441601672149383449134252282746592705856373572966435324765925346020749179187683510409172854151470522335610092895332297219167591383271549356601304931442174760862211373812937117056904194205307380282027660203857857360454645858840670066756851796471480582241/1896868660409292976994249205822259200000000000000000000000000000000000000000000000", + "strict_power_of_two": 1144, + "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": "4277509754039960050452381169736591244329696726676399079845171772706980272205648455603963793483481104580049767085347859354950679273160651310099321558997707959500601501462729674368706177307765625131234585002326912452460454728495442678221226575599030745731254857226661640884567692054673967590995121943204400759556733443633081261795187945098404913671803335550535588666161138357958162899785498284146904257262486161715694707380684441/210763184489921441888249911758028800000000000000000000000000000000000000000000000", + "strict_power_of_two": 1151, + "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": "258919962647749236800827156782745656864164568776112980764713602071216226991039848124440501000060592793805761819112616517661331384287795373261587775850882135823751395525135357441601672149383449134252282746592705856373572966435324765925346020749179187683510409172854151470522335610092895332297219167591383271549356601304931442174760862211373812937117056904194205307380282027660203857857360454645858840670066756851796471480582241/1896868660409292976994249205822259200000000000000000000000000000000000000000000000", + "strict_power_of_two": 1144, + "witness": { + "cut": 4753, + "event": 4752, + "factor": "1", + "kind": "stored", + "register": 37 + } + }, + "Sigma_context": { + "exact": "3447951623106356130604416251353360690683801752270889346284258735387093535307328195181642622997497712242030295534747895087424410414993076422251665550609129073269191899393832131942084249101741166378246453692752033814581148660274147208056377854130001313174680460776115277682427553262708124483351097218352849590495295694650299813382536881831803302612261250087044590920219991024402613437841182271976423085142467740823214090292691094788602349913317121562238206334072743232765086181718256415362665702415022528709896518931404704497021231890363123815454236104237141/876464560663553576891675682287697443716687967220550563971830539878400000000000000000000000000000000000000000000000000000000000000000000", + "strict_power_of_two": 1398, + "witness": { + "cut": 4692, + "event": 4691, + "factor": "1", + "kind": "stored", + "register": null + } + } + }, + "fresh_arbitrary_helpers": 18530, + "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": "10032701267883194203701446000061699205301419833409038546297777812287915715037707201542532819645978726802979859943729838829787513032088387326814266593205935145525610265987711769970103223458654629773045670901366773191826426891130702619416920498825622693535116332154875816442497063635596313718694299804835293201920380948026346370747138492848618843284166877588033306817035792847490752736184303238954937468303634569550532211499171/2529158213879057302658998941096345600000000000000000000000000000000000000000000000" + }, + "Gamma_context": { + "entrance_mass": "321214676655933560129782836030951119958622429471431692811117505066079252658303325303661828534046786576018850667853596288128047313819788006911616028348392581085050721023636971054851673799947587501432346122953175312809813833001587100311020687804583808767060460431114911369649528995555025426696059541/456139469146728515625000000", + "joint_coefficient": "3721923971948022264020008386608472289590988528157114268392412469599050143495508978788641788787976594161440706214373829555996384554677122174093932095769106055424540710380314024651007332164525664382203471694821380954416641216321248248752759218861172626274920078125266851782731337714997593665899027/10947347259521484375000000000", + "primitive_coefficient": "31933635363307317503891208167952125518099265598871297188945655447689887409437080424471754322893069036961252717295444311531802702290424391181977246033332095685934810861449534911850277930109610390733877602745069385156892357266512877411313922547610591253415658016844390796379192959369382262182067424881/131368167114257812500000000000", + "residual_mass": "258919962647749236800827156782745656864164568776112980764713602071216226991039848124440501000060592793805761819112616517661331384287795373261587775850882135823751395525135357441601672149383449134252282746592705856373572966435324765925346020749179187683510409172854151470522335610092895332297219167591383271549356601304931442174760862211373812937117056904194205307380282027660203857857360454645858840670066756851796471480582241/1896868660409292976994249205822259200000000000000000000000000000000000000000000000" + }, + "M_caller": { + "entrance_mass": "321214676655933560129782836030951119958622429471431692811117505066079252658303325303661828534046786576018850667853596288128047313819788006911616028348392581085050721023636971054851673799947587501432346122953175312809813833001587100311020687804583808767060460431114911369649528995555025426696059541/456139469146728515625000000", + "joint_coefficient": "3721923971948022264020008386608472289590988528157114268392412469599050143495508978788641788787976594161440706214373829555996384554677122174093932095769106055424540710380314024651007332164525664382203471694821380954416641216321248248752759218861172626274920078125266851782731337714997593665899027/10947347259521484375000000000", + "primitive_coefficient": "31933635363307317503891208167952125518099265598871297188945655447689887409437080424471754322893069036961252717295444311531802702290424391181977246033332095685934810861449534911850277930109610390733877602745069385156892357266512877411313922547610591253415658016844390796247824792255124449682067424881/131368167114257812500000000000", + "residual_mass": "258919962647749236800827156782745656864164568776112980764713602071216226991039848124440501000060592793805761819112616517661331384287795373261587775850882135823751395525135357441601672149383449134252282746592705856373572966435324765925346020749179187683510409172854151470522335610092895332297219167591383271549356601304931442174760862211373812935220188243784912330386032821837944657857360454645858840670066756851796471480582241/1896868660409292976994249205822259200000000000000000000000000000000000000000000000" + }, + "M_joint_entrance": { + "entrance_mass": "12446513821466013746992171114880354528234540647439407368041740746722705684890095694539586093101687855496797040728247169012299728404791642365323413178973703529222728715961384485250463009966565309368602073434714550373752128374887698957802006867751735225949803848812917591840288770078529478244705471/608185958862304687500000000", + "joint_coefficient": "144218124282401204617230263054514744346632405857442589144991781917530152132889870002846209306787762894150543865356389849084238452276894627352790762454037345126994351979907477144401257368423063007427271766117739822282248246858569624239109891511459830034432108241771054783468611278140179030295737/14596463012695312500000000000", + "primitive_coefficient": "1237373204913668966810008103424843603237049842106979534739539344726881600855129275554334885562896567825503574055929527662143657491595081161117482238618339640110136792453314323518006796600687371906278112102741547626404362403105174332310591538741639237757093806525664195341657589882317257470101709011/175157556152343750000000000000", + "residual_mass": "10032701267883194203701446000061699205301419833409038546297777812287915715037707201542532819645978726802979859943729838829787513032088387326814266593205935145525610265987711769970103223458654629773045670901366773191826426891130702619416920498825622693535116332154875816442497063635596313718694299804835293201920380948026346370747138492848618843284166877588033306817035792847490752736184303238954937468303634569550532211499171/2529158213879057302658998941096345600000000000000000000000000000000000000000000000" + }, + "Sigma_caller": { + "entrance_mass": "321214676655933560129782836030951119958622429471431692811117505066079252658303325303661828534046786576018850667853596288128047313819788006911616028348392581085050721023636971054851673799947587501432346122953175312809813833001587100311020687804583808767060460431114911369649528995555025426696059541/456139469146728515625000000", + "joint_coefficient": "3721923971948022264020008386608472289590988528157114268392412469599050143495508978788641788787976594161440706214373829555996384554677122174093932095769106055424540710380314024651007332164525664382203471694821380954416641216321248248752759218861172626274920078125266851782731337714997593665899027/10947347259521484375000000000", + "primitive_coefficient": "31933635363307317503891208167952125518099265598871297188945655447689887409437080424471754322893069036961252717295444311531802702290424391181977246033332095685934810861449534911850277930109610390733877602745069385156892357266512877411313922547610591253415658016844390796379192959369382262182067424881/131368167114257812500000000000", + "residual_mass": "258919962647749236800827156782745656864164568776112980764713602071216226991039848124440501000060592793805761819112616517661331384287795373261587775850882135823751395525135357441601672149383449134252282746592705856373572966435324765925346020749179187683510409172854151470522335610092895332297219167591383271549356601304931442174760862211373812937117056904194205307380282027660203857857360454645858840670066756851796471480582241/1896868660409292976994249205822259200000000000000000000000000000000000000000000000" + } + }, + "joint_entries": [ + { + "entrance_defect": "1435/4", + "entrance_mass": "2067/2", + "event": 43, + "stage": 1 + }, + { + "entrance_defect": "119334279720179706222503805290927987041455218324426129003355485335014184614990054600468290723606821781515611917778385795912273665397561781/54147497318342533224087693557760000000000000000000000", + "entrance_mass": "56849465528/5", + "event": 137, + "stage": 2 + }, + { + "entrance_defect": "181315553531683418565096987177853219371101539725135003963756527649185871821262060014001785768421525025804212576632303745689430062212593353060023335221/5198159742560883189512418581544960000000000000000000000", + "entrance_mass": "899756300051784928313/5", + "event": 268, + "stage": 3 + }, + { + "entrance_defect": "168878130982550428442160798048306747034365926584890258641637272837587850333719393047980918664504323618106430194602989516983352221506521273117183170107124104053/5198159742560883189512418581544960000000000000000000000", + "entrance_mass": "2514111326902273689027625979152/15", + "event": 432, + "stage": 4 + }, + { + "entrance_defect": "34497988357329062026822151962827278091911325119985120139924417328551614507242632983974411079152735819346103962023707970223957008477187976083197206297151160003090803456563/5198159742560883189512418581544960000000000000000000000", + "entrance_mass": "513576167499541081817002847690160861158177/15", + "event": 633, + "stage": 5 + }, + { + "entrance_defect": "3303181852162475936589717620908695325193954974339620285431412462591424923973448629949459116786325119663387459043970150777781336084717894732291387594340784977799688022464902350593367/77972396138413247842686278723174400000000000000000000000", + "entrance_mass": "49174910102467876864090432969907258581035345395534834/225", + "event": 867, + "stage": 6 + }, + { + "entrance_defect": "352301207192005803275422019799732530964520469770477830297918430707199151079581967941866230278575049547080529907521110023279190707493337132153069603965254666075356461934149155491474773723123417/8663599570934805315854030969241600000000000000000000000", + "entrance_mass": "47202796791779792903787260464709452698419616298153732189406926691/225", + "event": 1138, + "stage": 7 + }, + { + "entrance_defect": "102575804250447646282907667428008426820936872516668659819223796229055346362971757633615773767472321850239829077422325153224629682817924038982741198316443331368532423725941679320432408175646481985605927431669343/9746549517301655980335784840396800000000000000000000000000", + "entrance_mass": "1527059719525243651854937925515623170877847518562264265010551055991429949116792541/28125", + "event": 1423, + "stage": 8 + }, + { + "entrance_defect": "36580866196464828331593138802151636490729207673063495684166274568365563930208976923082311947910094105692707522239189306993030178032040717098109688486547711060775649431122948244753439407281558859777996357497922994946581707083906315411166179561867820485798233223072711130920725107136155810500124267715891962486034338041714412525276906625769367003/11240703172795810234039995293761536000000000000000000000000000000000000000000000", + "entrance_mass": "45382020709918266925583064268574418985484021788023395083741971786893952543604385214817042722264713249357732585113211736557042182118473445437784492974844696068231496289005681248244219743195326431922663592509646282903/2703048706054687500000000", + "event": 3058, + "stage": 9 + }, + { + "entrance_defect": "13909925183369759960647908446471506196754825477189368561685952315554741617871653167431770176248230041254242548312652817987731059603673318678938143655608357498466399430993959708179985978061067461385687429540858738516501330273636440176578036702490294244924132167565989925507949291922995080494008137079855312523253867400308364864133733383353344846370620832813337/281017579319895255850999882344038400000000000000000000000000000000000000000000000", + "entrance_mass": "17256576412236653193246225901973714737195067836439327666112948810725372605325768521068989782195051084826433423902219365061463548934152577319772447024097669813834215493691840531234110147024064996639957180865886380686899413865699437/67576217651367187500000000", + "event": 3377, + "stage": 10 + }, + { + "entrance_defect": "6636227848578645173740315812292973624685935527994796762477242049086010691747957096085335059081242292588419557085537183301068981237781165598284426929327897284582397295273792535373392588559928446864316985088071095513569061554953812809611774254500670041155843623708363096694704647493166219811848363099700339014864619102095708505444485034428133930912342572392217794238176803/9367252643996508528366662744801280000000000000000000000000000000000000000000000", + "entrance_mass": "8232867642949280967953864719378369729636081542640965177026582834276172086852779069019078166383458700724373015543641299678854718814560615654710102550769670203427726502361438450768012893674227975469242856299447027845030556012745339827937032703/2252540588378906250000000", + "event": 3674, + "stage": 11 + }, + { + "entrance_defect": "83393580209955801789089647068893851191620999585350821723056069464784721167807070215186518253460179188492549684770112040352790309158201346911195167813338445149452427970860890738532898509070916854434647253132163799682139720967973459618398636200082836556919530764353963356657432005011080554374668921432838107546244331926187533485405700808192680158887261088927971842541247570799365843331/1264579106939528651329499470548172800000000000000000000000000000000000000000000000", + "entrance_mass": "103457615351059805192637231353494210876529187337645013912367786609511281374638184501291799844537790265462481580051228205479278831706979374022592427678836083146990308179368316797029946556942233864286312243671687806427572314354434738422294564686254956597631/304092979431152343750000000", + "event": 3934, + "stage": 12 + }, + { + "entrance_defect": "5493082065348362410465433795034783339845749947783482513767290286293968270355846548045163007125209211575151062310677149558261649367518737958536559159074892583128746990932670637514491659659443418552666034493014425180518093291667737642841235826009607616864003732337007993829101550383273839559777425710744009807665956684165350493707662578982596758884352853928548332230008417477560601612172550339/316144776734882162832374867637043200000000000000000000000000000000000000000000000", + "entrance_mass": "6814687293408352348961376609223100753789665399854180217091951198766673494955017243489117504312576625705862588971333049204842152193259763726092611947454717867967563820647006231530855513792517852570389360287582421241328472893443552787136426885585158158296407747039/76023244857788085937500000", + "event": 4149, + "stage": 13 + }, + { + "entrance_defect": "220610818782883370016859505031785101551893437179409605978918937843259880945585821704364447881704911290470430807366447338783852334769459784911863535762189276149662668930406824820789189321788705264164606012118564876011105581201271289378445536072795254115645805193775146080932322752443770538145478243999688041980988927945591290810031722137620948499736578743382802250856416171898352080265911394508621967291/2529158213879057302658998941096345600000000000000000000000000000000000000000000000", + "entrance_mass": "273688564209132230699064882255651065961520374651451250325109091529813162250488973700796593555467744131430272845604649750549608356985710665121874068107850799585492748533787927289567936649257940207702597871193107311090132538524151482351564937285621850171994049078063458209591/608185958862304687500000000", + "event": 4337, + "stage": 14 + }, + { + "entrance_defect": "4216350050565608867961652572070729461236940874209043124501609981064447858577595935117245623272665608065269846643899921537914190079168365549422006853937861604465967263703105485863548370603549822431989612754819930140942369295196647654026860771724850167747360026013843335966017389339754782153491805322880844407382050219092057293851721817594792556453001475067247620318331257476029692119145523582010627249918414761/1264579106939528651329499470548172800000000000000000000000000000000000000000000000", + "entrance_mass": "5230780602279043381317572379439763694807653157987526423412516241866438709931406455512285461654380762978554988724296151241130161368896505647624919395909388513302452136334767445346454946237326490486725295589968816639097338790755366202380875008783642473174121062695038054202858248061/304092979431152343750000000", + "event": 4485, + "stage": 15 + }, + { + "entrance_defect": "4667459181758409687172689897690089768672859049648511147693879837391234980271209150115269418529909302369262703936369139348265734729265201274736360734163527520295989015118258981955184943127088034517666079466872407205426449782455839397335450962328987307675248908756778395703973371343801169218651070468243965097333939147115489312047238228861119626236905571562088134340472348565619820882840767081429314072850063055782974163/2529158213879057302658998941096345600000000000000000000000000000000000000000000000", + "entrance_mass": "5790424100720951765768300756324298709533962301792798636386692749870979029496708556989270788662796627612885676197810930990877069943243536093513215980405080279750566239442965631097385199413957318608000177913047677092759213914423460784984181631621622445055356552059259436283593839861423838063/608185958862304687500000000", + "event": 4606, + "stage": 16 + }, + { + "entrance_defect": "10032701267883194203701446000061699205301419833409038546297777812287915715037707201542532819645978726802979859943729838829787513032088387326814266593205935145525610265987711769970103223458654629773045670901366773191826426891130702619416920498825622693535116332154875816442497063635596313718694299804835293201920380948026346370747138492848618843284166877588033306817035792847490752736184303238954937468303634569550532211499171/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": "69566161103563006459985184443649808495275592512112944043807379435325951575793696086356967547708226613703581579767731970262610369083/173271991418696106317080619384832000000000000000000000", + "strict_power_of_two": 258, + "witness": { + "cut": 73698, + "factor": "1", + "kind": "public-return", + "register": 1483 + } + }, + "M": { + "exact": "343671313541845501309472612492502311032999987392244517478817334560141457140286622439606680653979622823283610254904180591124034876071/346543982837392212634161238769664000000000000000000000", + "strict_power_of_two": 260, + "witness": { + "cut": 72963, + "factor": "1", + "kind": "stored", + "register": 1483 + } + }, + "Sigma": { + "exact": "69566161103563006459985184443649808495275592512112944043807379435325951575793696086356967547708226613703581579767731970262610369083/173271991418696106317080619384832000000000000000000000", + "strict_power_of_two": 258, + "witness": { + "cut": 72963, + "factor": "1", + "kind": "stored", + "register": 1483 + } + } + }, + "census": { + "denominator_bits": 20, + "events": 73698, + "lifetimes": 54, + "max_denominator": 655360, + "max_numerator": 14729531, + "numerator_bits": 24, + "opcodes": { + "ADD": 63602, + "CLEAR": 54, + "COPY": 1, + "INIT": 54, + "MOVE": 6291, + "SCALE": 3696 + }, + "owned_labels": 51, + "peak_owned": 43, + "public": 1490, + "scalars": { + "dyadic": 62013, + "integer": 39293, + "noninteger": 28006, + "odd": 5286 + } + }, + "independent_adjoint": { + "Gamma": { + "active_residual_sites": 26069, + "entrance_mass": "343671313541845501309472612492502311032999987392244517478817334560141457140286622439606680653979622823283610254904180591124034876071/346543982837392212634161238769664000000000000000000000", + "residual_mass": "69566161103563006459985184443649808495275592512112944043807379435325951575793696086356967547708226613703581579767731970262610369083/173271991418696106317080619384832000000000000000000000" + }, + "M": { + "active_residual_sites": 26069, + "entrance_mass": "343671313541845501309472612492502311032999987392244517478817334560141457140286622439606680653979622823283610254904180591124034876071/346543982837392212634161238769664000000000000000000000", + "residual_mass": "69566161103563006459985184443649808495275592512112944043807379435325951575793696086356967547708226613703581579767731970262610369083/173271991418696106317080619384832000000000000000000000" + }, + "Sigma": { + "active_residual_sites": 26069, + "entrance_mass": "343671313541845501309472612492502311032999987392244517478817334560141457140286622439606680653979622823283610254904180591124034876071/346543982837392212634161238769664000000000000000000000", + "residual_mass": "69566161103563006459985184443649808495275592512112944043807379435325951575793696086356967547708226613703581579767731970262610369083/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": 68962, + "16": 416, + "2": 14297, + "24": 416, + "3": 13906, + "32": 416, + "4": 4080, + "40": 416, + "48": 416, + "5": 5525, + "56": 416, + "6": 272, + "64": 208, + "7": 187, + "8": 758, + "9": 32 + }, + "raw_bracket": [ + "18200510936982453620542595647083/5000000000000000000000000000000000", + "36401021873964907241085191294167/10000000000000000000000000000000000" + ], + "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": "0a27f1224fdb196602d52d4170bc12b8bde0b9818809e73ecdbdaaa5d3b7adbc", + "target": { + "1": 289, + "137": 208, + "17": 416, + "2": 306, + "25": 416, + "3": 799, + "33": 416, + "4": 3723, + "41": 416, + "49": 416, + "5": 1224, + "57": 416, + "6": 714, + "65": 416, + "7": 306, + "73": 208, + "8": 969, + "9": 10616 + } + } + }, + "claim": "910025546849/250000000000000", + "price": { + "after": { + "P": { + "1": 68962, + "16": 416, + "2": 14297, + "24": 416, + "3": 13906, + "32": 416, + "4": 4080, + "40": 416, + "48": 416, + "5": 5525, + "56": 416, + "6": 272, + "64": 208, + "7": 187, + "8": 758, + "9": 32 + }, + "S": 1424, + "T": { + "1": 289, + "137": 208, + "17": 416, + "2": 306, + "25": 416, + "3": 799, + "33": 416, + "4": 3723, + "41": 416, + "49": 416, + "5": 1224, + "57": 416, + "6": 714, + "65": 416, + "7": 306, + "73": 208, + "8": 969, + "9": 10616 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036401021873964907241085191294166921194597121219375525703542844145", + "raw_crossing": "0.0036401021873964907241085191294166921194597121219375525703542844145" + }, + "before": { + "P": { + "1": 68962, + "16": 416, + "2": 14297, + "24": 416, + "3": 13906, + "32": 416, + "4": 4080, + "40": 416, + "48": 416, + "5": 5525, + "56": 416, + "6": 272, + "64": 208, + "7": 187, + "8": 758, + "9": 32 + }, + "S": 1424, + "T": { + "1": 289, + "137": 208, + "17": 416, + "2": 306, + "25": 416, + "3": 782, + "33": 416, + "4": 3723, + "41": 416, + "49": 416, + "5": 1207, + "57": 416, + "6": 714, + "65": 416, + "7": 306, + "73": 208, + "8": 986, + "9": 10616 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036392641062820362693082337218561816246326205782176160081959672729", + "raw_crossing": "0.0036392641062820362693082337218561816246326205782176160081959672729" + }, + "gate": { + "BIT_margin": "12658781260393/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16487800000000000000000", + "alpha": [ + 0.9999999999999994, + 0.9999999999999994 + ], + "claim": "910025546849/250000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.9020356551479675, + 0.9020356551479675 + ], + "derivative_upper": -382225.8368318333, + "gamma": [ + 0.940699024939559, + 0.940699024939559 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "364010218739607/100000000000000000": [ + "62099885138210728930233766257454056908048534345410933369930595130453809101539/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124199770276421457860467532514908113816097068690821866739861190260907618205021/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "910025546849/250000000000000": [ + "62099885138209585615702584145567466048529624165191797406403863755958233718411/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "31049942569104792807851292072783733024264812082595898703201931877979116859697/25000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2233, + "moment_margin_float": { + "18200510936982453620542595647083/5000000000000000000000000000000000": [ + 3.5768267294932915e-29, + 3.5768267294932915e-29 + ], + "364010218739607/100000000000000000": [ + 1.6335932079890785e-10, + 1.6335932079890785e-10 + ], + "36401021873964907241085191294167/10000000000000000000000000000000000": [ + -3.0598667461378805e-30, + -3.0598667461378805e-30 + ] + }, + "moment_margins": { + "18200510936982453620542595647083/5000000000000000000000000000000000": [ + "3576826729493291368469204065289751337969338719024653/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "3576826729493291368469204065289751337969338757666209/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364010218739607/100000000000000000": [ + "1020995754993174115976353734363592847691334932214708606715431006099229/6250000000000000000000000000000000000000000000000000000000000000000000000000000", + "16335932079890785855621659749817485563061358915435337707446896136341331/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "36401021873964907241085191294167/10000000000000000000000000000000000": [ + "-152993337306894015553993614402748568007435354957489/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-9562083581680875972124600900171785500464708482037/3125000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "18200510936982453620542595647083/5000000000000000000000000000000000", + "36401021873964907241085191294167/10000000000000000000000000000000000" + ], + "tested": "364010218739607/100000000000000000", + "written_log_power": 2234 + }, + "native_baseline_rejects_new_claim": true, + "new_native": "0a27f1224fdb196602d52d4170bc12b8bde0b9818809e73ecdbdaaa5d3b7adbc", + "old_native": "4f19c6ee57b74d7c3ea1863df0b33fe275a3a7511f77084f05726ee216ebdc34", + "price": { + "baseline_rejects_new_claim": true, + "candidate_margin_at_old_upper": [ + "3254118184222814866801381360330121843441086961102243757089598918368103429180431/10000000000000000000000000000000000000000000000000000000000000000000000000000000", + "16270590921114074334006906801650609217205434805511218785447994591840517163043649/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "claim_decimal": "0.003640102187396", + "gain": "8.38081114E-7", + "gain_exact": "419040557/500000000000000", + "independent_raw_bracket": [ + "0.00364010218739649072410851912941669", + "0.0036401021873964907241085191294167" + ], + "previous_claim": "1819632053141/500000000000000", + "raw_bracket": [ + "0.0036401021873964907241085191294166", + "0.0036401021873964907241085191294167" + ] + } + }, + "status": "PASS_P104_UNLOCKED_RANK8_SPLIT" +} diff --git a/research/p104-unlocked-rank8-split/SOURCES.json b/research/p104-unlocked-rank8-split/SOURCES.json new file mode 100644 index 0000000000..c4150ae397 --- /dev/null +++ b/research/p104-unlocked-rank8-split/SOURCES.json @@ -0,0 +1,24 @@ +{ + "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" + } + ] +} diff --git a/research/p104-unlocked-rank8-split/TASK.json b/research/p104-unlocked-rank8-split/TASK.json new file mode 100644 index 0000000000..59b8cf856f --- /dev/null +++ b/research/p104-unlocked-rank8-split/TASK.json @@ -0,0 +1,142 @@ +{ + "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": "Prepared for dillona with substantial OpenAI Codex assistance", + "ai_assistance": "Substantial OpenAI Codex assistance; no subagents.", + "claim": "https://github.com/CrocSwap/integer-mult-bounds/discussions/1166#discussioncomment-19520521", + "scope_status": "changed", + "scope_change_reason": "The recent funded splits changed three helper endpoints from rank9 to rank8. On the exact7120 word, this changes which boundary vectors may share a basis. The five changed rank>1 boundary groups are a new source-specific domain; one3\u2192246 witness passes with no retiming.", + "concrete_question": "Can the helper targets produced by earlier funded splits support a further split with the full current caller?", + "actual_scope": "Exact7120 cut31847/chart259/pivot231, boundary group3\u2192246, no retiming, helper8\u21923+5,20ADD+6SCALE, no added, removed or retimed MOVEs.", + "domain": "Five boundary groups changed since7115:3\u2192246,120\u2192127,597\u2192120,597\u2192127,3\u2192127. Existing catalogue frames and total-cost contact cohorts; only one exact witness built.", + "success": "A complete arbitrary-input native and signed17-stage application with conditional\u03ba>.003639264106282.", + "bottleneck_link": "The paid lowering in7117 made role231 eligible for a common boundary basis with roles449/707; the actual new independent input, scalar bases, envelopes and full costs must all be charged.", + "predecessor_head": "b3d68cf1db9bf493ded2d8f4cb922939edc0ef95", + "predecessors": [ + "ToikY Discussion7111 original chart120 pattern, retained through7120; it is distinct from this chart259 changed-group split.", + "Ali Romman: helper bases, independent split identity and paid meetings", + "Jerry Chen/CubeJerry: causal retiming, native/invoice/compiler engines", + "Matarener: complete kernels including zero boundary images and pairing decision", + "Rohan Arun: exact7113 signed17-stage caller and source-specific application", + "ToikY: #7108\u2013#7110 signed sources and splits, plus the credited chart-120 lead in Discussion #7111", + "DreamingOfClouds, Douglas Colkitt/#7000 reviewers and all retained nested-source notices", + "dillona/OpenAI Codex:7105,7107,7112,7115,7116,7117; exact7117 parent retains all earlier exports", + "dillona/OpenAI Codex7118: first funded residual mode and exact source-specific application", + "dillona/OpenAI Codex7119: exact reciprocal source and full application", + "ToikY original chart120 pattern and dillona/OpenAI Codex7120 exact-source composition, fully retained as the immediate source." + ], + "outcome": "completed", + "evidence_status": "Both complete direct CPython3.14.7 runs and final isolated registered CPython3.12.16 replay passed. Every frozen native and composition receipt field matched, including15nativecontrols,3050paid/helper maps,104main boundaries and54+4outer conditions.", + "evidence": "WITNESS.json,WORD.json.gz,INPUTS.json,NATIVE-RESULT.json,RESULT.json,REPLAY.txt when complete.", + "overlap": "Canonical main e54523517d0f03e58352e647c403a5af3e525a57,priority8,selected7000 unchanged at pre-submission refresh. Full cache:420openPRs2026-11-10T19:54:52.283555Z and7022Discussionrecords19:56:03.495367Z, complete pagination. Current source7120 is own prior contribution; peer chart120 lead stays credited there. Current chart259 changed-group scope is publicly claimed.", + "open_questions": [ + { + "question": "Does an independent reviewer reproduce this newly available helper split and complete application?", + "why_it_matters": "A changed helper group permits a new basis but does not alone establish legal physical endpoints or the conditional claim.", + "first_step": "Replay the registered3.12 commands against exact7120 and inspect the concrete boundary/cut bases.", + "blocked_by": "Independent human/formal review and maintainer admission remain separate." + }, + { + "question": "Can subsequent changed helper endpoints support another fully priced legal construction?", + "why_it_matters": "This result is one exact word, not a fixed-model or global optimum.", + "first_step": "Refresh canonical main and overlap, pin the emitted word, and name a changed source-specific contract before searching.", + "blocked_by": "No gain is established beyond this emitted instance." + } + ], + "stop_rule": "One new fully checked invoice; refresh before any further research round." +} diff --git a/research/p104-unlocked-rank8-split/VALIDATION.md b/research/p104-unlocked-rank8-split/VALIDATION.md new file mode 100644 index 0000000000..1e1c58bd14 --- /dev/null +++ b/research/p104-unlocked-rank8-split/VALIDATION.md @@ -0,0 +1,14 @@ +# Validation record + +Both complete direct CPython 3.14.7 commands passed: + +```sh +python3 -I -B research/p104-unlocked-rank8-split/verify_native.py --out research/p104-unlocked-rank8-split/NATIVE-RESULT.json +python3 -I -B research/p104-unlocked-rank8-split/verify.py --out research/p104-unlocked-rank8-split/RESULT.json +``` + +Coverage includes exact source/candidate reconstruction, arbitrary-input forward/adjoint, complete target/paid/ordinary/grid/precision checks,15 native corruption controls, three 512-column chart checks and complete finite native/signed routes. The 17-stage application includes both full invoices/prices, rational/integer Laurent caller, owner/phase binding, all 3050paid/helper maps and 104 main boundaries, fresh envelopes/fixed-tape costs and 54 strict+4 functional outer conditions. The exact probe shrink rule from7120 is retained; a negative control requires a probe at the lower crossing to fail. Both complete gates agree. + +Final registered isolated CPython 3.12.16 replay passed both complete commands and matched every frozen native and composition receipt field. REPLAY.txt preserves the actual stdout; the process exited successfully. Metadata was marked completed afterwards, explaining outcome=partial in the captured runner line. No scientific code or receipt changed after this comparison. No Lean, Docker or concurrent artifact-regenerating suites were used. No hosted scientific pass is claimed. Predecessor #7120 exact-head run42887924160 failed canonical onboarding (guide6030/selected7000,760tests,1failure,24skips), skipping scientific replay. This is separate from local scientific evidence. + +All five declared changed helper groups completed their local nomination screens. Only 3→246 produced3legal witnesses; candidate 2 has the smallest nominated bases 7+6 and alone was constructed. Other2 were not built. Complete kernel/pairing decisions do not make the subsequent rational cost/alphabet nomination exhaustive. DISCOVERY.json preserves exact per-group counts; local-only search code/results are not a public impossibility proof. The five assumptions, independent human/formal review, maintainer admission and compiled top-level execution remain open. diff --git a/research/p104-unlocked-rank8-split/VERIFY.json b/research/p104-unlocked-rank8-split/VERIFY.json new file mode 100644 index 0000000000..5e20c05bf4 --- /dev/null +++ b/research/p104-unlocked-rank8-split/VERIFY.json @@ -0,0 +1,29 @@ +{ + "schema_version": 1, + "status": "ready", + "python": "3.12", + "requirements": [], + "inputs": [], + "commands": [ + { + "argv": [ + "{python}", + "-I", + "-B", + "{package}/verify_native.py" + ], + "timeout_seconds": 600, + "checks": "Authenticate/reconstruct exact7120 from complete26-file export and nested closure; no-retiming whole-cut arbitrary-input forward/adjoint, helper8\u21923+5 and exact unchanged paid profile, fresh grid/18-stage ingredient/precision, three512-column maps,15negativecontrols, complete finite native/signed routes, every frozen native receipt field." + }, + { + "argv": [ + "{python}", + "-I", + "-B", + "{package}/verify.py" + ], + "timeout_seconds": 600, + "checks": "Reconstruct both complete17-stage invoices, unchanged literal caller, all3050paid/helper maps and104main boundaries, fresh grid/envelopes, ordinary/physical/fixed-tape costs, two prices and54+4outer gates; compare every frozen composition field." + } + ] +} diff --git a/research/p104-unlocked-rank8-split/WITNESS.json b/research/p104-unlocked-rank8-split/WITNESS.json new file mode 100644 index 0000000000..e38cade580 --- /dev/null +++ b/research/p104-unlocked-rank8-split/WITNESS.json @@ -0,0 +1,28 @@ +{ + "frame": 259, + "pivot": 231, + "cut": 31847, + "ranks": [ + 3, + 5 + ], + "gain": 0.019141871671898514, + "paths": [], + "a": { + "448": "1" + }, + "b": { + "1205": "1/16", + "448": "1", + "995": "-1/16" + }, + "c": { + "231": "1", + "707": "-4" + }, + "d": { + "449": "1/8", + "707": "-1/4" + }, + "paid_delta": {} +} diff --git a/research/p104-unlocked-rank8-split/WORD.json.gz b/research/p104-unlocked-rank8-split/WORD.json.gz new file mode 100644 index 0000000000..428fb207b5 Binary files /dev/null and b/research/p104-unlocked-rank8-split/WORD.json.gz differ diff --git a/research/p104-unlocked-rank8-split/adapt.py b/research/p104-unlocked-rank8-split/adapt.py new file mode 100644 index 0000000000..7e5dd048db --- /dev/null +++ b/research/p104-unlocked-rank8-split/adapt.py @@ -0,0 +1,38 @@ +"""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): + 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(".003640102187396")') + # 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()}', + 'wg=grid.word_run(w)\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-unlocked-rank8-split/construct.py b/research/p104-unlocked-rank8-split/construct.py new file mode 100644 index 0000000000..409564fcf2 --- /dev/null +++ b/research/p104-unlocked-rank8-split/construct.py @@ -0,0 +1,17 @@ +"""One cocharted helper split; no paid retiming. +Ali Romman's split/basis identity and CubeJerry's owned-field support are retained. +Prepared for dillona with substantial OpenAI Codex assistance. Apache-2.0. +""" +from split import split +from support import L + +def prepare(word,hit): + L.need(hit['paths']==[] and hit['paid_delta']=={},'No path or paid-profile edits') + L.need(type(hit['cut']) is int and 0peak: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-unlocked-rank8-split/inputs/pr7120.tar b/research/p104-unlocked-rank8-split/inputs/pr7120.tar new file mode 100644 index 0000000000..f4dc934ea7 Binary files /dev/null and b/research/p104-unlocked-rank8-split/inputs/pr7120.tar differ diff --git a/research/p104-unlocked-rank8-split/price.py b/research/p104-unlocked-rank8-split/price.py new file mode 100644 index 0000000000..2a5e85718e --- /dev/null +++ b/research/p104-unlocked-rank8-split/price.py @@ -0,0 +1,53 @@ +"""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 #7120 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-unlocked-rank8-split/source.py b/research/p104-unlocked-rank8-split/source.py new file mode 100644 index 0000000000..868cd09c76 --- /dev/null +++ b/research/p104-unlocked-rank8-split/source.py @@ -0,0 +1,56 @@ +"""Authenticate #7120's complete source closure and reconstruct its native word. +Prepared for dillona with OpenAI Codex assistance. Apache-2.0. +All source authors and nested notices remain credited. +""" +from contextlib import contextmanager +from hashlib import sha256,sha1 +from pathlib import Path +import gzip,importlib.util,json,sys,tarfile,tempfile +HERE=Path(__file__).resolve().parent + +def need(ok,why): + if not ok:raise ValueError(why) +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 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 + +@contextmanager +def bundles(): + pin=read(HERE/'INPUTS.json');archive=HERE/pin['archive'] + need(sha256(archive.read_bytes()).hexdigest()==pin['archive_sha256'],'Frozen complete #7120 export') + old_path=list(sys.path) + with tempfile.TemporaryDirectory(prefix='p104-unlocked8-source-') as tmp: + root=Path(tmp);pins={x['path']:x for x in pin['files']};seen=set() + with tarfile.open(archive) as tar: + for member in tar: + if member.isdir():continue + path=root/member.name + need(member.isfile() and member.name in pins and member.name not in seen and path.resolve().is_relative_to(root.resolve()),'Unique safe listed source member') + raw=tar.extractfile(member).read();p=pins[member.name] + need(len(raw)==p['size'] and sha256(raw).hexdigest()==p['sha256'] and sha1(b'blob '+str(len(raw)).encode()+b'\0'+raw).hexdigest()==p['git_blob'],'Exact source Git blob and SHA256') + path.parent.mkdir(parents=True,exist_ok=True);path.write_bytes(raw);seen.add(member.name) + need(seen==set(pins),'Complete source inventory') + parent=root/pin['prefix'];imports=load('unlocked8_parent_sources',parent/'source.py') + try: + with imports.bundles() as (sources,composition,work):yield sources,parent,work + finally:sys.path[:]=old_path + +@contextmanager +def sources(): + with bundles() as (parts,composition,work): + parent=composition;original=load('unlocked8_native_source',parent/'source.py') + with original.sources() as (vendor,archive,rank9,bundle,oldparent,word): + saved={name:sys.modules.get(name) for name in ('support','split')} + try: + load('support',parent/'support.py');load('split',parent/'split.py') + emitter=load('unlocked8_native_parent_construct',parent/'construct.py') + word=emitter.construct(word,read(parent/'WITNESS.json')) + finally: + for name,obj in saved.items(): + if obj is None:sys.modules.pop(name,None) + else:sys.modules[name]=obj + need(canonical(word)==gzip.decompress((parent/'WORD.json.gz').read_bytes()),'Every reconstructed #7120 native byte') + need(sha256(canonical(word)).hexdigest()=='4f19c6ee57b74d7c3ea1863df0b33fe275a3a7511f77084f05726ee216ebdc34','Exact current native') + yield vendor,archive,rank9,bundle,parent,word diff --git a/research/p104-unlocked-rank8-split/split.py b/research/p104-unlocked-rank8-split/split.py new file mode 100644 index 0000000000..5407e8959b --- /dev/null +++ b/research/p104-unlocked-rank8-split/split.py @@ -0,0 +1,154 @@ +"""Split independent helper jobs with three scalar basis changes. + +Ali Romman with substantial OpenAI Codex assistance. Apache-2.0. +Adapted for arbitrary counted owned-field inventory by @CubeJerry with OpenAI assistance. +Successor: OpenAI Codex for dillona excludes both hosted main planes from helper groups. +The source word and caller retain the credits in README.md. +Successor: dillona/OpenAI Codex choose a small smooth swap entry when pivot is zero. +""" +from copy import deepcopy +from fractions import Fraction as Q +from support import L + + +def inverse(program): + return [[e[0], *e[1:-2], + str(1/Q(e[-2]) if e[0] == 'SCALE' else -Q(e[-2])), e[-1]] + for e in reversed(program)] + + +def basis(a, b, pivot, frame): + """Return B with row pivot equal to a and B b equal to e_pivot.""" + L.need(sum(v*b.get(k, 0) for k, v in a.items()) == 1, 'Unit basis pairing') + roles = sorted(set(a) | set(b) | {pivot}) + values, program = dict(b), [] + + def emit(event): + program.append(event) + r, q = event[1], Q(event[-2]) + if event[0] == 'SCALE': + values[r] = values.get(r, 0)*q + else: + values[r] = values.get(r, 0)+q*values.get(event[2], 0) + + def swap_score(r): + q=b[r] + def smooth(x): + for prime in (2,3,5): + while x%prime==0:x//=prime + return x==1 + return (not(smooth(abs(q.numerator)) and smooth(q.denominator)), + abs(q.numerator).bit_length()+q.denominator.bit_length(),r) + j = pivot if b.get(pivot) else min((r for r in roles if b.get(r)),key=swap_score) + if j != pivot: + for event in [['ADD', pivot, j, '1', frame], + ['ADD', j, pivot, '-1', frame], + ['ADD', pivot, j, '1', frame], + ['SCALE', j, '-1', frame]]: + emit(event) + if values[pivot] != 1: + emit(['SCALE', pivot, str(1/values[pivot]), frame]) + for r in roles: + if r != pivot and values.get(r): + emit(['ADD', r, pivot, str(-values[r]), frame]) + L.need(all(values.get(r, 0) == int(r == pivot) for r in roles), 'Basis column') + inverse_rows = {r: {r: Q(1)} for r in roles} + for e in inverse(program): + if e[0] == 'SCALE': + inverse_rows[e[1]] = {k: Q(e[-2])*v for k, v in inverse_rows[e[1]].items()} + else: + L.add(inverse_rows[e[1]], inverse_rows[e[2]], Q(e[-2])) + row = {} + for r, q in a.items(): + L.add(row, inverse_rows[r], q) + L.need(row[pivot] == 1, 'Basis row coefficient') + for r in roles: + if r != pivot and row.get(r): + program.append(['ADD', pivot, r, str(row[r]), frame]) + return program + + +def check_cut(word, h): + """Check the whole prefix row and suffix column over the rationals.""" + n, cut, f, p = word['public'], h['cut_after'], h['frame'], h['pivot'] + a, b, c, d = ({int(k): Q(v) for k, v in h[s].items()} for s in ('a', 'b', 'c', 'd')) + main = set(word['live']) | {r+112 for r in word['live']} | set(word['hosted']['X2']) | set(word['hosted']['Y2']) + L.need(p < n and p not in main, 'A helper supplies the retained output role') + u, v = word['initial'][p], word['final'][p] + group = {r for r in range(n) if r not in main and + (word['initial'][r], word['final'][r]) == (u, v)} + L.need(set(c) | set(d) <= group, 'Both boundary vectors use one helper group') + L.need(L.span(word['frames'][u]) < L.span(word['frames'][f]) < L.span(word['frames'][v]), + 'Two strictly productive nested targets') + L.need(h['ranks'] == [len(word['frames'][f])-len(word['frames'][u]), + len(word['frames'][v])-len(word['frames'][f])], 'Declared split ranks') + rows = [{r: Q(1)} if r < n else {} for r in range(n+word['owned_fields'])] + current = word['initial']+[None]*word['owned_fields'] + for e in word['program'][:cut+1]: + op, r = e[:2] + if op == 'MOVE': + current[r] = e[3] + elif op in ('INIT', 'CLEAR'): + rows[r] = {} + current[r] = e[2] if op == 'INIT' else None + elif op == 'SCALE': + rows[r] = {k: Q(e[-2])*x for k, x in rows[r].items()} + elif op == 'COPY': + rows[r] = {k: Q(e[-2])*x for k, x in rows[e[2]].items()} + else: + L.add(rows[r], rows[e[2]], Q(e[-2])) + L.need(all(current[r] == f for r in set(a) | set(b) | {p}), 'One intermediate chart') + total = {} + for r, q in a.items(): + L.add(total, rows[r], q) + L.need(total == c, 'Exact prefix functional; no other input') + column = [b.get(r, Q(0)) for r in range(n+word['owned_fields'])] + for e in word['program'][cut+1:]: + op, r = e[:2] + if op in ('INIT', 'CLEAR'): + column[r] = Q(0) + elif op == 'SCALE': + column[r] *= Q(e[-2]) + elif op == 'COPY': + column[r] = Q(e[-2])*column[e[2]] + elif op == 'ADD': + column[r] += Q(e[-2])*column[e[2]] + L.need(column == [d.get(r, Q(0)) for r in range(n+word['owned_fields'])], 'Exact suffix direction; no other output') + L.need(sum(x*b.get(r, 0) for r, x in a.items()) == + sum(x*d.get(r, 0) for r, x in c.items()) == 1, 'Both independent pairings') + return a, b, c, d + + +def split(word, h): + a, b, c, d = check_cut(word, h) + n, p, f, cut = word['public'], h['pivot'], h['frame'], h['cut_after'] + u, v = word['initial'][p], word['final'][p] + + def shift_owned(event): + e = event.copy() + e[1] += int(e[1] >= n) + if e[0] in ('ADD', 'COPY'): + e[2] += int(e[2] >= n) + return e + + def use_successor(event): + e = event.copy() + if e[1] == p: + e[1] = n + if e[0] in ('ADD', 'COPY') and e[2] == p: + e[2] = n + return e + + boundary, middle = basis(c, d, p, u), basis(a, b, p, f) + out = deepcopy(word) + out['public'] = n+1 + out['initial'].append(f) + out['final'].append(v) + out['final'][p] = f + out['program'] = inverse(boundary) + out['program'] += [shift_owned(e) for e in word['program'][:cut+1]] + out['program'] += [shift_owned(e) for e in middle] + out['program'] += [use_successor(shift_owned(e)) for e in inverse(middle)] + out['program'] += [use_successor(shift_owned(e)) for e in word['program'][cut+1:]] + out['program'] += [use_successor([*e[:-1], v]) for e in boundary] + return out diff --git a/research/p104-unlocked-rank8-split/support.py b/research/p104-unlocked-rank8-split/support.py new file mode 100644 index 0000000000..192cd38d27 --- /dev/null +++ b/research/p104-unlocked-rank8-split/support.py @@ -0,0 +1,18 @@ +"""Small exact sparse operations, retained from Ali Romman/CubeJerry. Apache-2.0.""" +class L: + @staticmethod + def need(ok, why): + if not ok: raise ValueError(why) + @staticmethod + def add(dst, src, q): + for k,v in tuple(src.items()): + value=dst.get(k,0)+q*v + if value: dst[k]=value + else: dst.pop(k,None) + @staticmethod + def span(basis): + out={0} + for v in basis: + L.need(type(v) is int and 00,'Complete conservative ordinary bill') + gate,price=G.exact_price(vendor,archive,before,invoice,previous) + manifest=read(vendor/'INDEPENDENT-SOURCES.json') + P=load('static_bit_binding',archive/'verify.py');P.bit_binding(I,manifest) + precision=base.precision(vendor,word,caller,gate,manifest) + need(precision['word']['odd_scale_lcm']==1125 and precision['word']['dyadic_height']==24,'Recomputed signed caller precision') + print('PASS full signed caller, ordinary bill, two exact price engines, precision and compiler gates',flush=True) + charts=chart_check(vendor,source,word) + controls={} + grid_engine=G.module('static_grid_controls',vendor/'retained/odd-native-common-grid/independent_bounds.py') + controls['insufficient_odd_grid']=rejected(lambda:grid_engine.word_run(word,375,24)) + controls['insufficient_fractional_grid']=rejected(lambda:grid_engine.word_run(word,1125,23)) + bad=deepcopy(hit);bad['a']['448']='2' + controls['wrong_prefix']=rejected(lambda:construct(source,bad)) + bad=deepcopy(hit);bad['b']['1205']='1/8' + controls['wrong_suffix']=rejected(lambda:construct(source,bad)) + bad=deepcopy(hit);bad['frame']=734 + controls['wrong_cut_frame']=rejected(lambda:construct(source,bad)) + from split import basis + Gbasis=basis(*[{int(k):Q(v)for k,v in hit[s].items()}for s in('c','d')],hit['pivot'],3) + Jbasis=basis(*[{int(k):Q(v)for k,v in hit[s].items()}for s in('a','b')],hit['pivot'],259) + need((len(Gbasis),len(Jbasis))==(7,6),'Boundary and cut basis lengths') + prepared,spec=prepare(source,hit) + split_after=spec['cut_after'] + for name,index in [('missing_cut_correction',len(Gbasis)+split_after+1), + ('missing_successor_correction',len(Gbasis)+len(Jbasis)+split_after+1)]: + bad=deepcopy(word);bad['program'].pop(index) + controls[name]=bool(I.native(bad)['bad_inputs']) + bad=deepcopy(hit);bad['c']['707']='-3' + controls['wrong_boundary_functional']=rejected(lambda:construct(source,bad)) + bad=deepcopy(hit);bad['d']['707']='-1/2' + controls['wrong_boundary_direction']=rejected(lambda:construct(source,bad)) + for name,index in [('missing_initial_basis',0),('missing_final_basis',len(word['program'])-1)]: + bad=deepcopy(word);bad['program'].pop(index) + controls[name]=bool(I.native(bad)['bad_inputs']) + bad=deepcopy(word);bad['initial'][-1]=3 + controls['wrong_successor_frame']=rejected(lambda:I.native(bad)) + bad=deepcopy(hit);bad['ranks']=[4,4] + controls['wrong_target_ranks']=rejected(lambda:construct(source,bad)) + bad=deepcopy(hit);bad['paths']=[{'role':231}] + controls['unexpected_retiming']=rejected(lambda:prepare(source,bad)) + bad=deepcopy(hit);bad['paid_delta']={'1':1} + controls['wrong_paid_declaration']=rejected(lambda:prepare(source,bad)) + need(all(controls.values()),'All split rejection controls') + physical_checks=[]; signed_routes=None + if physical: + with tempfile.TemporaryDirectory(prefix='static-physical-') as tmp: + path=Path(tmp)/'word.json.gz';path.write_bytes(gzip.compress(canonical(word),mtime=0)) + for command,args in [(vendor/'frozen/verify_host3_odd.py',[path,'1125']), + (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) + physical_engine=G.module('static_signed_routes',rank9/'physical_child.py',( + ('cca66a7ec924bab47ccd1410968d16e071a01dc6110b5c08040bd207f753d066',sha256(canonical(word)).hexdigest()),)) + capture=io.StringIO() + with contextlib.redirect_stdout(capture):physical_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 route replay') + need(1000*sum(len(row['caller_fields'])*row['ordinary_elementary_units'] for row in signed_routes['bindings'])==routes==1168000,'Actual signed route ordinary charge') + physical_checks.append('physical_child.py') + print('PASS chart columns and phase, rejection controls and finite physical replay',flush=True) + return encode(dict(status='PASS_P104_UNLOCKED_RANK8_NATIVE',source_head='b3d68cf1db9bf493ded2d8f4cb922939edc0ef95', + word_canonical_sha256=sha256(canonical(word)).hexdigest(),native=native,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=['Source-aware reuse of attributed engines, not independent human or kernel review.', + 'The five framework assumptions remain; the current17-stage application is checked separately by verify.py.', + 'Finite physical checks and source-unit bills do not constitute a complete multiplication theorem.'])) + +def main(): + p=argparse.ArgumentParser();p.add_argument('--out',type=Path);p.add_argument('--skip-physical',action='store_true');a=p.parse_args() + result=run(not a.skip_physical) + 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/'NATIVE-RESULT.json'),'Every frozen receipt field') + print(result['status'],result['gate']['claim'],flush=True) +if __name__=='__main__':main()