Conditional κ = 0.001714252039260245: swapped helper labels for lenders 80 and 88 on #2530's source-partner words, with an evacuated owner fill

[jeremykothe2]

Summary

Conditional κ = 0.001714252039260245142535156225909965666434495437328330805722… (3046 decimals; the exact value is kappa in research/gmx-t74-borrow43-handoff/outer/OUTER-CLAIM.json, SHA-256 of the decimal string 9e3fc08a71f044888b3001e8ed0d5a6da4ba213c660dc50b7afce52d7c9bc71f). This package is PR2530's (zxv) construction with a swap of two helper labels and a better owner fill. PR2530's eight additional dirty aliases (656 borrowing 49, 657 borrowing 83, 658 borrowing 98, 660 borrowing 101, 632 borrowing 68, 596 borrowing 80, 600 borrowing 88, 633 borrowing 31; the second member of a retired source pair is restored before the first member's handoff), its call order and its words are PR2530's except for the swap below, reproduced here as hash-checked patches on the PR2462 supplier (422 helpers per call, local profile {1:2367, 2:632, 3:318, 4:120, 5:26, 7:8}, width inventory {4:33, 5:9, 7:62, 8:78, 9:240}). The swap: the aliases of lenders 80 and 88 use helper registers 596 and 600 instead of 648 and 649 (same lenders and partners), which changes the local profile, adds four lifted targets on line 45 and lowers the cost. The owner fill is the evacuation of PR2559 (philippeVV) applied to the same-shaped fill (leftover idle {1:22090, 3:6661, 5:422, 7:170, 14:1, 23:1, 32:77, 48:26489}). New in this package, by Jeremy Kothe (jeremykothe2), with AI assistance: the helper-label swap, running the evacuation on the swap words' owner map, its exact checking (every window, bin, helper and family rule literal), the integration of PR2530's words, order, dispatch and checker overrides into our pipeline, and the hardening stages (the cut-centre guard of PR2478, mdumitrean, and the helper-index guard of PR2508, ywz65, each with a negative control). Portability (audit of PR2474 by philippeVV; fixes of PR2559): all generated artifacts and their pinned hashes are LF-only, verification never writes into the package (receipts go to the work directory), and the alias controls re-derive the cleanup. Also carried: private cleanup-buffer stock accounting (PR2309, PR2315; physical stock 66814 = 66304 + 422 + 8 + 78 + 2), the pooled-slot time binding (PR2301, PR1959) and the 1e-3000 endpoints with the fixed-grid-maximum outer kappa C - 1/F - B (PR2180 / PR2161; PR2168). Conditional final kappa = 0.0017142520392602451425351562259099656664…(3046 digits) (supplier strict-assembly kappa 0.0017113184081891832385676348038526121336…(2994 digits)). It exceeds PR2530's exact kappa 0.0017137379215475043467519999... by 5.14118E-7 and our previous package PR2575 (PR2530's words with the same evacuated fill, without the swap; the live leader) by 3.72719E-7; it also exceeds PR2571 (rohanarun, a repacked owner fill on PR2530's words, kappa 0.0017137844912361143...) by 4.67548E-7 (exact gates in verify_release.py). grid_digits 2995, margin_digits 3005, bootstrap_steps 1116; 63 strict inequalities, 17 rejecting controls.

Verification

Fresh checkout of 8cd9dc88e24f062e2ca2fa7f4844a3d3319381fb. Manifest: 82ffd9af8586c79ea5d67cb2f6b139d022e10b1062b753e6631d6feeb5832357.
PASS package manifest: 448 files

Supplier: the package's own unchanged verify.py (retained PR1297 provider and parent admission, owner reconstruction, parent lift, strict T74 admission, geometry controls): PASS_T74_EXACT_FILL_COMPLETE_FINITE_ADMISSION, native reuse none (fresh replays); its complex endpoint 342850407852049028507031245181... brackets the ledger's b = 1714252039260245142535156225909965666434…(3078 digits)/1000000000000000000000000000000000000000…(3081 digits). Outer (PR1673 capped phase-cell fusion): regenerated exact ledger (63 strict inequalities: the 62 retained rows plus the explicit main-binding row gaussian_above_main, the fixed-grid maximum kappa = C - 1/F - B asserted, 17 rejecting controls incl. the old g-factor union row, the old linear and old-theta chirp guards, the old 2*beta tag test, epsilon at 1 or at the r0 slack and beta outside its window, larger endpoint rejected by the native moment), independent balance derivation, the exact union-schedule simulation, the (retained, not used for kappa) structured-boundary displacement-rank check, the gauge-free identity/symbol/circuit checks, PR1786's finite prime/underflow controls and 19 exact evidence replays all pass. Conditional kappa 0.0017142520392602451425351562259099656664…(3046 digits) (union schedule outer/UNION-SCHEDULE.md; explicit Strassen boundary tau=45/16 (the structured boundary of outer/STRUCTURED-BOUNDARY.md is not used); gauge-free interiors outer/GAUGEFREE-INTERIORS.md; fine source-prime padding PR1786 at the free point epsilon=1-(1025/1024)e-3080, outer/FINE-PADDING-COMPOSITION.md; fixed-grid maximum of PR2180/PR2161 (dataisfire), outer/PROOF-GRID-MAX.md; exact-integer coarse exponential PR2168/PR2184 (dataisfire) at the one 3000-digit rejection call).

Full package-owned verification passed in 557.08 seconds. The fresh receipt binds the exact package manifest and score.

See research/gmx-t74-borrow43-handoff/README.md for reproduction commands and proof qualifications.

Credits

PR2530 (zxv): the eight source-partner aliases, the order, the words and the starting owner map (new/borrow/inputs/alias8_43*.json, new/borrow-fill/ORDER.json, DISPATCH.json, independent_core.py). PR2559 (philippeVV): the owner-fill evacuation method, and the portability fixes (line endings, receipts outside the package, re-derived controls, dependency declaration) reused here; philippeVV's audit of PR2474. Jeremy Kothe (jeremykothe2), with AI assistance: running the evacuation on PR2530's owner map (new/borrow-fill/FILL.json.gz) and the integration. PR2436 (tekuuu): the lifted-target aliases and the A-phase prelude mechanism that PR2530 extends. PR2322 (Vlado Vojdanovski): the handoff construction; PR2435/PR2447/PR2462/PR2474/PR2526 and PR2312 (ours): the entrance raise, the supplier chain and the borrowed words. PR2478 (mdumitrean) and PR2508 (ywz65): the cut-centre and helper-index guards. PR2309 (Dugongue) and PR2315 (thakrarsagar): private-stock accounting; PR2301 (navinor / Aaron Wang) and PR1959 (Josie Elliston): pooled-slot time binding; PR2161 / PR2180 (dataisfire): fixed-grid maximum; PR2168 / PR2184: exact-integer coarse exponential. PR2226 (Cinna Davis / 1337isnot1337 with OpenAI Codex): anticipatory dirty borrowing. PR1786 (chafreaky / Chafik Boukhalfa): fine source-prime padding, its proof and checks, vendored under vendor/pr1786; Tim Trudgian: effective prime number theorem (arXiv:1401.2689). PR1673 (Vlado Vojdanovski, with AI assistance): capped phase-cell fusion outer construction, its proof and exact evidence, vendored under vendor/pr1673. PR1758 (IdeaOuter and contributors): fractional-shift gauge-free interiors, accretive shallow-circuit lemma, per-visit tag accounting. Jeremy Kothe and contributors (PR1731 ledger lineage, radix-union schedule), LeverRank (independent schedule simulation), Gohberg, Semencul, Kailath, Kung, Morf, Bitmead, Anderson, Pan (structured Toeplitz-like algorithms of the retained alternative), Francois Le Gall et al. and Chafik Boukhalfa (PR1699). Supplier: PR1625 (mdumitrean), PR1661 (midhatn), pivot-554 kernel (PR1672 lineage) and the PR1319/PR1297/PR1274/PR1286 lineage as in earlier packages. PR1956 (Josie Elliston: the bootstrap-cutoff carry finding and repair), PR1897 (M6LI), PR1876, PR1875 and PR1828 (rohanarun): the endpoint and slack refinements that this package exceeds; rohanarun also PR1319 and PR1297; chafreaky PR1786; Vlado Vojdanovski PR1673; mdumitrean PR1625; midhatn; philippeVV PR1519 (odd-term Mercator finding); Kothe and the existing lineage. PR1964 (thakrarsagar / Sagar Thakrar): Lemma G label and adapter-rule checks and the X/Y/Z adapter mutants (code/lemmag_checks.py), Lemma G by DreamingOfClouds (PR509 / PR516). PR2161 / PR2180 (dataisfire, OpenAI Codex-assisted): the fixed-grid maximum point and its proof, re-derived at this endpoint; PR2044 (Kothe) free-epsilon refinement they stack on; PR1786 (chafreaky / Chafik Boukhalfa) and PR1673 (Vlado Vojdanovski) ledger formulas. PR2168 / PR2184 (dataisfire): exact-integer coarse exponential and its one-site derivation. PR2309, PR2302 and PR2265 are the records exceeded. PR2286 (thakrarsagar) side-condition audit and philippeVV (PR1897 / PR2044 comments): the text defects (minimum-margin claim, xi aside, HALO K0^2 branch, p^10 umbrella, vacuous or-True guards, stale xi digits) corrected in outer/FINE-PADDING-COMPOSITION.md section 4, outer/check_ledger.py, outer/struct_check.py and outer/check_gaugefree.py. Jeremy Kothe (jeremykothe2), with AI assistance: change of the lender of alias 651 to 530 and dropping of alias 653, the exact owner fill for the new width inventory, the exact frame re-solve of both borrowed words and the exact kernel search and pricing, new work in this package (new/borrow/inputs/refit_43*.json, kernel_43*.json, new/borrow-fill/FILL.json.gz). PR1625 (mdumitrean): the helper-donor kernel shape reused here at pivots 518 and 506. PR2309 (Dugongue): concurrent independent work, a 44th dirty alias with owner repacking that also borrows from lender 530; the leader this package exceeds. PR2301 (navinor / Aaron Wang) and PR1959 (Josie Elliston): the unbound pooled-slot time field, bound in code/audit_allcold.py here. PR2315 (thakrarsagar): the audit finding that the private cleanup buffers must be charged. PR2309 (Dugongue): the private-stock accounting (physical stock, CLEAR charges, warp routing reserve, adapter bound, controls) ported here.