diff --git a/research/p104-funded-reciprocal-split/APPLICATION.md b/research/p104-funded-reciprocal-split/APPLICATION.md new file mode 100644 index 0000000000..cc69cdeb0e --- /dev/null +++ b/research/p104-funded-reciprocal-split/APPLICATION.md @@ -0,0 +1,29 @@ +# Conditional application to the reciprocal native and signed caller + +This applies Rohan Arun's #7113 component proof and #7116–#7118's changed-native adaptation to the exact reciprocal native. The input closure and explicit construction are in PROOF.md. 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 exact constructor preserves every independent arbitrary-input native endpoint while replacing one rank-nine helper with rank-eight and rank-one helpers. One paid rank-five move is subdivided into rank four and rank one, with every new occurrence charged. A rank-four move and a rank-one move advance without changing their ranks. The cut injection uses main role 17, but its exact suffix image is supported only on the independent helper group; the complete arbitrary-input replay checks restoration of all main endpoints. It checks all three public retiming intervals, the entire rational prefix/suffix, both basis identities and the retained scalar alphabet. Its complete forward and adjoint replays include every owned row. All 3,048 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,706 paid positions and 22,240 productive fields. Main-owner aliasing is rejected. Allocate 18,496 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,488 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 1171, giving c=2342. It is recomputed from this exact word and caller; #7118's previous allowance was 2338. 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 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,686,320 includes the caller and native conversion services. It is distinct from the physical-machine bound. The fresh raw-occurrence counts give 1,145,341 native scalar macro inputs, 117,856 caller macro inputs and 58,080 conversions. The retained conservative factor 32 gives 42,280,864 scalar services; with the reviewed 2²⁰ service constant this is 44,334,699,249,664 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,740 monomial map slots. At actual ambient 145, the retained elementary bound 4(145+1)² is 85,264 records per map, hence at most 25,471,767,360 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 reciprocal construction by dillona with substantial OpenAI Codex assistance. Apache-2.0. diff --git a/research/p104-funded-reciprocal-split/DISCOVERY.json b/research/p104-funded-reciprocal-split/DISCOVERY.json new file mode 100644 index 0000000000..1632c6cf85 --- /dev/null +++ b/research/p104-funded-reciprocal-split/DISCOVERY.json @@ -0,0 +1,152 @@ +{ + "scope": "Local-only nomination search; public verification uses the exact selected witness.", + "source_head": "3f6ff8c34b22af12b40c5a8bcee585cd1aafdb9c", + "word_sha256": "cbce61015e22007f785474e2af2462a7d97ead1e105d71cd2d9cbc0a449580f3", + "method": "Complete boundary kernels including zero images, Matarener pairing decision and basis-pair nominations under total paid-path cost; not exhaustive rational cost optimization.", + "stats": { + "systems": 38318, + "saved": 10014, + "pairs": 44238, + "hits": 7, + "classes": { + "F1zero": 7997, + "witness": 1751, + "F2zero": 266 + }, + "rescued": 0, + "budget_reject": { + "8": 3024, + "10": 2614, + "6": 3872, + "13": 1242, + "12": 1930, + "4": 2371, + "9": 3120, + "7": 3830, + "14": 1506, + "15": 1921, + "5": 2877, + "3": 3324, + "2": 1166, + "18": 1232, + "16": 1337, + "21": 828, + "24": 498, + "11": 2108, + "17": 1341, + "20": 833, + "19": 954, + "22": 565, + "25": 238, + "23": 641, + "28": 188, + "29": 119, + "27": 170, + "26": 201, + "30": 99, + "31": 34, + "33": 5, + "32": 10 + }, + "best_budget": { + "cut": 44131, + "frame": 246, + "cost": 0.009070155239718325, + "gain": 0.011366274739030402, + "paths": [ + { + "role": 448, + "lo": 44126, + "hi": 45243, + "frame": 246, + "old": 246, + "new": 127, + "moves": [ + 44129 + ], + "old_paid": [ + 1 + ], + "new_paid": [ + 0, + 1 + ], + "cost": 0.0, + "private": false, + "neutral": true + }, + { + "role": 17, + "lo": 33568, + "hi": 47128, + "frame": 246, + "old": 232, + "new": 127, + "moves": [ + 33711 + ], + "old_paid": [ + 5 + ], + "new_paid": [ + 4, + 1 + ], + "cost": 0.009070155239718325, + "private": false, + "neutral": false + }, + { + "role": 789, + "lo": 36315, + "hi": 45214, + "frame": 246, + "old": 232, + "new": 246, + "moves": [ + 45213 + ], + "old_paid": [ + 4 + ], + "new_paid": [ + 4, + 0 + ], + "cost": 0.0, + "private": false, + "neutral": true + }, + { + "role": 745, + "lo": 43973, + "hi": 44154, + "frame": 246, + "old": 541, + "new": 246, + "moves": [ + 44153 + ], + "old_paid": [ + 1 + ], + "new_paid": [ + 1, + 0 + ], + "cost": 0.0, + "private": false, + "neutral": true + } + ], + "paid_roles": 1 + } + }, + "legal_nominations": 7, + "full_native_checked_indices": [ + 3 + ], + "selected_index": 3, + "selected_reason": "All seven have one profile; this nominal witness has the shortest emitted scalar bases (8+9 instructions).", + "remaining": "The other6 nominations were not constructed. Local search files are preserved; no search optimum is claimed." +} diff --git a/research/p104-funded-reciprocal-split/ENVIRONMENT.json b/research/p104-funded-reciprocal-split/ENVIRONMENT.json new file mode 100644 index 0000000000..699fd4f4a6 --- /dev/null +++ b/research/p104-funded-reciprocal-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-10T19:11:59.338777+00:00" +} diff --git a/research/p104-funded-reciprocal-split/INPUTS.json b/research/p104-funded-reciprocal-split/INPUTS.json new file mode 100644 index 0000000000..4f93e75b6b --- /dev/null +++ b/research/p104-funded-reciprocal-split/INPUTS.json @@ -0,0 +1,159 @@ +{ + "head": "3f6ff8c34b22af12b40c5a8bcee585cd1aafdb9c", + "pr": 7118, + "prefix": "research/p104-funded-residual-split", + "archive": "inputs/pr7118.tar", + "archive_sha256": "d07c3ebc0fd4f6b067bb0053c39520e9ab61fde144a133b34d4991b7e95eabd1", + "files": [ + { + "path": "research/p104-funded-residual-split/APPLICATION.md", + "size": 6707, + "sha256": "fda83d235218ee8e459f04206afa25331eac43744b18364c5269f08d59f99edc", + "git_blob": "c0746110701400e378c3e449b9c0c488f80fbe2a" + }, + { + "path": "research/p104-funded-residual-split/DISCOVERY.json", + "size": 3028, + "sha256": "41d571c147b2731a5f342ff33e11a260f69fdc3c11ee38c83a5dd6c191f11d64", + "git_blob": "da21446c51e853c558a41534d79e556733b92bff" + }, + { + "path": "research/p104-funded-residual-split/ENVIRONMENT.json", + "size": 665, + "sha256": "bdb10b6516020f542cbf3aba9a8d7956510e623bdf398f07ff82cf674d3d832b", + "git_blob": "3d683f281502c15e1f651257ef05c789d974241c" + }, + { + "path": "research/p104-funded-residual-split/INPUTS.json", + "size": 6306, + "sha256": "2a27bf6420abda90b1b22bebfef8454c12abe0ad1b160ee4ec8e818c3fce4cce", + "git_blob": "f62d22126e98a41ca3c32fc2729210a4dc39dfa4" + }, + { + "path": "research/p104-funded-residual-split/NATIVE-RESULT.json", + "size": 74055, + "sha256": "9685bf709b2b309d9ce460bd67da346c70c0a7dd9061bb10bbdd75e9523e03f3", + "git_blob": "81793c79a88c8b4e05c1576164eb66f2f19a7949" + }, + { + "path": "research/p104-funded-residual-split/PROOF.md", + "size": 4781, + "sha256": "b8b9da190b67cb6a14b4df3e750c80d1805ac3308dffdff5295519bc724da3e4", + "git_blob": "6612493e44d39d7e8d11f67b3de4e090611e97b7" + }, + { + "path": "research/p104-funded-residual-split/README.md", + "size": 6678, + "sha256": "233490782412955193a19c8e372bee4af8bfd704af5b1368e3ace9959e65a6f5", + "git_blob": "174bf9a63f233d6f167a4ed4af268df551becf96" + }, + { + "path": "research/p104-funded-residual-split/REPLAY.txt", + "size": 3792, + "sha256": "0b149316c1895155d9126c93278acbd21bb39ef0f5ac1a3732528609297eee53", + "git_blob": "a1a0e1d5754980b3e9aeef7b3272f2607517d9dd" + }, + { + "path": "research/p104-funded-residual-split/RESULT.json", + "size": 75495, + "sha256": "527995c4df39d926eb51bf942aa61ae8d6ae879800df71ccab0cf51c4b9475e6", + "git_blob": "3b69c963ce54ca28dcb6d7e87278ff62484c032d" + }, + { + "path": "research/p104-funded-residual-split/SOURCES.json", + "size": 856, + "sha256": "8b58a30ae55396b8d108de4ee2c7c6ac75dc1096948c9ac3796c20b21b1c9372", + "git_blob": "c4150ae39789502a4adf89e8f5235995d458a72e" + }, + { + "path": "research/p104-funded-residual-split/TASK.json", + "size": 9761, + "sha256": "44884508992b900760aee65740ed894bfb23c3e089a5433125d5616365862166", + "git_blob": "a9dd5d2251721360f7898b0e6e149d30359c26eb" + }, + { + "path": "research/p104-funded-residual-split/VALIDATION.md", + "size": 2212, + "sha256": "d23d6fcbea3722843cf10e2f338403a5cc26b572143e4a21eb09297561b7e25d", + "git_blob": "074ba6e00c2240f9a0c4ab65b7776f3ce056c688" + }, + { + "path": "research/p104-funded-residual-split/VERIFY.json", + "size": 1056, + "sha256": "960b9be56bfe253584989354433c5acf293bae312b39e951a517d15e187f4760", + "git_blob": "0f09718ef4776c4f4c84bc690fac7848b07b3a0e" + }, + { + "path": "research/p104-funded-residual-split/WITNESS.json", + "size": 1385, + "sha256": "303c42476f857d691c4dddaf61b73ab0c9b42a9397c786daaefc9c4f72e47daa", + "git_blob": "25f1927d249696cb2e9a28b62ee2e2f7f92f8c4d" + }, + { + "path": "research/p104-funded-residual-split/WORD.json.gz", + "size": 364365, + "sha256": "387fd77169e619edf3fa1ebcecb899fa597b9b49100b631c1ac88a3c13727f4e", + "git_blob": "cbf5332c8598fa9df7d89ddcd1d41247a0615995" + }, + { + "path": "research/p104-funded-residual-split/adapt.py", + "size": 2163, + "sha256": "da02a24f0591a7cb4cddbc5cd786c9a7201a80a046f5cf747cb31cd5deaa1e02", + "git_blob": "4ef7a4b670c4f890e3112e934ef3470f8fb5defa" + }, + { + "path": "research/p104-funded-residual-split/construct.py", + "size": 3061, + "sha256": "42ffab76b8664088f444ba7d815537a541af72c5fa5eef897989b90399b9e564", + "git_blob": "748bfe2be2e5fffc1dfa9bdfa261bfcc8da16088" + }, + { + "path": "research/p104-funded-residual-split/derive_grid.py", + "size": 1510, + "sha256": "ceb7a44ef19d72a16db7b43c65c85910d965499d1715436011de32af5d39dbb0", + "git_blob": "f8cb37f00bcd197d77bbb205dae3c1a40c0aa680" + }, + { + "path": "research/p104-funded-residual-split/inputs/pr7117.tar", + "size": 6246400, + "sha256": "5dad877e3ecfaada8542c69d1516ecc951086d49cc00fc0647efcaa22defd080", + "git_blob": "8709147ce8e2a7fd8d50572f63424722e49a0454" + }, + { + "path": "research/p104-funded-residual-split/price.py", + "size": 3642, + "sha256": "91acd3cab464bad1aa55c129c1c5cd4776746172a44e2d09eb5e03d007684195", + "git_blob": "283a3edfb1d3674fd9949a54ff6bc21536568a57" + }, + { + "path": "research/p104-funded-residual-split/source.py", + "size": 3312, + "sha256": "67f3a6f4467b4a14d7d5328e2d169f561ddae066d61746d76b3d16af7dd8702e", + "git_blob": "1dab884d9ea8f86fcaa562d9f77e3203103f4b71" + }, + { + "path": "research/p104-funded-residual-split/split.py", + "size": 6432, + "sha256": "3d529d78994504ad591a3afade4dab094751c1c221edbab10165290314cf0894", + "git_blob": "5407e8959b8723464aee68eea6ffcf2ee75cc3b7" + }, + { + "path": "research/p104-funded-residual-split/support.py", + "size": 606, + "sha256": "f3e6eeb879480715c5c32c1a390a63c57d26ea1c9a9cbdb89b83ca34260e47f6", + "git_blob": "192cd38d27e4b732981b98730459a041dcfb52e7" + }, + { + "path": "research/p104-funded-residual-split/verify.py", + "size": 3448, + "sha256": "2d3132416ed799b4d0cde9e69abef43f754cb75eac7b7650e974b0850de46174", + "git_blob": "cbd31c07de0420bb818dd95820ca850b1c395663" + }, + { + "path": "research/p104-funded-residual-split/verify_native.py", + "size": 13008, + "sha256": "e8d541111aaf297658fe3c63bcbf8b997626a10eaabb46ad232ddc24320a12d0", + "git_blob": "e8f29be93ffc943ea834b4e9ad4161960516fef8" + } + ] +} diff --git a/research/p104-funded-reciprocal-split/NATIVE-RESULT.json b/research/p104-funded-reciprocal-split/NATIVE-RESULT.json new file mode 100644 index 0000000000..94413ac6aa --- /dev/null +++ b/research/p104-funded-reciprocal-split/NATIVE-RESULT.json @@ -0,0 +1,3087 @@ +{ + "caller": { + "bad_outputs": [], + "caller_denominator_height_bound": 431, + "caller_mass_bound": "2031778024781380738667307850969872261300825114412066667930609010754885615256246771273722516797028373875488084463456734932931819440254377992064287155336455679722182496470290893143689397339193405421398373633/137438953472", + "caller_mass_ceiling_bits": 642, + "max_terms": 3998 + }, + "charts": { + "new_pairs": [], + "rechecked_pairs": [ + { + "columns": 512, + "pair": [ + 3, + 127 + ], + "rank": 9 + }, + { + "columns": 512, + "pair": [ + 3, + 246 + ], + "rank": 8 + }, + { + "columns": 512, + "pair": [ + 232, + 246 + ], + "rank": 4 + }, + { + "columns": 512, + "pair": [ + 246, + 127 + ], + "rank": 1 + }, + { + "columns": 512, + "pair": [ + 541, + 246 + ], + "rank": 1 + } + ], + "wrong_phase_rejected": true + }, + "controls": { + "duplicate_retimed_role": true, + "insufficient_fractional_grid": true, + "insufficient_odd_grid": true, + "intervening_scalar_contact": true, + "missing_cut_correction": true, + "missing_retiming_17": true, + "missing_retiming_745": true, + "missing_retiming_789": true, + "missing_successor_correction": true, + "omitted_old_move": true, + "unpaid_subdivisions": true, + "wrong_cut_frame": true, + "wrong_declared_path_ranks": true, + "wrong_prefix": true, + "wrong_successor_frame": true, + "wrong_suffix": true + }, + "derived_grid": { + "coefficient_visits": 14992703, + "fractional_bits": 24, + "mass_witness": [ + 64711, + "stored" + ], + "odd_scale": 1125, + "scaled_maximum_mass": "1630603680282225/16384", + "unscaled_maximum_mass": "7247127467921/81920" + }, + "forward": { + "coefficient_positions": 2368521, + "fractional_bits": 24, + "grid": 1125, + "rows": 1539 + }, + "gate": { + "BIT_margin": "12811886863893/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16480300000000000000000", + "alpha": [ + 0.9999999999999994, + 0.9999999999999994 + ], + "claim": "3638571131361/1000000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.8806377324027633, + 0.8806377324027633 + ], + "derivative_upper": -407638.9932397545, + "gamma": [ + 0.9499088048199604, + 0.9499088048199604 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "3638571131361/1000000000000000": [ + "124149755669794046830641509503195998064442521726687222286828130270771027417249/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "12414975566979404683064150950319599806444252172668722228682813027077102741919/10000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "363857113136107/100000000000000000": [ + "124149755669796333544923590911738762839610880597691024457736673556852235613573/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124149755669796333544923590911738762839610880597691024457736673556852235615509/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2232, + "moment_margin_float": { + "363857113136107/100000000000000000": [ + 1.917117243593436e-10, + 1.917117243593436e-10 + ], + "36385711313615324001832014714501/10000000000000000000000000000000000": [ + -3.0296667029889706e-30, + -3.0296667029889706e-30 + ], + "72771422627230648003664029429/20000000000000000000000000000000": [ + 3.843046487222131e-29, + 3.843046487222131e-29 + ] + }, + "moment_margins": { + "363857113136107/100000000000000000": [ + "9585586217967180733532986617008595094453528310817056628095513329885927/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "9585586217967180733532986617008595094453528310817056628095513350636073/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "36385711313615324001832014714501/10000000000000000000000000000000000": [ + "-30296667029889707964515044041175250750872066629023/10000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-151483335149448539822575220205876253754360312113779/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "72771422627230648003664029429/20000000000000000000000000000000": [ + "480380810902766324883116791811504015892135703999521/12500000000000000000000000000000000000000000000000000000000000000000000000000000", + "1921523243611065299532467167246016063568542836897709/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "72771422627230648003664029429/20000000000000000000000000000000", + "36385711313615324001832014714501/10000000000000000000000000000000000" + ], + "tested": "363857113136107/100000000000000000", + "written_log_power": 2233 + }, + "grid": { + "dyadic_height": 24, + "maximum_scaled_mass": "1630603680282225/16384", + "odd_divisions": { + "ADD": 5219, + "SCALE": 67 + }, + "odd_grid_lcm": 1125, + "opcodes": { + "ADD": 63574, + "CLEAR": 54, + "COPY": 1, + "INIT": 54, + "MOVE": 6290, + "SCALE": 3690 + }, + "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": 817, + "4": 239, + "5": 325, + "6": 16, + "7": 12, + "8": 6 + } + }, + "invoice": { + "P": { + "1": 72996, + "16": 416, + "2": 15138, + "24": 416, + "3": 14706, + "32": 416, + "4": 4302, + "40": 416, + "48": 416, + "5": 5850, + "56": 416, + "6": 288, + "64": 416, + "7": 216, + "8": 780, + "9": 32 + }, + "S": 1520, + "T": { + "1": 306, + "145": 208, + "17": 416, + "2": 324, + "25": 416, + "3": 828, + "33": 416, + "4": 3906, + "41": 416, + "49": 416, + "5": 1278, + "57": 416, + "6": 756, + "65": 416, + "7": 324, + "73": 416, + "8": 1062, + "9": 11216 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036385711313615324001832014714500926925781759929087137247558841071", + "raw_crossing": "0.0036385711313615324001832014714500926925781759929087137247558841071" + }, + "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": 73663, + "helpers": { + "1": 17, + "2": 18, + "3": 46, + "4": 217, + "5": 71, + "6": 42, + "7": 18, + "8": 59, + "9": 600 + }, + "lifetimes": 54, + "owned_peak": 43, + "paid": { + "1": 4034, + "2": 841, + "3": 817, + "4": 239, + "5": 325, + "6": 16, + "7": 12, + "8": 6 + }, + "public": 1488, + "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": 851420032, + "extra_B_scalar_surcharge": 784256, + "init_clear_allowance": 216, + "lambda_paid_rank1_would_reduce_S_by": 14384, + "lambda_second_charge": 14384000, + "margin_to_billion": 148579968, + "odd_divisions": { + "ADD": 5219, + "SCALE": 67 + }, + "per_input_conversion": 2785536, + "raw_upper": 833466240, + "route_items": { + "first_main_adapter": 416, + "first_main_boundary": 208, + "helper_boundary": 2176, + "moves": 6290, + "owned_lifetime": 216, + "second_main_adapter": 384, + "second_main_boundary": 192 + }, + "routing": 9882000, + "scalar_upper": 1989120 + }, + "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": "18866829485100830974255924051932331155705580290863377343438734682513339728990284637716799691606606128577769532292783935734958537935393854815413875745372261005195380329334936537733081758796056344076480077254642590242328768130319980390584823997582219216847870956448830562013698277484791954487584742580113593071813/1848234575132758467382193273438208000000000000000000000", + "strict_power_of_two": 851, + "witness": { + "cut": 4982, + "event": 4982, + "factor": "1", + "kind": "stored", + "register": 39 + } + }, + "Gamma_context": { + "exact": "12158804603704009829651839650414370963771713957299132141417612795384533572347163904051488236625168063647608375650343225110822441908036972205649478677041961214487594892668697771643146523894528638106724271863873292440066995921425115851268105588770068531178014026959140987317344736254153639533630185428791095833492433/8871525960637240643434527712503398400000000000000000000", + "strict_power_of_two": 858, + "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": "312344735535335914753451132605904224457443734649551463277736643512053009320700913224372038241728906433240001369061045102715369115055809160881708241193285122163402793982018488531914233628303415232269155975705173789523606180236036299082416540005029119122291398425566489642350944122488833046910127829347858521452250789989/47314805123398616764984147800018124800000000000000000000", + "strict_power_of_two": 870, + "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": "12158804603704009829651839650414370963771713957299132141417612795384533572347163904051488236625168063647608375650343225110822441908036972205649478677041961214487594892668697771643146523894528638106724271863873292440066995921425115851268105588770068531178014026959140987317344736254153639533630185428791095833492433/8871525960637240643434527712503398400000000000000000000", + "strict_power_of_two": 858, + "witness": { + "cut": 5098, + "event": 5097, + "factor": "1", + "kind": "stored", + "register": 75 + } + }, + "Sigma_context": { + "exact": "1334618132234373423787222697737649504715397844538009822313987135887031490574425581712868387640372472176731879248339895248410877679136661036032540184935063636389680041066323789012060477392124861719810263464937101802904904641682140422865170009247748334458281659959167039703612607721469829560115650686691508745752518292165393763802053724152998626200318135499899777684303477273549244368014940482830958684061151002332182059433112382408223131161831/320247285442140769134110953618454922992625780457095452694524461056000000000000000000000000000000000000000000", + "strict_power_of_two": 1109, + "witness": { + "cut": 4983, + "event": 4982, + "factor": "1", + "kind": "stored", + "register": null + } + } + }, + "fresh_arbitrary_helpers": 19584, + "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": "18866829485100830974255924051932331155705580290863377343438734682513339728990284637716799691606606128577769532292783935734958537935393854815413875745372261005195380329334936537733081758796056344076480077254642590242328768130319980390584823997582219216847870956448830562013698277484791954487584742580113593071813/1848234575132758467382193273438208000000000000000000000" + }, + "Gamma_context": { + "entrance_mass": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", + "joint_coefficient": "3588816846070975662189139150385916018049768310935423284247506919489598097879366381598784768436344948623399851427080856173768395141863135887379886323692161717893814936281078874126758254305/32768", + "primitive_coefficient": "104601728656160061800829059188189517089489205649710398563826603344774845615386975930430446869514605732253126838851071709850611632285445276658068751933727423823199247050168422471008254528236067/131072", + "residual_mass": "12158804603704009829651839650414370963771713957299132141417612795384533572347163904051488236625168063647608375650343225110822441908036972205649478677041961214487594892668697771643146523894528638106724271863873292440066995921425115851268105588770068531178014026959140987317344736254153639533630185428791095833492433/8871525960637240643434527712503398400000000000000000000" + }, + "M_caller": { + "entrance_mass": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", + "joint_coefficient": "3588816846070975662189139150385916018049768310935423284247506919489598097879366381598784768436344948623399851427080856173768395141863135887379886323692161717893814936281078874126758254305/32768", + "primitive_coefficient": "104601728656160061800829059188189517089489205649710398563826603344774845615386975930430446869514605732253126838851071709850611632285445276658068751933727423823199247050168422471008254528104995/131072", + "residual_mass": "12158804603704009829651839650414370963771713957299132141417612795384533572347163904051488236625168063647608375650343225110822441908036972205649478677041961214487594892668697771643146523894528638106724271863873292440066995921425115851268105588770068531178014018087615026680104092819625927030231785428791095833492433/8871525960637240643434527712503398400000000000000000000" + }, + "M_joint_entrance": { + "entrance_mass": "66231921216838714175335242310174311625441766070329537281095337280001689425837300045521194678022507207573740758259597518292006513594483309822197449388620837179777160688120985448681075810705/4096", + "joint_coefficient": "3341262452763736608333208973454412950850413153418406702391448781717870354386212730465850137279766193453853839111325961239001898880600732238129365028446669327062277635590277335176110963/4096", + "primitive_coefficient": "97386365324171280012900240624596584740208335418838768849197300645798627964098858911945347609583363839763283834626254278123625524137460265198827318958269714035256037492260512470970582090841/16384", + "residual_mass": "18866829485100830974255924051932331155705580290863377343438734682513339728990284637716799691606606128577769532292783935734958537935393854815413875745372261005195380329334936537733081758796056344076480077254642590242328768130319980390584823997582219216847870956448830562013698277484791954487584742580113593071813/1848234575132758467382193273438208000000000000000000000" + }, + "Sigma_caller": { + "entrance_mass": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", + "joint_coefficient": "3588816846070975662189139150385916018049768310935423284247506919489598097879366381598784768436344948623399851427080856173768395141863135887379886323692161717893814936281078874126758254305/32768", + "primitive_coefficient": "104601728656160061800829059188189517089489205649710398563826603344774845615386975930430446869514605732253126838851071709850611632285445276658068751933727423823199247050168422471008254528236067/131072", + "residual_mass": "12158804603704009829651839650414370963771713957299132141417612795384533572347163904051488236625168063647608375650343225110822441908036972205649478677041961214487594892668697771643146523894528638106724271863873292440066995921425115851268105588770068531178014026959140987317344736254153639533630185428791095833492433/8871525960637240643434527712503398400000000000000000000" + } + }, + "joint_entries": [ + { + "entrance_defect": "4384", + "entrance_mass": "23859/2", + "event": 49, + "stage": 1 + }, + { + "entrance_defect": "2390738126416236966889158049893343352068128489194063415289995266354050134475427448102805466440503161190618054894787543228810307252743/338421858239640832650548084736000000000000000000000", + "entrance_mass": "44760984243/4", + "event": 144, + "stage": 2 + }, + { + "entrance_defect": "6853175803563654580657412353688553663366203979840311602070522141037494678820185608051225156016450665035336765937414598492896870923820074580597/21658998927337013289635077423104000000000000000000000", + "entrance_mass": "8019347752894898813/16", + "event": 275, + "stage": 3 + }, + { + "entrance_defect": "88439370631103800489272372749342652057306546336748035042644846303917797437842038843213187368954394443079590055519601666239475037169521118174252285769/1082949946366850664481753871155200000000000000000000", + "entrance_mass": "258721681913211409397548013/2", + "event": 435, + "stage": 4 + }, + { + "entrance_defect": "314133519223099903715591980933606321749639828465811062353677914930029036219959838152706957819335373136087388973506359033002972806592746984950933504648256758193/7219666309112337763211692474368000000000000000000000", + "entrance_mass": "1102764325780487636837595009524032653/16", + "event": 627, + "stage": 5 + }, + { + "entrance_defect": "563764310037044791584403332022949445390364471228404162614901814306038524656362374797585094728600598346824580810476426095158442754907346033178773297598620390158260724679/5414749731834253322408769355776000000000000000000000", + "entrance_mass": "659697369868562418053848749577901431896032551/4", + "event": 848, + "stage": 6 + }, + { + "entrance_defect": "8548827084223883083066085560240229145853189031002802975184640303729274769376529293274979101131726316031292823063762734317254746488424282619146578594058339986326523374866199221721/34654398283739221263416123876966400000000000000000000", + "entrance_mass": "50017699262951285012300223375874644326538714050483088723/128", + "event": 1101, + "stage": 7 + }, + { + "entrance_defect": "35282941142970757382003647291962684904410894274381815481742760399632194353007741243511707216816352550366737123225957211988558252550056388587980557746509328794506410892084502633714530419367/14439332618224675526423384948736000000000000000000000", + "entrance_mass": "123860608372223676361208276303474840021608894935793894644443117475/32", + "event": 1383, + "stage": 8 + }, + { + "entrance_defect": "381906332763695430702120665015882618448123064379197738238739652928739747520595668748669513840657165382444047156744249518676323162516912748602332395046447395695845434873589955179764314665360448630903/86635995709348053158540309692416000000000000000000000", + "entrance_mass": "446893495694686287960280473450842802655971489871616126572592413520841719161/64", + "event": 1662, + "stage": 9 + }, + { + "entrance_defect": "10960686578314600812597711259174430251367086347994634107745312897192404973578529252404568948932465492103856831155507078896093074938694010579469908986889529672836282177644286756365484988704074894546764477602894234273535651819893289822811845479/21658998927337013289635077423104000000000000000000000", + "entrance_mass": "1603226733879417057855793968966209778425632456862348198524030211565823693253398434234475406089669867705587698766845597/2", + "event": 3203, + "stage": 10 + }, + { + "entrance_defect": "136724916182186816657794928995583253875431059534980592044914909225504394719798602760526632481038029886859727558062184592641495081665385199873471699848903778489311667911595556652168414818969457905383764767531804494295173745845208785843292126284067114681/346543982837392212634161238769664000000000000000000000", + "entrance_mass": "159990737255009044304340266028013949411590186711547802615104749842798991699729693917477577741470706009608765481680513095697397863/256", + "event": 3526, + "stage": 11 + }, + { + "entrance_defect": "609728051441220071901549621387285729055142642443614660783495090344637949299053667655369767631029960265579265897701268842549794587727746919889766512668389884057797592684108656586797914956270866558252699606927710590699244613840550754353936022114526105773167299361/1386175931349568850536644955078656000000000000000000000", + "entrance_mass": "713482539972112811302498126039122556478474335397824876612540289480809876975347015211250548661355667282704396311981650378099911649135840063/1024", + "event": 3821, + "stage": 12 + }, + { + "entrance_defect": "65577432564639222702118227934763952969038530826637975994622096310864214011542748484237834588737466053240021745973797544431852988549751616128652317640294528542386099639018196446193650455080559423075672137094301691416569547528013678185725749898216317361522540014447143819/154019547927729872281849439453184000000000000000000000", + "entrance_mass": "690627858377635566118234917748020783796286454330854789097666289598705747090709204201800639258908872647850357504982405971722609074791401430947671165/1024", + "event": 4088, + "stage": 13 + }, + { + "entrance_defect": "402391923136550116894076492280961094935779939608894448741450956126536802202658908245152446613615122397567885735613040111949578270585184406221924432475028657448261219021931396028923793369794533678592177075151450386940708254309920181908626870964992973775617924732882989274437316297/2772351862699137701073289910157312000000000000000000000", + "entrance_mass": "470865020405587123936906066570155601953174646068287322382245101819760273515813542612024822098129182481570490831889396523550001544922531326945370763196989399/2048", + "event": 4324, + "stage": 14 + }, + { + "entrance_defect": "39708640361248801116797472081994755163569694325490560970114998849774093861766464479126792079448754477069594674837369655590843935205823976900271841546790691427481973505538453907527923545655099774954144482693952786444438211983603903972448235999733857951114728481454215237696612573656925271/1386175931349568850536644955078656000000000000000000000", + "entrance_mass": "46465668615402712050475352820015987705766128000689019237904160504542353131957951954454381327545881694314550682714483945959032017848349099581053150524269011108711881/1024", + "event": 4532, + "stage": 15 + }, + { + "entrance_defect": "19397869560112462182780924849246717667476944547259406153172141447246170424283267743465012037176663963124818652381394257856407190161196406613559490783511984307246960113954258087545957479141809507329029714249675264423926025935859457083522760998913907605143075488780092528909581758373081985983195009/11089407450796550804293159640629248000000000000000000000", + "entrance_mass": "22698711681515933658235268009935719580127806482189476469420786919611768582281970304620813093468639555288906634046185136362302550495196405154606658307111274865117192668126623/8192", + "event": 4709, + "stage": 16 + }, + { + "entrance_defect": "40057507332658577558752594806728476886647369693148477727972844746713254972784038805036478337532947090191622937769672921462409664177674100724693322737850524113147633500717877692385460628814807642234353256625844282241020434697295363496142005129813285996752948320696476872118554994831610204640753067160991/2217881490159310160858631928125849600000000000000000000", + "entrance_mass": "234369503003028720835110712559034466962392865438574454855472632480300248897620917700915501102797005900029816899906431175273180672543487679750570754841237111980601879269511857634373/8192", + "event": 4858, + "stage": 17 + }, + { + "entrance_defect": "18866829485100830974255924051932331155705580290863377343438734682513339728990284637716799691606606128577769532292783935734958537935393854815413875745372261005195380329334936537733081758796056344076480077254642590242328768130319980390584823997582219216847870956448830562013698277484791954487584742580113593071813/1848234575132758467382193273438208000000000000000000000", + "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": "16939851105825346429127250922145689834750185920839953059852160520042018642844821525937399922576835660953443903201901376939228853/1353687432958563330602192338944000000000000000000000", + "strict_power_of_two": 253, + "witness": { + "cut": 73663, + "factor": "1", + "kind": "public-return", + "register": 1483 + } + }, + "M": { + "exact": "70738866500506815544594765106541149575105800867048836351282303692913912818028616105837337116364441390104051926036257093534756665787/173271991418696106317080619384832000000000000000000000", + "strict_power_of_two": 258, + "witness": { + "cut": 72935, + "factor": "1", + "kind": "stored", + "register": 1483 + } + }, + "Sigma": { + "exact": "16939851105825346429127250922145689834750185920839953059852160520042018642844821525937399922576835660953443903201901376939228853/1353687432958563330602192338944000000000000000000000", + "strict_power_of_two": 253, + "witness": { + "cut": 72935, + "factor": "1", + "kind": "stored", + "register": 1483 + } + } + }, + "census": { + "denominator_bits": 20, + "events": 73663, + "lifetimes": 54, + "max_denominator": 655360, + "max_numerator": 14729531, + "numerator_bits": 24, + "opcodes": { + "ADD": 63574, + "CLEAR": 54, + "COPY": 1, + "INIT": 54, + "MOVE": 6290, + "SCALE": 3690 + }, + "owned_labels": 51, + "peak_owned": 43, + "public": 1488, + "scalars": { + "dyadic": 61979, + "integer": 39266, + "noninteger": 27999, + "odd": 5286 + } + }, + "independent_adjoint": { + "Gamma": { + "active_residual_sites": 26062, + "entrance_mass": "70738866500506815544594765106541149575105800867048836351282303692913912818028616105837337116364441390104051926036257093534756665787/173271991418696106317080619384832000000000000000000000", + "residual_mass": "16939851105825346429127250922145689834750185920839953059852160520042018642844821525937399922576835660953443903201901376939228853/1353687432958563330602192338944000000000000000000000" + }, + "M": { + "active_residual_sites": 26062, + "entrance_mass": "70738866500506815544594765106541149575105800867048836351282303692913912818028616105837337116364441390104051926036257093534756665787/173271991418696106317080619384832000000000000000000000", + "residual_mass": "16939851105825346429127250922145689834750185920839953059852160520042018642844821525937399922576835660953443903201901376939228853/1353687432958563330602192338944000000000000000000000" + }, + "Sigma": { + "active_residual_sites": 26062, + "entrance_mass": "70738866500506815544594765106541149575105800867048836351282303692913912818028616105837337116364441390104051926036257093534756665787/173271991418696106317080619384832000000000000000000000", + "residual_mass": "16939851105825346429127250922145689834750185920839953059852160520042018642844821525937399922576835660953443903201901376939228853/1353687432958563330602192338944000000000000000000000" + } + } + }, + "scope": "Exact-child grid and attributed all-fibre error envelope, with one signed unitary per fused event", + "word": { + "coefficient_visits": 14992703, + "dyadic_height": 24, + "mass_witness": [ + 64711, + "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": [ + "413237271888476360295137177066037704095354907423111087555574526542586093655103/10000000000000000000000000000000000000000000000000000000000000000000000000000000", + "2066186359442381801475685885330188520476774537115555437777872632712930487036937/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "claim_decimal": "0.003638571131361", + "gain": "9.9670978E-8", + "gain_exact": "49835489/500000000000000", + "independent_raw_bracket": [ + "0.00363857113136153240018320147145009", + "0.0036385711313615324001832014714501" + ], + "previous_claim": "3638471460383/1000000000000000", + "raw_bracket": [ + "0.00363857113136153240018320147145", + "0.0036385711313615324001832014714501" + ] + }, + "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": "7a45d092b0bf8075e3d00242c72ac897be234e005cbcdfc47d06e9d2967359f0" + }, + "source_head": "3f6ff8c34b22af12b40c5a8bcee585cd1aafdb9c", + "status": "PASS_P104_FUNDED_RECIPROCAL_NATIVE", + "word_canonical_sha256": "7a45d092b0bf8075e3d00242c72ac897be234e005cbcdfc47d06e9d2967359f0" +} diff --git a/research/p104-funded-reciprocal-split/PROOF.md b/research/p104-funded-reciprocal-split/PROOF.md new file mode 100644 index 0000000000..9ef4c3198c --- /dev/null +++ b/research/p104-funded-reciprocal-split/PROOF.md @@ -0,0 +1,40 @@ +# A reciprocal residual helper split + +The exact source is #7118 at `3f6ff8c34b22af12b40c5a8bcee585cd1aafdb9c`, canonical native hash `cbce61015e22007f785474e2af2462a7d97ead1e105d71cd2d9cbc0a449580f3`. The complete 25-file export and every nested source inventory are authenticated before import. Every source native byte is reconstructed. All indices below refer to that frozen word, before insertion. + +## Legal meeting on the changed source + +At cut 44124, bring public roles 17, 789 and 745 to chart 246. Role 17's MOVE 33711 goes 232→127, rank 5; subdivide it through chart 246 into ranks 4 and 1. Its contact-free interval is [33568,47128). Role 789's rank-4 MOVE 45213 goes 232→246, and role 745's rank-1 MOVE 44153 goes 541→246. Advance both unchanged moves to the cut. Their intervals are [36315,45214) and [43973,44154). + +Role 789's current path was introduced by #7118. Its new position must be checked against that changed word; the earlier reciprocal nomination cannot simply be assumed independent. The constructor checks all events and source reads in each interval, source/destination frames, nesting, distinct roles and exact old/new paid Counters. All moves are public. The two pieces compose to the old chart map because C_b C_f⁻¹ C_f C_a⁻¹=C_b C_a⁻¹, including absolute phase. Retiming across operations on other fields preserves the word. Owned labels shift by one; all 54 lifetimes, peak 43 and 23 rises of mass 56 remain unchanged. + +## Independent retirement and continuation + +For the retimed prefix P and suffix S, WITNESS.json gives + + a = e789ᵀ − e17ᵀ/4 − e448ᵀ/16 − e472ᵀ/2 − 2e745ᵀ, + b = −4e17, + c = −e344ᵀ/4 + e592ᵀ/2 − e448ᵀ/16 − e472ᵀ/2, + d = −4e344. + +Exact rational replay proves aP=c, Sb=d and ab=cd=1. Both c,d use only independent helpers with endpoints 3→127. Every field in a,b, and pivot 299, actually occupies chart 246 at the cut. The cut injection uses main role 17, but its net endpoint defect is confined to the helper group; the full arbitrary-input check verifies the main outputs too. + +Ali Romman's attributed basis routine emits G at boundary 3 and J at cut 246 with row299(G)=c, Gd=e299, row299(J)=a and Jb=e299. Their lengths are eight and nine instructions. Both programs and their inverses satisfy the retained 2,3,5-smooth alphabet and scalar magnitude bound. All four applications add 26 ADDs and eight SCALEs. + +Apply G⁻¹ before P and J after P. The cut coordinate 299 is its original independent input x299 because aPG⁻¹=cG⁻¹=e299ᵀ. Retire it at chart 246, substitute a fresh independent input z, apply J⁻¹ with the new role, continue S and apply G at the output boundary using the new role. The replacement changes the suffix by d(z−x299), which G maps to e299(z−x299). The complete source is identity on the helper group and has no coupling to other inputs or outputs, so it commutes with G. Every other native endpoint is restored. This does not invert P or S and retains the owned initialization/erasure operations and assumptions. + +The original pivot now has target 3→246, rank 8. Fresh role 1487 has target 246→127, rank 1. The new word has 73,663 events and 1,488 public inputs, with canonical hash `7a45d092b0bf8075e3d00242c72ac897be234e005cbcdfc47d06e9d2967359f0`. Both forward and adjoint checks cover all independent public inputs and owned rows. Full physical and caller checks apply to this exact changed word. + +## Complete signed budget + +With H_r=r^(1−κ), the native changes are + + ΔP = H1 + H4 − H5, + ΔT = H1 + H8 − H9, + Δ(T−P) = H8 + H5 − H9 − H4 > 0, 0<κ<1. + +Strict concavity gives H5−H4>H9−H8. Both paid and productive rank masses remain unchanged. The retained 17-stage caller multiplies the deltas by 17: ΔP={1:+17,4:+17,5:−17}, ΔT={1:+17,8:+17,9:−17}. Surplus remains 1424, with no empty-root credit. Both exact engines reconstruct the full old and new invoices and reject #7118's invoice at the new claim. The result does not add predecessor decimals or assume that separate nominations commute. + +All 34 scalar instructions, one net added MOVE, the extra independent input, both odd conversions and current precision/physical costs enter APPLICATION.md. The fixed-invoice crossing does not bound other words or callers. The five framework assumptions remain; independent mathematical review and maintainer admission are separate. + +Credit Ali Romman for helper bases and paid meetings; Jerry Chen/CubeJerry for causal retiming and native engines; Matarener for discovery kernels and pairing; Rohan Arun for the signed 17-stage caller; ToikY, DreamingOfClouds, Douglas Colkitt/#7000 reviewers and every retained source author. Prepared for dillona with substantial OpenAI Codex assistance. Apache-2.0. diff --git a/research/p104-funded-reciprocal-split/README.md b/research/p104-funded-reciprocal-split/README.md new file mode 100644 index 0000000000..7c07b82914 --- /dev/null +++ b/research/p104-funded-reciprocal-split/README.md @@ -0,0 +1,52 @@ +# Conditional κ 0.003639143435066 from a reciprocal residual split + +This construction improves [#7118](https://github.com/CrocSwap/integer-mult-bounds/pull/7118) by **0.000000100503559**. It verifies a second residual helper mode on that exact changed word. One paid rank-five MOVE becomes ranks four and one; two neutral advances bring the required fields to chart 246. Another independent helper9 target then becomes helper8+helper1. The complete profile changes, with the same signed 17-stage caller. The selected frontier is unchanged. + +The exact conditional claim is `1819571717533/500000000000000`. Both price engines reject #7118's invoice at this claim. The independent raw crossing is + +``` +(0.00363914343506692386360470011163804, + 0.00363914343506692386360470011163805). +``` + +This is the emitted invoice's ceiling; more than 0.9999999999997 of it is realized. The retained BIT cap 0.00376669 leaves 0.000127546564934 headroom, without asserting that it is attainable. The old `complex-local-word-ceiling/ceiling.py` assumes a hosted nine-stage coverage law. This signed 17-stage caller has independent productive helper targets and lies outside those hypotheses; the complete signed-invoice crossing above is the applicable replacement bound. It does not bound other words or callers. + +## Concrete change and complete costs + +[PROOF.md](PROOF.md) gives the exact identity. At source cut 44124, chart 246, role 17 pays the rank-five subdivision while roles 789 and 745 advance their rank-four and rank-one moves. Pivot 299 retires; fresh role 1487 receives an independent arbitrary input. The constructor checks all three actual contact-free intervals on #7118. In particular, role 789's move was introduced by the previous split, so its interaction is replayed rather than assumed. + +The word adds **26 ADDs, eight SCALEs and one net MOVE**. It has 73,663 events, 1,488 public inputs, 1,088 independent helpers and 51 owned labels. All 54 owned lifetimes, peak 43 and 23 rises of mass 56 remain unchanged. The new exact native grid is 1125/F24. The fresh complete ordinary bound is **777,686,320 <10⁹**, and precision gives **c=2342**, context height 405 and mass exponent 1171. + +| Complete 17-stage invoice | #7118 | This construction | +|---|---:|---:| +| Paid positions |110689|110706| +| Productive fields |22223|22240| +| Rank surplus |1424|1424| +| Empty-root credits |0|0| + +The deltas are ΔP={1:+17,4:+17,5:−17} and ΔT={1:+17,8:+17,9:−17}. Native signed gain H8+H5−H9−H4 is positive by strict concavity for H_r=r^(1−κ), 0<κ<1. Full ordinary, precision, physical and outer costs are recomputed separately; predecessor gains are not added as decimals. + +## Sources and reproduction + +`INPUTS.json` authenticates the complete 25-file #7118 export at `3f6ff8c34b22af12b40c5a8bcee585cd1aafdb9c` by SHA256 and Git blob IDs, and preserves all nested sources and notices. Every source native byte is reconstructed before the edit. Source native hash: `cbce61015e22007f785474e2af2462a7d97ead1e105d71cd2d9cbc0a449580f3`. New native hash: `7a45d092b0bf8075e3d00242c72ac897be234e005cbcdfc47d06e9d2967359f0`. The literal caller remains byte-identical to Rohan Arun's #7113 at `07a76c5e2738882c0cb322278e56f6cae3c9885d`, SHA256 `255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc`. + +```sh +python3.12 -B scripts/research_package.py --package research/p104-funded-reciprocal-split +``` + +The first command reconstructs the source and candidate, checks both arbitrary-input native orientations, derives the grid, checks the 18-stage ingredient invoice and runs the complete finite physical native/signed routes. The second command reconstructs both complete 17-stage invoices, emits the unchanged rational/integer Laurent caller and freshly checks the full application. All **3,048 paid/helper maps and 104 main boundaries** receive signed-Pauli/absolute-phase checks; five affected pairs additionally receive all 512 column checks. Sixteen native corruption controls, phase/owner/caller-grid/BIT controls and 54 strict+4 functional outer gates remain active. Every frozen receipt field is compared. [VALIDATION.md](VALIDATION.md) records the completed runs and limits. + +The standard-library replay needs neither Git nor network, rejects optimized Python, and writes fresh receipts only through `--out UNUSED_PATH`. The separate 18-stage ingredient receipt is not the final 17-stage claim. [APPLICATION.md](APPLICATION.md) supplies all source-specific operator, owner/phase, grid, precision and fixed-tape substitutions. + +## 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 a compiled top-level multiplier are not supplied. + +Prepared for dillona with substantial OpenAI Codex assistance; no subagents. Apache-2.0. Credit **Ali Romman** for helper bases and paid meetings; **Jerry Chen/CubeJerry** for retiming and native/invoice/compiler engines; **Matarener** for complete discovery kernels and pairing; **Rohan Arun** for the 17-stage caller/application; **ToikY** and **DreamingOfClouds** for the signed/native lineage; **Douglas Colkitt/#7000 reviewers** for the selected source-specific proof and BIT ambient 134 repair; all earlier dillona/OpenAI Codex contributions through #7118; and all retained source authors/notices. ToikY's pending chart 120 rank 8 lead remains distinct and unclaimed. + +## Open next questions + +- Independently review the actual interaction with #7118's changed role 789 path and the complete component application. +- Can a distinct published edit compose with this word? Pin and replay its exact identity and full costs; the local search provides no general independence or optimality theorem. + +[Canonical investigation](https://github.com/CrocSwap/integer-mult-bounds/discussions/1166#discussioncomment-19520521). `DISCOVERY.json` distinguishes local nomination evidence from the exact public witness. diff --git a/research/p104-funded-reciprocal-split/REPLAY.txt b/research/p104-funded-reciprocal-split/REPLAY.txt new file mode 100644 index 0000000000..dc4a99d8eb --- /dev/null +++ b/research/p104-funded-reciprocal-split/REPLAY.txt @@ -0,0 +1,73 @@ +CHECK Authenticate/reconstruct exact7118 from complete25-file export and nested closure; verify three retimed paths, arbitrary-input forward/adjoint, exact paid/target Counters, fresh grids and18-stage ingredient bill, precision, all512columns of5affectedmaps,16negativecontrols, full finite native/signed-route replay and every NATIVE-RESULT 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 73663 public 1488 owned roles 51 paid {1: 4034, 2: 841, 3: 817, 4: 239, 5: 325, 6: 16, 7: 12, 8: 6} owned UP {1: 10, 2: 4, 3: 1, 4: 6, 5: 1, 6: 1} helpers {1: 17, 2: 18, 3: 46, 4: 217, 5: 71, 6: 42, 7: 18, 8: 59, 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 73663 events, 2963 chart pairs, 20s +prime 1000000009 seed 11: helper rows bad 0 (of 1088), 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 26s +PASS chart columns and phase, rejection controls and finite physical replay +PASS_P104_FUNDED_RECIPROCAL_NATIVE 3638571131361/1000000000000000 +CHECK Reconstruct current7118 and candidate17-stage invoices, unchanged literal caller, all3048paid/helpermaps and104mainboundaries, fresh grids/envelopes, ordinary/physical/fixed-tape costs, two exact prices and54+4outer checks; compare every RESULT field. +PASS two reconstructed invoices and both exact price engines 0.003639143435066 +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 ['1819571717533461931802350055819/500000000000000000000000000000000', '36391434350669238636047001116381/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 110706 13600 22240 +RUN check_odd_precision.py +PASS short precision 405 1171 2342 +RUN check_odd_partial_admission.py +ordinary bill 777686320 +PASS partial signed short gates 777686320 1819571717533/500000000000000 {'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 42280864 25471767360 precision 2342 +RUN complete catalogue 0 1000 +RUN complete catalogue 1000 2000 +RUN complete catalogue 2000 3048 +PASS complete 8+9 component application checks 1819571717533/500000000000000 3048 110706 +PASS_P104_FUNDED_RECIPROCAL_SPLIT 1819571717533/500000000000000 +PASS_REGISTERED_RESEARCH_PACKAGE research/p104-funded-reciprocal-split outcome=partial diff --git a/research/p104-funded-reciprocal-split/RESULT.json b/research/p104-funded-reciprocal-split/RESULT.json new file mode 100644 index 0000000000..2643914c98 --- /dev/null +++ b/research/p104-funded-reciprocal-split/RESULT.json @@ -0,0 +1,1545 @@ +{ + "adapter": { + "adapted_sha256": { + "check_odd_partial_admission.py": "edea0a35958623557e6763f9d46a5fbcc5727e365959506e01fd234a3a24d34c", + "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(\".003639143435066\")", + "old": "claim=Q(\".00363797977\")" + }, + { + "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": "c46b6f41e99499c02b8919f7f309b5ab1845e8df0de0695a2ac934e72ddca87c", + "catalogue_size": 3048, + "checked_maps": 1000, + "distinct_helper_maps": 184, + "distinct_paid_maps": 2963, + "exact_recipe_digest": "b15ce4ccb1f1620a4a13686db246fc9ed5937b614c5693297c9c514d726cfc39", + "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": "c235220e7ab86ccc7bbd01a90e6967bfb6c73e38a636f4ff0d1c2d4c4d8ea5a1" + }, + { + "catalogue_digest": "c46b6f41e99499c02b8919f7f309b5ab1845e8df0de0695a2ac934e72ddca87c", + "catalogue_size": 3048, + "checked_maps": 1000, + "distinct_helper_maps": 184, + "distinct_paid_maps": 2963, + "exact_recipe_digest": "c3905a6b7d6dd40cb63f001c90cda93c912426a6887aa7a2e5b7d6c34beae423", + "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": "c235220e7ab86ccc7bbd01a90e6967bfb6c73e38a636f4ff0d1c2d4c4d8ea5a1" + }, + { + "catalogue_digest": "c46b6f41e99499c02b8919f7f309b5ab1845e8df0de0695a2ac934e72ddca87c", + "catalogue_size": 3048, + "checked_maps": 1048, + "distinct_helper_maps": 184, + "distinct_paid_maps": 2963, + "exact_recipe_digest": "34fae455ec7fc7f3e5dbd548aee6ab1554c851637e2793e81e2a428f19d01686", + "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": 3048, + "status": "PASS_CURRENT_NATIVE_CATALOGUE_SLICE", + "word_sha256": "c235220e7ab86ccc7bbd01a90e6967bfb6c73e38a636f4ff0d1c2d4c4d8ea5a1" + } + ], + "checks": { + "ODD-8X9-APPLICATION-CHECKS.json": { + "assumptions": [ + "native_all_columns", + "owned_erasure", + "compiler", + "precision_tape", + "analytic_recovery" + ], + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "candidate": "1819571717533/500000000000000", + "catalogue": [ + { + "catalogue_digest": "c46b6f41e99499c02b8919f7f309b5ab1845e8df0de0695a2ac934e72ddca87c", + "catalogue_size": 3048, + "checked_maps": 1000, + "distinct_helper_maps": 184, + "distinct_paid_maps": 2963, + "exact_recipe_digest": "b15ce4ccb1f1620a4a13686db246fc9ed5937b614c5693297c9c514d726cfc39", + "log_sha256": "f50d9d485bce80858f9f2333a977dbce592f6cf411073edc8c2ef7c8b1353065", + "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": "c235220e7ab86ccc7bbd01a90e6967bfb6c73e38a636f4ff0d1c2d4c4d8ea5a1" + }, + { + "catalogue_digest": "c46b6f41e99499c02b8919f7f309b5ab1845e8df0de0695a2ac934e72ddca87c", + "catalogue_size": 3048, + "checked_maps": 1000, + "distinct_helper_maps": 184, + "distinct_paid_maps": 2963, + "exact_recipe_digest": "c3905a6b7d6dd40cb63f001c90cda93c912426a6887aa7a2e5b7d6c34beae423", + "log_sha256": "f2ca3eb388d8e022353bb081c2dfc6335d054ddf08d6a9a671e55b749bfd0200", + "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": "c235220e7ab86ccc7bbd01a90e6967bfb6c73e38a636f4ff0d1c2d4c4d8ea5a1" + }, + { + "catalogue_digest": "c46b6f41e99499c02b8919f7f309b5ab1845e8df0de0695a2ac934e72ddca87c", + "catalogue_size": 3048, + "checked_maps": 1048, + "distinct_helper_maps": 184, + "distinct_paid_maps": 2963, + "exact_recipe_digest": "34fae455ec7fc7f3e5dbd548aee6ab1554c851637e2793e81e2a428f19d01686", + "log_sha256": "088407d908284b27ef48a5ca892d0a902fbe434d129598fefbd78704ef96fc9d", + "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": 3048, + "status": "PASS_CURRENT_NATIVE_CATALOGUE_SLICE", + "word_sha256": "c235220e7ab86ccc7bbd01a90e6967bfb6c73e38a636f4ff0d1c2d4c4d8ea5a1" + } + ], + "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": 2342, + "elementary_records_per_map_upper": 85264, + "elementary_records_upper": 25471767360, + "log_power": 2234, + "max_scalar_numerator_bits": 24, + "monomial_map_slots": 298740, + "native_invocations": 17, + "native_sha256": "7a45d092b0bf8075e3d00242c72ac897be234e005cbcdfc47d06e9d2967359f0", + "owned_banks_per_raw_occurrence": 867, + "scalar_macro_inputs": { + "caller": 117856, + "conversions": 58080, + "native": 1145341 + }, + "scalar_services_upper": 42280864, + "scalar_steps_coefficient": 44334699249664, + "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": "1819571717533/500000000000000" + }, + "native_archive_sha256": "c235220e7ab86ccc7bbd01a90e6967bfb6c73e38a636f4ff0d1c2d4c4d8ea5a1", + "native_canonical_sha256": "7a45d092b0bf8075e3d00242c72ac897be234e005cbcdfc47d06e9d2967359f0", + "numeric_gate": { + "BIT_margin": "12754656493393/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16487800000000000000000", + "alpha": [ + 0.9999999999999989, + 0.9999999999999989 + ], + "claim": "1819571717533/500000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.9006601640155075, + 0.9006601640155075 + ], + "derivative_upper": -382326.0895712002, + "gamma": [ + 0.9407344033964786, + 0.9407344033964786 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "1819571717533/500000000000000": [ + "62084225591615366074724275772189669230971679917115753735999934519857330197231/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "62084225591615366074724275772189669230971679917115753735999934519857330198213/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "363914343506607/100000000000000000": [ + "124168451183233018831875726761743295094253194798961289022709010586011354091079/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124168451183233018831875726761743295094253194798961289022709010586011354093051/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2233, + "moment_margin_float": { + "1819571717533461931802350055819/500000000000000000000000000000000": [ + 1.6371173703324665e-29, + 1.6371173703324665e-29 + ], + "363914343506607/100000000000000000": [ + 3.316273779506956e-10, + 3.316273779506956e-10 + ], + "36391434350669238636047001116381/10000000000000000000000000000000000": [ + -2.2467274981599318e-29, + -2.2467274981599318e-29 + ] + }, + "moment_margins": { + "1819571717533461931802350055819/500000000000000000000000000000000": [ + "1637117370332466451273828933505028404231178929009487/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "204639671291558306409228616688128550528897370981319/12500000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "363914343506607/100000000000000000": [ + "6632547559013912133292340150207781681990708699911807655552237461573879/20000000000000000000000000000000000000000000000000000000000000000000000000000000", + "33162737795069560666461700751038908409953543499559038277761187346241821/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "36391434350669238636047001116381/10000000000000000000000000000000000": [ + "-2246727498159931850237257018838706243070982641444377/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-1123363749079965925118628509419353121535491301538289/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "1819571717533461931802350055819/500000000000000000000000000000000", + "36391434350669238636047001116381/10000000000000000000000000000000000" + ], + "tested": "363914343506607/100000000000000000", + "written_log_power": 2234 + }, + "physical_binding": { + "ambient": 145, + "complete_paid_position_digest": "c6409509ef9abd4272b022021f6ba8683c1ca0219f8830838427af64fc366366", + "fresh_helpers": 18496, + "idle_uses": 3392, + "lambda_uses": 11280, + "native_calls": 17, + "native_contact_boundaries": 13600, + "native_public": 1488, + "nonzero_boundary_translations": 13600, + "paid": { + "1": 68962, + "16": 416, + "2": 14297, + "24": 416, + "3": 13889, + "32": 416, + "4": 4063, + "40": 416, + "48": 416, + "5": 5525, + "56": 416, + "6": 272, + "64": 208, + "7": 204, + "8": 758, + "9": 32 + }, + "paid_positions": 110706, + "phase_record_digest": "586ab7499fb677afdd83c397ea0b6d3b25f73ea6cdfa1ec95dd68adccff935ad", + "productive_fields": 22240, + "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": 782, + "33": 416, + "4": 3689, + "41": 416, + "49": 416, + "5": 1207, + "57": 416, + "6": 714, + "65": 416, + "7": 306, + "73": 208, + "8": 1003, + "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": 777686320, + "init_clear_allowance": 216, + "lambda_paid_rank1_would_reduce_S_by": 11280, + "lambda_second_charge": 11280000, + "margin_to_billion": 222313680, + "odd_divisions": { + "ADD": 5219, + "SCALE": 67 + }, + "per_input_conversion": 2630784, + "raw_upper": 761047376, + "route_items": { + "first_main_adapter": 416, + "first_main_boundary": 208, + "helper_boundary": 2176, + "moves": 6290, + "owned_lifetime": 216, + "second_main_adapter": 384, + "second_main_boundary": 192 + }, + "routing": 9882000, + "scalar_upper": 1989120 + }, + "status": "PASS_8X9_EXACT_COMPONENT_APPLICATION_CHECKS" + }, + "ODD-ADMISSION-PARTIAL.json": { + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "compiler_outer": { + "BIT_margin": "12754656493393/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16487800000000000000000", + "alpha": [ + 0.9999999999999989, + 0.9999999999999989 + ], + "claim": "1819571717533/500000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.9006601640155075, + 0.9006601640155075 + ], + "derivative_upper": -382326.0895712002, + "gamma": [ + 0.9407344033964786, + 0.9407344033964786 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "1819571717533/500000000000000": [ + "62084225591615366074724275772189669230971679917115753735999934519857330197231/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "62084225591615366074724275772189669230971679917115753735999934519857330198213/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "363914343506607/100000000000000000": [ + "124168451183233018831875726761743295094253194798961289022709010586011354091079/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124168451183233018831875726761743295094253194798961289022709010586011354093051/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2233, + "moment_margin_float": { + "1819571717533461931802350055819/500000000000000000000000000000000": [ + 1.6371173703324665e-29, + 1.6371173703324665e-29 + ], + "363914343506607/100000000000000000": [ + 3.316273779506956e-10, + 3.316273779506956e-10 + ], + "36391434350669238636047001116381/10000000000000000000000000000000000": [ + -2.2467274981599318e-29, + -2.2467274981599318e-29 + ] + }, + "moment_margins": { + "1819571717533461931802350055819/500000000000000000000000000000000": [ + "1637117370332466451273828933505028404231178929009487/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "204639671291558306409228616688128550528897370981319/12500000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "363914343506607/100000000000000000": [ + "6632547559013912133292340150207781681990708699911807655552237461573879/20000000000000000000000000000000000000000000000000000000000000000000000000000000", + "33162737795069560666461700751038908409953543499559038277761187346241821/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "36391434350669238636047001116381/10000000000000000000000000000000000": [ + "-2246727498159931850237257018838706243070982641444377/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-1123363749079965925118628509419353121535491301538289/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "1819571717533461931802350055819/500000000000000000000000000000000", + "36391434350669238636047001116381/10000000000000000000000000000000000" + ], + "tested": "363914343506607/100000000000000000", + "written_log_power": 2234 + }, + "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": 13889, + "32": 416, + "4": 4063, + "40": 416, + "48": 416, + "5": 5525, + "56": 416, + "6": 272, + "64": 208, + "7": 204, + "8": 758, + "9": 32 + }, + "S": 1424, + "T": { + "1": 289, + "137": 208, + "17": 416, + "2": 306, + "25": 416, + "3": 782, + "33": 416, + "4": 3689, + "41": 416, + "49": 416, + "5": 1207, + "57": 416, + "6": 714, + "65": 416, + "7": 306, + "73": 208, + "8": 1003, + "9": 10616 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036391434350669238636047001116380421519763472929433103815667513211", + "raw_crossing": "0.0036391434350669238636047001116380421519763472929433103815667513211" + }, + "native_sha256": "7a45d092b0bf8075e3d00242c72ac897be234e005cbcdfc47d06e9d2967359f0", + "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": 777686320, + "init_clear_allowance": 216, + "lambda_paid_rank1_would_reduce_S_by": 11280, + "lambda_second_charge": 11280000, + "margin_to_billion": 222313680, + "odd_divisions": { + "ADD": 5219, + "SCALE": 67 + }, + "per_input_conversion": 2630784, + "raw_upper": 761047376, + "route_items": { + "first_main_adapter": 416, + "first_main_boundary": 208, + "helper_boundary": 2176, + "moves": 6290, + "owned_lifetime": 216, + "second_main_adapter": 384, + "second_main_boundary": 192 + }, + "routing": 9882000, + "scalar_upper": 1989120 + }, + "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": 2342, + "elementary_records_per_map_upper": 85264, + "elementary_records_upper": 25471767360, + "log_power": 2234, + "max_scalar_numerator_bits": 24, + "monomial_map_slots": 298740, + "native_invocations": 17, + "native_sha256": "7a45d092b0bf8075e3d00242c72ac897be234e005cbcdfc47d06e9d2967359f0", + "owned_banks_per_raw_occurrence": 867, + "scalar_macro_inputs": { + "caller": 117856, + "conversions": 58080, + "native": 1145341 + }, + "scalar_services_upper": 42280864, + "scalar_steps_coefficient": 44334699249664, + "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": "1819571717533/500000000000000" + }, + "ODD-PHYSICAL-BINDING.json": { + "aliased_main_rejected": true, + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "native_sha256": "7a45d092b0bf8075e3d00242c72ac897be234e005cbcdfc47d06e9d2967359f0", + "occurrence_and_geometry": { + "ambient": 145, + "complete_paid_position_digest": "c6409509ef9abd4272b022021f6ba8683c1ca0219f8830838427af64fc366366", + "fresh_helpers": 18496, + "idle_uses": 3392, + "lambda_uses": 11280, + "native_calls": 17, + "native_contact_boundaries": 13600, + "native_public": 1488, + "nonzero_boundary_translations": 13600, + "paid": { + "1": 68962, + "16": 416, + "2": 14297, + "24": 416, + "3": 13889, + "32": 416, + "4": 4063, + "40": 416, + "48": 416, + "5": 5525, + "56": 416, + "6": 272, + "64": 208, + "7": 204, + "8": 758, + "9": 32 + }, + "paid_positions": 110706, + "phase_record_digest": "586ab7499fb677afdd83c397ea0b6d3b25f73ea6cdfa1ec95dd68adccff935ad", + "productive_fields": 22240, + "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": 782, + "33": 416, + "4": 3689, + "41": 416, + "49": 416, + "5": 1207, + "57": 416, + "6": 714, + "65": 416, + "7": 306, + "73": 208, + "8": 1003, + "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": 2342, + "context_height": 405, + "context_mass_bits": 1171, + "native_grid": { + "coefficient_visits": 14992703, + "dyadic_height": 24, + "mass_witness": [ + 64711, + "stored add" + ], + "maximum_scaled_mass": "1630603680282225/16384", + "numerator_bits": 24, + "odd_scale_lcm": 1125 + }, + "native_sha256": "7a45d092b0bf8075e3d00242c72ac897be234e005cbcdfc47d06e9d2967359f0", + "precision_program_sha256": "7696f2e4074ccc9c970670494595e2a973742279a6109d1e60fd551a4611d236", + "rounded_caller": { + "bounds": { + "E_joint_entrance": { + "exact": "2443033552105291291980429084724648833098005855016026100868888009662672505190351616726571165939754805481686252089431466361044418138961055973027216120530039842753641033224954581197097364342736020896284476370567590419800672274282836570545445483435141567343518176612494573111558633533426144552970964722018596749718164790980550861474309258931484297559780342671838073203771238576758557492873043497164980947030311073429313299661/19759048545930135177023429227315200000000000000000000000000000000000000000000000", + "strict_power_of_two": 1134, + "witness": { + "cut": 4691, + "event": 4691, + "factor": "1", + "kind": "stored", + "register": 36 + } + }, + "Gamma_context": { + "exact": "63048837912001570611454355416806740081226077518213154454807596650150786889849698627161554302571046844433988071341154662144097055288401589569866817437615656853898546492604737597241641405690647891278076692400841914409789811592515699892910811021582270414081880814623520805374879076942891043981215406922241080853557012725352603769802132127985853162173897405956997183409199688558652194333041172836836739301109624943560343026031/14819286409447601382767571920486400000000000000000000000000000000000000000000000", + "strict_power_of_two": 1139, + "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": "880452279613397267416376537794461002420444891927667209676981809895928073964681084659195648932833686542163521475076726780377266694570029659988484947763446204165689023286785192833328175639912786029026399765676269922932754285199122512967543454059711489629685341357543282129418009083195201049943000088808562133908312580167356269696042913553405583534747637063049166333171772556412578633424061882684434258700382961787253957797420677/105381592244960720944124955879014400000000000000000000000000000000000000000000000", + "strict_power_of_two": 1150, + "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": "63048837912001570611454355416806740081226077518213154454807596650150786889849698627161554302571046844433988071341154662144097055288401589569866817437615656853898546492604737597241641405690647891278076692400841914409789811592515699892910811021582270414081880814623520805374879076942891043981215406922241080853557012725352603769802132127985853162173897405956997183409199688558652194333041172836836739301109624943560343026031/14819286409447601382767571920486400000000000000000000000000000000000000000000000", + "strict_power_of_two": 1139, + "witness": { + "cut": 4753, + "event": 4752, + "factor": "1", + "kind": "stored", + "register": 37 + } + }, + "Sigma_context": { + "exact": "172817424298635162027189620299379153734955373243202843942875777517171225729873650568349770965016014526532031262026843260089159715889415086569500443675720624838633607668135496951718568453716384002686428647569171768285177972402946457640414424116121899976839059574982782895926706957137453867952384030426075748006299773468184678268637564964971612762856495806684268811056183844481669832350238823102115720178949963267585732426250861317413955461133385766167534540252390878620434027746336107374936516828698445503455077294062303176709447170430253628731557398207/3423689690092006159733108133936318139518312371955275640514963046400000000000000000000000000000000000000000000000000000000000000000000", + "strict_power_of_two": 1391, + "witness": { + "cut": 4692, + "event": 4691, + "factor": "1", + "kind": "stored", + "register": null + } + } + }, + "fresh_arbitrary_helpers": 18496, + "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": "2443033552105291291980429084724648833098005855016026100868888009662672505190351616726571165939754805481686252089431466361044418138961055973027216120530039842753641033224954581197097364342736020896284476370567590419800672274282836570545445483435141567343518176612494573111558633533426144552970964722018596749718164790980550861474309258931484297559780342671838073203771238576758557492873043497164980947030311073429313299661/19759048545930135177023429227315200000000000000000000000000000000000000000000000" + }, + "Gamma_context": { + "entrance_mass": "321214676655933560129782836030951119958622429471431692811117505066079252658303325303661828534046786576018850667853596288128047313819788006911616028348392581085050721023636971054851673799947587501432346122953175312809813833001587100311020687804583808767060460431114911369649528995555025426696059541/456139469146728515625000000", + "joint_coefficient": "3721923971948022264020008386608472289590988528157114268392412469599050143495508978788641788787976594161440706214373829555996384554677122174093932095769106055424540710380314024651007332164525664382203471694821380954416641216321248248752759218861172626274920078125266851782731337714997593665899027/10947347259521484375000000000", + "primitive_coefficient": "31933635363307317503891208167952125518099265598871297188945655447689887409437080424471754322893069036961252717295444311531802702290424391181977246033332095685934810861449534911850277930109610390733877602745069385156892357266512877411313922547610591253415658016844390796379192959369382262182067424881/131368167114257812500000000000", + "residual_mass": "63048837912001570611454355416806740081226077518213154454807596650150786889849698627161554302571046844433988071341154662144097055288401589569866817437615656853898546492604737597241641405690647891278076692400841914409789811592515699892910811021582270414081880814623520805374879076942891043981215406922241080853557012725352603769802132127985853162173897405956997183409199688558652194333041172836836739301109624943560343026031/14819286409447601382767571920486400000000000000000000000000000000000000000000000" + }, + "M_caller": { + "entrance_mass": "321214676655933560129782836030951119958622429471431692811117505066079252658303325303661828534046786576018850667853596288128047313819788006911616028348392581085050721023636971054851673799947587501432346122953175312809813833001587100311020687804583808767060460431114911369649528995555025426696059541/456139469146728515625000000", + "joint_coefficient": "3721923971948022264020008386608472289590988528157114268392412469599050143495508978788641788787976594161440706214373829555996384554677122174093932095769106055424540710380314024651007332164525664382203471694821380954416641216321248248752759218861172626274920078125266851782731337714997593665899027/10947347259521484375000000000", + "primitive_coefficient": "31933635363307317503891208167952125518099265598871297188945655447689887409437080424471754322893069036961252717295444311531802702290424391181977246033332095685934810861449534911850277930109610390733877602745069385156892357266512877411313922547610591253415658016844390796247824792255124449682067424881/131368167114257812500000000000", + "residual_mass": "63048837912001570611454355416806740081226077518213154454807596650150786889849698627161554302571046844433988071341154662144097055288401589569866817437615656853898546492604737597241641405690647891278076692400841914409789811592515699892910811021582270414081880814623520805374879076942891043981215406922241080853557012725352603769802132127985853147354610996509395800641627768072252194333041172836836739301109624943560343026031/14819286409447601382767571920486400000000000000000000000000000000000000000000000" + }, + "M_joint_entrance": { + "entrance_mass": "12446513821466013746992171114880354528234540647439407368041740746722705684890095694539586093101687855496797040728247169012299728404791642365323413178973703529222728715961384485250463009966565309368602073434714550373752128374887698957802006867751735225949803848812917591840288770078529478244705471/608185958862304687500000000", + "joint_coefficient": "144218124282401204617230263054514744346632405857442589144991781917530152132889870002846209306787762894150543865356389849084238452276894627352790762454037345126994351979907477144401257368423063007427271766117739822282248246858569624239109891511459830034432108241771054783468611278140179030295737/14596463012695312500000000000", + "primitive_coefficient": "1237373204913668966810008103424843603237049842106979534739539344726881600855129275554334885562896567825503574055929527662143657491595081161117482238618339640110136792453314323518006796600687371906278112102741547626404362403105174332310591538741639237757093806525664195341657589882317257470101709011/175157556152343750000000000000", + "residual_mass": "2443033552105291291980429084724648833098005855016026100868888009662672505190351616726571165939754805481686252089431466361044418138961055973027216120530039842753641033224954581197097364342736020896284476370567590419800672274282836570545445483435141567343518176612494573111558633533426144552970964722018596749718164790980550861474309258931484297559780342671838073203771238576758557492873043497164980947030311073429313299661/19759048545930135177023429227315200000000000000000000000000000000000000000000000" + }, + "Sigma_caller": { + "entrance_mass": "321214676655933560129782836030951119958622429471431692811117505066079252658303325303661828534046786576018850667853596288128047313819788006911616028348392581085050721023636971054851673799947587501432346122953175312809813833001587100311020687804583808767060460431114911369649528995555025426696059541/456139469146728515625000000", + "joint_coefficient": "3721923971948022264020008386608472289590988528157114268392412469599050143495508978788641788787976594161440706214373829555996384554677122174093932095769106055424540710380314024651007332164525664382203471694821380954416641216321248248752759218861172626274920078125266851782731337714997593665899027/10947347259521484375000000000", + "primitive_coefficient": "31933635363307317503891208167952125518099265598871297188945655447689887409437080424471754322893069036961252717295444311531802702290424391181977246033332095685934810861449534911850277930109610390733877602745069385156892357266512877411313922547610591253415658016844390796379192959369382262182067424881/131368167114257812500000000000", + "residual_mass": "63048837912001570611454355416806740081226077518213154454807596650150786889849698627161554302571046844433988071341154662144097055288401589569866817437615656853898546492604737597241641405690647891278076692400841914409789811592515699892910811021582270414081880814623520805374879076942891043981215406922241080853557012725352603769802132127985853162173897405956997183409199688558652194333041172836836739301109624943560343026031/14819286409447601382767571920486400000000000000000000000000000000000000000000000" + } + }, + "joint_entries": [ + { + "entrance_defect": "1435/4", + "entrance_mass": "2067/2", + "event": 43, + "stage": 1 + }, + { + "entrance_defect": "29058739165890540041949890122605171362359312179910301358541815121203719075726801900429198119419761077385040523579864035311191749038171/423027322799551040813185105920000000000000000000000", + "entrance_mass": "56849465528/5", + "event": 137, + "stage": 2 + }, + { + "entrance_defect": "44151616695142168188998433418280094112617240495706513289543615174702742917977541343576975102486728920190376362797570366551311612451238886716885211/40610622988756899918065770168320000000000000000000000", + "entrance_mass": "899756300051784928313/5", + "event": 268, + "stage": 3 + }, + { + "entrance_defect": "41123016542707471603353269581050413281583227577324713821051315281649041306281934913105055083692208771135770789143435059377881895659590262755791295563668123/40610622988756899918065770168320000000000000000000000", + "entrance_mass": "2514111326902273689027625979152/15", + "event": 432, + "stage": 4 + }, + { + "entrance_defect": "8400503591878086099557409996964060545757705562159481801755107285260618063860610963036927998820136853412707318016084561173380775221347757308928138112790888474207977533/40610622988756899918065770168320000000000000000000000", + "entrance_mass": "513576167499541081817002847690160861158177/15", + "event": 633, + "stage": 5 + }, + { + "entrance_defect": "804348089120456533899533387748770814244283962252878592602297878405167180056415598662919110630482736987126778194734761059372427995506185405004011332073845719903272223153214699097/609159344831353498770986552524800000000000000000000000", + "entrance_mass": "49174910102467876864090432969907258581035345395534834/225", + "event": 867, + "stage": 6 + }, + { + "entrance_defect": "85787829881120771016070466151854742602323802724241226928337711867482868158792718218426634463390845624647811331313463557986517975931879085393779660618537254664153075739961125687813522838647/67684371647928166530109616947200000000000000000000000", + "entrance_mass": "47202796791779792903787260464709452698419616298153732189406926691/225", + "event": 1138, + "stage": 7 + }, + { + "entrance_defect": "24977932136805423029482306460476588374297136370522443504586882191635451252513026686426641243359832226546632816131541982330946704408710960986831237906292922635703624698620987239409794841460266458515125058513/76144918103919187346373319065600000000000000000000000000", + "entrance_mass": "1527059719525243651854937925515623170877847518562264265010551055991429949116792541/28125", + "event": 1423, + "stage": 8 + }, + { + "entrance_defect": "8907699043040849459238723955431559413515623987151053792121407127964863667803654148383440756207983542314067749538024996020545070051106775657483616943210388035699157870365844473988893418662240774004434885581347534356161701486328710883783963077493485980531609861714994438451236141734686276935578281179261674049509728973841613879730442967991573/87817993537467267453437463232512000000000000000000000000000000000000000000000", + "entrance_mass": "45382020709918266925583064268574418985484021788023395083741971786893952543604385214817042722264713249357732585113211736557042182118473445437784492974844696068231496289005681248244219743195326431922663592509646282903/2703048706054687500000000", + "event": 3058, + "stage": 9 + }, + { + "entrance_defect": "3387164934236763172932461859935384357445211143122836160018889469737449571745775156875296119581709863491329331163008660551027056461002689683004425175168356411129553572212754025221042399810251599604602962951309542590395327811308738184813626617639741193360479896422721052068977271153094912447324480815807122967478522350158693142792778459071780923348349773367/2195449838436681686335936580812800000000000000000000000000000000000000000000000", + "entrance_mass": "17256576412236653193246225901973714737195067836439327666112948810725372605325768521068989782195051084826433423902219365061463548934152577319772447024097669813834215493691840531234110147024064996639957180865886380686899413865699437/67576217651367187500000000", + "event": 3377, + "stage": 10 + }, + { + "entrance_defect": "1615968308095934541407515813428749033048832277623931660988030087465248900368548298107846348054077101918682800242876466934738744980166737397677635059194136775080138100740326978774594044278572300721391255969227025590288227385459639693195052258011631667834061215038659021604392844316700249313089012816602911636747943950107847271440775612896782371431945350310589031063373/73181661281222722877864552693760000000000000000000000000000000000000000000000", + "entrance_mass": "8232867642949280967953864719378369729636081542640965177026582834276172086852779069019078166383458700724373015543641299678854718814560615654710102550769670203427726502361438450768012893674227975469242856299447027845030556012745339827937032703/2252540588378906250000000", + "event": 3674, + "stage": 11 + }, + { + "entrance_defect": "20306925228133665245561737220294429580538686566084596667777986902967030067815276388820170369897996910568785117520692094455979947834425681642608524003080896161311259540042406119853637137706663756921875610134315589242896936445721941542104088697585915557190461760179968997712067597637078343721478460422740180407456248338057552315088784587623513778805251744991171404165400367792714221/9879524272965067588511714613657600000000000000000000000000000000000000000000000", + "entrance_mass": "103457615351059805192637231353494210876529187337645013912367786609511281374638184501291799844537790265462481580051228205479278831706979374022592427678836083146990308179368316797029946556942233864286312243671687806427572314354434738422294564686254956597631/304092979431152343750000000", + "event": 3934, + "stage": 12 + }, + { + "entrance_defect": "1337604243542410194828996451476409132734823037621444642159163904991939640114145436570424093490018996173323098188748410323480420111851439598409260954175213363558373888908332354857566250165406127753853100096229876068661741933539882456313216676620594339509906070260421234017382553093168295203565725022941444552587530872859194542127054820723610971839904400044538530519785392049706591634136749/2469881068241266897127928653414400000000000000000000000000000000000000000000000", + "entrance_mass": "6814687293408352348961376609223100753789665399854180217091951198766673494955017243489117504312576625705862588971333049204842152193259763726092611947454717867967563820647006231530855513792517852570389360287582421241328472893443552787136426885585158158296407747039/76023244857788085937500000", + "event": 4149, + "stage": 13 + }, + { + "entrance_defect": "53720291061523822076923825847423060434980135294112907685367430456464981527917673308668802573306362760163493504547910050524763358013996192394933537491589514884029928386618490478685473189305900723084294319882108882584074219187212928185148269624201359749838140583240566459042449398716793306430943908637946370482037271976112930708758225676415155454256245269106117634250002749579586749810229821292470581/19759048545930135177023429227315200000000000000000000000000000000000000000000000", + "entrance_mass": "273688564209132230699064882255651065961520374651451250325109091529813162250488973700796593555467744131430272845604649750549608356985710665121874068107850799585492748533787927289567936649257940207702597871193107311090132538524151482351564937285621850171994049078063458209591/608185958862304687500000000", + "event": 4337, + "stage": 14 + }, + { + "entrance_defect": "1026710988986316320232119376728796356329250829923318518678240261433059317165077962003391136177518004799682889344747253774104940832787803958098150223331721090480052253218087955373236928189166115378887912968068656491310295971141587670703722223611634312774853694286286843687781128466934157324915739177914423517029003843311179616166752852046842965580630905019815696685008067360936479754891971160574623739997351/9879524272965067588511714613657600000000000000000000000000000000000000000000000", + "entrance_mass": "5230780602279043381317572379439763694807653157987526423412516241866438709931406455512285461654380762978554988724296151241130161368896505647624919395909388513302452136334767445346454946237326490486725295589968816639097338790755366202380875008783642473174121062695038054202858248061/304092979431152343750000000", + "event": 4485, + "stage": 15 + }, + { + "entrance_defect": "1136559245576299236338229641160591557340253349434220554103800294016175054009994958582239247739801124873892236409337211389356546711901429996218740145944914262256301889385341502945074704089191018698726031787418608763977815678125520675028902565703612481378813519642235110098967624533839298241911202465443482424677526408471259349626086590657073135952132904838127516500518892691935650803175527294369549229384039940639133/19759048545930135177023429227315200000000000000000000000000000000000000000000000", + "entrance_mass": "5790424100720951765768300756324298709533962301792798636386692749870979029496708556989270788662796627612885676197810930990877069943243536093513215980405080279750566239442965631097385199413957318608000177913047677092759213914423460784984181631621622445055356552059259436283593839861423838063/608185958862304687500000000", + "event": 4606, + "stage": 16 + }, + { + "entrance_defect": "2443033552105291291980429084724648833098005855016026100868888009662672505190351616726571165939754805481686252089431466361044418138961055973027216120530039842753641033224954581197097364342736020896284476370567590419800672274282836570545445483435141567343518176612494573111558633533426144552970964722018596749718164790980550861474309258931484297559780342671838073203771238576758557492873043497164980947030311073429313299661/19759048545930135177023429227315200000000000000000000000000000000000000000000000", + "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": "16939851105825346429127250922145689834750185920839953059852160520042018642844821525937399922576835660953443903201901376939228853/1353687432958563330602192338944000000000000000000000", + "strict_power_of_two": 253, + "witness": { + "cut": 73663, + "factor": "1", + "kind": "public-return", + "register": 1483 + } + }, + "M": { + "exact": "70738866500506815544594765106541149575105800867048836351282303692913912818028616105837337116364441390104051926036257093534756665787/173271991418696106317080619384832000000000000000000000", + "strict_power_of_two": 258, + "witness": { + "cut": 72935, + "factor": "1", + "kind": "stored", + "register": 1483 + } + }, + "Sigma": { + "exact": "16939851105825346429127250922145689834750185920839953059852160520042018642844821525937399922576835660953443903201901376939228853/1353687432958563330602192338944000000000000000000000", + "strict_power_of_two": 253, + "witness": { + "cut": 72935, + "factor": "1", + "kind": "stored", + "register": 1483 + } + } + }, + "census": { + "denominator_bits": 20, + "events": 73663, + "lifetimes": 54, + "max_denominator": 655360, + "max_numerator": 14729531, + "numerator_bits": 24, + "opcodes": { + "ADD": 63574, + "CLEAR": 54, + "COPY": 1, + "INIT": 54, + "MOVE": 6290, + "SCALE": 3690 + }, + "owned_labels": 51, + "peak_owned": 43, + "public": 1488, + "scalars": { + "dyadic": 61979, + "integer": 39266, + "noninteger": 27999, + "odd": 5286 + } + }, + "independent_adjoint": { + "Gamma": { + "active_residual_sites": 26062, + "entrance_mass": "70738866500506815544594765106541149575105800867048836351282303692913912818028616105837337116364441390104051926036257093534756665787/173271991418696106317080619384832000000000000000000000", + "residual_mass": "16939851105825346429127250922145689834750185920839953059852160520042018642844821525937399922576835660953443903201901376939228853/1353687432958563330602192338944000000000000000000000" + }, + "M": { + "active_residual_sites": 26062, + "entrance_mass": "70738866500506815544594765106541149575105800867048836351282303692913912818028616105837337116364441390104051926036257093534756665787/173271991418696106317080619384832000000000000000000000", + "residual_mass": "16939851105825346429127250922145689834750185920839953059852160520042018642844821525937399922576835660953443903201901376939228853/1353687432958563330602192338944000000000000000000000" + }, + "Sigma": { + "active_residual_sites": 26062, + "entrance_mass": "70738866500506815544594765106541149575105800867048836351282303692913912818028616105837337116364441390104051926036257093534756665787/173271991418696106317080619384832000000000000000000000", + "residual_mass": "16939851105825346429127250922145689834750185920839953059852160520042018642844821525937399922576835660953443903201901376939228853/1353687432958563330602192338944000000000000000000000" + } + } + }, + "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": 13889, + "32": 416, + "4": 4063, + "40": 416, + "48": 416, + "5": 5525, + "56": 416, + "6": 272, + "64": 208, + "7": 204, + "8": 758, + "9": 32 + }, + "raw_bracket": [ + "1819571717533461931802350055819/500000000000000000000000000000000", + "36391434350669238636047001116381/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": "7a45d092b0bf8075e3d00242c72ac897be234e005cbcdfc47d06e9d2967359f0", + "target": { + "1": 289, + "137": 208, + "17": 416, + "2": 306, + "25": 416, + "3": 782, + "33": 416, + "4": 3689, + "41": 416, + "49": 416, + "5": 1207, + "57": 416, + "6": 714, + "65": 416, + "7": 306, + "73": 208, + "8": 1003, + "9": 10616 + } + } + }, + "claim": "1819571717533/500000000000000", + "price": { + "after": { + "P": { + "1": 68962, + "16": 416, + "2": 14297, + "24": 416, + "3": 13889, + "32": 416, + "4": 4063, + "40": 416, + "48": 416, + "5": 5525, + "56": 416, + "6": 272, + "64": 208, + "7": 204, + "8": 758, + "9": 32 + }, + "S": 1424, + "T": { + "1": 289, + "137": 208, + "17": 416, + "2": 306, + "25": 416, + "3": 782, + "33": 416, + "4": 3689, + "41": 416, + "49": 416, + "5": 1207, + "57": 416, + "6": 714, + "65": 416, + "7": 306, + "73": 208, + "8": 1003, + "9": 10616 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036391434350669238636047001116380421519763472929433103815667513211", + "raw_crossing": "0.0036391434350669238636047001116380421519763472929433103815667513211" + }, + "before": { + "P": { + "1": 68945, + "16": 416, + "2": 14297, + "24": 416, + "3": 13889, + "32": 416, + "4": 4046, + "40": 416, + "48": 416, + "5": 5542, + "56": 416, + "6": 272, + "64": 208, + "7": 204, + "8": 758, + "9": 32 + }, + "S": 1424, + "T": { + "1": 272, + "137": 208, + "17": 416, + "2": 306, + "25": 416, + "3": 782, + "33": 416, + "4": 3689, + "41": 416, + "49": 416, + "5": 1207, + "57": 416, + "6": 714, + "65": 416, + "7": 306, + "73": 208, + "8": 986, + "9": 10633 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036390429315072923023489284539458422493104908128824429318160706633", + "raw_crossing": "0.0036390429315072923023489284539458422493104908128824429318160706633" + }, + "gate": { + "BIT_margin": "12754656493393/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16487800000000000000000", + "alpha": [ + 0.9999999999999989, + 0.9999999999999989 + ], + "claim": "1819571717533/500000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.9006601640155075, + 0.9006601640155075 + ], + "derivative_upper": -382326.0895712002, + "gamma": [ + 0.9407344033964786, + 0.9407344033964786 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "1819571717533/500000000000000": [ + "62084225591615366074724275772189669230971679917115753735999934519857330197231/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "62084225591615366074724275772189669230971679917115753735999934519857330198213/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "363914343506607/100000000000000000": [ + "124168451183233018831875726761743295094253194798961289022709010586011354091079/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124168451183233018831875726761743295094253194798961289022709010586011354093051/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2233, + "moment_margin_float": { + "1819571717533461931802350055819/500000000000000000000000000000000": [ + 1.6371173703324665e-29, + 1.6371173703324665e-29 + ], + "363914343506607/100000000000000000": [ + 3.316273779506956e-10, + 3.316273779506956e-10 + ], + "36391434350669238636047001116381/10000000000000000000000000000000000": [ + -2.2467274981599318e-29, + -2.2467274981599318e-29 + ] + }, + "moment_margins": { + "1819571717533461931802350055819/500000000000000000000000000000000": [ + "1637117370332466451273828933505028404231178929009487/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "204639671291558306409228616688128550528897370981319/12500000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "363914343506607/100000000000000000": [ + "6632547559013912133292340150207781681990708699911807655552237461573879/20000000000000000000000000000000000000000000000000000000000000000000000000000000", + "33162737795069560666461700751038908409953543499559038277761187346241821/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "36391434350669238636047001116381/10000000000000000000000000000000000": [ + "-2246727498159931850237257018838706243070982641444377/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-1123363749079965925118628509419353121535491301538289/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "1819571717533461931802350055819/500000000000000000000000000000000", + "36391434350669238636047001116381/10000000000000000000000000000000000" + ], + "tested": "363914343506607/100000000000000000", + "written_log_power": 2234 + }, + "native_baseline_rejects_new_claim": true, + "new_native": "7a45d092b0bf8075e3d00242c72ac897be234e005cbcdfc47d06e9d2967359f0", + "old_native": "cbce61015e22007f785474e2af2462a7d97ead1e105d71cd2d9cbc0a449580f3", + "price": { + "baseline_rejects_new_claim": true, + "candidate_margin_at_old_upper": [ + "3903403148829352243291081457353178289637198423465464199321484233486401802728347/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "60990674200458628801423147771143410775581225366647878114398191148225028697417/1562500000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "claim_decimal": "0.003639143435066", + "gain": "1.00503559E-7", + "gain_exact": "100503559/1000000000000000", + "independent_raw_bracket": [ + "0.00363914343506692386360470011163804", + "0.00363914343506692386360470011163805" + ], + "previous_claim": "3639042931507/1000000000000000", + "raw_bracket": [ + "0.003639143435066923863604700111638", + "0.0036391434350669238636047001116381" + ] + } + }, + "status": "PASS_P104_FUNDED_RECIPROCAL_SPLIT" +} diff --git a/research/p104-funded-reciprocal-split/SOURCES.json b/research/p104-funded-reciprocal-split/SOURCES.json new file mode 100644 index 0000000000..c4150ae397 --- /dev/null +++ b/research/p104-funded-reciprocal-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-funded-reciprocal-split/TASK.json b/research/p104-funded-reciprocal-split/TASK.json new file mode 100644 index 0000000000..ef5ba79930 --- /dev/null +++ b/research/p104-funded-reciprocal-split/TASK.json @@ -0,0 +1,139 @@ +{ + "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 exact7118 word consumes one residual mode. A distinct reciprocal nomination is tested on the changed word, with its newly required neutral advance of the prior paid role789 retained. Earlier profile gains are not assumed independent.", + "concrete_question": "Does the reciprocal residual mode survive exact7118 and improve its complete signed17-stage invoice?", + "actual_scope": "Sourcecut44124/chart246/pivot299; paid main role17 rank5-to-4+1; neutral advances role789 rank4 and745 rank1;26ADD+8SCALE+1netMOVE; helper9-to-8+1.", + "domain": "One exact7118 word, the residual rank9 boundary group and the retained scalar alphabet; complete signed17-stage application.", + "success": "Both arbitrary-input native orientations, exact phase, complete full caller paid/target/ordinary/grid/envelope/fixed-tape substitutions and both directed conditional gates beat7117.", + "bottleneck_link": "The reciprocal mode needs an additional neutral advance of role789 on this changed source. The constructor checks all three actual contact-free intervals and the full paid Counter.", + "predecessor_head": "3f6ff8c34b22af12b40c5a8bcee585cd1aafdb9c", + "predecessors": [ + "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-7110 signed sources and splits; distinct chart120 lead remains unclaimed", + "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" + ], + "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, including16nativecontrols,3048paid/helper maps,104main boundaries and54+4outer conditions.", + "evidence": "WITNESS.json, WORD.json.gz, INPUTS.json, NATIVE-RESULT.json, RESULT.json and REPLAY.txt when completed.", + "overlap": "Canonicalmain e545/priority8/selected7000 and livePRs unchanged at19:03UTC. Refreshed complete pagination covers418openPRs at19:03:29UTC and7022Discussionrecords at19:04:35UTC. Exact7118 is the best open comparator; ToikY7111 chart120 rank8 lead remains distinct and unclaimed.", + "open_questions": [ + { + "question": "Can an independent reviewer verify the fully charged residual split and complete application?", + "why_it_matters": "The local capacity pairing alone does not establish the conditional exponent.", + "first_step": "Run the registered Python3.12 replay and inspect PROOF.md and APPLICATION.md against the exact source closure.", + "blocked_by": "Independent review and maintainer admission remain separate." + }, + { + "question": "Can a distinct published native edit compose with this exact word?", + "why_it_matters": "Different cuts may interact through their corrective bases; profile addition alone is insufficient.", + "first_step": "Pin a public artifact, replay its identity on this exact word and recompute the whole application.", + "blocked_by": "No further edit or extrapolated gain is claimed." + } + ], + "stop_rule": "One new fully checked invoice; refresh before any further research round." +} diff --git a/research/p104-funded-reciprocal-split/VALIDATION.md b/research/p104-funded-reciprocal-split/VALIDATION.md new file mode 100644 index 0000000000..4b9a3b9d6a --- /dev/null +++ b/research/p104-funded-reciprocal-split/VALIDATION.md @@ -0,0 +1,14 @@ +# Validation record + +Both complete direct CPython 3.14.7 native and composition commands passed: + +```sh +python3 -I -B research/p104-funded-reciprocal-split/verify_native.py --out research/p104-funded-reciprocal-split/NATIVE-RESULT.json +python3 -I -B research/p104-funded-reciprocal-split/verify.py --out research/p104-funded-reciprocal-split/RESULT.json +``` + +Coverage includes exact source/candidate reconstruction, arbitrary-input forward/adjoint, complete paid/target/ordinary/grid/precision checks, all 16 native corruption controls, five 512-column chart checks and full finite native/signed routes. The17-stage application includes both full invoices and price engines, rational/integer Laurent caller, owner/phase binding, all 3,048 paid/helper maps and 104main boundaries, fresh envelopes/fixed-tape costs and 54+4outer conditions. + +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. The predecessor #7118 workflow failed the known canonical CI-navigation onboarding test (guide #6030 / selected #7000), skipping scientific replay; that status is separate from local scientific evidence. + +The local search nominated seven witnesses with one common profile. Only index 3 was built and submitted: it has the shortest nominated bases, 8+9 instructions. The other six were not constructed. No exhaustive rational cost optimization or independent human/formal review is claimed. Five assumptions, maintainer admission and compiled top-level execution remain obligations. diff --git a/research/p104-funded-reciprocal-split/VERIFY.json b/research/p104-funded-reciprocal-split/VERIFY.json new file mode 100644 index 0000000000..f4934f15ea --- /dev/null +++ b/research/p104-funded-reciprocal-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 exact7118 from complete25-file export and nested closure; verify three retimed paths, arbitrary-input forward/adjoint, exact paid/target Counters, fresh grids and18-stage ingredient bill, precision, all512columns of5affectedmaps,16negativecontrols, full finite native/signed-route replay and every NATIVE-RESULT field." + }, + { + "argv": [ + "{python}", + "-I", + "-B", + "{package}/verify.py" + ], + "timeout_seconds": 600, + "checks": "Reconstruct current7118 and candidate17-stage invoices, unchanged literal caller, all3048paid/helpermaps and104mainboundaries, fresh grids/envelopes, ordinary/physical/fixed-tape costs, two exact prices and54+4outer checks; compare every RESULT field." + } + ] +} diff --git a/research/p104-funded-reciprocal-split/WITNESS.json b/research/p104-funded-reciprocal-split/WITNESS.json new file mode 100644 index 0000000000..cd703c2d9f --- /dev/null +++ b/research/p104-funded-reciprocal-split/WITNESS.json @@ -0,0 +1,99 @@ +{ + "frame": 246, + "pivot": 299, + "cut": 44124, + "ranks": [ + 8, + 1 + ], + "gain": 0.002296119499312077, + "paths": [ + { + "role": 17, + "lo": 33568, + "hi": 47128, + "frame": 246, + "old": 232, + "new": 127, + "moves": [ + 33711 + ], + "old_paid": [ + 5 + ], + "new_paid": [ + 4, + 1 + ], + "cost": 0.009070155239718325, + "private": false, + "neutral": false + }, + { + "role": 789, + "lo": 36315, + "hi": 45214, + "frame": 246, + "old": 232, + "new": 246, + "moves": [ + 45213 + ], + "old_paid": [ + 4 + ], + "new_paid": [ + 4, + 0 + ], + "cost": 0.0, + "private": false, + "neutral": true + }, + { + "role": 745, + "lo": 43973, + "hi": 44154, + "frame": 246, + "old": 541, + "new": 246, + "moves": [ + 44153 + ], + "old_paid": [ + 1 + ], + "new_paid": [ + 1, + 0 + ], + "cost": 0.0, + "private": false, + "neutral": true + } + ], + "a": { + "789": "1", + "17": "-1/4", + "448": "-1/16", + "472": "-1/2", + "745": "-2" + }, + "b": { + "17": "-4" + }, + "c": { + "344": "-1/4", + "592": "1/2", + "448": "-1/16", + "472": "-1/2" + }, + "d": { + "344": "-4" + }, + "paid_delta": { + "1": 1, + "4": 1, + "5": -1 + } +} diff --git a/research/p104-funded-reciprocal-split/WORD.json.gz b/research/p104-funded-reciprocal-split/WORD.json.gz new file mode 100644 index 0000000000..588ab2c656 Binary files /dev/null and b/research/p104-funded-reciprocal-split/WORD.json.gz differ diff --git a/research/p104-funded-reciprocal-split/adapt.py b/research/p104-funded-reciprocal-split/adapt.py new file mode 100644 index 0000000000..46afc04a14 --- /dev/null +++ b/research/p104-funded-reciprocal-split/adapt.py @@ -0,0 +1,27 @@ +"""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(".003639143435066")') + 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-funded-reciprocal-split/construct.py b/research/p104-funded-reciprocal-split/construct.py new file mode 100644 index 0000000000..748bfe2be2 --- /dev/null +++ b/research/p104-funded-reciprocal-split/construct.py @@ -0,0 +1,46 @@ +"""Checked simultaneous contact-free retiming, then attributed helper split. +Prepared for dillona with substantial OpenAI Codex assistance. Apache-2.0. +Extends #7105/#7107 retiming to an arbitrary finite cohort with an +exact declared total paid-histogram change; retains Ali Romman and CubeJerry split. +The complete signed invoice, not path cardinality, decides acceptance. +""" +from copy import deepcopy +from collections import Counter +from split import split +from support import L + +def prepare(word,hit): + paths=hit['paths'];L.need(1<=len(paths),'A nonempty finite retiming cohort') + L.need(len({p['role']for p in paths})==len(paths),'Distinct retimed roles') + f,cut=hit['frame'],hit['cut'];spaces=[L.span(x)for x in word['frames']];remove=set();paid_change=Counter() + for p in paths: + r,a,b=p['role'],p['old'],p['new'] + L.need(p['frame']==f and p['lo']<=cut<=p['hi'],'Cut in declared interval') + actual=[i for i in range(p['lo'],p['hi'])if word['program'][i][1]==r] + L.need(actual==p['moves'],'Every role event in interval is a relocated MOVE') + L.need(all(not(e[0]in('ADD','COPY')and e[2]==r)for e in word['program'][p['lo']:p['hi']]),'No intervening source read') + path=[word['program'][i]for i in actual] + L.need(path and all(e[0]=='MOVE'and e[1]==r and e[4]==p['private']for e in path),'Only MOVE events') + L.need(path[0][2]==a and path[-1][3]==b and all(x[3]==y[2]for x,y in zip(path,path[1:])),'Complete path') + L.need(spaces[a]<=spaces[f]<=spaces[b]or spaces[b]<=spaces[f]<=spaces[a],'Nested intermediate frame') + old_paid=Counter(abs(len(word['frames'][e[2]])-len(word['frames'][e[3]])) for e in path if spaces[e[2]]!=spaces[e[3]]) + new_paid=Counter(abs(len(word['frames'][x])-len(word['frames'][y])) for x,y in ((a,f),(f,b)) if spaces[x]!=spaces[y]) + L.need(old_paid==Counter(p['old_paid']) and new_paid==Counter(d for d in p['new_paid'] if d), 'Exact old and new path histogram declarations') + paid_change.update(new_paid);paid_change.subtract(old_paid) + L.need(not(remove&set(actual)),'Distinct removed events');remove.update(actual) + L.need({r:c for r,c in paid_change.items() if c}=={int(r):c for r,c in hit['paid_delta'].items()}, 'Entire declared retiming paid delta') + program=[];split_cut=None + for i in range(len(word['program'])+1): + if i==cut: + for p in paths: + if p['old']!=f:program.append(['MOVE',p['role'],p['old'],f,p['private']]) + split_cut=len(program)-1 + for p in paths: + if f!=p['new']:program.append(['MOVE',p['role'],f,p['new'],p['private']]) + if ipeak: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-funded-reciprocal-split/inputs/pr7118.tar b/research/p104-funded-reciprocal-split/inputs/pr7118.tar new file mode 100644 index 0000000000..d7f203754e Binary files /dev/null and b/research/p104-funded-reciprocal-split/inputs/pr7118.tar differ diff --git a/research/p104-funded-reciprocal-split/price.py b/research/p104-funded-reciprocal-split/price.py new file mode 100644 index 0000000000..72eee9b06e --- /dev/null +++ b/research/p104-funded-reciprocal-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 #7118 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-funded-reciprocal-split/source.py b/research/p104-funded-reciprocal-split/source.py new file mode 100644 index 0000000000..712b79652c --- /dev/null +++ b/research/p104-funded-reciprocal-split/source.py @@ -0,0 +1,56 @@ +"""Authenticate #7118'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 #7118 export') + old_path=list(sys.path) + with tempfile.TemporaryDirectory(prefix='p104-funded-reciprocal-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('reciprocal_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('reciprocal_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('reciprocal_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 #7118 native byte') + need(sha256(canonical(word)).hexdigest()=='cbce61015e22007f785474e2af2462a7d97ead1e105d71cd2d9cbc0a449580f3','Exact current native') + yield vendor,archive,rank9,bundle,parent,word diff --git a/research/p104-funded-reciprocal-split/split.py b/research/p104-funded-reciprocal-split/split.py new file mode 100644 index 0000000000..5407e8959b --- /dev/null +++ b/research/p104-funded-reciprocal-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-funded-reciprocal-split/support.py b/research/p104-funded-reciprocal-split/support.py new file mode 100644 index 0000000000..192cd38d27 --- /dev/null +++ b/research/p104-funded-reciprocal-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']['17']='-1/2' + controls['wrong_prefix']=rejected(lambda:construct(source,bad)) + bad=deepcopy(hit);bad['b']['17']='-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'],246) + need((len(Gbasis),len(Jbasis))==(8,9),'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']) + for role in (17,789,745): + bad=deepcopy(hit);bad['paths']=[p for p in bad['paths'] if p['role']!=role] + controls['missing_retiming_'+str(role)]=rejected(lambda:construct(source,bad)) + bad=deepcopy(hit);bad['paths'][0]['lo']-=1 + controls['intervening_scalar_contact']=rejected(lambda:construct(source,bad)) + bad=deepcopy(hit);bad['paths'][0]['moves']=[] + controls['omitted_old_move']=rejected(lambda:construct(source,bad)) + bad=deepcopy(hit);bad['paths'].append(deepcopy(bad['paths'][0])) + controls['duplicate_retimed_role']=rejected(lambda:construct(source,bad)) + bad=deepcopy(word);bad['initial'][-1]=3 + controls['wrong_successor_frame']=rejected(lambda:I.native(bad)) + bad=deepcopy(hit);bad['paid_delta']={} + controls['unpaid_subdivisions']=rejected(lambda:prepare(source,bad)) + bad=deepcopy(hit);bad['paths'][0]['new_paid']=[2] + controls['wrong_declared_path_ranks']=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_FUNDED_RECIPROCAL_NATIVE',source_head='3f6ff8c34b22af12b40c5a8bcee585cd1aafdb9c', + 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()