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

.gitattributes

@@ -151,3 +151,4 @@ research/p111-minrank-proof-reconciliation/vendor/pr620/geo.py -text -whitespace
 research/community-batch1099-audit/** -text -whitespace
 research/community-frontier1094-audit/** -text -whitespace
 research/abelian-cayley-metric-scope/** -text
+research/gmx-t74-borrow43-handoff/** -text -whitespace

research/gmx-t74-borrow43-handoff/.gitattributes

@@ -0,0 +1 @@
+* -text

research/gmx-t74-borrow43-handoff/CLAIM.json

@@ -0,0 +1,20 @@
+{
+  "status": "PASS_T74_PIVOT566_KERNEL_WITH_ENDPOINT_AND_OUTER_REFINEMENT_COMPLETE_FINITE_ADMISSION",
+  "kappa": "1711318408189183238567634803852612133649203764204362745503672080619776106486572191668334734082751435613183681891222481732118949285152896368881040495996466848125361418227200950045816430141539899745292858221840805835015855397125859974861925333525692607592457008566441101526220829766285928855209658036383512142865001284768658263780772953428843403681498984703092097170600421221543230363718446032781045102899871233626939484996675727529843491071397689691781419922873988299275607670376233761218605670994915974806634915983210304256311112729899571033355638603532830740985974755977076897969524704105238564129742975803778495800189456408755958159326407898435251444019163374994723781080440677881855940056296588753772953472883036993100008970897193830947434274601704078470331570364235750170422733193306919509637962148069435479833702451936672633846523500161035201305318374263503150397037109340671972066134205098542634359749808761129715342302305124227540843747938485484866939484017860857927046359334460243182612686629726652706373266245758793766992586319848016319692088947829284177449819422518746529088158015069850821857971747533169878589792631790009356206753494971780095320985386853214032170709584615573543793478416739064020649849475577560803438547861454532992467093661021570865220333561079057646116472550384067654744508823093845729626864164994860524778232747549128836257062503768225874406175602944560823863665268054486635924525556631653454494748650985833323164669817772770489629285438568039453384586110108107665055183189771787494827961547246105428879592769186122426223173264400261170441730690311724870812873057789381315319274678586876870851639725399188914260595810044553569497317068360681117327648733662427568077965384609382057591721800529446684432533688097088863304520544557940635379705092348814240631478677296781365153853399415984130881035384829250105592874370848256834586059565235874427656214972902573671513061891347187307491246206765216914110069622555767877933142398407204316591092802373533308206033906259197016147357392906065434316852638740641608513998650768888166207688291423285977887067159452125526951871083024596737118996183295966719303923112424179010273653293374530994889552533668413518526904987155132933091198339148536199820449030096344715807613648677223687093438829554017220270598966424716340582609051995533737126271093910536149159499282161749442441995828745418637740931160553736130683061892170255785982532252466442956736614544978095733788213524391093013612849007323457397991255181957634658022400430493370137735777064701527079816796454068419332208420810083224053951726076899650081226254098921043235659462898466770930002718620929839852550885944264436224522912176561547067348695293220174489998882282006046903380231019074128292572937581643166744535477859139937771651119054310943884964191125621890772594893986578099379354751895600957899065518456063684021587793243261823681677842442772982717664096995178478040005750801709887712849532207767299471589330518585364794549109441748066863361239990727915123903/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
+  "kappa_decimal": "0.001711318408189183238567634803852612133649203764204362745503672080619776106486572191668334734082751435613183681891222481732118949285152896368881040495996466848125361418227200950045816430141539899745292858221840805835015855397125859974861925333525692607592457008566441101526220829766285928855209658036383512142865001284768658263780772953428843403681498984703092097170600421221543230363718446032781045102899871233626939484996675727529843491071397689691781419922873988299275607670376233761218605670994915974806634915983210304256311112729899571033355638603532830740985974755977076897969524704105238564129742975803778495800189456408755958159326407898435251444019163374994723781080440677881855940056296588753772953472883036993100008970897193830947434274601704078470331570364235750170422733193306919509637962148069435479833702451936672633846523500161035201305318374263503150397037109340671972066134205098542634359749808761129715342302305124227540843747938485484866939484017860857927046359334460243182612686629726652706373266245758793766992586319848016319692088947829284177449819422518746529088158015069850821857971747533169878589792631790009356206753494971780095320985386853214032170709584615573543793478416739064020649849475577560803438547861454532992467093661021570865220333561079057646116472550384067654744508823093845729626864164994860524778232747549128836257062503768225874406175602944560823863665268054486635924525556631653454494748650985833323164669817772770489629285438568039453384586110108107665055183189771787494827961547246105428879592769186122426223173264400261170441730690311724870812873057789381315319274678586876870851639725399188914260595810044553569497317068360681117327648733662427568077965384609382057591721800529446684432533688097088863304520544557940635379705092348814240631478677296781365153853399415984130881035384829250105592874370848256834586059565235874427656214972902573671513061891347187307491246206765216914110069622555767877933142398407204316591092802373533308206033906259197016147357392906065434316852638740641608513998650768888166207688291423285977887067159452125526951871083024596737118996183295966719303923112424179010273653293374530994889552533668413518526904987155132933091198339148536199820449030096344715807613648677223687093438829554017220270598966424716340582609051995533737126271093910536149159499282161749442441995828745418637740931160553736130683061892170255785982532252466442956736614544978095733788213524391093013612849007323457397991255181957634658022400430493370137735777064701527079816796454068419332208420810083224053951726076899650081226254098921043235659462898466770930002718620929839852550885944264436224522912176561547067348695293220174489998882282006046903380231019074128292572937581643166744535477859139937771651119054310943884964191125621890772594893986578099379354751895600957899065518456063684021587793243261823681677842442772982717664096995178478040005750801709887712849532207767299471589330518585364794549109441748066863361239990727915123903",
+  "baseline_pr": 2530,
+  "baseline_kappa": "0.00171373792154750434675199999999999999",
+  "outer_refinement": {
+    "grid_digits": 2995,
+    "margin_digits": 3005,
+    "bootstrap_steps": 1116,
+    "endpoint_digits": 3000
+  },
+  "scope": "Conditional finite construction only. All-size compiler, common-label/mutable-source realization, whole-call hosting, precision/tape, exact recovery, analytic transfer, PR559 recurrence correction and PR589 bit H1-H5 assumptions remain. No unconditional theorem, full Lean certification, or global packing claim.",
+  "verification": "Producer-local checks: the PR2530 words (hash-checked patches on the PR2462 supplier, audited forward and dual with tamper controls and both guards), the evacuated owner fill (literal windows, bins and families), fresh native replays, PLAN rebind, strict discovery, SPEC refreeze, certified 1e-3000 endpoints, exact outer witness, regenerated ledger (63 strict rows, 17 rejecting controls), independent derivation and the private-buffer stock accounting. The complete proof is the publisher's run of verify_release.py.",
+  "gain_over_claimed_leader": "5.14118E-7",
+  "kappa_layers": "CLAIM.json kappa / kappa_decimal is the supplier-only kappa: the strict supplier assembly under its own (older) outer witness, new/SPEC.json expected.kappa. The headline conditional kappa of this package is the outer ledger kappa in outer/OUTER-CLAIM.json (= outer/LEDGER.json), obtained by re-evaluating the same supplier endpoint under the fine-prime-padding outer at the fixed-grid maximum; it is the number compared with the baseline.",
+  "supplier_only_kappa_exceeds_baseline": false,
+  "headline_kappa_exceeds_baseline": true,
+  "headline_kappa_source": "outer/OUTER-CLAIM.json"
+}

research/gmx-t74-borrow43-handoff/CONSTRUCTION.json

@@ -0,0 +1 @@
+{"dispatch":{"extra":417,"gauge44":249},"helpers_per_call":422,"idle":{"1":22090,"14":1,"23":1,"3":6661,"32":77,"48":26489,"5":422,"7":170},"roles":281052,"scope":"Literal strict windows, bin capacities, per-call helper widths and distinct physical families verified for the shipped fill; local programs are the borrow words; full parent binding, finite invoice and global admission run separately.","status":"PASS_EXACT_BORROW_WORD_T74_OWNER_FILL"}