From 1bf71971e424c37b24c11e6b4d6e1fd6565f2ac7 Mon Sep 17 00:00:00 2001 From: steph4n-gh <284007938+steph4n-gh@users.noreply.github.com> Date: Tue, 13 Oct 2026 13:16:06 -0400 Subject: [PATCH 1/2] Independent verification: T37 positive-binomial moments, all-T lemma, and 1024-bit reduction (seed 78) --- .../CERTIFICATE.json | 222 +++++ .../CLAIM.json | 55 ++ .../README.md | 80 ++ .../SOURCES.json | 40 + .../VALIDATION.json | 57 ++ .../inputs/ASSEMBLY.json | 344 +++++++ .../inputs/CLAIM.json | 22 + .../inputs/EDITS.json | 157 ++++ .../inputs/PR589-EXPECTED.json | 222 +++++ .../inputs/selected-result.json | 177 ++++ .../test_package.py | 168 ++++ .../verify.py | 848 ++++++++++++++++++ 12 files changed, 2392 insertions(+) create mode 100644 research/t37-binomial-endpoint-audit-seed78/CERTIFICATE.json create mode 100644 research/t37-binomial-endpoint-audit-seed78/CLAIM.json create mode 100644 research/t37-binomial-endpoint-audit-seed78/README.md create mode 100644 research/t37-binomial-endpoint-audit-seed78/SOURCES.json create mode 100644 research/t37-binomial-endpoint-audit-seed78/VALIDATION.json create mode 100644 research/t37-binomial-endpoint-audit-seed78/inputs/ASSEMBLY.json create mode 100644 research/t37-binomial-endpoint-audit-seed78/inputs/CLAIM.json create mode 100644 research/t37-binomial-endpoint-audit-seed78/inputs/EDITS.json create mode 100644 research/t37-binomial-endpoint-audit-seed78/inputs/PR589-EXPECTED.json create mode 100644 research/t37-binomial-endpoint-audit-seed78/inputs/selected-result.json create mode 100644 research/t37-binomial-endpoint-audit-seed78/test_package.py create mode 100644 research/t37-binomial-endpoint-audit-seed78/verify.py diff --git a/research/t37-binomial-endpoint-audit-seed78/CERTIFICATE.json b/research/t37-binomial-endpoint-audit-seed78/CERTIFICATE.json new file mode 100644 index 0000000000..b65bfc34da --- /dev/null +++ b/research/t37-binomial-endpoint-audit-seed78/CERTIFICATE.json @@ -0,0 +1,222 @@ +{ + "all_t_supporting_lemma_binomial": { + "certified_exponent": "1664727258740678855773/1000000000000000000000000", + "credit_per_replica": 150, + "dual_bin_vectors": 1163, + "equality_ratio": "6/37", + "mass_per_replica": 14382, + "minimum_strict_margin_interval": [ + "595251138690295459954095412968124864075333478608180372230668385479068449/2042916918650006881080687735233999533925528255762434420328107170244591616", + "595251138690295459954095412968124864075333478608420974336491494378566609/2042916918650006881080687735233999533925528255762434420328107170244591616" + ], + "minimum_strict_margin_rank": 2, + "multiplier_interval": [ + "34293538513857524176002565657377815154376721830613572565541633671138229/102145845932500344054034386761699976696276412788121721016405358512229580800", + "4286692314232190522000320707172226894297090228827299697783306424883369/12768230741562543006754298345212497087034551598515215127050669814028697600" + ], + "realized_remainders": 45, + "remainder_trade_bridge": { + "t16_dual_tight": true, + "t21_dual_tight": true, + "trade_moment_reduction_decimal": "1.008788191942442874856013035077546796038937068752235014386435086450637E-8", + "trade_moment_reduction_interval": [ + "228000199681199502566919928059551892869968568102477746458978515158355965/22601394574432946527432448298463366107680161049863517672678266744138309446926336", + "798000698884198258984219748208431625044889988359638849030786692166393171/79104881010515312846013569044621781376880563674522311854373933604484083064242176" + ], + "traded_rank_credits": { + "2": 650, + "3": 375, + "44": -100, + "sum": 925 + }, + "traded_ranks": [ + 2, + 3, + 44 + ] + }, + "signed_price_per_replica": -3892, + "strict_rank_inequalities_certified": 42 + }, + "assignment_seed": 78, + "audited_pr": 942, + "audited_source_head": "1960cfa919a0945d0ca4cb14ea96237000037903", + "base_commit": "2921874911956718fcaaaf9396fe8267b3cfa9f0", + "bit_supplier_accounting": { + "arity": 64, + "child_count": 904896, + "derived_deficit": 10272, + "git_blob_sha1": "e293ddc557742637f9f679f083a1a282d87b1b13", + "live_stock": 28416, + "rank_mass": 1808352 + }, + "conservative_kappa": "83098027241579/50000000000000000", + "conservative_kappa_decimal": "0.00166196054483158", + "controls": { + "algebraic_comparisons": 770, + "mathematical_controls": 8, + "redistributed_minus_original_interval": [ + "-8746087210709628165738148931306907828030512622956302090084205337237/610848502011701257498174278336847732640004352699013991153466668760494849916928", + "-61222610474967397160167042519148354796208797196160377156292933031609/4275939514081908802487219948357934128480030468893097938074266681323463949418496" + ], + "rejected_inputs": 14, + "untraded_residual_at_native_endpoint_interval": [ + "43135172912659363912921498380808847749099389399529318911867366123635617/4275939514081908802487219948357934128480030468893097938074266681323463949418496", + "6162167558951337701845928340115549678442770256442738074937223729936169/610848502011701257498174278336847732640004352699013991153466668760494849916928" + ] + }, + "gain_over_pr890_t21_decimal": "0.000000002773066918", + "gain_over_pr890_t21_grid_ticks": 2773066918, + "moment_brackets": { + "bit_surcharged": { + "endpoint": "1733427039589844234749/1000000000000000000000000", + "lower_residual_interval": [ + "-8164977726660319484683715511910052609627089137376241533831481541/5107292296625017202701719338084998834813820639406086050820267925611479040000000000000000", + "-204124443166507987117092887715267121610531980048075286508088661/127682307415625430067542983452124970870345515985152151270506698140286976000000000000000" + ], + "overlaps_recorded_mercator_and_base_two": true, + "successor": "6933708158359376939/4000000000000000000000", + "successor_residual_interval": [ + "341036479082498025331223485906619312344032545629041956416772927/204291691865000688108068773523399953392552825576243442032810717024459161600000000000000", + "8525911977062450633280587150964850553806623575685123863071597409/5107292296625017202701719338084998834813820639406086050820267925611479040000000000000000" + ], + "terms": { + "1": 6784, + "2": 3366, + "3": 2226, + "4": 1656, + "42": 101, + "5": 1314, + "6": 1086, + "7": 923, + "fallback": 6784 + } + }, + "complex_conservative": { + "endpoint": "1664727255848707292019/1000000000000000000000000", + "lower_residual_interval": [ + "-1024554351587832158915801992420819872763116410427697165986171883880689/668115549075298250388628116930927207575004760764546552824104168956791242096640000000000000000", + "-73182453684845154208271570860465217721264404456127598656975048002029/47722539219664160742044865495066229112500340054610468058864583496913660149760000000000000000" + ], + "overlaps_recorded_mercator_and_base_two": true, + "successor": "83236362792435364601/50000000000000000000000", + "successor_residual_interval": [ + "944919440753882074236218177653797101322228610552124365607458131597773/668115549075298250388628116930927207575004760764546552824104168956791242096640000000000000000", + "944919440753882074236218178028103925987643358576352021645643271210791/668115549075298250388628116930927207575004760764546552824104168956791242096640000000000000000" + ], + "terms": { + "1": 7743, + "2": 3845, + "3": 2546, + "4": 1896, + "48": 101, + "5": 1506, + "8": 921, + "fallback": 7743 + } + }, + "complex_native": { + "endpoint": "416181814685169713943/250000000000000000000000", + "lower_residual_interval": [ + "-102682206773527733400761451721708791737489072081802853/305424251005850628749087139168423866320002176349506995576733334380247424958464", + "-718775447414694133805330160854179701134683631215549081/2137969757040954401243609974178967064240015234446548969037133340661731974709248" + ], + "overlaps_recorded_mercator_and_base_two": true, + "successor": "1664727258740678855773/1000000000000000000000000", + "successor_residual_interval": [ + "697942586008414853022659031722582037313325045766156001/267246219630119300155451246772370883030001904305818621129641667582716496838656", + "5583540688067318824181272254978438139534340239480309535/2137969757040954401243609974178967064240015234446548969037133340661731974709248" + ], + "terms": { + "1": 7743, + "2": 3845, + "3": 2546, + "4": 1896, + "48": 101, + "5": 1506, + "8": 921 + } + } + }, + "native_correction_gain": "2.882367E-12", + "native_correction_gain_grid_ticks": 2882367, + "outer_reduction_1024": { + "accepted_absorption_gap": "6557617028213798864657563815835253324572044775952061536037244806485964573382313019438847718517433221854794233024643983438981758998766811887159826631397377418574129671610269897894152287448350965181400939289760280157165852766240594433448174768318992608869549102850776227624526630753646328096515675160759173487408727805367572859088758279475715209714756719033318339547341553045837955218683064707488672973238303999/7642095392293858939023699732275615597522482014517635374883248634618996214470752759797106100963701024482866251866941275961954971649917727004479626396516439120769390929194270427307609982012932952599384180104872691387129988962554463302434494226096612054806168654736311219108618931376985755805875886135513931202778162363927747033553531962074773003315009476932668226727048487248825949602202789014200814696001000000000000000000000000", + "accepted_bootstrap_steps": 7, + "accepted_outer_controls": [ + "next_grid", + "zero_eta", + "zero_beta", + "unit_beta" + ], + "accepted_outer_strict_constraints": 47, + "conservative_absorption_gap": "496658653044703417316248259922429050968719099139786330271931405239022348151359541426489458001871057362032768793676136721623676436577446141205393489167294045949578526901330104617539501725630582885899424568174063869073690664592351019509245630185952001776845154201949149623942603168321582059124808125260583385984408742531372375154490190892701874790201002675785581447950792955508571894399911333679828534929023718132959/500832363627924353645980685654816341422188848789118867321951631352707340876514937763970127086658872935315950331177975587350076142629842991366517997042099217691101001196646376882871210858299557545014400780914406793189809416128410660950676904684878829187835530616278265407456178970284914387666840362506681096065901299550463570258864587739489650181230421971276053376197335607211242270875834474912173021501867041000000000000000000000000", + "conservative_bootstrap_steps": 7, + "conservative_outer_controls": [ + "next_grid", + "zero_eta", + "zero_beta", + "unit_beta" + ], + "conservative_outer_strict_constraints": 47, + "min_quadratic_over_1024_linear_cutoff_margin_accepted": 4910947306998, + "min_quadratic_over_1024_linear_cutoff_margin_conservative": 4910947341530 + }, + "scope": "Independent standard-library verification of the selected PR #942 (T37) native complex, conservative complex, and PR589 bit moment brackets plus all 42 strict rank inequalities of the all-T signed-dual supporting lemma using positive generalized-binomial enclosures on 2^-240, together with the 8-role 44+3+2 -> 48+1 remainder trade, 1024-bit reserve/bootstrap cutoffs, 94 strict outer slacks, and surcharge stakes. Physical circuit replay, owner window sweep, and inherited all-size/compiler/H1-H5 assumptions remain separate.", + "selected_kappa_decimal": "0.001661960547713947", + "selected_kappa_unchanged": "1661960547713947/1000000000000000000", + "source_files_sha256": { + "inputs/ASSEMBLY.json": "4b2894956e594e408e111d806c842f2ed2c32aefcadff93fad69ff0b46f1991a", + "inputs/CLAIM.json": "a383da34ee22da831fa436ad3483568ae1fcd62cd76581f2c2dd2b6473b346fb", + "inputs/EDITS.json": "cd28d8014fe6576a56a640d9a94b6b3fbd7715ea1a6c2858c1597b3c9fb51576", + "inputs/PR589-EXPECTED.json": "b9f0e5ca038abe837b0007c8fe006f366a6f02009244ac57705a8a200e2301f4", + "inputs/selected-result.json": "1d35283cb0ce3f8db1f285683933517f9e87475d295e2b6316399ad9928c81c3" + }, + "status": "PASS_T37_BINOMIAL_AND_ENDPOINT_AUDIT", + "t37_accounting": { + "C0_exponent_cap": 210000, + "admissible_payload_interval": [ + 780, + 2356 + ], + "calls": 333, + "charged_prefix_bits": 1024, + "child_count": 1201234, + "deficit": 11840, + "global_prefix_bits": 779, + "historical_512_prefix_rejected": true, + "live_stock": 33152, + "local_prefix_bits": 72, + "physical_row_coefficient": 17495, + "physical_stock": 33666, + "physical_stock_bits": 2643, + "rank_mass": 2408256, + "remainder_trade": { + "after_remainders": { + "1": 1, + "48": 1 + }, + "before_remainders": { + "2": 1, + "3": 1, + "44": 1 + }, + "edits_count": 8, + "traded_idle": { + "1": 6, + "48": 11086 + }, + "untraded_idle": { + "1": 5, + "2": 1, + "3": 1, + "44": 1, + "48": 11085 + } + }, + "replicas": 37, + "required_C0_bits": 200012, + "retained_row_coefficient_cap": 20161, + "roles": 167832 + } +} diff --git a/research/t37-binomial-endpoint-audit-seed78/CLAIM.json b/research/t37-binomial-endpoint-audit-seed78/CLAIM.json new file mode 100644 index 0000000000..ac6b0bb806 --- /dev/null +++ b/research/t37-binomial-endpoint-audit-seed78/CLAIM.json @@ -0,0 +1,55 @@ +{ + "status": "Completed independent verification; no new kappa", + "date": "2026-10-13", + "contributor": "steph4n-gh", + "assignment_seed": 78, + "seed_origin": "Generated via OS randomness (/dev/urandom) at session start", + "track": "75-84: Independent verification or formalization", + "base_commit": "2921874911956718fcaaaf9396fe8267b3cfa9f0", + "audited_pr": 942, + "audited_source_head": "1960cfa919a0945d0ca4cb14ea96237000037903", + "candidates_considered": [ + "Candidate 1 (Selected): Independent positive-binomial enclosure verification of the selected PR #942 (T37) moment brackets, all 42 strict rank inequalities of the all-T signed-dual supporting lemma, the exact T21/T16/T37 remainder-trade margin bridge, and the complete 1024-bit endpoint-to-kappa reduction.", + "Candidate 2: Lean 4 formalization of binary/signed connector walks (PR #934 / #943 / #944) -- deferred because standard-library Python runs deterministically inside the isolated sandbox without external toolchain paths.", + "Candidate 3: Independent verification of dyadic-run BIT query batching (PR #953) -- deferred because research/dyadic-query-runs/verify.py already ships a standalone standard-library checker." + ], + "selected_scope": "Independent standard-library verification of the selected PR #942 (T37) native complex, conservative complex, and PR589 bit moment brackets plus all 42 strict rank inequalities of the all-T signed-dual supporting lemma using positive generalized-binomial enclosures on 2^-240 (importing no production log/exp or outer engine), together with the 8-role 44+3+2 -> 48+1 remainder trade, 1024-bit reserve/bootstrap cutoffs, 94 strict outer slacks, and surcharge stakes.", + "hypothesis": "All 6 supplier moment endpoint decisions (T37 native complex, T37 conservative complex, PR589 bit) and all 42 strict rank inequalities of the PR #942 all-T signed-dual supporting lemma at z = 1664727258740678855773/10^24 hold under an independent positive generalized-binomial enclosure without importing either retained log/exp engine; the 8-role 44+3+2 -> 48+1 remainder trade reduces the T37 moment by the exact sum of the supporting-lemma margins at r in {44, 3, 2} divided by 48*73*33152; and the 1024-bit 7-step bootstrap and 94 strict outer slacks reduce the certified endpoints to kappa = 1661960547713947/10^18 (accepted) and 83098027241579/50000000000000000 (conservative).", + "result": "Confirmed across all 6 moment decisions, 42 all-T rank inequalities, 14 bootstrap steps, 94 outer slacks, 770 exact integer-power algebraic comparisons, 8 mathematical model controls, 14 invalid-input rejections, and 12 disposable package mutation controls under Python -I -O -B. No counterexample to the selected PR #942 arithmetic claims and no new kappa.", + "coordination": "Open issues #913 and #650 were inspected; no pinned sprint coordination issue exists. Claim and results are recorded locally in this file.", + "stopping_rule": "One self-contained, deterministically reproducible verification package with exact source pins, certificate, and fail-closed controls.", + "prior_and_concurrent_work": [ + { + "pr": 942, + "author": "Jonathan Capalbo (jon314159)", + "role": "Selected T37 whole-owner construction and all-T signed-dual relaxation bound (conditional kappa = 1661960547713947/10^18)." + }, + { + "pr": 960, + "author": "David Breslauer", + "role": "Merged in batch970 (research/t21-binomial-audit): audited only the historical PR #890 (T21) complex moment brackets using positive binomial series; did not audit T37, the PR589 bit moment, the 42 all-T supporting-lemma rank inequalities, or the 1024-bit outer reduction." + }, + { + "pr": 957, + "author": "Aaron Wang (navinor)", + "role": "Merged in batch970 (research/audit-frontier890-endpoint-seed73): audited only the historical PR #890 (T21) 512-bit endpoint-to-kappa reduction by transcribing the retained log/exp engines." + }, + { + "pr": 678, + "author": "0x-chad", + "role": "Introduced positive generalized-binomial enclosures for the historical PR #543 bit moment." + }, + { + "pr": 1051, + "author": "Sagar Thakrar (thakrarsagar)", + "head_sha": "3b8fab9b48d54160d0765c316eed45078f32aa5e", + "role": "Concurrent Track 75-84 PR checking T37 moment endpoints and the binding kappa margin via prime-atanh logarithms and Taylor exponentials. By its stated scope, PR #1051 does not check the 42 all-T supporting-lemma rank inequalities, the 8-role 44+3+2 -> 48+1 remainder trade or its exact T21/T16/T37 supporting-margin decomposition, the 14 1024-bit bootstrap cutoff steps, the full 94 strict outer slacks, or the 1024-bit reserve/stock/C0/row bounds, and uses a two-stage log+exp method rather than single-stage positive generalized-binomial series." + }, + { + "open_prs_checked": [962, 974, 991, 992, 995, 1000, 1006, 1009, 1010, 1012, 1019, 1051], + "note": "PRs #995 and #1000 study uniform z-interval bounds for the supporting lemma via cube-root or integral bounds without auditing the T37 moment brackets, PR589 bit bracket, 1024-bit bootstrap cutoffs, 94 outer slacks, or the exact T21/T16/T37 remainder-trade margin decomposition. PR #1019 refines the outer grid by calling existing moment/outer engines." + } + ], + "assistance": "Prepared for steph4n-gh with substantial Google Gemini assistance.", + "license": "Apache-2.0" +} diff --git a/research/t37-binomial-endpoint-audit-seed78/README.md b/research/t37-binomial-endpoint-audit-seed78/README.md new file mode 100644 index 0000000000..883a89a6a7 --- /dev/null +++ b/research/t37-binomial-endpoint-audit-seed78/README.md @@ -0,0 +1,80 @@ +# Independent positive-binomial and 1024-bit endpoint-to-$\kappa$ audit of the selected PR #942 (T37) record + +**Status: independent verification; no new $\kappa$.** + +- **Track & seed:** Track 75–84 (*Independent verification or formalization*), OS-random seed **78** +- **Base commit:** `2921874911956718fcaaaf9396fe8267b3cfa9f0` +- **Audited selected frontier:** PR [#942](https://github.com/CrocSwap/integer-mult-bounds/pull/942) at source head `1960cfa919a0945d0ca4cb14ea96237000037903`, conditional $\kappa = 1661960547713947 / 10^{18} = 0.001661960547713947$ +- **Certificate verified:** `research/community-frontier942-audit/ASSEMBLY.json` (`sha256: 4b2894956e594e408e111d806c842f2ed2c32aefcadff93fad69ff0b46f1991a`) and `research/community-frontier942-audit/ALL-T-BOUND.json` (`sha256: 5101909cf84a2bfce777dcc34075ffcfe5c135debd16fa56ef7273523b434a35`) + +## What was verified and learned + +Previous batch970 audits (`research/t21-binomial-audit` from PR #960 and `research/audit-frontier890-endpoint-seed73` from PR #957) verified the *historical* PR #890 ($T = 21$, 512-bit reserve) checkpoint, and `research/t21-binomial-audit` intentionally rejects the updated selection when run with `--repository .`. Meanwhile, `research/complex-t37-owners/independent/all_t_bound.py` certifies the PR #942 all-$T$ supporting inequalities by importing the two retained logarithm/exponential engines (`moment.py` and `base_two_moment.py`). + +This package provides a self-contained Python 3 standard-library verifier (`verify.py`) for the **current selected PR #942 ($T = 37$, 1024-bit reserve) frontier** that imports **no** production logarithm, exponential, moment, outer-assembly, supplier, or owner module: + +1. **All 6 supplier moment endpoint decisions via positive generalized-binomial enclosures:** + Using outward dyadic rounding on $D = 2^{240}$ with geometric tail $\le 2^{-170}$ per power factor, `verify.py` encloses $(m/r)^a = (1 - (1 - r/m))^{-a} = \sum_{k \ge 0} \binom{a+k-1}{k}(1 - r/m)^k$ and certifies: + - **T37 native complex ($m = 73, W = 33152$):** strict acceptance ($M < 1$) at $b = 416181814685169713943 / 250000000000000000000000 = 1664727258740678855772 / 10^{24}$ and strict rejection ($M > 1$) at $b + 10^{-24}$. + - **T37 conservative complex ($m = 73, W = 33152$, surcharged):** strict acceptance ($M_{\text{bad}} < 1$) at $b_c = 1664727255848707292019 / 10^{24}$ and strict rejection ($M_{\text{bad}} > 1$) at $b_c + 10^{-24}$. + - **PR589 bit supplier ($m = 64, W = 28416$, blob `e293ddc557742637f9f679f083a1a282d87b1b13`):** derives the exact rank-mass deficit $32(2 \cdot 4 \cdot 111 - 9 \cdot 63) = 10272 = 64 \cdot 28416 - 1808352$ from the punctured R439 word parameters ($v = 111, \text{cst} = 63$) and certifies strict acceptance ($M_{\text{bit}} < 1$) at $c = 1733427039589844234749 / 10^{24}$ and strict rejection ($M_{\text{bit}} > 1$) at $c + 10^{-24}$. + - Every binomial residual interval overlaps both recorded intervals (`mercator` and `base_two`) in `ASSEMBLY.json`. + +2. **All 42 strict rank inequalities of the PR #942 all-$T$ signed-dual supporting lemma via positive binomial enclosures, plus the exact $T_{21}/T_{16}/T_{37}$ remainder-trade bridge:** + - Independently enumerates all $1,163$ legal helper-width vectors across capacities $\{8, 16, 32, 48\}$ by both Cartesian product and dynamic programming, recovering all $45$ realized remainders $u(r)$, $M_0 = 14382$, $S_0 = -3892$, $V_0 = 48 S_0 + 13 M_0 = 150$, and $150 / 925 = 6 / 37$. + - Certifies all $42$ strict pointwise rank inequalities + $$\operatorname{margin}(r, z) := c(r, z) - \frac{v(r)}{925}\,c(1, z) > 0 \quad (r \in \operatorname{dom}(u) \setminus \{0, 1, 48\})$$ + at $z = 1664727258740678855773 / 10^{24}$ using only positive generalized-binomial enclosures of $\Phi(r, z) = r(73/r)^z$ (minimum strict margin at $r = 2$: $\approx 0.29137338586 > 0$). + - **Exact algebraic bridge between the 8-role remainder trade and the all-$T$ supporting lemma:** Both predecessor blocks $T = 21$ (`{48: 6292, 3: 1, 1: 3}`) and $T = 16$ (`{48: 4793, 44: 1, 2: 1, 1: 2}`) are already **signed-dual tight** ($\sum_r v(r) n_r = 150 T$), because $v(3) + 3 v(1) = 375 + 2775 = 3150 = 150 \times 21$ and $v(44) + v(2) + 2 v(1) = -100 + 650 + 1850 = 2400 = 150 \times 16$. Consequently, in the $\Phi(r, z)$ basis, for every saving exponent $z$: + $$M_{21}(z) - M_{37}(z) \equiv \frac{\operatorname{margin}(3, z)}{48 \cdot 73 \cdot 18816}, \qquad M_{16}(z) - M_{37}(z) \equiv \frac{\operatorname{margin}(44, z) + \operatorname{margin}(2, z)}{48 \cdot 73 \cdot 14336},$$ + and the moment reduction achieved by the 8-role remainder trade `44 + 3 + 2 -> 48 + 1` in `EDITS.json` is identically + $$M_{\text{untraded}}(z) - M_{37}(z) \equiv \frac{\operatorname{margin}(44, z) + \operatorname{margin}(3, z) + \operatorname{margin}(2, z)}{48 \cdot 73 \cdot 33152} \approx +1.00878819 \times 10^{-8}.$$ + Without this 8-role remainder trade, the un-traded $T_{21}+T_{16}$ concatenation (`{48: 11085, 44: 1, 3: 1, 2: 1, 1: 5}`) has the exact same rank mass $2,408,256$ and signed-dual credit $5,550$, but is strictly rejected at the accepted $T = 37$ endpoint $b$ ($M_{\text{untraded}}(b) - 1 \approx +1.008788 \times 10^{-8} > 0$). + +3. **Complete 1024-bit reserve, 7-step bootstrap, 94-slack outer reduction, and surcharge stakes:** + - Reconstructs the $T = 37$ accounting ($333$ calls, $167,832$ roles, prefix $72 + 37 + 333 + 333 + 4 = 779 < 1024$, $|Sp_{72}(2)| \times 33666$ stock of $2,643$ bits, required $C_0$ precision $200,012 < 210,000$ bits, physical row coefficient $2 \cdot 2643 + 9909 + 252 + 2048 = 17495 < 20161$, and admissible integer payload reserve window $P \in [780, 2356]$). + - Recomputes all $14$ bootstrap steps (`bootstrap` and `conservative_bootstrap`), verifying that the quadratic cutoff $\lceil 36/\text{gap}^2 \rceil$ strictly dominates the enlarged 1024-bit linear cutoff $\lceil 2(4+1024)/\text{gap} \rceil$ at every step (with minimum dominance margin $+4,910,947,306,998$ at step 1), leaving all 7 integer `cutoff_log2` values unchanged when upgrading the reserve from `512` to `1024`. + - Recomputes all $94$ strict outer slacks (`47` accepted + `47` conservative) and $8$ outer control rejections (`next_grid`, `zero_eta`, `zero_beta`, `unit_beta`), confirming: + - Accepted $\kappa = 1661960547713947 / 10^{18} = 0.001661960547713947$ (gain over PR #890 $T = 21$: $+2,773,066,918 / 10^{18}$, or $2,773$ grid ticks on $10^{-18}$). + - Conservative $\kappa = 83098027241579 / 5 \cdot 10^{16} = 0.001661960544831580$. + - Native complex correction gain $\kappa - \kappa_{\text{cons}} = 2,882,367 / 10^{18} = 2.882367 \times 10^{-12}$ ($2,882,367$ grid ticks on $10^{-18}$, two ticks wider than $T = 21$'s $2,882,365$ ticks). + +## Reproduce + +Python 3.11+ standard library only. From the repository root: + +```sh +python3 -I -B research/t37-binomial-endpoint-audit-seed78/verify.py --repository . +python3 -I -O -B research/t37-binomial-endpoint-audit-seed78/test_package.py +``` + +Expected output of the first command: + +```text +PASS_T37_REPOSITORY_BINDINGS files=14 +PASS_T37_BINOMIAL_AND_ENDPOINT_AUDIT 6 moment decisions; 42 all-T binomial rank inequalities; 14 bootstrap steps; 94 outer slacks; 770 algebraic comparisons; 8 mathematical controls; 14 rejected inputs. +``` + +Expected output of the second command: + +```text +PASS_T37_BINOMIAL_PACKAGE controls=12 relocated_optimized=PASS regeneration=PASS failure_preserves_certificate=PASS +``` + +## Scope, concurrent work, and inherited obligations + +This package certifies the exact arithmetic consequences of the pinned PR #942 ($T = 37$) profiles, the 8-role remainder trade, the all-$T$ signed-dual supporting lemma, and the 1024-bit outer assembly reduction. It does not replay the full physical circuit/tape invoice (`t37-replay.tar.gz`), rebuild the PR589 bit circuit, or discharge inherited all-size compiler, common-label/mutable-source hosting, precision/tape, or analytic transfer assumptions ($H_1$–$H_5$). + +**Comparison with concurrent PR [#1051](https://github.com/CrocSwap/integer-mult-bounds/pull/1051) (`3b8fab9b48d54160d0765c316eed45078f32aa5e` by Sagar Thakrar / `thakrarsagar`):** +Identified during pre-submission PR refresh. PR #1051 checks the three T37 moment brackets and the binding $\kappa$ margin using prime-decomposition `atanh` logarithms followed by Taylor exponentials. This package corroborates those endpoint decisions via a genuinely different single-stage numerical method (positive generalized-binomial series $(1 - (1 - r/m))^{-a}$ with no logarithm or exponential intermediates, backed by 770 exact integer-power algebraic comparisons $L^q \le (m/r)^p \le U^q$) and adds substantial coverage that PR #1051 explicitly leaves out of scope: +- positive-binomial certification of all **42 strict rank inequalities** of the PR #942 all-$T$ signed-dual supporting lemma (plus independent 1,163-vector Cartesian and DP dual enumerations), +- verification of the **8-role `44+3+2 -> 48+1` remainder trade** in `EDITS.json` and the **exact symbolic and numerical $T_{21}/T_{16}/T_{37}$ supporting-margin decomposition** ($M_{\text{untraded}}(z) - M_{37}(z) \equiv \sum_{r \in \{44,3,2\}} \operatorname{margin}(r, z) / (48 \cdot 73 \cdot 33152)$), +- verification of all **14 bootstrap steps** (`7` accepted + `7` conservative) and the exact quadratic-over-1024-bit-linear cutoff dominance margins, +- verification of all **94 strict outer assembly slacks** (`47` accepted + `47` conservative) and all 8 outer control rejections, +- verification of the **1024-bit reserve, $|Sp_{72}(2)|$ stock (`2643` bits), $C_0$ precision (`200012 < 210000` bits), physical row coefficient (`17495 < 20161`), and admissible payload interval $[780, 2356]$**. + +## Attribution and license + +- **Predecessor and concurrent work credited:** Jonathan Capalbo (`jon314159`, PR #942), Chafik Boukhalfa (PR #890), Jeremy Kothe (PR #869/#870), Hao Yan (PR #858), David Breslauer (PR #960, `research/t21-binomial-audit`), Aaron Wang (`navinor`, PR #957), Sagar Thakrar (`thakrarsagar`, concurrent PR #1051), `0x-chad` (PR #678), `arkfx` (PR #706), Gareth Davidson (`bitplane`, PR #813), `DreamingOfClouds`, `eumemic`, Rohan Arun, and `icekylinx`. +- **Contributor:** Prepared for `steph4n-gh` with substantial Google Gemini assistance (Track 75–84, Seed 78). +- **License:** Apache-2.0. diff --git a/research/t37-binomial-endpoint-audit-seed78/SOURCES.json b/research/t37-binomial-endpoint-audit-seed78/SOURCES.json new file mode 100644 index 0000000000..82fdccae8f --- /dev/null +++ b/research/t37-binomial-endpoint-audit-seed78/SOURCES.json @@ -0,0 +1,40 @@ +{ + "base_commit": "2921874911956718fcaaaf9396fe8267b3cfa9f0", + "source_repository": "CrocSwap/integer-mult-bounds", + "audited_pr": 942, + "audited_source_head": "1960cfa919a0945d0ca4cb14ea96237000037903", + "files": { + "inputs/ASSEMBLY.json": "4b2894956e594e408e111d806c842f2ed2c32aefcadff93fad69ff0b46f1991a", + "inputs/CLAIM.json": "a383da34ee22da831fa436ad3483568ae1fcd62cd76581f2c2dd2b6473b346fb", + "inputs/EDITS.json": "cd28d8014fe6576a56a640d9a94b6b3fbd7715ea1a6c2858c1597b3c9fb51576", + "inputs/PR589-EXPECTED.json": "b9f0e5ca038abe837b0007c8fe006f366a6f02009244ac57705a8a200e2301f4", + "inputs/selected-result.json": "1d35283cb0ce3f8db1f285683933517f9e87475d295e2b6316399ad9928c81c3" + }, + "provenance": { + "inputs/ASSEMBLY.json": "research/community-frontier942-audit/ASSEMBLY.json", + "inputs/CLAIM.json": "research/complex-t37-owners/CLAIM.json", + "inputs/EDITS.json": "research/complex-t37-owners/EDITS.json", + "inputs/PR589-EXPECTED.json": "research/e8-bit-p111-tuned/tune/EXPECTED.json", + "inputs/selected-result.json": "certificates/selected-result.json" + }, + "git_blob_sha1": { + "inputs/PR589-EXPECTED.json": "e293ddc557742637f9f679f083a1a282d87b1b13" + }, + "references": { + "research/community-frontier942-audit/ALL-T-BOUND.json": "5101909cf84a2bfce777dcc34075ffcfe5c135debd16fa56ef7273523b434a35", + "research/community-frontier942-audit/INDEPENDENT-OWNERS.json": "41de3197cc4ff2545931b13ff88c068aeeb85b45b86a9ec98deb96c82581c6ba", + "research/community-frontier942-audit/PAYLOAD-CONTROLS.json": "85f17720edcc1b80d4fe9afe0a2b4f7cf2ab90ecac54db9fb35c3ea117b406cf", + "research/complex-t37-owners/PROOF.md": "09b39ad0d5f1f59f54dcff15c16640f7a7acf27e6597660acaf957b95c7e8510", + "research/complex-t37-owners/ALL-T-PROOF.md": "4c0c71ccd0afb850538af1b467e5208b7eb3edd0260fded84e02a8c01dfc868b", + "research/complex-t37-owners/independent/all_t_bound.py": "3f8637a90baaa11ef18eab9e739d17b32fcff18fbc50c355f9ef32727a92e4f6", + "research/complex-k492-owner-repair/vendor/multicold/engines/moment.py": "81cbc864e106418fc7854322746f72180cb8110ff39f74450a3b8d55a82c1482", + "research/complex-k492-owner-repair/vendor/multicold/engines/base_two_moment.py": "aee70c242a2f1d225528fabe2002e1564d1dc884797c07d28a831c7878ee9098", + "research/complex-k492-owner-repair/vendor/multicold/engines/outer.py": "c1ebb52163a7219504c728a5c2b098bf1e50bf20148a2879c5a74c3cadc7c03c" + }, + "method_predecessors": [ + "PR678 by 0x-chad: positive generalized-binomial enclosures for the historical PR543 bit moment.", + "PR960 by David Breslauer: positive binomial audit for the historical PR890 (T21) complex moment.", + "PR957 by Aaron Wang (navinor): endpoint-to-kappa reduction and surcharge audit for historical PR890 (T21)." + ], + "reference_scope": "Reference files are never imported or executed. With --repository, their SHA256 bytes and recorded ALL-T-BOUND.json certificates are compared directly against the independent positive-binomial computation." +} diff --git a/research/t37-binomial-endpoint-audit-seed78/VALIDATION.json b/research/t37-binomial-endpoint-audit-seed78/VALIDATION.json new file mode 100644 index 0000000000..fcd8928e72 --- /dev/null +++ b/research/t37-binomial-endpoint-audit-seed78/VALIDATION.json @@ -0,0 +1,57 @@ +{ + "status": "PASS_SCOPED_LOCAL_VALIDATION", + "verified_at": "2026-10-13T17:17:07.562808+00:00", + "base_commit": "2921874911956718fcaaaf9396fe8267b3cfa9f0", + "branch": "research/t37-binomial-endpoint-audit-seed78", + "environment": { + "python": "3.14.4", + "implementation": "CPython", + "system": "Darwin", + "release": "27.0.0", + "machine": "arm64" + }, + "checks": [ + { + "command": "python3 -I -B research/t37-binomial-endpoint-audit-seed78/verify.py --repository .", + "returncode": 0, + "elapsed_seconds": 0.4102, + "stdout": "PASS_T37_REPOSITORY_BINDINGS files=14\nPASS_T37_BINOMIAL_AND_ENDPOINT_AUDIT 6 moment decisions; 42 all-T binomial rank inequalities; 14 bootstrap steps; 94 outer slacks; 770 algebraic comparisons; 8 mathematical controls; 14 rejected inputs.\n", + "stderr": "" + }, + { + "command": "python3 -I -O -B research/t37-binomial-endpoint-audit-seed78/test_package.py", + "returncode": 0, + "elapsed_seconds": 2.2604, + "stdout": "PASS_T37_BINOMIAL_PACKAGE controls=12 relocated_optimized=PASS regeneration=PASS failure_preserves_certificate=PASS\n", + "stderr": "" + }, + { + "command": "python3 -B scripts/verify_selected_result.py", + "returncode": 0, + "elapsed_seconds": 0.2363, + "stdout": "PASS selected record, exact kappa, original source inventory and proof supplement: 1661960547713947/1000000000000000000\n", + "stderr": "" + } + ], + "package_files_sha256": { + "CERTIFICATE.json": "528c8474778c63cbbf6eba99822f96bbb34f82937133d0bbb92fa2b25a0a6286", + "CLAIM.json": "cc58b3b651c3042be3de78cf3344afa443b435c937fc73380db0c06203df0235", + "README.md": "78df0a56238e0b2777c0058401bf191b44e4d1cc98e498ed78d475189bf1ce8b", + "SOURCES.json": "6d2eb6df54b8396f34d1fea4dd1c566df8cf71bdc160ec14186731164f70e5fa", + "inputs/ASSEMBLY.json": "4b2894956e594e408e111d806c842f2ed2c32aefcadff93fad69ff0b46f1991a", + "inputs/CLAIM.json": "a383da34ee22da831fa436ad3483568ae1fcd62cd76581f2c2dd2b6473b346fb", + "inputs/EDITS.json": "cd28d8014fe6576a56a640d9a94b6b3fbd7715ea1a6c2858c1597b3c9fb51576", + "inputs/PR589-EXPECTED.json": "b9f0e5ca038abe837b0007c8fe006f366a6f02009244ac57705a8a200e2301f4", + "inputs/selected-result.json": "1d35283cb0ce3f8db1f285683933517f9e87475d295e2b6316399ad9928c81c3", + "test_package.py": "5dce43c510d8893288a71cd354b4d6118a10007de58dafcfb0e6340f17edad61", + "verify.py": "c18a560e6cd70cd72a0f275649ce5756e32f92a90c5834d85dcb810ad1975ee5" + }, + "not_run": [ + "full make verify", + "t37-replay.tar.gz full physical replay", + "PR589 bit circuit replay", + "Lean formalization", + "hosted CI" + ], + "scope": "Exact positive-binomial and 1024-bit endpoint-to-kappa audit of the selected PR #942 (T37) record, all-T supporting lemma, and remainder-trade margin bridge. Selected kappa unchanged." +} diff --git a/research/t37-binomial-endpoint-audit-seed78/inputs/ASSEMBLY.json b/research/t37-binomial-endpoint-audit-seed78/inputs/ASSEMBLY.json new file mode 100644 index 0000000000..9e71e9c1a1 --- /dev/null +++ b/research/t37-binomial-endpoint-audit-seed78/inputs/ASSEMBLY.json @@ -0,0 +1,344 @@ +{ + "status": "PASS_GAUGE44_NATIVE_EXACT_GLOBAL_ASSEMBLY", + "kappa": "1661960547713947/1000000000000000000", + "kappa_decimal": "0.001661960547713947", + "complex_lower": "416181814685169713943/250000000000000000000000", + "complex_decimal": "0.001664727258740678855772", + "bit_lower": "1733427039589844234749/1000000000000000000000000", + "bit_decimal": "0.001733427039589844234749", + "binding": "complex", + "gain_over_pr635_percent": "1.571836804822561536863214790742852178269807201688513073983668212992418", + "complex_profile": { + "1": 848490, + "2": 112554, + "3": 148518, + "4": 53946, + "5": 23976, + "8": 2664, + "48": 11086 + }, + "provider_counts": { + "gauge44": 333 + }, + "surcharge_model": { + "complex": false, + "bit": true + }, + "conservative_complex_lower": "1664727255848707292019/1000000000000000000000000", + "conservative_complex_decimal": "0.001664727255848707292019", + "conservative_kappa": "83098027241579/50000000000000000", + "conservative_kappa_decimal": "0.00166196054483158", + "conservative_moments": [ + { + "side": "conservative_complex", + "surcharge": true, + "endpoint": "1664727255848707292019/1000000000000000000000000", + "accept": true, + "mercator": [ + "-41343044200415700149548318862602185269107957/26959946667150639794667015087019630673637144422540572481103610249216", + "-41343044200415700149548318862602185269107955/26959946667150639794667015087019630673637144422540572481103610249216" + ], + "base_two": [ + "-7667494309095910091507/5000000000000000000000000000000000000000000000", + "-15334978618191820182871/10000000000000000000000000000000000000000000000" + ] + }, + { + "side": "conservative_complex", + "surcharge": true, + "endpoint": "83236362792435364601/50000000000000000000000", + "accept": false, + "mercator": [ + "38129598634153891544852221336567316219891643/26959946667150639794667015087019630673637144422540572481103610249216", + "38129598634153891544852221336567316219891645/26959946667150639794667015087019630673637144422540572481103610249216" + ], + "base_two": [ + "1767881422771742502099/1250000000000000000000000000000000000000000000", + "2828612276434788003387/2000000000000000000000000000000000000000000000" + ] + } + ], + "conservative_bootstrap": [ + { + "exponent": "1662019964256128940369774814957230967792945200063372607561100219210791159149376783775858903639/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "2707291592578351649222520315513183499762780936627392438899780789208840850623216224141096361/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "4911706772101" + }, + { + "exponent": "1664722748946603596783167657372163024625293967683996252559923320049382618644682611343367046523758215855873507938770483768821115081714045242859/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "4506902103695235829677900581126667414013316003747440076679950617381355317388656632953476241784144126492061229516231178884918285954757141/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "1772336785043253170" + }, + { + "exponent": "1664727248345944520555661356133499258098167572926352411818147395607572230481075560452217766203889592493641899709445980001159986971175712322395267351836289593549712041021041334970088912557679/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "7502762771463335979139244893194540408073647588181852604392427769518924439547782233796110407506358100290554019998840013028824287677604732648163710406450287958978958665029911087442321/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "639528747412214812497000" + }, + { + "exponent": "1664727255836217238339175334160619343622904676442986454804869753238489892569154535754796924607918382011468862884164252213388679116092533394844684572262747503339430535870167242601506477134421487773488479458647893633312161818370772766136099/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "12490053679822001112124807669803304557013545195130246761510107430845464245203075392081617988531137115835747786611320883907466605155315427737252496660569464129832757398493522865578512226511520541352106366687838181629227233863901/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "230767099243304960132402609525" + }, + { + "exponent": "1664727255848686499486209522144308383171075203814145413433673494481771734825256592454779501970847095633335673715999913117690167035888522949416434266774338046798098069911614270049133420867653852499841776689764623402949946626291337318576554015254667590438616781978210474477992431709506119/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "20792532787813128435768121632777185854586566326505518228265174743407545220498029152904366664326284000086882309832964111477050583565733225661953201901930088385729950866579132346147500158223310235376597050053373708662681423445984745332409561383218021789525522007568290493881/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "83269836279688457467636113060444540" + }, + { + "exponent": "1664727255848707257405101285272323200892905485452147288058124290330932633600001356368852892191043860347834699391099718958162296081676931951313341806892524257335169671313317019672475628509336367604194959814255362888333665110657813412828993876170359736068971832298923508982484454793978688379323832125312936246375732783674929883599635739/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "34613896050000420950399802495547852711941875709669067366399998643631147107808956139652165300608900281041837703918323068048686658193107475742664830328686682980327524371490663632395805040185744637111666334889342186587171006123829640263931028167701076491017515545206021311620676167874687063753624267216325070116400364261/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "30047028613621948543614761490104903216506" + }, + { + "exponent": "1664727255848707291961374639087194541792281500987012818292346289977683727055512112632834128685199981656125928024208545100115597511542031150126194315393458466264302645681384552659354245204406452797906880537303995192524428070582396509344194418613799540464079920945368042511438868729670666069765747891099651473134738632422922717032121748456565208306278006795603665525087826978498132959/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "57622696185549609500426480012987181707653710022316272944487887367165871314800018343874071975791454899884402488457968849873805684606541533735697354318615447340645754795593547202093119462696004807475571929417603490655805581386200459535920079054631957488561131270329333930234252108900348526865261367577077282967878251543434791693721993204396334474912173021501867041/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "10842148475894588435156283354576751602571908835" + } + ], + "conservative_outer": { + "bit_positive": "1664727255848707291961374639087194541792281500987012818292346289977683727055512112632834128685199981656125928024208545100115597511542031150126194315393458466264302645681384552659354245204406452797906880537303995192524428070582396509344194418613799540464079920945368042511438868729670666069765747891099651473134738632422922717032121748456565208306278006795603665525087826978498132959/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "complex_above_bit": "57625360912805458207718499012987181707653710022316272944487887367165871314800018343874071975791454899884402488457968849873805684606541533735697354318615447340645754795593547202093119462696004807475571929417603490655805581386200459535920079054631957488561131270329333930234252108900348526865261367577077282967878251543434791693721993204396334474912173021501867041/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "complex_below_one_over32": "29585272744151292707981/1000000000000000000000000", + "beta_positive": "1/1000000000000000000000000", + "beta_below_one": "999999999999999999999999/1000000000000000000000000", + "leaf_saving_above_bit": "57623696185549609500426480012987181707653710022316272944487887367165871314800018343874071975791454899884402488457968849873805684606541533735697354318615447340645754795593547202093119462696004807475571929417603490655805581386200459535920079054631957488561131270329333930234252108900348526865261367577077282967878251543434791693721993204396334474912173021501867041/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "q_positive": "832363627924353645980685654816341422188848789118867321951631352707340876514937763970127086658872935315950331177975587350076142629842991366517997042099217691101001196646376882871210858299557545014400780914406793189809416128410660950676904684878829187835530616278265407456178970284914387666840362506681096065901299550463570258864587739489650181230421971276053376197335607211242270875834474912173021501867041/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "q_below_internal": "1664727255848707291961374639087194541792281500987012818292346289977683727055512112632834128685199981656125928024208545100115597511542031150126194315393458466264302645681384552659354245204406452797906880537303995192524428070582396509344194418613799540464079920945368042511438868729670666069765747891099651473134738632422922717032121748456565208306278006795603665525087826978498132959/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "q_below_leaf": "28813512820030653457505201381132678048368647292659123485062236029872913341127064684049668822024412649923857370157008633482002957900782308898998803353623117128789141700442454985599219085593206810190583871589339049323095315121170812164469383721734592543821029715085612333159637493318903934098700449536429741135412260510349818769578028723946623802664392788757729124165525087826978498132959/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "c_positive": "832363627924353645980810654816341422188848789118867321951631352707340876514937763970127086658872935315950331177975587350076142629842991366517997042099217691101001196646376882871210858299557545014400780914406793189809416128410660950676904684878829187835530616278265407456178970284914387666840362506681096065901299550463570258864587739489650181230421971276053376197335607211242270875834474912173021501867041/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "c_below_one": "499167636372075646354019189345183658577811151210881132678048368647292659123485062236029872913341127064684049668822024412649923857370157008633482002957900782308898998803353623117128789141700442454985599219085593206810190583871589339049323095315121170812164469383721734592543821029715085612333159637493318903934098700449536429741135412260510349818769578028723946623802664392788757729124165525087826978498132959/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "q_below_reservations": "1/4000000000000000000000000", + "lambda_above_tau": "1664727255848707291961374639087194541792281500987012818292346289977683727055512112632834128685199981656125928024208545100115597511542031150126194315393458466264302645681384552659354245204406452797906880537303995192524428070582396509344194418613799540464079920945368042511438868729670666069765747891099651473134738632422922717032121748456565208306278006795603665525087826978498132959/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "lambda_above_sigma": "57627025640061306915010460387626268902195502303817259957306179713455848998527073855986704809920140099866058614385993058418905800204053075766847480512930840799112019098239228586645778816941209213928369836298140794650998105814271041932429423249050571288101595350250279298276763547769078197531331133324968382619351386282067214616439025326144791040120479299508662644665525087826978498132959/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "lambda_above_internal": "1664727255848707291961374639087194541792281500987012818292346289977683727055512112632834128685199981656125928024208545100115597511542031150126194315393458466264302645681384552659354245204406452797906880537303995192524428070582396509344194418613799540464079920945368042511438868729670666069765747891099651473134738632422922717032121748456565208306278006795603665525087826978498132959/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "lambda_prime_above_lambda": "1664727255848707291961374639087194541792281500987012818292346289977683727055512112632834128685199981656125928024208545100115597511542031150126194315393458466264302645681384552659354245204406452797906880537303995192524428070582396509344194418613799540464079920945368042511438868729670666069765747891099651473134738632422922717032121748456565208306278006795603665525087826978498132959/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "compact_leaf": "28813512820030653457505201381132678048368647292659123485062236029872913341127064684049668822024412649923857370157008633482002957900782308898998803353623117128789141700442454985599219085593206810190583871589339049323095315121170812164469383721734592543821029715085612333159637493318903934098700449536429741135412260510349818769578028723946623802664392788757729124165525087826978498132959/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "compact_reservations": "1/4000000000000000000000000", + "lambda_prime_below_one": "832363627924353645980685654816341422188848789118867321951631352707340876514937763970127086658872935315950331177975587350076142629842991366517997042099217691101001196646376882871210858299557545014400780914406793189809416128410660950676904684878829187835530616278265407456178970284914387666840362506681096065901299550463570258864587739489650181230421971276053376197335607211242270875834474912173021501867041/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "epsilon_positive": "499999999999999999999999500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/500832363627924353645980685654816341422188848789118867321951631352707340876514937763970127086658872935315950331177975587350076142629842991366517997042099217691101001196646376882871210858299557545014400780914406793189809416128410660950676904684878829187835530616278265407456178970284914387666840362506681096065901299550463570258864587739489650181230421971276053376197335607211242270875834474912173021501867041", + "epsilon_below_one": "832363627924353645981185654816341422188848789118867321951631352707340876514937763970127086658872935315950331177975587350076142629842991366517997042099217691101001196646376882871210858299557545014400780914406793189809416128410660950676904684878829187835530616278265407456178970284914387666840362506681096065901299550463570258864587739489650181230421971276053376197335607211242270875834474912173021501867041/500832363627924353645980685654816341422188848789118867321951631352707340876514937763970127086658872935315950331177975587350076142629842991366517997042099217691101001196646376882871210858299557545014400780914406793189809416128410660950676904684878829187835530616278265407456178970284914387666840362506681096065901299550463570258864587739489650181230421971276053376197335607211242270875834474912173021501867041", + "guard_width": "832363627924353645981185654816341422188848789118867321951631352707340876514937763970127086658872935315950331177975587350076142629842991366517997042099217691101001196646376882871210858299557545014400780914406793189809416128410660950676904684878829187835530616278265407456178970284914387666840362506681096065901299550463570258864587739489650181230421971276053376197335607211242270875834474912173021501867041/500832363627924353645980685654816341422188848789118867321951631352707340876514937763970127086658872935315950331177975587350076142629842991366517997042099217691101001196646376882871210858299557545014400780914406793189809416128410660950676904684878829187835530616278265407456178970284914387666840362506681096065901299550463570258864587739489650181230421971276053376197335607211242270875834474912173021501867041", + "K_geometry": "375832363627924353645980810654816341422188848789118867321951631352707340876514937763970127086658872935315950331177975587350076142629842991366517997042099217691101001196646376882871210858299557545014400780914406793189809416128410660950676904684878829187835530616278265407456178970284914387666840362506681096065901299550463570258864587739489650181230421971276053376197335607211242270875834474912173021501867041/500832363627924353645980685654816341422188848789118867321951631352707340876514937763970127086658872935315950331177975587350076142629842991366517997042099217691101001196646376882871210858299557545014400780914406793189809416128410660950676904684878829187835530616278265407456178970284914387666840362506681096065901299550463570258864587739489650181230421971276053376197335607211242270875834474912173021501867041000000000000000000000000", + "K_dominates_log": "832363627924353645980809822452713497835202808308212505610209163858551757647615812338774379317996420378186361050888928477140826679511813390930646965956587848109634678649334783653519757298360898637517909703548493632264401727629746543883714875462700777174579939373580528626991134754298109401432906327710811151513632710101063577768521838190099717660163106688313886547154376789270994822458277576565810259596165165525087826978498132959/500832363627924353645980685654816341422188848789118867321951631352707340876514937763970127086658872935315950331177975587350076142629842991366517997042099217691101001196646376882871210858299557545014400780914406793189809416128410660950676904684878829187835530616278265407456178970284914387666840362506681096065901299550463570258864587739489650181230421971276053376197335607211242270875834474912173021501867041000000000000000000000000", + "record_suffix": "832363627924353645981185654816341422188848789118867321951631352707340876514937763970127086658872935315950331177975587350076142629842991366517997042099217691101001196646376882871210858299557545014400780914406793189809416128410660950676904684878829187835530616278265407456178970284914387666840362506681096065901299550463570258864587739489650181230421971276053376197335607211242270875834474912173021501867041/500832363627924353645980685654816341422188848789118867321951631352707340876514937763970127086658872935315950331177975587350076142629842991366517997042099217691101001196646376882871210858299557545014400780914406793189809416128410660950676904684878829187835530616278265407456178970284914387666840362506681096065901299550463570258864587739489650181230421971276053376197335607211242270875834474912173021501867041", + "phase_local": "6658909023394829167848984406167103453157144332265283759271628632809937893252180160129663985930106967589838679296718039927673825088412752956556626260651111685816643055173972963751995765395263713738323376104396045960930314626504373198622047669614505092023294253321438380820243926748698823069315443874478483612822729563346055389820636014617650986273116905620687519928503627267966890953299601961776960772665452165525087826978498132959/4006658909023394829167845485238530731377510790312950938575613050821658727012119502111761016693270983482527602649423804698800609141038743930932143976336793741528808009573171015062969686866396460360115206247315254345518475329027285287605415237479030633502684244930226123259649431762279315101334722900053448768527210396403708562070916701915917201449843375770208427009578684857689938167006675799297384172014936328000000000000000000000000", + "phase_boundary": "1331781804678965833569396215342518351148512081904532898781187975482956283556578470720850631313320181567756559757674280887186512257417608210841445191216118462770235396637160913376246272278095425646158378252192569546150051404676143114289857686389998289875898309140539773100698516925246742001537123831719468791054412440379205733087274481883889826398416289453945912265555741116016357347958962523869623160716389765525087826978498132959/801331781804678965833569097047706146275502158062590187715122610164331745402423900422352203338654196696505520529884760939760121828207748786186428795267358748305761601914634203012593937373279292072023041249463050869103695065805457057521083047495806126700536848986045224651929886352455863020266944580010689753705442079280741712414183340383183440289968675154041685401915736971537987633401335159859476834402987265600000000000000000000000", + "gamma_sublinear": "1/2000000000000000000000000", + "cell_above_band": "999999999999999999999998499167636372075646354019314345183658577811151210881132678048368647292659123485062236029872913341127064684049668822024412649923857370157008633482002957900782308898998803353623117128789141700442454985599219085593206810190583871589339049323095315121170812164469383721734592543821029715085612333159637493318903934098700449536429741135412260510349818769578028723946623802664392788757729124165525087826978498132959/2003329454511697414583922742619265365688755395156475469287806525410829363506059751055880508346635491741263801324711902349400304570519371965466071988168396870764404004786585507531484843433198230180057603123657627172759237664513642643802707618739515316751342122465113061629824715881139657550667361450026724384263605198201854281035458350957958600724921687885104213504789342428844969083503337899648692086007468164000000000000000000000000", + "prime_interval_packing": "832363627924353645981185654816341422188848789118867321951631352707340876514937763970127086658872935315950331177975587350076142629842991366517997042099217691101001196646376882871210858299557545014400780914406793189809416128410660950676904684878829187835530616278265407456178970284914387666840362506681096065901299550463570258864587739489650181230421971276053376197335607211242270875834474912173021501867041/500832363627924353645980685654816341422188848789118867321951631352707340876514937763970127086658872935315950331177975587350076142629842991366517997042099217691101001196646376882871210858299557545014400780914406793189809416128410660950676904684878829187835530616278265407456178970284914387666840362506681096065901299550463570258864587739489650181230421971276053376197335607211242270875834474912173021501867041", + "alpha_positive": "1664727255848707291961870477269054920024051597552079827561840516565892634162553576308901465976869355694136692228864515827216969309354804757448644008055805539210635875295711666524730615597918443651918690617955286822073817856040407494560619560341529965010110555651845936083170105039212497068273268834391907217414932260564633836633109577679749898890585077964367262744489984000513265698292752488738831761463206165525087826978498132959/1001664727255848707291961371309632682844377697578237734643903262705414681753029875527940254173317745870631900662355951174700152285259685982733035994084198435382202002393292753765742421716599115090028801561828813586379618832256821321901353809369757658375671061232556530814912357940569828775333680725013362192131802599100927140517729175478979300362460843942552106752394671214422484541751668949824346043003734082000000000000000000000000", + "alpha_below_one": "999999999999999999999999500832363627924353645980685654816341422188848789118867321951631352707340876514937763970127086658872935315950331177975587350076142629842991366517997042099217691101001196646376882871210858299557545014400780914406793189809416128410660950676904684878829187835530616278265407456178970284914387666840362506681096065901299550463570258864587739489650181230421971276053376197335607211242270875834474912173021501867041/1001664727255848707291961371309632682844377697578237734643903262705414681753029875527940254173317745870631900662355951174700152285259685982733035994084198435382202002393292753765742421716599115090028801561828813586379618832256821321901353809369757658375671061232556530814912357940569828775333680725013362192131802599100927140517729175478979300362460843942552106752394671214422484541751668949824346043003734082000000000000000000000000", + "alpha_below_one_fourth": "248751454558113469531028472350139115791070372797007353833413975159787777804094915305676162077352567111963838473360123277847821102005566690925810354512993803306339864723027476774910874813551860328855281699839248109772830890208164922980777832782097884628907654752487286767644919380103244696765146912418948640815535717514667151292799184292065075191724625907673659425354177819605107869739624484967347678989470314334474912173021501867041/1001664727255848707291961371309632682844377697578237734643903262705414681753029875527940254173317745870631900662355951174700152285259685982733035994084198435382202002393292753765742421716599115090028801561828813586379618832256821321901353809369757658375671061232556530814912357940569828775333680725013362192131802599100927140517729175478979300362460843942552106752394671214422484541751668949824346043003734082000000000000000000000000", + "delta_positive": "1/8000000000000000000000000", + "delta_below_one_eighth": "999999999999999999999999/8000000000000000000000000", + "short_record_fallback": "499166250713657463570345507188425051119387679832363463276252019159117609538049574283135929614389561395703469769156232721338820951947059492830162201801521910925712119640265103362812323079861312868198160225208577575644112615249101408750475304281558388740353880837514560924093563529464331388286406093858165595047735443567759554341316612313901960337656440798140853199351419141761516771460220403804298842796824461427292543559473974648866741144205489304422067292135854833307415661508063438128647418712687503966972032743176204375943696835899560530070376934943966583792526843926331930790798087028803089239347890505011694837187954852407172320190436670199992540985091682756090160583306971917102031016968671856232199040823683623262780532034804098233547418131401921249882683628740688459110472248842095681/500832363627924353645980685654816341422188848789118867321951631352707340876514937763970127086658872935315950331177975587350076142629842991366517997042099217691101001196646376882871210858299557545014400780914406793189809416128410660950676904684878829187835530616278265407456178970284914387666840362506681096065901299550463570258864587739489650181230421971276053376197335607211242270875834474912173021501867041000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "small_field_exposure": "1/1000000000000000000000000", + "artificial_boundary": "28053271272187158633342769384405336734793147260445664473053928673139816183453557982748982191668190497405034113105771697567023679076160944981383913860922777821759438176139359246801410568234175272820052298592154609662820437675420625044063701469260493453253456811472523040713683017604826369645474005568964501002960846171750756016610621813031236262989457782755430634545580022552785419164213534986385895009846303251503424736519064505601123/4006658909023394829167845485238530731377510790312950938575613050821658727012119502111761016693270983482527602649423804698800609141038743930932143976336793741528808009573171015062969686866396460360115206247315254345518475329027285287605415237479030633502684244930226123259649431762279315101334722900053448768527210396403708562070916701915917201449843375770208427009578684857689938167006675799297384172014936328000000000000000000000000", + "literal_scalar_guard": "1", + "row_product_gap": "23971789/25", + "balanced_prefix_above_kappa": "24832957693853352262030095295155735289253026066431755969539936359532685042935020897071361098599907201045285205481323394979963189332679438552419242784264554402439810900116565063195819229842072059272848479128742239174024192720088357395995329043142834332783717101873988295110400531225027617201959789605047294633275240421633596280903022487864480713992559195310377636200208457642208955282109110475715172355102261/25041618181396217682299034282740817071109442439455943366097581567635367043825746888198506354332943646765797516558898779367503807131492149568325899852104960884555050059832318844143560542914977877250720039045720339659490470806420533047533845234243941459391776530813913270372808948514245719383342018125334054803295064977523178512943229386974482509061521098563802668809866780360562113543791723745608651075093352050000000000000000", + "coordinate_movement_above_kappa": "2766711017127291961374639087194541792281500987012818292346289977683727055512112632834128685199981656125928024208545100115597511542031150126194315393458466264302645681384552659354245204406452797906880537303995192524428070582396509344194418613799540464079920945368042511438868729670666069765747891099651473134738632422922717032121748456565208306278006795603665525087826978498132959/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "compact_phase_layer_above_kappa": "496658653044703417316248259922429050968719099139786330271931405239022348151359541426489458001871057362032768793676136721623676436577446141205393489167294045949578526901330104617539501725630582885899424568174063869073690664592351019509245630185952001776845154201949149623942603168321582059124808125260583385984408742531372375154490190892701874790201002675785581447950792955508571894399911333679828534929023718132959/500832363627924353645980685654816341422188848789118867321951631352707340876514937763970127086658872935315950331177975587350076142629842991366517997042099217691101001196646376882871210858299557545014400780914406793189809416128410660950676904684878829187835530616278265407456178970284914387666840362506681096065901299550463570258864587739489650181230421971276053376197335607211242270875834474912173021501867041000000000000000000000000", + "bulk_exposure_above_kappa": "2766711017127291961374639087194541792281500987012818292346289977683727055512112632834128685199981656125928024208545100115597511542031150126194315393458466264302645681384552659354245204406452797906880537303995192524428070582396509344194418613799540464079920945368042511438868729670666069765747891099651473134738632422922717032121748456565208306278006795603665525087826978498132959/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "Gaussian_arithmetic_above_kappa": "794654145370943644460609403464297874439755411936967401906410641553414568666579792191345791185069943774576191259452017461383234708569599403834424402578468698778856257702728885375889332483735447597173606317718970739161980977233411308261189578703666013770249759424437009165267409543021913465548325600521150921583711627590975530525326460747075643358111713019510113082353294447215079357785220659388410603190250850132959/801331781804678965833569097047706146275502158062590187715122610164331745402423900422352203338654196696505520529884760939760121828207748786186428795267358748305761601914634203012593937373279292072023041249463050869103695065805457057521083047495806126700536848986045224651929886352455863020266944580010689753705442079280741712414183340383183440289968675154041685401915736971537987633401335159859476834402987265600000000000000000000000", + "scalar_work_above_kappa": "3973272730184172734000461601244231991464142748440232166007522495573598254162262467016480011805858065508372697561061412018818522943152567538544087478964331662291152052917649213464954193903520671184098211646197977353437077645404721054948591696225948808366565548464307510939398677539825448467399178669967204634642942401560075854480913339193729174749159290019238450515979977025417825633895186800279952664643340258132959/4006658909023394829167845485238530731377510790312950938575613050821658727012119502111761016693270983482527602649423804698800609141038743930932143976336793741528808009573171015062969686866396460360115206247315254345518475329027285287605415237479030633502684244930226123259649431762279315101334722900053448768527210396403708562070916701915917201449843375770208427009578684857689938167006675799297384172014936328000000000000000000000000", + "dimension_above_kappa": "24958381818603782342533873411112535190920652855699791923155444498796388925714189471334178688602077250305563582041008421677781398349831245411637289480574477667864192724432235558296250357201587185945099190796351719613358008322321706126490347485844415936603552512328921062410908153359742575727058513099693562398664724627524116120332011034659113771841501389300678045182692414949815522656416733896600304207015758425715172355102261/25041618181396217682299034282740817071109442439455943366097581567635367043825746888198506354332943646765797516558898779367503807131492149568325899852104960884555050059832318844143560542914977877250720039045720339659490470806420533047533845234243941459391776530813913270372808948514245719383342018125334054803295064977523178512943229386974482509061521098563802668809866780360562113543791723745608651075093352050000000000000000" + }, + "conservative_controls": [ + "next_grid", + "zero_eta", + "zero_beta", + "unit_beta" + ], + "model_controls": [ + "native_complex_endpoint_rejected_with_old_surcharge", + "omitting_bit_surcharge_would_fail_next_endpoint_rejection" + ], + "native_correction_gain": "2.882367E-12", + "template_sha256": "956e0c0e9b083806268bf93525441ccea143d5f78e46c5f6b793b22cfe11113d", + "input_sha256": { + "owner_audit": "92ac8c027b98e3163c422ccff7d39ae58d70bc42c435358f23e3906f421da064", + "fresh_invoice": "42a96ecc4424c0a866eee12a3d23dada60cc6295c1520f6eb4439990e8116f15", + "package:inputs/PR589-EXPECTED.json": "b9f0e5ca038abe837b0007c8fe006f366a6f02009244ac57705a8a200e2301f4", + "engines/moment.py": "81cbc864e106418fc7854322746f72180cb8110ff39f74450a3b8d55a82c1482", + "engines/base_two_moment.py": "aee70c242a2f1d225528fabe2002e1564d1dc884797c07d28a831c7878ee9098", + "engines/outer.py": "c1ebb52163a7219504c728a5c2b098bf1e50bf20148a2879c5a74c3cadc7c03c" + }, + "bit_supplier": { + "pr": 589, + "repository": "CrocSwap/integer-mult-bounds", + "commit": "a5afc8c6169ea61ba7c51dfd3cade02cc7b13b46", + "merged_as": "b3eb785ac5b4b1ca2beea0f80db078a505626a90", + "path": "research/e8-bit-p111-tuned/tune/EXPECTED.json", + "git_blob_sha1": "e293ddc557742637f9f679f083a1a282d87b1b13", + "word": { + "v": 111, + "decoder_constant": 63, + "copy_ranks": [ + 7, + 7, + 7, + 7, + 7, + 7, + 7, + 7, + 7 + ] + }, + "derived_deficit": 10272, + "deficit_formula": "T(2Kv-L*cst), L=9 T=32 K=4 M=64", + "replay_scope": "Cited unchanged supplier; this assembly reprices its full profile and does not rebuild its bit circuit." + }, + "moments": [ + { + "side": "bit", + "surcharge": true, + "endpoint": "1733427039589844234749/1000000000000000000000000", + "accept": true, + "mercator": [ + "-43100600330766044577088869872467188970742291/26959946667150639794667015087019630673637144422540572481103610249216", + "-43100600330766044577088869872467188970742289/26959946667150639794667015087019630673637144422540572481103610249216" + ], + "base_two": [ + "-799345163337715793503/500000000000000000000000000000000000000000000", + "-3197378653350863173989/2000000000000000000000000000000000000000000000" + ] + }, + { + "side": "bit", + "surcharge": true, + "endpoint": "6933708158359376939/4000000000000000000000", + "accept": false, + "mercator": [ + "22502934905675809315035333485365686073718547/13479973333575319897333507543509815336818572211270286240551805124608", + "5625733726418952328758833371341421518429637/3369993333393829974333376885877453834204643052817571560137951281152" + ], + "base_two": [ + "8346798366759439729359/5000000000000000000000000000000000000000000000", + "16693606733518879458833/10000000000000000000000000000000000000000000000" + ] + }, + { + "side": "complex", + "surcharge": false, + "endpoint": "416181814685169713943/250000000000000000000000", + "accept": true, + "mercator": [ + "-9063808159184494128077302191980009913017957/26959946667150639794667015087019630673637144422540572481103610249216", + "-9063808159184494128077302191980009913017955/26959946667150639794667015087019630673637144422540572481103610249216" + ], + "base_two": [ + "-84049/250000000000000000000000000000", + "-67239/200000000000000000000000000000" + ] + }, + { + "side": "complex", + "surcharge": false, + "endpoint": "1664727258740678855773/1000000000000000000000000", + "accept": false, + "mercator": [ + "35204417337620213718016788425517747602870017/13479973333575319897333507543509815336818572211270286240551805124608", + "17602208668810106859008394212758873801435009/6739986666787659948666753771754907668409286105635143120275902562304" + ], + "base_two": [ + "326451/125000000000000000000000000000", + "2611609/1000000000000000000000000000000" + ] + } + ], + "bootstrap": [ + { + "exponent": "103876247946161440080057377896962787857178473276730863994254679988695665724797891267551392751/62500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "169205725130988405692455557583540850393040973269136005745320011304334275202108732448607249/62500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "4911706737567" + }, + { + "exponent": "26011292997477366986656878792457101305020878010848664852222677613549771476476241004222271952643119865936154167491325917634564236746086172807/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "70420345740134780579571179480871872000551651335147777322386450228523523758995777728047356880134063845832508674082365435763253913827193/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "1772336766424157901" + }, + { + "exponent": "6502840825148109499473010858275981414538244775392390493795702649060453144660444744286706848547783107151599400506699143998491130731245495164533318807457318600858499698341275955000144651999/3906250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "29307667280886353732633164129684974865232609506204297350939546855339555255713293151452216892848400599493300856001508869268754504835466681192542681399141500301658724044999855348001/3906250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "639528738471729375193491" + }, + { + "exponent": "1625710213601746876936692691495811940717507284067446528893393574196212339042034342219960054881347748442872399951361831885815513596006811905189220116151342105287875470455579035667642186915398248506444536803899484791834202080223886877943/976562500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "12197318153148456231474445338297626088803471106606425803787660957965657780039945118652251557127600048638168114184486403993188094810779883848657894712124529544420964332357813084601751493555463196100515208165797919776113122057/976562500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "230767095215447300436172576982" + }, + { + "exponent": "406427553403480972470457017244506017394700391129416213445423233213154021978055025830448021702842353532361095082481824004888530004356192072783163172241249877818031162106510680932346219156278026208999865073792311541074992963542368580413232444225691185874017620930479561842203333740751/244140625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "5076302003269687315579119250836409646286554576766786845978021944974169551978297157646467638904917518175995111469995643807927216836827758750122181968837893489319067653780843721973791000134926207688458925007036457631419586767555774308814125982379069520438157796666259249/244140625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "83269834536965707586896522785415935" + }, + { + "exponent": "101606888350871510080450492122214609449413369591027364844514665453503726840271335469378032435904337180739310816325629889774994466744559587788721572892389831944588142322311042657474341021992812691943686727138963116500505097370720118433893800034094900168701553063549000947376245304622537456997967155749701687508656813694677208008807/61035156250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "2112664579610740789679074437293738260155485334546496273159728664530621967564095662819260689183674370110225005533255440412211278427107610168055411857677688957342525658978007187308056313272861036883499494902629279881566106199965905099831298446936450999052623754695377462543002032844250298312491343186305322791991193/61035156250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "30047027880383448577363131591267949447298" + }, + { + "exponent": "25401722087717878047399515354675370480720123834301459117238230678240097544423754070673558407597137813240645080999367118185569781125616007693489164172440492770797245366869199496205505620356638937167352620756623487537852259814168118115963527897743737948573541399678233704713759901054310968219181698547664514178261166218891162436092280671878444412343826049897797210985799185303999/15258789062500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "879252578563479301401827886889947132761769321759902455576245929326441592402862186759354919000632881814430218874383992306510835827559507229202754633130800503794494379643361062832647379243376512462147740185831881884036472102256262051426458600321766295286240098945689031780818301452335485821738833781108837563907719328121555587656173950102202789014200814696001/15258789062500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "10842148173643272889999539096203012516204841615" + } + ], + "outer": { + "bit_positive": "25401722087717878047399515354675370480720123834301459117238230678240097544423754070673558407597137813240645080999367118185569781125616007693489164172440492770797245366869199496205505620356638937167352620756623487537852259814168118115963527897743737948573541399678233704713759901054310968219181698547664514178261166218891162436092280671878444412343826049897797210985799185303999/15258789062500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "complex_above_bit": "879293239074629519279876165698540882761769321759902455576245929326441592402862186759354919000632881814430218874383992306510835827559507229202754633130800503794494379643361062832647379243376512462147740185831881884036472102256262051426458600321766295286240098945689031780818301452335485821738833781108837563907719328121555587656173950102202789014200814696001/15258789062500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "complex_below_one_over32": "7396318185314830286057/250000000000000000000000", + "beta_positive": "1/1000000000000000000000000", + "beta_below_one": "999999999999999999999999/1000000000000000000000000", + "leaf_saving_above_bit": "879267837352541801401827886889947132761769321759902455576245929326441592402862186759354919000632881814430218874383992306510835827559507229202754633130800503794494379643361062832647379243376512462147740185831881884036472102256262051426458600321766295286240098945689031780818301452335485821738833781108837563907719328121555587656173950102202789014200814696001/15258789062500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "q_positive": "12700861043858939023699732275615597522482014517635374883248634618996214470752759797106100963701024482866251866941275961954971649917727004479626396516439120769390929194270427307609982012932952599384180104872691387129988962554463302434494226096612054806168654736311219108618931376985755805875886135513931202778162363927747033553531962074773003315009476932668226727048487248825949602202789014200814696001/7629394531250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "q_below_internal": "25401722087717878047399515354675370480720123834301459117238230678240097544423754070673558407597137813240645080999367118185569781125616007693489164172440492770797245366869199496205505620356638937167352620756623487537852259814168118115963527897743737948573541399678233704713759901054310968219181698547664514178261166218891162436092280671878444412343826049897797210985799185303999/7629394531250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "q_below_leaf": "439659320398358618578961342960328241751365381003785529247240202893899036298975517133748133058724038045028350082272995520373603483560879230609070805729572692390017987067047400615819895127308612870011037445536697565505773903387945193831345263688780891381068623014244194124113864486068797221837636072252966446468037925226996684990523067331773272951512751174050397797210985799185303999/7629394531250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "c_positive": "12700861043858939023701639624248410022482014517635374883248634618996214470752759797106100963701024482866251866941275961954971649917727004479626396516439120769390929194270427307609982012932952599384180104872691387129988962554463302434494226096612054806168654736311219108618931376985755805875886135513931202778162363927747033553531962074773003315009476932668226727048487248825949602202789014200814696001/7629394531250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "c_below_one": "7616693670206141060976298360375751589977517985482364625116751365381003785529247240202893899036298975517133748133058724038045028350082272995520373603483560879230609070805729572692390017987067047400615819895127308612870011037445536697565505773903387945193831345263688780891381068623014244194124113864486068797221837636072252966446468037925226996684990523067331773272951512751174050397797210985799185303999/7629394531250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "q_below_reservations": "1/4000000000000000000000000", + "lambda_above_tau": "25401722087717878047399515354675370480720123834301459117238230678240097544423754070673558407597137813240645080999367118185569781125616007693489164172440492770797245366869199496205505620356638937167352620756623487537852259814168118115963527897743737948573541399678233704713759901054310968219181698547664514178261166218891162436092280671878444412343826049897797210985799185303999/15258789062500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "lambda_above_sigma": "879318640796717237157923565213895558132250041883736757035363167557119832500406610513425592559040478952243459519464991673629021397340632845210448122294972944287265176888727932032143584748996869101084907538452638507524009954516076219544574563849664039024188672487088710014523015212236540132707052962807385228421897589287774478818610042382874667458613158522050897797210985799185303999/15258789062500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "lambda_above_internal": "25401722087717878047399515354675370480720123834301459117238230678240097544423754070673558407597137813240645080999367118185569781125616007693489164172440492770797245366869199496205505620356638937167352620756623487537852259814168118115963527897743737948573541399678233704713759901054310968219181698547664514178261166218891162436092280671878444412343826049897797210985799185303999/15258789062500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "lambda_prime_above_lambda": "25401722087717878047399515354675370480720123834301459117238230678240097544423754070673558407597137813240645080999367118185569781125616007693489164172440492770797245366869199496205505620356638937167352620756623487537852259814168118115963527897743737948573541399678233704713759901054310968219181698547664514178261166218891162436092280671878444412343826049897797210985799185303999/15258789062500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "compact_leaf": "439659320398358618578961342960328241751365381003785529247240202893899036298975517133748133058724038045028350082272995520373603483560879230609070805729572692390017987067047400615819895127308612870011037445536697565505773903387945193831345263688780891381068623014244194124113864486068797221837636072252966446468037925226996684990523067331773272951512751174050397797210985799185303999/7629394531250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "compact_reservations": "1/4000000000000000000000000", + "lambda_prime_below_one": "12700861043858939023699732275615597522482014517635374883248634618996214470752759797106100963701024482866251866941275961954971649917727004479626396516439120769390929194270427307609982012932952599384180104872691387129988962554463302434494226096612054806168654736311219108618931376985755805875886135513931202778162363927747033553531962074773003315009476932668226727048487248825949602202789014200814696001/7629394531250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "epsilon_positive": "7629394531249999999999992370605468750000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/7642095392293858939023699732275615597522482014517635374883248634618996214470752759797106100963701024482866251866941275961954971649917727004479626396516439120769390929194270427307609982012932952599384180104872691387129988962554463302434494226096612054806168654736311219108618931376985755805875886135513931202778162363927747033553531962074773003315009476932668226727048487248825949602202789014200814696001", + "epsilon_below_one": "12700861043858939023707361670146847522482014517635374883248634618996214470752759797106100963701024482866251866941275961954971649917727004479626396516439120769390929194270427307609982012932952599384180104872691387129988962554463302434494226096612054806168654736311219108618931376985755805875886135513931202778162363927747033553531962074773003315009476932668226727048487248825949602202789014200814696001/7642095392293858939023699732275615597522482014517635374883248634618996214470752759797106100963701024482866251866941275961954971649917727004479626396516439120769390929194270427307609982012932952599384180104872691387129988962554463302434494226096612054806168654736311219108618931376985755805875886135513931202778162363927747033553531962074773003315009476932668226727048487248825949602202789014200814696001", + "guard_width": "12700861043858939023707361670146847522482014517635374883248634618996214470752759797106100963701024482866251866941275961954971649917727004479626396516439120769390929194270427307609982012932952599384180104872691387129988962554463302434494226096612054806168654736311219108618931376985755805875886135513931202778162363927747033553531962074773003315009476932668226727048487248825949602202789014200814696001/7642095392293858939023699732275615597522482014517635374883248634618996214470752759797106100963701024482866251866941275961954971649917727004479626396516439120769390929194270427307609982012932952599384180104872691387129988962554463302434494226096612054806168654736311219108618931376985755805875886135513931202778162363927747033553531962074773003315009476932668226727048487248825949602202789014200814696001", + "K_geometry": "5734746759481358939023701639624248410022482014517635374883248634618996214470752759797106100963701024482866251866941275961954971649917727004479626396516439120769390929194270427307609982012932952599384180104872691387129988962554463302434494226096612054806168654736311219108618931376985755805875886135513931202778162363927747033553531962074773003315009476932668226727048487248825949602202789014200814696001/7642095392293858939023699732275615597522482014517635374883248634618996214470752759797106100963701024482866251866941275961954971649917727004479626396516439120769390929194270427307609982012932952599384180104872691387129988962554463302434494226096612054806168654736311219108618931376985755805875886135513931202778162363927747033553531962074773003315009476932668226727048487248825949602202789014200814696001000000000000000000000000", + "K_dominates_log": "12700861043858939023701626923387366163542990815995750634838612136981696835377876548471481967486553730106454760840312260930488783665860063203664441544789203042386449567873910868489212622003758328956872494890678454177389578374358429743107096107649500342866220242085122496564125208331019494656777516582554217022356488041611519622329183912409075567975923400706151954045172239349016933976061965713565870051397797210985799185303999/7642095392293858939023699732275615597522482014517635374883248634618996214470752759797106100963701024482866251866941275961954971649917727004479626396516439120769390929194270427307609982012932952599384180104872691387129988962554463302434494226096612054806168654736311219108618931376985755805875886135513931202778162363927747033553531962074773003315009476932668226727048487248825949602202789014200814696001000000000000000000000000", + "record_suffix": "12700861043858939023707361670146847522482014517635374883248634618996214470752759797106100963701024482866251866941275961954971649917727004479626396516439120769390929194270427307609982012932952599384180104872691387129988962554463302434494226096612054806168654736311219108618931376985755805875886135513931202778162363927747033553531962074773003315009476932668226727048487248825949602202789014200814696001/7642095392293858939023699732275615597522482014517635374883248634618996214470752759797106100963701024482866251866941275961954971649917727004479626396516439120769390929194270427307609982012932952599384180104872691387129988962554463302434494226096612054806168654736311219108618931376985755805875886135513931202778162363927747033553531962074773003315009476932668226727048487248825949602202789014200814696001", + "phase_local": "101606888350871512189651251265782486320917092441350723450391554469955198130647195128214188713393725110170217829429243994615290333089949094561049217159863048428122953927766902021759086712534426524646133228999518164087312316255601546784566678783933883986046803396263656256896644847231310135787980465180072636469493035535840754497052918435820098773042261929383739043384582981130664149395585065119268742058397797210985799185303999/61136763138350871512189597858204924780179856116141082999065989076951969715766022078376848807709608195862930014935530207695639773199341816035837011172131512966155127433554163418460879856103463620795073440838981531097039911700435706419475953808772896438449349237890489752868951451015886046447007089084111449622225298911421976268428255696598184026520075815461345813816387897990607596817622312113606517568008000000000000000000000000", + "phase_boundary": "20321377670174302437924136576842662177032199528484324197600292908379425517829532426735142545707168419826205881005077838103471773616496265891440279454652675504021007084436167253055201829763529888587380557814293286455382955907036411203803631765616733226567413083871853961735484034522472978182309197890912938689253906398259739754448361157272877556981609560307087990274264588644586695297735374234054687651997797210985799185303999/12227352627670174302437919571640984956035971223228216599813197815390393943153204415675369761541921639172586002987106041539127954639868363207167402234426302593231025486710832683692175971220692724159014688167796306219407982340087141283895190761754579287689869847578097950573790290203177209289401417816822289924445059782284395253685651139319636805304015163092269162763277579598121519363524462422721303513601600000000000000000000000", + "gamma_sublinear": "1/2000000000000000000000000", + "cell_above_band": "15258789062499999999999977099115545206141060976300267724384402477517985482364625116751365381003785529247240202893899036298975517133748133058724038045028350082272995520373603483560879230609070805729572692390017987067047400615819895127308612870011037445536697565505773903387945193831345263688780891381068623014244194124113864486068797221837636072252966446468037925226996684990523067331773272951512751174050397797210985799185303999/30568381569175435756094798929102462390089928058070541499532994538475984857883011039188424403854804097931465007467765103847819886599670908017918505586065756483077563716777081709230439928051731810397536720419490765548519955850217853209737976904386448219224674618945244876434475725507943023223503544542055724811112649455710988134214127848299092013260037907730672906908193948995303798408811156056803258784004000000000000000000000000", + "prime_interval_packing": "12700861043858939023707361670146847522482014517635374883248634618996214470752759797106100963701024482866251866941275961954971649917727004479626396516439120769390929194270427307609982012932952599384180104872691387129988962554463302434494226096612054806168654736311219108618931376985755805875886135513931202778162363927747033553531962074773003315009476932668226727048487248825949602202789014200814696001/7642095392293858939023699732275615597522482014517635374883248634618996214470752759797106100963701024482866251866941275961954971649917727004479626396516439120769390929194270427307609982012932952599384180104872691387129988962554463302434494226096612054806168654736311219108618931376985755805875886135513931202778162363927747033553531962074773003315009476932668226727048487248825949602202789014200814696001", + "alpha_positive": "25401722087717878047407081244901401186025005335538474150899746755977911306130636345577582931187578212972706627781588222885460433583587067683290838061228323811777378762144338176099194634936710928341052599763369841307378540928821732177601322204261555149034874978396341605183056585316775300532663652096485419800518851969358553175861145987182078882985400333374378681093659488174966536178850979914380566052397797210985799185303999/15284190784587717878047399464551231195044964029035270749766497269237992428941505519594212201927402048965732503733882551923909943299835454008959252793032878241538781858388540854615219964025865905198768360209745382774259977925108926604868988452193224109612337309472622438217237862753971511611751772271027862405556324727855494067107063924149546006630018953865336453454096974497651899204405578028401629392002000000000000000000000000", + "alpha_below_one": "15258789062499999999999992383306329793858939023699732275615597522482014517635374883248634618996214470752759797106100963701024482866251866941275961954971649917727004479626396516439120769390929194270427307609982012932952599384180104872691387129988962554463302434494226096612054806168654736311219108618931376985755805875886135513931202778162363927747033553531962074773003315009476932668226727048487248825949602202789014200814696001/15284190784587717878047399464551231195044964029035270749766497269237992428941505519594212201927402048965732503733882551923909943299835454008959252793032878241538781858388540854615219964025865905198768360209745382774259977925108926604868988452193224109612337309472622438217237862753971511611751772271027862405556324727855494067107063924149546006630018953865336453454096974497651899204405578028401629392002000000000000000000000000", + "alpha_below_one_fourth": "3795645974059211591464442784892906397575216001923279213290724570553520195929245743552975467550662934028460419305689049758092025391375276434556522360196991236572918085834990875477705796371529765371351037452672975852257615940348409919039645790844044472254049452389759267949126409103176102602405279415660480181588562329994514963600904835050204422774519338132959734682430584136238008264922543527186026781948102202789014200814696001/15284190784587717878047399464551231195044964029035270749766497269237992428941505519594212201927402048965732503733882551923909943299835454008959252793032878241538781858388540854615219964025865905198768360209745382774259977925108926604868988452193224109612337309472622438217237862753971511611751772271027862405556324727855494067107063924149546006630018953865336453454096974497651899204405578028401629392002000000000000000000000000", + "delta_positive": "1/8000000000000000000000000", + "delta_below_one_eighth": "999999999999999999999999/8000000000000000000000000", + "short_record_fallback": "116221199443611936514400762136216016452475065234680268257724429966701490438380912790993929603207320119136371401245638362382439865885618303528951611503558950317979557279796533286053568278563221804976861303648546942855793298976597777090934508427388070399776995330348614835420684585287582301056677737261364114871722501743106746140374663849745219833761816925396930371059834420290092688931397583010673946574298392350775403282367624822846653179229790133573813159566163703837132231741922832928283504289996006504965352791802998320882285572054095196902705180292684712516803284610364793934810531138157719445430730532125510231345444109805056406844738094398372653057366943086555474735296200040175339916641148979201370623035157763575516133484241827973616371563054274788108141831608157974045392001/116609121586515181564692683903131341514930450660974660871631601480392398292095226437333772292536941901899204282637653746978072687529262191840814611763251329357443098895176245533868560516554763070669314271619761526292877028847571766699745090119882386090182016826420764451730635549575588314908994844597075366253328893492549850975853454011150711110153342848704043986923957630139556115756268142916882548461929321289062500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "small_field_exposure": "1/1000000000000000000000000", + "artificial_boundary": "428058948856806972097516866827081825123015666000227860819374705183061801279034301276760694318665508979161719510802544552668191634193490129110523975241967053482422032907312496897004401157000496549171869449541798287575177091756025965973881791860150059170984701206606596312787776026633052580509714038529685727935069808919034216689219653907272563995401707184286652734850113128953291572545658678054313887021912806608367042602444088003/61136763138350871512189597858204924780179856116141082999065989076951969715766022078376848807709608195862930014935530207695639773199341816035837011172131512966155127433554163418460879856103463620795073440838981531097039911700435706419475953808772896438449349237890489752868951451015886046447007089084111449622225298911421976268428255696598184026520075815461345813816387897990607596817622312113606517568008000000000000000000000000", + "literal_scalar_guard": "1", + "row_product_gap": "23971789/25", + "balanced_prefix_above_kappa": "6557624670309191158516502839534985600187642298434076053672619689734599192378527490191607515623534185555818715890895850380257720953738461804886831111023773935013250441001199092164579595058332978114353538673940385029857239896229556987911477202813218705481603909019430963935745739372577705082271481036645309001339930583529936786835791833007677284487760034042795272215568280094325204044632666910277687174053/7642095392293858939023699732275615597522482014517635374883248634618996214470752759797106100963701024482866251866941275961954971649917727004479626396516439120769390929194270427307609982012932952599384180104872691387129988962554463302434494226096612054806168654736311219108618931376985755805875886135513931202778162363927747033553531962074773003315009476932668226727048487248825949602202789014200814696001000000000000000000", + "coordinate_movement_above_kappa": "42216659953794185094827854675370480720123834301459117238230678240097544423754070673558407597137813240645080999367118185569781125616007693489164172440492770797245366869199496205505620356638937167352620756623487537852259814168118115963527897743737948573541399678233704713759901054310968219181698547664514178261166218891162436092280671878444412343826049897797210985799185303999/15258789062500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "compact_phase_layer_above_kappa": "6557617028213798864657563815835253324572044775952061536037244806485964573382313019438847718517433221854794233024643983438981758998766811887159826631397377418574129671610269897894152287448350965181400939289760280157165852766240594433448174768318992608869549102850776227624526630753646328096515675160759173487408727805367572859088758279475715209714756719033318339547341553045837955218683064707488672973238303999/7642095392293858939023699732275615597522482014517635374883248634618996214470752759797106100963701024482866251866941275961954971649917727004479626396516439120769390929194270427307609982012932952599384180104872691387129988962554463302434494226096612054806168654736311219108618931376985755805875886135513931202778162363927747033553531962074773003315009476932668226727048487248825949602202789014200814696001000000000000000000000000", + "bulk_exposure_above_kappa": "42216659953794185094827854675370480720123834301459117238230678240097544423754070673558407597137813240645080999367118185569781125616007693489164172440492770797245366869199496205505620356638937167352620756623487537852259814168118115963527897743737948573541399678233704713759901054310968219181698547664514178261166218891162436092280671878444412343826049897797210985799185303999/15258789062500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "Gaussian_arithmetic_above_kappa": "10492191830399313559767465519556244684684630155012507168240816620326724088809429513553812227891553733188285462559181493667136391571009888970091925298011641779582079936210989353192900044483350752050013062494124511175080196703978328626195061090006923832158511448262434805985974074377192951145878563782746358888212686155485534931190233379280321580407412739458995502876682521102433077645462664853655285277670103999/12227352627670174302437919571640984956035971223228216599813197815390393943153204415675369761541921639172586002987106041539127954639868363207167402234426302593231025486710832683692175971220692724159014688167796306219407982340087141283895190761754579287689869847578097950573790290203177209289401417816822289924445059782284395253685651139319636805304015163092269162763277579598121519363524462422721303513601600000000000000000000000", + "scalar_work_above_kappa": "52460989720378136974273083692580152525885540864990593911745582634628158920032005450780100327882172520745525244260914936100785805674936044521367644408563794963666882758618663543046209452856681811981875710007342975366166532039847493348828515188011523547240776465986792975174746806361690263672416042417276336496788241890077130366939301110529456201129076957332885245056319513706114383531111733079432483191609303999/61136763138350871512189597858204924780179856116141082999065989076951969715766022078376848807709608195862930014935530207695639773199341816035837011172131512966155127433554163418460879856103463620795073440838981531097039911700435706419475953808772896438449349237890489752868951451015886046447007089084111449622225298911421976268428255696598184026520075815461345813816387897990607596817622312113606517568008000000000000000000000000", + "dimension_above_kappa": "7616693670206141067533909679244513060994020825017350225304393663815079839201866929937493091414826465708741263756592909593863744240978123375778094557222022684117440181829503507705640458988266139565195414953460286727223549711385921727422745670132944933105308548076907486372984977642445208129869853237063773879493318672717561967786398621455163783520782356075009057760711546793969322613365491080124389348631666910277687174053/7642095392293858939023699732275615597522482014517635374883248634618996214470752759797106100963701024482866251866941275961954971649917727004479626396516439120769390929194270427307609982012932952599384180104872691387129988962554463302434494226096612054806168654736311219108618931376985755805875886135513931202778162363927747033553531962074773003315009476932668226727048487248825949602202789014200814696001000000000000000000" + }, + "controls": [ + "next_grid", + "zero_eta", + "zero_beta", + "unit_beta" + ], + "scope": "Conditional native exact-complex witness after complete conservative admission, moment and outer checks; PR559 exact-cover recurrence correction only, bit bad-residue surcharge and H1-H5 retained. The new source-branch gauge and retired-basis completion, the gauge44-barch U8 local word and all 72 cold helper ends, and explicit all333 whole-owner dispatch with a T21 plus T16 eight-role trade are composed with the cited unchanged merged PR589 bit supplier (PR555 punctured R439 word; derived bit deficit T(2Kv-L*cst)), replacing the PR543 supplier of PR635; This is a new T37 composition of the PR870 U8 and PR589 suppliers. All-size compiler, common-label/mutable-source realization, whole-call hosting, precision/tape and analytic transfer remain assumptions. No unconditional theorem or full Lean certification." +} diff --git a/research/t37-binomial-endpoint-audit-seed78/inputs/CLAIM.json b/research/t37-binomial-endpoint-audit-seed78/inputs/CLAIM.json new file mode 100644 index 0000000000..609cfc6a73 --- /dev/null +++ b/research/t37-binomial-endpoint-audit-seed78/inputs/CLAIM.json @@ -0,0 +1,22 @@ +{ + "status": "conditional_finite_construction", + "kappa": "1661960547713947/1000000000000000000", + "kappa_decimal": "0.001661960547713947", + "baseline_pr890_kappa": "0.001661957774647029", + "delta": "0.000000002773066918", + "complex_lower": "0.001664727258740678855772", + "bit_lower": "0.001733427039589844234749", + "replicas": 37, + "calls": 333, + "roles": 167832, + "live": 33152, + "physical": 33666, + "rank_mass": 2408256, + "deficit": 11840, + "prefix_bits": 779, + "charged_prefix_bits": 1024, + "physical_row_coefficient": 17495, + "profile": {"1": 848490, "2": 112554, "3": 148518, "4": 53946, "5": 23976, "8": 2664, "48": 11086}, + "idle": {"1": 6, "48": 11086}, + "scope": "Inherits PR890's all-size/compiler, common-label/physical-hosting, precision/tape, analytic and bit H1-H5 assumptions. No unconditional or formal full-theorem claim. Fixed-family optimality is only on the 1e-18 kappa grid for the unchanged U8 widths, capacities, native moment and outer recipe." +} diff --git a/research/t37-binomial-endpoint-audit-seed78/inputs/EDITS.json b/research/t37-binomial-endpoint-audit-seed78/inputs/EDITS.json new file mode 100644 index 0000000000..da39fe7d7e --- /dev/null +++ b/research/t37-binomial-endpoint-audit-seed78/inputs/EDITS.json @@ -0,0 +1,157 @@ +{ + "delay": 0, + "edits": [ + { + "role": [ + 0, + 30, + 5 + ], + "before": { + "owner_replica": 29, + "child": 8, + "port": 0, + "offset": 0 + }, + "after": { + "owner_replica": 28, + "child": 8, + "port": 79, + "offset": 26 + } + }, + { + "role": [ + 7, + 18, + 266 + ], + "before": { + "owner_replica": 20, + "child": 14, + "port": 111, + "offset": 12 + }, + "after": { + "owner_replica": 27, + "child": 15, + "port": 0, + "offset": 18 + } + }, + { + "role": [ + 8, + 23, + 193 + ], + "before": { + "owner_replica": 27, + "child": 15, + "port": 0, + "offset": 18 + }, + "after": { + "owner_replica": 20, + "child": 14, + "port": 111, + "offset": 12 + } + }, + { + "role": [ + 8, + 2, + 193 + ], + "before": { + "owner_replica": 20, + "child": 14, + "port": 111, + "offset": 21 + }, + "after": { + "owner_replica": 27, + "child": 15, + "port": 0, + "offset": 27 + } + }, + { + "role": [ + 5, + 27, + 186 + ], + "before": { + "owner_replica": 28, + "child": 8, + "port": 79, + "offset": 26 + }, + "after": { + "owner_replica": 20, + "child": 14, + "port": 111, + "offset": 16 + } + }, + { + "role": [ + 7, + 27, + 414 + ], + "before": { + "owner_replica": 27, + "child": 15, + "port": 0, + "offset": 22 + }, + "after": { + "owner_replica": 20, + "child": 14, + "port": 111, + "offset": 20 + } + }, + { + "role": [ + 7, + 6, + 414 + ], + "before": { + "owner_replica": 20, + "child": 14, + "port": 111, + "offset": 25 + }, + "after": { + "owner_replica": 20, + "child": 14, + "port": 111, + "offset": 24 + } + }, + { + "role": [ + 8, + 26, + 414 + ], + "before": { + "owner_replica": 27, + "child": 15, + "port": 0, + "offset": 26 + }, + "after": { + "owner_replica": 20, + "child": 14, + "port": 111, + "offset": 28 + } + } + ] +} diff --git a/research/t37-binomial-endpoint-audit-seed78/inputs/PR589-EXPECTED.json b/research/t37-binomial-endpoint-audit-seed78/inputs/PR589-EXPECTED.json new file mode 100644 index 0000000000..e293ddc557 --- /dev/null +++ b/research/t37-binomial-endpoint-audit-seed78/inputs/PR589-EXPECTED.json @@ -0,0 +1,222 @@ +{ + "word": { + "file": "tune/bitE8mut-p111-tuned.json.gz", + "file_sha256": "e3e301e62bc2b41dbf1ceac0acf3d35824ebeab1848c5a2142d4577b109da52f", + "content_sha256": "5642fd0e35a1acc11acff8d0c08350c1617e95f310d4d35ad63a651f9eeeba0b", + "v": 111, + "R": 439, + "punctured": [ + 10, + 15, + 51, + 53, + 56, + 66, + 72, + 89, + 111 + ], + "retained_totals": 9, + "copy_ranks": [ + 7, + 7, + 7, + 7, + 7, + 7, + 7, + 7, + 7 + ], + "decoder_constant": 63, + "gates": { + "D": 111, + "A": 2075, + "B": 712, + "C": 2574 + }, + "local_histogram": { + "1": 1323, + "2": 1342, + "3": 79, + "4": 44, + "5": 102, + "6": 11, + "7": 19 + }, + "legality": { + "records": 27234, + "common_frame_ADDs": 24305, + "rank_mass": 5129 + }, + "five_stage_columns": 883, + "five_stage_payload_bits": 93, + "nine_stage_columns": 1327, + "nine_stage_payload_bits": 93, + "eleven_stage_columns": 1549, + "eleven_stage_payload_bits": 93, + "base_content_sha256": "d0df3c89ae84989f4045ba1681a5e2e9fcdfa38ed0301c8abf5185537155cbe3" + }, + "interface": { + "hypotheses": { + "H1_no_target_feeds_z": true, + "H2_D_frame0_targets_from_helpers": true, + "H3_A_z_only_scatter_targets_B_split": true, + "H4_C_literal_reverse_at_full": true, + "H5_V_identity": true + }, + "conclusion": { + "U_block_form": true, + "J_identity": true, + "K_equals_D": true, + "C_is_U_inverse": true + }, + "interleaving": { + "z_gates_A": 2075, + "source_writes_A": 0, + "z_gates_B": 499, + "source_writes_B": 483, + "helper_writes_B": 16, + "sources_rewritten_B": 108, + "B_z_write_frame_dims": { + "4": 388, + "6": 111 + }, + "B_z_operand_kinds": { + "helper<-helper": 3, + "helper<-source": 13, + "source<-helper": 108, + "source<-source": 375 + }, + "B_z_operand_kinds_by_dim": { + "dim4:helper<-source": 13, + "dim4:source<-source": 375, + "dim6:helper<-helper": 3, + "dim6:source<-helper": 108 + }, + "B_z_writes_after_a_target_read_of_the_same_register": 454, + "B_target_reads_of_registers_rewritten_earlier_in_B": 111, + "target_reads_of_targets": 0, + "cleanup_gates": 2574 + } + }, + "nine": { + "pipeline": "PR #510 (PR #463 nine-stage template, 32 replicas, PR #442 hosting, PR #493 outer assembly), parameterised for v <= 120 by code/adapt9p.py", + "bit_lower": "1733427039589844234749/1000000000000000000000000", + "bit_lower_decimal": "0.001733427039589844234749", + "profile": { + "1": 381024, + "2": 400416, + "3": 22752, + "4": 26880, + "5": 29376, + "6": 17376, + "7": 26784, + "42": 288 + }, + "bit": { + "live": 28416, + "physical": 28425, + "maxchild": 42, + "rank_mass": 1808352, + "hosted_residuals": 126432, + "bank_assignments": 0, + "prefix_bits": 177, + "charged_prefix_bits": 192, + "coefficient_bits": 177, + "two_level_coefficient_bits": 393, + "charged_two_level_coefficient_bits": 512, + "row_coefficient": 18355, + "halving_depth": 2 + }, + "kappa": { + "pr548": { + "kappa": "49718254847979/31250000000000000", + "kappa_decimal": "0.001590984155135328", + "complex_lower": "796759709641153381751/500000000000000000000000", + "binding_component": "complex" + }, + "pr544": { + "kappa": "397677800014309/250000000000000000", + "kappa_decimal": "0.001590711200057236", + "complex_lower": "31864911873350496687/20000000000000000000000", + "binding_component": "complex" + }, + "pr535": { + "kappa": "793733736881443/500000000000000000", + "kappa_decimal": "0.001587467473762886", + "complex_lower": "1589991533606044174031/1000000000000000000000000", + "binding_component": "complex" + }, + "pr531": { + "kappa": "1517760977820331/1000000000000000000", + "kappa_decimal": "0.001517760977820331", + "complex_lower": "304013615566499291631/200000000000000000000000", + "binding_component": "complex" + } + } + }, + "eleven": { + "pipeline": "PR #493 (PR #445 geometry, PR #472 emitter, audit and invoice, PR #442 hosting), parameterised by PR #545's code/adapt.py", + "bit_lower": "855475950388791987811/500000000000000000000000", + "bit_lower_decimal": "0.001710951900777583975622", + "profile": { + "1": 116424, + "2": 121648, + "3": 6952, + "4": 7424, + "5": 8976, + "6": 4520, + "7": 8776, + "56": 2600 + }, + "bit": { + "live": 8880, + "physical": 8889, + "maxchild": 56, + "rank_mass": 689304, + "hosted_residuals": 38632, + "prefix_bits": 4304, + "charged_prefix_bits": 4352, + "coefficient_bits": 4304, + "three_level_coefficient_bits": 12966, + "charged_three_level_coefficient_bits": 12992, + "row_coefficient": 19431, + "halving_depth": 3 + }, + "emitted_program_sha256": "793b6f40c9aa4b8db57fec0ac0973e16884dae28707e482ee8f7a2349a5d5a4b", + "kappa": { + "pr548": { + "kappa": "49718254847979/31250000000000000", + "kappa_decimal": "0.001590984155135328", + "complex_lower": "796759709641153381751/500000000000000000000000", + "binding_component": "complex" + }, + "pr544": { + "kappa": "397677800014309/250000000000000000", + "kappa_decimal": "0.001590711200057236", + "complex_lower": "31864911873350496687/20000000000000000000000", + "binding_component": "complex" + }, + "pr535": { + "kappa": "793733736881443/500000000000000000", + "kappa_decimal": "0.001587467473762886", + "complex_lower": "1589991533606044174031/1000000000000000000000000", + "binding_component": "complex" + }, + "pr531": { + "kappa": "1517760977820331/1000000000000000000", + "kappa_decimal": "0.001517760977820331", + "complex_lower": "304013615566499291631/200000000000000000000000", + "binding_component": "complex" + } + } + }, + "base": { + "nine_bit_lower": "1733052823330162099157/1000000000000000000000000", + "nine_bit_lower_decimal": "0.001733052823330162099157", + "eleven_bit_lower": "427652201524503168379/250000000000000000000000", + "eleven_bit_lower_decimal": "0.001710608806098012673516", + "note": "PR #555's EXPECTED.json (untuned word); the tune/ pipeline is the same, with the same frozen hosting selections" + } +} diff --git a/research/t37-binomial-endpoint-audit-seed78/inputs/selected-result.json b/research/t37-binomial-endpoint-audit-seed78/inputs/selected-result.json new file mode 100644 index 0000000000..3d7529d77a --- /dev/null +++ b/research/t37-binomial-endpoint-audit-seed78/inputs/selected-result.json @@ -0,0 +1,177 @@ +{ + "status": "Maintainer-reviewed conditional finite construction; see the integration receipt for publication and PR resolution status", + "kappa": "1661960547713947/1000000000000000000", + "decimal": "0.001661960547713947", + "source_prs": [ + 942, + 890, + 870, + 869, + 858, + 799, + 741, + 699, + 685, + 676, + 664, + 660, + 659, + 656, + 655, + 653, + 658, + 649, + 645, + 635, + 589, + 555, + 545, + 626, + 623, + 622, + 620, + 617, + 615, + 604, + 601, + 596, + 592, + 591, + 593, + 599, + 588, + 543, + 584, + 586, + 583, + 582, + 579, + 576, + 575, + 574, + 571, + 569, + 568, + 567, + 564, + 562, + 561, + 559, + 558, + 552, + 550, + 548, + 541, + 535, + 510, + 503, + 531, + 523, + 493, + 514, + 507, + 484, + 496, + 505, + 522, + 520, + 472, + 458, + 445, + 442, + 425, + 433, + 370, + 361, + 315 + ], + "source_manifest": "research/community-frontier942-audit/SELECTED-SOURCE.json", + "certificate": "research/community-frontier942-audit/ASSEMBLY.json", + "certificate_sha256": "4b2894956e594e408e111d806c842f2ed2c32aefcadff93fad69ff0b46f1991a", + "proof": "docs/research/community-batch952-review.md", + "proof_supplements": { + "research/e8-bit-r420/README.md": "9807be57c6adf26b30e4f54e2f8160075bbc05091f1a6d157e43d2a4620c1c9f", + "research/complex-571-free4fc8/NOTICE.md": "a4c084abdc1c7a9ac683eeb11124335d51cff8a6deba6ee92ba5a12bceaa2c97", + "research/complex-multicold/proof/CONSTRUCTION.md": "27ece5e1c11b90d97a808b56eff897b998c10e61016db95867f84e6e6aef132f", + "research/complex-multicold/vendor/pr559/PROOF.md": "d5d498edc56fdef8c5798af7f5ec66948bd2f66c553b9efe366cdaab01bd3453", + "research/structural-gain/frontier-composition/README.md": "70f0f791cbe3b2603f85d85bb9055aa0ee1df6dc06ba82fc1921356948312887", + "research/complex-joint-prefix/proof/CONSTRUCTION.md": "a92e610e7a598d99c612d1b63d1a03a49c0cd1e15ddd29fa55c465ddd8c18105", + "research/kernel-frame-coalescing/PROOF.md": "fa8b2f36b9590ee80ff45d3f7724f8c7de8ad29a29f366d5133010c77e41fe1b", + "research/complex-571-hpeq5/README.md": "4000b37f6c07c09d971dc4010ceb137c13340f3a8809d3272046ccaf746c3e2b", + "research/hyperplane-end-lean/PROOF.md": "1cbce5cf0ff0152f71e8ae7bef25841d1ce13010af248ff7209182d2328c21c9", + "docs/research/community-hyperplane599-review.md": "3298cd0d451541508af232cac72efbd7c10580e6c6ad493a855ab0faa01ade8c", + "research/complex-571-cold14-b3/README.md": "1945785785c153c7d0e8d4c071adabe626c1091b71721ff85d2d67191b376b96", + "research/complex-571-cold14-b3/PROOF-NOTE.md": "1cf592cbc8ab8e21d2dd8c1e945a5c64c6d5cde1216fb06e05a36c1c6ec6613d", + "scripts/verify_cold617_interface.py": "95d7a9094c05ad975fb72f5ab7605593003245a503c8456764987e512028fa6a", + "docs/research/community-cold617-review.md": "b3f2bcbae1249f1f651032022ce1e6e2bfb3f563ce580bf53671f50a074d7046", + "research/complex-k492-owner-repair/README.md": "ee5a1ace4828f7a073be97e95c2d931988774dd3a29a877e65abdf429aeec902", + "research/complex-k492-owner-repair/PROOF-NOTE.md": "337d70fe7abd9afca1d90954c23bde87f4dc27888cc1a6b4bb80506fd6fbf8c5", + "research/complex-k492-owner-repair/PROOF-NOTE-R.md": "22312bb347bdf159e6a01a45c47675e6170d33b258e2fd9ed52aee88fb92c0ed", + "docs/research/community-k492-review.md": "3b731d30e80010b15408a289b0b32192700885474c8b36d48ee3320a7a8c5c47", + "scripts/verify_frontier626.py": "2207bd0ef04a19ef276869085afdedad80a0938fa75db5e1aa7ab73fd3429444", + "scripts/verify_frontier626_bindings.py": "cda63ff41c6d6e2e352c7bf75b84e690c0ce57e4ec6c0355573bb5d9b1f98280", + "scripts/verify_frontier588_bindings.py": "6d1932eea7b1936598118ea8e607b09c29b6e31b749ec41bbe0744ea4f0b606d", + "scripts/verify_hpe_lean_binding.py": "52aa1d23641e4c716b43c98f6b883ad042087dd03a9d01369e8e6a735b07aa03", + "research/hyperplane-end-lean/HyperplaneEnd/Exact.lean": "eebf3a3982af7ab9be45777b272a6aaa523206fa7667ceb6df63ad6589fd8183", + "docs/research/community-frontier741-review.md": "4634694fa75ea9e749ecf19d3db3e4d82effe3b61a2efdf08ac5a97275fb676a", + "research/complex-sw4-frame8/PROVENANCE.md": "c7648719b01dd93af2c3a2c6e951a54711d13892dc4bd4339d16edb4c37c9bf0", + "research/e8-bit-p111-tuned/tune/README.md": "46c7917fb252949f38b7bcd88cf568efc282e3ea065b61d11e457e41673d0b2d", + "scripts/verify_frontier741.py": "215ee6a12de8dc2392e6811a1b8f2140035f6b2d2a0d2100ff4bd2fdcb8bb39b", + "scripts/verify_frontier741_bindings.py": "eff455167e2fd0bc9a67d35241d0e69d8edc58f3a23e776dcfe8f500ca8e8d67", + "docs/research/community-frontier799-review.md": "bd91c10c67f2a873fd456b95cbb43f715a43dac0e0a66938737d591c6b754052", + "scripts/verify_frontier799.py": "19fe1b32079095160dc00fe2f7df75e0fcbc82cff37f7159b755c8a63bd5ce99", + "scripts/verify_frontier799_bindings.py": "43897b3c99212d6134870898a1840f32898aa1b3679b299e654901568ad7e19b", + "research/gauge44-frames-x/PROOF-NOTE-FRAMES-X4.md": "39c50420ebb6e8813706a49b2cf759f277c4afac9f6780fc0a7ac6a5fb86e036", + "docs/research/community-frontier890-review.md": "cd03b7c2c6c09db2cfa89ae40133ae44e1deb6e32ec5ddd23aacecc9c50f2fea", + "scripts/verify_frontier890.py": "88ea38dbef62dd7c0dd46e212618520cc89213edddb2032800e5509993958175", + "scripts/verify_replay_coverage.py": "babe5941d7e6dac4248613ef01f950ee7bb6199e7355021aea4cf854fd1b91c5", + "scripts/verify_frontier741_bridge_coverage.py": "9a14f26762b6126eb54ed43db90371773374fe98733ada80ee871a74afa3b836", + "certificates/replay-coverage/pr741-sw4-v1.json": "7acd5033bc78e3f473718269edaa267c2785d84fbe95ccf6815a33dcf58c2756", + "research/complex-t21-owners/PROOF.md": "78721b32fceb34b21b8e77c95381c38c60276e72e6d9c2e9c6262cb347457def", + "research/complex-t21-owner-bound/PROOF.md": "2aa0aa6ec1d87402138564c38749b5ca0f058c16817efdf58a2685d2d90cb417", + "research/gauge44-barch/PROOF-NOTE-BARCH.md": "c24f211b09358b25d6cf47dd18e4bbd8bcf4ecf279e6f1c6c90613cfa230818d", + "research/complex-double-replica-owners/PROOF.md": "db99599e3966bec253c577c23915e2a2899c4c4e8568044efc11c7918b137bbc", + "docs/research/community-batch952-review.md": "04db59dfc2c31453229b6061bbf59547e71ce3abdc0ce0f6779144bb0dde127b", + "scripts/verify_frontier942.py": "27c6713532d9f53f55dfff4884d55a2d9ae74b68156e37a44596c0418fbed5b7", + "research/complex-t37-owners/PROOF.md": "09b39ad0d5f1f59f54dcff15c16640f7a7acf27e6597660acaf957b95c7e8510", + "research/complex-t37-owners/ALL-T-PROOF.md": "4c0c71ccd0afb850538af1b467e5208b7eb3edd0260fded84e02a8c01dfc868b", + ".github/workflows/t37-owners.yml": "c13acc2902c007237103072b7ec10caf5ca21c1b319d27934f194af2f7d87026" + }, + "review": "docs/research/community-batch952-review.md", + "validation": "docs/research/community-batch952-integration.json", + "reproduce": "make frontier942-verify", + "scope": "U8/T37 finite composition with 1024-bit complex prefix allowance and complete source-bound baseline coverage; explicit reused ancestry recorded. Inherited all-size/compiler, common-label/mutable-source, whole-call hosting, precision/tape, analytic and bit H1-H5 obligations remain. Not a full Lean multiplication theorem; Linux integration CI tracked separately.", + "previous_kappa": "1661957774647029/1000000000000000000", + "previous_record": "certificates/checkpoints/frontier890.json", + "audited_source_head": "1960cfa919a0945d0ca4cb14ea96237000037903", + "reviewed_dependency_heads": { + "588": "6d0e53b66c29abd17981881a09eaff41ac862d85", + "543": "2065fe4f72a914d907f1046603f5a36f17018535", + "568": "71c99ac935a33bb7b59a1b4a7af8725a939b0b90", + "569": "1424da81263a5305b35e4cf74ef686c275f03f3f", + "571": "b7bdc5a8de18fcf418cfb9c7d83a2b1097a5e4a3", + "575": "eac6f7e378ab622dac50a2fd4b7ef6eab014de44", + "583": "89be768f0157f5a3d8e4db69cf1748768605eac9", + "586": "4846fee5b06af770e9b3a10c36200f673d656725", + "591": "f622547244bf6d895a571a7b035142ba66279806", + "592": "1f471c445c06a45a32e2c47e8d74c8264b68356b", + "593": "fdb6dcc6d7bc29764c5b6b4d32b7fa050acf74a4", + "596": "7732dd5e46863ff294b5e443661cb9d99abf4e01", + "599": "bc13c8a3e000442606bd2dbe8583a17649ba6c32", + "601": "529ab7dcb59d5ea7a5798e9e06cf5b3aee8a1550", + "604": "1b795c5d7dea746ba310572585c0ef067574b4a6", + "615": "bf8a49a34350599763cced8592db81dc62c2c1c0", + "617": "904d62855723c00f8acef9a287a10768598fdeb2", + "622": "f69477f4f6d3c7eb1f740b166881bffed4ffa9f6", + "623": "e39a615ca601ce5d62abeb24f3fcdb8644ca1005", + "626": "660de893d27bb7abd1d5b01b1640207528a5c851", + "589": "a5afc8c6169ea61ba7c51dfd3cade02cc7b13b46", + "741": "e516b1463606840a15f80aac1995d64ce0092e89", + "799": "80e6463157cfc80b85af09e7e2f14748fe2dac60", + "858": "ae2e25fee91540c83ceee5a60e3b07422ce21c7d", + "869": "73e86f69bf9a391e3c334999f7bbe3825dc42759", + "870": "b734850dc348800942f0ffd1f0723fdec7539b2b", + "890": "4b3bd8cbe8e3e81c44161017c9b72c905a8040a8", + "942": "1960cfa919a0945d0ca4cb14ea96237000037903" + } +} diff --git a/research/t37-binomial-endpoint-audit-seed78/test_package.py b/research/t37-binomial-endpoint-audit-seed78/test_package.py new file mode 100644 index 0000000000..ac2782f4af --- /dev/null +++ b/research/t37-binomial-endpoint-audit-seed78/test_package.py @@ -0,0 +1,168 @@ +#!/usr/bin/env python3 +# SPDX-License-Identifier: Apache-2.0 +"""Disposable on-disk mutation and relocation tests for t37-binomial-endpoint-audit-seed78. + +Runs under Python -I -O -B from a temporary directory with spaces in its path, +preserving the original package and checking fail-closed certificate preservation. +""" +import hashlib +import json +from pathlib import Path +import runpy +import shutil +import subprocess +import sys +import tempfile + +HERE = Path(__file__).resolve().parent + + +def run(package, cwd, *arguments): + return subprocess.run( + [sys.executable, '-I', '-O', '-B', str(package / 'verify.py'), *arguments], + cwd=cwd, + capture_output=True, + text=True, + timeout=60, + ) + + +def main(): + completed = 0 + mutations = ( + ( + 'inputs/ASSEMBLY.json', + '416181814685169713943/250000000000000000000000', + '416181814685169713944/250000000000000000000000', + 'Pinned input changed: inputs/ASSEMBLY.json', + ), + ( + 'inputs/selected-result.json', + '1661960547713947', + '1661960547713948', + 'Pinned input changed: inputs/selected-result.json', + ), + ( + 'inputs/CLAIM.json', + '"calls": 333', + '"calls": 332', + 'Pinned input changed: inputs/CLAIM.json', + ), + ( + 'inputs/EDITS.json', + '"delay": 0', + '"delay": 1', + 'Pinned input changed: inputs/EDITS.json', + ), + ( + 'inputs/PR589-EXPECTED.json', + '"decoder_constant": 63', + '"decoder_constant": 62', + 'Pinned input changed: inputs/PR589-EXPECTED.json', + ), + ( + 'CERTIFICATE.json', + 'PASS_T37_BINOMIAL_AND_ENDPOINT_AUDIT', + 'UNVERIFIED', + 'Recorded certificate differs from fresh independent computation', + ), + ( + 'verify.py', + 'Q(su + tail, D)', + 'Q(su, D)', + 'Algebraic enclosure failed', + ), + ( + 'verify.py', + 'nu = ceil_div(tu * numerator, denominator)', + 'nu = tu * numerator // denominator', + 'Algebraic enclosure failed', + ), + ( + 'verify.py', + 'Q(32 * m * sum(profile.values()), 10**16 * live)', + 'Q(31 * m * sum(profile.values()), 10**16 * live)', + 'Claimed successor does not have a strict rejection certificate', + ), + ( + 'verify.py', + 'lam_lo, lam_hi = cost[1][0] / 925, cost[1][1] / 925', + 'lam_lo, lam_hi = cost[1][0] / 300, cost[1][1] / 300', + 'Supporting rank inequality failed at r=2', + ), + ) + with tempfile.TemporaryDirectory(prefix='t37 binomial controls ') as temporary: + root = Path(temporary) + pristine = root / 'relocated with spaces' + shutil.copytree(HERE, pristine, ignore=shutil.ignore_patterns('__pycache__')) + ok = run(pristine, root) + if ok.returncode != 0 or 'PASS_T37_BINOMIAL_AND_ENDPOINT_AUDIT' not in ok.stdout: + raise RuntimeError('Relocated optimized positive failed: ' + ok.stderr) + certificate = (pristine / 'CERTIFICATE.json').read_bytes() + regenerated = run(pristine, root, '--write-certificate') + if ( + regenerated.returncode != 0 + or (pristine / 'CERTIFICATE.json').read_bytes() != certificate + ): + raise RuntimeError('Exact certificate regeneration failed: ' + regenerated.stderr) + + for number, (name, before, after, expected_error) in enumerate(mutations): + package = root / ('case ' + str(number)) + shutil.copytree(pristine, package) + path = package / name + text = path.read_text() + if before not in text: + raise RuntimeError('Mutation target missing: ' + name) + path.write_text(text.replace(before, after, 1)) + before_certificate = (package / 'CERTIFICATE.json').read_bytes() + arguments = ('--write-certificate',) if name == 'verify.py' else () + bad = run(package, root, *arguments) + if bad.returncode == 0 or 'ValueError: ' + expected_error not in bad.stderr: + raise RuntimeError( + 'Mutation missed its expected rejection: ' + name + '\n' + bad.stderr + ) + if (package / 'CERTIFICATE.json').read_bytes() != before_certificate: + raise RuntimeError('Rejected run overwrote the certificate: ' + name) + completed += 1 + + check_repository = runpy.run_path(str(pristine / 'verify.py'))['repository_bindings'] + pins = json.loads((pristine / 'SOURCES.json').read_text()) + repository = root / 'repository fixture' + for local, remote in pins['provenance'].items(): + destination = repository / remote + destination.parent.mkdir(parents=True, exist_ok=True) + shutil.copyfile(pristine / local, destination) + reference = repository / 'reference.txt' + reference.write_bytes(b'Independent source reference fixture\n') + pins['references'] = { + 'reference.txt': hashlib.sha256(reference.read_bytes()).hexdigest() + } + if check_repository(repository, pins) != 6: + raise RuntimeError('Repository binding positive failed') + reference.write_bytes(b'Changed reference\n') + for remove, expected_error in ( + (False, 'Repository source changed: reference.txt'), + (True, 'Missing repository source: reference.txt'), + ): + if remove: + reference.unlink() + try: + check_repository(repository, pins) + except ValueError as error: + if str(error) != expected_error: + raise RuntimeError( + 'Unexpected repository rejection: ' + str(error) + ) from error + else: + raise RuntimeError('Changed repository reference accepted') + completed += 1 + + print( + 'PASS_T37_BINOMIAL_PACKAGE controls=' + + str(completed) + + ' relocated_optimized=PASS regeneration=PASS failure_preserves_certificate=PASS' + ) + + +if __name__ == '__main__': + main() diff --git a/research/t37-binomial-endpoint-audit-seed78/verify.py b/research/t37-binomial-endpoint-audit-seed78/verify.py new file mode 100644 index 0000000000..006e29a2d1 --- /dev/null +++ b/research/t37-binomial-endpoint-audit-seed78/verify.py @@ -0,0 +1,848 @@ +#!/usr/bin/env python3 +# SPDX-License-Identifier: Apache-2.0 +"""Independent positive-binomial and 1024-bit endpoint-to-kappa audit of the selected PR #942 (T37) record. + +Prepared for steph4n-gh with substantial Google Gemini assistance (Track 75-84, Seed 78). +Uses only the Python 3 standard library. No production logarithm, exponential, +moment, outer-assembly, supplier, or owner module is imported or executed. +""" +import argparse +from collections import Counter +from decimal import Decimal, localcontext +from fractions import Fraction as Q +import hashlib +import itertools +import json +from pathlib import Path + +HERE = Path(__file__).resolve().parent +D = 1 << 240 +TAIL_LIMIT = 1 << 70 # At most 2^-170 per power factor. + +WIDTHS = (4, 5, 7, 8, 9) +PRICES = (-1, -20, -8, -2, 4) +CAPACITIES = {8: (672, 2), 16: (448, 4), 32: (448, 8), 48: (448, -13)} +INVENTORY = {4: 80, 5: 32, 7: 54, 8: 122, 9: 216} +U8_LOCAL_PROFILE = {1: 2548, 2: 338, 3: 446, 4: 162, 5: 72, 8: 8} +T21_IDLE = {48: 6292, 3: 1, 1: 3} +T16_IDLE = {48: 4793, 44: 1, 2: 1, 1: 2} +EDITED_HELPER_WIDTHS = {5: 4, 186: 4, 193: 4, 266: 9, 414: 4} +INITIAL_AFFECTED_REMAINDERS = { + (29, 8, 0): 44, + (28, 8, 79): 0, + (20, 14, 111): 3, + (27, 15, 0): 2, +} + + +def require(condition, message): + if not condition: + raise ValueError(message) + + +def ceil_div(n, d): + return -(-n // d) + + +def ceil_q(x): + return -(-x.numerator // x.denominator) + + +def dec70(x): + with localcontext() as ctx: + ctx.prec = 70 + return str(Decimal(x.numerator) / Decimal(x.denominator)) + + +def git_blob_sha1(data): + header = b'blob ' + str(len(data)).encode('ascii') + b'\0' + return hashlib.sha1(header + data).hexdigest() + + +def intervals_overlap(a_lo, a_hi, b_lo, b_hi): + return max(a_lo, b_lo) <= min(a_hi, b_hi) + + +def power_interval(r, m, a): + """Enclose (m/r)^a for 0 <= a <= 1 via positive generalized-binomial series. + + Put x = 1 - r/m in [0, 1). Then + (m/r)^a = (1 - x)^(-a) = sum_{k>=0} t_k, + where t_0 = 1 and t_{k+1} = t_k * ((a + k) / (k + 1)) * x. + Since 0 <= a <= 1, (a + k)/(k + 1) <= 1, so t_{k+m} <= t_{k+1} * x^{m-1} + for all m >= 1, bounding the infinite tail after t_k by t_{k+1} / (1 - x) + = t_{k+1} * (m / r). Every recurrence step rounds outward on denominator D. + """ + require(type(r) is int and type(m) is int and 0 < r <= m, 'Invalid rank or arity') + require(isinstance(a, Q) and 0 <= a <= 1, 'Saving must be a rational in [0,1]') + if a == 0 or r == m: + return Q(1), Q(1), 0 + p, q = a.numerator, a.denominator + tl = tu = sl = su = D + for k in range(20000): + numerator = (p + k * q) * (m - r) + denominator = q * (k + 1) * m + nl = tl * numerator // denominator + nu = ceil_div(tu * numerator, denominator) + tail = ceil_div(nu * m, r) + if tail <= TAIL_LIMIT: + return Q(sl, D), Q(su + tail, D), k + 1 + tl, tu = nl, nu + sl, su = sl + tl, su + tu + raise ValueError('Series did not reach the prescribed tail bound') + + +def moment(profile, m, live, a, surcharge=False): + require(type(live) is int and live > 0, 'Invalid live stock') + require(type(m) is int and m > 1 and bool(profile), 'Invalid arity or empty profile') + lower = upper = Q(0) + terms = {} + for r, count in sorted(profile.items()): + require(type(r) is int and type(count) is int and 0 < r < m and count > 0, + 'Invalid child rank or multiplicity') + l, u, steps = power_interval(r, m, a) + weight = Q(r * count, m * live) + lower += weight * l + upper += weight * u + terms[str(r)] = steps + if surcharge: + l, u, steps = power_interval(1, m, a) + weight = Q(32 * m * sum(profile.values()), 10**16 * live) + lower += weight * l + upper += weight * u + terms['fallback'] = steps + return lower, upper, terms + + +def bracket_and_compare(profile, m, live, endpoint, surcharge, recorded_rows): + step = Q(1, 10**24) + lower = moment(profile, m, live, endpoint, surcharge) + upper = moment(profile, m, live, endpoint + step, surcharge) + require(lower[1] < 1, 'Claimed lower endpoint does not have a strict acceptance certificate') + require(upper[0] > 1, 'Claimed successor does not have a strict rejection certificate') + require(len(recorded_rows) == 2, 'Expected two recorded moment rows') + for row, (lo, hi, _), expected_z, expected_accept in ( + (recorded_rows[0], lower, endpoint, True), + (recorded_rows[1], upper, endpoint + step, False), + ): + require(Q(row['endpoint']) == expected_z and row['accept'] is expected_accept + and row['surcharge'] is surcharge, 'Recorded moment row metadata mismatch') + res_lo, res_hi = lo - 1, hi - 1 + for engine_key in ('mercator', 'base_two'): + rec_lo, rec_hi = map(Q, row[engine_key]) + require(intervals_overlap(res_lo, res_hi, rec_lo, rec_hi), + 'Binomial interval disagrees with recorded ' + engine_key) + return { + 'endpoint': str(endpoint), + 'successor': str(endpoint + step), + 'lower_residual_interval': [str(lower[0] - 1), str(lower[1] - 1)], + 'successor_residual_interval': [str(upper[0] - 1), str(upper[1] - 1)], + 'terms': lower[2], + 'overlaps_recorded_mercator_and_base_two': True, + } + + +def verify_edits_and_accounting(claim, assembly, edits_doc): + replicas, m = 37, 73 + calls, roles, live = 9 * replicas, 9 * replicas * 504, 8 * 112 * replicas + physical = live + 504 + 8 + 2 + for key, expected in ( + ('replicas', replicas), + ('calls', calls), + ('roles', roles), + ('live', live), + ('physical', physical), + ('rank_mass', 2408256), + ('deficit', 11840), + ('prefix_bits', 779), + ('charged_prefix_bits', 1024), + ('physical_row_coefficient', 17495), + ): + require(type(claim[key]) is int and claim[key] == expected, + 'Construction claim accounting changed: ' + key) + require(assembly['provider_counts'] == {'gauge44': calls}, 'Assembly call count mismatch') + + # Verify the 8-role remainder trade in EDITS.json converts {44:1, 3:1, 2:1} -> {48:1, 1:1}. + require(edits_doc['delay'] == 0 and len(edits_doc['edits']) == 8, 'Expected 8 delay-0 edits') + seen_roles = set() + delta_used = Counter() + for entry in edits_doc['edits']: + role = tuple(entry['role']) + require(len(role) == 3 and role not in seen_roles, 'Duplicate or malformed edit role') + seen_roles.add(role) + helper = role[2] + require(helper in EDITED_HELPER_WIDTHS, 'Unexpected edited helper index') + w = EDITED_HELPER_WIDTHS[helper] + b_bin = (entry['before']['owner_replica'], entry['before']['child'], entry['before']['port']) + a_bin = (entry['after']['owner_replica'], entry['after']['child'], entry['after']['port']) + require(b_bin in INITIAL_AFFECTED_REMAINDERS and a_bin in INITIAL_AFFECTED_REMAINDERS, + 'Edit touches unexpected owner bin') + delta_used[b_bin] -= w + delta_used[a_bin] += w + before_rem = Counter(r for r in INITIAL_AFFECTED_REMAINDERS.values() if r > 0) + after_rem = Counter() + for bin_key, init_r in INITIAL_AFFECTED_REMAINDERS.items(): + final_r = init_r - delta_used[bin_key] + require(0 <= final_r <= 48, 'Invalid post-edit remainder') + if final_r > 0: + after_rem[final_r] += 1 + require(dict(before_rem) == {44: 1, 3: 1, 2: 1} and dict(after_rem) == {48: 1, 1: 1}, + 'Remainder trade does not realize 44+3+2 -> 48+1') + + untraded_idle = Counter(T21_IDLE) + Counter(T16_IDLE) + require(dict(untraded_idle) == {48: 11085, 44: 1, 3: 1, 2: 1, 1: 5}, + 'Untraded T21+T16 idle sum mismatch') + traded_idle = Counter(untraded_idle) + traded_idle.subtract(before_rem) + traded_idle.update(after_rem) + traded_idle = +traded_idle + idle = {48: 11086, 1: 6} + require(dict(traded_idle) == idle and {int(r): c for r, c in claim['idle'].items()} == idle, + 'Traded idle profile mismatch') + + derived = Counter({r: c * calls for r, c in U8_LOCAL_PROFILE.items()}) + derived.update(idle) + profile = {int(r): c for r, c in assembly['complex_profile'].items()} + require(dict(derived) == profile and {int(r): c for r, c in claim['profile'].items()} == profile, + 'Local + idle profile does not match committed assembly') + require(sum(profile.values()) == 1201234, 'Complex child count mismatch') + require(sum(r * c for r, c in profile.items()) == 2408256, 'Complex rank mass mismatch') + require(m * live - 2408256 == 11840 == replicas * 320, 'Complex deficit mismatch') + + # Finite reserve, symplectic group stock, C0 precision, and row-coefficient checks. + local_prefix_bits = 72 + prefix_bits = local_prefix_bits + replicas + calls + calls + 4 + require(prefix_bits == 779 < 1024 and prefix_bits >= 512, + 'Global prefix bit reserve check failed') + group = 1 << (36 * 36) + for j in range(1, 37): + group *= (1 << (2 * j)) - 1 + stock = group * physical + streamed_mass = group * 2408256 + total_mass = streamed_mass + (1 << 100000) + stock_bits = stock.bit_length() + c0_bits = (32 * 73 * total_mass * total_mass).bit_length() + row_coeff = 2 * stock_bits + 9909 + 252 + 2 * 1024 + require(stock_bits == 2643 and c0_bits == 200012 < 210000 and total_mass < (1 << 100001), + 'Symplectic stock or C0 bit bound mismatch') + require(row_coeff == 17495 < 20161, 'Physical row coefficient mismatch') + # Admissible integer payload reserve window P: 779 < P and 15447 + 2*P < 20161 => 780 <= P <= 2356. + for payload, expected_ok in ((512, False), (779, False), (780, True), + (1024, True), (2356, True), (2357, False)): + ok = (prefix_bits < payload) and (2 * stock_bits + 9909 + 252 + 2 * payload < 20161) + require(ok is expected_ok, 'Payload reserve boundary check failed at ' + str(payload)) + return profile, { + 'replicas': replicas, + 'calls': calls, + 'roles': roles, + 'live_stock': live, + 'physical_stock': physical, + 'child_count': 1201234, + 'rank_mass': 2408256, + 'deficit': 11840, + 'local_prefix_bits': local_prefix_bits, + 'global_prefix_bits': prefix_bits, + 'charged_prefix_bits': 1024, + 'historical_512_prefix_rejected': prefix_bits >= 512, + 'admissible_payload_interval': [780, 2356], + 'physical_stock_bits': stock_bits, + 'required_C0_bits': c0_bits, + 'C0_exponent_cap': 210000, + 'physical_row_coefficient': row_coeff, + 'retained_row_coefficient_cap': 20161, + 'remainder_trade': { + 'edits_count': 8, + 'before_remainders': {'2': 1, '3': 1, '44': 1}, + 'after_remainders': {'1': 1, '48': 1}, + 'untraded_idle': {str(k): v for k, v in sorted(untraded_idle.items())}, + 'traded_idle': {str(k): v for k, v in sorted(idle.items())}, + }, + } + + +def verify_all_t_binomial_and_bridge(profile, b_lower, repository=None): + """Certify the 42 strict rank inequalities of the all-T supporting lemma via positive binomial series.""" + upper, count = {}, 0 + for cap, (_, bonus) in CAPACITIES.items(): + for vec in itertools.product(*(range(cap // w + 1) for w in WIDTHS)): + used = sum(w * n for w, n in zip(WIDTHS, vec)) + if used <= cap: + count += 1 + r = cap - used + val = bonus + sum(p * n for p, n in zip(PRICES, vec)) + upper[r] = max(upper.get(r, -10**6), val) + dp = {} + for cap, (_, bonus) in CAPACITIES.items(): + scores = [None] * (cap + 1) + scores[0] = 0 + for fill in range(cap + 1): + if scores[fill] is None: + continue + for width, price in zip(WIDTHS, PRICES): + nxt = fill + width + if nxt <= cap and (scores[nxt] is None or scores[fill] + price > scores[nxt]): + scores[nxt] = scores[fill] + price + for fill, val in enumerate(scores): + if val is not None: + dp[cap - fill] = max(dp.get(cap - fill, -10**6), val + bonus) + require(upper == dp and count == 1163 and len(upper) == 45, + 'Independent Cartesian and DP dual tables disagree') + + mass_per_rep = sum(c * n for c, (n, _) in CAPACITIES.items()) - 9 * sum( + r * n for r, n in INVENTORY.items() + ) + signed_per_rep = sum(n * p for n, p in CAPACITIES.values()) + 9 * sum( + INVENTORY[r] * p for r, p in zip(WIDTHS, PRICES) + ) + credit_per_rep = 48 * signed_per_rep + 13 * mass_per_rep + require((mass_per_rep, signed_per_rep, credit_per_rep, upper[0], upper[48]) + == (14382, -3892, 150, 0, -13), 'All-T per-replica constants mismatch') + + z_upper = b_lower + Q(1, 10**24) + phi = {} + for r in sorted(upper): + if r > 0: + l, u, steps = power_interval(r, 73, z_upper) + phi[r] = (r * l, r * u, steps) + cost = { + r: (48 * phi[r][0] - r * phi[48][1], 48 * phi[r][1] - r * phi[48][0]) + for r in phi if r < 48 + } + credit = {r: 48 * upper[r] + 13 * r for r in cost} + require(credit[1] == 925 and all(lo > 0 for lo, _ in cost.values()), + 'Positive non-48 cost or rank-1 credit failed') + lam_lo, lam_hi = cost[1][0] / 925, cost[1][1] / 925 + + margins = {} + for r in sorted(cost): + if r == 1: + continue + v = credit[r] + lo, hi = cost[r] + rhs_hi = v * lam_hi if v >= 0 else v * lam_lo + rhs_lo = v * lam_lo if v >= 0 else v * lam_hi + m_lo, m_hi = lo - rhs_hi, hi - rhs_lo + require(m_lo > 0, 'Supporting rank inequality failed at r=' + str(r)) + margins[r] = (m_lo, m_hi) + require(len(margins) == 42, 'Expected 42 strict rank inequalities') + min_rank = min(margins, key=lambda r: margins[r][0]) + + # Exact symbolic and numerical bridge connecting T21, T16, T37, and the 44+3+2 -> 48+1 trade: + # 1. Both T21 ({48:6292, 3:1, 1:3}) and T16 ({48:4793, 44:1, 2:1, 1:2}) are signed-dual tight: + require(sum(r * n for r, n in T21_IDLE.items()) == 21 * mass_per_rep + and sum((48 * upper[r] + 13 * r) * n for r, n in T21_IDLE.items() if r < 48) == 21 * credit_per_rep, + 'T21 signed-dual tightness failed') + require(sum(r * n for r, n in T16_IDLE.items()) == 16 * mass_per_rep + and sum((48 * upper[r] + 13 * r) * n for r, n in T16_IDLE.items() if r < 48) == 16 * credit_per_rep, + 'T16 signed-dual tightness failed') + require(credit[44] + credit[3] + credit[2] == -100 + 375 + 650 == 925 == credit[1], + 'Remainder-trade dual credit conservation failed') + + # 2. Verify exact symbolic coefficient identities in the Phi(r, z) basis: + # M_21(z) - M_37(z) == margin(3, z) / (48 * 73 * 18816) + # M_16(z) - M_37(z) == (margin(44, z) + margin(2, z)) / (48 * 73 * 14336) + # M_untraded(z) - M_37(z) == (margin(44, z) + margin(3, z) + margin(2, z)) / (48 * 73 * 33152) + idle37_norm = {48: Q(11086, 37), 1: Q(6, 37)} + idle21_norm = {r: Q(n, 21) for r, n in T21_IDLE.items()} + idle16_norm = {r: Q(n, 16) for r, n in T16_IDLE.items()} + require(idle21_norm[3] == Q(1, 21) + and idle21_norm[1] - idle37_norm[1] == -Q(credit[3], 925 * 21) + and idle21_norm[48] - idle37_norm[48] == -Q(3 - Q(credit[3], 925), 48 * 21), + 'Symbolic T21 minus T37 margin identity failed') + require(idle16_norm[44] == Q(1, 16) and idle16_norm[2] == Q(1, 16) + and idle16_norm[1] - idle37_norm[1] == -Q(credit[44] + credit[2], 925 * 16) + and idle16_norm[48] - idle37_norm[48] == -Q(44 + 2 - Q(credit[44] + credit[2], 925), 48 * 16), + 'Symbolic T16 minus T37 margin identity failed') + + # 3. Numerical interval verification at z_upper: + untraded_profile = dict(profile) + untraded_profile[48] -= 1 + untraded_profile[1] -= 1 + untraded_profile[44] = 1 + untraded_profile[3] += 1 + untraded_profile[2] += 1 + m37_up = moment(profile, 73, 33152, z_upper, False) + mun_up = moment(untraded_profile, 73, 33152, z_upper, False) + diff_direct = (mun_up[0] - m37_up[1], mun_up[1] - m37_up[0]) + denom37 = 48 * 73 * 33152 + diff_margin = ( + (margins[44][0] + margins[3][0] + margins[2][0]) / denom37, + (margins[44][1] + margins[3][1] + margins[2][1]) / denom37, + ) + require(intervals_overlap(diff_direct[0], diff_direct[1], diff_margin[0], diff_margin[1]) + and diff_margin[0] > Q(1, 10**8), + 'Remainder-trade moment reduction disagrees with supporting-margin sum') + + if repository is not None: + all_t_doc = json.loads( + (repository.resolve() / 'research/community-frontier942-audit/ALL-T-BOUND.json').read_text() + ) + require(all_t_doc['dual_bin_vectors'] == 1163, 'ALL-T-BOUND vector count mismatch') + require({int(k): v for k, v in all_t_doc['upper'].items()} == upper, + 'ALL-T-BOUND upper table mismatch') + for engine_key in ('mercator', 'atanh'): + rec = all_t_doc['supporting_inequalities'][engine_key] + require({int(k): v for k, v in rec['credit'].items()} == credit, + 'ALL-T-BOUND credit mismatch for ' + engine_key) + rec_lam_lo, rec_lam_hi = map(Q, rec['multiplier_interval']) + require(intervals_overlap(lam_lo, lam_hi, rec_lam_lo, rec_lam_hi), + 'Binomial multiplier interval disagrees with ' + engine_key) + tol = Q(1, 10**47) if engine_key == 'mercator' else Q(1, 10**29) + for r, (m_lo, m_hi) in margins.items(): + rec_m_lo = Q(rec['strict_margin_by_rank'][str(r)]) + require(abs(m_lo - rec_m_lo) < tol and abs(m_hi - rec_m_lo) < tol, + 'Binomial rank margin disagrees with ' + engine_key + ' at r=' + str(r)) + + return { + 'dual_bin_vectors': count, + 'realized_remainders': len(upper), + 'mass_per_replica': mass_per_rep, + 'signed_price_per_replica': signed_per_rep, + 'credit_per_replica': credit_per_rep, + 'equality_ratio': '6/37', + 'certified_exponent': str(z_upper), + 'strict_rank_inequalities_certified': len(margins), + 'multiplier_interval': [str(lam_lo), str(lam_hi)], + 'minimum_strict_margin_rank': min_rank, + 'minimum_strict_margin_interval': [str(margins[min_rank][0]), str(margins[min_rank][1])], + 'remainder_trade_bridge': { + 't21_dual_tight': True, + 't16_dual_tight': True, + 'traded_ranks': [2, 3, 44], + 'traded_rank_credits': {'2': credit[2], '3': credit[3], '44': credit[44], 'sum': 925}, + 'trade_moment_reduction_interval': [str(diff_margin[0]), str(diff_margin[1])], + 'trade_moment_reduction_decimal': dec70(diff_margin[0]), + }, + } + + +def outer47(bit_saving, complex_saving, degree_gap, kappa, eta=Q(1, 10**24), beta=Q(1, 10**24)): + """Independent implementation of the 47 strict outer assembly inequalities.""" + require(0 < eta < Q(1, 8) and 0 < beta < 1, 'Invalid outer backoff parameters') + a, b = bit_saving, complex_saving + tau, sigma = 1 - a, 1 - b + q = a * (1 - 2 * eta) + lp = 1 - q + lam = (tau + lp) / 2 + c = q + eta / 4 + eps = (1 - eta) / (1 + q) + minimum = eps * q + r = (minimum + 1 - eps) / 2 + delta = eta / 8 + internal = tau + (1 - beta) * max(sigma - tau, Q(0)) + leaf = sigma + beta * (1 - sigma) + margins = { + 'balanced_prefix': 1 - eps, + 'coordinate_movement': a, + 'compact_phase_layer': minimum, + 'bulk_exposure': a, + 'Gaussian_arithmetic': min(1 - eps - delta, r - delta), + 'scalar_work': 1 - eps - delta, + 'dimension': eps, + } + slacks = { + 'bit_positive': a, + 'complex_above_bit': b - a, + 'complex_below_one_over32': Q(1, 32) - b, + 'beta_positive': beta, + 'beta_below_one': 1 - beta, + 'leaf_saving_above_bit': (1 - beta) * b - a, + 'q_positive': q, + 'q_below_internal': 1 - internal - q, + 'q_below_leaf': 1 - leaf - q, + 'c_positive': c, + 'c_below_one': 1 - c, + 'q_below_reservations': c - q, + 'lambda_above_tau': lam - tau, + 'lambda_above_sigma': lam - sigma, + 'lambda_above_internal': lam - internal, + 'lambda_prime_above_lambda': lp - lam, + 'compact_leaf': lp - leaf, + 'compact_reservations': lp - (1 - c), + 'lambda_prime_below_one': q, + 'epsilon_positive': eps, + 'epsilon_below_one': 1 - eps, + 'guard_width': 1 - eps, + 'K_geometry': 1 - eps * (1 + c), + 'K_dominates_log': eps * c, + 'record_suffix': 1 - eps, + 'phase_local': 1 - eps - delta, + 'phase_boundary': r - delta, + 'gamma_sublinear': 1 - eps - r, + 'cell_above_band': eps - (1 - r) / 2, + 'prime_interval_packing': 1 - eps, + 'alpha_positive': r, + 'alpha_below_one': 1 - r, + 'alpha_below_one_fourth': Q(1, 4) - r, + 'delta_positive': delta, + 'delta_below_one_eighth': Q(1, 8) - delta, + 'short_record_fallback': eps - a, + 'small_field_exposure': 1 - eps - minimum, + 'artificial_boundary': 8 - eps + r - delta - minimum, + 'literal_scalar_guard': Q(1), + 'row_product_gap': degree_gap, + } + slacks.update({name + '_above_kappa': val - kappa for name, val in margins.items()}) + require(len(slacks) == 47 and all(v > 0 for v in slacks.values()), 'Outer strict constraint failed') + require(min(margins.values()) == minimum, 'Compact phase layer is not the minimum margin') + require(margins['balanced_prefix'] - minimum == eta and 1 - eps - r == eta / 2, + 'Balanced prefix identity failed') + require(1 - eps * (1 + c) == eta - eps * eta / 4, 'K_geometry identity failed') + return slacks, minimum + + +def reduce_endpoint_to_kappa(c_bit, b_complex, recorded_cuts, recorded_outer, recorded_controls): + eta = beta = Q(1, 10**24) + s = min(c_bit, (1 - beta) * b_complex) - Q(1, 10**27) + require(0 < s < c_bit and s < (1 - beta) * b_complex, 'Invalid bootstrap step saving s') + chain = [Q(384599, 10**10)] + cuts = [] + min_1024_dominance_margin = None + for idx in range(7): + old = chain[-1] + a = (1 - s) * s + s * old + gap = min(s - a, 1 - a - s, 1 - a - s * (1 - old), 1 - s) + require(old < a < s < 1 - a and gap > 0, 'Bootstrap chain monotonicity failed') + quad_cut = ceil_q(Q(36) / (gap * gap)) + lin_1024 = ceil_q(Q(2 * (4 + 1024)) / gap) + lin_512 = ceil_q(Q(2 * (4 + 512)) / gap) + cut = max(quad_cut, lin_1024) + require(cut == quad_cut and quad_cut > lin_1024 > lin_512, + 'Quadratic cutoff did not strictly dominate 1024-bit linear cutoff') + dom_margin = quad_cut - lin_1024 + if min_1024_dominance_margin is None or dom_margin < min_1024_dominance_margin: + min_1024_dominance_margin = dom_margin + step_dict = {'exponent': str(a), 'gap': str(gap), 'cutoff_log2': str(cut)} + require(step_dict == recorded_cuts[idx], 'Bootstrap step mismatch at index ' + str(idx)) + cuts.append(step_dict) + chain.append(a) + + q = chain[-1] * (1 - 2 * eta) + margin = (1 - eta) * q / (1 + q) + ticks = margin * 10**18 + k = Q((ticks.numerator - 1) // ticks.denominator, 10**18) + degree_gap = Q(10**6) - Q(51 * 20161, 25) + require(degree_gap == Q(23971789, 25), 'Degree gap formula mismatch') + slacks, minimum = outer47(chain[-1], b_complex, degree_gap, k, eta=eta, beta=beta) + require({name: str(val) for name, val in slacks.items()} == recorded_outer, + 'Outer 47 strict slack dictionary mismatch') + + rejected = [] + for name, kk, ee, be in ( + ('next_grid', k + Q(1, 10**18), eta, beta), + ('zero_eta', k, Q(0), beta), + ('zero_beta', k, eta, Q(0)), + ('unit_beta', k, eta, Q(1)), + ): + try: + outer47(chain[-1], b_complex, degree_gap, kk, eta=ee, beta=be) + except ValueError: + rejected.append(name) + else: + raise ValueError('Outer control unexpectedly passed: ' + name) + require(rejected == recorded_controls, 'Outer control list mismatch') + return k, minimum, min_1024_dominance_margin, rejected + + +def run_controls(complex_profile, bit_profile, b_native, b_cons, c_bit): + alg_count = 0 + for m in (2, 3, 5, 7, 64, 73): + for r in range(1, m + 1): + for a in (Q(0), Q(1, 3), Q(1, 2), Q(2, 3), Q(1)): + l, u, _ = power_interval(r, m, a) + exact = Q(m, r) ** a.numerator + require(l ** a.denominator <= exact <= u ** a.denominator, + 'Algebraic enclosure failed') + alg_count += 1 + + # 8 mathematical model controls: + # 1. Zero-saving mass identities (complex and bit) + require(moment(complex_profile, 73, 33152, Q(0))[:2] + == (Q(2408256, 73 * 33152), Q(2408256, 73 * 33152)) + and moment(bit_profile, 64, 28416, Q(0))[:2] + == (Q(1808352, 64 * 28416), Q(1808352, 64 * 28416)), + 'Zero-saving mass identity failed') + # 2. Omitted rank-48 complex child wrongly admits b_native + 10^-24 + omitted = dict(complex_profile) + omitted[48] -= 1 + require(moment(omitted, 73, 33152, b_native + Q(1, 10**24))[1] < 1, + 'Omitted child control failed') + # 3. Dropped conservative complex surcharge wrongly admits b_cons + 10^-24 + require(moment(complex_profile, 73, 33152, b_cons + Q(1, 10**24), False)[1] < 1, + 'Dropped conservative complex surcharge control failed') + # 4. Dropped bit surcharge wrongly admits c_bit + 10^-24 (and native complex rejected with old surcharge) + require(moment(bit_profile, 64, 28416, c_bit + Q(1, 10**24), False)[1] < 1 + and moment(complex_profile, 73, 33152, b_native, True)[0] > 1, + 'Cross-model surcharge control failed') + # 5. Physical-stock vs live-stock normalization wrongly admits b_native + 10^-24 + require(moment(complex_profile, 73, 33666, b_native + Q(1, 10**24))[1] < 1, + 'Physical-stock normalization control failed') + # 6. Mass-and-count-preserving concavity redistribution: 2*48 -> 47 + 49 strictly lowers moment + redistributed = dict(complex_profile) + redistributed[48] -= 2 + redistributed[47] = redistributed[49] = 1 + require(sum(redistributed.values()) == sum(complex_profile.values()) + and sum(r * n for r, n in redistributed.items()) == 2408256, + 'Redistribution mass/count changed') + orig_m = moment(complex_profile, 73, 33152, b_native) + red_m = moment(redistributed, 73, 33152, b_native) + require(red_m[1] < orig_m[0], 'Mass-preserving concavity redistribution not distinguished') + # 7. Untraded T21+T16 remainder {48:11085, 44:1, 3:1, 2:1, 1:5} has identical rank mass 2408256 + # and signed-dual credit 5550, but is strictly rejected at the accepted T37 endpoint b_native! + untraded = dict(complex_profile) + untraded[48] -= 1 + untraded[1] -= 1 + untraded[44] = 1 + untraded[3] += 1 + untraded[2] += 1 + require(sum(r * n for r, n in untraded.items()) == 2408256, 'Untraded control mass changed') + untraded_m = moment(untraded, 73, 33152, b_native) + require(untraded_m[0] > 1, 'Untraded T21+T16 remainder control failed to reject at b_native') + # 8. Supporting-lemma perturbation control: inflating u(2) from 13 to 19 violates c(2) > lambda * v(2) + z_up = b_native + Q(1, 10**24) + l1, u1, _ = power_interval(1, 73, z_up) + l2, u2, _ = power_interval(2, 73, z_up) + l48, u48, _ = power_interval(48, 73, z_up) + c1_lo = 48 * l1 - u48 + c2_hi = 48 * 2 * u2 - 2 * 48 * l48 + perturbed_v2 = 48 * 19 + 13 * 2 + require(c2_hi - perturbed_v2 * (c1_lo / 925) < 0, + 'Perturbed dual supporting-lemma control failed') + + rejection_count = 0 + for bad_args in ( + (0, 73, Q(1, 2)), + (74, 73, Q(1, 2)), + (1, 0, Q(1, 2)), + (1, 73, Q(-1, 2)), + (1, 73, Q(3, 2)), + (True, 73, Q(1, 2)), + (1, True, Q(1, 2)), + (1, 73, 0.5), + ): + try: + power_interval(*bad_args) + except ValueError: + rejection_count += 1 + else: + raise ValueError('Invalid power_interval input accepted') + for bad_profile in ({1: 0}, {73: 1}, {1: True}, {1: -1}, {}, {0: 5}): + try: + moment(bad_profile, 73, 33152, b_native) + except ValueError: + rejection_count += 1 + else: + raise ValueError('Invalid profile accepted') + + return { + 'algebraic_comparisons': alg_count, + 'mathematical_controls': 8, + 'rejected_inputs': rejection_count, + 'redistributed_minus_original_interval': [ + str(red_m[0] - orig_m[1]), + str(red_m[1] - orig_m[0]), + ], + 'untraded_residual_at_native_endpoint_interval': [ + str(untraded_m[0] - 1), + str(untraded_m[1] - 1), + ], + } + + +def repository_bindings(root, pins): + """Compare all pinned and reference source bytes without importing supplier code.""" + root = root.resolve() + sources = {remote: pins['files'][local] for local, remote in pins['provenance'].items()} + sources.update(pins['references']) + for relative, expected in sorted(sources.items()): + path = (root / relative).resolve() + require(path.is_relative_to(root) and path.is_file(), + 'Missing repository source: ' + relative) + require(hashlib.sha256(path.read_bytes()).hexdigest() == expected, + 'Repository source changed: ' + relative) + return len(sources) + + +def audit(repository=None): + pins = json.loads((HERE / 'SOURCES.json').read_text()) + required_inputs = { + 'inputs/ASSEMBLY.json', + 'inputs/CLAIM.json', + 'inputs/EDITS.json', + 'inputs/PR589-EXPECTED.json', + 'inputs/selected-result.json', + } + require(set(pins['files']) == set(pins['provenance']) == required_inputs, + 'Incomplete pinned source inventory') + for name, expected in sorted(pins['files'].items()): + raw = (HERE / name).read_bytes() + require(hashlib.sha256(raw).hexdigest() == expected, 'Pinned input changed: ' + name) + bit_bytes = (HERE / 'inputs/PR589-EXPECTED.json').read_bytes() + require(git_blob_sha1(bit_bytes) == pins['git_blob_sha1']['inputs/PR589-EXPECTED.json'], + 'Pinned bit supplier git blob SHA1 mismatch') + + if repository is not None: + checked = repository_bindings(repository, pins) + print('PASS_T37_REPOSITORY_BINDINGS files=' + str(checked)) + + assembly = json.loads((HERE / 'inputs/ASSEMBLY.json').read_text()) + selected = json.loads((HERE / 'inputs/selected-result.json').read_text()) + claim = json.loads((HERE / 'inputs/CLAIM.json').read_text()) + edits_doc = json.loads((HERE / 'inputs/EDITS.json').read_text()) + bit_doc = json.loads(bit_bytes) + + require(selected['source_prs'][0] == pins['audited_pr'] == 942 + and selected['audited_source_head'] == pins['audited_source_head'], + 'Selected PR or source head changed') + require(pins['files']['inputs/ASSEMBLY.json'] == selected['certificate_sha256'], + 'Selected certificate binding changed') + for supp_path in ('research/complex-t37-owners/PROOF.md', + 'research/complex-t37-owners/ALL-T-PROOF.md'): + require(pins['references'][supp_path] == selected['proof_supplements'][supp_path], + 'Selected proof supplement binding changed: ' + supp_path) + require(Q(selected['kappa']) == Q(assembly['kappa']) == Q(claim['kappa']), + 'Selection, claim, and assembly kappa disagree') + require(Q(claim['complex_lower']) == Q(assembly['complex_lower']) + and Q(claim['bit_lower']) == Q(assembly['bit_lower']), + 'Claim and assembly supplier endpoints disagree') + require(assembly['input_sha256']['package:inputs/PR589-EXPECTED.json'] + == pins['files']['inputs/PR589-EXPECTED.json'], + 'Assembly bit supplier SHA256 binding changed') + for engine in ('moment.py', 'base_two_moment.py', 'outer.py'): + ref_key = 'research/complex-k492-owner-repair/vendor/multicold/engines/' + engine + require(pins['references'][ref_key] == assembly['input_sha256']['engines/' + engine], + 'Assembly arithmetic engine binding changed: ' + engine) + + complex_profile, accounting = verify_edits_and_accounting(claim, assembly, edits_doc) + + # Verify PR589 bit supplier parameters, derived deficit, and profile. + word = bit_doc['word'] + bit_nine = bit_doc['nine'] + v_port, cst, copy_ranks = word['v'], word['decoder_constant'], word['copy_ranks'] + require(v_port == 111 and cst == 63 and len(copy_ranks) == 9 and sum(copy_ranks) == cst, + 'Bit supplier word parameters changed') + bit_live = bit_nine['bit']['live'] + bit_deficit = 32 * (2 * 4 * v_port - 9 * cst) + bit_profile = {int(r): c for r, c in bit_nine['profile'].items()} + bit_mass = sum(r * c for r, c in bit_profile.items()) + require(bit_live == 28416 and bit_deficit == 10272 and bit_mass == 1808352 + and 64 * bit_live - bit_mass == bit_deficit + and sum(bit_profile.values()) == 904896, + 'Bit supplier profile or derived deficit mismatch') + + b_native = Q(assembly['complex_lower']) + b_cons = Q(assembly['conservative_complex_lower']) + c_bit = Q(assembly['bit_lower']) + + bit_rows = [r for r in assembly['moments'] if r['side'] == 'bit'] + native_rows = [r for r in assembly['moments'] if r['side'] == 'complex'] + cons_rows = assembly['conservative_moments'] + + ctrl_summary = run_controls(complex_profile, bit_profile, b_native, b_cons, c_bit) + + native_bracket = bracket_and_compare(complex_profile, 73, 33152, b_native, False, native_rows) + cons_bracket = bracket_and_compare(complex_profile, 73, 33152, b_cons, True, cons_rows) + bit_bracket = bracket_and_compare(bit_profile, 64, 28416, c_bit, True, bit_rows) + + all_t_summary = verify_all_t_binomial_and_bridge(complex_profile, b_native, repository) + + k_acc, min_margin_acc, dom_acc, ctrl_acc = reduce_endpoint_to_kappa( + c_bit, b_native, assembly['bootstrap'], assembly['outer'], assembly['controls'] + ) + k_cons, min_margin_cons, dom_cons, ctrl_cons = reduce_endpoint_to_kappa( + c_bit, b_cons, assembly['conservative_bootstrap'], + assembly['conservative_outer'], assembly['conservative_controls'] + ) + require(k_acc == Q(assembly['kappa']) and k_cons == Q(assembly['conservative_kappa']), + 'Reduced kappa or conservative_kappa disagrees with assembly') + surcharge_gain = k_acc - k_cons + require(dec70(surcharge_gain) == assembly['native_correction_gain'] + and surcharge_gain == Q(2882367, 10**18), + 'Native correction gain mismatch') + pr890_k = Q(claim['baseline_pr890_kappa']) + gain_over_t21 = k_acc - pr890_k + require(gain_over_t21 == Q(claim['delta']) == Q(2773066918, 10**18), + 'Gain over PR890 (T21) mismatch') + + return { + 'status': 'PASS_T37_BINOMIAL_AND_ENDPOINT_AUDIT', + 'base_commit': pins['base_commit'], + 'assignment_seed': 78, + 'audited_pr': 942, + 'audited_source_head': pins['audited_source_head'], + 'source_files_sha256': pins['files'], + 'selected_kappa_unchanged': assembly['kappa'], + 'selected_kappa_decimal': assembly['kappa_decimal'], + 'conservative_kappa': assembly['conservative_kappa'], + 'conservative_kappa_decimal': assembly['conservative_kappa_decimal'], + 'native_correction_gain': assembly['native_correction_gain'], + 'native_correction_gain_grid_ticks': int(surcharge_gain * 10**18), + 'gain_over_pr890_t21_decimal': claim['delta'], + 'gain_over_pr890_t21_grid_ticks': int(gain_over_t21 * 10**18), + 't37_accounting': accounting, + 'bit_supplier_accounting': { + 'git_blob_sha1': pins['git_blob_sha1']['inputs/PR589-EXPECTED.json'], + 'arity': 64, + 'live_stock': bit_live, + 'child_count': 904896, + 'rank_mass': bit_mass, + 'derived_deficit': bit_deficit, + }, + 'moment_brackets': { + 'complex_native': native_bracket, + 'complex_conservative': cons_bracket, + 'bit_surcharged': bit_bracket, + }, + 'all_t_supporting_lemma_binomial': all_t_summary, + 'outer_reduction_1024': { + 'accepted_bootstrap_steps': 7, + 'conservative_bootstrap_steps': 7, + 'accepted_outer_strict_constraints': 47, + 'conservative_outer_strict_constraints': 47, + 'min_quadratic_over_1024_linear_cutoff_margin_accepted': dom_acc, + 'min_quadratic_over_1024_linear_cutoff_margin_conservative': dom_cons, + 'accepted_absorption_gap': str(min_margin_acc - k_acc), + 'conservative_absorption_gap': str(min_margin_cons - k_cons), + 'accepted_outer_controls': ctrl_acc, + 'conservative_outer_controls': ctrl_cons, + }, + 'controls': ctrl_summary, + 'scope': ( + 'Independent standard-library verification of the selected PR #942 (T37) ' + 'native complex, conservative complex, and PR589 bit moment brackets plus ' + 'all 42 strict rank inequalities of the all-T signed-dual supporting lemma ' + 'using positive generalized-binomial enclosures on 2^-240, together with ' + 'the 8-role 44+3+2 -> 48+1 remainder trade, 1024-bit reserve/bootstrap ' + 'cutoffs, 94 strict outer slacks, and surcharge stakes. Physical circuit ' + 'replay, owner window sweep, and inherited all-size/compiler/H1-H5 ' + 'assumptions remain separate.' + ), + } + + +def main(): + parser = argparse.ArgumentParser(description=__doc__) + parser.add_argument('--write-certificate', action='store_true') + parser.add_argument('--repository', type=Path, + help='Also compare all 14 pinned and reference sources with this checkout') + args = parser.parse_args() + result = audit(args.repository) + text = json.dumps(result, indent=2, sort_keys=True) + '\n' + path = HERE / 'CERTIFICATE.json' + if args.write_certificate: + path.write_text(text) + else: + require(path.is_file() and path.read_text() == text, + 'Recorded certificate differs from fresh independent computation') + print( + result['status'], + '6 moment decisions; 42 all-T binomial rank inequalities; ' + '14 bootstrap steps; 94 outer slacks;', + str(result['controls']['algebraic_comparisons']), 'algebraic comparisons;', + str(result['controls']['mathematical_controls']), 'mathematical controls;', + str(result['controls']['rejected_inputs']), 'rejected inputs.', + ) + + +if __name__ == '__main__': + main() From e7f0319b7a7b4e8e1958ae523affdc123e3ea597 Mon Sep 17 00:00:00 2001 From: steph4n-gh <284007938+steph4n-gh@users.noreply.github.com> Date: Tue, 13 Oct 2026 13:18:01 -0400 Subject: [PATCH 2/2] Record submitted PR #1052 link in CLAIM.json and VALIDATION.json --- research/t37-binomial-endpoint-audit-seed78/CLAIM.json | 4 +++- .../t37-binomial-endpoint-audit-seed78/VALIDATION.json | 8 +++++--- 2 files changed, 8 insertions(+), 4 deletions(-) diff --git a/research/t37-binomial-endpoint-audit-seed78/CLAIM.json b/research/t37-binomial-endpoint-audit-seed78/CLAIM.json index ac6b0bb806..13eedfb5b9 100644 --- a/research/t37-binomial-endpoint-audit-seed78/CLAIM.json +++ b/research/t37-binomial-endpoint-audit-seed78/CLAIM.json @@ -1,5 +1,7 @@ { - "status": "Completed independent verification; no new kappa", + "status": "Submitted independent verification PR #1052; no new kappa", + "submitted_pr": 1052, + "submitted_url": "https://github.com/CrocSwap/integer-mult-bounds/pull/1052", "date": "2026-10-13", "contributor": "steph4n-gh", "assignment_seed": 78, diff --git a/research/t37-binomial-endpoint-audit-seed78/VALIDATION.json b/research/t37-binomial-endpoint-audit-seed78/VALIDATION.json index fcd8928e72..635748f938 100644 --- a/research/t37-binomial-endpoint-audit-seed78/VALIDATION.json +++ b/research/t37-binomial-endpoint-audit-seed78/VALIDATION.json @@ -1,6 +1,6 @@ { "status": "PASS_SCOPED_LOCAL_VALIDATION", - "verified_at": "2026-10-13T17:17:07.562808+00:00", + "verified_at": "2026-10-13T17:17:58.666299+00:00", "base_commit": "2921874911956718fcaaaf9396fe8267b3cfa9f0", "branch": "research/t37-binomial-endpoint-audit-seed78", "environment": { @@ -35,7 +35,7 @@ ], "package_files_sha256": { "CERTIFICATE.json": "528c8474778c63cbbf6eba99822f96bbb34f82937133d0bbb92fa2b25a0a6286", - "CLAIM.json": "cc58b3b651c3042be3de78cf3344afa443b435c937fc73380db0c06203df0235", + "CLAIM.json": "e0ca0d8a8ea94fb1ba18481c507d648c334ea330d348f75a9c3b05d518e662c2", "README.md": "78df0a56238e0b2777c0058401bf191b44e4d1cc98e498ed78d475189bf1ce8b", "SOURCES.json": "6d2eb6df54b8396f34d1fea4dd1c566df8cf71bdc160ec14186731164f70e5fa", "inputs/ASSEMBLY.json": "4b2894956e594e408e111d806c842f2ed2c32aefcadff93fad69ff0b46f1991a", @@ -53,5 +53,7 @@ "Lean formalization", "hosted CI" ], - "scope": "Exact positive-binomial and 1024-bit endpoint-to-kappa audit of the selected PR #942 (T37) record, all-T supporting lemma, and remainder-trade margin bridge. Selected kappa unchanged." + "scope": "Exact positive-binomial and 1024-bit endpoint-to-kappa audit of the selected PR #942 (T37) record, all-T supporting lemma, and remainder-trade margin bridge. Selected kappa unchanged.", + "submitted_pr": 1052, + "submitted_url": "https://github.com/CrocSwap/integer-mult-bounds/pull/1052" }