research: restore-only optimum for PR #3042's six-skip words (scoped exact negative, no new κ)

research/rank7-skip-restore-optimum/.gitattributes

@@ -0,0 +1,2 @@
+# Keep vendored, data, certificate and evidence bytes exact (the repository default normalizes text).
+* -text

research/rank7-skip-restore-optimum/CREDITS.md

@@ -0,0 +1,27 @@
+# Credits
+
+- **PR #3042, dcharb78**: the six-skip words (both providers) and the carrier/pivot routing that removes six restore-phase
+  visits (63, 54, 40, 22 in R1_E42; 73, 5 in R2_E7); the pinned exports in `data/` and the declared edits used for the
+  erratum and the calibration.
+- **PR #3015, Jeremy Kothe (jeremykothe2)**: R1 and the declared restore-edit stage that PR #3042 extends; with PR #2894 /
+  #2833 the frame accounting and inverse-reverse cleanup conventions this lineage prices with.
+- **Nick Petalas**: PR #3054 (T740 packing with the six skips; its words are these words), PR #3057 (restore-frame optimum)
+  and PR #3065 (joint A/B/restore frame optimum, whose 743-variable / 210-component frame graph `verify.py` reproduces),
+  PR #3056 and PR #3060 (the `restore[175:179]` replacements used here as attainment controls), PR #3044 (R2 shared
+  covector), PR #3024 / #3030 (T740 cap).
+- **PR #2979 and its lineage, Marius-Paul Dumitrean**: joint rank-7 end frames, the paired extractions at normals 42 and 7
+  and the composed words that PR #3015 and PR #3042 edit; the r12 BORROW-WORD harness and the #1186 frame toolkit ported in
+  `frames_exact.py`.
+- **icekylinx**: PR #2833's exact free-operator auditor, vendored unchanged and used both for the restore-entry rows
+  (`walg_apply`) and for every exactness control.
+- **Mason Hale (PR #2917)** and **Jeremy Diviney (PR #2908)**: the paired-extraction words and two-sided certificates that the
+  restored helpers and their private buffers come from.
+- **DreamingOfClouds / chafreaky (research/frame-domain-ceiling)**: the moment engines and GF(2) helpers behind the integer
+  weights.
+- **Sagar Thakrar (PR #3053)** for the frame-reassignment handoff that PR #3057/#3065 answered, and **Gareth Davidson
+  (PR #1995 / #2013)** for the earlier fixed-word monotone-frame bounds.
+- **New here (Marius-Paul Dumitrean, with substantial AI assistance from Claude Code)**: the restore-only optimum theorem and
+  its proof (auditor semantics with the appended-gate control, forced coordinates and caps, the dual-vector departure
+  lemma, carriers and lifts, the classification and accounting), the stdlib verifier and port, the PR #2979 calibration,
+  the PR #3042 erratum and the controls. Lane K of our r15 round found the bound and its censuses; this package re-derives
+  it with sound lemmas and pins lane K's code and receipts in `evidence/laneK/`.

research/rank7-skip-restore-optimum/MANIFEST.json

@@ -0,0 +1,41 @@
+{
+ ".gitattributes": "1d90e85a978fc13a34fe1b1656bb61c1e02fb4dbf3babc00ce421d7686fb6e94",
+ "CREDITS.md": "ba3e64853367d19003bb30b1f7ceecbdffafd5cb433c33321594d5fd8aec8ebe",
+ "NOTICE": "713634fb82cc419ed93d75b4bce1f7c5f9663fe941442db648758c047577075f",
+ "PINS.json": "5d7607c539fe2112bd922c582258d94ea71e9256a1af1d5f9693d7b4259217ea",
+ "README.md": "ad0d76b90e806072ffc7593a50824eba45cf98d86e62b26869903308995047df",
+ "SOURCES.json": "068a00369827958f1dc155202e63de8c85f69c89bda602854bd90044c5b0723c",
+ "TASK.json": "e15dc093f8b12be9a56e3a66d375cf5dae28b99fa81d78c16a4bfd7402d4cfb4",
+ "VERIFY.json": "616f5639c740c32468639aba6be717e85f6a85659b742a89b8948155203469d9",
+ "census.py": "c7fbb879e7ef2af727207f0be761ac198be73714bdbd967f7b9cc8ebb311058e",
+ "certificates/BOUND-3042-base.json": "10922a932f51dac4021ea8d6a09b47b3bf0b8e278b77824a79bcf842d4929ebf",
+ "certificates/BOUND-3042-extra.json": "e75d625fede24fbc712f37f9f11269a418ef643703efc2e253a6005fd226a4db",
+ "certificates/CALIBRATION-2979.json": "68be5cf24d945ad0c16c7a55ccc655b0ea3c3ffc92c1d6a312200260247f4619",
+ "certificates/CENSUS.json": "bc983ddeb96d8d3e239bc0f2d919a88539d2414650c195a70c80975bf878bb5c",
+ "certificates/CONTROLS.json": "b6e91b1c67e425f3255874579b038e3c8ebb7ac926dae7f0e87e63d3db8748b2",
+ "certificates/ERRATUM-3042.json": "e2ac9e3af74a77574d2ec8afb4a5c2c0197c048f59bad1d2b8b4b65c613e0dd6",
+ "certificates/RESULT.json": "feadd89cec8dbdb95fa36df8b1c24b5a062a889ffe8d905d06edf58b91d1842a",
+ "data/EDITS-3042.json": "ebffcc1e57e59439b9678ff8d9be518c457af22ce77235c2fdb46540ab9b9b79",
+ "data/WORD-2979-base.json.gz": "abaf67bfcb257528658c906b612f57025617592bd7889828f92b97a5f4f4300d",
+ "data/WORD-2979-extra.json.gz": "e0eaf64c4d5d324693d43889bce1b9e53e8da00402105c8c978fd102f208bed7",
+ "data/WORD-3042-base.json.gz": "7e98f6f2a6c9ce9e7e04b515bd8ce4a4a533ff05f01ea265be2a1a994695260e",
+ "data/WORD-3042-extra.json.gz": "1396410de482883416fc7f534062ab005b484056b035fdcfa3b5cc065536ba35",
+ "evidence/laneK/AUDITOR-SEMANTICS.json": "a37ed5585bb6cb907e643a89c3f34d654712e7b70d79d786be313a9f1a960a5c",
+ "evidence/laneK/CROSSCHECK.json": "3f1b9eab7f55a6d7e4c61bf25be656cd92dfa801b093b7e099c057a86bf469fc",
+ "evidence/laneK/FULLAB-SUMMARY.json": "135bf24a943fbfae601aacdc30419707457f704dd78655a010f678fb7eb6df47",
+ "evidence/laneK/NEGATIVE-3042-base.json": "326ad05aa4f3b77a1cb45d669f21231aa69404b7d1f2cbba410e24e31c44abc9",
+ "evidence/laneK/NEGATIVE-3042-extra.json": "3555d9d59768ed727f4ec01db70a7bfb0e4acaf99b1875663f5dc57850df143b",
+ "evidence/laneK/bound.py": "6b1479b436c4f01bb32f771aa06af3d2260adee5dd5a5e2bf568b0192cee69d8",
+ "evidence/laneK/crosscheck_lanek.py": "6a60ea588244b70c2594b763d7d26d1af304ed06dd7968bc668af594c3ab5a92",
+ "evidence/laneK/lbforced.py": "bd81e3f4460f61ef81e15e76ab25be5f8a9d7b71bb7dcbbf7a87873ca5398341",
+ "evidence/tail-exchange/TAIL-EXCHANGE-3042-base.jsonl.gz": "7bfa6fee793b7c7732a21f9d24d6f67029d726b9e4bd646fd6e626ab58e5176d",
+ "evidence/tail-exchange/TAIL-EXCHANGE-3042-extra.jsonl.gz": "7bfa6fee793b7c7732a21f9d24d6f67029d726b9e4bd646fd6e626ab58e5176d",
+ "frames_exact.py": "69ce80fbe90e77ddc818260b96cebb3c533d8fbd42d111524f24ee84a3ad56bd",
+ "restore_bound.py": "538e4ea639c9791dc92bec42b284a497da071b5802890a46ff41cd8ffc431342",
+ "run_registered.py": "f9f244dfb63dd214bb15317de855549d8e34f80ed900feb38cf3edd979199ddb",
+ "vendor/audit_local.py": "a38940094f7d19cd6376aafdd4734fa68eabc9aff4c98c3c4a3e9540328b1c90",
+ "vendor/base_two_moment.py": "aee70c242a2f1d225528fabe2002e1564d1dc884797c07d28a831c7878ee9098",
+ "vendor/gk_common.py": "e68d190fd436b2f3955decb590adb53344d5d4ea0a19d62d86df1e4b55ecd198",
+ "vendor/moment.py": "81cbc864e106418fc7854322746f72180cb8110ff39f74450a3b8d55a82c1482",
+ "verify.py": "2530cea57620a12f3512d4c2e0915054f6a2194bc60de60789dbd3e386eda565"
+}

research/rank7-skip-restore-optimum/NOTICE

@@ -0,0 +1,16 @@
+research/rank7-skip-restore-optimum
+Copyright 2026 Marius-Paul Dumitrean. Licensed under the Apache License, Version 2.0.
+Marius-Paul Dumitrean, with substantial AI assistance (Claude Code).
+
+This package retains, byte-identical, Apache-2.0 files from: PR #3042 (dcharb78, head
+84cc406ad91ec53fff329a11a445d7effe564a77, research/rank7-restore-carrier-skips): data/WORD-3042-base.json.gz and
+data/WORD-3042-extra.json.gz (its edits/FINAL-WORD-*.json.gz, also retained by PR #3054, Nick Petalas) and
+data/EDITS-3042.json (its edits/EDITS.json); PR #2979 (Marius-Paul Dumitrean, head be191346391661f4d35fc0d1508d0a6029572576,
+research/rank7-joint-endframes): data/WORD-2979-base.json.gz and data/WORD-2979-extra.json.gz; PR #2833's independent
+exact auditor (icekylinx attribution, research/gmx-t74-borrow43-handoff/new/borrow/audit_local.py): vendor/audit_local.py;
+research/frame-domain-ceiling: vendor/moment.py and vendor/base_two_moment.py (engines/) and vendor/gk_common.py
+(vendor/static44/gk/, DreamingOfClouds). frames_exact.py ports the BORROW-WORD frame model of our r12 harness and the exact
+elimination of research/exact-frame-toolkit (PR #1186); restore_bound.py and census.py re-derive lane K's (r15) bound and
+censuses; evidence/laneK/ and evidence/tail-exchange/ hold lane K's unchanged receipts and code. The restore blocks of
+PR #3056 and PR #3060 (Nick Petalas) are restated literally in verify.py as attainment controls. All original notices of
+the retained predecessor files remain in force.

research/rank7-skip-restore-optimum/PINS.json

@@ -0,0 +1,28 @@
+{
+ "certificates/BOUND-3042-base.json": "10922a932f51dac4021ea8d6a09b47b3bf0b8e278b77824a79bcf842d4929ebf",
+ "certificates/BOUND-3042-extra.json": "e75d625fede24fbc712f37f9f11269a418ef643703efc2e253a6005fd226a4db",
+ "certificates/CALIBRATION-2979.json": "68be5cf24d945ad0c16c7a55ccc655b0ea3c3ffc92c1d6a312200260247f4619",
+ "certificates/CENSUS.json": "bc983ddeb96d8d3e239bc0f2d919a88539d2414650c195a70c80975bf878bb5c",
+ "certificates/CONTROLS.json": "b6e91b1c67e425f3255874579b038e3c8ebb7ac926dae7f0e87e63d3db8748b2",
+ "certificates/ERRATUM-3042.json": "e2ac9e3af74a77574d2ec8afb4a5c2c0197c048f59bad1d2b8b4b65c613e0dd6",
+ "certificates/RESULT.json": "feadd89cec8dbdb95fa36df8b1c24b5a062a889ffe8d905d06edf58b91d1842a",
+ "data/EDITS-3042.json": "ebffcc1e57e59439b9678ff8d9be518c457af22ce77235c2fdb46540ab9b9b79",
+ "data/WORD-2979-base.json.gz": "abaf67bfcb257528658c906b612f57025617592bd7889828f92b97a5f4f4300d",
+ "data/WORD-2979-extra.json.gz": "e0eaf64c4d5d324693d43889bce1b9e53e8da00402105c8c978fd102f208bed7",
+ "data/WORD-3042-base.json.gz": "7e98f6f2a6c9ce9e7e04b515bd8ce4a4a533ff05f01ea265be2a1a994695260e",
+ "data/WORD-3042-extra.json.gz": "1396410de482883416fc7f534062ab005b484056b035fdcfa3b5cc065536ba35",
+ "evidence/laneK/AUDITOR-SEMANTICS.json": "a37ed5585bb6cb907e643a89c3f34d654712e7b70d79d786be313a9f1a960a5c",
+ "evidence/laneK/CROSSCHECK.json": "3f1b9eab7f55a6d7e4c61bf25be656cd92dfa801b093b7e099c057a86bf469fc",
+ "evidence/laneK/FULLAB-SUMMARY.json": "135bf24a943fbfae601aacdc30419707457f704dd78655a010f678fb7eb6df47",
+ "evidence/laneK/NEGATIVE-3042-base.json": "326ad05aa4f3b77a1cb45d669f21231aa69404b7d1f2cbba410e24e31c44abc9",
+ "evidence/laneK/NEGATIVE-3042-extra.json": "3555d9d59768ed727f4ec01db70a7bfb0e4acaf99b1875663f5dc57850df143b",
+ "evidence/laneK/bound.py": "6b1479b436c4f01bb32f771aa06af3d2260adee5dd5a5e2bf568b0192cee69d8",
+ "evidence/laneK/crosscheck_lanek.py": "6a60ea588244b70c2594b763d7d26d1af304ed06dd7968bc668af594c3ab5a92",
+ "evidence/laneK/lbforced.py": "bd81e3f4460f61ef81e15e76ab25be5f8a9d7b71bb7dcbbf7a87873ca5398341",
+ "evidence/tail-exchange/TAIL-EXCHANGE-3042-base.jsonl.gz": "7bfa6fee793b7c7732a21f9d24d6f67029d726b9e4bd646fd6e626ab58e5176d",
+ "evidence/tail-exchange/TAIL-EXCHANGE-3042-extra.jsonl.gz": "7bfa6fee793b7c7732a21f9d24d6f67029d726b9e4bd646fd6e626ab58e5176d",
+ "vendor/audit_local.py": "a38940094f7d19cd6376aafdd4734fa68eabc9aff4c98c3c4a3e9540328b1c90",
+ "vendor/base_two_moment.py": "aee70c242a2f1d225528fabe2002e1564d1dc884797c07d28a831c7878ee9098",
+ "vendor/gk_common.py": "e68d190fd436b2f3955decb590adb53344d5d4ea0a19d62d86df1e4b55ecd198",
+ "vendor/moment.py": "81cbc864e106418fc7854322746f72180cb8110ff39f74450a3b8d55a82c1482"
+}