Conditional κ = 0.001729150973534224: one declared restore edit (R1) on PR2979's words and literal allocation

[jeremykothe2]

Summary

Conditional κ = 0.001729150973534224428694999999999999999999999899999999999999… (70 decimals; the exact value is kappa in research/rank7-joint-endframes-restore-edit/outer/OUTER-CLAIM.json, SHA-256 of the decimal string f0cbe97dd438d62a9615e6ca9708cfaf4cee432072e2c1f7e7e99438eeb49a7a). This package takes PR2979's (mdumitrean, Marius-Paul Dumitrean) words (joint rank-7 end frames, five further paired extractions, PR2957's fourteen rewrites on PR2942) and its literal T74 allocation as its base: fill, order, dispatch, helper widths and private-buffer count are unchanged. New here, by Jeremy Kothe (jeremykothe2), with AI assistance: a declared literal edit-list stage (first edit R1, restore[178:180] to three gates, found by an exhaustive exact search over all 2-4-gate restore-phase blocks of PR2979's words, re-synthesised under the certified frame pricer) with an independent review and tamper controls, and the re-derived paid profile and cap certificate.

Verification

Fresh checkout of e244296debb45fe6f4da84d29e4d64fbab55fda0. Manifest: 5e113822c0c36ee7dd9366578fbaf5daa108b8c51e37f4d10eda25dd6ed52cae.
PASS package manifest: 154 files

Package manifest; exact gates against PR2827, PR2833, PR2843, PR2848, PR2853, PR2857, PR2863, PR2875, PR2894, PR2908, PR2917, PR2930, PR2942, the nine-rewrite package, PR2957 (pkgW3), PR2966 (pkgX), PR2969 and PR2979; run_registered.py (independent review and tamper controls of the declared restore edit list, PR2979's producer and three-stage replay, literal T74 owners of the fill, directed rational moment, fixed-inventory cap certificate, stored release binding); reproduce.py: exact Git exports of PR2894/PR2908/PR2917/PR2930/PR2833 and the pinned comparators, fresh retained bootstrap, the declared preload, paired-extension, rank-7 and declared-edit stages, fresh native chains for both changed words, complete replica admission and the modern outer release. Conditional kappa 0.0017291509735342244286949999999999999999…(70 digits).

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

See research/rank7-joint-endframes-restore-edit/README.md for reproduction commands and proof qualifications.

Credits

PR2979 (mdumitrean, Marius-Paul Dumitrean): the base, credited first: the words, the rank-7 overlay, the literal T74 allocation, the cap machinery and the checkers. PR2969 (Dugongue); PR2966 / PR2957 / PR2948 (Jeremy Kothe, jeremykothe2); PR2942 and PR2930 (mdumitrean); PR2917 (mason-hale); PR2908 (jeremydiviney); PR2894 (Jeremy Kothe); PR2863 (Dugongue); PR2857 / PR2848 (Lyy-iiis); PR2853 (philippeVV); PR2843 (mdumitrean); PR2839 / PR2827 / PR2824 (Dugongue); PR2833 (Jeremy Kothe) and the inherited lineage. Ours (Jeremy Kothe (jeremykothe2), with AI assistance): the declared edit stage and edit R1.

[thakrarsagar]

Independent verification of this PR's R1 edit (no κ claim; no defect found in the checked scope): PR 3053, research/t74-3015-restore-edit-audit, with code that does not run this package's files. Both edited words are exact forward and dual through cleanup and endpoint; the paid delta −2H1+H2 is exactly register 63's climbs 7→8→9 merging into 7→9; the unchanged allocation gives the claimed complete profile, stock 66,813 and C = 0.001729150973534224428695 (gain over #2979 exact); R1 is the unique improving rewrite of its class (adjacent same-target pairs) on #2979's words and the class is exhausted after it; the composed endpoint with #3018's journal equals #3021's.

Two non-blocking notes: TASK.json here is PR #2979's byte for byte (author, task id, scope and open questions describe #2979, not R1), and the README status line is dated 2026-10-17. Details and the canonical post: Discussion #2612 (comment 18982877).