diff --git a/research/p104-nonunit-pivot-split/APPLICATION.md b/research/p104-nonunit-pivot-split/APPLICATION.md new file mode 100644 index 0000000000..392f7aeb3c --- /dev/null +++ b/research/p104-nonunit-pivot-split/APPLICATION.md @@ -0,0 +1,31 @@ +# Conditional application of the nonunit-pivot helper split + +This applies Rohan Arun's #7113 component proof and the retained changed-native adapters to the exact #7123 word plus one rank-nine split. The complete frozen source closure remains intact. PROOF.md supplies the source-specific cut, legal unit basis and arbitrary-input replacement. Both native and application invoices are recounted. The five assumptions and selected completed BIT predecessor remain. The 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 / log-power 617 repair. Current substitutions follow. + +## Native and caller operator substitution + +The new basis swaps cocharted boundary coordinates 639 and 802 using four charged scalar instructions, replacing a forbidden nonunit normalization by the legal unit 3. Complete boundary/cut bases 426/17 are applied in both directions. The cut after event 37583 is at chart 1027; the declared neutral placement leaves the source program byte-identical. One independent helper target 3→127 is split into 3→1027 (rank 5) and 1027→127 (rank 4). All 880 ADDs, 6 SCALEs and the fresh input are charged. Owned transitions and lifetimes are retained. The complete forward and adjoint replays include every owned row. + +All 3,048 current paid/helper chart pairs and 104 main boundary pairs are rebuilt with the pinned compiler and distinct signed-Pauli/absolute-phase interpreter. For these Clifford maps, the signed Pauli action determines the operator up to global phase, which the exact Gaussian check fixes. Thus every column of each map is determined. The native check additionally replays all 512 columns of the three target boundary pairs and rejects a deliberately wrong absolute phase. No new pair is introduced, but changed multiplicities and the entire catalogue are recounted. + +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,655 paid positions and 22,308 productive fields. Main-owner aliasing is rejected. Allocate 18,564 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,492 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 25. Fresh helpers receive their own independent inputs. The previous F24 grid is rejected on the new word. The forward integer replay changes both its scale to 2^25 and its measured trailing-bit offset to 26. Both native and caller precision adapters explicitly request frac=25 from the unchanged authenticated grid engine. 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 406 and context mass exponent 1181, giving c=2362. This is recomputed from the current word and caller; #7123's allowance was 2344. It remains below 4096. The same conservative ambient 153 compiler threshold funds it: Kstar has 14,093 bits and c·Kstar has 14,104 bits, below H=16495300000000000000000. The regenerated compiler gap is 1/100000000000000000. Every rounded caller bound, outer and fixed-tape gate is checked with these current values. 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 779,122,208 includes the caller and native conversion services. It is distinct from the physical-machine bound. The fresh raw-occurrence counts give 1,161,423 native scalar macro inputs, 117,856 caller macro inputs and 58,216 conversions. The retained conservative factor 32 gives 42,799,840 scalar services; with the reviewed 2²⁰ service constant this is 44,878,885,027,840 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,774 monomial map slots. At actual ambient 145, the retained elementary bound 4(145+1)² is 85,264 records per map, hence at most 25,474,666,336 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 nonunit-pivot helper split, retaining all peer and predecessor credit, by dillona with substantial OpenAI Codex assistance. Apache-2.0. diff --git a/research/p104-nonunit-pivot-split/DISCOVERY.json b/research/p104-nonunit-pivot-split/DISCOVERY.json new file mode 100644 index 0000000000..6c461a696c --- /dev/null +++ b/research/p104-nonunit-pivot-split/DISCOVERY.json @@ -0,0 +1,246 @@ +{ + "source_head": "020d581d9856b6db83e448c3f20418bc63b72c34", + "screen_kappa": ".003641239650184", + "scope": "Complete rational kernels followed by basis nominations in group 3\u2192127; no exhaustive rational support/cost optimization.", + "counts": { + "systems": 38473, + "saved": 10293, + "pairs": 44172, + "hits": 0, + "classes": { + "F1zero": 8286, + "witness": 1756, + "F2zero": 251 + }, + "rescued": 0, + "budget_reject": { + "8": 3240, + "10": 2865, + "6": 4231, + "13": 1545, + "12": 1926, + "4": 2297, + "9": 3954, + "7": 3679, + "14": 1738, + "15": 2006, + "5": 3213, + "3": 3031, + "2": 1236, + "18": 893, + "16": 1113, + "21": 466, + "24": 407, + "11": 2332, + "17": 1103, + "20": 469, + "19": 644, + "22": 322, + "25": 164, + "23": 530, + "28": 181, + "29": 109, + "27": 152, + "26": 167, + "30": 99, + "31": 34, + "33": 5, + "32": 10 + }, + "best_budget": { + "cut": 37622, + "frame": 1027, + "cost": 0.0, + "gain": 0.02236181478033039, + "paths": [ + { + "role": 1298, + "lo": 36613, + "hi": 37622, + "frame": 1027, + "old": 1027, + "new": 525, + "moves": [ + 37621 + ], + "old_paid": [ + 1 + ], + "new_paid": [ + 0, + 1 + ], + "cost": 0.0, + "private": false, + "neutral": true + } + ], + "paid_roles": 0 + } + }, + "chosen_index": 10, + "constructed_indices": [ + 10 + ], + "legal_basis_nominations": [ + { + "index": 10, + "alpha": "1", + "cut": 37583, + "paths": 1, + "G": 426, + "J": 17, + "instructions": 886, + "operations": { + "ADD": 880, + "SCALE": 6 + }, + "maximum_scalar": "1338551/256" + }, + { + "index": 8, + "alpha": "7", + "cut": 37585, + "paths": 0, + "G": 427, + "J": 17, + "instructions": 888, + "operations": { + "ADD": 882, + "SCALE": 6 + }, + "maximum_scalar": "1338551/384" + }, + { + "index": 9, + "alpha": "7", + "cut": 37584, + "paths": 0, + "G": 427, + "J": 17, + "instructions": 888, + "operations": { + "ADD": 882, + "SCALE": 6 + }, + "maximum_scalar": "1338551/384" + }, + { + "index": 7, + "alpha": "7", + "cut": 37586, + "paths": 0, + "G": 427, + "J": 18, + "instructions": 890, + "operations": { + "ADD": 884, + "SCALE": 6 + }, + "maximum_scalar": "1338551/384" + }, + { + "index": 5, + "alpha": "7", + "cut": 37588, + "paths": 0, + "G": 427, + "J": 19, + "instructions": 892, + "operations": { + "ADD": 886, + "SCALE": 6 + }, + "maximum_scalar": "1338551/384" + }, + { + "index": 6, + "alpha": "7", + "cut": 37587, + "paths": 0, + "G": 427, + "J": 19, + "instructions": 892, + "operations": { + "ADD": 886, + "SCALE": 6 + }, + "maximum_scalar": "1338551/384" + }, + { + "index": 0, + "alpha": "1", + "cut": 37622, + "paths": 1, + "G": 426, + "J": 20, + "instructions": 892, + "operations": { + "ADD": 890, + "SCALE": 2 + }, + "maximum_scalar": "1338551/384" + }, + { + "index": 2, + "alpha": "7", + "cut": 37591, + "paths": 0, + "G": 427, + "J": 20, + "instructions": 894, + "operations": { + "ADD": 888, + "SCALE": 6 + }, + "maximum_scalar": "1338551/384" + }, + { + "index": 3, + "alpha": "7", + "cut": 37590, + "paths": 0, + "G": 427, + "J": 20, + "instructions": 894, + "operations": { + "ADD": 888, + "SCALE": 6 + }, + "maximum_scalar": "1338551/384" + }, + { + "index": 4, + "alpha": "7", + "cut": 37589, + "paths": 0, + "G": 427, + "J": 20, + "instructions": 894, + "operations": { + "ADD": 888, + "SCALE": 6 + }, + "maximum_scalar": "1338551/384" + }, + { + "index": 1, + "alpha": "7", + "cut": 37592, + "paths": 0, + "G": 427, + "J": 21, + "instructions": 896, + "operations": { + "ADD": 890, + "SCALE": 6 + }, + "maximum_scalar": "1338551/384" + } + ], + "selection": "Try alpha=1 and the common nonunit denominator-clearing gauge, then order legal candidates by total scalar instruction count, path count, largest absolute scalar, index.", + "basis_repair": "Keep pivot only if its nonzero entry is a 2,3,5 unit; otherwise choose the same smallest smooth swap entry as #7112. Original d639=-7867/16, chosen d802=3.", + "corrected_screen": "An inherited discovery script still used .003640102187396 in two preliminary group screens. Both were rerun at the actual .003641239650184 and gave identical zero-hit counts; the group 3\u2192127 nominations and this result use the corrected value. Exact certificate and prices do not trust discovery floats.", + "local_only": "Discovery scripts, rejected nominations and earlier negative rounds remain local. Public WITNESS and source-bound constructor are sufficient to reproduce this result; broader search closure is not claimed.", + "stop_reason": "One legal candidate selected; full verification takes priority." +} diff --git a/research/p104-nonunit-pivot-split/ENVIRONMENT.json b/research/p104-nonunit-pivot-split/ENVIRONMENT.json new file mode 100644 index 0000000000..0f956a75c4 --- /dev/null +++ b/research/p104-nonunit-pivot-split/ENVIRONMENT.json @@ -0,0 +1,14 @@ +{ + "initial_python": "3.14.7", + "initial_platform": "macOS-27.0.1-arm64-arm-64bit-Mach-O", + "registered_replay": { + "python": "3.12.16", + "platform": "macOS-27.0.1-arm64-arm-64bit", + "result": "PASS both complete commands; every native and composition receipt field matched" + }, + "dependencies": "Python standard library", + "interpreter_origin": "Official Astral python-build-standalone release20261026; isolated /tmp installation", + "interpreter_archive_sha256": "fbf4afef53c2a6b72bb741bc06d5671a9dfaf87bd84e5aa73ac9b3d0d589f14e", + "hosted_ci": "Not yet published; no hosted scientific pass claimed.", + "completed_utc": "2026-11-10T21:58:03.626947+00:00" +} diff --git a/research/p104-nonunit-pivot-split/INPUTS.json b/research/p104-nonunit-pivot-split/INPUTS.json new file mode 100644 index 0000000000..a63ef6b2a1 --- /dev/null +++ b/research/p104-nonunit-pivot-split/INPUTS.json @@ -0,0 +1,189 @@ +{ + "head": "020d581d9856b6db83e448c3f20418bc63b72c34", + "pr": 7123, + "prefix": "research/p104-recharted-rank8-split", + "archive": "inputs/pr7123.tar", + "archive_sha256": "834098d9b40ed09035fe6128b90805517dba7c9332ef191d55c48b40e72bb620", + "files": [ + { + "path": "research/p104-recharted-rank8-split/APPLICATION.md", + "size": 7030, + "sha256": "de7df820369111fbee559086a0ca68c6688fb5e7048c22ec3443827b070247fa", + "git_blob": "3e9fe6d9029d78b6791d7a7d72b639542558b3d2" + }, + { + "path": "research/p104-recharted-rank8-split/DISCOVERY.json", + "size": 2004, + "sha256": "3730ce53b43f26d42ea9c450907a9e568dcaf72f6b2da35b8c795a78daa57ee4", + "git_blob": "9f8dadc2b58af90ceaf89f56a2a061a5f86c0de7" + }, + { + "path": "research/p104-recharted-rank8-split/ENVIRONMENT.json", + "size": 676, + "sha256": "9f1ee125b355eba23d392c3db2bc59f6c4a8374d1842600ae24e30063ee42b23", + "git_blob": "0eccbccef48e92f55f84507d4fc7a50d03c2597d" + }, + { + "path": "research/p104-recharted-rank8-split/INPUTS.json", + "size": 2458, + "sha256": "1cfef1cc03b60a6cb512a953d399c25bfecda2ed8f9cf48e3083ec00d29f8457", + "git_blob": "c7152467bc5d08c772f73dc596a3ce3a6500ed64" + }, + { + "path": "research/p104-recharted-rank8-split/NATIVE-RESULT.json", + "size": 74348, + "sha256": "9a4aa23e0954dd6a3e73c8577b9d541581761df0ad8065969532b882d5c3d8f7", + "git_blob": "049ab968b8c819c1594532349f8619d7770c9d4c" + }, + { + "path": "research/p104-recharted-rank8-split/PEER-EARLY.json", + "size": 6525, + "sha256": "2a8cd0ccae85b3a59758cffb8ce6835ca6274d19a9dd0e25f037786228af0f52", + "git_blob": "9eb49a84e7ad49e887ff714673a9af4ce68fe4e5" + }, + { + "path": "research/p104-recharted-rank8-split/PEER-STATUS.json", + "size": 1265, + "sha256": "956f8103e51c6a6fe68497d65ca0e1fab59790cc642005dad7e175402d3cf0be", + "git_blob": "50ebfe20a46f3c01232fc30addc02c183b2fa284" + }, + { + "path": "research/p104-recharted-rank8-split/PROOF.md", + "size": 5784, + "sha256": "c42edbdb8ca23d724a2a12a897067d524ff8258cb462e7f716ff07d4ee12d838", + "git_blob": "4cc1df01d78c68e4b78c01fb9a20a25adbd4f3d1" + }, + { + "path": "research/p104-recharted-rank8-split/README.md", + "size": 5774, + "sha256": "c63bd7560db67857a6e7c69de6c705484f08511c9869da98a3716bfd80c7569b", + "git_blob": "5358485b0976ce8ab5d49dbb4406404f10d06912" + }, + { + "path": "research/p104-recharted-rank8-split/RECHART.json", + "size": 1332, + "sha256": "f9d8ced5926a73888363f557676c29e60d1b23a349df539a8a447d99dba00f86", + "git_blob": "ef91519140eb3cca0bf1407e1145c83a8b9b0d10" + }, + { + "path": "research/p104-recharted-rank8-split/REPLAY.txt", + "size": 3827, + "sha256": "293d5a3dabf8a5822dd22decb6903eb798a07cf4952ae1050750f0b819229c42", + "git_blob": "478f48eb00c681420e73fee2da35398bfdd94666" + }, + { + "path": "research/p104-recharted-rank8-split/RESULT.json", + "size": 77846, + "sha256": "cf09d4ad0194b6a366f8971b8c2b5a12abedc934424558238b93f5cb36e849be", + "git_blob": "ef3ac9fe3c50be75d48a2f697c3f17c24c36bd5f" + }, + { + "path": "research/p104-recharted-rank8-split/SOURCES.json", + "size": 856, + "sha256": "8b58a30ae55396b8d108de4ee2c7c6ac75dc1096948c9ac3796c20b21b1c9372", + "git_blob": "c4150ae39789502a4adf89e8f5235995d458a72e" + }, + { + "path": "research/p104-recharted-rank8-split/TASK.json", + "size": 11002, + "sha256": "f39d686049fc461a2f32b3285c64a6adf0a70e6088c77fee00329a9897ff9742", + "git_blob": "b4f7fc492bc110daea3abd9aff1ec9759027c4ab" + }, + { + "path": "research/p104-recharted-rank8-split/VALIDATION.md", + "size": 2712, + "sha256": "0dfe7a9488068a723abce8cb7333ef8a5877162c4e5ce637725e3e03cfd2b56a", + "git_blob": "2e22c5977b68ce4d9d85fba69ecf90baa89cb59b" + }, + { + "path": "research/p104-recharted-rank8-split/VERIFY.json", + "size": 1101, + "sha256": "afee6d7ccd0b74749dd96676567fc9471a46609389e6fb6b8e8f0cc10c52e60a", + "git_blob": "37acae64a273bed4c478d41cda193120f61915b1" + }, + { + "path": "research/p104-recharted-rank8-split/WITNESS.json", + "size": 783, + "sha256": "36d09669a0e2ea92429cfa5a2d44aeca8816ab1f88b6c9ecf3eaeeefdd6ff5b8", + "git_blob": "1cf780ec0cd18c604da106b5efc714a6b1692860" + }, + { + "path": "research/p104-recharted-rank8-split/WORD.json.gz", + "size": 365736, + "sha256": "e8ead5ef5803ec822ccc342a1896c09e3970510f349aa1a6446500739fdc281b", + "git_blob": "e517ac8b9141db6302636ef434e781cc69ccd143" + }, + { + "path": "research/p104-recharted-rank8-split/adapt.py", + "size": 3154, + "sha256": "a6631c0bb0db3ba80fe53c4b29abaaaac21002875d824d27dff1c369eb53e655", + "git_blob": "d9f219e796749fca1f4ffec251b59665ed05ebf0" + }, + { + "path": "research/p104-recharted-rank8-split/construct.py", + "size": 629, + "sha256": "78db6f632f122e25023d9e0489b3ec819a05a87a325d6fd8d165c8b0190e3260", + "git_blob": "258dc16d49f3ed5d8e5ae7ff00a69edc9c750753" + }, + { + "path": "research/p104-recharted-rank8-split/derive_grid.py", + "size": 1510, + "sha256": "ceb7a44ef19d72a16db7b43c65c85910d965499d1715436011de32af5d39dbb0", + "git_blob": "f8cb37f00bcd197d77bbb205dae3c1a40c0aa680" + }, + { + "path": "research/p104-recharted-rank8-split/inputs/pr7122.tar", + "size": 9154560, + "sha256": "5c3ed6ee7454f95c02644f3937b6c4efef8af0428ec4a11aa4e7c286d8e148f8", + "git_blob": "c2f750a5101ad423b99f413f8e010939bfe0bba3" + }, + { + "path": "research/p104-recharted-rank8-split/price.py", + "size": 4908, + "sha256": "b4d0348af0069584740d6bf81b3ba545dd24003d919ec574652cfc86a7624ead", + "git_blob": "1362977c0edb65c869714d966e18a6c26e81820f" + }, + { + "path": "research/p104-recharted-rank8-split/rechart.py", + "size": 1957, + "sha256": "0a83206f3b5b046839b52a6f137462ade89c9f3212a22c0c2991b517227ae2ae", + "git_blob": "abab5b5b7c6e218c52d6e96284bc2c9337a7b336" + }, + { + "path": "research/p104-recharted-rank8-split/retime.py", + "size": 3061, + "sha256": "42ffab76b8664088f444ba7d815537a541af72c5fa5eef897989b90399b9e564", + "git_blob": "748bfe2be2e5fffc1dfa9bdfa261bfcc8da16088" + }, + { + "path": "research/p104-recharted-rank8-split/source.py", + "size": 3392, + "sha256": "0f16cb7383406fab399706155398cf87c44808ff2d0dec272321ff0b392ab6d1", + "git_blob": "57aab21e53d5e2d21ee82b547894c41b692a9204" + }, + { + "path": "research/p104-recharted-rank8-split/split.py", + "size": 6432, + "sha256": "3d529d78994504ad591a3afade4dab094751c1c221edbab10165290314cf0894", + "git_blob": "5407e8959b8723464aee68eea6ffcf2ee75cc3b7" + }, + { + "path": "research/p104-recharted-rank8-split/support.py", + "size": 606, + "sha256": "f3e6eeb879480715c5c32c1a390a63c57d26ea1c9a9cbdb89b83ca34260e47f6", + "git_blob": "192cd38d27e4b732981b98730459a041dcfb52e7" + }, + { + "path": "research/p104-recharted-rank8-split/verify.py", + "size": 3448, + "sha256": "8e04e24bbe153e7f2363976ad3d9a08c42c8c2c41673273babf12b7dd705fac2", + "git_blob": "d62a63766e0919e07b36ca8099fadbfe362e4b60" + }, + { + "path": "research/p104-recharted-rank8-split/verify_native.py", + "size": 13491, + "sha256": "50338fd2d80fe7f2ec3dfaad651a845d5055df2915e38642cf78e977dc858535", + "git_blob": "22027fb7d082e4b1892d2080390c8cd7acefbeb8" + } + ] +} diff --git a/research/p104-nonunit-pivot-split/NATIVE-RESULT.json b/research/p104-nonunit-pivot-split/NATIVE-RESULT.json new file mode 100644 index 0000000000..f2112547ad --- /dev/null +++ b/research/p104-nonunit-pivot-split/NATIVE-RESULT.json @@ -0,0 +1,3072 @@ +{ + "caller": { + "bad_outputs": [], + "caller_denominator_height_bound": 431, + "caller_mass_bound": "2031778024781380738667307850969872261300825114412066667930609010754885615256246771273722516797028373875488084463456734932931819440254377992064287155336455679722182496470290893143689397339193405421398373633/137438953472", + "caller_mass_ceiling_bits": 642, + "max_terms": 3998 + }, + "charts": { + "new_pairs": [], + "rechecked_pairs": [ + { + "columns": 512, + "pair": [ + 3, + 127 + ], + "rank": 9 + }, + { + "columns": 512, + "pair": [ + 3, + 1027 + ], + "rank": 5 + }, + { + "columns": 512, + "pair": [ + 1027, + 127 + ], + "rank": 4 + } + ], + "wrong_phase_rejected": true + }, + "controls": { + "incomplete_retiming_interval": true, + "insufficient_fractional_grid": true, + "insufficient_odd_grid": true, + "missing_cut_correction": true, + "missing_final_basis": true, + "missing_initial_basis": true, + "missing_successor_correction": true, + "nonzero_nonunit_pivot_repaired": true, + "old_nonunit_reciprocal_rejected": true, + "wrong_boundary_direction": true, + "wrong_boundary_functional": true, + "wrong_cut_frame": true, + "wrong_paid_declaration": true, + "wrong_prefix": true, + "wrong_successor_frame": true, + "wrong_suffix": true, + "wrong_target_ranks": true + }, + "derived_grid": { + "coefficient_visits": 15457099, + "fractional_bits": 25, + "mass_witness": [ + 65206, + "stored" + ], + "odd_scale": 1125, + "scaled_maximum_mass": "814448574117075/8192", + "unscaled_maximum_mass": "10859314321561/122880" + }, + "forward": { + "coefficient_positions": 2380849, + "fractional_bits": 25, + "grid": 1125, + "rows": 1543 + }, + "gate": { + "BIT_margin": "12506852409493/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16495300000000000000000", + "alpha": [ + 0.9999999999999994, + 0.9999999999999994 + ], + "claim": "728324295181/200000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.8829839634495845, + 0.8829839634495845 + ], + "derivative_upper": -407293.64661634195, + "gamma": [ + 0.9499412339153714, + 0.9499412339153714 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "364162147590507/100000000000000000": [ + "124249398633849857066382864862866175690135372725147418879080386220543980109471/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "31062349658462464266595716215716543922533843181286854719770096555135995027859/25000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "728324295181/200000000000000": [ + "124249398633847570521884751486020513345423981146014154346005106726774345797249/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "15531174829230946315235593935752564168177997643251769293250638340846793224899/12500000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2234, + "moment_margin_float": { + "364162147590507/100000000000000000": [ + 1.5969751392230075e-10, + 1.5969751392230075e-10 + ], + "36416214759054555097363972212109/10000000000000000000000000000000000": [ + -1.0001193725742251e-29, + -1.0001193725742251e-29 + ], + "9104053689763638774340993053027/2500000000000000000000000000000000": [ + 3.1423833671685563e-29, + 3.1423833671685563e-29 + ] + }, + "moment_margins": { + "364162147590507/100000000000000000": [ + "798487569611503816726874091606485779922899533130454274039787864722861/5000000000000000000000000000000000000000000000000000000000000000000000000000000", + "998109462014379770908592614508107224903624416413067842549734833534287/6250000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "36416214759054555097363972212109/10000000000000000000000000000000000": [ + "-250029843143556285865776652927906786472488966736231/25000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-15626865196472267866611040807994174154530559761449/1562500000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "9104053689763638774340993053027/2500000000000000000000000000000000": [ + "392797920896069543812473610127132429609161938625603/12500000000000000000000000000000000000000000000000000000000000000000000000000000", + "392797920896069543812473610127132429609161943864743/12500000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "9104053689763638774340993053027/2500000000000000000000000000000000", + "36416214759054555097363972212109/10000000000000000000000000000000000" + ], + "tested": "364162147590507/100000000000000000", + "written_log_power": 2235 + }, + "grid": { + "dyadic_height": 25, + "maximum_scaled_mass": "814448574117075/8192", + "odd_divisions": { + "ADD": 5365, + "SCALE": 71 + }, + "odd_grid_lcm": 1125, + "opcodes": { + "ADD": 64504, + "CLEAR": 54, + "COPY": 1, + "INIT": 54, + "MOVE": 6287, + "SCALE": 3706 + }, + "owned_lifetimes": 54, + "owned_peak": 43, + "owned_rise_mass": 56, + "owned_rises": { + "1": 10, + "2": 4, + "3": 1, + "4": 6, + "5": 1, + "6": 1 + }, + "paid": { + "1": 4028, + "2": 842, + "3": 819, + "4": 232, + "5": 333, + "6": 16, + "7": 11, + "8": 6 + } + }, + "invoice": { + "P": { + "1": 72888, + "16": 416, + "2": 15156, + "24": 416, + "3": 14742, + "32": 416, + "4": 4176, + "40": 416, + "48": 416, + "5": 5994, + "56": 416, + "6": 288, + "64": 416, + "7": 198, + "8": 780, + "9": 32 + }, + "S": 1520, + "T": { + "1": 324, + "145": 208, + "17": 416, + "2": 324, + "25": 416, + "3": 846, + "33": 416, + "4": 3924, + "41": 416, + "49": 416, + "5": 1350, + "57": 416, + "6": 756, + "65": 416, + "7": 324, + "73": 416, + "8": 954, + "9": 11270 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036416214759054555097363972212108758571222420887259824390512424099", + "raw_crossing": "0.0036416214759054555097363972212108758571222420887259824390512424099" + }, + "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": 74606, + "helpers": { + "1": 18, + "2": 18, + "3": 47, + "4": 218, + "5": 75, + "6": 42, + "7": 18, + "8": 53, + "9": 603 + }, + "lifetimes": 54, + "owned_peak": 43, + "paid": { + "1": 4028, + "2": 842, + "3": 819, + "4": 232, + "5": 333, + "6": 16, + "7": 11, + "8": 6 + }, + "public": 1492, + "rises": { + "1": 10, + "2": 4, + "3": 1, + "4": 6, + "5": 1, + "6": 1 + } + }, + "ordinary": { + "caller_items": { + "A": { + "envelope": 124674048, + "field_boundary": 94848, + "fused_routes": 0, + "idle_routes": 185472000, + "output_routes": 229056000, + "query_routes": 1152000, + "thin": 6144 + }, + "B": { + "envelope": 39515136, + "field_boundary": 7904, + "fused_routes": 1168000, + "idle_routes": 19552000, + "output_routes": 19088000, + "query_routes": 0, + "thin": 0 + } + }, + "caller_total": 619786080, + "conservative_total": 852940384, + "extra_B_scalar_surcharge": 784256, + "init_clear_allowance": 216, + "lambda_paid_rank1_would_reduce_S_by": 14384, + "lambda_second_charge": 14384000, + "margin_to_billion": 147059616, + "odd_divisions": { + "ADD": 5365, + "SCALE": 71 + }, + "per_input_conversion": 2793024, + "raw_upper": 834979104, + "route_items": { + "first_main_adapter": 416, + "first_main_boundary": 208, + "helper_boundary": 2184, + "moves": 6287, + "owned_lifetime": 216, + "second_main_adapter": 384, + "second_main_boundary": 192 + }, + "routing": 9887000, + "scalar_upper": 2068168 + }, + "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": 451, + "context_mass_bits": 671, + "rounded_caller": { + "bounds": { + "E_joint_entrance": { + "exact": "45956158967679222815782826579562263162421191735533100485506600167231527206146166790685658714832001903729600283511501056573643769121008971119742025364928910699929904863537332913389749373664792984710718060492067829134133364178363654609900784234585620192181484552611615941373618232493866151463054453728155152465031782451/236574025616993083824920739000090624000000000000000000000", + "strict_power_of_two": 865, + "witness": { + "cut": 4982, + "event": 4982, + "factor": "1", + "kind": "stored", + "register": 39 + } + }, + "Gamma_context": { + "exact": "29616632601997843111733214466704770891916473704752849167932885333512897443866920753029997775009348454774529987580862179373789721088262097158201739584625184606650116252154025479754764902425368149620546620191102533217632085315979995279952937500951528233891145074159623626942785811425251032544654081064397504196980077829191/1135555322961566802359619547200434995200000000000000000000", + "strict_power_of_two": 872, + "witness": { + "cut": 5112, + "factor": "1", + "kind": "public-return", + "register": 75 + } + }, + "M_caller": { + "exact": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", + "strict_power_of_two": 619, + "witness": { + "cut": 5076, + "event": 5075, + "factor": "1", + "kind": "stored", + "register": 75 + } + }, + "M_context": { + "exact": "8832691684299359833408959580233547684673543630490499776586337351490133944555111889127632362311959854894438864007994000792547613465209960330801154610282082443869419121058207060719532940892367317969424360538532868464385994494273274953182652435885336375204808492718597845710976755400294016082105492169075252692626986952769909/757036881974377868239746364800289996800000000000000000000", + "strict_power_of_two": 881, + "witness": { + "cut": 4983, + "event": 4982, + "factor": "1", + "kind": "stored", + "register": null + } + }, + "M_joint_entrance": { + "exact": "66231921216838714175335242310174311625441766070329537281095337280001689425837300045521194678022507207573740758259597518292006513594483309822197449388620837179777160688120985448681075810705/4096", + "strict_power_of_two": 612, + "witness": { + "cut": 4982, + "event": 4982, + "factor": "1", + "kind": "stored", + "register": 39 + } + }, + "Sigma_caller": { + "exact": "29616632601997843111733214466704770891916473704752849167932885333512897443866920753029997775009348454774529987580862179373789721088262097158201739584625184606650116252154025479754764902425368149620546620191102533217632085315979995279952937500951528233891145074159623626942785811425251032544654081064397504196980077829191/1135555322961566802359619547200434995200000000000000000000", + "strict_power_of_two": 872, + "witness": { + "cut": 5098, + "event": 5097, + "factor": "1", + "kind": "stored", + "register": 75 + } + }, + "Sigma_context": { + "exact": "91930728196880398020535165539921140663282336398210268151242011791601380666752502943357327396537588841861589512848755344687637440519359216239522940490012094516598413020315748279285791554064275896927129840849357733046457504601918857998045509710313070220044135604067222883710994394859468895754720200603528179337966320768556141483785211988500857178890481604059001670113476975829810684176434285392810709491925114204465199250900527183649159697907834923745297/655866440585504295186659233010595682288897598376131487118386096242688000000000000000000000000000000000000000000", + "strict_power_of_two": 1134, + "witness": { + "cut": 4983, + "event": 4982, + "factor": "1", + "kind": "stored", + "register": null + } + } + }, + "fresh_arbitrary_helpers": 19656, + "helper_allocation_premise": "distinct (stage, helper) public inputs as in frozen caller proof", + "independent_adjoint": { + "E_joint_entrance": { + "entrance_mass": "66231921216838714175335242310174311625441766070329537281095337280001689425837300045521194678022507207573740758259597518292006513594483309822197449388620837179777160688120985448681075810705/4096", + "joint_coefficient": "3341262452763736608333208973454412950850413153418406702391448781717870354386212730465850137279766193453853839111325961239001898880600732238129365028446669327062277635590277335176110963/4096", + "primitive_coefficient": "97386365324171280012900240624596584740208335418838768849197300645798627964098858911945347609583363839763283834626254278123625524137460265198827318958269714035256037492260512470970582090841/16384", + "residual_mass": "45956158967679222815782826579562263162421191735533100485506600167231527206146166790685658714832001903729600283511501056573643769121008971119742025364928910699929904863537332913389749373664792984710718060492067829134133364178363654609900784234585620192181484552611615941373618232493866151463054453728155152465031782451/236574025616993083824920739000090624000000000000000000000" + }, + "Gamma_context": { + "entrance_mass": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", + "joint_coefficient": "3588816846070975662189139150385916018049768310935423284247506919489598097879366381598784768436344948623399851427080856173768395141863135887379886323692161717893814936281078874126758254305/32768", + "primitive_coefficient": "104601728656160061800829059188189517089489205649710398563826603344774845615386975930430446869514605732253126838851071709850611632285445276658068751933727423823199247050168422471008254528236067/131072", + "residual_mass": "29616632601997843111733214466704770891916473704752849167932885333512897443866920753029997775009348454774529987580862179373789721088262097158201739584625184606650116252154025479754764902425368149620546620191102533217632085315979995279952937500951528233891145074159623626942785811425251032544654081064397504196980077829191/1135555322961566802359619547200434995200000000000000000000" + }, + "M_caller": { + "entrance_mass": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", + "joint_coefficient": "3588816846070975662189139150385916018049768310935423284247506919489598097879366381598784768436344948623399851427080856173768395141863135887379886323692161717893814936281078874126758254305/32768", + "primitive_coefficient": "104601728656160061800829059188189517089489205649710398563826603344774845615386975930430446869514605732253126838851071709850611632285445276658068751933727423823199247050168422471008254528104995/131072", + "residual_mass": "29616632601997843111733214466704770891916473704752849167932885333512897443866920753029997775009348454774529987580862179373789721088262097158201739584625184606650116252154025479754764902425368149620546620191102533217632085315979995279952937500951528233891145074158488071619824244622891412997453646069197504196980077829191/1135555322961566802359619547200434995200000000000000000000" + }, + "M_joint_entrance": { + "entrance_mass": "66231921216838714175335242310174311625441766070329537281095337280001689425837300045521194678022507207573740758259597518292006513594483309822197449388620837179777160688120985448681075810705/4096", + "joint_coefficient": "3341262452763736608333208973454412950850413153418406702391448781717870354386212730465850137279766193453853839111325961239001898880600732238129365028446669327062277635590277335176110963/4096", + "primitive_coefficient": "97386365324171280012900240624596584740208335418838768849197300645798627964098858911945347609583363839763283834626254278123625524137460265198827318958269714035256037492260512470970582090841/16384", + "residual_mass": "45956158967679222815782826579562263162421191735533100485506600167231527206146166790685658714832001903729600283511501056573643769121008971119742025364928910699929904863537332913389749373664792984710718060492067829134133364178363654609900784234585620192181484552611615941373618232493866151463054453728155152465031782451/236574025616993083824920739000090624000000000000000000000" + }, + "Sigma_caller": { + "entrance_mass": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", + "joint_coefficient": "3588816846070975662189139150385916018049768310935423284247506919489598097879366381598784768436344948623399851427080856173768395141863135887379886323692161717893814936281078874126758254305/32768", + "primitive_coefficient": "104601728656160061800829059188189517089489205649710398563826603344774845615386975930430446869514605732253126838851071709850611632285445276658068751933727423823199247050168422471008254528236067/131072", + "residual_mass": "29616632601997843111733214466704770891916473704752849167932885333512897443866920753029997775009348454774529987580862179373789721088262097158201739584625184606650116252154025479754764902425368149620546620191102533217632085315979995279952937500951528233891145074159623626942785811425251032544654081064397504196980077829191/1135555322961566802359619547200434995200000000000000000000" + } + }, + "joint_entries": [ + { + "entrance_defect": "4384", + "entrance_mass": "23859/2", + "event": 49, + "stage": 1 + }, + { + "entrance_defect": "5823402468042658127515629298431357754773937703831550810480436426800977028353710574062530154360521142030979750225931316818966621003871702561/43317997854674026579270154846208000000000000000000000", + "entrance_mass": "44760984243/4", + "event": 144, + "stage": 2 + }, + { + "entrance_defect": "16693087564645519352667131388584477127723327194746219028529384939060176100872626416025882793434114369226366182880487801842582527401380781630626127619/2772351862699137701073289910157312000000000000000000000", + "entrance_mass": "8019347752894898813/16", + "event": 275, + "stage": 3 + }, + { + "entrance_defect": "215422192633591090026718421101229688867395740192052584930929825296048324193965516459058713044900379745803249373491304009475669200955581227947188055030581263/138617593134956885053664495507865600000000000000000000", + "entrance_mass": "258721681913211409397548013/2", + "event": 435, + "stage": 4 + }, + { + "entrance_defect": "765172015674055005502204944260753106338692998376537027006098808785318890229105688569436243852765341186881964565099081548750145936152866718945534882313774639593124711/924117287566379233691096636719104000000000000000000000", + "entrance_mass": "1102764325780487636837595009524032653/16", + "event": 627, + "stage": 5 + }, + { + "entrance_defect": "1373227137756577962355966961994747883057969260705077762484909341438051385766223402334691356278456681992631062386392223274442649066827985639127726749621083939540118476871476833/693087965674784425268322477539328000000000000000000000", + "entrance_mass": "659697369868562418053848749577901431896032551/4", + "event": 848, + "stage": 6 + }, + { + "entrance_defect": "20823385125733264397373130135470385885717243829897794563832240776956993502318381050603453336487011066829203951055491948045654418648849547361521086242734848478543568778207511909373875967/4435762980318620321717263856251699200000000000000000000", + "entrance_mass": "50017699262951285012300223375874644326538714050483088723/128", + "event": 1101, + "stage": 7 + }, + { + "entrance_defect": "85942815844819624798768677166454839152044948128550405834027188535757885141563355089964403645870651315818636142718610270640812247856328116019789063077628730985537068793850129801458435428641889409/1848234575132758467382193273438208000000000000000000000", + "entrance_mass": "123860608372223676361208276303474840021608894935793894644443117475/32", + "event": 1383, + "stage": 8 + }, + { + "entrance_defect": "930254240815172593002111463814567791592106391799668101372372541251212191951589272071950457969889780134384379280218509156595632533259063306727280618060768929124369022503370271483825357599924480813019832881/11089407450796550804293159640629248000000000000000000000", + "entrance_mass": "446893495694686287960280473450842802655971489871616126572592413520841719161/64", + "event": 1662, + "stage": 9 + }, + { + "entrance_defect": "26698235396981531006587778451882883182110095126998830061986386142447378706192788918587110665082197385311194046841516871242896490312714808815474913154322820756516955726432108481832640199934465838879158742629933424364879805273572183512448896791338433/2772351862699137701073289910157312000000000000000000000", + "entrance_mass": "1603226733879417057855793968966209778425632456862348198524030211565823693253398434234475406089669867705587698766845597/2", + "event": 3203, + "stage": 10 + }, + { + "entrance_defect": "333036983658180038883662743128905522715209350247720870209100148777496738372034369931089616380200058701296390971032366284219177875481528603008517043463223542132692202315966015574164332322275965049133023589159061262557814429928287117586036361227986491980505887/44357629803186203217172638562516992000000000000000000000", + "entrance_mass": "159990737255009044304340266028013949411590186711547802615104749842798991699729693917477577741470706009608765481680513095697397863/256", + "event": 3526, + "stage": 11 + }, + { + "entrance_defect": "1485186436926991259618808866175905038473112211829897897263014848298835689364693708908086391386407789982157525021284911473420474074680416344102310867842397396318219100644244431881257388645213089465565247324385144811032711336574554152570722172459026686575842916303152247/177430519212744812868690554250067968000000000000000000000", + "entrance_mass": "713482539972112811302498126039122556478474335397824876612540289480809876975347015211250548661355667282704396311981650378099911649135840063/1024", + "event": 3821, + "stage": 12 + }, + { + "entrance_defect": "159734677096262425185433941088322769849474381987350227659805408879877513818060670172563554104989138834900616570049963659249656682530503648165086885955280306392724460126213656429583355827103228880832310672291438056855935894751412880290949612656796850762070448373814632150223613/19714502134749423652076728250007552000000000000000000000", + "entrance_mass": "690627858377635566118234917748020783796286454330854789097666289598705747090709204201800639258908872647850357504982405971722609074791401430947671165/1024", + "event": 4088, + "stage": 13 + }, + { + "entrance_defect": "980153406356745179018851594470700052828230646662389990744247091186395333983607931869197764744683944928319105570343315459278062125456482392945104559617187333589081505463270182570543078895168259468175507701368772239672426885283730023748080758474972237210295576998120756604524954327141519/354861038425489625737381108500135936000000000000000000000", + "entrance_mass": "470865020405587123936906066570155601953174646068287322382245101819760273515813542612024822098129182481570490831889396523550001544922531326945370763196989399/2048", + "event": 4324, + "stage": 14 + }, + { + "entrance_defect": "96723012749600866479144752224412743277854181988606608370991614107888500577431052999293168285885554125511747394017359994039205201461598534346554973240013994760381786172754040605071681558808964425859715195446900171344254332582862140721945295145154746562059629855528301624112566422470337792596817/177430519212744812868690554250067968000000000000000000000", + "entrance_mass": "46465668615402712050475352820015987705766128000689019237904160504542353131957951954454381327545881694314550682714483945959032017848349099581053150524269011108711881/1024", + "event": 4532, + "stage": 15 + }, + { + "entrance_defect": "47249675831480591727259084954248338330131540971945073682662395468436517167185756353364351267596217062960023154526930079087565728772172243044457863320170075197158259890699052082541203906164219757681452371729146855848373160883216541300357254390560582278618074072767371920911463171634537087057906840510743/1419444153701958502949524434000543744000000000000000000000", + "entrance_mass": "22698711681515933658235268009935719580127806482189476469420786919611768582281970304620813093468639555288906634046185136362302550495196405154606658307111274865117192668126623/8192", + "event": 4709, + "stage": 16 + }, + { + "entrance_defect": "97572789126142640524394701510581430158435701440374706706220647262771983548121090502931056352805395374096474108281165368262882733974740631260529062013459899274606234961265069516634967805937551624416286686612672678642071609393402332973830893937820357738788683376077424669500096086935845821853843591629341101257/283888830740391700589904886800108748800000000000000000000", + "entrance_mass": "234369503003028720835110712559034466962392865438574454855472632480300248897620917700915501102797005900029816899906431175273180672543487679750570754841237111980601879269511857634373/8192", + "event": 4858, + "stage": 17 + }, + { + "entrance_defect": "45956158967679222815782826579562263162421191735533100485506600167231527206146166790685658714832001903729600283511501056573643769121008971119742025364928910699929904863537332913389749373664792984710718060492067829134133364178363654609900784234585620192181484552611615941373618232493866151463054453728155152465031782451/236574025616993083824920739000090624000000000000000000000", + "entrance_mass": "66231921216838714175335242310174311625441766070329537281095337280001689425837300045521194678022507207573740758259597518292006513594483309822197449388620837179777160688120985448681075810705/4096", + "event": 4982, + "stage": 18 + } + ], + "physical_main_inputs": 3952, + "sites": { + "ADD": 4102, + "IDLE_ODD": 4, + "IDLE_ONE": 96, + "J": 18, + "LAMBDA": 214, + "QUERY": 4, + "SCALE": 298, + "SWAP": 376, + "noninteger_scalar": 1562 + } + }, + "rounded_native": { + "bounds": { + "Gamma": { + "exact": "41262390743654180353824668559220566387072561689717714821551866186741233523134764055452313526956808398755316703897918535395955679502531/173271991418696106317080619384832000000000000000000000", + "strict_power_of_two": 268, + "witness": { + "cut": 74606, + "factor": "1", + "kind": "public-return", + "register": 1483 + } + }, + "M": { + "exact": "2000400604879422152099704980701647518621850280449683462754007100601087452800342179425603181544902261909432088137599521038480745462975147/2772351862699137701073289910157312000000000000000000000", + "strict_power_of_two": 269, + "witness": { + "cut": 73430, + "factor": "1", + "kind": "stored", + "register": 1483 + } + }, + "Sigma": { + "exact": "41262390743654180353824668559220566387072561689717714821551866186741233523134764055452313526956808398755316703897918535395955679502531/173271991418696106317080619384832000000000000000000000", + "strict_power_of_two": 268, + "witness": { + "cut": 73430, + "factor": "1", + "kind": "stored", + "register": 1483 + } + } + }, + "census": { + "denominator_bits": 20, + "events": 74606, + "lifetimes": 54, + "max_denominator": 655360, + "max_numerator": 14729531, + "numerator_bits": 24, + "opcodes": { + "ADD": 64504, + "CLEAR": 54, + "COPY": 1, + "INIT": 54, + "MOVE": 6287, + "SCALE": 3706 + }, + "owned_labels": 51, + "peak_owned": 43, + "public": 1492, + "scalars": { + "dyadic": 62775, + "integer": 39336, + "noninteger": 28875, + "odd": 5436 + } + }, + "independent_adjoint": { + "Gamma": { + "active_residual_sites": 26511, + "entrance_mass": "2000400604879422152099704980701647518621850280449683462754007100601087452800342179425603181544902261909432088137599521038480745462975147/2772351862699137701073289910157312000000000000000000000", + "residual_mass": "41262390743654180353824668559220566387072561689717714821551866186741233523134764055452313526956808398755316703897918535395955679502531/173271991418696106317080619384832000000000000000000000" + }, + "M": { + "active_residual_sites": 26511, + "entrance_mass": "2000400604879422152099704980701647518621850280449683462754007100601087452800342179425603181544902261909432088137599521038480745462975147/2772351862699137701073289910157312000000000000000000000", + "residual_mass": "41262390743654180353824668559220566387072561689717714821551866186741233523134764055452313526956808398755316703897918535395955679502531/173271991418696106317080619384832000000000000000000000" + }, + "Sigma": { + "active_residual_sites": 26511, + "entrance_mass": "2000400604879422152099704980701647518621850280449683462754007100601087452800342179425603181544902261909432088137599521038480745462975147/2772351862699137701073289910157312000000000000000000000", + "residual_mass": "41262390743654180353824668559220566387072561689717714821551866186741233523134764055452313526956808398755316703897918535395955679502531/173271991418696106317080619384832000000000000000000000" + } + } + }, + "scope": "Exact-child grid and attributed all-fibre error envelope, with one signed unitary per fused event", + "word": { + "coefficient_visits": 15457099, + "dyadic_height": 25, + "mass_witness": [ + 65206, + "stored add" + ], + "maximum_scaled_mass": "814448574117075/8192", + "numerator_bits": 24, + "odd_scale_lcm": 1125 + } + }, + "price": { + "baseline_rejects_new_claim": true, + "candidate_margin_at_old_upper": [ + "10061197969861505495013305684609929958685621724740747371947346314745592019537553/25000000000000000000000000000000000000000000000000000000000000000000000000000000", + "20122395939723010990026611369219859917371243449481494743894692629491184057779451/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "claim_decimal": "0.003641621475905", + "gain": "9.71507161E-7", + "gain_exact": "971507161/1000000000000000", + "independent_raw_bracket": [ + "0.00364162147590545550973639722121087", + "0.00364162147590545550973639722121088" + ], + "previous_claim": "455081246093/125000000000000", + "raw_bracket": [ + "0.0036416214759054555097363972212108", + "0.0036416214759054555097363972212109" + ] + }, + "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": "a32696e806c5cde0510cdf2f494e1f14ebb01e73d4ec577413fd7e7c0d9d68b2" + }, + "source_head": "020d581d9856b6db83e448c3f20418bc63b72c34", + "status": "PASS_P104_NONUNIT_PIVOT_NATIVE", + "word_canonical_sha256": "a32696e806c5cde0510cdf2f494e1f14ebb01e73d4ec577413fd7e7c0d9d68b2" +} diff --git a/research/p104-nonunit-pivot-split/PROOF.md b/research/p104-nonunit-pivot-split/PROOF.md new file mode 100644 index 0000000000..bf58fa414a --- /dev/null +++ b/research/p104-nonunit-pivot-split/PROOF.md @@ -0,0 +1,114 @@ +# A nonzero unit pivot recovers an exact helper split + +The source is the complete 30-file export of #7123 at +`020d581d9856b6db83e448c3f20418bc63b72c34`, authenticated by `INPUTS.json`. +The replay reconstructs its entire nested source chain and every byte of its +native word, SHA256 +`34cc0c51ca9eaaf2bf3789b8ea2c92f0837b4be9f0fedb22a6150169038e8c38`. +This retains Rohan Arun's #7122 global input rechart, the earlier independent +helper splits, and the exact #7113 signed caller. Frozen evidence is unchanged. + +## Exact cut and constructor obstruction + +Take the source cut immediately after event 37583, at chart 1027, dimension +5, with pivot 639. The discovery witness describes a neutral placement of +role 643's MOVE from 3 to 1027, at event 37583, over interval [37583,37584). +Removing and reinserting that event at this same cut leaves the source +program byte-identical. The constructor checks the complete interval and +source-read conditions anyway. There is no added MOVE or paid-rank change. +The helper boundary group is 3→127, dimensions 0 and 9. + +`WITNESS.json` gives the complete rational vectors a, b, c, d. They have +7, 11, 76 and 347 nonzero entries. With P the prefix through event 37583 +and S the suffix, exact arithmetic checks every public input and owned row: + +``` +aP = c, Sb = d, ab = cd = 1. +``` + +Both c and d use only independent helpers with the common boundary 3→127. +All cut coordinates in a, b, and the pivot are at 1027. The cut vectors are + +``` +a = e643ᵀ + e640ᵀ/2 + e641ᵀ/3 + 2e1298ᵀ/3 + + e639ᵀ/6 − 17e1300ᵀ/6 − 14e1383ᵀ/3, +b = e643/4 + e641/8 − e1298/16 − e642/8 − e1300/4 + − 3e639/8 − 3e640/8 − 3e645/8 − e1383/16 − e644/4 − e646/8. +``` + +The original Ali Romman basis routine, including the #7112 zero-pivot +repair, would retain nonzero d639=−7867/16. Normalization then emits +SCALE −16/7867, outside the allowed ring Z[1/30]. That is a failure of this +pivot choice, not a proof that the rational split has no legal scalar basis. +The same direction has d802=3, a unit in Z[1/30]. Both coordinates are in +the same helper boundary group, so the following ordinary cocharted scalar +instructions swap their values even when both entries are nonzero: + +``` +x639 += x802 +x802 -= x639 +x639 += x802 +x802 *= −1 +``` + +They map (x639,x802) to (x802,x639). Normalization can now scale coordinate +639 by 1/3. The remainder of the attributed elimination routine is unchanged. +The emitter keeps an existing pivot only when its entry is already a unit; +otherwise it selects a unit by the same size/role ordering used in #7112. +Every resulting coefficient is checked: ADD coefficients are in Z[1/30], +SCALE coefficients and their inverses are units, and |q|+1<2^16. +This does not enlarge the instruction alphabet or grant free physical transport. + +## Independent arbitrary-input replacement + +The emitter produces a boundary basis G of length 426 and a cut basis J of +length 17. Exact row/column elimination gives + +``` +row639(G)=c, Gd=e639, row639(J)=a, Jb=e639. +``` + +G is applied at chart 3 and its output-boundary counterpart at chart 127; +J is applied at 1027. Inverses reverse the instruction order and invert each +scalar operation. The complete G/J vectors and programs are reproducible from +`WITNESS.json` and `split.py`, without the discovery search. + +Apply G⁻¹, then P and J. Coordinate 639 equals its independent input because +aPG⁻¹=cG⁻¹=e639ᵀ. Retire this field at 1027 and replace its continuation by +a fresh arbitrary input z, new public role 1491. After J⁻¹, S and G, the +output change is GSb(z−x639)=Gd(z−x639)=e639(z−x639). Every other output +is unchanged. The continuing pivot is relabelled to 1491, and owned labels +are shifted by one to keep the inventories disjoint. + +This argument uses neither P⁻¹ nor S⁻¹. It retains the source's explicit +initialization and owned-erasure assumptions, including erasure of correlated +nonzero owned content. The fresh public helper is independent, not zeroed. + +The retained target is 3→1027 of rank 5; the new target is 1027→127 of rank 4. +The two G/J traversals add 880 ADDs and 6 SCALEs. There are 74,606 events, +1,492 public fields and 1,092 helpers. All 54 owned lifetimes, peak allocation +43, and 23 rises of total mass 56 remain unchanged. The canonical word hash is +`a32696e806c5cde0510cdf2f494e1f14ebb01e73d4ec577413fd7e7c0d9d68b2`. + +## Complete application obligation + +Relative to #7123, ΔP={} and ΔT={4:+1,5:+1,9:−1} per native invocation. +For H_r=r^(1−κ), the local difference H5+H4−H9 is positive for 0<κ<1. +The signed 17-stage application has ΔT={4:+17,5:+17,9:−17}, unchanged +paid positions and surplus, and no empty credit. + +The exact native grid derivation requires 1125/F25; F24 is rejected. +`APPLICATION.md` carries this changed binary height, all basis operations, +independent inputs, odd conversions, forward/adjoint envelopes and physical +and fixed-tape costs into the full application. A positive local difference +alone is not a complete conditional multiplication theorem. + +Credit Ali Romman for the helper identity and basis algorithm; dillona/OpenAI +Codex #7112 for the earlier zero-pivot smooth swap; Jerry Chen/CubeJerry for +causal/native/invoice/compiler tools; Matarener for complete kernels/pairing; +Rohan Arun for #7122's rechart and #7113's signed caller; 1337isnot1337/OpenAI +Codex for the alpha-expansion rechart method; ToikY for the retained signed +sources, chart-120 lead and independent chart-259 reproduction; DreamingOfClouds, +Douglas Colkitt/#7000 reviewers and all nested source notices. This nonzero +nonunit-pivot repair was prepared for dillona with substantial OpenAI Codex +assistance; no subagents. Apache-2.0. diff --git a/research/p104-nonunit-pivot-split/README.md b/research/p104-nonunit-pivot-split/README.md new file mode 100644 index 0000000000..90141cc13f --- /dev/null +++ b/research/p104-nonunit-pivot-split/README.md @@ -0,0 +1,51 @@ +# Conditional κ = 0.003642219284637 from a nonunit-pivot repair + +A rational helper split on exact #7123 was rejected because the basis emitter retained a nonzero pivot whose reciprocal was outside Z[1/30]. Choosing an available unit in the same boundary group repairs the construction without changing the operation alphabet. The complete candidate claim is **κ = 0.003642219284637**, a gain of **0.000000979634453** over #7123. + +The exact cut after event 37583 / chart 1027 / pivot 639 splits a rank-nine helper into ranks five and four. Boundary direction d639=−7867/16 cannot be normalized directly, while d802=3 can. Four ordinary scalar instructions swap those cocharted coordinates. The resulting boundary/cut bases have lengths 426/17; the construction adds **880 ADDs and 6 SCALEs**, one fresh independent helper, and **no paid-profile change**. The declared neutral placement of role 643 leaves the source word byte-identical before applying the split. [PROOF.md](PROOF.md) gives the complete arbitrary-input argument. + +The emitted word has 74,606 events, 1,492 public fields and 1,092 independent helpers. Owned lifetimes, peak allocation and rise mass are unchanged. The fresh rational grid requires **1125/F25**, with F24 explicitly rejected. The extra binary height is propagated through the precision and complete cost checks. + +| Signed 17-stage application | #7123 | This construction | +|---|---:|---:| +| Paid positions |110655|110655| +| Productive fields |22291|22308| +| Rank surplus |1424|1424| +| Empty credit |0|0| + +Relative to #7123, ΔP={}, ΔT={4:+17,5:+17,9:−17}. Both exact price engines reject the predecessor invoice at the new claim. The independent raw crossing is + +``` +(0.00364221928463783897927791107627154, + 0.00364221928463783897927791107627155). +``` + +This bounds the emitted invoice, not other constructions. The retained BIT cap .00376669 leaves .000124470715363 headroom. The historical nine-stage coverage ceiling does not apply to this signed 17-stage caller and its independent helper targets. The selected #7000 record is unchanged. + +Both complete direct CPython 3.14.7 replays passed. The complete ordinary source-unit bound is **779,122,208 < 10⁹**, distinct from physical machine steps. Fresh precision gives height 406, mass exponent 1181 and **c=2362**. [APPLICATION.md](APPLICATION.md) records every current ownership, physical, precision, ordinary and fixed-tape substitution. Final registered isolated Python 3.12.16 replay passed both complete commands and matched every frozen native and composition receipt field. [VALIDATION.md](VALIDATION.md) records exact coverage. + +## Frozen inputs and reproduction + +`INPUTS.json` authenticates the complete 30-file #7123 export at `020d581d9856b6db83e448c3f20418bc63b72c34`, including every nested source and notice. Its exact native SHA256 is `34cc0c51ca9eaaf2bf3789b8ea2c92f0837b4be9f0fedb22a6150169038e8c38`; the new word is `a32696e806c5cde0510cdf2f494e1f14ebb01e73d4ec577413fd7e7c0d9d68b2`. The #7113 caller remains byte-identical, SHA256 `255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc`, at source head `07a76c5e2738882c0cb322278e56f6cae3c9885d`. + +```sh +python3.12 -B scripts/research_package.py --package research/p104-nonunit-pivot-split +``` + +`DISCOVERY.json` records the finite nomination scope and deterministic choice of index 10 among eleven legal repaired bases. Only the selected candidate is constructed. The recorded pre-repair screen has `counts.hits=0`; the separate eleven-entry `legal_basis_nominations` list records the successful repaired bases. The search is not exhaustive rational support/cost optimization. Discovery scripts and earlier negative rounds remain local; the public witness and source-bound replay do not depend on them. + +The refreshed overlap check found Rohan Arun's separate output rechart #7124 at `97dc14132da53562b7939776d7a83d72af72eeb1`, reporting completed local verification of κ=.003641428753638. This candidate exceeds that claim by .000000790530999, but does not incorporate or independently replay #7124. The frozen #7123 inputs are preserved. + +## Remaining obligations and credit + +The five assumptions remain: `native_all_columns`, `owned_erasure`, `compiler`, `precision_tape`, `analytic_recovery`. Independent human/formal review, maintainer admission and compiled top-level execution remain open. + +Credit **Ali Romman** for helper bases/splits; **dillona/OpenAI Codex #7112** for the zero-pivot smooth swap extended here to a nonzero nonunit pivot; **Jerry Chen/CubeJerry** for causal/native/invoice/compiler tools; **Matarener** for complete kernels/pairing; **Rohan Arun** for #7122's rechart and #7113's signed caller/application; **1337isnot1337/OpenAI Codex** for fresh-helper-boundary alpha expansion; **ToikY** for the retained signed sources and chart-120 lead, independent chart-259 reproduction and reported independent #7123 replay; **DreamingOfClouds**, **Douglas Colkitt/#7000 reviewers**, and every nested source notice. Prepared for dillona with substantial OpenAI Codex assistance; no subagents. Apache-2.0. + +## Open next questions + +- Independently reproduce the unit-pivot repair and full F25 application, including the F24 rejection and complete costs. +- After a fresh canonical/overlap checkpoint, determine whether this split composes with #7124's output rechart. Endpoint and cut compatibility must be checked; no combined gain is established here. +- Can a legal localized-ring basis recover other nominations when no individual direction entry is a unit? This package only treats the available-unit case. + +[Canonical investigation](https://github.com/CrocSwap/integer-mult-bounds/discussions/1166#discussioncomment-19520521). diff --git a/research/p104-nonunit-pivot-split/REPLAY.txt b/research/p104-nonunit-pivot-split/REPLAY.txt new file mode 100644 index 0000000000..8d218db96b --- /dev/null +++ b/research/p104-nonunit-pivot-split/REPLAY.txt @@ -0,0 +1,73 @@ +CHECK Authenticate complete 30-file #7123 export and nested closure; reconstruct every source/candidate byte; arbitrary-input forward/adjoint, exact cut and unit basis, complete paid/target invoice, freshly derived F25 grid with F24 rejection, separate 18-stage ingredient/precision, affected 512-column maps, corruption/unit controls and finite native/signed physical replay; compare every receipt field. +PASS source reconstruction, whole cut, adjoint and independent forward map +caller 0 terms 77 +caller 500 terms 621 +caller 1000 terms 2648 +caller 1500 terms 3619 +caller 2000 terms 1590 +caller 2500 terms 398 +caller 3000 terms 1918 +caller 3500 terms 1797 +caller 4000 terms 1817 +caller 4500 terms 912 +caller 5000 terms 167 +PASS full signed caller, ordinary bill, two exact price engines, precision and compiler gates +events 74606 public 1492 owned roles 51 paid {1: 4028, 2: 842, 3: 819, 4: 232, 5: 333, 6: 16, 7: 11, 8: 6} owned UP {1: 10, 2: 4, 3: 1, 4: 6, 5: 1, 6: 1} helpers {1: 18, 2: 18, 3: 47, 4: 218, 5: 75, 6: 42, 7: 18, 8: 53, 9: 603} +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 74606 events, 2963 chart pairs, 20s +prime 1000000009 seed 11: helper rows bad 0 (of 1092), X rows bad 0, Y rows bad 0, X2 rows bad 0, Y2 rows bad 0 (of 104 ports; 96 with second mains) +tableau on 104 ports: XX!=D 0 YY!=D 0 YX!=Q^-1D 0 XY!=QD 0 | controls matching (must be 0): 0 0 +PASS_PHYSICAL 27s +PASS chart columns and phase, rejection controls and finite physical replay +PASS_P104_NONUNIT_PIVOT_NATIVE 728324295181/200000000000000 +CHECK Reconstruct #7123 and candidate 17-stage invoices; unchanged literal caller, all 3048 paid/helper maps and 104 main boundaries, fresh F25 grid/envelopes, ordinary/physical/fixed-tape costs, two prices and 54+4 outer gates; compare every receipt field. +PASS two reconstructed invoices and both exact price engines 0.003642219284637 +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 ['7284438569275677958555822152543/2000000000000000000000000000000000', '9105548211594597448194777690679/2500000000000000000000000000000000'] +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 110655 13600 22308 +RUN check_odd_precision.py +PASS short precision 406 1181 2362 +RUN check_odd_partial_admission.py +ordinary bill 779122208 +PASS partial signed short gates 779122208 3642219284637/1000000000000000 {'strict_count': 54, 'functional_count': 4, 'minimum_margin': '1/1000000000000000000', 'BIT_just_below_effective_rejected': True} +RUN check_odd_fixed_tape_counts.py +PASS finite tariff substitution 42799840 25474666336 precision 2362 +RUN complete catalogue 0 1000 +RUN complete catalogue 1000 2000 +RUN complete catalogue 2000 3048 +PASS complete 8+9 component application checks 3642219284637/1000000000000000 3048 110655 +PASS_P104_NONUNIT_PIVOT_SPLIT 3642219284637/1000000000000000 +PASS_REGISTERED_RESEARCH_PACKAGE research/p104-nonunit-pivot-split outcome=partial diff --git a/research/p104-nonunit-pivot-split/RESULT.json b/research/p104-nonunit-pivot-split/RESULT.json new file mode 100644 index 0000000000..9d18b2f08d --- /dev/null +++ b/research/p104-nonunit-pivot-split/RESULT.json @@ -0,0 +1,1561 @@ +{ + "adapter": { + "adapted_sha256": { + "check_odd_partial_admission.py": "cd324a6cbb150d180aecb42cab66151f3b5f7acf3022658bbfa2011aa148e5e3", + "check_odd_precision.py": "94be27f8f66981bddb750553f892976c452561df721be766d9ef90fb73e70d9d", + "emit_odd_type_ab.py": "6fd9f61f9ba6c726524d1a585d0201b0eac61829ccae6be598f0f0fc1cb64f1a" + }, + "edits": [ + { + "file": "emit_odd_type_ab.py", + "new": "invoice=json.loads((root/\"COHORT-PRICE.json\").read_text())", + "old": "invoice=next(x for x in json.loads((root/\"SHORT-CALLER-RAW-PRICE.json\").read_text())[\"rows\"] if tuple(x[\"shape\"])==shape)" + }, + { + "file": "check_odd_partial_admission.py", + "new": "actual_native=ind.native(w)\nassert actual_native==N and not N[\"bad_inputs\"], \"Fresh complete native inventory and arbitrary-input adjoint\"", + "old": "previous=json.loads((root/\"SHORT-ADMISSION-PARTIAL.json\").read_text())\nassert previous[\"native_sha256\"]==digest and not N[\"bad_inputs\"]" + }, + { + "file": "check_odd_partial_admission.py", + "new": "claim=Q(\".003642219284637\")", + "old": "claim=Q(\".00363797977\")" + }, + { + "file": "check_odd_partial_admission.py", + "new": "tested=claim+Q(7,10**17)\nwhile tested>=Q(reference[\"raw_bracket\"][0]):\n tested=claim+(tested-claim)/10", + "old": "tested=claim+Q(7,10**17)" + }, + { + "file": "check_odd_partial_admission.py", + "new": "g=gate(invoice,claim,tested,*bracket,r[\"gate\"][\"BIT_pin\"])\ntry:\n gate(invoice,claim,Q(bracket[0]),*bracket,r[\"gate\"][\"BIT_pin\"])\nexcept AssertionError:\n crossing_probe_rejected=True\nelse:\n raise AssertionError(\"Probe at lower crossing unexpectedly accepted\")", + "old": "g=gate(invoice,claim,tested,*bracket,r[\"gate\"][\"BIT_pin\"])" + }, + { + "file": "check_odd_partial_admission.py", + "new": "\"crossing_probe_rejected\":crossing_probe_rejected,\"scope\":\"Reuse exact same native word all-column adjoint;", + "old": "\"scope\":\"Reuse exact same native word all-column adjoint;" + }, + { + "file": "check_odd_precision.py", + "new": "", + "old": "previous=json.loads((root/\"SHORT-PRECISION.json\").read_text())" + }, + { + "file": "check_odd_precision.py", + "new": "assert grid_receipt[\"caller_sha256\"]==sha256(cpath.read_bytes()).hexdigest()", + "old": "assert previous[\"native_sha256\"]==sha and grid_receipt[\"caller_sha256\"]==sha256(cpath.read_bytes()).hexdigest()" + }, + { + "file": "check_odd_precision.py", + "new": "wg=grid.word_run(w, frac=25)\nwp,wr=env.native_envelope(w)\nwg=json.loads(json.dumps(wg,default=str));wr=json.loads(json.dumps(wr,default=str))\nassert wg==r[\"precision\"][\"word\"] and wr==r[\"precision\"][\"rounded_native\"], \"Fresh changed-native grid and envelope\"", + "old": "wg=previous[\"native_grid\"]\nwr=previous[\"rounded_native\"]\nwp={key:(Q(v[\"exact\"]),v[\"witness\"]) for key,v in wr[\"bounds\"].items()}" + } + ] + }, + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "catalogue": [ + { + "catalogue_digest": "3466f64b2c8ac14c447dd20c7ade116c14c9ac905fc8ac264f41afe89825e0ec", + "catalogue_size": 3048, + "checked_maps": 1000, + "distinct_helper_maps": 186, + "distinct_paid_maps": 2963, + "exact_recipe_digest": "54d0d837eab62474173c517e7c33c088acaee420893adf6f55d713fef5018114", + "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": "250ec5734ad5fa70f0178b1562d74894192f5263d96a99400e5a8b066681ada1" + }, + { + "catalogue_digest": "3466f64b2c8ac14c447dd20c7ade116c14c9ac905fc8ac264f41afe89825e0ec", + "catalogue_size": 3048, + "checked_maps": 1000, + "distinct_helper_maps": 186, + "distinct_paid_maps": 2963, + "exact_recipe_digest": "4f89979ad1c62005411ec1845c5e0a0df2662e641da6b5c4659b9967ecb7838c", + "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": "250ec5734ad5fa70f0178b1562d74894192f5263d96a99400e5a8b066681ada1" + }, + { + "catalogue_digest": "3466f64b2c8ac14c447dd20c7ade116c14c9ac905fc8ac264f41afe89825e0ec", + "catalogue_size": 3048, + "checked_maps": 1048, + "distinct_helper_maps": 186, + "distinct_paid_maps": 2963, + "exact_recipe_digest": "34fae455ec7fc7f3e5dbd548aee6ab1554c851637e2793e81e2a428f19d01686", + "main_boundary_digest": "ad959887c990b8862a0e60db3f53d5195a1c9d667c1593f0101adc8db18f27fa", + "main_boundary_pairs": 104, + "phase_control_rejected": true, + "scope": "Complete signed Pauli action plus exact Gaussian global phase; for Clifford maps these determine every matrix column. Generic tensor-product and physical grammar application is written in the review. No random-field substitution.", + "slice_start": 2000, + "slice_stop": 3048, + "status": "PASS_CURRENT_NATIVE_CATALOGUE_SLICE", + "word_sha256": "250ec5734ad5fa70f0178b1562d74894192f5263d96a99400e5a8b066681ada1" + } + ], + "checks": { + "ODD-8X9-APPLICATION-CHECKS.json": { + "assumptions": [ + "native_all_columns", + "owned_erasure", + "compiler", + "precision_tape", + "analytic_recovery" + ], + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "candidate": "3642219284637/1000000000000000", + "catalogue": [ + { + "catalogue_digest": "3466f64b2c8ac14c447dd20c7ade116c14c9ac905fc8ac264f41afe89825e0ec", + "catalogue_size": 3048, + "checked_maps": 1000, + "distinct_helper_maps": 186, + "distinct_paid_maps": 2963, + "exact_recipe_digest": "54d0d837eab62474173c517e7c33c088acaee420893adf6f55d713fef5018114", + "log_sha256": "d6f97627676f81c91aefe9f17ae68cf8ccefa49e9bbbb47eb2b12868da48af03", + "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": "250ec5734ad5fa70f0178b1562d74894192f5263d96a99400e5a8b066681ada1" + }, + { + "catalogue_digest": "3466f64b2c8ac14c447dd20c7ade116c14c9ac905fc8ac264f41afe89825e0ec", + "catalogue_size": 3048, + "checked_maps": 1000, + "distinct_helper_maps": 186, + "distinct_paid_maps": 2963, + "exact_recipe_digest": "4f89979ad1c62005411ec1845c5e0a0df2662e641da6b5c4659b9967ecb7838c", + "log_sha256": "183cfe0e33695412b0181f44b9df86518c78909226d12172e42003bde4539068", + "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": "250ec5734ad5fa70f0178b1562d74894192f5263d96a99400e5a8b066681ada1" + }, + { + "catalogue_digest": "3466f64b2c8ac14c447dd20c7ade116c14c9ac905fc8ac264f41afe89825e0ec", + "catalogue_size": 3048, + "checked_maps": 1048, + "distinct_helper_maps": 186, + "distinct_paid_maps": 2963, + "exact_recipe_digest": "34fae455ec7fc7f3e5dbd548aee6ab1554c851637e2793e81e2a428f19d01686", + "log_sha256": "61b7adee22ebfae9753115d232a6c99973b5431691bd6d49e4176533608c4edd", + "main_boundary_digest": "ad959887c990b8862a0e60db3f53d5195a1c9d667c1593f0101adc8db18f27fa", + "main_boundary_pairs": 104, + "phase_control_rejected": true, + "scope": "Complete signed Pauli action plus exact Gaussian global phase; for Clifford maps these determine every matrix column. Generic tensor-product and physical grammar application is written in the review. No random-field substitution.", + "slice_start": 2000, + "slice_stop": 3048, + "status": "PASS_CURRENT_NATIVE_CATALOGUE_SLICE", + "word_sha256": "250ec5734ad5fa70f0178b1562d74894192f5263d96a99400e5a8b066681ada1" + } + ], + "fixed_tape_counts": { + "H": 16495300000000000000000, + "Kstar_bits": 14093, + "actual_ambient": 145, + "caller_odd_scale": 675, + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "common_grid": { + "fractional": "p+D", + "signed_width": "p+h+2D+3", + "temp_padding": 26 + }, + "compiler_ambient_cap": 153, + "context_bound_bits": 14104, + "context_c": 2362, + "elementary_records_per_map_upper": 85264, + "elementary_records_upper": 25474666336, + "log_power": 2235, + "max_scalar_numerator_bits": 24, + "monomial_map_slots": 298774, + "native_invocations": 17, + "native_sha256": "a32696e806c5cde0510cdf2f494e1f14ebb01e73d4ec577413fd7e7c0d9d68b2", + "owned_banks_per_raw_occurrence": 867, + "scalar_macro_inputs": { + "caller": 117856, + "conversions": 58216, + "native": 1161423 + }, + "scalar_services_upper": 42799840, + "scalar_steps_coefficient": 44878885027840, + "scope": "Exact finite-cost and common-format substitutions in the selected #7000 conditional application proof, using the conservative primitive movement and scalar constants there. The premise is the complete signed native/physical binding and retained compiler, BIT, stock, and outer contracts. This script counts the raw occurrence, not an enumerated top-level compiled multiplier.", + "tested_claim": "3642219284637/1000000000000000" + }, + "native_archive_sha256": "250ec5734ad5fa70f0178b1562d74894192f5263d96a99400e5a8b066681ada1", + "native_canonical_sha256": "a32696e806c5cde0510cdf2f494e1f14ebb01e73d4ec577413fd7e7c0d9d68b2", + "numeric_gate": { + "BIT_margin": "12447071536293/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16495300000000000000000", + "alpha": [ + 0.999999999999999, + 0.999999999999999 + ], + "claim": "3642219284637/1000000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.9030502653367356, + 0.9030502653367356 + ], + "derivative_upper": -381999.92887131055, + "gamma": [ + 0.9407712920958595, + 0.9407712920958595 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "3642219284637/1000000000000000": [ + "15533615733376094950252406991375096011261417004874776660634590339794243881507/12500000000000000000000000000000000000000000000000000000000000000000000000000000", + "124268925867008759602019255931000768090091336038998213285076722718353951054033/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364221928463707/100000000000000000": [ + "12426892586701104611324320885563710165789874106652360707584674639114833103393/10000000000000000000000000000000000000000000000000000000000000000000000000000000", + "62134462933505523056621604427818550828949370533261803537923373195574165517931/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2234, + "moment_margin_float": { + "364221928463707/100000000000000000": [ + 2.9840471394747454e-10, + 2.9840471394747454e-10 + ], + "7284438569275677958555822152543/2000000000000000000000000000000000": [ + 1.749086068221756e-29, + 1.749086068221756e-29 + ], + "9105548211594597448194777690679/2500000000000000000000000000000000": [ + -2.131443908581874e-29, + -2.131443908581874e-29 + ] + }, + "moment_margins": { + "364221928463707/100000000000000000": [ + "29840471394747456299987511370917473805911836464568418570074382632596351/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "29840471394747456299987511370917473805911836464568418570074382671236269/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "7284438569275677958555822152543/2000000000000000000000000000000000": [ + "874543034110878011854995361546045857280397102493319/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "874543034110878011854995361546045857280397121791111/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "9105548211594597448194777690679/2500000000000000000000000000000000": [ + "-1065721954290936966009130888066913280521294443025671/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-2131443908581873932018261776133826561042588847220497/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "7284438569275677958555822152543/2000000000000000000000000000000000", + "9105548211594597448194777690679/2500000000000000000000000000000000" + ], + "tested": "364221928463707/100000000000000000", + "written_log_power": 2235 + }, + "physical_binding": { + "ambient": 145, + "complete_paid_position_digest": "4ae8fa27e41f8737d778d70878b730680292d74c07daaf1f100e82ab91101a21", + "fresh_helpers": 18564, + "idle_uses": 3392, + "lambda_uses": 11280, + "native_calls": 17, + "native_contact_boundaries": 13600, + "native_public": 1492, + "nonzero_boundary_translations": 13600, + "paid": { + "1": 68860, + "16": 416, + "2": 14314, + "24": 416, + "3": 13923, + "32": 416, + "4": 3944, + "40": 416, + "48": 416, + "5": 5661, + "56": 416, + "6": 272, + "64": 208, + "7": 187, + "8": 758, + "9": 32 + }, + "paid_positions": 110655, + "phase_record_digest": "586ab7499fb677afdd83c397ea0b6d3b25f73ea6cdfa1ec95dd68adccff935ad", + "productive_fields": 22308, + "query_uses": 384, + "rank_surplus": 1424, + "reserved_native_banks": 867, + "reserved_serial_query_lambda_bank": 1, + "targets": { + "1": 306, + "137": 208, + "17": 416, + "2": 306, + "25": 416, + "3": 799, + "33": 416, + "4": 3706, + "41": 416, + "49": 416, + "5": 1275, + "57": 416, + "6": 714, + "65": 416, + "7": 306, + "73": 208, + "8": 901, + "9": 10667 + } + }, + "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": 779122208, + "init_clear_allowance": 216, + "lambda_paid_rank1_would_reduce_S_by": 11280, + "lambda_second_charge": 11280000, + "margin_to_billion": 220877792, + "odd_divisions": { + "ADD": 5365, + "SCALE": 71 + }, + "per_input_conversion": 2637856, + "raw_upper": 762476192, + "route_items": { + "first_main_adapter": 416, + "first_main_boundary": 208, + "helper_boundary": 2184, + "moves": 6287, + "owned_lifetime": 216, + "second_main_adapter": 384, + "second_main_boundary": 192 + }, + "routing": 9887000, + "scalar_upper": 2068168 + }, + "status": "PASS_8X9_EXACT_COMPONENT_APPLICATION_CHECKS" + }, + "ODD-ADMISSION-PARTIAL.json": { + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "compiler_outer": { + "BIT_margin": "12447071536293/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16495300000000000000000", + "alpha": [ + 0.999999999999999, + 0.999999999999999 + ], + "claim": "3642219284637/1000000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.9030502653367356, + 0.9030502653367356 + ], + "derivative_upper": -381999.92887131055, + "gamma": [ + 0.9407712920958595, + 0.9407712920958595 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "3642219284637/1000000000000000": [ + "15533615733376094950252406991375096011261417004874776660634590339794243881507/12500000000000000000000000000000000000000000000000000000000000000000000000000000", + "124268925867008759602019255931000768090091336038998213285076722718353951054033/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364221928463707/100000000000000000": [ + "12426892586701104611324320885563710165789874106652360707584674639114833103393/10000000000000000000000000000000000000000000000000000000000000000000000000000000", + "62134462933505523056621604427818550828949370533261803537923373195574165517931/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2234, + "moment_margin_float": { + "364221928463707/100000000000000000": [ + 2.9840471394747454e-10, + 2.9840471394747454e-10 + ], + "7284438569275677958555822152543/2000000000000000000000000000000000": [ + 1.749086068221756e-29, + 1.749086068221756e-29 + ], + "9105548211594597448194777690679/2500000000000000000000000000000000": [ + -2.131443908581874e-29, + -2.131443908581874e-29 + ] + }, + "moment_margins": { + "364221928463707/100000000000000000": [ + "29840471394747456299987511370917473805911836464568418570074382632596351/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "29840471394747456299987511370917473805911836464568418570074382671236269/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "7284438569275677958555822152543/2000000000000000000000000000000000": [ + "874543034110878011854995361546045857280397102493319/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "874543034110878011854995361546045857280397121791111/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "9105548211594597448194777690679/2500000000000000000000000000000000": [ + "-1065721954290936966009130888066913280521294443025671/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-2131443908581873932018261776133826561042588847220497/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "7284438569275677958555822152543/2000000000000000000000000000000000", + "9105548211594597448194777690679/2500000000000000000000000000000000" + ], + "tested": "364221928463707/100000000000000000", + "written_log_power": 2235 + }, + "crossing_probe_rejected": true, + "finite_rank9_fields": [ + { + "child_rank": 9, + "denominator": 512, + "exponent": 1, + "mutated_entries": { + "missing global phase": 8, + "missing multiplicity": 0 + }, + "spectators": 136, + "stage": 8, + "swaps": [ + [ + 1, + 65 + ], + [ + 2, + 66 + ], + [ + 3, + 67 + ], + [ + 4, + 68 + ], + [ + 5, + 69 + ], + [ + 6, + 70 + ], + [ + 7, + 71 + ], + [ + 8, + 72 + ] + ], + "tested_entries": 262144, + "width": 1 + }, + { + "child_rank": 9, + "denominator": 262144, + "exponent": 2, + "mutated_entries": { + "missing global phase": 8, + "missing multiplicity": 8 + }, + "spectators": 272, + "stage": 8, + "swaps": [ + [ + 1, + 65 + ], + [ + 2, + 66 + ], + [ + 3, + 67 + ], + [ + 4, + 68 + ], + [ + 5, + 69 + ], + [ + 6, + 70 + ], + [ + 7, + 71 + ], + [ + 8, + 72 + ] + ], + "tested_entries": 1024, + "width": 2 + }, + { + "child_rank": 9, + "denominator": 134217728, + "exponent": 3, + "mutated_entries": { + "missing global phase": 8, + "missing multiplicity": 8 + }, + "spectators": 408, + "stage": 8, + "swaps": [ + [ + 1, + 65 + ], + [ + 2, + 66 + ], + [ + 3, + 67 + ], + [ + 4, + 68 + ], + [ + 5, + 69 + ], + [ + 6, + 70 + ], + [ + 7, + 71 + ], + [ + 8, + 72 + ] + ], + "tested_entries": 1024, + "width": 3 + }, + { + "child_rank": 9, + "denominator": 512, + "exponent": 1, + "mutated_entries": { + "missing global phase": 8, + "missing multiplicity": 0 + }, + "spectators": 136, + "stage": 9, + "swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "tested_entries": 262144, + "width": 1 + }, + { + "child_rank": 9, + "denominator": 262144, + "exponent": 2, + "mutated_entries": { + "missing global phase": 8, + "missing multiplicity": 8 + }, + "spectators": 272, + "stage": 9, + "swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "tested_entries": 1024, + "width": 2 + }, + { + "child_rank": 9, + "denominator": 134217728, + "exponent": 3, + "mutated_entries": { + "missing global phase": 8, + "missing multiplicity": 8 + }, + "spectators": 408, + "stage": 9, + "swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "tested_entries": 1024, + "width": 3 + } + ], + "invoice": { + "P": { + "1": 68860, + "16": 416, + "2": 14314, + "24": 416, + "3": 13923, + "32": 416, + "4": 3944, + "40": 416, + "48": 416, + "5": 5661, + "56": 416, + "6": 272, + "64": 208, + "7": 187, + "8": 758, + "9": 32 + }, + "S": 1424, + "T": { + "1": 306, + "137": 208, + "17": 416, + "2": 306, + "25": 416, + "3": 799, + "33": 416, + "4": 3706, + "41": 416, + "49": 416, + "5": 1275, + "57": 416, + "6": 714, + "65": 416, + "7": 306, + "73": 208, + "8": 901, + "9": 10667 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036422192846378389792779110762715450733811793013921687470157795111", + "raw_crossing": "0.0036422192846378389792779110762715450733811793013921687470157795111" + }, + "native_sha256": "a32696e806c5cde0510cdf2f494e1f14ebb01e73d4ec577413fd7e7c0d9d68b2", + "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": 779122208, + "init_clear_allowance": 216, + "lambda_paid_rank1_would_reduce_S_by": 11280, + "lambda_second_charge": 11280000, + "margin_to_billion": 220877792, + "odd_divisions": { + "ADD": 5365, + "SCALE": 71 + }, + "per_input_conversion": 2637856, + "raw_upper": 762476192, + "route_items": { + "first_main_adapter": 416, + "first_main_boundary": 208, + "helper_boundary": 2184, + "moves": 6287, + "owned_lifetime": 216, + "second_main_adapter": 384, + "second_main_boundary": 192 + }, + "routing": 9887000, + "scalar_upper": 2068168 + }, + "scope": "Reuse exact same native word all-column adjoint; fresh exact signed caller and invoice, ordinary source-unit upper bill, inherited numerical compiler and outer inequalities, and signed rank9 child finite field routes. Fresh integrated physical native/caller and changed-word precision/occurrence application remain separate." + }, + "ODD-CALLER-EXACT-GRID.json": { + "caller_odd_scale": "675", + "caller_odd_scale_bits": 10, + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "grid_exponents": [ + 381, + 3, + 2 + ], + "peak_terms": 3752, + "preproduct_exact_divisions": 176874, + "prime_order": [ + 2, + 3, + 5 + ], + "safe_valuation_bound": [ + 381, + 69, + 62 + ], + "scope": "Independent integer Laurent caller endpoint and pre-product divisibility. Valuation bound propagates complete field operators whose Gaussian coefficients have only power-of-two denominators, so odd factors are sourced only from the charged scalar operations. Fixed conversion and storage bounds still needed." + }, + "ODD-FIXED-TAPE-COUNTS.json": { + "H": 16495300000000000000000, + "Kstar_bits": 14093, + "actual_ambient": 145, + "caller_odd_scale": 675, + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "common_grid": { + "fractional": "p+D", + "signed_width": "p+h+2D+3", + "temp_padding": 26 + }, + "compiler_ambient_cap": 153, + "context_bound_bits": 14104, + "context_c": 2362, + "elementary_records_per_map_upper": 85264, + "elementary_records_upper": 25474666336, + "log_power": 2235, + "max_scalar_numerator_bits": 24, + "monomial_map_slots": 298774, + "native_invocations": 17, + "native_sha256": "a32696e806c5cde0510cdf2f494e1f14ebb01e73d4ec577413fd7e7c0d9d68b2", + "owned_banks_per_raw_occurrence": 867, + "scalar_macro_inputs": { + "caller": 117856, + "conversions": 58216, + "native": 1161423 + }, + "scalar_services_upper": 42799840, + "scalar_steps_coefficient": 44878885027840, + "scope": "Exact finite-cost and common-format substitutions in the selected #7000 conditional application proof, using the conservative primitive movement and scalar constants there. The premise is the complete signed native/physical binding and retained compiler, BIT, stock, and outer contracts. This script counts the raw occurrence, not an enumerated top-level compiled multiplier.", + "tested_claim": "3642219284637/1000000000000000" + }, + "ODD-PHYSICAL-BINDING.json": { + "aliased_main_rejected": true, + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "native_sha256": "a32696e806c5cde0510cdf2f494e1f14ebb01e73d4ec577413fd7e7c0d9d68b2", + "occurrence_and_geometry": { + "ambient": 145, + "complete_paid_position_digest": "4ae8fa27e41f8737d778d70878b730680292d74c07daaf1f100e82ab91101a21", + "fresh_helpers": 18564, + "idle_uses": 3392, + "lambda_uses": 11280, + "native_calls": 17, + "native_contact_boundaries": 13600, + "native_public": 1492, + "nonzero_boundary_translations": 13600, + "paid": { + "1": 68860, + "16": 416, + "2": 14314, + "24": 416, + "3": 13923, + "32": 416, + "4": 3944, + "40": 416, + "48": 416, + "5": 5661, + "56": 416, + "6": 272, + "64": 208, + "7": 187, + "8": 758, + "9": 32 + }, + "paid_positions": 110655, + "phase_record_digest": "586ab7499fb677afdd83c397ea0b6d3b25f73ea6cdfa1ec95dd68adccff935ad", + "productive_fields": 22308, + "query_uses": 384, + "rank_surplus": 1424, + "reserved_native_banks": 867, + "reserved_serial_query_lambda_bank": 1, + "targets": { + "1": 306, + "137": 208, + "17": 416, + "2": 306, + "25": 416, + "3": 799, + "33": 416, + "4": 3706, + "41": 416, + "49": 416, + "5": 1275, + "57": 416, + "6": 714, + "65": 416, + "7": 306, + "73": 208, + "8": 901, + "9": 10667 + } + }, + "patched_application_sha256": "733b31b1cee4567b466fdf834a34460b530f1f87ca6dca9270c0fabb2cf89849", + "scope": "Current caller port and ownership substitution, full phase-polynomial native contact identities on disjoint stage axes, whole signed idle/output geometry, and ordered paid positions. Retains the standard nested chart and local operator premises and requires separate full native replay and complete fixed-tape tariff application.", + "source_reviewer_sha256": "d98987db98553dc55bfc80e3ca47abfcd51c57af6f8cda61101391d8eae94184" + }, + "ODD-PRECISION.json": { + "caller_grid": { + "caller_odd_scale": "675", + "caller_odd_scale_bits": 10, + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "grid_exponents": [ + 381, + 3, + 2 + ], + "peak_terms": 3752, + "preproduct_exact_divisions": 176874, + "prime_order": [ + 2, + 3, + 5 + ], + "safe_valuation_bound": [ + 381, + 69, + 62 + ], + "scope": "Independent integer Laurent caller endpoint and pre-product divisibility. Valuation bound propagates complete field operators whose Gaussian coefficients have only power-of-two denominators, so odd factors are sourced only from the charged scalar operations. Fixed conversion and storage bounds still needed." + }, + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "context_c": 2362, + "context_height": 406, + "context_mass_bits": 1181, + "native_grid": { + "coefficient_visits": 15457099, + "dyadic_height": 25, + "mass_witness": [ + 65206, + "stored add" + ], + "maximum_scaled_mass": "814448574117075/8192", + "numerator_bits": 24, + "odd_scale_lcm": 1125 + }, + "native_sha256": "a32696e806c5cde0510cdf2f494e1f14ebb01e73d4ec577413fd7e7c0d9d68b2", + "precision_program_sha256": "7696f2e4074ccc9c970670494595e2a973742279a6109d1e60fd551a4611d236", + "rounded_caller": { + "bounds": { + "E_joint_entrance": { + "exact": "5950784596457319646781042109049649395947688220153421049065456158206893084425783378369360082605505328453955317355796246815915287359140186349405822187071282785427546119359642910256867133081391855711051771384591768694166650790447069417451022572707744505729722298330833679349722337477583221891586510695961539563463500768409306272844988236926810806570080956394540974003870774131176718680479598214016478754557019122667422913970010347/2529158213879057302658998941096345600000000000000000000000000000000000000000000000", + "strict_power_of_two": 1148, + "witness": { + "cut": 4691, + "event": 4691, + "factor": "1", + "kind": "stored", + "register": 36 + } + }, + "Gamma_context": { + "exact": "153575481248692675084934569000179123719626342753972851939512613902576812737484045413906968707826331982483822832549090175226051284185990445640317594554164459230457765121036897407520735308590608775059154441569177273388799713529514337101637895490333888950981568425217164128244461952207032599447021182160926464512785239272054605509462656165947279854565321663879976812966981459003323637546612094612980768021157754368049123742236937337/1896868660409292976994249205822259200000000000000000000000000000000000000000000000", + "strict_power_of_two": 1153, + "witness": { + "cut": 4783, + "factor": "1", + "kind": "public-return", + "register": 37 + } + }, + "M_caller": { + "exact": "321214676655933560129782836030951119958622429471431692811117505066079252658303325303661828534046786576018850667853596288128047313819788006911616028348392581085050721023636971054851673799947587501432346122953175312809813833001587100311020687804583808767060460431114911369649528995555025426696059541/456139469146728515625000000", + "strict_power_of_two": 897, + "witness": { + "cut": 4751, + "event": 4750, + "factor": "1", + "kind": "stored", + "register": 37 + } + }, + "M_context": { + "exact": "24898013777100702035967807306091511244662602025139468421656390878219636962702451835397705516562583813714751076075014761541426714578979447457838246883663379540658135110522684890152220850081224266847858467942457034492429205494175440008713667333568524239495616651717634471043696134441138275016076327532667795585567014680211930935502669438837484994915626622950665764620750914798532506936890144034321496304058272553336563831712407929237/1686105475919371535105999294064230400000000000000000000000000000000000000000000000", + "strict_power_of_two": 1160, + "witness": { + "cut": 4692, + "event": 4691, + "factor": "1", + "kind": "stored", + "register": null + } + }, + "M_joint_entrance": { + "exact": "12446513821466013746992171114880354528234540647439407368041740746722705684890095694539586093101687855496797040728247169012299728404791642365323413178973703529222728715961384485250463009966565309368602073434714550373752128374887698957802006867751735225949803848812917591840288770078529478244705471/608185958862304687500000000", + "strict_power_of_two": 892, + "witness": { + "cut": 4691, + "event": 4691, + "factor": "1", + "kind": "stored", + "register": 36 + } + }, + "Sigma_caller": { + "exact": "153575481248692675084934569000179123719626342753972851939512613902576812737484045413906968707826331982483822832549090175226051284185990445640317594554164459230457765121036897407520735308590608775059154441569177273388799713529514337101637895490333888950981568425217164128244461952207032599447021182160926464512785239272054605509462656165947279854565321663879976812966981459003323637546612094612980768021157754368049123742236937337/1896868660409292976994249205822259200000000000000000000000000000000000000000000000", + "strict_power_of_two": 1153, + "witness": { + "cut": 4753, + "event": 4752, + "factor": "1", + "kind": "stored", + "register": 37 + } + }, + "Sigma_context": { + "exact": "11903953106260370278140133773965854814178369875789553144345798024103183664925423181421095166905414932754151734439897168692459437433646801568877327039617557016784965684070271595330487186133343232752739146210520265029091964313456143114248552621102443803214018233868131591385348357860061312880386417624799894474551021658014487324240768975963521495353522114916542132443318836194580259295858784117194399238109383395715948582673596316877523134288032395612325161735189979696514386349058523083675094879106583714685842128795038358606034153413837270641848516702408993846009/7011716485308428615133405458301579549733503737764404511774644319027200000000000000000000000000000000000000000000000000000000000000000000", + "strict_power_of_two": 1416, + "witness": { + "cut": 4692, + "event": 4691, + "factor": "1", + "kind": "stored", + "register": null + } + } + }, + "fresh_arbitrary_helpers": 18564, + "helper_allocation_premise": "distinct (stage, helper) public inputs as in frozen caller proof", + "independent_adjoint": { + "E_joint_entrance": { + "entrance_mass": "12446513821466013746992171114880354528234540647439407368041740746722705684890095694539586093101687855496797040728247169012299728404791642365323413178973703529222728715961384485250463009966565309368602073434714550373752128374887698957802006867751735225949803848812917591840288770078529478244705471/608185958862304687500000000", + "joint_coefficient": "144218124282401204617230263054514744346632405857442589144991781917530152132889870002846209306787762894150543865356389849084238452276894627352790762454037345126994351979907477144401257368423063007427271766117739822282248246858569624239109891511459830034432108241771054783468611278140179030295737/14596463012695312500000000000", + "primitive_coefficient": "1237373204913668966810008103424843603237049842106979534739539344726881600855129275554334885562896567825503574055929527662143657491595081161117482238618339640110136792453314323518006796600687371906278112102741547626404362403105174332310591538741639237757093806525664195341657589882317257470101709011/175157556152343750000000000000", + "residual_mass": "5950784596457319646781042109049649395947688220153421049065456158206893084425783378369360082605505328453955317355796246815915287359140186349405822187071282785427546119359642910256867133081391855711051771384591768694166650790447069417451022572707744505729722298330833679349722337477583221891586510695961539563463500768409306272844988236926810806570080956394540974003870774131176718680479598214016478754557019122667422913970010347/2529158213879057302658998941096345600000000000000000000000000000000000000000000000" + }, + "Gamma_context": { + "entrance_mass": "321214676655933560129782836030951119958622429471431692811117505066079252658303325303661828534046786576018850667853596288128047313819788006911616028348392581085050721023636971054851673799947587501432346122953175312809813833001587100311020687804583808767060460431114911369649528995555025426696059541/456139469146728515625000000", + "joint_coefficient": "3721923971948022264020008386608472289590988528157114268392412469599050143495508978788641788787976594161440706214373829555996384554677122174093932095769106055424540710380314024651007332164525664382203471694821380954416641216321248248752759218861172626274920078125266851782731337714997593665899027/10947347259521484375000000000", + "primitive_coefficient": "31933635363307317503891208167952125518099265598871297188945655447689887409437080424471754322893069036961252717295444311531802702290424391181977246033332095685934810861449534911850277930109610390733877602745069385156892357266512877411313922547610591253415658016844390796379192959369382262182067424881/131368167114257812500000000000", + "residual_mass": "153575481248692675084934569000179123719626342753972851939512613902576812737484045413906968707826331982483822832549090175226051284185990445640317594554164459230457765121036897407520735308590608775059154441569177273388799713529514337101637895490333888950981568425217164128244461952207032599447021182160926464512785239272054605509462656165947279854565321663879976812966981459003323637546612094612980768021157754368049123742236937337/1896868660409292976994249205822259200000000000000000000000000000000000000000000000" + }, + "M_caller": { + "entrance_mass": "321214676655933560129782836030951119958622429471431692811117505066079252658303325303661828534046786576018850667853596288128047313819788006911616028348392581085050721023636971054851673799947587501432346122953175312809813833001587100311020687804583808767060460431114911369649528995555025426696059541/456139469146728515625000000", + "joint_coefficient": "3721923971948022264020008386608472289590988528157114268392412469599050143495508978788641788787976594161440706214373829555996384554677122174093932095769106055424540710380314024651007332164525664382203471694821380954416641216321248248752759218861172626274920078125266851782731337714997593665899027/10947347259521484375000000000", + "primitive_coefficient": "31933635363307317503891208167952125518099265598871297188945655447689887409437080424471754322893069036961252717295444311531802702290424391181977246033332095685934810861449534911850277930109610390733877602745069385156892357266512877411313922547610591253415658016844390796247824792255124449682067424881/131368167114257812500000000000", + "residual_mass": "153575481248692675084934569000179123719626342753972851939512613902576812737484045413906968707826331982483822832549090175226051284185990445640317594554164459230457765121036897407520735308590608775059154441569177273388799713529514337101637895490333888950981568425217164128244461952207032599447021182160926464512785239272054605509462656165947279854563424795219567519989987209797501378346612094612980768021157754368049123742236937337/1896868660409292976994249205822259200000000000000000000000000000000000000000000000" + }, + "M_joint_entrance": { + "entrance_mass": "12446513821466013746992171114880354528234540647439407368041740746722705684890095694539586093101687855496797040728247169012299728404791642365323413178973703529222728715961384485250463009966565309368602073434714550373752128374887698957802006867751735225949803848812917591840288770078529478244705471/608185958862304687500000000", + "joint_coefficient": "144218124282401204617230263054514744346632405857442589144991781917530152132889870002846209306787762894150543865356389849084238452276894627352790762454037345126994351979907477144401257368423063007427271766117739822282248246858569624239109891511459830034432108241771054783468611278140179030295737/14596463012695312500000000000", + "primitive_coefficient": "1237373204913668966810008103424843603237049842106979534739539344726881600855129275554334885562896567825503574055929527662143657491595081161117482238618339640110136792453314323518006796600687371906278112102741547626404362403105174332310591538741639237757093806525664195341657589882317257470101709011/175157556152343750000000000000", + "residual_mass": "5950784596457319646781042109049649395947688220153421049065456158206893084425783378369360082605505328453955317355796246815915287359140186349405822187071282785427546119359642910256867133081391855711051771384591768694166650790447069417451022572707744505729722298330833679349722337477583221891586510695961539563463500768409306272844988236926810806570080956394540974003870774131176718680479598214016478754557019122667422913970010347/2529158213879057302658998941096345600000000000000000000000000000000000000000000000" + }, + "Sigma_caller": { + "entrance_mass": "321214676655933560129782836030951119958622429471431692811117505066079252658303325303661828534046786576018850667853596288128047313819788006911616028348392581085050721023636971054851673799947587501432346122953175312809813833001587100311020687804583808767060460431114911369649528995555025426696059541/456139469146728515625000000", + "joint_coefficient": "3721923971948022264020008386608472289590988528157114268392412469599050143495508978788641788787976594161440706214373829555996384554677122174093932095769106055424540710380314024651007332164525664382203471694821380954416641216321248248752759218861172626274920078125266851782731337714997593665899027/10947347259521484375000000000", + "primitive_coefficient": "31933635363307317503891208167952125518099265598871297188945655447689887409437080424471754322893069036961252717295444311531802702290424391181977246033332095685934810861449534911850277930109610390733877602745069385156892357266512877411313922547610591253415658016844390796379192959369382262182067424881/131368167114257812500000000000", + "residual_mass": "153575481248692675084934569000179123719626342753972851939512613902576812737484045413906968707826331982483822832549090175226051284185990445640317594554164459230457765121036897407520735308590608775059154441569177273388799713529514337101637895490333888950981568425217164128244461952207032599447021182160926464512785239272054605509462656165947279854565321663879976812966981459003323637546612094612980768021157754368049123742236937337/1896868660409292976994249205822259200000000000000000000000000000000000000000000000" + } + }, + "joint_entries": [ + { + "entrance_defect": "1435/4", + "entrance_mass": "2067/2", + "event": 43, + "stage": 1 + }, + { + "entrance_defect": "70781793918399586558213313219166874124348981830473596028893822119799219174220248721849345734429893120774443753234190501047970144308398195117/54147497318342533224087693557760000000000000000000000", + "entrance_mass": "56849465528/5", + "event": 137, + "stage": 2 + }, + { + "entrance_defect": "107545293560019130402683285945609675422266176997621295714208332020106130121777673537819324343280705546594650144090780433919109611275256061342259486545197/5198159742560883189512418581544960000000000000000000000", + "entrance_mass": "899756300051784928313/5", + "event": 268, + "stage": 3 + }, + { + "entrance_defect": "100168175419170962309410485582772128097175345943907539701184359386315708193998712671153812839237082948130655250940706900293905374986852402051863652223529822227821/5198159742560883189512418581544960000000000000000000000", + "entrance_mass": "2514111326902273689027625979152/15", + "event": 432, + "stage": 4 + }, + { + "entrance_defect": "20462096123875919764329906341867017106411055486649324794976757353667792787631223025509920830393559016820685317101279694004191310120268559369934503107977501995186599271376891/5198159742560883189512418581544960000000000000000000000", + "entrance_mass": "513576167499541081817002847690160861158177/15", + "event": 633, + "stage": 5 + }, + { + "entrance_defect": "1959245387687414223546514741657040650281549520224137677681455255760583440750740639971753276890672600687376915201709030139941026003779889299848757271702313123100164841935984671725077119/77972396138413247842686278723174400000000000000000000000", + "entrance_mass": "49174910102467876864090432969907258581035345395534834/225", + "event": 867, + "stage": 6 + }, + { + "entrance_defect": "208963522494459959908564749202344616225858863148684781412879040468340765829519202851048448185446128547885325653621111078279264248068065785819150163297885378443336800508817777653059610768887569969/8663599570934805315854030969241600000000000000000000000", + "entrance_mass": "47202796791779792903787260464709452698419616298153732189406926691/225", + "event": 1138, + "stage": 7 + }, + { + "entrance_defect": "60841691544910830928364282138725800374594826721180378231669375249007976158683607604752151024044114522086890956605575260348937355392473100912665241789196165684791191756907273405026444182134416431569601980927073351/9746549517301655980335784840396800000000000000000000000000", + "entrance_mass": "1527059719525243651854937925515623170877847518562264265010551055991429949116792541/28125", + "event": 1423, + "stage": 8 + }, + { + "entrance_defect": "21697531828625713684740058398136455620365440982996689870113864415405059187422569591467250857764630544993416516678765568479178881064944462304360456735181062512874513956469502777291465281845729696531803526652045966630361096102299087349821782329161107805325506844497616758875962297717399924020504394898961983515208046006666328523701884056176914735971/11240703172795810234039995293761536000000000000000000000000000000000000000000000", + "entrance_mass": "45382020709918266925583064268574418985484021788023395083741971786893952543604385214817042722264713249357732585113211736557042182118473445437784492974844696068231496289005681248244219743195326431922663592509646282903/2703048706054687500000000", + "event": 3058, + "stage": 9 + }, + { + "entrance_defect": "8250516616501954952947521879546170262715903208283167664279851862148498356218172683234267421723541330188632059082701951054256466743693496509648945740466821401983073365700687824820971738004826116684125693886996850284570299767430041905320341497959259810518931138865618492230971382067769123089977606899513137284401801864103966953535241328473770117889176457587447409/281017579319895255850999882344038400000000000000000000000000000000000000000000000", + "entrance_mass": "17256576412236653193246225901973714737195067836439327666112948810725372605325768521068989782195051084826433423902219365061463548934152577319772447024097669813834215493691840531234110147024064996639957180865886380686899413865699437/67576217651367187500000000", + "event": 3377, + "stage": 10 + }, + { + "entrance_defect": "3936204358672694714049639857607941543948385792858791743439839606548186128191259688306473793241986547107555362260000638812188677294470641562147725436639167281306568392076982664389536641618863468945560952804004336475903057972350684130780190825937811602703213072788572724546490068146538965556309107306681250591249888600110605131063831729415099000465038652115564296569931774571/9367252643996508528366662744801280000000000000000000000000000000000000000000000", + "entrance_mass": "8232867642949280967953864719378369729636081542640965177026582834276172086852779069019078166383458700724373015543641299678854718814560615654710102550769670203427726502361438450768012893674227975469242856299447027845030556012745339827937032703/2252540588378906250000000", + "event": 3674, + "stage": 11 + }, + { + "entrance_defect": "49463969802973967325116951425714591118109814884779691420672453959057291296062985372750437671034379929931391041973599611654394516778946966661137590766949231096828936238208517980720393909802488525353197091578543934634051767782828822494204955136852717926237145492831141697579389167744077495367330963542744861741789663575973319126150321400365179321697224700560125602092893023250912526923467/1264579106939528651329499470548172800000000000000000000000000000000000000000000000", + "entrance_mass": "103457615351059805192637231353494210876529187337645013912367786609511281374638184501291799844537790265462481580051228205479278831706979374022592427678836083146990308179368316797029946556942233864286312243671687806427572314354434738422294564686254956597631/304092979431152343750000000", + "event": 3934, + "stage": 12 + }, + { + "entrance_defect": "3258160217148365984270609051672662361598559220821708846345137169703987190056202573345014661429636467661699920032770504912036925760809474576940933909073041677636819506496851812762937050648546457420913585764491751670915787514205622271210376097392714240336909704920672460838690685717280880747637690908565127975421522782034921899989317032561537065234348999352829154925845769290137754646496350067723/316144776734882162832374867637043200000000000000000000000000000000000000000000000", + "entrance_mass": "6814687293408352348961376609223100753789665399854180217091951198766673494955017243489117504312576625705862588971333049204842152193259763726092611947454717867967563820647006231530855513792517852570389360287582421241328472893443552787136426885585158158296407747039/76023244857788085937500000", + "event": 4149, + "stage": 13 + }, + { + "entrance_defect": "130852840842335729232766137021705310563412666964169133145517210156673989114999101499068362556276507691271087524859304501549804591099425079557165555273244396898040770525963376398395016922881652346854163719739487125313060042355981469178879273813694726083616419910003123086043054073180970489314685380114876673522785766371477401921480081576114083002166045731046266103342195010546587342220128132280789812165187/2529158213879057302658998941096345600000000000000000000000000000000000000000000000", + "entrance_mass": "273688564209132230699064882255651065961520374651451250325109091529813162250488973700796593555467744131430272845604649750549608356985710665121874068107850799585492748533787927289567936649257940207702597871193107311090132538524151482351564937285621850171994049078063458209591/608185958862304687500000000", + "event": 4337, + "stage": 14 + }, + { + "entrance_defect": "2500880895806015086378784021061611530864648573542418313660946028549712405906273534631423800155859720980192431581164898637700509861243405321580036250642819698455614690666489297705221024936101519135629571234173458137200547504406020059760110523187240181511643541838873444094520311878553114351176230629441870527464695924953445565305425601579376390209544271859390438967763840119656902121219054327370399368193759502977/1264579106939528651329499470548172800000000000000000000000000000000000000000000000", + "entrance_mass": "5230780602279043381317572379439763694807653157987526423412516241866438709931406455512285461654380762978554988724296151241130161368896505647624919395909388513302452136334767445346454946237326490486725295589968816639097338790755366202380875008783642473174121062695038054202858248061/304092979431152343750000000", + "event": 4485, + "stage": 15 + }, + { + "entrance_defect": "2768451233798323087389731795522238120754259027801914066572881418271993947058104994743959154690491788052440990697019054971533522324368769362168079593794133660492591305807960656433190986684304629566582981903174430391516582392046226284636958793284495471133125133467232369317656006162288300916525267688018676196929370168766289224226723987092142934981469405172717074268192201810706394753150837642258792234610281046627922440091/2529158213879057302658998941096345600000000000000000000000000000000000000000000000", + "entrance_mass": "5790424100720951765768300756324298709533962301792798636386692749870979029496708556989270788662796627612885676197810930990877069943243536093513215980405080279750566239442965631097385199413957318608000177913047677092759213914423460784984181631621622445055356552059259436283593839861423838063/608185958862304687500000000", + "event": 4606, + "stage": 16 + }, + { + "entrance_defect": "5950784596457319646781042109049649395947688220153421049065456158206893084425783378369360082605505328453955317355796246815915287359140186349405822187071282785427546119359642910256867133081391855711051771384591768694166650790447069417451022572707744505729722298330833679349722337477583221891586510695961539563463500768409306272844988236926810806570080956394540974003870774131176718680479598214016478754557019122667422913970010347/2529158213879057302658998941096345600000000000000000000000000000000000000000000000", + "entrance_mass": "12446513821466013746992171114880354528234540647439407368041740746722705684890095694539586093101687855496797040728247169012299728404791642365323413178973703529222728715961384485250463009966565309368602073434714550373752128374887698957802006867751735225949803848812917591840288770078529478244705471/608185958862304687500000000", + "event": 4691, + "stage": 17 + } + ], + "physical_main_inputs": 3744, + "sites": { + "ADD": 4126, + "IDLE_ODD": 4, + "IDLE_ONE": 90, + "J": 17, + "LAMBDA": 178, + "QUERY": 4, + "SCALE": 312, + "SWAP": 52, + "noninteger_scalar": 1752 + } + }, + "rounded_native": { + "bounds": { + "Gamma": { + "exact": "41262390743654180353824668559220566387072561689717714821551866186741233523134764055452313526956808398755316703897918535395955679502531/173271991418696106317080619384832000000000000000000000", + "strict_power_of_two": 268, + "witness": { + "cut": 74606, + "factor": "1", + "kind": "public-return", + "register": 1483 + } + }, + "M": { + "exact": "2000400604879422152099704980701647518621850280449683462754007100601087452800342179425603181544902261909432088137599521038480745462975147/2772351862699137701073289910157312000000000000000000000", + "strict_power_of_two": 269, + "witness": { + "cut": 73430, + "factor": "1", + "kind": "stored", + "register": 1483 + } + }, + "Sigma": { + "exact": "41262390743654180353824668559220566387072561689717714821551866186741233523134764055452313526956808398755316703897918535395955679502531/173271991418696106317080619384832000000000000000000000", + "strict_power_of_two": 268, + "witness": { + "cut": 73430, + "factor": "1", + "kind": "stored", + "register": 1483 + } + } + }, + "census": { + "denominator_bits": 20, + "events": 74606, + "lifetimes": 54, + "max_denominator": 655360, + "max_numerator": 14729531, + "numerator_bits": 24, + "opcodes": { + "ADD": 64504, + "CLEAR": 54, + "COPY": 1, + "INIT": 54, + "MOVE": 6287, + "SCALE": 3706 + }, + "owned_labels": 51, + "peak_owned": 43, + "public": 1492, + "scalars": { + "dyadic": 62775, + "integer": 39336, + "noninteger": 28875, + "odd": 5436 + } + }, + "independent_adjoint": { + "Gamma": { + "active_residual_sites": 26511, + "entrance_mass": "2000400604879422152099704980701647518621850280449683462754007100601087452800342179425603181544902261909432088137599521038480745462975147/2772351862699137701073289910157312000000000000000000000", + "residual_mass": "41262390743654180353824668559220566387072561689717714821551866186741233523134764055452313526956808398755316703897918535395955679502531/173271991418696106317080619384832000000000000000000000" + }, + "M": { + "active_residual_sites": 26511, + "entrance_mass": "2000400604879422152099704980701647518621850280449683462754007100601087452800342179425603181544902261909432088137599521038480745462975147/2772351862699137701073289910157312000000000000000000000", + "residual_mass": "41262390743654180353824668559220566387072561689717714821551866186741233523134764055452313526956808398755316703897918535395955679502531/173271991418696106317080619384832000000000000000000000" + }, + "Sigma": { + "active_residual_sites": 26511, + "entrance_mass": "2000400604879422152099704980701647518621850280449683462754007100601087452800342179425603181544902261909432088137599521038480745462975147/2772351862699137701073289910157312000000000000000000000", + "residual_mass": "41262390743654180353824668559220566387072561689717714821551866186741233523134764055452313526956808398755316703897918535395955679502531/173271991418696106317080619384832000000000000000000000" + } + } + }, + "scope": "Fixed integer Laurent grid with charged odd caller scale, and pinned attributed forward/adjoint all-fibre defect engine applied to the emitted 17-stage caller. Each LAMBDA, QUERY and signed/unsigned idle is one unitary with one child defect. The caller allocation assumes independent stage helpers. Full physical application remains separate." + }, + "ODD-TYPE-AB-REPLAY.json": { + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "paid": { + "1": 68860, + "16": 416, + "2": 14314, + "24": 416, + "3": 13923, + "32": 416, + "4": 3944, + "40": 416, + "48": 416, + "5": 5661, + "56": 416, + "6": 272, + "64": 208, + "7": 187, + "8": 758, + "9": 32 + }, + "raw_bracket": [ + "7284438569275677958555822152543/2000000000000000000000000000000000", + "9105548211594597448194777690679/2500000000000000000000000000000000" + ], + "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": "a32696e806c5cde0510cdf2f494e1f14ebb01e73d4ec577413fd7e7c0d9d68b2", + "target": { + "1": 306, + "137": 208, + "17": 416, + "2": 306, + "25": 416, + "3": 799, + "33": 416, + "4": 3706, + "41": 416, + "49": 416, + "5": 1275, + "57": 416, + "6": 714, + "65": 416, + "7": 306, + "73": 208, + "8": 901, + "9": 10667 + } + } + }, + "claim": "3642219284637/1000000000000000", + "price": { + "after": { + "P": { + "1": 68860, + "16": 416, + "2": 14314, + "24": 416, + "3": 13923, + "32": 416, + "4": 3944, + "40": 416, + "48": 416, + "5": 5661, + "56": 416, + "6": 272, + "64": 208, + "7": 187, + "8": 758, + "9": 32 + }, + "S": 1424, + "T": { + "1": 306, + "137": 208, + "17": 416, + "2": 306, + "25": 416, + "3": 799, + "33": 416, + "4": 3706, + "41": 416, + "49": 416, + "5": 1275, + "57": 416, + "6": 714, + "65": 416, + "7": 306, + "73": 208, + "8": 901, + "9": 10667 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036422192846378389792779110762715450733811793013921687470157795111", + "raw_crossing": "0.0036422192846378389792779110762715450733811793013921687470157795111" + }, + "before": { + "P": { + "1": 68860, + "16": 416, + "2": 14314, + "24": 416, + "3": 13923, + "32": 416, + "4": 3944, + "40": 416, + "48": 416, + "5": 5661, + "56": 416, + "6": 272, + "64": 208, + "7": 187, + "8": 758, + "9": 32 + }, + "S": 1424, + "T": { + "1": 306, + "137": 208, + "17": 416, + "2": 306, + "25": 416, + "3": 799, + "33": 416, + "4": 3689, + "41": 416, + "49": 416, + "5": 1258, + "57": 416, + "6": 714, + "65": 416, + "7": 306, + "73": 208, + "8": 901, + "9": 10684 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036412396501840733630500148990894368374654550363108833992795044821", + "raw_crossing": "0.0036412396501840733630500148990894368374654550363108833992795044821" + }, + "gate": { + "BIT_margin": "12447071536293/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16495300000000000000000", + "alpha": [ + 0.999999999999999, + 0.999999999999999 + ], + "claim": "3642219284637/1000000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.9030502653367356, + 0.9030502653367356 + ], + "derivative_upper": -381999.92887131055, + "gamma": [ + 0.9407712920958595, + 0.9407712920958595 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "3642219284637/1000000000000000": [ + "15533615733376094950252406991375096011261417004874776660634590339794243881507/12500000000000000000000000000000000000000000000000000000000000000000000000000000", + "124268925867008759602019255931000768090091336038998213285076722718353951054033/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364221928463707/100000000000000000": [ + "12426892586701104611324320885563710165789874106652360707584674639114833103393/10000000000000000000000000000000000000000000000000000000000000000000000000000000", + "62134462933505523056621604427818550828949370533261803537923373195574165517931/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2234, + "moment_margin_float": { + "364221928463707/100000000000000000": [ + 2.9840471394747454e-10, + 2.9840471394747454e-10 + ], + "7284438569275677958555822152543/2000000000000000000000000000000000": [ + 1.749086068221756e-29, + 1.749086068221756e-29 + ], + "9105548211594597448194777690679/2500000000000000000000000000000000": [ + -2.131443908581874e-29, + -2.131443908581874e-29 + ] + }, + "moment_margins": { + "364221928463707/100000000000000000": [ + "29840471394747456299987511370917473805911836464568418570074382632596351/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "29840471394747456299987511370917473805911836464568418570074382671236269/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "7284438569275677958555822152543/2000000000000000000000000000000000": [ + "874543034110878011854995361546045857280397102493319/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "874543034110878011854995361546045857280397121791111/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "9105548211594597448194777690679/2500000000000000000000000000000000": [ + "-1065721954290936966009130888066913280521294443025671/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-2131443908581873932018261776133826561042588847220497/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "7284438569275677958555822152543/2000000000000000000000000000000000", + "9105548211594597448194777690679/2500000000000000000000000000000000" + ], + "tested": "364221928463707/100000000000000000", + "written_log_power": 2235 + }, + "native_baseline_rejects_new_claim": true, + "new_native": "a32696e806c5cde0510cdf2f494e1f14ebb01e73d4ec577413fd7e7c0d9d68b2", + "old_native": "34cc0c51ca9eaaf2bf3789b8ea2c92f0837b4be9f0fedb22a6150169038e8c38", + "price": { + "baseline_rejects_new_claim": true, + "candidate_margin_at_old_upper": [ + "38015085126560937795490109843252434211640761825966011687324191627420622198046177/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "38015085126560937795490109843252434211640761825966011687324191627420622232022239/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "claim_decimal": "0.003642219284637", + "gain": "9.79634453E-7", + "gain_exact": "979634453/1000000000000000", + "independent_raw_bracket": [ + "0.00364221928463783897927791107627154", + "0.00364221928463783897927791107627155" + ], + "previous_claim": "455154956273/125000000000000", + "raw_bracket": [ + "0.0036422192846378389792779110762715", + "0.0036422192846378389792779110762716" + ] + } + }, + "status": "PASS_P104_NONUNIT_PIVOT_SPLIT" +} diff --git a/research/p104-nonunit-pivot-split/SOURCES.json b/research/p104-nonunit-pivot-split/SOURCES.json new file mode 100644 index 0000000000..c4150ae397 --- /dev/null +++ b/research/p104-nonunit-pivot-split/SOURCES.json @@ -0,0 +1,24 @@ +{ + "schema_version": 1, + "base_commit": "e54523517d0f03e58352e647c403a5af3e525a57", + "files": [ + { + "path": "docs/research/agent-task-catalog.json", + "usage": "provenance", + "git_blob": "3404fbdd5e7529a0674eef26114b5071e4586cec", + "sha256": "ead6cdc9d0af6d58e8a49744d8ec8c7c15e13d2ba93c276c434bcf9b51b93a81" + }, + { + "path": "certificates/selected-result.json", + "usage": "provenance", + "git_blob": "75d77b328ea02ded535e7f23aee5b1e55d0bb1a8", + "sha256": "154c3d30455d778fd3343b6b4851f0fa4665f0f7625b0adb3675e2bafbbf6bf1" + }, + { + "path": "docs/research/pr-intake-evidence/pr7000-application/PROOF-REVIEW.md", + "usage": "provenance", + "git_blob": "3dd1af2285e597676725e85ad4f65e7ad326d695", + "sha256": "4501502c2ceb9759b20372435fe4beb51082c5a5e2910c1fd5dbe6edca415055" + } + ] +} diff --git a/research/p104-nonunit-pivot-split/TASK.json b/research/p104-nonunit-pivot-split/TASK.json new file mode 100644 index 0000000000..f562a935db --- /dev/null +++ b/research/p104-nonunit-pivot-split/TASK.json @@ -0,0 +1,145 @@ +{ + "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": "Exact #7123 has eleven affordable rational rank-nine nominations rejected by the existing basis emitter because a nonzero pivot has a forbidden reciprocal. Extend the earlier zero-pivot unit-swap choice to a nonzero nonunit pivot; retain the operation alphabet, physical contract and complete bill.", + "concrete_question": "Can a legal unit pivot recover one rational helper split on exact #7123 and improve the complete signed application?", + "actual_scope": "Exact #7123 cut 37583/chart 1027/pivot 639, helper group 3\u2192127, rank 9\u21925+4. The declared neutral placement of role 643 leaves the source program byte-identical. Swap boundary coordinates 639/802 before normalizing; bases 426/17 add 880 ADDs and 6 SCALEs. No paid change. Fresh grid 1125/F25 is charged.", + "domain": "Correct-current-kappa screen of groups 3\u2192924, 3\u2192246, 3\u2192120, 3\u2192127; full-group screen yields eleven affordable rational nominations. Deterministic legal basis/gauge comparison selects index 10. Only that candidate is constructed and fully replayed.", + "success": "A complete arbitrary-input native and signed 17-stage application with \u03ba > .003641239650184.", + "bottleneck_link": "A nonzero nonsmooth pivot is a constructor obstruction, not a rational pairing or operation-alphabet obstruction when a cocharted unit entry is present. The additional basis work, changed grid and all application costs must pass.", + "predecessor_head": "020d581d9856b6db83e448c3f20418bc63b72c34", + "predecessors": [ + "dillona/OpenAI Codex #7123 exact 020d581d9856b6db83e448c3f20418bc63b72c34, retained complete 30-file export and all nested sources. #7112 zero-pivot smooth swap is extended here to a nonzero nonunit pivot.", + "Rohan Arun7122 global input rechart, exact98aad9eb0e7d7f985622a35c7981695fe680c68a, retained as complete9-fileexport with nested7121closure; draft native/price evidence at this frozen head.", + "1337isnot1337/OpenAI Codex fresh-helper-boundary/discover-cut.cpp alpha-expansion method used by Rohan Arun7122; later completed source6391d64 retains identical six construction/source files, recorded in PEER-STATUS.json.", + "ToikY Discussion7111 original chart120 pattern, retained through7120; it is retained through the exact predecessor chain.", + "Ali Romman: helper bases, independent split identity and paid meetings", + "Jerry Chen/CubeJerry: causal retiming, native/invoice/compiler engines", + "Matarener: complete kernels including zero boundary images and pairing decision", + "Rohan Arun: exact7113 signed17-stage caller and source-specific application", + "ToikY: #7108\u2013#7110 signed sources and splits, plus the credited chart-120 lead in Discussion #7111", + "DreamingOfClouds, Douglas Colkitt/#7000 reviewers and all retained nested-source notices", + "dillona/OpenAI Codex:7105,7107,7112,7115,7116,7117; exact7117 parent retains all earlier exports", + "dillona/OpenAI Codex7118: first funded residual mode and exact source-specific application", + "dillona/OpenAI Codex7119: exact reciprocal source and full application", + "ToikY original chart120 pattern and dillona/OpenAI Codex7120 exact-source composition, fully retained as the immediate source." + ], + "outcome": "completed", + "evidence_status": "Both complete direct CPython 3.14.7 commands and final registered isolated CPython 3.12.16 replay passed, matching every frozen native and composition receipt field. Coverage includes 17 native controls, F25 and F24 rejection, 3048 paid/helper maps and 104 main boundaries, complete costs and 54+4 outer conditions.", + "evidence": "WITNESS.json,WORD.json.gz,INPUTS.json,NATIVE-RESULT.json,RESULT.json,REPLAY.txt when complete.", + "overlap": "Canonical e545 / priority 8 / selected #7000 unchanged. Refreshed complete remote pagination: 428 open PRs at 21:45:01 UTC and 7031 Discussion records at 21:46:01 UTC. Local sparse coverage is 12 working-tree records, with 10167 canonical note paths unsearched. Read peer #7124 completed output rechart at 97dc14132da53562b7939776d7a83d72af72eeb1, \u03ba=.003641428753638; this candidate exceeds it but retains frozen #7123 and does not claim composition with #7124. Other new claims concern register-model/profile, graph, port and scalar-boundary scopes. No selected-frontier change. Final canonical fetch and live #7124 head check at 21:53 UTC found no guidance or source-head changes.", + "open_questions": [ + { + "question": "Does an independent reviewer reproduce the nonzero unit-pivot repair and full F25 application?", + "why_it_matters": "A rational pairing and legal scalar basis still require exact chart availability, full endpoint correctness and complete costs.", + "first_step": "Replay the registered Python 3.12 commands; inspect the 639/802 unit swap, source-identical neutral placement, F24 rejection and complete F25 precision/cost substitution.", + "blocked_by": "Independent human/formal review and maintainer admission remain separate." + }, + { + "question": "Can subsequent changed helper endpoints support another fully priced legal construction?", + "why_it_matters": "This result is one exact word, not a fixed-model or global optimum.", + "first_step": "Refresh canonical main and overlap, pin the emitted word, and name a changed source-specific contract before searching.", + "blocked_by": "No gain is established beyond this emitted instance." + } + ], + "stop_rule": "One new fully checked invoice; refresh before any further research round." +} diff --git a/research/p104-nonunit-pivot-split/VALIDATION.md b/research/p104-nonunit-pivot-split/VALIDATION.md new file mode 100644 index 0000000000..2c4edebc7f --- /dev/null +++ b/research/p104-nonunit-pivot-split/VALIDATION.md @@ -0,0 +1,22 @@ +# Validation record + +Both complete direct commands passed under CPython 3.14.7: + +```sh +python3 -I -B research/p104-nonunit-pivot-split/verify_native.py --out research/p104-nonunit-pivot-split/NATIVE-RESULT.json +python3 -I -B research/p104-nonunit-pivot-split/verify.py --out research/p104-nonunit-pivot-split/RESULT.json +``` + +The native command authenticates the entire 30-file #7123 export and nested source closure, reconstructs every source/candidate byte, and checks the exact cut, forward and adjoint endpoints, complete target/paid deltas, fresh grid and separate 18-stage ingredient invoice/precision. It replays all 512 columns of three boundary maps, finite native and signed physical routes, and 17 controls: 15 corruption/grid controls, one nonzero-pivot unit-basis identity control, and one explicit rejection of the original forbidden reciprocal. Missing boundary/cut corrections fail. The source-identical neutral placement and agreement of the independently derived rational/integer grid heights and masses were separately checked, then made explicit assertions for the registered replay. + +The application reconstructs both complete 17-stage invoices; replays the unchanged rational/integer Laurent caller, all 3,048 paid/helper maps and 104 main boundaries; and checks owner/phase bindings, fresh precision/error envelopes, ordinary/fixed-tape costs, both exact prices and 54 strict plus 4 functional outer conditions. The crossing-probe rejection remains active. + +The independent rational grid derivation found F25 before the complete verifier was run. Explicit one-occurrence source adapters change the forward integer scale from 2^24 to 2^25 and the measured trailing-bit offset from 25 to 26. Both precision paths explicitly request `frac=25` from the unchanged authenticated grid engine. The insufficient-grid control rejects F24. This is a charged precision change; no divisibility check is disabled and no frozen source is edited. + +Final registered isolated CPython 3.12.16 replay passed both complete commands and compared 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 runner line. All 18 frozen code, source, witness, manifest and scientific receipt hashes stayed unchanged after this comparison. No hosted scientific pass is claimed. The existing canonical guide6030/selected7000 onboarding mismatch remains outside this package-only change. + +Discovery records eleven affordable rational nominations in group 3→127. All eleven obtain legal bases under the recorded unit-pivot/gauge trials; only the shortest selected candidate, index 10, is constructed. Complete kernels and a finite basis list do not establish a rational cost optimum. The public witness is replayable without local search code. Two preliminary negative group screens used an inherited older floating nomination κ; both were preserved and rerun at the actual current κ, with identical counts and zero hits. The chosen group and all exact certificate/price checks use the current source. No global barrier is claimed. + +Overlap was refreshed from canonical main and all remote pages; #7124's separate output rechart was read and left uncombined. The sparse local overlap report explicitly leaves 10,167 canonical package-note paths unsearched. Frozen sources and prior local evidence are retained. + +Five framework assumptions, independent human/formal review, maintainer admission and compiled top-level execution remain. No Lean or Docker was run. diff --git a/research/p104-nonunit-pivot-split/VERIFY.json b/research/p104-nonunit-pivot-split/VERIFY.json new file mode 100644 index 0000000000..149c761811 --- /dev/null +++ b/research/p104-nonunit-pivot-split/VERIFY.json @@ -0,0 +1,29 @@ +{ + "schema_version": 1, + "status": "ready", + "python": "3.12", + "requirements": [], + "inputs": [], + "commands": [ + { + "argv": [ + "{python}", + "-I", + "-B", + "{package}/verify_native.py" + ], + "timeout_seconds": 600, + "checks": "Authenticate complete 30-file #7123 export and nested closure; reconstruct every source/candidate byte; arbitrary-input forward/adjoint, exact cut and unit basis, complete paid/target invoice, freshly derived F25 grid with F24 rejection, separate 18-stage ingredient/precision, affected 512-column maps, corruption/unit controls and finite native/signed physical replay; compare every receipt field." + }, + { + "argv": [ + "{python}", + "-I", + "-B", + "{package}/verify.py" + ], + "timeout_seconds": 600, + "checks": "Reconstruct #7123 and candidate 17-stage invoices; unchanged literal caller, all 3048 paid/helper maps and 104 main boundaries, fresh F25 grid/envelopes, ordinary/physical/fixed-tape costs, two prices and 54+4 outer gates; compare every receipt field." + } + ] +} diff --git a/research/p104-nonunit-pivot-split/WITNESS.json b/research/p104-nonunit-pivot-split/WITNESS.json new file mode 100644 index 0000000000..7749c4a365 --- /dev/null +++ b/research/p104-nonunit-pivot-split/WITNESS.json @@ -0,0 +1,483 @@ +{ + "frame": 1027, + "pivot": 639, + "cut": 37583, + "ranks": [ + 5, + 4 + ], + "gain": 0.02236181478033039, + "paths": [ + { + "role": 643, + "lo": 37583, + "hi": 37584, + "frame": 1027, + "old": 3, + "new": 1027, + "moves": [ + 37583 + ], + "old_paid": [ + 5 + ], + "new_paid": [ + 5, + 0 + ], + "cost": 0.0, + "private": false, + "neutral": true + } + ], + "a": { + "643": "1", + "640": "1/2", + "641": "1/3", + "1298": "2/3", + "639": "1/6", + "1300": "-17/6", + "1383": "-14/3" + }, + "b": { + "643": "1/4", + "641": "1/8", + "1298": "-1/16", + "642": "-1/8", + "1300": "-1/4", + "639": "-3/8", + "640": "-3/8", + "645": "-3/8", + "1383": "-1/16", + "644": "-1/4", + "646": "-1/8" + }, + "c": { + "1307": "-2", + "1234": "-7", + "1175": "16/3", + "1172": "-2/3", + "1144": "4", + "1136": "8/3", + "1132": "2/3", + "1129": "-4", + "1116": "-5/3", + "1113": "28/3", + "1111": "-4/3", + "1110": "8/3", + "1095": "8/3", + "1091": "-7/6", + "1081": "-6", + "1077": "-20/3", + "1032": "-32/3", + "1030": "106/3", + "1016": "-1/3", + "1013": "-50/3", + "1011": "-4", + "671": "16/3", + "553": "-1/12", + "550": "-4/3", + "545": "7/3", + "1284": "7/6", + "1215": "1/6", + "1207": "-2/3", + "1174": "-4/3", + "1127": "-1/3", + "1097": "13/3", + "1080": "-2/3", + "1075": "-11/6", + "1058": "-4/3", + "1053": "-22/3", + "1037": "-44/3", + "1006": "-1/3", + "1004": "-1/3", + "999": "1/3", + "802": "1/32", + "542": "1/3", + "541": "-1/3", + "537": "2/3", + "517": "2/3", + "497": "7/24", + "372": "7/96", + "716": "3/2", + "546": "2/3", + "292": "-1/4", + "1120": "1/6", + "1329": "-1/3", + "1317": "1/3", + "1298": "-1/3", + "1216": "2/3", + "1070": "5/3", + "812": "-5/12", + "665": "32/3", + "639": "8/3", + "440": "5/6", + "392": "-4/3", + "286": "-1/2", + "1008": "-4", + "1139": "1/2", + "711": "1/6", + "496": "-1/2", + "1134": "-2/3", + "1055": "-5/3", + "1017": "-5/3", + "1331": "-1/3", + "1272": "1/12", + "1235": "1/3", + "1001": "1/12", + "688": "-1/6", + "709": "1/6", + "380": "-2/3", + "270": "-2/3" + }, + "d": { + "1139": "-839/16", + "1328": "-2271155/1024", + "1289": "33847/64", + "1260": "655371/4096", + "1259": "795929/512", + "1258": "-801041/512", + "1256": "-269119/512", + "1245": "-295309/256", + "1235": "-849431/2048", + "1233": "680447/1024", + "1228": "919517/1024", + "1227": "-801233/1024", + "1224": "35067/64", + "1212": "573853/256", + "1187": "265859/256", + "1186": "-1338551/256", + "1183": "33283/32", + "1182": "43829/64", + "1178": "-614855/1024", + "1175": "-788793/1024", + "1174": "-787449/512", + "1172": "-789333/256", + "1171": "-778293/512", + "1170": "-783283/1024", + "1166": "-34343/128", + "1159": "-33199/64", + "1148": "-2481139/4096", + "1137": "-389943/2048", + "1125": "-743465/512", + "1121": "-926357/512", + "1112": "808053/512", + "1105": "-395835/1024", + "1089": "707835/2048", + "1080": "-33283/64", + "1078": "-65759/128", + "1064": "524673/2048", + "1062": "127083/256", + "1049": "-784043/1024", + "1033": "-295309/512", + "1024": "-382831/512", + "1020": "918485/512", + "996": "410891/2048", + "810": "-295309/512", + "791": "42361/128", + "775": "1055095/2048", + "648": "301033/256", + "640": "387087/2048", + "619": "577207/4096", + "572": "35513/64", + "570": "33199/128", + "569": "1187267/1024", + "565": "-795929/512", + "564": "801041/512", + "563": "269119/512", + "560": "-795681/1024", + "534": "-2663225/512", + "527": "-295309/512", + "524": "795681/1024", + "487": "-74899/512", + "468": "35561/64", + "392": "36551/128", + "301": "-385405/256", + "344": "1128877/4096", + "281": "2045787/8192", + "265": "161051/512", + "3": "389943/2048", + "1229": "224529/64", + "806": "-202817/4096", + "1340": "-169503/2048", + "711": "169503/1024", + "551": "-169887/1024", + "1002": "179727/1024", + "1193": "-169503/2048", + "1232": "169503/2048", + "1010": "193307/4096", + "377": "-169503/1024", + "1293": "-90801/1024", + "830": "26057/1024", + "1026": "-25231/256", + "1300": "-5/16", + "574": "-17/32", + "1206": "-17/32", + "571": "-17/16", + "1173": "17/128", + "414": "-5/32", + "517": "-169/16", + "1145": "-74109/256", + "1122": "5807/32", + "1128": "5675/32", + "356": "-69903/256", + "1075": "3981/4", + "316": "-30621/64", + "1153": "369/16", + "1022": "45111/256", + "1041": "31011/32", + "1042": "579/64", + "1043": "471/32", + "1044": "-495/32", + "1046": "-27525/128", + "1047": "135655/512", + "1055": "92565/64", + "1057": "-753/1024", + "1058": "-111/32", + "1059": "-219/32", + "1068": "-84991/512", + "1073": "1479/64", + "1074": "1137/256", + "1090": "24519/256", + "1106": "415/128", + "1109": "6267/128", + "1111": "-1839/64", + "1118": "-1459/128", + "1126": "-16019/64", + "1127": "-48681/128", + "1134": "117/64", + "1136": "201/32", + "1138": "-579/32", + "1141": "81/32", + "1144": "-23121/128", + "1157": "-345/8", + "1160": "-1503/64", + "1162": "-16185/64", + "1164": "-463305/256", + "1169": "30015/128", + "1188": "2019/512", + "1191": "34323/1024", + "1198": "1527/64", + "1200": "-61107/64", + "1201": "2019/128", + "1202": "7647/16", + "1204": "2019/128", + "1205": "-32263/128", + "1207": "-84991/256", + "1210": "16269/128", + "1215": "805/16", + "1216": "5879/512", + "1221": "-1137/256", + "1240": "-30945/128", + "1244": "-12999/128", + "1262": "405/32", + "1272": "-135/32", + "1273": "-849/128", + "1274": "357/16", + "1281": "15297/32", + "1283": "-337159/256", + "1284": "15943/128", + "1294": "1479/16", + "1295": "-16269/64", + "1302": "7731/16", + "1306": "465/512", + "1307": "-23841/64", + "1309": "31127/128", + "1318": "-1629/128", + "1319": "110697/256", + "1329": "-1233/32", + "1334": "7731/32", + "1341": "15765/64", + "1001": "-87/32", + "1003": "-135/64", + "1004": "11847/256", + "1006": "123/4", + "1011": "-6", + "1013": "-30945/256", + "997": "45/32", + "995": "28503/128", + "992": "-45945/256", + "924": "-15429/64", + "913": "-93717/512", + "901": "1479/1024", + "1132": "-495/16", + "757": "-1479/32", + "752": "135341/256", + "733": "1479/512", + "732": "63/16", + "726": "2151/128", + "704": "-15561/32", + "697": "-2103/128", + "695": "-7851/8", + "691": "-91605/128", + "689": "139347/256", + "679": "13095/256", + "672": "-124065/256", + "671": "15429/16", + "586": "-2103/256", + "554": "-2103/256", + "280": "1959/256", + "332": "2103/128", + "333": "-2103/64", + "249": "-2103/64", + "252": "-92487/256", + "126": "-63483/256", + "268": "147/128", + "643": "-1479/128", + "639": "-7867/16", + "635": "-16269/128", + "582": "-16109/32", + "581": "-16109/32", + "573": "143683/1024", + "568": "-13095/512", + "562": "12999/256", + "553": "-15429/64", + "548": "369/512", + "546": "-23355/16", + "545": "-47499/128", + "540": "-1137/1024", + "537": "1137/512", + "536": "-1137/512", + "535": "111/64", + "531": "-135/64", + "526": "-12555/256", + "523": "789/32", + "516": "1125/64", + "1463": "7467/64", + "1243": "7467/32", + "1050": "-15525/16", + "507": "-63579/64", + "504": "111/128", + "502": "-369/64", + "501": "74109/128", + "498": "-1287/128", + "497": "-15943/32", + "490": "-281211/128", + "474": "1479/128", + "470": "15159/16", + "467": "205563/128", + "466": "-60771/32", + "464": "-64767/64", + "451": "-7467/32", + "439": "-69/32", + "376": "-639/64", + "372": "-15693/8", + "365": "-57649/1024", + "359": "-183/128", + "352": "-30945/128", + "343": "1371/64", + "340": "-5631/8", + "338": "87/64", + "328": "-21/4", + "312": "27831/128", + "303": "-64967/1024", + "295": "-939/32", + "290": "-141/8", + "286": "855/32", + "279": "87/64", + "276": "87/32", + "264": "345/8", + "262": "-21", + "248": "1041/64", + "173": "2283/256", + "21": "-31269/32", + "228": "-45/4", + "1031": "45/16", + "1070": "519/32", + "1079": "-45/4", + "1081": "45/4", + "1100": "225/8", + "1176": "-585/64", + "1177": "765/64", + "1180": "-45/16", + "1181": "405/64", + "1184": "51/32", + "1195": "-45/2", + "1298": "-95/4", + "1317": "87/4", + "1019": "-45/2", + "583": "-81/8", + "580": "6", + "578": "159/8", + "521": "-21", + "458": "-135/32", + "457": "405/128", + "456": "-45/2", + "447": "-45/4", + "446": "45/4", + "443": "45/8", + "442": "-45/2", + "441": "45/2", + "438": "45/2", + "437": "45/2", + "434": "45/8", + "431": "45/4", + "429": "45/4", + "428": "45/4", + "427": "-225/32", + "426": "585/32", + "420": "45/2", + "418": "45/4", + "417": "-855/64", + "416": "-135/64", + "415": "-21/2", + "398": "93/16", + "396": "93/16", + "380": "45/8", + "367": "-42", + "263": "-21", + "254": "855/32", + "188": "-21/2", + "1077": "-33/4", + "1234": "-21/2", + "1065": "-21/2", + "1016": "-87/4", + "529": "-21/4", + "500": "-45/16", + "488": "45/16", + "205": "-303/8", + "513": "-3/16", + "1161": "-9/2", + "1129": "21/16", + "1110": "-21/2", + "1097": "21/4", + "1096": "21/4", + "1037": "-3/2", + "1032": "3/4", + "655": "21/4", + "1277": "3/8", + "1158": "-3/8", + "1154": "3/8", + "1152": "-3/4", + "1120": "-3/2", + "716": "-3/4", + "608": "3/4", + "552": "-3/8", + "518": "3/16", + "506": "-3/8", + "479": "3/8", + "478": "3/4", + "465": "3/8", + "379": "-3/2", + "370": "-3/4", + "358": "-3/8", + "354": "3/8", + "342": "3/8", + "296": "3/16", + "294": "3/4", + "292": "3/2", + "283": "3/2", + "274": "3/4", + "512": "1/32", + "476": "-1/32", + "709": "-7/4", + "681": "5/32", + "665": "1/32", + "511": "-5/32", + "1142": "7/16", + "802": "3", + "496": "3/16", + "287": "3/8" + }, + "paid_delta": {} +} diff --git a/research/p104-nonunit-pivot-split/WORD.json.gz b/research/p104-nonunit-pivot-split/WORD.json.gz new file mode 100644 index 0000000000..4f76c68480 Binary files /dev/null and b/research/p104-nonunit-pivot-split/WORD.json.gz differ diff --git a/research/p104-nonunit-pivot-split/adapt.py b/research/p104-nonunit-pivot-split/adapt.py new file mode 100644 index 0000000000..cab6ca8a0d --- /dev/null +++ b/research/p104-nonunit-pivot-split/adapt.py @@ -0,0 +1,38 @@ +"""Counted adapters invalidate same-native reuse in Rohan Arun's #7113 checks. +All edits apply only to temporary copies of authenticated source. Apache-2.0. +Prepared for dillona with substantial OpenAI Codex assistance. +""" +from hashlib import sha256 + +def adapt(folder): + changes=[] + def patch(name,old,new): + path=folder/name;raw=path.read_text() + if raw.count(old)!=1:raise ValueError('Exact one-occurrence adapter: '+name+' '+old) + path.write_text(raw.replace(old,new));changes.append(dict(file=name,old=old,new=new)) + patch('emit_odd_type_ab.py', + 'invoice=next(x for x in json.loads((root/"SHORT-CALLER-RAW-PRICE.json").read_text())["rows"] if tuple(x["shape"])==shape)', + 'invoice=json.loads((root/"COHORT-PRICE.json").read_text())') + patch('check_odd_partial_admission.py', + 'previous=json.loads((root/"SHORT-ADMISSION-PARTIAL.json").read_text())\nassert previous["native_sha256"]==digest and not N["bad_inputs"]', + 'actual_native=ind.native(w)\nassert actual_native==N and not N["bad_inputs"], "Fresh complete native inventory and arbitrary-input adjoint"') + patch('check_odd_partial_admission.py','claim=Q(".00363797977")','claim=Q(".003642219284637")') + # ToikY's frozen exact_price() already shrinks this probe below the + # certified crossing. Recompute that rule in the caller's separate gate. + patch('check_odd_partial_admission.py', + 'tested=claim+Q(7,10**17)', + 'tested=claim+Q(7,10**17)\nwhile tested>=Q(reference["raw_bracket"][0]):\n tested=claim+(tested-claim)/10') + patch('check_odd_partial_admission.py', + 'g=gate(invoice,claim,tested,*bracket,r["gate"]["BIT_pin"])', + 'g=gate(invoice,claim,tested,*bracket,r["gate"]["BIT_pin"])\ntry:\n gate(invoice,claim,Q(bracket[0]),*bracket,r["gate"]["BIT_pin"])\nexcept AssertionError:\n crossing_probe_rejected=True\nelse:\n raise AssertionError("Probe at lower crossing unexpectedly accepted")') + patch('check_odd_partial_admission.py', + '"scope":"Reuse exact same native word all-column adjoint;', + '"crossing_probe_rejected":crossing_probe_rejected,"scope":"Reuse exact same native word all-column adjoint;') + patch('check_odd_precision.py','previous=json.loads((root/"SHORT-PRECISION.json").read_text())','') + patch('check_odd_precision.py', + 'assert previous["native_sha256"]==sha and grid_receipt["caller_sha256"]==sha256(cpath.read_bytes()).hexdigest()', + 'assert grid_receipt["caller_sha256"]==sha256(cpath.read_bytes()).hexdigest()') + patch('check_odd_precision.py', + 'wg=previous["native_grid"]\nwr=previous["rounded_native"]\nwp={key:(Q(v["exact"]),v["witness"]) for key,v in wr["bounds"].items()}', + 'wg=grid.word_run(w, frac=25)\nwp,wr=env.native_envelope(w)\nwg=json.loads(json.dumps(wg,default=str));wr=json.loads(json.dumps(wr,default=str))\nassert wg==r["precision"]["word"] and wr==r["precision"]["rounded_native"], "Fresh changed-native grid and envelope"') + return dict(edits=changes,adapted_sha256={x['file']:sha256((folder/x['file']).read_bytes()).hexdigest() for x in changes}) diff --git a/research/p104-nonunit-pivot-split/construct.py b/research/p104-nonunit-pivot-split/construct.py new file mode 100644 index 0000000000..748bfe2be2 --- /dev/null +++ b/research/p104-nonunit-pivot-split/construct.py @@ -0,0 +1,46 @@ +"""Checked simultaneous contact-free retiming, then attributed helper split. +Prepared for dillona with substantial OpenAI Codex assistance. Apache-2.0. +Extends #7105/#7107 retiming to an arbitrary finite cohort with an +exact declared total paid-histogram change; retains Ali Romman and CubeJerry split. +The complete signed invoice, not path cardinality, decides acceptance. +""" +from copy import deepcopy +from collections import Counter +from split import split +from support import L + +def prepare(word,hit): + paths=hit['paths'];L.need(1<=len(paths),'A nonempty finite retiming cohort') + L.need(len({p['role']for p in paths})==len(paths),'Distinct retimed roles') + f,cut=hit['frame'],hit['cut'];spaces=[L.span(x)for x in word['frames']];remove=set();paid_change=Counter() + for p in paths: + r,a,b=p['role'],p['old'],p['new'] + L.need(p['frame']==f and p['lo']<=cut<=p['hi'],'Cut in declared interval') + actual=[i for i in range(p['lo'],p['hi'])if word['program'][i][1]==r] + L.need(actual==p['moves'],'Every role event in interval is a relocated MOVE') + L.need(all(not(e[0]in('ADD','COPY')and e[2]==r)for e in word['program'][p['lo']:p['hi']]),'No intervening source read') + path=[word['program'][i]for i in actual] + L.need(path and all(e[0]=='MOVE'and e[1]==r and e[4]==p['private']for e in path),'Only MOVE events') + L.need(path[0][2]==a and path[-1][3]==b and all(x[3]==y[2]for x,y in zip(path,path[1:])),'Complete path') + L.need(spaces[a]<=spaces[f]<=spaces[b]or spaces[b]<=spaces[f]<=spaces[a],'Nested intermediate frame') + old_paid=Counter(abs(len(word['frames'][e[2]])-len(word['frames'][e[3]])) for e in path if spaces[e[2]]!=spaces[e[3]]) + new_paid=Counter(abs(len(word['frames'][x])-len(word['frames'][y])) for x,y in ((a,f),(f,b)) if spaces[x]!=spaces[y]) + L.need(old_paid==Counter(p['old_paid']) and new_paid==Counter(d for d in p['new_paid'] if d), 'Exact old and new path histogram declarations') + paid_change.update(new_paid);paid_change.subtract(old_paid) + L.need(not(remove&set(actual)),'Distinct removed events');remove.update(actual) + L.need({r:c for r,c in paid_change.items() if c}=={int(r):c for r,c in hit['paid_delta'].items()}, 'Entire declared retiming paid delta') + program=[];split_cut=None + for i in range(len(word['program'])+1): + if i==cut: + for p in paths: + if p['old']!=f:program.append(['MOVE',p['role'],p['old'],f,p['private']]) + split_cut=len(program)-1 + for p in paths: + if f!=p['new']:program.append(['MOVE',p['role'],f,p['new'],p['private']]) + if ipeak:peak=mass;witness=[i,kind] + for i,e in enumerate(word['program']): + op,r=e[:2] + if op in('INIT','CLEAR'):rows[r]={} + elif op=='SCALE': + rows[r]={k:Q(e[2])*v for k,v in rows[r].items()};observe(rows[r],i,'scale') + elif op in('ADD','COPY'): + if op=='COPY':assert not rows[r] + product={k:Q(e[3])*v for k,v in rows[e[2]].items()};observe(product,i,'product') + row=rows[r].copy() + for k,v in product.items(): + value=row.get(k,Q(0))+v + if value:row[k]=value + else:row.pop(k,None) + rows[r]=row;observe(row,i,'stored') + odd=denom;frac=0 + while odd%2==0:odd//=2;frac+=1 + return dict(odd_scale=odd,fractional_bits=frac,unscaled_maximum_mass=str(peak),scaled_maximum_mass=str(peak*odd),mass_witness=witness,coefficient_visits=visits),rows +if __name__=='__main__': + w=json.load(gzip.open(sys.argv[1],'rt'));result,rows=derive(w) + Path(sys.argv[2]).write_text(json.dumps(result,indent=2)+'\n');print(result) diff --git a/research/p104-nonunit-pivot-split/inputs/pr7123.tar b/research/p104-nonunit-pivot-split/inputs/pr7123.tar new file mode 100644 index 0000000000..567021ee83 Binary files /dev/null and b/research/p104-nonunit-pivot-split/inputs/pr7123.tar differ diff --git a/research/p104-nonunit-pivot-split/price.py b/research/p104-nonunit-pivot-split/price.py new file mode 100644 index 0000000000..81642d971d --- /dev/null +++ b/research/p104-nonunit-pivot-split/price.py @@ -0,0 +1,53 @@ +"""Recompute both source invoices and two exact crossing engines. +Retains Rohan Arun's caller adapters and ToikY's attributed price engines. +Prepared for dillona with substantial OpenAI Codex assistance. Apache-2.0. +""" +from pathlib import Path +from hashlib import sha256 +from fractions import Fraction as Q +import gzip,importlib.util,json,sys + +def load(name,path): + spec=importlib.util.spec_from_file_location(name,path);obj=importlib.util.module_from_spec(spec);sys.modules[name]=obj;spec.loader.exec_module(obj);return obj + +def read(path): + raw=Path(path).read_bytes();return json.loads(gzip.decompress(raw) if raw[:2]==b'\x1f\x8b' else raw) + +def normalized(value):return json.loads(json.dumps(value,default=str)) + +def main(native,caller,previous_composition,folder): + source=load('composition_native_source',native/'source.py') + with source.sources() as (vendor,archive,rank9,bundle,parent,word): + sys.path.insert(0,str(folder)) + model=load('composition_signed_model',folder/'signed_model.py');ind=model.signed_model() + code=(folder/'independent.py').read_text();part=code[code.index('def invoices('):code.index('def ordinary(')] + assert part.count('assert calls==18')==1 + part=part.replace('assert calls==18',"assert calls==C['stages']") + old="elif e[1]=='IDLE_ONE':P[8*len(e[3])]+=ports";assert part.count(old)==1 + part=part.replace(old,"elif e[1] in ('IDLE_ONE','IDLE_ODD'):P[8*len(e[3])+(e[1]=='IDLE_ODD')]+=ports") + exec(compile(part,str(folder/'independent.py'),'exec'),ind.__dict__) + C=read(caller/'expected/ODD-TYPE-AB-CALLER.json') + old_word=word;new_word=read(native/'WORD.json.gz') + old_result=read(parent/'NATIVE-RESULT.json');new_result=read(native/'NATIVE-RESULT.json') + inventories=[ind.native(w) for w in (old_word,new_word)] + for n,r,w in zip(inventories,(old_result,new_result),(old_word,new_word)): + assert normalized(n)==r['native'] and not n['bad_inputs'] + assert sha256(json.dumps(w,sort_keys=True,separators=(',',':')).encode()).hexdigest()==r['word_canonical_sha256'] + before,after=[ind.invoices(w,C,n) for w,n in zip((old_word,new_word),inventories)] + previous=read(previous_composition/'RESULT.json')['price'] + assert normalized(before)==previous['after'],'Entire reconstructed current #7123 invoice' + G=load('composition_price_engine',bundle/'gate.py') + gate,price=G.exact_price(vendor,archive,before,after,{'gate':previous['gate']}) + assert Q(gate['claim'])>Q(new_result['gate']['claim']) + native_invoice={k:({int(r):v for r,v in value.items()} if k in ('T','P') else value) for k,value in new_result['invoice'].items()} + directed=G.module('composition_native_comparator',vendor/'interval_gate.py') + assert directed.moment(G.signed(native_invoice),Q(gate['claim']))[1]<0,'The separately checked18-stage ingredient invoice rejects the17-stage claim' + record=normalized(dict(before=before,after=after,gate=gate,price=price,native_baseline_rejects_new_claim=True, + old_native=old_result['word_canonical_sha256'],new_native=new_result['word_canonical_sha256'])) + with (folder/'CURRENT-PRICE.json').open('x') as f:json.dump(record,f,indent=2) + with (folder/'COHORT-PRICE.json').open('x') as f:json.dump(dict(target=after['T'],paid=after['P'],bracket=gate['raw_bracket']),f,indent=2) + print('PASS two reconstructed invoices and both exact price engines',price['claim_decimal'],flush=True) + +if __name__=='__main__': + assert __debug__ + main(*map(Path,sys.argv[1:])) diff --git a/research/p104-nonunit-pivot-split/source.py b/research/p104-nonunit-pivot-split/source.py new file mode 100644 index 0000000000..305d945f28 --- /dev/null +++ b/research/p104-nonunit-pivot-split/source.py @@ -0,0 +1,57 @@ +"""Authenticate #7123'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 #7123 export') + old_path=list(sys.path) + with tempfile.TemporaryDirectory(prefix='p104-nonunit_pivot-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('nonunit_pivot_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('nonunit_pivot_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','rechart','retime')} + try: + load('support',parent/'support.py');load('split',parent/'split.py') + load('rechart',parent/'rechart.py');load('retime',parent/'retime.py') + emitter=load('nonunit_pivot_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 #7123 native byte') + need(sha256(canonical(word)).hexdigest()=='34cc0c51ca9eaaf2bf3789b8ea2c92f0837b4be9f0fedb22a6150169038e8c38','Exact current native') + yield vendor,archive,rank9,bundle,parent,word diff --git a/research/p104-nonunit-pivot-split/split.py b/research/p104-nonunit-pivot-split/split.py new file mode 100644 index 0000000000..f1c7609653 --- /dev/null +++ b/research/p104-nonunit-pivot-split/split.py @@ -0,0 +1,155 @@ +"""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. +Successors: dillona/OpenAI Codex choose a small smooth swap entry when pivot is zero; +then also when a nonzero pivot has a nonunit reciprocal, preserving the native alphabet. +""" +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) and not swap_score(pivot)[0] 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-nonunit-pivot-split/support.py b/research/p104-nonunit-pivot-split/support.py new file mode 100644 index 0000000000..192cd38d27 --- /dev/null +++ b/research/p104-nonunit-pivot-split/support.py @@ -0,0 +1,18 @@ +"""Small exact sparse operations, retained from Ali Romman/CubeJerry. Apache-2.0.""" +class L: + @staticmethod + def need(ok, why): + if not ok: raise ValueError(why) + @staticmethod + def add(dst, src, q): + for k,v in tuple(src.items()): + value=dst.get(k,0)+q*v + if value: dst[k]=value + else: dst.pop(k,None) + @staticmethod + def span(basis): + out={0} + for v in basis: + L.need(type(v) is int and 00,'Complete conservative ordinary bill') + gate,price=G.exact_price(vendor,archive,before,invoice,previous) + manifest=read(vendor/'INDEPENDENT-SOURCES.json') + P=load('static_bit_binding',archive/'verify.py');P.bit_binding(I,manifest) + precision=base.precision(vendor,word,caller,gate,manifest) + need(precision['word']['odd_scale_lcm']==1125 and precision['word']['dyadic_height']==25,'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,25)) + controls['insufficient_fractional_grid']=rejected(lambda:grid_engine.word_run(word,1125,24)) + bad=deepcopy(hit);bad['a']['643']='2' + controls['wrong_prefix']=rejected(lambda:construct(source,bad)) + bad=deepcopy(hit);bad['b']['643']='1/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'],3) + Jbasis=basis(*[{int(k):Q(v)for k,v in hit[s].items()}for s in('a','b')],hit['pivot'],1027) + need((len(Gbasis),len(Jbasis))==(426,17),'Boundary and cut basis lengths') + prepared,spec=prepare(source,hit) + need(prepared==source and spec['cut_after']==37583,'Neutral placement leaves every source byte and cut unchanged') + split_after=spec['cut_after'] + for name,index in [('missing_cut_correction',len(Gbasis)+split_after+1), + ('missing_successor_correction',len(Gbasis)+len(Jbasis)+split_after+1)]: + bad=deepcopy(word);bad['program'].pop(index) + controls[name]=bool(I.native(bad)['bad_inputs']) + bad=deepcopy(hit);bad['c']['639']='3' + controls['wrong_boundary_functional']=rejected(lambda:construct(source,bad)) + bad=deepcopy(hit);bad['d']['639']='-7867/8' + controls['wrong_boundary_direction']=rejected(lambda:construct(source,bad)) + for name,index in [('missing_initial_basis',0),('missing_final_basis',len(word['program'])-1)]: + bad=deepcopy(word);bad['program'].pop(index) + controls[name]=bool(I.native(bad)['bad_inputs']) + bad=deepcopy(word);bad['initial'][-1]=3 + controls['wrong_successor_frame']=rejected(lambda:I.native(bad)) + bad=deepcopy(hit);bad['ranks']=[4,5] + controls['wrong_target_ranks']=rejected(lambda:construct(source,bad)) + bad=deepcopy(hit);bad['paths'][0]['hi']=bad['paths'][0]['moves'][0] + controls['incomplete_retiming_interval']=rejected(lambda:prepare(source,bad)) + bad=deepcopy(hit);bad['paid_delta']={'1':1} + controls['wrong_paid_declaration']=rejected(lambda:prepare(source,bad)) + # A nonzero pivot can still be a forbidden reciprocal. The new + # unit choice must implement the same row/column basis over Q. + from split import inverse + from support import L + toy_a,toy_b={1:Q(1)},{0:Q(7),1:Q(1)} + toy=basis(toy_a,toy_b,0,3) + def unit(q): + for x in (abs(q.numerator),q.denominator): + if not x:return False + for prime in (2,3,5): + while x%prime==0:x//=prime + if x!=1:return False + return True + rows={r:{r:Q(1)} for r in (0,1)} + for e in toy: + if e[0]=='SCALE':rows[e[1]]={k:Q(e[-2])*v for k,v in rows[e[1]].items()} + else:L.add(rows[e[1]],rows[e[2]],Q(e[-2])) + controls['nonzero_nonunit_pivot_repaired']=(rows[0]==toy_a and + all(sum(v*toy_b.get(k,0) for k,v in row.items())==int(r==0) for r,row in rows.items()) and + all(unit(Q(e[-2])) for e in toy+inverse(toy) if e[0]=='SCALE')) + controls['old_nonunit_reciprocal_rejected']=(not unit(1/Q(hit['d']['639'])) and + Gbasis[:4]==[['ADD',639,802,'1',3],['ADD',802,639,'-1',3],['ADD',639,802,'1',3],['SCALE',802,'-1',3]]) + 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_NONUNIT_PIVOT_NATIVE',source_head='020d581d9856b6db83e448c3f20418bc63b72c34', + 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()