diff --git a/research/p104-chart120-peer-composition/APPLICATION.md b/research/p104-chart120-peer-composition/APPLICATION.md new file mode 100644 index 0000000000..ee557090b6 --- /dev/null +++ b/research/p104-chart120-peer-composition/APPLICATION.md @@ -0,0 +1,29 @@ +# Conditional application to the chart-120 native and signed caller + +This applies Rohan Arun's #7113 component proof and #7116–#7119's changed-native adaptation to the exact chart-120 native. ToikY supplies the reported chart-120 pattern; this independently constructed current-source word is proved in PROOF.md, and PEER-CREDIT.json records the public finding. The original peer artifact is not imported. Both artifact hashes and public heads are in README.md. The five inherited assumptions and selected completed BIT predecessor are retained. The source-specific proof template is the [#7000 application review](https://github.com/CrocSwap/integer-mult-bounds/blob/e54523517d0f03e58352e647c403a5af3e525a57/docs/research/pr-intake-evidence/pr7000-application/PROOF-REVIEW.md), including its BIT ambient 134 repair. Its generic root/storage and scalar/physical arguments require the substitutions below; a predecessor's numeric receipt alone is insufficient. + +## Native and caller operator substitution + +The new constructor preserves every arbitrary-input native endpoint while splitting helper 1447's rank-eight target into 4+4. It subdivides one paid rank-seven move into 4+3, checking its complete contact-free interval and exact Counters. The initial helper frame 597 has dimension 1, chart 120 has dimension 5, and final frame 127 has dimension 9. Exact prefix/suffix relations use c=d=e1447, so the boundary basis is identity; four unit ADDs and their four inverses implement the cut basis. Its complete forward and adjoint replays include every owned row. All 3,049 current paid/helper chart pairs and 104 main boundary pairs are then rebuilt with the pinned compiler and distinct signed-Pauli/absolute-phase interpreter. For these Clifford maps, the signed Pauli action fixes the operator up to global phase, which the exact Gaussian check fixes. Thus every column of each chart map is determined. The fresh replay includes a deliberately wrong absolute phase. + +The unchanged 17-stage caller has five noncommuting quarter turns and twelve padding turns in inverse pairs. Its grouped idle bases lie over Z[1/30]. Its exact rational and integer Laurent engines agree on all 72 output fields for every formal central/body variable. In the physical substitution, seventeen disjoint eight-axis stage blocks and nine central axes use ambient 145. For each invocation, exchange the eight native complement axes with the fresh stage block while fixing the routed central axis and spectator axes. The phase-polynomial checks verify both directions. Literal A and B routes then apply commuting body operators on disjoint stage blocks. + +A signed rank-nine idle uses one positive rank-nine recursive request plus the charged ordinary conjugation/phase implementing the inverse on the protected central axis. Current finite signed-child checks cover widths 1,2,3; the symbolic phase geometry supplies the disjoint-axis substitution. The ordered occurrence digest is recomputed from the literal caller and current native geometry. It binds 13,600 native contact boundaries, 110,723 paid positions and 22,257 productive fields. Main-owner aliasing is rejected. Allocate 18,513 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,489 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. This is recomputed from the current word and caller; #7119's previous allowance was 2342. It remains below 4096. The same conservative ambient 153 compiler threshold funds it: Kstar has 14,100 bits and c·Kstar has 14,111 bits, below H=172444000000000000000000. The new compiler gap is 1/1000000000000000000 (previous 1/10^17); the regenerated outer and fixed-tape gates use this gap and H. The independent inequalities check every rounded caller bound as well. Apply the retained full-root common-format induction with fixed padding, signed width p+h+2D+3, fractional width p+D, and 26 temporary bits. Completed child returns preserve this format. Exact finite-state odd division retains the reviewed carry/remainder invariant. + +## Physical upper-cost substitution + +The source-unit ordinary bound 777,741,264 includes the caller and native conversion services. It is distinct from the physical-machine bound. The fresh raw-occurrence counts give 1,145,477 native scalar macro inputs, 117,856 caller macro inputs and 58,114 conversions. The retained conservative factor 32 gives 42,286,304 scalar services; with the reviewed 2²⁰ service constant this is 44,340,403,503,104 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,808 monomial map slots. At actual ambient 145, the retained elementary bound 4(145+1)² is 85,264 records per map, hence at most 25,477,565,312 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 chart-120 composition, with ToikY credited for the reported pattern by dillona with substantial OpenAI Codex assistance. Apache-2.0. diff --git a/research/p104-chart120-peer-composition/DISCOVERY.json b/research/p104-chart120-peer-composition/DISCOVERY.json new file mode 100644 index 0000000000..f68a0c093c --- /dev/null +++ b/research/p104-chart120-peer-composition/DISCOVERY.json @@ -0,0 +1,104 @@ +{ + "scope": "Current7119 composition nomination only; peer original pattern credited in PEER-CREDIT.json.", + "source_head": "bd244b0e5034cb1b9f72641494c3421f757ec2e4", + "frame": 120, + "groups": [ + 593, + 594, + 597 + ], + "paid_window_filter": "Every nonneutral path must replace rank7 by ranks4+3; neutral paths remain available.", + "method": "Attributed complete helper kernels and pairing decision plus basis nominations; no exhaustive rational cost optimization.", + "stats": { + "593": { + "systems": 0, + "saved": 0, + "pairs": 0, + "hits": 0, + "classes": {}, + "rescued": 0, + "budget_reject": {}, + "best_budget": null + }, + "594": { + "systems": 0, + "saved": 0, + "pairs": 0, + "hits": 0, + "classes": {}, + "rescued": 0, + "budget_reject": {}, + "best_budget": null + }, + "597": { + "systems": 57, + "saved": 46, + "pairs": 12, + "hits": 9, + "classes": { + "F1zero": 34, + "witness": 12 + }, + "rescued": 0, + "budget_reject": {}, + "best_budget": { + "cut": 39067, + "frame": 120, + "cost": 0.017296064511916676, + "gain": 0.020052845524537233, + "paths": [ + { + "role": 962, + "lo": 39055, + "hi": 39094, + "frame": 120, + "old": 597, + "new": 207, + "moves": [ + 39055 + ], + "old_paid": [ + 7 + ], + "new_paid": [ + 4, + 3 + ], + "cost": 0.017296064511916676, + "private": false, + "neutral": false + }, + { + "role": 650, + "lo": 39066, + "hi": 39067, + "frame": 120, + "old": 120, + "new": 852, + "moves": [ + 39066 + ], + "old_paid": [ + 1 + ], + "new_paid": [ + 0, + 1 + ], + "cost": 0.0, + "private": false, + "neutral": true + } + ], + "paid_roles": 1 + } + } + }, + "legal_nominations": 9, + "full_native_checked_indices": [ + 7 + ], + "selected_index": 7, + "selected_reason": "Identity boundary basis and shortest nominated middle basis (four ADDs).", + "remaining": "Other8 nominations were not built. Groups593/594 had no eligible helper pivot under this contact-window contract; no arbitrary-carrier impossibility claim. Search code/results remain local; selected exact witness and complete replay are public." +} diff --git a/research/p104-chart120-peer-composition/ENVIRONMENT.json b/research/p104-chart120-peer-composition/ENVIRONMENT.json new file mode 100644 index 0000000000..c1f1ea854c --- /dev/null +++ b/research/p104-chart120-peer-composition/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:41:31.953630+00:00" +} diff --git a/research/p104-chart120-peer-composition/INPUTS.json b/research/p104-chart120-peer-composition/INPUTS.json new file mode 100644 index 0000000000..ed87b512bc --- /dev/null +++ b/research/p104-chart120-peer-composition/INPUTS.json @@ -0,0 +1,159 @@ +{ + "head": "bd244b0e5034cb1b9f72641494c3421f757ec2e4", + "pr": 7119, + "prefix": "research/p104-funded-reciprocal-split", + "archive": "inputs/pr7119.tar", + "archive_sha256": "4b00a38b97ca6eb717ba238a2b69b07256b74c51064c6c74a8ed429f4155cc63", + "files": [ + { + "path": "research/p104-funded-reciprocal-split/APPLICATION.md", + "size": 6913, + "sha256": "d7d5953acd92719a776a621fbc4da4ba9d4de7f5bc760708b2087b01590c7920", + "git_blob": "cc69cdeb0e468f088520657ee6e73674d3571465" + }, + { + "path": "research/p104-funded-reciprocal-split/DISCOVERY.json", + "size": 3386, + "sha256": "c2c483b262d72f0bef23a576e82834df0631fe298ff313d0e737cbd878a56db0", + "git_blob": "1632c6cf852f12fc595c907005a1957465e5fbec" + }, + { + "path": "research/p104-funded-reciprocal-split/ENVIRONMENT.json", + "size": 676, + "sha256": "25ceb243dc15765ade646aed2bf7d549eac9bdc2ef1f917247325c6cbe62f740", + "git_blob": "699fd4f4a61619c20ab065feffe7c68e449bdfe2" + }, + { + "path": "research/p104-funded-reciprocal-split/INPUTS.json", + "size": 6357, + "sha256": "8a1de1fc4c906d6f35e73a7ad865bd9a4a0d05fa58918252fbb5bb53353d78a6", + "git_blob": "4f93e75b6b02ea32e2d6a29528a644f262137c46" + }, + { + "path": "research/p104-funded-reciprocal-split/NATIVE-RESULT.json", + "size": 74133, + "sha256": "e76c5382885d278ef54ea49e1f2a7a3d60a2fff8ba3d63f693a118c73d392164", + "git_blob": "94413ac6aa3522e44e9ae0ade0967dcaa5904c08" + }, + { + "path": "research/p104-funded-reciprocal-split/PROOF.md", + "size": 4796, + "sha256": "f6ca6ac6a262936dcfaf49376e87a4bce04dd06893b7e187f8899aa49c12c498", + "git_blob": "9ef4c3198c6c3b0397a2dd5422b6d5306648e554" + }, + { + "path": "research/p104-funded-reciprocal-split/README.md", + "size": 6065, + "sha256": "87f36a12dde9d7ed300138b8db4a366249be9f74c8774706d4dac46267764cd0", + "git_blob": "7c07b8291464bb72238d6a000e75a04463ac7936" + }, + { + "path": "research/p104-funded-reciprocal-split/REPLAY.txt", + "size": 3793, + "sha256": "5fca00ac4f0bfbcc011515a8839b3f321e7620cd578dda1d01146d597b8d2ac6", + "git_blob": "dc4a99d8eb9d7530cbea973717b9d541524f4add" + }, + { + "path": "research/p104-funded-reciprocal-split/RESULT.json", + "size": 75502, + "sha256": "e73282a76ca4ac23a4a91f6fcbe28413adb6981a1dce932ee0ba8121e910dbe1", + "git_blob": "2643914c982f1f68045beda0a68cdd414d69809c" + }, + { + "path": "research/p104-funded-reciprocal-split/SOURCES.json", + "size": 856, + "sha256": "8b58a30ae55396b8d108de4ee2c7c6ac75dc1096948c9ac3796c20b21b1c9372", + "git_blob": "c4150ae39789502a4adf89e8f5235995d458a72e" + }, + { + "path": "research/p104-funded-reciprocal-split/TASK.json", + "size": 10024, + "sha256": "ccc89bffddb1c508f2c98b503efd4bb5a8226b880de4fdcdfa92fd641f974cc9", + "git_blob": "ef5ba799308fdea07949ab379816d83b1c43cfd8" + }, + { + "path": "research/p104-funded-reciprocal-split/VALIDATION.md", + "size": 1904, + "sha256": "f0e7ac225a437011d9347bd5165390332dd4cabd64f35633a660151f04bed0ce", + "git_blob": "4b9a3b9d6a867253dcf1aa7c6b0019bf7a3b10ee" + }, + { + "path": "research/p104-funded-reciprocal-split/VERIFY.json", + "size": 1056, + "sha256": "3c11b84b455c830f71723d91d08879c7af771725d4325b8c03545c8faf35fc0a", + "git_blob": "f4934f15ea9c9338bedec50ae7d941e3157cf52a" + }, + { + "path": "research/p104-funded-reciprocal-split/WITNESS.json", + "size": 1418, + "sha256": "90bb2a3c6729dea4a5d8bed0be276252e5dee1cd3ca766292348a667ea3a47c8", + "git_blob": "cd703c2d9f0cf9e3df1749496def934bcd2a2494" + }, + { + "path": "research/p104-funded-reciprocal-split/WORD.json.gz", + "size": 364535, + "sha256": "c235220e7ab86ccc7bbd01a90e6967bfb6c73e38a636f4ff0d1c2d4c4d8ea5a1", + "git_blob": "588ab2c656e8d69de734873a80664fc7258d91a0" + }, + { + "path": "research/p104-funded-reciprocal-split/adapt.py", + "size": 2163, + "sha256": "b75b5c599ac060be79661f9825e633620213e91bf3ec1d1dd014558cd69c8af3", + "git_blob": "46afc04a144200c9ce6e4a8f401fc03ddb344228" + }, + { + "path": "research/p104-funded-reciprocal-split/construct.py", + "size": 3061, + "sha256": "42ffab76b8664088f444ba7d815537a541af72c5fa5eef897989b90399b9e564", + "git_blob": "748bfe2be2e5fffc1dfa9bdfa261bfcc8da16088" + }, + { + "path": "research/p104-funded-reciprocal-split/derive_grid.py", + "size": 1510, + "sha256": "ceb7a44ef19d72a16db7b43c65c85910d965499d1715436011de32af5d39dbb0", + "git_blob": "f8cb37f00bcd197d77bbb205dae3c1a40c0aa680" + }, + { + "path": "research/p104-funded-reciprocal-split/inputs/pr7118.tar", + "size": 6871040, + "sha256": "d07c3ebc0fd4f6b067bb0053c39520e9ab61fde144a133b34d4991b7e95eabd1", + "git_blob": "d7f203754e69ebd16c01186c40bd394bdf06e6b5" + }, + { + "path": "research/p104-funded-reciprocal-split/price.py", + "size": 3642, + "sha256": "03705b1f2b057ee5cd838492fc41360a8b6f4988b0fea40b880ffd361be2c796", + "git_blob": "72eee9b06edc6cb6c193833b6c9bf20a6c72737b" + }, + { + "path": "research/p104-funded-reciprocal-split/source.py", + "size": 3320, + "sha256": "6a9e921302c14f190eb42c0f2b840bbc733c6387568231918e4a74618fde46d1", + "git_blob": "712b79652c9a7402f646cda859411a76316b28ed" + }, + { + "path": "research/p104-funded-reciprocal-split/split.py", + "size": 6432, + "sha256": "3d529d78994504ad591a3afade4dab094751c1c221edbab10165290314cf0894", + "git_blob": "5407e8959b8723464aee68eea6ffcf2ee75cc3b7" + }, + { + "path": "research/p104-funded-reciprocal-split/support.py", + "size": 606, + "sha256": "f3e6eeb879480715c5c32c1a390a63c57d26ea1c9a9cbdb89b83ca34260e47f6", + "git_blob": "192cd38d27e4b732981b98730459a041dcfb52e7" + }, + { + "path": "research/p104-funded-reciprocal-split/verify.py", + "size": 3450, + "sha256": "caf7ed09aa871bfaa6f1edca04527ea36ba5291e1490c97c5bfb23ce575d704b", + "git_blob": "1ab5c7afa95f0a64a45a32ac5e4d468b4b88f35e" + }, + { + "path": "research/p104-funded-reciprocal-split/verify_native.py", + "size": 13022, + "sha256": "9b1fcdc14b29af02adfbe76095a4e10a20350544bd802f6bff3b32e82cd4f868", + "git_blob": "29f76eb3ea3b09f077df4f004a1b97fa094bb2c5" + } + ] +} diff --git a/research/p104-chart120-peer-composition/NATIVE-RESULT.json b/research/p104-chart120-peer-composition/NATIVE-RESULT.json new file mode 100644 index 0000000000..158c368d1f --- /dev/null +++ b/research/p104-chart120-peer-composition/NATIVE-RESULT.json @@ -0,0 +1,3090 @@ +{ + "caller": { + "bad_outputs": [], + "caller_denominator_height_bound": 431, + "caller_mass_bound": "2031778024781380738667307850969872261300825114412066667930609010754885615256246771273722516797028373875488084463456734932931819440254377992064287155336455679722182496470290893143689397339193405421398373633/137438953472", + "caller_mass_ceiling_bits": 642, + "max_terms": 3998 + }, + "charts": { + "new_pairs": [ + [ + 120, + 207 + ] + ], + "rechecked_pairs": [ + { + "columns": 512, + "pair": [ + 120, + 127 + ], + "rank": 4 + }, + { + "columns": 512, + "pair": [ + 120, + 207 + ], + "rank": 3 + }, + { + "columns": 512, + "pair": [ + 597, + 120 + ], + "rank": 4 + }, + { + "columns": 512, + "pair": [ + 597, + 127 + ], + "rank": 8 + }, + { + "columns": 512, + "pair": [ + 597, + 207 + ], + "rank": 7 + } + ], + "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_962": 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": 14993176, + "fractional_bits": 24, + "mass_witness": [ + 64720, + "stored" + ], + "odd_scale": 1125, + "scaled_maximum_mass": "1630603680282225/16384", + "unscaled_maximum_mass": "7247127467921/81920" + }, + "forward": { + "coefficient_positions": 2371600, + "fractional_bits": 24, + "grid": 1125, + "rows": 1540 + }, + "gate": { + "BIT_margin": "12799919714793/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16480300000000000000000", + "alpha": [ + 0.9999999999999991, + 0.9999999999999991 + ], + "claim": "909672700713/250000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.8813103124922621, + 0.8813103124922621 + ], + "derivative_upper": -407625.7721541033, + "gamma": [ + 0.9498744425370989, + 0.9498744425370989 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "363869080285207/100000000000000000": [ + "24830733002842296586115521369114603288289956956224842852006414930656866574091/20000000000000000000000000000000000000000000000000000000000000000000000000000000", + "31038416253552870732644401711393254110362446195281053565008018663321083218099/25000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "909672700713/250000000000000": [ + "62076832507104598111478273492453697193153480182879958565265939946580313773553/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "15519208126776149527869568373113424298288370045719989641316484986645078443629/12500000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2232, + "moment_margin_float": { + "18193454014263718545551566954067/5000000000000000000000000000000000": [ + -2.4086718681393292e-29, + -2.4086718681393292e-29 + ], + "363869080285207/100000000000000000": [ + 2.7931144640058657e-10, + 2.7931144640058657e-10 + ], + "36386908028527437091103133908133/10000000000000000000000000000000000": [ + 1.7372041802142138e-29, + 1.7372041802142138e-29 + ] + }, + "moment_margins": { + "18193454014263718545551566954067/5000000000000000000000000000000000": [ + "-1204335934069664645266927071483343881933330625202523/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-1204335934069664645266927071483343881933330604341061/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "363869080285207/100000000000000000": [ + "13965572320029329042299693375070234795863375862955068216826913791969329/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "13965572320029329042299693375070234795863375862955068216826913812821061/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "36386908028527437091103133908133/10000000000000000000000000000000000": [ + "868602090107106868531404171257576125714665689189667/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "434301045053553434265702085628788062857332855027949/25000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "36386908028527437091103133908133/10000000000000000000000000000000000", + "18193454014263718545551566954067/5000000000000000000000000000000000" + ], + "tested": "363869080285207/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": 63582, + "CLEAR": 54, + "COPY": 1, + "INIT": 54, + "MOVE": 6291, + "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": 818, + "4": 240, + "5": 325, + "6": 16, + "7": 11, + "8": 6 + } + }, + "invoice": { + "P": { + "1": 72996, + "16": 416, + "2": 15138, + "24": 416, + "3": 14724, + "32": 416, + "4": 4320, + "40": 416, + "48": 416, + "5": 5850, + "56": 416, + "6": 288, + "64": 416, + "7": 198, + "8": 780, + "9": 32 + }, + "S": 1520, + "T": { + "1": 306, + "145": 208, + "17": 416, + "2": 324, + "25": 416, + "3": 828, + "33": 416, + "4": 3942, + "41": 416, + "49": 416, + "5": 1278, + "57": 416, + "6": 756, + "65": 416, + "7": 324, + "73": 416, + "8": 1044, + "9": 11216 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036386908028527437091103133908133419019806659225091717825941808424", + "raw_crossing": "0.0036386908028527437091103133908133419019806659225091717825941808424" + }, + "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": 73672, + "helpers": { + "1": 17, + "2": 18, + "3": 46, + "4": 219, + "5": 71, + "6": 42, + "7": 18, + "8": 58, + "9": 600 + }, + "lifetimes": 54, + "owned_peak": 43, + "paid": { + "1": 4034, + "2": 841, + "3": 818, + "4": 240, + "5": 325, + "6": 16, + "7": 11, + "8": 6 + }, + "public": 1489, + "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": 851478208, + "extra_B_scalar_surcharge": 784256, + "init_clear_allowance": 216, + "lambda_paid_rank1_would_reduce_S_by": 14384, + "lambda_second_charge": 14384000, + "margin_to_billion": 148521792, + "odd_divisions": { + "ADD": 5219, + "SCALE": 67 + }, + "per_input_conversion": 2787408, + "raw_upper": 833522544, + "route_items": { + "first_main_adapter": 416, + "first_main_boundary": 208, + "helper_boundary": 2178, + "moves": 6291, + "owned_lifetime": 216, + "second_main_adapter": 384, + "second_main_boundary": 192 + }, + "routing": 9885000, + "scalar_upper": 1989248 + }, + "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": "18866829490690829151485705290906565743134536594417368328186931607173451271835231055528453709016495400326192304522544374425525872843522341511899334453417365117150838544474206195719447683665361752910573189365911294295419097690656748984630654935133995793539125472665005894045752863707597592350782692671851868911813/1848234575132758467382193273438208000000000000000000000", + "strict_power_of_two": 851, + "witness": { + "cut": 4982, + "event": 4982, + "factor": "1", + "kind": "stored", + "register": 39 + } + }, + "Gamma_context": { + "exact": "12158804607306506774126410667875561444893324258779818757353394286068193913042533176417512030887246971068986031616642669351510341332717015920436603856514438905421065396425208169395229920389928472093634889056889117506679670945138533309744246964240878271614574982711256643542682897835749982966360771852637476950932433/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": "312344735627879630362301591767548828538116828652241061087229332918873308995606902999017036127030423667271840218688785005889435247480089496571133405318769453297998175526337182114294175468585106944024429185372388826701551534599744307779601817297014332564094115127496985591397301882481486215459013310311457955482822309989/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": "12158804607306506774126410667875561444893324258779818757353394286068193913042533176417512030887246971068986031616642669351510341332717015920436603856514438905421065396425208169395229920389928472093634889056889117506679670945138533309744246964240878271614574982711256643542682897835749982966360771852637476950932433/8871525960637240643434527712503398400000000000000000000", + "strict_power_of_two": 858, + "witness": { + "cut": 5098, + "event": 5097, + "factor": "1", + "kind": "stored", + "register": 75 + } + }, + "Sigma_context": { + "exact": "1334618133025233693498651410987751373717648672233185242758422243736332185363157468236045590312313388961246009093349383687007930830838164135723971446361591707045491165293306492630955265917465425298679150126235130266124349080545613166057661215135877787946396251421090693018789675584497544579812909302512548442392331823750518894462697679765133416172031314221558797649325385121846267958038414881065473161369441602081164137544365736434630903321831/320247285442140769134110953618454922992625780457095452694524461056000000000000000000000000000000000000000000", + "strict_power_of_two": 1109, + "witness": { + "cut": 4983, + "event": 4982, + "factor": "1", + "kind": "stored", + "register": null + } + } + }, + "fresh_arbitrary_helpers": 19602, + "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": "18866829490690829151485705290906565743134536594417368328186931607173451271835231055528453709016495400326192304522544374425525872843522341511899334453417365117150838544474206195719447683665361752910573189365911294295419097690656748984630654935133995793539125472665005894045752863707597592350782692671851868911813/1848234575132758467382193273438208000000000000000000000" + }, + "Gamma_context": { + "entrance_mass": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", + "joint_coefficient": "3588816846070975662189139150385916018049768310935423284247506919489598097879366381598784768436344948623399851427080856173768395141863135887379886323692161717893814936281078874126758254305/32768", + "primitive_coefficient": "104601728656160061800829059188189517089489205649710398563826603344774845615386975930430446869514605732253126838851071709850611632285445276658068751933727423823199247050168422471008254528236067/131072", + "residual_mass": "12158804607306506774126410667875561444893324258779818757353394286068193913042533176417512030887246971068986031616642669351510341332717015920436603856514438905421065396425208169395229920389928472093634889056889117506679670945138533309744246964240878271614574982711256643542682897835749982966360771852637476950932433/8871525960637240643434527712503398400000000000000000000" + }, + "M_caller": { + "entrance_mass": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", + "joint_coefficient": "3588816846070975662189139150385916018049768310935423284247506919489598097879366381598784768436344948623399851427080856173768395141863135887379886323692161717893814936281078874126758254305/32768", + "primitive_coefficient": "104601728656160061800829059188189517089489205649710398563826603344774845615386975930430446869514605732253126838851071709850611632285445276658068751933727423823199247050168422471008254528104995/131072", + "residual_mass": "12158804607306506774126410667875561444893324258779818757353394286068193913042533176417512030887246971068986031616642669351510341332717015920436603856514438905421065396425208169395229920389928472093634889056889117506679670945138533309744246964240878271614574973839730682905442254401222270462962371852637476950932433/8871525960637240643434527712503398400000000000000000000" + }, + "M_joint_entrance": { + "entrance_mass": "66231921216838714175335242310174311625441766070329537281095337280001689425837300045521194678022507207573740758259597518292006513594483309822197449388620837179777160688120985448681075810705/4096", + "joint_coefficient": "3341262452763736608333208973454412950850413153418406702391448781717870354386212730465850137279766193453853839111325961239001898880600732238129365028446669327062277635590277335176110963/4096", + "primitive_coefficient": "97386365324171280012900240624596584740208335418838768849197300645798627964098858911945347609583363839763283834626254278123625524137460265198827318958269714035256037492260512470970582090841/16384", + "residual_mass": "18866829490690829151485705290906565743134536594417368328186931607173451271835231055528453709016495400326192304522544374425525872843522341511899334453417365117150838544474206195719447683665361752910573189365911294295419097690656748984630654935133995793539125472665005894045752863707597592350782692671851868911813/1848234575132758467382193273438208000000000000000000000" + }, + "Sigma_caller": { + "entrance_mass": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", + "joint_coefficient": "3588816846070975662189139150385916018049768310935423284247506919489598097879366381598784768436344948623399851427080856173768395141863135887379886323692161717893814936281078874126758254305/32768", + "primitive_coefficient": "104601728656160061800829059188189517089489205649710398563826603344774845615386975930430446869514605732253126838851071709850611632285445276658068751933727423823199247050168422471008254528236067/131072", + "residual_mass": "12158804607306506774126410667875561444893324258779818757353394286068193913042533176417512030887246971068986031616642669351510341332717015920436603856514438905421065396425208169395229920389928472093634889056889117506679670945138533309744246964240878271614574982711256643542682897835749982966360771852637476950932433/8871525960637240643434527712503398400000000000000000000" + } + }, + "joint_entries": [ + { + "entrance_defect": "4384", + "entrance_mass": "23859/2", + "event": 49, + "stage": 1 + }, + { + "entrance_defect": "2390738127124581831056942934821403013735684410080761833023259618256326630540173571664969935755246258104563380783651752046976845492743/338421858239640832650548084736000000000000000000000", + "entrance_mass": "44760984243/4", + "event": 144, + "stage": 2 + }, + { + "entrance_defect": "6853175805594162159072161162185464746584899704773233487390593935575055503136692635974163572417175066883470238629614240051019903424676947540597/21658998927337013289635077423104000000000000000000000", + "entrance_mass": "8019347752894898813/16", + "event": 275, + "stage": 3 + }, + { + "entrance_defect": "88439370657307245059205484303388871265277684897421264892580347480344225799819641910724590024941212058110115426915821296645295734367890169745534205769/1082949946366850664481753871155200000000000000000000", + "entrance_mass": "258721681913211409397548013/2", + "event": 435, + "stage": 4 + }, + { + "entrance_defect": "314133519316173612854195572576730626561771505828117388017070671180187575886453498598651710333473669414656768377282425276774102197701005548203256102213450998193/7219666309112337763211692474368000000000000000000000", + "entrance_mass": "1102764325780487636837595009524032653/16", + "event": 627, + "stage": 5 + }, + { + "entrance_defect": "563764310204080883577654483048674877033679097628922149762261563708047347920119868396922782688580637331072927259920906981967111829182218014689132962624304064461011444679/5414749731834253322408769355776000000000000000000000", + "entrance_mass": "659697369868562418053848749577901431896032551/4", + "event": 848, + "stage": 6 + }, + { + "entrance_defect": "8548827086756790260501610916343237795681354999451024751168861113274061770194757911573830897187795788331658635774014977816995881631185246476248553103243945965161513344337400501721/34654398283739221263416123876966400000000000000000000", + "entrance_mass": "50017699262951285012300223375874644326538714050483088723/128", + "event": 1101, + "stage": 7 + }, + { + "entrance_defect": "35282941153424637660736558791901280329439492951432664942276716911326257048342847488077660208927736043979581779240037082318892483470363306938655727243241526193959280572834896989523236979367/14439332618224675526423384948736000000000000000000000", + "entrance_mass": "123860608372223676361208276303474840021608894935793894644443117475/32", + "event": 1383, + "stage": 8 + }, + { + "entrance_defect": "381906332876849350162063158887560827359955451120738681078580367166167045748617502100031342179909684662916536424332628649067960360756544997333273869426228390802816189268450009027391309862863895670903/86635995709348053158540309692416000000000000000000000", + "entrance_mass": "446893495694686287960280473450842802655971489871616126572592413520841719161/64", + "event": 1662, + "stage": 9 + }, + { + "entrance_defect": "10960686581562110842958177879812369733004386006357028455646220355606558626908332041441016004665869389691186046082418712098380368235264214999059876624095600164195794018625805146749421729677629877905201350342951514871896106120516306416506565479/21658998927337013289635077423104000000000000000000000", + "entrance_mass": "1603226733879417057855793968966209778425632456862348198524030211565823693253398434234475406089669867705587698766845597/2", + "event": 3203, + "stage": 10 + }, + { + "entrance_defect": "136724916222696645447199195990564357658080952758314898720004760181388902647384257991235403447328907833765706618973757277447836726607464899632678826381933306747384153213113233197744626864983028429464184300899984515404631546642313905075257716985041194681/346543982837392212634161238769664000000000000000000000", + "entrance_mass": "159990737255009044304340266028013949411590186711547802615104749842798991699729693917477577741470706009608765481680513095697397863/256", + "event": 3526, + "stage": 11 + }, + { + "entrance_defect": "609728051621874627498921678563024107961031480120637251098584490466290039673867884299212945082004850736914686956609368146498881595616758608271934382822988721144468567686153053679679294510347983747185094355663580180908528798805728574998906755192750922051203779361/1386175931349568850536644955078656000000000000000000000", + "entrance_mass": "713482539972112811302498126039122556478474335397824876612540289480809876975347015211250548661355667282704396311981650378099911649135840063/1024", + "event": 3821, + "stage": 12 + }, + { + "entrance_defect": "65577432584068969962686265708873330842600999004201733847097634501256248676910101994120611443569602986845073981074068291643473771313668789334240450219135285168409972994365815428198361387622924154346933252024291658220987965620947895984740099379189890145639213602753063819/154019547927729872281849439453184000000000000000000000", + "entrance_mass": "690627858377635566118234917748020783796286454330854789097666289598705747090709204201800639258908872647850357504982405971722609074791401430947671165/1024", + "event": 4088, + "stage": 13 + }, + { + "entrance_defect": "402391923255773652498807165178612775228483186928323554420945663182609779490098002819195709246647697397057614904904009691876948470473359043655929869653138867794389370032851169360568397326815770545835588566980701029311125736332571016609598926426946247181440201772615316434286276297/2772351862699137701073289910157312000000000000000000000", + "entrance_mass": "470865020405587123936906066570155601953174646068287322382245101819760273515813542612024822098129182481570490831889396523550001544922531326945370763196989399/2048", + "event": 4324, + "stage": 14 + }, + { + "entrance_defect": "39708640373013958978373779635985774735523387030171146791029624946304610112178208122482050454822583245831524134404304832236008030714775369931921663147386894938071381264086691462220553884915898710093318096733162094422319633918191486661911310143051838758729286139448906055037392347322205271/1386175931349568850536644955078656000000000000000000000", + "entrance_mass": "46465668615402712050475352820015987705766128000689019237904160504542353131957951954454381327545881694314550682714483945959032017848349099581053150524269011108711881/1024", + "event": 4532, + "stage": 15 + }, + { + "entrance_defect": "19397869565859800683338227801800553639601818867465544831500137698685029812272213132364172929054957338289911972917517645056248489832541907030632675658362647519325337186864110127919302096346311295746781905987157798090549305527013591476863430803502742120999267245275119539623624568574465637188315009/11089407450796550804293159640629248000000000000000000000", + "entrance_mass": "22698711681515933658235268009935719580127806482189476469420786919611768582281970304620813093468639555288906634046185136362302550495196405154606658307111274865117192668126623/8192", + "event": 4709, + "stage": 16 + }, + { + "entrance_defect": "40057507344527100203257394606202255570611440236941380659061975127959175291256778852077500705217042542196021184808570616076659031958984425554646000258380220761586788684136946787844699356702546531792648154477810209795671193099157933403039369636552350174519401791735958725248912486600488042179259942040991/2217881490159310160858631928125849600000000000000000000", + "entrance_mass": "234369503003028720835110712559034466962392865438574454855472632480300248897620917700915501102797005900029816899906431175273180672543487679750570754841237111980601879269511857634373/8192", + "event": 4858, + "stage": 17 + }, + { + "entrance_defect": "18866829490690829151485705290906565743134536594417368328186931607173451271835231055528453709016495400326192304522544374425525872843522341511899334453417365117150838544474206195719447683665361752910573189365911294295419097690656748984630654935133995793539125472665005894045752863707597592350782692671851868911813/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": "16939851110844405772345855515949033265091896252990213581872583757334154998888115512107443848537419068666457528053026989442268853/1353687432958563330602192338944000000000000000000000", + "strict_power_of_two": 253, + "witness": { + "cut": 73672, + "factor": "1", + "kind": "public-return", + "register": 1483 + } + }, + "M": { + "exact": "70738866521465829093183086124217011599312098553634735275815000717831641076305398468747269724946016582753039918905183661131648825787/173271991418696106317080619384832000000000000000000000", + "strict_power_of_two": 258, + "witness": { + "cut": 72944, + "factor": "1", + "kind": "stored", + "register": 1483 + } + }, + "Sigma": { + "exact": "16939851110844405772345855515949033265091896252990213581872583757334154998888115512107443848537419068666457528053026989442268853/1353687432958563330602192338944000000000000000000000", + "strict_power_of_two": 253, + "witness": { + "cut": 72944, + "factor": "1", + "kind": "stored", + "register": 1483 + } + } + }, + "census": { + "denominator_bits": 20, + "events": 73672, + "lifetimes": 54, + "max_denominator": 655360, + "max_numerator": 14729531, + "numerator_bits": 24, + "opcodes": { + "ADD": 63582, + "CLEAR": 54, + "COPY": 1, + "INIT": 54, + "MOVE": 6291, + "SCALE": 3690 + }, + "owned_labels": 51, + "peak_owned": 43, + "public": 1489, + "scalars": { + "dyadic": 61987, + "integer": 39274, + "noninteger": 27999, + "odd": 5286 + } + }, + "independent_adjoint": { + "Gamma": { + "active_residual_sites": 26063, + "entrance_mass": "70738866521465829093183086124217011599312098553634735275815000717831641076305398468747269724946016582753039918905183661131648825787/173271991418696106317080619384832000000000000000000000", + "residual_mass": "16939851110844405772345855515949033265091896252990213581872583757334154998888115512107443848537419068666457528053026989442268853/1353687432958563330602192338944000000000000000000000" + }, + "M": { + "active_residual_sites": 26063, + "entrance_mass": "70738866521465829093183086124217011599312098553634735275815000717831641076305398468747269724946016582753039918905183661131648825787/173271991418696106317080619384832000000000000000000000", + "residual_mass": "16939851110844405772345855515949033265091896252990213581872583757334154998888115512107443848537419068666457528053026989442268853/1353687432958563330602192338944000000000000000000000" + }, + "Sigma": { + "active_residual_sites": 26063, + "entrance_mass": "70738866521465829093183086124217011599312098553634735275815000717831641076305398468747269724946016582753039918905183661131648825787/173271991418696106317080619384832000000000000000000000", + "residual_mass": "16939851110844405772345855515949033265091896252990213581872583757334154998888115512107443848537419068666457528053026989442268853/1353687432958563330602192338944000000000000000000000" + } + } + }, + "scope": "Exact-child grid and attributed all-fibre error envelope, with one signed unitary per fused event", + "word": { + "coefficient_visits": 14993176, + "dyadic_height": 24, + "mass_witness": [ + 64720, + "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": [ + "496143292239706019851113784824845891866891316412738478030372266664948629380557/10000000000000000000000000000000000000000000000000000000000000000000000000000000", + "2480716461198530099255568924124229459334456582063692390151861333324743165587509/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "claim_decimal": "0.003638690802852", + "gain": "1.19671491E-7", + "gain_exact": "119671491/1000000000000000", + "independent_raw_bracket": [ + "0.00363869080285274370911031339081334", + "0.00363869080285274370911031339081335" + ], + "previous_claim": "3638571131361/1000000000000000", + "raw_bracket": [ + "0.0036386908028527437091103133908133", + "0.0036386908028527437091103133908134" + ] + }, + "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": "4f19c6ee57b74d7c3ea1863df0b33fe275a3a7511f77084f05726ee216ebdc34" + }, + "source_head": "bd244b0e5034cb1b9f72641494c3421f757ec2e4", + "status": "PASS_P104_CHART120_PEER_NATIVE", + "word_canonical_sha256": "4f19c6ee57b74d7c3ea1863df0b33fe275a3a7511f77084f05726ee216ebdc34" +} diff --git a/research/p104-chart120-peer-composition/PEER-CREDIT.json b/research/p104-chart120-peer-composition/PEER-CREDIT.json new file mode 100644 index 0000000000..163c4ac2fc --- /dev/null +++ b/research/p104-chart120-peer-composition/PEER-CREDIT.json @@ -0,0 +1,10 @@ +{ + "author": "ToikY", + "url": "https://github.com/CrocSwap/integer-mult-bounds/discussions/7111", + "snapshot_fetched_at": "2026-11-10T19:04:35.264931+00:00", + "body_sha256": "97fcff151e73cba790afc074d8764ba793049e61f4326e2853c17a0205698e1a", + "quoted_pattern": "It splits a paid rank-seven move into ranks four and three and targets a productive rank-eight split into four and four.", + "reported_scope": "Local-only chart120 pattern on7115 across13cuts; physical replay and comparisonwith7116 pending in the cited body.", + "this_contribution": "Independent construction and full composition on exact7119; no peer word or verifier is imported. Credit for the pattern belongs to ToikY.", + "remaining": "The peer original local artifact remains unpublished and is not replayed here." +} diff --git a/research/p104-chart120-peer-composition/PROOF.md b/research/p104-chart120-peer-composition/PROOF.md new file mode 100644 index 0000000000..346dda4ac3 --- /dev/null +++ b/research/p104-chart120-peer-composition/PROOF.md @@ -0,0 +1,47 @@ +# Composing ToikY's chart-120 pattern with the current word + +ToikY reported a local-only chart-120 pattern on #7115: a productive rank-eight helper splits into four plus four while one paid rank-seven move splits into four plus three. PEER-CREDIT.json records the public finding, its URL and snapshot hash. Credit for that pattern remains with ToikY. Their original local word is not imported here. This package independently constructs the following composition on exact #7119, at `bd244b0e5034cb1b9f72641494c3421f757ec2e4`. + +The complete 25-file source export and all nested inventories are authenticated before import. Every source native byte is reconstructed. All indices below refer to that frozen word, canonical hash `7a45d092b0bf8075e3d00242c72ac897be234e005cbcdfc47d06e9d2967359f0`. + +## One paid meeting + +At cut 39058, subdivide public role 962's MOVE 39055 from chart 597 to chart 207 through chart 120. These charts have dimensions 1,8,5 respectively, with the required nesting. The old paid rank 7 becomes paid ranks 4+3. The complete contact-free interval is [39055,39094). The constructor checks every role event and source read, exact endpoints, nesting, the public/owned flag and both paid Counters. No neutral retiming is needed in the selected witness. + +The new maps compose to the old one because C_207 C_120⁻¹ C_120 C_597⁻¹=C_207 C_597⁻¹, including absolute phase. Moving each part across operations on other fields preserves the word. The owned labels shift by one for the fresh public input, while all 54 lifetimes, peak 43 and 23 rises of mass 56 remain unchanged. + +## A four-ADD cut basis + +The boundary helper group is 597→127, with independent roles 1447 and 1449. Its initial frame is the one-dimensional span of 82; its final frame has dimension 9. Chart120 has dimension 5. For the retimed prefix P and suffix S, exact rational replay verifies + + a = e962ᵀ + e1302ᵀ, + b = e1447 + e1302 + e1305, + c = e1447ᵀ, d = e1447, + aP=c, Sb=d, ab=cd=1. + +All fields in a,b and pivot 1447 actually occupy chart 120. Since c,d already form the pivot unit pair, the boundary basis G is identity. The attributed Ali Romman basis routine gives the following four ADDs for J, all at chart 120: + + x1302 ← x1302 − x1447 + x1305 ← x1305 − x1447 + x1447 ← x1447 + x962 + x1447 ← x1447 + x1302 + +Thus row1447(J)=a and Jb=e1447. Reversing the order and the signs gives J⁻¹. All coefficients are ±1 and satisfy the retained scalar alphabet. The two programs add eight ADDs and no SCALEs. + +After P and J, coordinate 1447 is its original independent input x1447. Retire it at chart 120 and replace its continuation by a fresh independent input z. Apply J⁻¹ with the new role and continue S. The replacement changes the final output by Sb(z−x1447)=e1447(z−x1447), so every other endpoint is unchanged. This uses no inverse of P or S and retains the owned initialization/erasure operations and assumptions. + +The original pivot's target becomes 597→120, rank 4. Fresh role 1488 has target 120→127, rank 4. Its input is arbitrary, not zero scratch. The emitted word has 73,672 events, 1,489 public inputs and canonical hash `4f19c6ee57b74d7c3ea1863df0b33fe275a3a7511f77084f05726ee216ebdc34`. Independent forward and adjoint replays cover all public inputs and owned rows; the full physical/caller checks apply to this exact word. + +## Complete signed budget + +Write H_r=r^(1−κ). Per native invocation, + + ΔP = H4 + H3 − H7, + ΔT = 2H4 − H8, + Δ(T−P) = H4 + H7 − H8 − H3 > 0, 0<κ<1. + +Strict concavity gives H4−H3>H8−H7. Both paid and productive rank masses remain unchanged. Across the retained 17-stage caller, ΔP={3:+17,4:+17,7:−17} and ΔT={4:+34,8:−17}. Surplus remains 1424, with no empty-root credit. Both exact engines reconstruct the full old and new invoices and reject #7119's invoice at the new claim. + +The eight ADDs, one net added MOVE, extra independent input, both odd conversions and all current precision/physical/compiler costs enter APPLICATION.md. The fixed-invoice crossing is not a bound on other words or callers. The five framework assumptions remain; independent human/formal review and maintainer admission are separate. + +Credit ToikY for the original chart-120 pattern; Ali Romman for helper bases and paid meetings; Jerry Chen/CubeJerry for retiming and native engines; Matarener for discovery kernels and pairing; Rohan Arun for the signed 17-stage caller; DreamingOfClouds, Douglas Colkitt/#7000 reviewers and every retained source author. This exact current-source composition was prepared for dillona with substantial OpenAI Codex assistance. Apache-2.0. diff --git a/research/p104-chart120-peer-composition/README.md b/research/p104-chart120-peer-composition/README.md new file mode 100644 index 0000000000..449cf8d162 --- /dev/null +++ b/research/p104-chart120-peer-composition/README.md @@ -0,0 +1,52 @@ +# Conditional κ 0.003639264106282 by composing ToikY's chart-120 pattern + +**ToikY reported the chart-120 pattern** in [Discussion #7111](https://github.com/CrocSwap/integer-mult-bounds/discussions/7111): split a productive rank-eight helper into four plus four, while charging a paid rank-seven subdivision into four plus three. This package independently constructs and fully checks that pattern on exact **#7119**, improving its complete conditional claim by **0.000000120671216**. The peer's original #7115 artifact remains local-only and is not imported here. [PEER-CREDIT.json](PEER-CREDIT.json) records the finding and attribution. + +The exact claim is `1819632053141/500000000000000`. Both price engines reject #7119's invoice at this claim. The independent raw crossing is + +``` +(0.00363926410628203626930823372185618, + 0.00363926410628203626930823372185619). +``` + +This is the emitted invoice's ceiling, with more than 0.9999999999999 realized. The retained BIT cap 0.00376669 leaves 0.000127425893718 headroom, without asserting attainability. The old `complex-local-word-ceiling/ceiling.py` hosted nine-stage coverage law does not apply to this signed 17-stage caller with independent productive helper targets; the complete signed-invoice crossing is the applicable replacement bound. It does not bound other words or callers. The selected frontier is unchanged. + +## Exact composition and full costs + +At source cut 39058, public role 962's rank-seven move 597→207 is subdivided through chart 120 into ranks 4+3. Its full contact-free interval is [39055,39094). Helper 1447, in boundary group 597→127, retires at 120; fresh role 1488 starts there with an independent arbitrary input. The boundary basis is identity. The middle basis has four unit-coefficient ADDs, given explicitly in [PROOF.md](PROOF.md); its inverse supplies four more. + +The new word adds **eight ADDs and one net MOVE**, has 73,672 events, 1,489 public inputs, 1,089 independent helpers and 51 owned labels. All 54 owned lifetimes, peak 43 and 23 rises of mass 56 remain unchanged. The exact native grid remains 1125/F24. Full ordinary work is **777,741,264 <10⁹**. Fresh precision gives **c=2342**, height 405 and mass exponent 1171. The regenerated compiler gate uses gap `1/1000000000000000000` and H=`172444000000000000000000`; every affected outer/fixed-tape bound uses those new values. + +| Complete 17-stage invoice | #7119 | This construction | +|---|---:|---:| +| Paid positions |110706|110723| +| Productive fields |22240|22257| +| Rank surplus |1424|1424| +| Empty-root credits |0|0| + +The exact deltas are ΔP={3:+17,4:+17,7:−17} and ΔT={4:+34,8:−17}. With H_r=r^(1−κ), native signed gain H4+H7−H8−H3 is positive by strict concavity for 0<κ<1. The full ordinary, precision, physical and outer obligations are checked separately. + +## Frozen sources and reproduction + +`INPUTS.json` authenticates the complete 25-file #7119 export at `bd244b0e5034cb1b9f72641494c3421f757ec2e4` by SHA256 and Git blob IDs, preserving all nested sources and notices. Every source native byte is reconstructed. Source hash: `7a45d092b0bf8075e3d00242c72ac897be234e005cbcdfc47d06e9d2967359f0`. New native hash: `4f19c6ee57b74d7c3ea1863df0b33fe275a3a7511f77084f05726ee216ebdc34`. Rohan Arun's #7113 signed 17-stage caller remains byte-identical, SHA256 `255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc`, from exact head `07a76c5e2738882c0cb322278e56f6cae3c9885d`. + +```sh +python3.12 -B scripts/research_package.py --package research/p104-chart120-peer-composition +``` + +The first command checks source/candidate reconstruction, arbitrary-input forward and adjoint, declared path/target deltas, grid, the 18-stage ingredient invoice/precision and complete finite native/signed routes. Its ingredient claim is separate from the final 17-stage result. The second command reconstructs both complete 17-stage invoices, emits the unchanged rational/integer Laurent caller and rechecks the complete application. All **3,049 paid/helper maps and 104 main boundaries** receive signed-Pauli/absolute-phase checks; five affected maps additionally receive all 512 column checks. Fourteen native corruption controls, owner/phase/caller-grid/BIT controls and 54 strict + 4 functional outer conditions remain active. Every frozen receipt field is compared. + +The standard-library replay requires neither Git nor network, rejects optimized Python, and writes a fresh receipt only with `--out UNUSED_PATH`. [VALIDATION.md](VALIDATION.md) records completed runs. [APPLICATION.md](APPLICATION.md) supplies the exact operator, ownership, common-grid, precision and physical fixed-tape substitutions. The peer finding is credited provenance, not a runtime input or imported correctness receipt. + +## Obligations and predecessor credit + +The five assumptions remain: `native_all_columns`, `owned_erasure`, `compiler`, `precision_tape`, `analytic_recovery`. Owned erasure retains its nonzero-content premise. Independent human/formal review, maintainer admission and compiled top-level execution remain open. + +Credit **ToikY** for the reported chart-120 pattern; **Ali Romman** for helper bases/paid meetings; **Jerry Chen/CubeJerry** for retiming and native/invoice/compiler engines; **Matarener** for complete discovery kernels/pairing; **Rohan Arun** for the 17-stage caller/application; **DreamingOfClouds**, **Douglas Colkitt/#7000 reviewers**, the earlier dillona/OpenAI Codex chain through #7119, and every retained source author/notice. This exact current-source composition was prepared for dillona with substantial OpenAI Codex assistance; no subagents. Apache-2.0. + +## Open next questions + +- Independently review the emitted composition and full application using its exact source export and registered replay. +- When ToikY's original artifact becomes public, pin and compare its word, witness and source. Matching profiles alone do not establish identical circuits or transfer verification. + +The [canonical investigation](https://github.com/CrocSwap/integer-mult-bounds/discussions/1166#discussioncomment-19520521) and peer reply record the distinct scope. `DISCOVERY.json` labels the local nomination evidence; no search optimum is claimed. diff --git a/research/p104-chart120-peer-composition/REPLAY.txt b/research/p104-chart120-peer-composition/REPLAY.txt new file mode 100644 index 0000000000..440c371fc5 --- /dev/null +++ b/research/p104-chart120-peer-composition/REPLAY.txt @@ -0,0 +1,73 @@ +CHECK Authenticate/reconstruct exact7119 from complete25-file export and nested closure; check one paid path, arbitrary-input forward/adjoint, helper8-to-4+4 and paid7-to-4+3 Counters, fresh grids/18-stage ingredient price/precision, five512-column maps,14negativecontrols, full finite native/signed routes 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 73672 public 1489 owned roles 51 paid {1: 4034, 2: 841, 3: 818, 4: 240, 5: 325, 6: 16, 7: 11, 8: 6} owned UP {1: 10, 2: 4, 3: 1, 4: 6, 5: 1, 6: 1} helpers {1: 17, 2: 18, 3: 46, 4: 219, 5: 71, 6: 42, 7: 18, 8: 58, 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 73672 events, 2964 chart pairs, 20s +prime 1000000009 seed 11: helper rows bad 0 (of 1089), X rows bad 0, Y rows bad 0, X2 rows bad 0, Y2 rows bad 0 (of 104 ports; 96 with second mains) +tableau on 104 ports: XX!=D 0 YY!=D 0 YX!=Q^-1D 0 XY!=QD 0 | controls matching (must be 0): 0 0 +PASS_PHYSICAL 27s +PASS chart columns and phase, rejection controls and finite physical replay +PASS_P104_CHART120_PEER_NATIVE 909672700713/250000000000000 +CHECK Reconstruct current7119 and candidate17-stage invoices, unchanged literal caller, all3049paid/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.003639264106282 +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 ['36392641062820362693082337218561/10000000000000000000000000000000000', '18196320531410181346541168609281/5000000000000000000000000000000000'] +RUN check_odd_caller_exact_grid.py +PASS odd caller grid [381, 69, 62] [381, 3, 2] scale bits 10 checked 176874 +RUN check_odd_physical_binding.py +PASS exact physical binding 110723 13600 22257 +RUN check_odd_precision.py +PASS short precision 405 1171 2342 +RUN check_odd_partial_admission.py +ordinary bill 777741264 +PASS partial signed short gates 777741264 1819632053141/500000000000000 {'strict_count': 54, 'functional_count': 4, 'minimum_margin': '1/10000000000000000000', 'BIT_just_below_effective_rejected': True} +RUN check_odd_fixed_tape_counts.py +PASS finite tariff substitution 42286304 25477565312 precision 2342 +RUN complete catalogue 0 1000 +RUN complete catalogue 1000 2000 +RUN complete catalogue 2000 3049 +PASS complete 8+9 component application checks 1819632053141/500000000000000 3049 110723 +PASS_P104_CHART120_PEER_COMPOSITION 1819632053141/500000000000000 +PASS_REGISTERED_RESEARCH_PACKAGE research/p104-chart120-peer-composition outcome=partial diff --git a/research/p104-chart120-peer-composition/RESULT.json b/research/p104-chart120-peer-composition/RESULT.json new file mode 100644 index 0000000000..43f7d5ca1a --- /dev/null +++ b/research/p104-chart120-peer-composition/RESULT.json @@ -0,0 +1,1561 @@ +{ + "adapter": { + "adapted_sha256": { + "check_odd_partial_admission.py": "92c32f88071118c7e52d282a7e6ef728de7313807b59e00cba54548679db96a3", + "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(\".003639264106282\")", + "old": "claim=Q(\".00363797977\")" + }, + { + "file": "check_odd_partial_admission.py", + "new": "tested=claim+Q(7,10**17)\nwhile tested>=Q(reference[\"raw_bracket\"][0]):\n tested=claim+(tested-claim)/10", + "old": "tested=claim+Q(7,10**17)" + }, + { + "file": "check_odd_partial_admission.py", + "new": "g=gate(invoice,claim,tested,*bracket,r[\"gate\"][\"BIT_pin\"])\nstale=claim+Q(7,10**17)\nassert stale>=Q(bracket[0]), \"This candidate exercises the fixed-probe failure\"\ntry:\n gate(invoice,claim,stale,*bracket,r[\"gate\"][\"BIT_pin\"])\nexcept AssertionError:\n stale_probe_rejected=True\nelse:\n raise AssertionError(\"Unshrunk probe unexpectedly accepted\")", + "old": "g=gate(invoice,claim,tested,*bracket,r[\"gate\"][\"BIT_pin\"])" + }, + { + "file": "check_odd_partial_admission.py", + "new": "\"stale_fixed_probe_rejected\":stale_probe_rejected,\"scope\":\"Reuse exact same native word all-column adjoint;", + "old": "\"scope\":\"Reuse exact same native word all-column adjoint;" + }, + { + "file": "check_odd_precision.py", + "new": "", + "old": "previous=json.loads((root/\"SHORT-PRECISION.json\").read_text())" + }, + { + "file": "check_odd_precision.py", + "new": "assert grid_receipt[\"caller_sha256\"]==sha256(cpath.read_bytes()).hexdigest()", + "old": "assert previous[\"native_sha256\"]==sha and grid_receipt[\"caller_sha256\"]==sha256(cpath.read_bytes()).hexdigest()" + }, + { + "file": "check_odd_precision.py", + "new": "wg=grid.word_run(w)\nwp,wr=env.native_envelope(w)\nwg=json.loads(json.dumps(wg,default=str));wr=json.loads(json.dumps(wr,default=str))\nassert wg==r[\"precision\"][\"word\"] and wr==r[\"precision\"][\"rounded_native\"], \"Fresh changed-native grid and envelope\"", + "old": "wg=previous[\"native_grid\"]\nwr=previous[\"rounded_native\"]\nwp={key:(Q(v[\"exact\"]),v[\"witness\"]) for key,v in wr[\"bounds\"].items()}" + } + ] + }, + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "catalogue": [ + { + "catalogue_digest": "d4a58589d5cbe4be17f92266c02e114ba1f1de4cbb995eac07ed1f28ac13e760", + "catalogue_size": 3049, + "checked_maps": 1000, + "distinct_helper_maps": 184, + "distinct_paid_maps": 2964, + "exact_recipe_digest": "35c3ad430e077d3e73c426bfbd1985ff3b24cbeaa7f78c2ce68ff0a540220067", + "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": "c22eddc6ae3160aa924cca8e2f14f20f69c0ff9bcca6c3c2ee0cdb83ebb55448" + }, + { + "catalogue_digest": "d4a58589d5cbe4be17f92266c02e114ba1f1de4cbb995eac07ed1f28ac13e760", + "catalogue_size": 3049, + "checked_maps": 1000, + "distinct_helper_maps": 184, + "distinct_paid_maps": 2964, + "exact_recipe_digest": "b5e11643fdcce885f30854d43d808e1fffb6c6b4eab62732fbc6744d48ead447", + "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": "c22eddc6ae3160aa924cca8e2f14f20f69c0ff9bcca6c3c2ee0cdb83ebb55448" + }, + { + "catalogue_digest": "d4a58589d5cbe4be17f92266c02e114ba1f1de4cbb995eac07ed1f28ac13e760", + "catalogue_size": 3049, + "checked_maps": 1049, + "distinct_helper_maps": 184, + "distinct_paid_maps": 2964, + "exact_recipe_digest": "a4215b4008561d0910f1733bc2369f7b75f12e36a8ed7deba31fbed0048aecf5", + "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": 3049, + "status": "PASS_CURRENT_NATIVE_CATALOGUE_SLICE", + "word_sha256": "c22eddc6ae3160aa924cca8e2f14f20f69c0ff9bcca6c3c2ee0cdb83ebb55448" + } + ], + "checks": { + "ODD-8X9-APPLICATION-CHECKS.json": { + "assumptions": [ + "native_all_columns", + "owned_erasure", + "compiler", + "precision_tape", + "analytic_recovery" + ], + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "candidate": "1819632053141/500000000000000", + "catalogue": [ + { + "catalogue_digest": "d4a58589d5cbe4be17f92266c02e114ba1f1de4cbb995eac07ed1f28ac13e760", + "catalogue_size": 3049, + "checked_maps": 1000, + "distinct_helper_maps": 184, + "distinct_paid_maps": 2964, + "exact_recipe_digest": "35c3ad430e077d3e73c426bfbd1985ff3b24cbeaa7f78c2ce68ff0a540220067", + "log_sha256": "f90221e29c5f1ce1053f37fa09b1f1907a0e14e09f8811afdb2fc7e2732621f1", + "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": "c22eddc6ae3160aa924cca8e2f14f20f69c0ff9bcca6c3c2ee0cdb83ebb55448" + }, + { + "catalogue_digest": "d4a58589d5cbe4be17f92266c02e114ba1f1de4cbb995eac07ed1f28ac13e760", + "catalogue_size": 3049, + "checked_maps": 1000, + "distinct_helper_maps": 184, + "distinct_paid_maps": 2964, + "exact_recipe_digest": "b5e11643fdcce885f30854d43d808e1fffb6c6b4eab62732fbc6744d48ead447", + "log_sha256": "a699318fdcefa56619f8380ce957543be521eb38b3949fe17e4f18faf070a36a", + "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": "c22eddc6ae3160aa924cca8e2f14f20f69c0ff9bcca6c3c2ee0cdb83ebb55448" + }, + { + "catalogue_digest": "d4a58589d5cbe4be17f92266c02e114ba1f1de4cbb995eac07ed1f28ac13e760", + "catalogue_size": 3049, + "checked_maps": 1049, + "distinct_helper_maps": 184, + "distinct_paid_maps": 2964, + "exact_recipe_digest": "a4215b4008561d0910f1733bc2369f7b75f12e36a8ed7deba31fbed0048aecf5", + "log_sha256": "2a47b23d958277f7ef5388a177698d807e66c0a8d2d588fd10b18f91ecef36dc", + "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": 3049, + "status": "PASS_CURRENT_NATIVE_CATALOGUE_SLICE", + "word_sha256": "c22eddc6ae3160aa924cca8e2f14f20f69c0ff9bcca6c3c2ee0cdb83ebb55448" + } + ], + "fixed_tape_counts": { + "H": 172444000000000000000000, + "Kstar_bits": 14100, + "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": 14111, + "context_c": 2342, + "elementary_records_per_map_upper": 85264, + "elementary_records_upper": 25477565312, + "log_power": 2234, + "max_scalar_numerator_bits": 24, + "monomial_map_slots": 298808, + "native_invocations": 17, + "native_sha256": "4f19c6ee57b74d7c3ea1863df0b33fe275a3a7511f77084f05726ee216ebdc34", + "owned_banks_per_raw_occurrence": 867, + "scalar_macro_inputs": { + "caller": 117856, + "conversions": 58114, + "native": 1145477 + }, + "scalar_services_upper": 42286304, + "scalar_steps_coefficient": 44340403503104, + "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": "1819632053141/500000000000000" + }, + "native_archive_sha256": "c22eddc6ae3160aa924cca8e2f14f20f69c0ff9bcca6c3c2ee0cdb83ebb55448", + "native_canonical_sha256": "4f19c6ee57b74d7c3ea1863df0b33fe275a3a7511f77084f05726ee216ebdc34", + "numeric_gate": { + "BIT_margin": "127425893717993/1000000000000000000", + "BIT_pin": "376669/100000000", + "H": "172444000000000000000000", + "alpha": [ + 1.0, + 1.0 + ], + "claim": "1819632053141/500000000000000", + "compiler_gap": "1/1000000000000000000", + "delta": [ + 0.9013476513332142, + 0.9013476513332142 + ], + "derivative_upper": -382313.60299030744, + "gamma": [ + 0.9406992897302461, + 0.9406992897302461 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "1819632053141/500000000000000": [ + "15521549141374983837730089309243312066831190684335586252012008017332474037463/12500000000000000000000000000000000000000000000000000000000000000000000000000000", + "62086196565499935350920357236973248267324762737342345008048032069329896150837/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "3639264106282007/1000000000000000000": [ + "124172393131000099369411766706029814424684807326851500198783639496232450951747/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124172393131000099369411766706029814424684807326851500198783639496232450953683/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2233, + "moment_margin_float": { + "18196320531410181346541168609281/5000000000000000000000000000000000": [ + -7.136469720690277e-30, + -7.136469720690277e-30 + ], + "3639264106282007/1000000000000000000": [ + 1.136736630307739e-11, + 1.136736630307739e-11 + ], + "36392641062820362693082337218561/10000000000000000000000000000000000": [ + 3.1700684243819137e-29, + 3.1700684243819137e-29 + ] + }, + "moment_margins": { + "18196320531410181346541168609281/5000000000000000000000000000000000": [ + "-713646972069027651046933399670027097297861978596129/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-35682348603451382552346669983501354864893096999023/5000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "3639264106282007/1000000000000000000": [ + "227347326061547782224123506516588216247606417176535452276363158870301/20000000000000000000000000000000000000000000000000000000000000000000000000000000", + "227347326061547782224123506516588216247606417176535452276363166585269/20000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "36392641062820362693082337218561/10000000000000000000000000000000000": [ + "3170068424381913824632206411046809882367581871639061/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "3170068424381913824632206411046809882367581910623663/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/10000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "36392641062820362693082337218561/10000000000000000000000000000000000", + "18196320531410181346541168609281/5000000000000000000000000000000000" + ], + "tested": "3639264106282007/1000000000000000000", + "written_log_power": 2234 + }, + "physical_binding": { + "ambient": 145, + "complete_paid_position_digest": "64182d3045da57727f1733da2dec3b0d8ad8b67e68b9ee86f0b3bfcd0a84ab73", + "fresh_helpers": 18513, + "idle_uses": 3392, + "lambda_uses": 11280, + "native_calls": 17, + "native_contact_boundaries": 13600, + "native_public": 1489, + "nonzero_boundary_translations": 13600, + "paid": { + "1": 68962, + "16": 416, + "2": 14297, + "24": 416, + "3": 13906, + "32": 416, + "4": 4080, + "40": 416, + "48": 416, + "5": 5525, + "56": 416, + "6": 272, + "64": 208, + "7": 187, + "8": 758, + "9": 32 + }, + "paid_positions": 110723, + "phase_record_digest": "586ab7499fb677afdd83c397ea0b6d3b25f73ea6cdfa1ec95dd68adccff935ad", + "productive_fields": 22257, + "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": 3723, + "41": 416, + "49": 416, + "5": 1207, + "57": 416, + "6": 714, + "65": 416, + "7": 306, + "73": 208, + "8": 986, + "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": 777741264, + "init_clear_allowance": 216, + "lambda_paid_rank1_would_reduce_S_by": 11280, + "lambda_second_charge": 11280000, + "margin_to_billion": 222258736, + "odd_divisions": { + "ADD": 5219, + "SCALE": 67 + }, + "per_input_conversion": 2632552, + "raw_upper": 761100552, + "route_items": { + "first_main_adapter": 416, + "first_main_boundary": 208, + "helper_boundary": 2178, + "moves": 6291, + "owned_lifetime": 216, + "second_main_adapter": 384, + "second_main_boundary": 192 + }, + "routing": 9885000, + "scalar_upper": 1989248 + }, + "status": "PASS_8X9_EXACT_COMPONENT_APPLICATION_CHECKS" + }, + "ODD-ADMISSION-PARTIAL.json": { + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "compiler_outer": { + "BIT_margin": "127425893717993/1000000000000000000", + "BIT_pin": "376669/100000000", + "H": "172444000000000000000000", + "alpha": [ + 1.0, + 1.0 + ], + "claim": "1819632053141/500000000000000", + "compiler_gap": "1/1000000000000000000", + "delta": [ + 0.9013476513332142, + 0.9013476513332142 + ], + "derivative_upper": -382313.60299030744, + "gamma": [ + 0.9406992897302461, + 0.9406992897302461 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "1819632053141/500000000000000": [ + "15521549141374983837730089309243312066831190684335586252012008017332474037463/12500000000000000000000000000000000000000000000000000000000000000000000000000000", + "62086196565499935350920357236973248267324762737342345008048032069329896150837/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "3639264106282007/1000000000000000000": [ + "124172393131000099369411766706029814424684807326851500198783639496232450951747/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124172393131000099369411766706029814424684807326851500198783639496232450953683/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2233, + "moment_margin_float": { + "18196320531410181346541168609281/5000000000000000000000000000000000": [ + -7.136469720690277e-30, + -7.136469720690277e-30 + ], + "3639264106282007/1000000000000000000": [ + 1.136736630307739e-11, + 1.136736630307739e-11 + ], + "36392641062820362693082337218561/10000000000000000000000000000000000": [ + 3.1700684243819137e-29, + 3.1700684243819137e-29 + ] + }, + "moment_margins": { + "18196320531410181346541168609281/5000000000000000000000000000000000": [ + "-713646972069027651046933399670027097297861978596129/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-35682348603451382552346669983501354864893096999023/5000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "3639264106282007/1000000000000000000": [ + "227347326061547782224123506516588216247606417176535452276363158870301/20000000000000000000000000000000000000000000000000000000000000000000000000000000", + "227347326061547782224123506516588216247606417176535452276363166585269/20000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "36392641062820362693082337218561/10000000000000000000000000000000000": [ + "3170068424381913824632206411046809882367581871639061/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "3170068424381913824632206411046809882367581910623663/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/10000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "36392641062820362693082337218561/10000000000000000000000000000000000", + "18196320531410181346541168609281/5000000000000000000000000000000000" + ], + "tested": "3639264106282007/1000000000000000000", + "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": 13906, + "32": 416, + "4": 4080, + "40": 416, + "48": 416, + "5": 5525, + "56": 416, + "6": 272, + "64": 208, + "7": 187, + "8": 758, + "9": 32 + }, + "S": 1424, + "T": { + "1": 289, + "137": 208, + "17": 416, + "2": 306, + "25": 416, + "3": 782, + "33": 416, + "4": 3723, + "41": 416, + "49": 416, + "5": 1207, + "57": 416, + "6": 714, + "65": 416, + "7": 306, + "73": 208, + "8": 986, + "9": 10616 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036392641062820362693082337218561816246326205782176160081959672729", + "raw_crossing": "0.0036392641062820362693082337218561816246326205782176160081959672729" + }, + "native_sha256": "4f19c6ee57b74d7c3ea1863df0b33fe275a3a7511f77084f05726ee216ebdc34", + "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": 777741264, + "init_clear_allowance": 216, + "lambda_paid_rank1_would_reduce_S_by": 11280, + "lambda_second_charge": 11280000, + "margin_to_billion": 222258736, + "odd_divisions": { + "ADD": 5219, + "SCALE": 67 + }, + "per_input_conversion": 2632552, + "raw_upper": 761100552, + "route_items": { + "first_main_adapter": 416, + "first_main_boundary": 208, + "helper_boundary": 2178, + "moves": 6291, + "owned_lifetime": 216, + "second_main_adapter": 384, + "second_main_boundary": 192 + }, + "routing": 9885000, + "scalar_upper": 1989248 + }, + "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.", + "stale_fixed_probe_rejected": true + }, + "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": 172444000000000000000000, + "Kstar_bits": 14100, + "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": 14111, + "context_c": 2342, + "elementary_records_per_map_upper": 85264, + "elementary_records_upper": 25477565312, + "log_power": 2234, + "max_scalar_numerator_bits": 24, + "monomial_map_slots": 298808, + "native_invocations": 17, + "native_sha256": "4f19c6ee57b74d7c3ea1863df0b33fe275a3a7511f77084f05726ee216ebdc34", + "owned_banks_per_raw_occurrence": 867, + "scalar_macro_inputs": { + "caller": 117856, + "conversions": 58114, + "native": 1145477 + }, + "scalar_services_upper": 42286304, + "scalar_steps_coefficient": 44340403503104, + "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": "1819632053141/500000000000000" + }, + "ODD-PHYSICAL-BINDING.json": { + "aliased_main_rejected": true, + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "native_sha256": "4f19c6ee57b74d7c3ea1863df0b33fe275a3a7511f77084f05726ee216ebdc34", + "occurrence_and_geometry": { + "ambient": 145, + "complete_paid_position_digest": "64182d3045da57727f1733da2dec3b0d8ad8b67e68b9ee86f0b3bfcd0a84ab73", + "fresh_helpers": 18513, + "idle_uses": 3392, + "lambda_uses": 11280, + "native_calls": 17, + "native_contact_boundaries": 13600, + "native_public": 1489, + "nonzero_boundary_translations": 13600, + "paid": { + "1": 68962, + "16": 416, + "2": 14297, + "24": 416, + "3": 13906, + "32": 416, + "4": 4080, + "40": 416, + "48": 416, + "5": 5525, + "56": 416, + "6": 272, + "64": 208, + "7": 187, + "8": 758, + "9": 32 + }, + "paid_positions": 110723, + "phase_record_digest": "586ab7499fb677afdd83c397ea0b6d3b25f73ea6cdfa1ec95dd68adccff935ad", + "productive_fields": 22257, + "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": 3723, + "41": 416, + "49": 416, + "5": 1207, + "57": 416, + "6": 714, + "65": 416, + "7": 306, + "73": 208, + "8": 986, + "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": 14993176, + "dyadic_height": 24, + "mass_witness": [ + 64720, + "stored add" + ], + "maximum_scaled_mass": "1630603680282225/16384", + "numerator_bits": 24, + "odd_scale_lcm": 1125 + }, + "native_sha256": "4f19c6ee57b74d7c3ea1863df0b33fe275a3a7511f77084f05726ee216ebdc34", + "precision_program_sha256": "7696f2e4074ccc9c970670494595e2a973742279a6109d1e60fd551a4611d236", + "rounded_caller": { + "bounds": { + "E_joint_entrance": { + "exact": "2443033552829130616121476765711047538740646438906527505223097510011093417917921300040310011753389948790846251014573940698194304198910936579339324670460734609811376724269912182977150889512904209364850196841067095070505245607640766763955315976519654627424365883163422453975151993648717300297292869895802490133140949484081587603626586864436276314551188227031382550437619143454989898331794994106305527373579665589440853779661/19759048545930135177023429227315200000000000000000000000000000000000000000000000", + "strict_power_of_two": 1134, + "witness": { + "cut": 4691, + "event": 4691, + "factor": "1", + "kind": "stored", + "register": 36 + } + }, + "Gamma_context": { + "exact": "63048837930682127897609376149462999908248486787439113550331917609842186127416857825903381987634183546610615500463862196977646084105392684325785068159556272446388405462257768731609030810902724055462299616561619764034584044850791344652490529234953659682531234791118658888338361534940251689837302823597954163247825232360053231565450277775090311852267212683693963606791300804822356629047974622525116810212980028216930885106031/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": "880452279874263919233174518817185728731410603391004337145276874330665601771902597523305268766084909431466984978404636581603530808985738515461003720875206026284097798213175175075157223712651129084904018211427508717048518916909947486912071204140127140114385036858725591015572798044833833828941090470056961715978620254143045374985404576716424349902315267667821757457297679579630401259506516130336233449794555697090568106804780677/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": "63048837930682127897609376149462999908248486787439113550331917609842186127416857825903381987634183546610615500463862196977646084105392684325785068159556272446388405462257768731609030810902724055462299616561619764034584044850791344652490529234953659682531234791118658888338361534940251689837302823597954163247825232360053231565450277775090311852267212683693963606791300804822356629047974622525116810212980028216930885106031/14819286409447601382767571920486400000000000000000000000000000000000000000000000", + "strict_power_of_two": 1139, + "witness": { + "cut": 4753, + "event": 4752, + "factor": "1", + "kind": "stored", + "register": 37 + } + }, + "Sigma_context": { + "exact": "172817424401042308678821882694442581574919896595407837026997211022159596669523533252898503319538572413660942644927300899189091217590020842723370814369049598348046006106973698474228456013278676515943047637740213278657937700869742371888462211497771865107587163646220832997890416524191434808535085913655258258541898829380560273693393705534566697019730670173299766503848320757929747651010567731285441051801225262295058976332245975434271366577020492921514597036267685275102869913803318458529841077522155911115852363952907039593253536787248944900131472918207/3423689690092006159733108133936318139518312371955275640514963046400000000000000000000000000000000000000000000000000000000000000000000", + "strict_power_of_two": 1391, + "witness": { + "cut": 4692, + "event": 4691, + "factor": "1", + "kind": "stored", + "register": null + } + } + }, + "fresh_arbitrary_helpers": 18513, + "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": "2443033552829130616121476765711047538740646438906527505223097510011093417917921300040310011753389948790846251014573940698194304198910936579339324670460734609811376724269912182977150889512904209364850196841067095070505245607640766763955315976519654627424365883163422453975151993648717300297292869895802490133140949484081587603626586864436276314551188227031382550437619143454989898331794994106305527373579665589440853779661/19759048545930135177023429227315200000000000000000000000000000000000000000000000" + }, + "Gamma_context": { + "entrance_mass": "321214676655933560129782836030951119958622429471431692811117505066079252658303325303661828534046786576018850667853596288128047313819788006911616028348392581085050721023636971054851673799947587501432346122953175312809813833001587100311020687804583808767060460431114911369649528995555025426696059541/456139469146728515625000000", + "joint_coefficient": "3721923971948022264020008386608472289590988528157114268392412469599050143495508978788641788787976594161440706214373829555996384554677122174093932095769106055424540710380314024651007332164525664382203471694821380954416641216321248248752759218861172626274920078125266851782731337714997593665899027/10947347259521484375000000000", + "primitive_coefficient": "31933635363307317503891208167952125518099265598871297188945655447689887409437080424471754322893069036961252717295444311531802702290424391181977246033332095685934810861449534911850277930109610390733877602745069385156892357266512877411313922547610591253415658016844390796379192959369382262182067424881/131368167114257812500000000000", + "residual_mass": "63048837930682127897609376149462999908248486787439113550331917609842186127416857825903381987634183546610615500463862196977646084105392684325785068159556272446388405462257768731609030810902724055462299616561619764034584044850791344652490529234953659682531234791118658888338361534940251689837302823597954163247825232360053231565450277775090311852267212683693963606791300804822356629047974622525116810212980028216930885106031/14819286409447601382767571920486400000000000000000000000000000000000000000000000" + }, + "M_caller": { + "entrance_mass": "321214676655933560129782836030951119958622429471431692811117505066079252658303325303661828534046786576018850667853596288128047313819788006911616028348392581085050721023636971054851673799947587501432346122953175312809813833001587100311020687804583808767060460431114911369649528995555025426696059541/456139469146728515625000000", + "joint_coefficient": "3721923971948022264020008386608472289590988528157114268392412469599050143495508978788641788787976594161440706214373829555996384554677122174093932095769106055424540710380314024651007332164525664382203471694821380954416641216321248248752759218861172626274920078125266851782731337714997593665899027/10947347259521484375000000000", + "primitive_coefficient": "31933635363307317503891208167952125518099265598871297188945655447689887409437080424471754322893069036961252717295444311531802702290424391181977246033332095685934810861449534911850277930109610390733877602745069385156892357266512877411313922547610591253415658016844390796247824792255124449682067424881/131368167114257812500000000000", + "residual_mass": "63048837930682127897609376149462999908248486787439113550331917609842186127416857825903381987634183546610615500463862196977646084105392684325785068159556272446388405462257768731609030810902724055462299616561619764034584044850791344652490529234953659682531234791118658888338361534940251689837302823597954163247825232360053231565450277775090311837447926274246362224023728884335956629047974622525116810212980028216930885106031/14819286409447601382767571920486400000000000000000000000000000000000000000000000" + }, + "M_joint_entrance": { + "entrance_mass": "12446513821466013746992171114880354528234540647439407368041740746722705684890095694539586093101687855496797040728247169012299728404791642365323413178973703529222728715961384485250463009966565309368602073434714550373752128374887698957802006867751735225949803848812917591840288770078529478244705471/608185958862304687500000000", + "joint_coefficient": "144218124282401204617230263054514744346632405857442589144991781917530152132889870002846209306787762894150543865356389849084238452276894627352790762454037345126994351979907477144401257368423063007427271766117739822282248246858569624239109891511459830034432108241771054783468611278140179030295737/14596463012695312500000000000", + "primitive_coefficient": "1237373204913668966810008103424843603237049842106979534739539344726881600855129275554334885562896567825503574055929527662143657491595081161117482238618339640110136792453314323518006796600687371906278112102741547626404362403105174332310591538741639237757093806525664195341657589882317257470101709011/175157556152343750000000000000", + "residual_mass": "2443033552829130616121476765711047538740646438906527505223097510011093417917921300040310011753389948790846251014573940698194304198910936579339324670460734609811376724269912182977150889512904209364850196841067095070505245607640766763955315976519654627424365883163422453975151993648717300297292869895802490133140949484081587603626586864436276314551188227031382550437619143454989898331794994106305527373579665589440853779661/19759048545930135177023429227315200000000000000000000000000000000000000000000000" + }, + "Sigma_caller": { + "entrance_mass": "321214676655933560129782836030951119958622429471431692811117505066079252658303325303661828534046786576018850667853596288128047313819788006911616028348392581085050721023636971054851673799947587501432346122953175312809813833001587100311020687804583808767060460431114911369649528995555025426696059541/456139469146728515625000000", + "joint_coefficient": "3721923971948022264020008386608472289590988528157114268392412469599050143495508978788641788787976594161440706214373829555996384554677122174093932095769106055424540710380314024651007332164525664382203471694821380954416641216321248248752759218861172626274920078125266851782731337714997593665899027/10947347259521484375000000000", + "primitive_coefficient": "31933635363307317503891208167952125518099265598871297188945655447689887409437080424471754322893069036961252717295444311531802702290424391181977246033332095685934810861449534911850277930109610390733877602745069385156892357266512877411313922547610591253415658016844390796379192959369382262182067424881/131368167114257812500000000000", + "residual_mass": "63048837930682127897609376149462999908248486787439113550331917609842186127416857825903381987634183546610615500463862196977646084105392684325785068159556272446388405462257768731609030810902724055462299616561619764034584044850791344652490529234953659682531234791118658888338361534940251689837302823597954163247825232360053231565450277775090311852267212683693963606791300804822356629047974622525116810212980028216930885106031/14819286409447601382767571920486400000000000000000000000000000000000000000000000" + } + }, + "joint_entries": [ + { + "entrance_defect": "1435/4", + "entrance_mass": "2067/2", + "event": 43, + "stage": 1 + }, + { + "entrance_defect": "29058739174500269572722486973047583306171494475653183309839303285417310825837960707363194660320027579059798086744858868878194086318171/423027322799551040813185105920000000000000000000000", + "entrance_mass": "56849465528/5", + "event": 137, + "stage": 2 + }, + { + "entrance_defect": "44151616708223722619884501938934122801122830402206761995418996845363994066428020216460457866067198744288001389976766039066230312621916102481365211/40610622988756899918065770168320000000000000000000000", + "entrance_mass": "899756300051784928313/5", + "event": 268, + "stage": 3 + }, + { + "entrance_defect": "41123016554891690880760724238940247238606795668091205745085853950744770348764894749855536702373163079841627633396637558766157322131860108250151863740308123/40610622988756899918065770168320000000000000000000000", + "entrance_mass": "2514111326902273689027625979152/15", + "event": 432, + "stage": 4 + }, + { + "entrance_defect": "8400503594367046939718401523502253609529113607283620287454779267990769019440406358155323928378180936191242677261671161440265450668198823207388794425855814491293417533/40610622988756899918065770168320000000000000000000000", + "entrance_mass": "513576167499541081817002847690160861158177/15", + "event": 633, + "stage": 5 + }, + { + "entrance_defect": "804348089358774495886328744960373453129223475304327497697395998728570858746035613104849837106087087206045402952764314606863369935143710211544746255997526148652157008344167659097/609159344831353498770986552524800000000000000000000000", + "entrance_mass": "49174910102467876864090432969907258581035345395534834/225", + "event": 867, + "stage": 6 + }, + { + "entrance_defect": "85787829906538598269063247744817504157157716896145943035743500737381284938662625188135376381013992579173426875234859265976736018784416104965471209464623642034700200134182827910399419798647/67684371647928166530109616947200000000000000000000000", + "entrance_mass": "47202796791779792903787260464709452698419616298153732189406926691/225", + "event": 1138, + "stage": 7 + }, + { + "entrance_defect": "24977932144206062083647441185336349326443001323258566874965660660428968612491796259466861836524445715908337909733563477716484697983891708102077460239294604758306664819696059951581003324575564569908056898513/76144918103919187346373319065600000000000000000000000000", + "entrance_mass": "1527059719525243651854937925515623170877847518562264265010551055991429949116792541/28125", + "event": 1423, + "stage": 8 + }, + { + "entrance_defect": "8907699045680085768298083558153986233145207598374155638573576344895138751957730289321529366999312806419633116484852733754444064792995061137173015586408377882324276890191508560240496503116571228252339791692094506679794906941837978025876778111661436725611509613342412869782440123655065378830466403104660111579089863606988293163369684040631573/87817993537467267453437463232512000000000000000000000000000000000000000000000", + "entrance_mass": "45382020709918266925583064268574418985484021788023395083741971786893952543604385214817042722264713249357732585113211736557042182118473445437784492974844696068231496289005681248244219743195326431922663592509646282903/2703048706054687500000000", + "event": 3058, + "stage": 9 + }, + { + "entrance_defect": "3387164935240336445448257150034558601008450392671307347174110915198900641120043257824918635596083701688744624946042520675832928594929881087623270434328496985254078744508298654175078590696308297444063737427736788436866095250116726976193109005091922997928086711493197698259195000921725699604869426122154608346081106562544724219374615066895205840211776333367/2195449838436681686335936580812800000000000000000000000000000000000000000000000", + "entrance_mass": "17256576412236653193246225901973714737195067836439327666112948810725372605325768521068989782195051084826433423902219365061463548934152577319772447024097669813834215493691840531234110147024064996639957180865886380686899413865699437/67576217651367187500000000", + "event": 3377, + "stage": 10 + }, + { + "entrance_defect": "1615968308574725103640081128241752162009285856748530308962202173488432159150637060228268600546900307635265681583120328891234555025839113497798961819510971273668130063770607680405395294240208129079405341115102244101998353829594322256558174008250830340144230349400295470183480613824154182156180851742235575848992114184302765151087485390212242948028085962658208727703373/73181661281222722877864552693760000000000000000000000000000000000000000000000", + "entrance_mass": "8232867642949280967953864719378369729636081542640965177026582834276172086852779069019078166383458700724373015543641299678854718814560615654710102550769670203427726502361438450768012893674227975469242856299447027845030556012745339827937032703/2252540588378906250000000", + "event": 3674, + "stage": 11 + }, + { + "entrance_defect": "20306925234150345212911427854910460443122797804736828458856316101898999068247163295878671265626528001629221516405942941856734581094753602252602598086647601950976467500881028583609105937447932052889819884630555390354312866055931747124005450639675844528207829088892771754333699527953833278542424937367810153194201672034844530708552749685810558147870544279595998410761370581393994221/9879524272965067588511714613657600000000000000000000000000000000000000000000000", + "entrance_mass": "103457615351059805192637231353494210876529187337645013912367786609511281374638184501291799844537790265462481580051228205479278831706979374022592427678836083146990308179368316797029946556942233864286312243671687806427572314354434738422294564686254956597631/304092979431152343750000000", + "event": 3934, + "stage": 12 + }, + { + "entrance_defect": "1337604243938725075883158507261261211280859423456430860695815957271058731355737291081304075693424822182004190952298683900530499351656474819623814681698908447975771860335979397186233298283542597846679866145896237022785196293531518858778855182361140836054557492696000805395757412582544966344892282316566924347926686880559245621964274089076823719505426641588584003653505016718807052362456749/2469881068241266897127928653414400000000000000000000000000000000000000000000000", + "entrance_mass": "6814687293408352348961376609223100753789665399854180217091951198766673494955017243489117504312576625705862588971333049204842152193259763726092611947454717867967563820647006231530855513792517852570389360287582421241328472893443552787136426885585158158296407747039/76023244857788085937500000", + "event": 4149, + "stage": 13 + }, + { + "entrance_defect": "53720291077440451277994203044455101541785540940426001296873203121374467619213218760347750322970280509681038428979894810065075090007882335458785462968041853626953665291198753498554185381687891511277072969010279574768163114358004054179020694488851700986232459802529455014765056729192630425972316308860468994941504098463343648196384314503969786196773307125525148134769942693543149703564288529178550581/19759048545930135177023429227315200000000000000000000000000000000000000000000000", + "entrance_mass": "273688564209132230699064882255651065961520374651451250325109091529813162250488973700796593555467744131430272845604649750549608356985710665121874068107850799585492748533787927289567936649257940207702597871193107311090132538524151482351564937285621850171994049078063458209591/608185958862304687500000000", + "event": 4337, + "stage": 14 + }, + { + "entrance_defect": "1026710989290517540766159801153840897061992039473725668360342184782164568123654329437886002313817181823366322419766800369852182092659345181055260351371078239697008346098305431234556168901336806592018209058595410500353691954737895860050720502731731374345078285668075027395270386005085038669689443783820912693869957595104741841590162789825174479235725733177311302873574931941228041825834423758803199299677351/9879524272965067588511714613657600000000000000000000000000000000000000000000000", + "entrance_mass": "5230780602279043381317572379439763694807653157987526423412516241866438709931406455512285461654380762978554988724296151241130161368896505647624919395909388513302452136334767445346454946237326490486725295589968816639097338790755366202380875008783642473174121062695038054202858248061/304092979431152343750000000", + "event": 4485, + "stage": 15 + }, + { + "entrance_defect": "1136559245913047078157780247237640869643981384735608974221703815212222082106253876090960844467370787613969758965218290961479593056832803155096875362506965635738575980530280901833413080121990555720968120722272850934354507748697030299992957241375562268274828182137342682532389068445361275329404582230333459274389854671958870535262032654481398268249113528477555892124334927667090966808637410660590148242067944514079133/19759048545930135177023429227315200000000000000000000000000000000000000000000000", + "entrance_mass": "5790424100720951765768300756324298709533962301792798636386692749870979029496708556989270788662796627612885676197810930990877069943243536093513215980405080279750566239442965631097385199413957318608000177913047677092759213914423460784984181631621622445055356552059259436283593839861423838063/608185958862304687500000000", + "event": 4606, + "stage": 16 + }, + { + "entrance_defect": "2443033552829130616121476765711047538740646438906527505223097510011093417917921300040310011753389948790846251014573940698194304198910936579339324670460734609811376724269912182977150889512904209364850196841067095070505245607640766763955315976519654627424365883163422453975151993648717300297292869895802490133140949484081587603626586864436276314551188227031382550437619143454989898331794994106305527373579665589440853779661/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": "16939851110844405772345855515949033265091896252990213581872583757334154998888115512107443848537419068666457528053026989442268853/1353687432958563330602192338944000000000000000000000", + "strict_power_of_two": 253, + "witness": { + "cut": 73672, + "factor": "1", + "kind": "public-return", + "register": 1483 + } + }, + "M": { + "exact": "70738866521465829093183086124217011599312098553634735275815000717831641076305398468747269724946016582753039918905183661131648825787/173271991418696106317080619384832000000000000000000000", + "strict_power_of_two": 258, + "witness": { + "cut": 72944, + "factor": "1", + "kind": "stored", + "register": 1483 + } + }, + "Sigma": { + "exact": "16939851110844405772345855515949033265091896252990213581872583757334154998888115512107443848537419068666457528053026989442268853/1353687432958563330602192338944000000000000000000000", + "strict_power_of_two": 253, + "witness": { + "cut": 72944, + "factor": "1", + "kind": "stored", + "register": 1483 + } + } + }, + "census": { + "denominator_bits": 20, + "events": 73672, + "lifetimes": 54, + "max_denominator": 655360, + "max_numerator": 14729531, + "numerator_bits": 24, + "opcodes": { + "ADD": 63582, + "CLEAR": 54, + "COPY": 1, + "INIT": 54, + "MOVE": 6291, + "SCALE": 3690 + }, + "owned_labels": 51, + "peak_owned": 43, + "public": 1489, + "scalars": { + "dyadic": 61987, + "integer": 39274, + "noninteger": 27999, + "odd": 5286 + } + }, + "independent_adjoint": { + "Gamma": { + "active_residual_sites": 26063, + "entrance_mass": "70738866521465829093183086124217011599312098553634735275815000717831641076305398468747269724946016582753039918905183661131648825787/173271991418696106317080619384832000000000000000000000", + "residual_mass": "16939851110844405772345855515949033265091896252990213581872583757334154998888115512107443848537419068666457528053026989442268853/1353687432958563330602192338944000000000000000000000" + }, + "M": { + "active_residual_sites": 26063, + "entrance_mass": "70738866521465829093183086124217011599312098553634735275815000717831641076305398468747269724946016582753039918905183661131648825787/173271991418696106317080619384832000000000000000000000", + "residual_mass": "16939851110844405772345855515949033265091896252990213581872583757334154998888115512107443848537419068666457528053026989442268853/1353687432958563330602192338944000000000000000000000" + }, + "Sigma": { + "active_residual_sites": 26063, + "entrance_mass": "70738866521465829093183086124217011599312098553634735275815000717831641076305398468747269724946016582753039918905183661131648825787/173271991418696106317080619384832000000000000000000000", + "residual_mass": "16939851110844405772345855515949033265091896252990213581872583757334154998888115512107443848537419068666457528053026989442268853/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": 13906, + "32": 416, + "4": 4080, + "40": 416, + "48": 416, + "5": 5525, + "56": 416, + "6": 272, + "64": 208, + "7": 187, + "8": 758, + "9": 32 + }, + "raw_bracket": [ + "36392641062820362693082337218561/10000000000000000000000000000000000", + "18196320531410181346541168609281/5000000000000000000000000000000000" + ], + "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": "4f19c6ee57b74d7c3ea1863df0b33fe275a3a7511f77084f05726ee216ebdc34", + "target": { + "1": 289, + "137": 208, + "17": 416, + "2": 306, + "25": 416, + "3": 782, + "33": 416, + "4": 3723, + "41": 416, + "49": 416, + "5": 1207, + "57": 416, + "6": 714, + "65": 416, + "7": 306, + "73": 208, + "8": 986, + "9": 10616 + } + } + }, + "claim": "1819632053141/500000000000000", + "price": { + "after": { + "P": { + "1": 68962, + "16": 416, + "2": 14297, + "24": 416, + "3": 13906, + "32": 416, + "4": 4080, + "40": 416, + "48": 416, + "5": 5525, + "56": 416, + "6": 272, + "64": 208, + "7": 187, + "8": 758, + "9": 32 + }, + "S": 1424, + "T": { + "1": 289, + "137": 208, + "17": 416, + "2": 306, + "25": 416, + "3": 782, + "33": 416, + "4": 3723, + "41": 416, + "49": 416, + "5": 1207, + "57": 416, + "6": 714, + "65": 416, + "7": 306, + "73": 208, + "8": 986, + "9": 10616 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036392641062820362693082337218561816246326205782176160081959672729", + "raw_crossing": "0.0036392641062820362693082337218561816246326205782176160081959672729" + }, + "before": { + "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" + }, + "gate": { + "BIT_margin": "127425893717993/1000000000000000000", + "BIT_pin": "376669/100000000", + "H": "172444000000000000000000", + "alpha": [ + 1.0, + 1.0 + ], + "claim": "1819632053141/500000000000000", + "compiler_gap": "1/1000000000000000000", + "delta": [ + 0.9013476513332142, + 0.9013476513332142 + ], + "derivative_upper": -382313.60299030744, + "gamma": [ + 0.9406992897302461, + 0.9406992897302461 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "1819632053141/500000000000000": [ + "15521549141374983837730089309243312066831190684335586252012008017332474037463/12500000000000000000000000000000000000000000000000000000000000000000000000000000", + "62086196565499935350920357236973248267324762737342345008048032069329896150837/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "3639264106282007/1000000000000000000": [ + "124172393131000099369411766706029814424684807326851500198783639496232450951747/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124172393131000099369411766706029814424684807326851500198783639496232450953683/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2233, + "moment_margin_float": { + "18196320531410181346541168609281/5000000000000000000000000000000000": [ + -7.136469720690277e-30, + -7.136469720690277e-30 + ], + "3639264106282007/1000000000000000000": [ + 1.136736630307739e-11, + 1.136736630307739e-11 + ], + "36392641062820362693082337218561/10000000000000000000000000000000000": [ + 3.1700684243819137e-29, + 3.1700684243819137e-29 + ] + }, + "moment_margins": { + "18196320531410181346541168609281/5000000000000000000000000000000000": [ + "-713646972069027651046933399670027097297861978596129/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-35682348603451382552346669983501354864893096999023/5000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "3639264106282007/1000000000000000000": [ + "227347326061547782224123506516588216247606417176535452276363158870301/20000000000000000000000000000000000000000000000000000000000000000000000000000000", + "227347326061547782224123506516588216247606417176535452276363166585269/20000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "36392641062820362693082337218561/10000000000000000000000000000000000": [ + "3170068424381913824632206411046809882367581871639061/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "3170068424381913824632206411046809882367581910623663/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/10000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "36392641062820362693082337218561/10000000000000000000000000000000000", + "18196320531410181346541168609281/5000000000000000000000000000000000" + ], + "tested": "3639264106282007/1000000000000000000", + "written_log_power": 2234 + }, + "native_baseline_rejects_new_claim": true, + "new_native": "4f19c6ee57b74d7c3ea1863df0b33fe275a3a7511f77084f05726ee216ebdc34", + "old_native": "7a45d092b0bf8075e3d00242c72ac897be234e005cbcdfc47d06e9d2967359f0", + "price": { + "baseline_rejects_new_claim": true, + "candidate_margin_at_old_upper": [ + "4686527721457688594760860063923571724796067244325082754177638962290433802159641/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "58581596518221107434510750799044646559950840554063534427220487028630422952947/1250000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "claim_decimal": "0.003639264106282", + "gain": "1.20671216E-7", + "gain_exact": "7541951/62500000000000", + "independent_raw_bracket": [ + "0.00363926410628203626930823372185618", + "0.00363926410628203626930823372185619" + ], + "previous_claim": "1819571717533/500000000000000", + "raw_bracket": [ + "0.0036392641062820362693082337218561", + "0.0036392641062820362693082337218562" + ] + } + }, + "status": "PASS_P104_CHART120_PEER_COMPOSITION" +} diff --git a/research/p104-chart120-peer-composition/SOURCES.json b/research/p104-chart120-peer-composition/SOURCES.json new file mode 100644 index 0000000000..c4150ae397 --- /dev/null +++ b/research/p104-chart120-peer-composition/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-chart120-peer-composition/TASK.json b/research/p104-chart120-peer-composition/TASK.json new file mode 100644 index 0000000000..e3bedc155a --- /dev/null +++ b/research/p104-chart120-peer-composition/TASK.json @@ -0,0 +1,141 @@ +{ + "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 current7119 rank9 total-cost nomination pass closed without a candidate. Changed to independently composing ToikY's publicly reported chart120 rank8 pattern onto exact7119, with credit to the peer and all current-source interactions and costs rechecked.", + "concrete_question": "Does ToikY's reported chart120 pattern compose with exact7119 and beat its complete conditional claim?", + "actual_scope": "Boundary group597\u2192127, sourcecut39058/chart120/pivot1447; role962 paid rank7\u21924+3; identity boundary basis and four-ADD middle basis;8ADD+1netMOVE; productive helper8\u21924+4.", + "domain": "One exact7119 word; fixed chart120; current-source peer-pattern composition. Three eligible boundary groups were screened; only597 yielded a nomination.", + "success": "Both arbitrary-input native orientations, exact phase, complete full caller paid/target/ordinary/grid/envelope/fixed-tape substitutions and both directed conditional gates beat #7119.", + "bottleneck_link": "The peer original artifact is unpublished. This independently constructs and checks the actual current word, including a nonzero initial helper frame and the full paid subdivision.", + "predecessor_head": "bd244b0e5034cb1b9f72641494c3421f757ec2e4", + "predecessors": [ + "ToikY Discussion7111: original chart120 helper8\u21924+4/paid7\u21924+3 pattern on7115; current task independently constructs its composition on7119", + "Ali Romman: helper bases, independent split identity and paid meetings", + "Jerry Chen/CubeJerry: causal retiming, native/invoice/compiler engines", + "Matarener: complete kernels including zero boundary images and pairing decision", + "Rohan Arun: exact7113 signed17-stage caller and source-specific application", + "ToikY: #7108\u2013#7110 signed sources and splits, plus the credited chart-120 lead in Discussion #7111", + "DreamingOfClouds, Douglas Colkitt/#7000 reviewers and all retained nested-source notices", + "dillona/OpenAI Codex:7105,7107,7112,7115,7116,7117; exact7117 parent retains all earlier exports", + "dillona/OpenAI Codex7118: first funded residual mode and exact source-specific application", + "dillona/OpenAI Codex7119: exact reciprocal source and full application" + ], + "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, including14nativecontrols,3049paid/helper maps,104main boundaries and54+4outer conditions.", + "evidence": "PEER-CREDIT.json, WITNESS.json, WORD.json.gz, INPUTS.json, NATIVE-RESULT.json, RESULT.json and REPLAY.txt when completed.", + "overlap": "Canonical main e54523517d0f03e58352e647c403a5af3e525a57, priority8 and selected7000 unchanged. Full refresh:419openPRs at2026-11-10T19:35:41.846876Z and7022Discussionrecords at19:36:54.576896Z, complete pagination; live newest PRs and peer7111 rechecked. ToikY original7115 artifact remains local-only; this exact7119 composition is explicitly coordinated and credited.", + "open_questions": [ + { + "question": "Can an independent reviewer verify this current-source composition and its complete component application?", + "why_it_matters": "A reported peer pattern and a positive tariff alone do not establish the emitted operator or conditional exponent.", + "first_step": "Replay the registered3.12 commands and inspect PROOF.md/APPLICATION.md against exact7119.", + "blocked_by": "Independent human/formal review and maintainer admission remain separate." + }, + { + "question": "How does this word compare with ToikY's original chart120 artifact once public?", + "why_it_matters": "The peer deserves original-pattern credit; matching profiles do not prove identical circuits or transfer verification.", + "first_step": "Pin the public peer artifact and compare literal word, witness, source and complete costs.", + "blocked_by": "The cited original artifact is currently local-only and was not imported." + } + ], + "stop_rule": "One new fully checked invoice; refresh before any further research round." +} diff --git a/research/p104-chart120-peer-composition/VALIDATION.md b/research/p104-chart120-peer-composition/VALIDATION.md new file mode 100644 index 0000000000..193d520a11 --- /dev/null +++ b/research/p104-chart120-peer-composition/VALIDATION.md @@ -0,0 +1,16 @@ +# Validation record + +Both complete direct CPython 3.14.7 commands passed: + +```sh +python3 -I -B research/p104-chart120-peer-composition/verify_native.py --out research/p104-chart120-peer-composition/NATIVE-RESULT.json +python3 -I -B research/p104-chart120-peer-composition/verify.py --out research/p104-chart120-peer-composition/RESULT.json +``` + +Coverage includes exact source/candidate reconstruction, arbitrary-input forward/adjoint, complete paid/target/ordinary/grid/precision checks, all 14 native corruption controls, five 512-column chart checks and full finite native/signed routes. The 17-stage application includes both full invoices/prices, rational/integer Laurent caller, owner/phase binding, all 3,049 paid/helper maps and 104 main boundaries, fresh envelopes/fixed-tape costs and 54 strict and 4 functional outer conditions. The changed compiler gap and H are included. + +The first composition replay caught the inherited fixed probe claim+7×10⁻¹⁷ overshooting this candidate’s certified crossing. The counted caller adapter now independently applies the credited price engine’s exact decimal shrink rule. The rerun passed with gap 10⁻¹⁸ and H=172444000000000000000000; a negative control requires the old unshrunk probe to fail. All strict gate inequalities remain active, and the two complete gates agree. + +Final registered isolated CPython 3.12.16 replay passed both complete commands and matched every frozen native and composition receipt field. REPLAY.txt preserves the actual stdout; the process exited successfully. Metadata was marked completed afterwards, explaining outcome=partial in the captured runner line. No scientific code or receipt changed after this comparison. No Lean, Docker or concurrent artifact-regenerating suites were used. No hosted scientific pass is claimed. The predecessor #7119 workflow failed the known canonical CI-navigation onboarding test (guide #6030 / selected #7000), skipping scientific replay; this is separate from local scientific evidence. + +The scoped current-source search checked frame 120 and groups 593/594/597→127 under the paid7→4+3 pattern. Groups 593/594 had no eligible helper pivot. Group 597 supplied 57 systems / 46 states / 12 pair nominations and 9 legal witnesses. Only index 7 was built and submitted, with identity boundary basis and four-ADD middle basis; the other 8 were not constructed. No arbitrary-carrier exclusion or exhaustive rational cost optimization is claimed. The original peer artifact was not available for replay. Five assumptions, independent human/formal review, maintainer admission and compiled top-level execution remain obligations. diff --git a/research/p104-chart120-peer-composition/VERIFY.json b/research/p104-chart120-peer-composition/VERIFY.json new file mode 100644 index 0000000000..b7727cdab9 --- /dev/null +++ b/research/p104-chart120-peer-composition/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 exact7119 from complete25-file export and nested closure; check one paid path, arbitrary-input forward/adjoint, helper8-to-4+4 and paid7-to-4+3 Counters, fresh grids/18-stage ingredient price/precision, five512-column maps,14negativecontrols, full finite native/signed routes and every NATIVE-RESULT field." + }, + { + "argv": [ + "{python}", + "-I", + "-B", + "{package}/verify.py" + ], + "timeout_seconds": 600, + "checks": "Reconstruct current7119 and candidate17-stage invoices, unchanged literal caller, all3049paid/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-chart120-peer-composition/WITNESS.json b/research/p104-chart120-peer-composition/WITNESS.json new file mode 100644 index 0000000000..d62acc6a7e --- /dev/null +++ b/research/p104-chart120-peer-composition/WITNESS.json @@ -0,0 +1,53 @@ +{ + "frame": 120, + "pivot": 1447, + "cut": 39058, + "ranks": [ + 4, + 4 + ], + "gain": 0.002756781012620557, + "paths": [ + { + "role": 962, + "lo": 39055, + "hi": 39094, + "frame": 120, + "old": 597, + "new": 207, + "moves": [ + 39055 + ], + "old_paid": [ + 7 + ], + "new_paid": [ + 4, + 3 + ], + "cost": 0.017296064511916676, + "private": false, + "neutral": false + } + ], + "a": { + "962": "1", + "1302": "1" + }, + "b": { + "1447": "1", + "1302": "1", + "1305": "1" + }, + "c": { + "1447": "1" + }, + "d": { + "1447": "1" + }, + "paid_delta": { + "3": 1, + "4": 1, + "7": -1 + } +} diff --git a/research/p104-chart120-peer-composition/WORD.json.gz b/research/p104-chart120-peer-composition/WORD.json.gz new file mode 100644 index 0000000000..2383c3cb78 Binary files /dev/null and b/research/p104-chart120-peer-composition/WORD.json.gz differ diff --git a/research/p104-chart120-peer-composition/adapt.py b/research/p104-chart120-peer-composition/adapt.py new file mode 100644 index 0000000000..8bea39b2cd --- /dev/null +++ b/research/p104-chart120-peer-composition/adapt.py @@ -0,0 +1,38 @@ +"""Counted adapters invalidate same-native reuse in Rohan Arun's #7113 checks. +All edits apply only to temporary copies of authenticated source. Apache-2.0. +Prepared for dillona with substantial OpenAI Codex assistance. +""" +from hashlib import sha256 + +def adapt(folder): + changes=[] + def patch(name,old,new): + path=folder/name;raw=path.read_text() + if raw.count(old)!=1:raise ValueError('Exact one-occurrence adapter: '+name+' '+old) + path.write_text(raw.replace(old,new));changes.append(dict(file=name,old=old,new=new)) + patch('emit_odd_type_ab.py', + 'invoice=next(x for x in json.loads((root/"SHORT-CALLER-RAW-PRICE.json").read_text())["rows"] if tuple(x["shape"])==shape)', + 'invoice=json.loads((root/"COHORT-PRICE.json").read_text())') + patch('check_odd_partial_admission.py', + 'previous=json.loads((root/"SHORT-ADMISSION-PARTIAL.json").read_text())\nassert previous["native_sha256"]==digest and not N["bad_inputs"]', + 'actual_native=ind.native(w)\nassert actual_native==N and not N["bad_inputs"], "Fresh complete native inventory and arbitrary-input adjoint"') + patch('check_odd_partial_admission.py','claim=Q(".00363797977")','claim=Q(".003639264106282")') + # ToikY's frozen exact_price() already shrinks this probe below the + # certified crossing. Recompute that rule in the caller's separate gate. + patch('check_odd_partial_admission.py', + 'tested=claim+Q(7,10**17)', + 'tested=claim+Q(7,10**17)\nwhile tested>=Q(reference["raw_bracket"][0]):\n tested=claim+(tested-claim)/10') + patch('check_odd_partial_admission.py', + 'g=gate(invoice,claim,tested,*bracket,r["gate"]["BIT_pin"])', + 'g=gate(invoice,claim,tested,*bracket,r["gate"]["BIT_pin"])\nstale=claim+Q(7,10**17)\nassert stale>=Q(bracket[0]), "This candidate exercises the fixed-probe failure"\ntry:\n gate(invoice,claim,stale,*bracket,r["gate"]["BIT_pin"])\nexcept AssertionError:\n stale_probe_rejected=True\nelse:\n raise AssertionError("Unshrunk probe unexpectedly accepted")') + patch('check_odd_partial_admission.py', + '"scope":"Reuse exact same native word all-column adjoint;', + '"stale_fixed_probe_rejected":stale_probe_rejected,"scope":"Reuse exact same native word all-column adjoint;') + patch('check_odd_precision.py','previous=json.loads((root/"SHORT-PRECISION.json").read_text())','') + patch('check_odd_precision.py', + 'assert previous["native_sha256"]==sha and grid_receipt["caller_sha256"]==sha256(cpath.read_bytes()).hexdigest()', + 'assert grid_receipt["caller_sha256"]==sha256(cpath.read_bytes()).hexdigest()') + patch('check_odd_precision.py', + 'wg=previous["native_grid"]\nwr=previous["rounded_native"]\nwp={key:(Q(v["exact"]),v["witness"]) for key,v in wr["bounds"].items()}', + 'wg=grid.word_run(w)\nwp,wr=env.native_envelope(w)\nwg=json.loads(json.dumps(wg,default=str));wr=json.loads(json.dumps(wr,default=str))\nassert wg==r["precision"]["word"] and wr==r["precision"]["rounded_native"], "Fresh changed-native grid and envelope"') + return dict(edits=changes,adapted_sha256={x['file']:sha256((folder/x['file']).read_bytes()).hexdigest() for x in changes}) diff --git a/research/p104-chart120-peer-composition/construct.py b/research/p104-chart120-peer-composition/construct.py new file mode 100644 index 0000000000..748bfe2be2 --- /dev/null +++ b/research/p104-chart120-peer-composition/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-chart120-peer-composition/inputs/pr7119.tar b/research/p104-chart120-peer-composition/inputs/pr7119.tar new file mode 100644 index 0000000000..7773800d9c Binary files /dev/null and b/research/p104-chart120-peer-composition/inputs/pr7119.tar differ diff --git a/research/p104-chart120-peer-composition/price.py b/research/p104-chart120-peer-composition/price.py new file mode 100644 index 0000000000..063eb0d8eb --- /dev/null +++ b/research/p104-chart120-peer-composition/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 #7119 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-chart120-peer-composition/source.py b/research/p104-chart120-peer-composition/source.py new file mode 100644 index 0000000000..e905eb7f53 --- /dev/null +++ b/research/p104-chart120-peer-composition/source.py @@ -0,0 +1,56 @@ +"""Authenticate #7119'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 #7119 export') + old_path=list(sys.path) + with tempfile.TemporaryDirectory(prefix='p104-chart120-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('peer120_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('peer120_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('peer120_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 #7119 native byte') + need(sha256(canonical(word)).hexdigest()=='7a45d092b0bf8075e3d00242c72ac897be234e005cbcdfc47d06e9d2967359f0','Exact current native') + yield vendor,archive,rank9,bundle,parent,word diff --git a/research/p104-chart120-peer-composition/split.py b/research/p104-chart120-peer-composition/split.py new file mode 100644 index 0000000000..5407e8959b --- /dev/null +++ b/research/p104-chart120-peer-composition/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-chart120-peer-composition/support.py b/research/p104-chart120-peer-composition/support.py new file mode 100644 index 0000000000..192cd38d27 --- /dev/null +++ b/research/p104-chart120-peer-composition/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']['962']='2' + controls['wrong_prefix']=rejected(lambda:construct(source,bad)) + bad=deepcopy(hit);bad['b']['1302']='2' + 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'],597) + Jbasis=basis(*[{int(k):Q(v)for k,v in hit[s].items()}for s in('a','b')],hit['pivot'],120) + need((len(Gbasis),len(Jbasis))==(0,4),'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 (962,): + 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_CHART120_PEER_NATIVE',source_head='bd244b0e5034cb1b9f72641494c3421f757ec2e4', + 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()