From 215956879c9b46d7e62753fc792b04c801a05969 Mon Sep 17 00:00:00 2001 From: pinterbanget Date: Thu, 22 Oct 2026 06:39:51 +0700 Subject: [PATCH] Disposition receipt for the Gaussian halo-exponent PR chain (13 open PRs; none retained; one unchecked) Co-Authored-By: Claude Opus 5.5 --- research/halo-chain-receipt/README.md | 65 +++ research/halo-chain-receipt/RECEIPT.json | 510 +++++++++++++++++++++++ research/halo-chain-receipt/SOURCES.json | 18 + research/halo-chain-receipt/TASK.json | 60 +++ research/halo-chain-receipt/VERIFY.json | 18 + research/halo-chain-receipt/verify.py | 44 ++ 6 files changed, 715 insertions(+) create mode 100644 research/halo-chain-receipt/README.md create mode 100644 research/halo-chain-receipt/RECEIPT.json create mode 100644 research/halo-chain-receipt/SOURCES.json create mode 100644 research/halo-chain-receipt/TASK.json create mode 100644 research/halo-chain-receipt/VERIFY.json create mode 100644 research/halo-chain-receipt/verify.py diff --git a/research/halo-chain-receipt/README.md b/research/halo-chain-receipt/README.md new file mode 100644 index 0000000000..3846c7bac4 --- /dev/null +++ b/research/halo-chain-receipt/README.md @@ -0,0 +1,65 @@ +# Disposition receipt: the Gaussian halo-exponent PR chain + +**Claim type:** a source-bound overlap and disposition receipt (the overlap-receipt card). **No new κ.** +It makes no closures and no merge recommendations. It covers 13 open PRs submitted on 2026-10-21 against +base `2a13eb18`. The verifier checks the receipt's internal consistency and its retention claims. +`RECEIPT.json` records exact heads and package-file blobs. + +## Disposition + +All 13 PRs are single-package additions on base `2a13eb18`. **None is retained on main**: each package +path is absent at the base. + +| PR | Author | Head | Role | Depends on | Independent check | +| --- | --- | --- | --- | --- | --- | +| #4437 | jwr404 | `7ca94e97` | ideal column majorant across `g = 2`; ideal gap `> 1/(8p²)` | — | #4468 | +| #4438 | jwr404 | `6157a47b` | within-cell gauge transfer, `1/(1−ε)`; `C = 3` | #4437 | #4469 | +| #4439 | jwr404 | `26af8afb` | within-cell ε exponents 12, 26, 28, 28, 6 | #4438, #4437 | #4471 | +| #4442 | jwr404 | `d079c2b0` | across-cell ε exponents (downward reading) | #4439, #4449 | #4471 | +| #4449 | mihir-s-05 | `1fb77b37` | across-cell rounding `0 ≤ H ≤ n`, `n − H < 4η` | — | #4472 | +| #4451 | jwr404 | `be243a28` | weight error is relative `δ = 2^{2−32760p}` | — | #4460 | +| #4452 | jwr404 | `af68f597` | within-cell δ exponents 11, 24, 26, 26, 6 | #4451, #4437 | #4460 | +| #4462 | pinterbanget | `c8fd7f81` | across-cell δ transfer; "rounded"-reading robustness | #4452, #4449, #4442 | **none yet** | +| #4460 | pinterbanget | `6aaf4810` | check of #4451/#4452 | | | +| #4468 | pinterbanget | `b5f7fbbb` | check of #4437 | | | +| #4469 | pinterbanget | `baf56b16` | check of #4438 | | | +| #4471 | pinterbanget | `0cf8e2b0` | check of #4439/#4442 | | | +| #4472 | pinterbanget | `dcf680a1` | check of #4449 | | | + +## Relations + +- **The two routes.** The δ route (#4451, #4452, #4462) implies the ε route's weight hypothesis with + room, since #4451 shows `δ < 1/(16p²)`. It gives smaller exponents: 11, 24, 26, 26, 6, against 12, + 26, 28, 28, 6. The ε results remain valid but are coarser. Neither route is on main. +- **Coverage.** Every author PR in the set has at least one independent check, by separately written + code. All checks are by one contributor, so a second, different reviewer is still missing. +- **The one gap.** The open transfer #4462 has no independent check yet. +- **Hypotheses common to the whole chain.** The ideal gaps (GAUSSIAN's "eventually" statements, #4402) + and the page-generator implementation are not discharged by any PR in the set. + +## Not covered + +- PRs outside the named set, for example #4402 and #4406 already on main, and the downstream report. +- Any judgement of merge priority. + +## Reproduce + +```sh +python3.12 -B scripts/research_package.py --package research/halo-chain-receipt --check-only +python3.12 -B scripts/research_package.py --package research/halo-chain-receipt +git fetch origin pull/4452/head && git ls-tree -r FETCH_HEAD research/gaussian-delta-exponents # compare a recorded blob +``` + +The verifier prints `PASS_HALO_CHAIN_RECEIPT`. + +## Open next questions + +1. **An independent check of #4462 by a different contributor.** + - *First step:* replay Lemma A's split with δ, and Lemma B's `10p²` ceiling. + +## Credit + +- jwr404 (James Reed) and mihir-s-05 (Mihir Srivastava) wrote the author PRs. + +Prepared by Ryanson Jonathan with substantial Claude Code (Claude Opus 5.5) assistance. +Apache-2.0. diff --git a/research/halo-chain-receipt/RECEIPT.json b/research/halo-chain-receipt/RECEIPT.json new file mode 100644 index 0000000000..01b5a52219 --- /dev/null +++ b/research/halo-chain-receipt/RECEIPT.json @@ -0,0 +1,510 @@ +{ + "schema": "halo-chain-receipt/1", + "base_commit": "2a13eb1827784206202db90e5dc8327cf8a250db", + "prs": [ + { + "pr": 4437, + "author": "jwr404", + "head": "7ca94e9762ee33edbfb2e527e7313bc579e463ee", + "merge_base": "2a13eb1827784206202db90e5dc8327cf8a250db", + "package": "research/gaussian-column-cut", + "files": [ + { + "path": "research/gaussian-column-cut/README.md", + "blob": "30b2efc7782f1ac137ec71773a8029789d323c68" + }, + { + "path": "research/gaussian-column-cut/SOURCES.json", + "blob": "c2826aa85eff4047ab743f031a7813eca764a8a4" + }, + { + "path": "research/gaussian-column-cut/TASK.json", + "blob": "9cd4b5853182db7b119ff6698195c628f434a3fc" + }, + { + "path": "research/gaussian-column-cut/VERIFY.json", + "blob": "bca2288327401f926814632b53f3396c3d2d24a2" + }, + { + "path": "research/gaussian-column-cut/verify.py", + "blob": "04024f80294f653e8eec636aaede13ccddb4a60d" + } + ], + "package_on_main": false, + "paths_changed_outside_package": [], + "role": "Ideal column majorant across g=2 steps (ideal gap > 1/(8p^2)); hypothesis of the eps/delta routes", + "depends_on": [], + "independently_checked_by": [ + 4468 + ], + "disposition": "open; not retained on main (package path absent at base); single-package addition" + }, + { + "pr": 4438, + "author": "jwr404", + "head": "6157a47bfe169cd9c5f666f85ab8caa929e1174f", + "merge_base": "2a13eb1827784206202db90e5dc8327cf8a250db", + "package": "research/gaussian-gauge-column", + "files": [ + { + "path": "research/gaussian-gauge-column/README.md", + "blob": "7926f38cfcb0bbf0a47517ed5aa40e7f5a80dc5e" + }, + { + "path": "research/gaussian-gauge-column/SOURCES.json", + "blob": "6d572e443c7bcfe70c57fc40a4c56adeb13fde98" + }, + { + "path": "research/gaussian-gauge-column/TASK.json", + "blob": "1d414eac6ad2ad50167eba093590b2caf2b6b12f" + }, + { + "path": "research/gaussian-gauge-column/VERIFY.json", + "blob": "d5f80aa5cc410ae9e04bd0f037492b9393e1846a" + }, + { + "path": "research/gaussian-gauge-column/verify.py", + "blob": "7e811ee91eb5af9cd5b07600718bb87e4299e96e" + } + ], + "package_on_main": false, + "paths_changed_outside_package": [], + "role": "Within-cell gauge column transfer: column off-sum <= ideal/(1-eps); eps = 1/(16p^2) leaves gap 1/(16p^2-1); C=3", + "depends_on": [ + 4437 + ], + "independently_checked_by": [ + 4469 + ], + "disposition": "open; not retained on main (package path absent at base); single-package addition" + }, + { + "pr": 4439, + "author": "jwr404", + "head": "26af8afbadd7f8feb737d98b47ac9f4b45d35c7a", + "merge_base": "2a13eb1827784206202db90e5dc8327cf8a250db", + "package": "research/gaussian-cell-exponents", + "files": [ + { + "path": "research/gaussian-cell-exponents/README.md", + "blob": "72b60dd9ff1554d6f30e46d5f18a5bc4b387995d" + }, + { + "path": "research/gaussian-cell-exponents/SOURCES.json", + "blob": "962ce5c6d866041f218136f49e573878df6772fe" + }, + { + "path": "research/gaussian-cell-exponents/TASK.json", + "blob": "5b93e0720796beeb442f7189c03ff687b5609b68" + }, + { + "path": "research/gaussian-cell-exponents/VERIFY.json", + "blob": "665cee7a2a9ff2e06b79c0e7b9777181089bbc8a" + }, + { + "path": "research/gaussian-cell-exponents/verify.py", + "blob": "b8f27a813b012720dacbade71766b64320971fc0" + } + ], + "package_on_main": false, + "paths_changed_outside_package": [], + "role": "Within-cell eps-route exponents 12, 26, 28, 28, normalizer 6 (7 sufficient)", + "depends_on": [ + 4438, + 4437 + ], + "independently_checked_by": [ + 4471 + ], + "disposition": "open; not retained on main (package path absent at base); single-package addition" + }, + { + "pr": 4442, + "author": "jwr404", + "head": "d079c2b058ebd3d7a9ff424113b095bf61175427", + "merge_base": "2a13eb1827784206202db90e5dc8327cf8a250db", + "package": "research/gaussian-cross-exponents", + "files": [ + { + "path": "research/gaussian-cross-exponents/README.md", + "blob": "e402aed5d0601a5e8efdac1190bb60dbbcb212c6" + }, + { + "path": "research/gaussian-cross-exponents/SOURCES.json", + "blob": "ece2b8ceb86c4cba75db363629e9a834123d3396" + }, + { + "path": "research/gaussian-cross-exponents/TASK.json", + "blob": "f4ec74c1839b067fe4183a31ef3267e1265ea092" + }, + { + "path": "research/gaussian-cross-exponents/VERIFY.json", + "blob": "63579aa98afa6e09331f50d6c540d8c88383aad7" + }, + { + "path": "research/gaussian-cross-exponents/verify.py", + "blob": "211c04cbd8076f6c4c233f0c77ae53b9ac7f2fc4" + } + ], + "package_on_main": false, + "paths_changed_outside_package": [], + "role": "Across-cell eps-route exponents under the downward reading 0 <= H <= n", + "depends_on": [ + 4439, + 4449 + ], + "independently_checked_by": [ + 4471 + ], + "disposition": "open; not retained on main (package path absent at base); single-package addition" + }, + { + "pr": 4449, + "author": "mihir-s-05", + "head": "1fb77b377f570ca84a89a465b2ee4ce8674b7159", + "merge_base": "2a13eb1827784206202db90e5dc8327cf8a250db", + "package": "research/gaussian-cross-rounding", + "files": [ + { + "path": "research/gaussian-cross-rounding/README.md", + "blob": "7e1092eb654a4eac43620f8ddee142138f399f59" + }, + { + "path": "research/gaussian-cross-rounding/RESULT.json", + "blob": "3376cbfaadd705afae17ebec5d80a2783642a5ea" + }, + { + "path": "research/gaussian-cross-rounding/SOURCES.json", + "blob": "1e11052b6874eb1d7143fce452548b17afc60785" + }, + { + "path": "research/gaussian-cross-rounding/TASK.json", + "blob": "881cd3fca3e15a6507317b68c9db287af5df4291" + }, + { + "path": "research/gaussian-cross-rounding/VERIFY.json", + "blob": "8f6d8f2a17dc6ea4cfa9fee911d44472ac56d15b" + }, + { + "path": "research/gaussian-cross-rounding/verify.py", + "blob": "d34abfdb9ef6f1f1ad438ed83efda97d143e65b0" + } + ], + "package_on_main": false, + "paths_changed_outside_package": [], + "role": "Across-cell downward rounding contract 0 <= H <= n, n - H < 4 eta (supplies #4442's premise)", + "depends_on": [], + "independently_checked_by": [ + 4472 + ], + "disposition": "open; not retained on main (package path absent at base); single-package addition" + }, + { + "pr": 4451, + "author": "jwr404", + "head": "be243a2818f0de3421c118dd21601aafe8e839dd", + "merge_base": "2a13eb1827784206202db90e5dc8327cf8a250db", + "package": "research/gaussian-ratio-budget", + "files": [ + { + "path": "research/gaussian-ratio-budget/README.md", + "blob": "51ade7c94e64c0b2364a47a5341041caf5180c0e" + }, + { + "path": "research/gaussian-ratio-budget/SOURCES.json", + "blob": "261886d29374d700ac60c2dc3ed949a064b38414" + }, + { + "path": "research/gaussian-ratio-budget/TASK.json", + "blob": "2ee67106fdcad2a03c27bb1bda7fe15eed6f1056" + }, + { + "path": "research/gaussian-ratio-budget/VERIFY.json", + "blob": "476e0e248ce94eca3e722bb47070ba9992aa8c6f" + }, + { + "path": "research/gaussian-ratio-budget/verify.py", + "blob": "1f6b4edb7e2f48efd7a5d555bde081caec445111" + } + ], + "package_on_main": false, + "paths_changed_outside_package": [], + "role": "Published weight error is a relative error delta = 2^(2-32760p) < 1/(16p^2)", + "depends_on": [], + "independently_checked_by": [ + 4460 + ], + "disposition": "open; not retained on main (package path absent at base); single-package addition" + }, + { + "pr": 4452, + "author": "jwr404", + "head": "af68f5973a572305af174b3c49c440592172134d", + "merge_base": "2a13eb1827784206202db90e5dc8327cf8a250db", + "package": "research/gaussian-delta-exponents", + "files": [ + { + "path": "research/gaussian-delta-exponents/README.md", + "blob": "6e5f1cc5b77a2ddefaf6f3aba658535e506b3346" + }, + { + "path": "research/gaussian-delta-exponents/SOURCES.json", + "blob": "3c6d0c33f8177ff8ae42f2d8e6ba58c90f46dfe3" + }, + { + "path": "research/gaussian-delta-exponents/TASK.json", + "blob": "04efecc2ab972021e579e43db04b732a40865ae6" + }, + { + "path": "research/gaussian-delta-exponents/VERIFY.json", + "blob": "940c4e5a943bf4f1c8af8cac721391b073107643" + }, + { + "path": "research/gaussian-delta-exponents/verify.py", + "blob": "017ba68a0875006385d20bf0f04f740429f25113" + } + ], + "package_on_main": false, + "paths_changed_outside_package": [], + "role": "Within-cell delta-route exponents 11, 24, 26, 26, normalizer 6", + "depends_on": [ + 4451, + 4437 + ], + "independently_checked_by": [ + 4460 + ], + "disposition": "open; not retained on main (package path absent at base); single-package addition" + }, + { + "pr": 4460, + "author": "pinterbanget", + "head": "6aaf48105c2100d0dcf47b5b1ff5a85c37ddef52", + "merge_base": "2a13eb1827784206202db90e5dc8327cf8a250db", + "package": "research/delta-halo-exponent-check", + "files": [ + { + "path": "research/delta-halo-exponent-check/README.md", + "blob": "5c0baedae6596803da8c37285376bdd3c0847ece" + }, + { + "path": "research/delta-halo-exponent-check/SOURCES.json", + "blob": "8396f77595ea42b6e135d2abdc561d754243862f" + }, + { + "path": "research/delta-halo-exponent-check/TASK.json", + "blob": "b448cc4d20c80f27a345999a5b6455e28ed2af1a" + }, + { + "path": "research/delta-halo-exponent-check/VERIFY.json", + "blob": "7c7fed46e5ff14f2a424d7d022b55e50fee3e88f" + }, + { + "path": "research/delta-halo-exponent-check/verify.py", + "blob": "ae2149b689b19005220bcb27a502ee48cd32de9d" + } + ], + "package_on_main": false, + "paths_changed_outside_package": [], + "role": "Independent check of #4451/#4452", + "depends_on": [ + 4451, + 4452 + ], + "independently_checked_by": [], + "disposition": "open; not retained on main (package path absent at base); single-package addition" + }, + { + "pr": 4462, + "author": "pinterbanget", + "head": "c8fd7f81696d5b8b838c996cc384e76ab378dae3", + "merge_base": "2a13eb1827784206202db90e5dc8327cf8a250db", + "package": "research/delta-cross-cell-transfer", + "files": [ + { + "path": "research/delta-cross-cell-transfer/README.md", + "blob": "dbf47ea381ec2bfe35303243fb641791f0f9bba8" + }, + { + "path": "research/delta-cross-cell-transfer/SOURCES.json", + "blob": "96847e77202e1cd1ea3cee2954819df77dd1e379" + }, + { + "path": "research/delta-cross-cell-transfer/TASK.json", + "blob": "ce3fef2375e42319bb56c3acf546e5e50df7d2b2" + }, + { + "path": "research/delta-cross-cell-transfer/VERIFY.json", + "blob": "e50eb45b2c866cc349d6dc2bc76748316bc52476" + }, + { + "path": "research/delta-cross-cell-transfer/verify.py", + "blob": "d4ceef9da4ebb2878236611d4e18d8db174446a5" + } + ], + "package_on_main": false, + "paths_changed_outside_package": [], + "role": "Across-cell transfer of the delta-route exponents; robustness to the 'rounded' reading (excess <= 1/(32p^3))", + "depends_on": [ + 4452, + 4449, + 4442 + ], + "independently_checked_by": [], + "disposition": "open; not retained on main (package path absent at base); single-package addition" + }, + { + "pr": 4468, + "author": "pinterbanget", + "head": "b5f7fbbb4a4a778f78da69ee1a5d965a6af081ad", + "merge_base": "2a13eb1827784206202db90e5dc8327cf8a250db", + "package": "research/column-cut-check", + "files": [ + { + "path": "research/column-cut-check/README.md", + "blob": "be5f15041f15623988ab117a5637a0ad2d9857ed" + }, + { + "path": "research/column-cut-check/SOURCES.json", + "blob": "6a28c347a0a843214c22e0d710f9179853ba880d" + }, + { + "path": "research/column-cut-check/TASK.json", + "blob": "8f094ea99366d7933c4f80e3cd3f60e3af58e81f" + }, + { + "path": "research/column-cut-check/VERIFY.json", + "blob": "9784f0133598795589b4bdf8771683949adc374b" + }, + { + "path": "research/column-cut-check/verify.py", + "blob": "e78ab66f301d161ad6a6afc8cd03777662c51f99" + } + ], + "package_on_main": false, + "paths_changed_outside_package": [], + "role": "Independent numerical check of #4437", + "depends_on": [ + 4437 + ], + "independently_checked_by": [], + "disposition": "open; not retained on main (package path absent at base); single-package addition" + }, + { + "pr": 4469, + "author": "pinterbanget", + "head": "baf56b163de5981ade5afa28f75bbd7e019f8b65", + "merge_base": "2a13eb1827784206202db90e5dc8327cf8a250db", + "package": "research/gauge-column-check", + "files": [ + { + "path": "research/gauge-column-check/README.md", + "blob": "0e7da7af6300331348c7194c88fc3dc08f278156" + }, + { + "path": "research/gauge-column-check/SOURCES.json", + "blob": "6a28c347a0a843214c22e0d710f9179853ba880d" + }, + { + "path": "research/gauge-column-check/TASK.json", + "blob": "1d2850fcc6b4248171101b5a3f680909aa11cae5" + }, + { + "path": "research/gauge-column-check/VERIFY.json", + "blob": "12ed85caefecadf370935a1a4ddd55b275af53f1" + }, + { + "path": "research/gauge-column-check/verify.py", + "blob": "6034c1257639935d9132f135a05deda157297ed5" + } + ], + "package_on_main": false, + "paths_changed_outside_package": [], + "role": "Independent check of #4438", + "depends_on": [ + 4438 + ], + "independently_checked_by": [], + "disposition": "open; not retained on main (package path absent at base); single-package addition" + }, + { + "pr": 4471, + "author": "pinterbanget", + "head": "0cf8e2b0722379e9195f855c6c28aeaffa39aebd", + "merge_base": "2a13eb1827784206202db90e5dc8327cf8a250db", + "package": "research/eps-halo-exponent-check", + "files": [ + { + "path": "research/eps-halo-exponent-check/README.md", + "blob": "6d17bc7df9abbf68886a087a0830eb0d8a9dd36f" + }, + { + "path": "research/eps-halo-exponent-check/SOURCES.json", + "blob": "6a28c347a0a843214c22e0d710f9179853ba880d" + }, + { + "path": "research/eps-halo-exponent-check/TASK.json", + "blob": "712a51743176ead1464bf239e0ab05391c0d0013" + }, + { + "path": "research/eps-halo-exponent-check/VERIFY.json", + "blob": "88ed7e9c48d3f50e804324daaa0a18ba17ad49da" + }, + { + "path": "research/eps-halo-exponent-check/verify.py", + "blob": "18a1a24dbf9faae4e94936abad2eddefbd25ccde" + } + ], + "package_on_main": false, + "paths_changed_outside_package": [], + "role": "Independent check of #4439/#4442", + "depends_on": [ + 4439, + 4442 + ], + "independently_checked_by": [], + "disposition": "open; not retained on main (package path absent at base); single-package addition" + }, + { + "pr": 4472, + "author": "pinterbanget", + "head": "dcf680a111d4492002a501494378e8000a2f0b9e", + "merge_base": "2a13eb1827784206202db90e5dc8327cf8a250db", + "package": "research/cross-rounding-check", + "files": [ + { + "path": "research/cross-rounding-check/README.md", + "blob": "2aa2bd19d2be8f80113d7f325525a6288c522310" + }, + { + "path": "research/cross-rounding-check/SOURCES.json", + "blob": "6a28c347a0a843214c22e0d710f9179853ba880d" + }, + { + "path": "research/cross-rounding-check/TASK.json", + "blob": "dec4a7d323aea7d3b589d6921c0502a549288407" + }, + { + "path": "research/cross-rounding-check/VERIFY.json", + "blob": "67010526d1a7a0600823e31d59d216b7ee603d55" + }, + { + "path": "research/cross-rounding-check/verify.py", + "blob": "c77bc3b78935f1c900a18d69f5fe8db10ae1eff3" + } + ], + "package_on_main": false, + "paths_changed_outside_package": [], + "role": "Independent check of #4449", + "depends_on": [ + 4449 + ], + "independently_checked_by": [], + "disposition": "open; not retained on main (package path absent at base); single-package addition" + } + ], + "route_relation": "The delta route (#4451, #4452, #4462) implies the eps route's weight hypothesis with room (#4451: delta < 1/(16p^2)) and gives smaller exponents (11, 24, 26, 26, 6 vs 12, 26, 28, 28, 6). The eps results stay valid but are coarser; neither route is retained on main.", + "not_checked_independently": [ + 4462 + ] +} diff --git a/research/halo-chain-receipt/SOURCES.json b/research/halo-chain-receipt/SOURCES.json new file mode 100644 index 0000000000..9124bb10fe --- /dev/null +++ b/research/halo-chain-receipt/SOURCES.json @@ -0,0 +1,18 @@ +{ + "schema_version": 1, + "base_commit": "2a13eb1827784206202db90e5dc8327cf8a250db", + "files": [ + { + "path": "certificates/selected-result.json", + "usage": "provenance", + "git_blob": "ed33caef5c5827693e9572d252a66f99cbb73d40", + "sha256": "5732707cc1e460b090b53f2463162749ad860de878a18f7408938671d295a9d9" + }, + { + "path": "docs/research/agent-task-catalog.json", + "usage": "provenance", + "git_blob": "64bfc5af6709ed9811171e0a2108f05e1219cb65", + "sha256": "352a6184713b8843d96fd2c2071eb7aeaa655906b7c51d45ad444912666c8a96" + } + ] +} diff --git a/research/halo-chain-receipt/TASK.json b/research/halo-chain-receipt/TASK.json new file mode 100644 index 0000000000..df133e8906 --- /dev/null +++ b/research/halo-chain-receipt/TASK.json @@ -0,0 +1,60 @@ +{ + "schema_version": 1, + "task_id": "overlap-receipt", + "priority_revision": 7, + "base_commit": "2a13eb1827784206202db90e5dc8327cf8a250db", + "original_card": { + "id": "overlap-receipt", + "question": "What exact content and credit of a small named PR set has already been retained?", + "starting_points": [ + "docs/research/pr-ledger.md", + "CONTRIBUTORS.md" + ], + "methods": [ + "Compare exact heads and retained artifacts to write a source-bound disposition receipt.", + "Audit an existing receipt for missing content or predecessor attribution." + ], + "acceptance_gate": "Separate complete integration, partial retention and changed heads; make no autonomous closures.", + "first_step": { + "command": [ + "python3", + "-B", + "scripts/research_baseline.py" + ], + "expected": "PASS_RESEARCH_BASELINE_BINDINGS_ONLY", + "inspect": "Read one small PR set in the ledger and identify exact reviewed heads and unresolved content.", + "scope": "Positive control / source-bound orientation only; this is not a new construction or full cold replay." + }, + "first_experiment": "Compare that set to retained artifacts; produce a complete or explicitly partial disposition receipt.", + "bottleneck_link": "Reliable overlap evidence preserves credit and prevents repeated review of already-retained material.", + "allowed_variations": [ + "One small related PR family or one existing integration receipt." + ], + "scope_change_triggers": [ + "Treating matching titles or one shared blob as proof of full incorporation." + ], + "overlap_terms": [ + "overlap receipt", + "partial integration", + "attribution" + ] + }, + "scope_status": "unchanged", + "actual_scope": "What exact content and credit of a small named PR set has already been retained?", + "scope_change_reason": null, + "bottleneck_link": "Consolidation: navigation for maintainers over 13 open halo-chain PRs.", + "budget_minutes": 25, + "stop_rule": "Stop at the named PR set.", + "outcome": "completed", + "evidence": "13 open single-package PRs on base 2a13eb18, none retained on main; every author PR has an independent check; only #4462 lacks one.", + "author": "Ryanson Jonathan, with Claude Code (Claude Opus 5.5) assistance", + "ai_assistance": "Substantial Claude Code (Claude Opus 5.5) assistance; no independent human review.", + "open_questions": [ + { + "question": "Independent check of #4462 by a different contributor.", + "why_it_matters": "Only unchecked PR in the chain.", + "first_step": "Replay Lemma A with delta and Lemma B's 10p^2 ceiling.", + "blocked_by": "None." + } + ] +} diff --git a/research/halo-chain-receipt/VERIFY.json b/research/halo-chain-receipt/VERIFY.json new file mode 100644 index 0000000000..4ba9a1206d --- /dev/null +++ b/research/halo-chain-receipt/VERIFY.json @@ -0,0 +1,18 @@ +{ + "schema_version": 1, + "status": "ready", + "python": "3.12", + "requirements": [], + "inputs": [], + "commands": [ + { + "argv": [ + "{python}", + "-B", + "{package}/verify.py" + ], + "timeout_seconds": 60, + "checks": "Receipt for 13 halo-chain PRs: heads/base well-formed, no package retained at base, single-package additions with recorded blobs, edges consistent, every author PR independently checked, only #4462 unchecked." + } + ] +} diff --git a/research/halo-chain-receipt/verify.py b/research/halo-chain-receipt/verify.py new file mode 100644 index 0000000000..e862ee2072 --- /dev/null +++ b/research/halo-chain-receipt/verify.py @@ -0,0 +1,44 @@ +#!/usr/bin/env python3 +"""Disposition receipt for the Gaussian halo-exponent PR chain (13 PRs, all open at base 2a13eb18). + +Checks the receipt's internal consistency and its retention claims against the checked-out base: every listed +package path is absent at base (nothing retained), each PR is a single-package addition with recorded file blobs, +dependency and coverage edges refer only to listed PRs, and every author PR except the open transfer #4462 has at +least one independent check listed. Exact PR heads and blobs are provenance (fetch pull//head to compare). +Ryanson Jonathan with Claude Code (Claude Opus 5.5) assistance. Apache-2.0. +""" +import json +from pathlib import Path +import re +import sys + +HERE = Path(__file__).resolve().parent +ROOT = HERE.parents[1] + + +def need(condition, message): + if not condition: + raise AssertionError(message) + + +def main(): + rec = json.loads((HERE / "RECEIPT.json").read_text(encoding="utf-8")) + prs = {r["pr"]: r for r in rec["prs"]} + need(len(prs) == 13, "13 PRs") + for n, r in prs.items(): + need(re.fullmatch(r"[0-9a-f]{40}", r["head"]) and r["merge_base"] == rec["base_commit"], f"#{n}: head and base") + need(not (ROOT / r["package"]).exists() and not r["package_on_main"], f"#{n}: package not retained at base") + need(r["paths_changed_outside_package"] == [], f"#{n}: single-package addition") + need(len(r["files"]) >= 5 and all(re.fullmatch(r"[0-9a-f]{40}", f["blob"]) for f in r["files"]), f"#{n}: blobs") + need(all(f["path"].startswith(r["package"] + "/") for f in r["files"]), f"#{n}: files inside the package") + need(set(r["depends_on"]) <= set(prs) and set(r["independently_checked_by"]) <= set(prs), f"#{n}: edges") + authors = [n for n, r in prs.items() if r["author"] != "pinterbanget"] + need(all(prs[n]["independently_checked_by"] for n in authors), "every author PR has an independent check") + need(rec["not_checked_independently"] == [4462], "only the transfer #4462 lacks an independent check") + print(json.dumps({"status": "PASS_HALO_CHAIN_RECEIPT", "prs": len(prs), "retained_on_main": 0, + "author_prs_checked": len(authors), "unchecked": rec["not_checked_independently"], + "new_kappa_claimed": False}, indent=1)) + + +if __name__ == "__main__": + sys.exit(main())