diff --git a/research/p17-chain-receipt/README.md b/research/p17-chain-receipt/README.md new file mode 100644 index 0000000000..b0e71de281 --- /dev/null +++ b/research/p17-chain-receipt/README.md @@ -0,0 +1,68 @@ +# Disposition receipt: the p17 κ ≈ 0.003 PR chain + +**Claim type:** a source-bound overlap and disposition receipt (the overlap-receipt card). **No new κ.** +It makes no closures, no merge recommendations and no judgement of the κ claims. It covers 10 open PRs +on base `2a13eb18`. `RECEIPT.json` records heads, merge bases and per-path blobs. + +## The PRs + +| PR | Author | Role | Independent coverage | +| --- | --- | --- | --- | +| #4440 | 1337isnot1337 | κ claim 0.00296 (query-thinned productive controllers) | #4455 (arithmetic), #4457 (controllers) | +| #4441 | 1337isnot1337 | κ claim 0.00300105 (thinning plus helper retiming) | #4448 (invoice), #4455 | +| #4446 | 1337isnot1337 | κ claim 0.003001053 (retimed certificate) | #4455 | +| #4447 | 1337isnot1337 | κ claim 0.00300123 (missing three-dimensional contact span) | #4455, #4457 (native word) | +| #4453 | zxv | κ claim 0.00300120 (smaller uniform-rank exponent) | #4455 | +| #4448 | mihir-s-05 | reconstructs #4441's helper tariffs and invoice | | +| #4455 | pinterbanget | arithmetic of all five κ claims | | +| #4457 | Matarener | #4440's controllers and #4447's native word on lifted operators | | +| #4464 | mihir-s-05 | stage-zero premise `[D0, Q] = 0` (#4457's open question 1) | #4466 | +| #4466 | pinterbanget | check of #4464; the translations are forced | | + +## Findings + +1. **Retention.** Nothing in the set is retained on main. Every added path is absent at base. +2. **Stacked content, not git ancestry.** No κ PR is a git ancestor of another. The five agree + blob-for-blob on **44 shared paths**. These include the whole `research/query-thinned-controllers` + package and the docs edits. #4440's changed paths are a subset of those of #4441, #4446 and #4447. +3. **The only differing shared paths are two `SOURCES.json` files**: + `research/historical-1042-link/` and `research/test-suite-locale-reads/`. They differ **only in the + per-PR `pin` commit fields**; `git_blob` and `sha256` agree. This was checked locally by stripping the + pin fields, and the verifier records the allowance. +4. **A docs conflict with #4436.** All five carry the same edits to `docs/ci-verification.md` and + `docs/research/current-status.md`. #4436 edits the same two files with different blobs, so whichever + merges second needs a textual merge. +5. **Unique content.** + - #4446 adds `research/kappa-hybrid-controller`. + - #4447 adds `research/missing-join-frame`. + - #4453 adds `research/native-lattice-retiming`. + - #4440 and #4441 add nothing beyond the shared stack. + +## Not covered + +- The κ claims themselves. See the coverage column. +- PRs outside the set. +- Merge order. + +## Reproduce + +```sh +python3.12 -B scripts/research_package.py --package research/p17-chain-receipt --check-only +python3.12 -B scripts/research_package.py --package research/p17-chain-receipt +``` + +The verifier prints `PASS_P17_CHAIN_RECEIPT`. To compare recorded blobs, fetch `pull//head`. + +## Open next questions + +1. **Which single κ PR should carry the shared stack?** + - *Why it matters:* merging any one makes the 44 shared paths land and turns the others into + deltas. + - *First step:* a maintainer choice, outside this receipt. + +## Credit + +- The authors listed above. + +Prepared by Ryanson Jonathan with substantial Claude Code (Claude Opus 5.5) assistance. +Apache-2.0. diff --git a/research/p17-chain-receipt/RECEIPT.json b/research/p17-chain-receipt/RECEIPT.json new file mode 100644 index 0000000000..513dcdc869 --- /dev/null +++ b/research/p17-chain-receipt/RECEIPT.json @@ -0,0 +1,1309 @@ +{ + "schema": "p17-chain-receipt/1", + "base_commit": "2a13eb1827784206202db90e5dc8327cf8a250db", + "pr4436_head": "56003680aee2871773de408e5f01cc5dd46b144c", + "docs_blobs": { + "docs/ci-verification.md": { + "main": "582e416aaf1a8b5d40be80534bb069f4493a2433", + "pr4436": "4541cfa0e81994433ec1766e0ae0742048f40983" + }, + "docs/research/current-status.md": { + "main": "62a8cbb097906029273b23699d518c5c21deb721", + "pr4436": "043a8cd78ac5c4d8f80f89fe87c7f43882755857" + } + }, + "prs": { + "4440": { + "author": "1337isnot1337", + "role": "kappa claim 0.00296 (query-thinned productive controllers)", + "head": "9123d75afea5096d25eb98b2b6080cbbe0d91c01", + "base": "2a13eb1827784206202db90e5dc8327cf8a250db", + "files": { + "docs/ci-verification.md": [ + "M", + "50e8120dc006af45c7ba9b2871a3fd7768c3c390" + ], + "docs/research/current-status.md": [ + "M", + "532af84312cbfeb39a1e4659d8398deb560f1e4a" + ], + "research/d8-mixed-target-seeda97c8e/SOURCES.json": [ + "M", + "5dcfa9dd60ac5bdbfcb22bc669667b9333dfd046" + ], + "research/d8-mixed-target-seeda97c8e/VERIFY.json": [ + "M", + "2726200ed32c9dfc2d43771e07a97c577d7b901b" + ], + "research/historical-1042-link/RESULT.json": [ + "M", + "30ec98c793a1f69b0d953de63198689bb2a047ef" + ], + "research/historical-1042-link/SOURCES.json": [ + "M", + "d66f3b7b62770645857cf2c27640927365316ea6" + ], + "research/historical-1042-link/VERIFY.json": [ + "M", + "5138c1b017adb892b47e3123421d95bd7ace04d3" + ], + "research/historical-1042-link/verify.py": [ + "M", + "2ffd4a8ce4c6771e99330dc168231ff65a4d20f3" + ], + "research/query-thinned-controllers/BIT-CONTROLLER.json": [ + "A", + "89c400d5970024b3debe870c36ce43889beed001" + ], + "research/query-thinned-controllers/COMPLEX-CONTROLLER.json": [ + "A", + "39318f6ad9baf0838a274ca1042b1e3ba0e74bf9" + ], + "research/query-thinned-controllers/PROOF.md": [ + "A", + "9068f429896112082664455ab00bab083c99d1d8" + ], + "research/query-thinned-controllers/README.md": [ + "A", + "6d1099e9a54c52da9fe4f538a6dea31923b8a01c" + ], + "research/query-thinned-controllers/RESULT.json": [ + "A", + "e0695152c98d727edfd0d2034b58a1c7e8682c0c" + ], + "research/query-thinned-controllers/SOURCES.json": [ + "A", + "0f061c87ff87c43ff1ea0fc418582e9ccea3bc1d" + ], + "research/query-thinned-controllers/TASK.json": [ + "A", + "ebba49a09c76396581bd44658131c0865e1e3a1d" + ], + "research/query-thinned-controllers/VALIDATION.md": [ + "A", + "8e9598ece792ad6a4a1294f1c92b458f565c50a7" + ], + "research/query-thinned-controllers/VERIFY.json": [ + "A", + "768aad6d68e172531ed2a0ea60b92099d643be03" + ], + "research/query-thinned-controllers/controller.py": [ + "A", + "d4557e08cfb9fe57cc1ae4024705a72dc95f3583" + ], + "research/query-thinned-controllers/verify.py": [ + "A", + "f1114036fff66f57014e5c1256141fb78ff4c4a9" + ], + "research/test-suite-locale-reads/SOURCES.json": [ + "M", + "d089b51561cef51a5e5588be02acce126697f98a" + ] + } + }, + "4441": { + "author": "1337isnot1337", + "role": "kappa claim 0.00300105 (query thinning + helper retiming)", + "head": "149af87f1101dc7a72f2fe57294f9bacf8d053ba", + "base": "2a13eb1827784206202db90e5dc8327cf8a250db", + "files": { + "docs/ci-verification.md": [ + "M", + "50e8120dc006af45c7ba9b2871a3fd7768c3c390" + ], + "docs/research/current-status.md": [ + "M", + "532af84312cbfeb39a1e4659d8398deb560f1e4a" + ], + "research/d8-mixed-target-seeda97c8e/SOURCES.json": [ + "M", + "5dcfa9dd60ac5bdbfcb22bc669667b9333dfd046" + ], + "research/d8-mixed-target-seeda97c8e/VERIFY.json": [ + "M", + "2726200ed32c9dfc2d43771e07a97c577d7b901b" + ], + "research/fresh-helper-boundary/ARITHMETIC-RESULT.json": [ + "A", + "686c36fb19680db327f797ebdfe612487d8c53f8" + ], + "research/fresh-helper-boundary/ATTEMPTS.md": [ + "A", + "61dd1812f557aa7b275ca18288616ed1d21e3fcd" + ], + "research/fresh-helper-boundary/CHANGES.json": [ + "A", + "45744fedd0e28967aa72586048b8bc0c72f419a9" + ], + "research/fresh-helper-boundary/FRONTIER-CHECKS.json": [ + "A", + "df863543520ce83e8751d154cffe34691a5671a3" + ], + "research/fresh-helper-boundary/NATIVE-RESULT.json.gz": [ + "A", + "e6fdb31624e4eb8c7c770bb4422cd07ea99ab152" + ], + "research/fresh-helper-boundary/PROOF.md": [ + "A", + "4fe9fa7eecdfc36d4a46d6cad03d0ca5ab89b54a" + ], + "research/fresh-helper-boundary/README.md": [ + "A", + "cbcfab9ccd9cc266f6353da4e820ad00b5f311ca" + ], + "research/fresh-helper-boundary/RESULT.json": [ + "A", + "e26608e20be115d28f8853a8c1a12bebfc8e8ec3" + ], + "research/fresh-helper-boundary/SOURCES.json": [ + "A", + "0b40275502f4263a19905f4fb50e346a3629c712" + ], + "research/fresh-helper-boundary/TASK.json": [ + "A", + "0ef05230e18e3aaee5f538d5982f939fa107ff8f" + ], + "research/fresh-helper-boundary/VALIDATION.md": [ + "A", + "94079a1ed8598f6c2d51232e21f372f272ae8722" + ], + "research/fresh-helper-boundary/VERIFY.json": [ + "A", + "f6b89e660c3869546e0f7868b359576df0367a77" + ], + "research/fresh-helper-boundary/arithmetic.py": [ + "A", + "4822f04ae09d84a16e8fa8656a533e23fd4068f0" + ], + "research/fresh-helper-boundary/discover-cut.cpp": [ + "A", + "5caa077ea070e3a5f27328dd55d02ac846024871" + ], + "research/fresh-helper-boundary/discover.py": [ + "A", + "3a28a92d4066b82b36a833582c8d95ec43f23ee6" + ], + "research/fresh-helper-boundary/native.py": [ + "A", + "1b36f6cb5f205c33bf48811e0b1b3621c55e8154" + ], + "research/fresh-helper-boundary/verify.py": [ + "A", + "e434dbf7c68afa0390a307fd15f32348b0e87207" + ], + "research/fresh-helper-thinned/AUDIT-4440.md": [ + "A", + "64c4a98675fc0d480ad8aa167cf422e77cbd76d9" + ], + "research/fresh-helper-thinned/PROOF.md": [ + "A", + "bf68dc2b987cb7de6431ff5e3514b60af48720a5" + ], + "research/fresh-helper-thinned/README.md": [ + "A", + "344616d6654a96085dd45cf2c3189ef283deeac1" + ], + "research/fresh-helper-thinned/RESULT.json": [ + "A", + "e223acd07a6b1f4f1c9f2778b8ea64d4b7a2be55" + ], + "research/fresh-helper-thinned/SOURCES.json": [ + "A", + "4089ad37114540b23846596e2a641c4a4bd608e2" + ], + "research/fresh-helper-thinned/TASK.json": [ + "A", + "ee8b8e27d1cae61dd4ae81da1769491756482aeb" + ], + "research/fresh-helper-thinned/VALIDATION.md": [ + "A", + "ed9998e51a416066ca6b5e92c1c07ba1cd2a7f36" + ], + "research/fresh-helper-thinned/VERIFY.json": [ + "A", + "5af213891fe5e7ec312beceaa470f3641bc261d5" + ], + "research/fresh-helper-thinned/verify.py": [ + "A", + "9ba85a59aa5dcc5cdaec85ee18607cb050530c55" + ], + "research/historical-1042-link/RESULT.json": [ + "M", + "30ec98c793a1f69b0d953de63198689bb2a047ef" + ], + "research/historical-1042-link/SOURCES.json": [ + "M", + "746e91383ff005d119a741d6b038fc46bfbfc3e2" + ], + "research/historical-1042-link/VERIFY.json": [ + "M", + "5138c1b017adb892b47e3123421d95bd7ace04d3" + ], + "research/historical-1042-link/verify.py": [ + "M", + "2ffd4a8ce4c6771e99330dc168231ff65a4d20f3" + ], + "research/query-thinned-controllers/BIT-CONTROLLER.json": [ + "A", + "89c400d5970024b3debe870c36ce43889beed001" + ], + "research/query-thinned-controllers/COMPLEX-CONTROLLER.json": [ + "A", + "39318f6ad9baf0838a274ca1042b1e3ba0e74bf9" + ], + "research/query-thinned-controllers/PROOF.md": [ + "A", + "9068f429896112082664455ab00bab083c99d1d8" + ], + "research/query-thinned-controllers/README.md": [ + "A", + "6d1099e9a54c52da9fe4f538a6dea31923b8a01c" + ], + "research/query-thinned-controllers/RESULT.json": [ + "A", + "e0695152c98d727edfd0d2034b58a1c7e8682c0c" + ], + "research/query-thinned-controllers/SOURCES.json": [ + "A", + "0f061c87ff87c43ff1ea0fc418582e9ccea3bc1d" + ], + "research/query-thinned-controllers/TASK.json": [ + "A", + "ebba49a09c76396581bd44658131c0865e1e3a1d" + ], + "research/query-thinned-controllers/VALIDATION.md": [ + "A", + "8e9598ece792ad6a4a1294f1c92b458f565c50a7" + ], + "research/query-thinned-controllers/VERIFY.json": [ + "A", + "768aad6d68e172531ed2a0ea60b92099d643be03" + ], + "research/query-thinned-controllers/controller.py": [ + "A", + "d4557e08cfb9fe57cc1ae4024705a72dc95f3583" + ], + "research/query-thinned-controllers/verify.py": [ + "A", + "f1114036fff66f57014e5c1256141fb78ff4c4a9" + ], + "research/test-suite-locale-reads/SOURCES.json": [ + "M", + "e3424afdb7be7049a6d4eb26cda2d2517c010f9f" + ] + } + }, + "4446": { + "author": "1337isnot1337", + "role": "kappa claim 0.003001053 (retimed certificate)", + "head": "e2bde8f5b9bfa2e8d51f959656d84ebcc2af81b7", + "base": "2a13eb1827784206202db90e5dc8327cf8a250db", + "files": { + "docs/ci-verification.md": [ + "M", + "50e8120dc006af45c7ba9b2871a3fd7768c3c390" + ], + "docs/research/current-status.md": [ + "M", + "532af84312cbfeb39a1e4659d8398deb560f1e4a" + ], + "research/d8-mixed-target-seeda97c8e/SOURCES.json": [ + "M", + "5dcfa9dd60ac5bdbfcb22bc669667b9333dfd046" + ], + "research/d8-mixed-target-seeda97c8e/VERIFY.json": [ + "M", + "2726200ed32c9dfc2d43771e07a97c577d7b901b" + ], + "research/fresh-helper-boundary/ARITHMETIC-RESULT.json": [ + "A", + "686c36fb19680db327f797ebdfe612487d8c53f8" + ], + "research/fresh-helper-boundary/ATTEMPTS.md": [ + "A", + "61dd1812f557aa7b275ca18288616ed1d21e3fcd" + ], + "research/fresh-helper-boundary/CHANGES.json": [ + "A", + "45744fedd0e28967aa72586048b8bc0c72f419a9" + ], + "research/fresh-helper-boundary/FRONTIER-CHECKS.json": [ + "A", + "df863543520ce83e8751d154cffe34691a5671a3" + ], + "research/fresh-helper-boundary/NATIVE-RESULT.json.gz": [ + "A", + "e6fdb31624e4eb8c7c770bb4422cd07ea99ab152" + ], + "research/fresh-helper-boundary/PROOF.md": [ + "A", + "4fe9fa7eecdfc36d4a46d6cad03d0ca5ab89b54a" + ], + "research/fresh-helper-boundary/README.md": [ + "A", + "cbcfab9ccd9cc266f6353da4e820ad00b5f311ca" + ], + "research/fresh-helper-boundary/RESULT.json": [ + "A", + "e26608e20be115d28f8853a8c1a12bebfc8e8ec3" + ], + "research/fresh-helper-boundary/SOURCES.json": [ + "A", + "0b40275502f4263a19905f4fb50e346a3629c712" + ], + "research/fresh-helper-boundary/TASK.json": [ + "A", + "0ef05230e18e3aaee5f538d5982f939fa107ff8f" + ], + "research/fresh-helper-boundary/VALIDATION.md": [ + "A", + "94079a1ed8598f6c2d51232e21f372f272ae8722" + ], + "research/fresh-helper-boundary/VERIFY.json": [ + "A", + "f6b89e660c3869546e0f7868b359576df0367a77" + ], + "research/fresh-helper-boundary/arithmetic.py": [ + "A", + "4822f04ae09d84a16e8fa8656a533e23fd4068f0" + ], + "research/fresh-helper-boundary/discover-cut.cpp": [ + "A", + "5caa077ea070e3a5f27328dd55d02ac846024871" + ], + "research/fresh-helper-boundary/discover.py": [ + "A", + "3a28a92d4066b82b36a833582c8d95ec43f23ee6" + ], + "research/fresh-helper-boundary/native.py": [ + "A", + "1b36f6cb5f205c33bf48811e0b1b3621c55e8154" + ], + "research/fresh-helper-boundary/verify.py": [ + "A", + "e434dbf7c68afa0390a307fd15f32348b0e87207" + ], + "research/fresh-helper-thinned/AUDIT-4440.md": [ + "A", + "64c4a98675fc0d480ad8aa167cf422e77cbd76d9" + ], + "research/fresh-helper-thinned/PROOF.md": [ + "A", + "bf68dc2b987cb7de6431ff5e3514b60af48720a5" + ], + "research/fresh-helper-thinned/README.md": [ + "A", + "344616d6654a96085dd45cf2c3189ef283deeac1" + ], + "research/fresh-helper-thinned/RESULT.json": [ + "A", + "e223acd07a6b1f4f1c9f2778b8ea64d4b7a2be55" + ], + "research/fresh-helper-thinned/SOURCES.json": [ + "A", + "4089ad37114540b23846596e2a641c4a4bd608e2" + ], + "research/fresh-helper-thinned/TASK.json": [ + "A", + "ee8b8e27d1cae61dd4ae81da1769491756482aeb" + ], + "research/fresh-helper-thinned/VALIDATION.md": [ + "A", + "ed9998e51a416066ca6b5e92c1c07ba1cd2a7f36" + ], + "research/fresh-helper-thinned/VERIFY.json": [ + "A", + "5af213891fe5e7ec312beceaa470f3641bc261d5" + ], + "research/fresh-helper-thinned/verify.py": [ + "A", + "9ba85a59aa5dcc5cdaec85ee18607cb050530c55" + ], + "research/historical-1042-link/RESULT.json": [ + "M", + "30ec98c793a1f69b0d953de63198689bb2a047ef" + ], + "research/historical-1042-link/SOURCES.json": [ + "M", + "66f468626e6092176edca39d25b5307498da379d" + ], + "research/historical-1042-link/VERIFY.json": [ + "M", + "5138c1b017adb892b47e3123421d95bd7ace04d3" + ], + "research/historical-1042-link/verify.py": [ + "M", + "2ffd4a8ce4c6771e99330dc168231ff65a4d20f3" + ], + "research/kappa-hybrid-controller/EXTERNAL-SOURCES.json": [ + "A", + "8e7ef41117256b8abbb7b7e601050f2bc2e62307" + ], + "research/kappa-hybrid-controller/NATIVE.md": [ + "A", + "ea4cfb4a556a68a9c73956900eb4df144226157d" + ], + "research/kappa-hybrid-controller/PROOF.md": [ + "A", + "205fb6c16a1762a747fdcdf04d1741ba4eda9397" + ], + "research/kappa-hybrid-controller/README.md": [ + "A", + "53df775133e0fb0f061a44c654450e65295b3b23" + ], + "research/kappa-hybrid-controller/REPLAY.json": [ + "A", + "f444629bc5199adf8dd6ecc4ee91b05970b6b79b" + ], + "research/kappa-hybrid-controller/RESULT.json": [ + "A", + "01ee7a03f7119892cfff72a39e96eb9442583217" + ], + "research/kappa-hybrid-controller/SOURCES.json": [ + "A", + "9ddacdc0b28bb42e1e780faa90ec24dd37016e19" + ], + "research/kappa-hybrid-controller/TASK.json": [ + "A", + "45272fe19ff1092ae2071ebccbba2ec87795c7ba" + ], + "research/kappa-hybrid-controller/VALIDATION.md": [ + "A", + "2b8bed3b7315a640a42e1e204929d229e0ff4f80" + ], + "research/kappa-hybrid-controller/VERIFY.json": [ + "A", + "30e933c43f45bf7d1220a984be32f04631d4f5aa" + ], + "research/kappa-hybrid-controller/bit/BIT-P6-TENSOR-RESULT.json": [ + "A", + "40f2f66216a7d5bd52fb811a96997eef7aef6153" + ], + "research/kappa-hybrid-controller/bit/BIT-P6-TENSOR.md": [ + "A", + "54a61e2162b1f043acc62c5565f2ca1cf587a600" + ], + "research/kappa-hybrid-controller/bit/BIT-TENSOR-RESULT.json": [ + "A", + "163f02fc5191f9eda7db3d2407cf50fd3b1b0a60" + ], + "research/kappa-hybrid-controller/bit/BIT-TENSOR.md": [ + "A", + "58340d88f1f91384414d0bbe26bc76bd5a373dc0" + ], + "research/kappa-hybrid-controller/bit/bit_p6_tensor_extension.py": [ + "A", + "6dd73935af807e4e42738106e92e53d0dfb5fb29" + ], + "research/kappa-hybrid-controller/bit/bit_tensor_extension.py": [ + "A", + "bacac0b28c96f681edd6cf92045e1eee2536cf79" + ], + "research/kappa-hybrid-controller/certificates/ENDPOINT.json": [ + "A", + "bc07b87eae7ebca42c14538d57830a0aa4c36662" + ], + "research/kappa-hybrid-controller/certificates/HYBRID-GEOMETRY.json.gz": [ + "A", + "8579335be07b5c0e3749dbe8f72bba08658fa261" + ], + "research/kappa-hybrid-controller/certificates/NATIVE.json": [ + "A", + "4f49ec443c3c69b633f200df57b6c6621ceea18f" + ], + "research/kappa-hybrid-controller/certificates/STRICTIFICATION.json": [ + "A", + "64f9b26cdbc10df91aae169bb3cb0859b7eb0272" + ], + "research/kappa-hybrid-controller/controller/P17-DIRECT-CASE.json": [ + "A", + "cae8ca2fd025bd24c3108a93c67f854e37f69fea" + ], + "research/kappa-hybrid-controller/controller/P17-FULL-LAURENT-CASE.json": [ + "A", + "3b133c0fa9130aa975ec19a99e8f597eae356d2f" + ], + "research/kappa-hybrid-controller/controller/make_direct_case.py": [ + "A", + "a3fc42d5c6cf170bc6440125477329288f36d4c7" + ], + "research/kappa-hybrid-controller/dependencies/clifford_exact.py": [ + "A", + "166841a037f069249f6f7f6dedb89248812f59e2" + ], + "research/kappa-hybrid-controller/endpoint.py": [ + "A", + "5cf7a1fdbba65dfdce49db93dd089491c756004c" + ], + "research/kappa-hybrid-controller/frontier/AUDIT.json": [ + "A", + "e4c738c345cd2ae47c8c580b8523dc43d2fd6297" + ], + "research/kappa-hybrid-controller/frontier/FRONTIER.json": [ + "A", + "47bdc93eba599e42d20e37467da1e20b1f1cd5a3" + ], + "research/kappa-hybrid-controller/frontier/REPORT.md": [ + "A", + "3657df1880edf4771fc26164d808c197c16e1ec5" + ], + "research/kappa-hybrid-controller/frontier/audit.py": [ + "A", + "5e73afe0e19254ed365b62740d37b381465560ae" + ], + "research/kappa-hybrid-controller/local_supplier.py": [ + "A", + "1c37d322e2fc03a16a13340d571ce79c5e5a6d2d" + ], + "research/kappa-hybrid-controller/native_geometry.py": [ + "A", + "2d8c9297d06cd228ff55a528aa3b42144e239aef" + ], + "research/kappa-hybrid-controller/native_inventory.py": [ + "A", + "7dad0de005cc3b7b4488f3bbbdd992dbddf5f6bc" + ], + "research/kappa-hybrid-controller/parameters.py": [ + "A", + "43bc35bd7a57b7083bf107b74863207c47c0fdbb" + ], + "research/kappa-hybrid-controller/search/SEARCH.md": [ + "A", + "8e688a70536f3734789b54e2b22c43c39ed1bc89" + ], + "research/kappa-hybrid-controller/search/SUMMARY-120.json": [ + "A", + "e55c4df76d9ccca620e5493fe14bd741098f0565" + ], + "research/kappa-hybrid-controller/search/direct_stage_dp.py": [ + "A", + "0717a3a577fd7a4e3eea9901bb266955bdb908de" + ], + "research/kappa-hybrid-controller/strictification.py": [ + "A", + "7adb266b11c66e47e8738a0160a82e99e5aed7e7" + ], + "research/kappa-hybrid-controller/verify.py": [ + "A", + "bb3d1b52e78f670cd12276e079774df9dd00e8f9" + ], + "research/query-thinned-controllers/BIT-CONTROLLER.json": [ + "A", + "89c400d5970024b3debe870c36ce43889beed001" + ], + "research/query-thinned-controllers/COMPLEX-CONTROLLER.json": [ + "A", + "39318f6ad9baf0838a274ca1042b1e3ba0e74bf9" + ], + "research/query-thinned-controllers/PROOF.md": [ + "A", + "9068f429896112082664455ab00bab083c99d1d8" + ], + "research/query-thinned-controllers/README.md": [ + "A", + "6d1099e9a54c52da9fe4f538a6dea31923b8a01c" + ], + "research/query-thinned-controllers/RESULT.json": [ + "A", + "e0695152c98d727edfd0d2034b58a1c7e8682c0c" + ], + "research/query-thinned-controllers/SOURCES.json": [ + "A", + "0f061c87ff87c43ff1ea0fc418582e9ccea3bc1d" + ], + "research/query-thinned-controllers/TASK.json": [ + "A", + "ebba49a09c76396581bd44658131c0865e1e3a1d" + ], + "research/query-thinned-controllers/VALIDATION.md": [ + "A", + "8e9598ece792ad6a4a1294f1c92b458f565c50a7" + ], + "research/query-thinned-controllers/VERIFY.json": [ + "A", + "768aad6d68e172531ed2a0ea60b92099d643be03" + ], + "research/query-thinned-controllers/controller.py": [ + "A", + "d4557e08cfb9fe57cc1ae4024705a72dc95f3583" + ], + "research/query-thinned-controllers/verify.py": [ + "A", + "f1114036fff66f57014e5c1256141fb78ff4c4a9" + ], + "research/test-suite-locale-reads/SOURCES.json": [ + "M", + "be5c7d2e9b938eb8b291561d1cb5d97f8c627ffc" + ] + } + }, + "4447": { + "author": "1337isnot1337", + "role": "kappa claim 0.00300123 (missing 3-D contact span)", + "head": "02b51f341013c607dc480248c94c216b8260d8af", + "base": "2a13eb1827784206202db90e5dc8327cf8a250db", + "files": { + "docs/ci-verification.md": [ + "M", + "50e8120dc006af45c7ba9b2871a3fd7768c3c390" + ], + "docs/research/current-status.md": [ + "M", + "532af84312cbfeb39a1e4659d8398deb560f1e4a" + ], + "research/d8-mixed-target-seeda97c8e/SOURCES.json": [ + "M", + "5dcfa9dd60ac5bdbfcb22bc669667b9333dfd046" + ], + "research/d8-mixed-target-seeda97c8e/VERIFY.json": [ + "M", + "2726200ed32c9dfc2d43771e07a97c577d7b901b" + ], + "research/fresh-helper-boundary/ARITHMETIC-RESULT.json": [ + "A", + "686c36fb19680db327f797ebdfe612487d8c53f8" + ], + "research/fresh-helper-boundary/ATTEMPTS.md": [ + "A", + "61dd1812f557aa7b275ca18288616ed1d21e3fcd" + ], + "research/fresh-helper-boundary/CHANGES.json": [ + "A", + "45744fedd0e28967aa72586048b8bc0c72f419a9" + ], + "research/fresh-helper-boundary/FRONTIER-CHECKS.json": [ + "A", + "df863543520ce83e8751d154cffe34691a5671a3" + ], + "research/fresh-helper-boundary/NATIVE-RESULT.json.gz": [ + "A", + "e6fdb31624e4eb8c7c770bb4422cd07ea99ab152" + ], + "research/fresh-helper-boundary/PROOF.md": [ + "A", + "4fe9fa7eecdfc36d4a46d6cad03d0ca5ab89b54a" + ], + "research/fresh-helper-boundary/README.md": [ + "A", + "cbcfab9ccd9cc266f6353da4e820ad00b5f311ca" + ], + "research/fresh-helper-boundary/RESULT.json": [ + "A", + "e26608e20be115d28f8853a8c1a12bebfc8e8ec3" + ], + "research/fresh-helper-boundary/SOURCES.json": [ + "A", + "0b40275502f4263a19905f4fb50e346a3629c712" + ], + "research/fresh-helper-boundary/TASK.json": [ + "A", + "0ef05230e18e3aaee5f538d5982f939fa107ff8f" + ], + "research/fresh-helper-boundary/VALIDATION.md": [ + "A", + "94079a1ed8598f6c2d51232e21f372f272ae8722" + ], + "research/fresh-helper-boundary/VERIFY.json": [ + "A", + "f6b89e660c3869546e0f7868b359576df0367a77" + ], + "research/fresh-helper-boundary/arithmetic.py": [ + "A", + "4822f04ae09d84a16e8fa8656a533e23fd4068f0" + ], + "research/fresh-helper-boundary/discover-cut.cpp": [ + "A", + "5caa077ea070e3a5f27328dd55d02ac846024871" + ], + "research/fresh-helper-boundary/discover.py": [ + "A", + "3a28a92d4066b82b36a833582c8d95ec43f23ee6" + ], + "research/fresh-helper-boundary/native.py": [ + "A", + "1b36f6cb5f205c33bf48811e0b1b3621c55e8154" + ], + "research/fresh-helper-boundary/verify.py": [ + "A", + "e434dbf7c68afa0390a307fd15f32348b0e87207" + ], + "research/fresh-helper-thinned/AUDIT-4440.md": [ + "A", + "64c4a98675fc0d480ad8aa167cf422e77cbd76d9" + ], + "research/fresh-helper-thinned/PROOF.md": [ + "A", + "bf68dc2b987cb7de6431ff5e3514b60af48720a5" + ], + "research/fresh-helper-thinned/README.md": [ + "A", + "344616d6654a96085dd45cf2c3189ef283deeac1" + ], + "research/fresh-helper-thinned/RESULT.json": [ + "A", + "e223acd07a6b1f4f1c9f2778b8ea64d4b7a2be55" + ], + "research/fresh-helper-thinned/SOURCES.json": [ + "A", + "4089ad37114540b23846596e2a641c4a4bd608e2" + ], + "research/fresh-helper-thinned/TASK.json": [ + "A", + "ee8b8e27d1cae61dd4ae81da1769491756482aeb" + ], + "research/fresh-helper-thinned/VALIDATION.md": [ + "A", + "ed9998e51a416066ca6b5e92c1c07ba1cd2a7f36" + ], + "research/fresh-helper-thinned/VERIFY.json": [ + "A", + "5af213891fe5e7ec312beceaa470f3641bc261d5" + ], + "research/fresh-helper-thinned/verify.py": [ + "A", + "9ba85a59aa5dcc5cdaec85ee18607cb050530c55" + ], + "research/historical-1042-link/RESULT.json": [ + "M", + "30ec98c793a1f69b0d953de63198689bb2a047ef" + ], + "research/historical-1042-link/SOURCES.json": [ + "M", + "355ea67156b282444d28d5950f0fcdddbd015494" + ], + "research/historical-1042-link/VERIFY.json": [ + "M", + "5138c1b017adb892b47e3123421d95bd7ace04d3" + ], + "research/historical-1042-link/verify.py": [ + "M", + "2ffd4a8ce4c6771e99330dc168231ff65a4d20f3" + ], + "research/missing-join-frame/NATIVE.json.gz": [ + "A", + "2f41b11d02726a60da449aaa6c603716c0310ead" + ], + "research/missing-join-frame/PATCH.json": [ + "A", + "f96d295d40014d4dd503f58eb3cdabcbb4b8e101" + ], + "research/missing-join-frame/PROOF.md": [ + "A", + "d240cd8e14e6d30e0e2c3d0ddcc7efa68349e24e" + ], + "research/missing-join-frame/README.md": [ + "A", + "3de79ebc9badae792e4a0197b7083537a0bf6b9e" + ], + "research/missing-join-frame/RESULT.json": [ + "A", + "e653fb4358ded67ff1539151f4b670ad9a242fb1" + ], + "research/missing-join-frame/SOURCES.json": [ + "A", + "27681f10151b0208a46659eba6885aba06b075ce" + ], + "research/missing-join-frame/TASK.json": [ + "A", + "014ccd44af9e05645a97cec7496c52449d575468" + ], + "research/missing-join-frame/VALIDATION.md": [ + "A", + "1db2f6168ed4fe5c8cd7d74e227005a83ab1bb3e" + ], + "research/missing-join-frame/VERIFY.json": [ + "A", + "314e7b41617f1230b23ba03cb35f62f5bbc45c02" + ], + "research/missing-join-frame/native_join.py": [ + "A", + "56735c5c803683a65a207353fdd230c3c77e6f9a" + ], + "research/missing-join-frame/verify.py": [ + "A", + "188135f81c9937af8232a06dc1e7b8b28260e6a8" + ], + "research/query-thinned-controllers/BIT-CONTROLLER.json": [ + "A", + "89c400d5970024b3debe870c36ce43889beed001" + ], + "research/query-thinned-controllers/COMPLEX-CONTROLLER.json": [ + "A", + "39318f6ad9baf0838a274ca1042b1e3ba0e74bf9" + ], + "research/query-thinned-controllers/PROOF.md": [ + "A", + "9068f429896112082664455ab00bab083c99d1d8" + ], + "research/query-thinned-controllers/README.md": [ + "A", + "6d1099e9a54c52da9fe4f538a6dea31923b8a01c" + ], + "research/query-thinned-controllers/RESULT.json": [ + "A", + "e0695152c98d727edfd0d2034b58a1c7e8682c0c" + ], + "research/query-thinned-controllers/SOURCES.json": [ + "A", + "0f061c87ff87c43ff1ea0fc418582e9ccea3bc1d" + ], + "research/query-thinned-controllers/TASK.json": [ + "A", + "ebba49a09c76396581bd44658131c0865e1e3a1d" + ], + "research/query-thinned-controllers/VALIDATION.md": [ + "A", + "8e9598ece792ad6a4a1294f1c92b458f565c50a7" + ], + "research/query-thinned-controllers/VERIFY.json": [ + "A", + "768aad6d68e172531ed2a0ea60b92099d643be03" + ], + "research/query-thinned-controllers/controller.py": [ + "A", + "d4557e08cfb9fe57cc1ae4024705a72dc95f3583" + ], + "research/query-thinned-controllers/verify.py": [ + "A", + "f1114036fff66f57014e5c1256141fb78ff4c4a9" + ], + "research/test-suite-locale-reads/SOURCES.json": [ + "M", + "3af7cb641e5a4d32c9144f103c92915593446809" + ] + } + }, + "4453": { + "author": "zxv", + "role": "kappa claim 0.00300120 (smaller uniform-rank exponent)", + "head": "de6869e2e4d9c6f630bac5de4a919d99a2cb884b", + "base": "2a13eb1827784206202db90e5dc8327cf8a250db", + "files": { + "docs/ci-verification.md": [ + "M", + "50e8120dc006af45c7ba9b2871a3fd7768c3c390" + ], + "docs/research/current-status.md": [ + "M", + "532af84312cbfeb39a1e4659d8398deb560f1e4a" + ], + "research/fresh-helper-boundary/ARITHMETIC-RESULT.json": [ + "A", + "686c36fb19680db327f797ebdfe612487d8c53f8" + ], + "research/fresh-helper-boundary/ATTEMPTS.md": [ + "A", + "61dd1812f557aa7b275ca18288616ed1d21e3fcd" + ], + "research/fresh-helper-boundary/CHANGES.json": [ + "A", + "45744fedd0e28967aa72586048b8bc0c72f419a9" + ], + "research/fresh-helper-boundary/FRONTIER-CHECKS.json": [ + "A", + "df863543520ce83e8751d154cffe34691a5671a3" + ], + "research/fresh-helper-boundary/NATIVE-RESULT.json.gz": [ + "A", + "e6fdb31624e4eb8c7c770bb4422cd07ea99ab152" + ], + "research/fresh-helper-boundary/PROOF.md": [ + "A", + "4fe9fa7eecdfc36d4a46d6cad03d0ca5ab89b54a" + ], + "research/fresh-helper-boundary/README.md": [ + "A", + "cbcfab9ccd9cc266f6353da4e820ad00b5f311ca" + ], + "research/fresh-helper-boundary/RESULT.json": [ + "A", + "e26608e20be115d28f8853a8c1a12bebfc8e8ec3" + ], + "research/fresh-helper-boundary/SOURCES.json": [ + "A", + "0b40275502f4263a19905f4fb50e346a3629c712" + ], + "research/fresh-helper-boundary/TASK.json": [ + "A", + "0ef05230e18e3aaee5f538d5982f939fa107ff8f" + ], + "research/fresh-helper-boundary/VALIDATION.md": [ + "A", + "94079a1ed8598f6c2d51232e21f372f272ae8722" + ], + "research/fresh-helper-boundary/VERIFY.json": [ + "A", + "f6b89e660c3869546e0f7868b359576df0367a77" + ], + "research/fresh-helper-boundary/arithmetic.py": [ + "A", + "4822f04ae09d84a16e8fa8656a533e23fd4068f0" + ], + "research/fresh-helper-boundary/discover-cut.cpp": [ + "A", + "5caa077ea070e3a5f27328dd55d02ac846024871" + ], + "research/fresh-helper-boundary/discover.py": [ + "A", + "3a28a92d4066b82b36a833582c8d95ec43f23ee6" + ], + "research/fresh-helper-boundary/native.py": [ + "A", + "1b36f6cb5f205c33bf48811e0b1b3621c55e8154" + ], + "research/fresh-helper-boundary/verify.py": [ + "A", + "e434dbf7c68afa0390a307fd15f32348b0e87207" + ], + "research/fresh-helper-thinned/AUDIT-4440.md": [ + "A", + "64c4a98675fc0d480ad8aa167cf422e77cbd76d9" + ], + "research/fresh-helper-thinned/PROOF.md": [ + "A", + "bf68dc2b987cb7de6431ff5e3514b60af48720a5" + ], + "research/fresh-helper-thinned/README.md": [ + "A", + "344616d6654a96085dd45cf2c3189ef283deeac1" + ], + "research/fresh-helper-thinned/RESULT.json": [ + "A", + "e223acd07a6b1f4f1c9f2778b8ea64d4b7a2be55" + ], + "research/fresh-helper-thinned/SOURCES.json": [ + "A", + "4089ad37114540b23846596e2a641c4a4bd608e2" + ], + "research/fresh-helper-thinned/TASK.json": [ + "A", + "ee8b8e27d1cae61dd4ae81da1769491756482aeb" + ], + "research/fresh-helper-thinned/VALIDATION.md": [ + "A", + "ed9998e51a416066ca6b5e92c1c07ba1cd2a7f36" + ], + "research/fresh-helper-thinned/VERIFY.json": [ + "A", + "5af213891fe5e7ec312beceaa470f3641bc261d5" + ], + "research/fresh-helper-thinned/verify.py": [ + "A", + "9ba85a59aa5dcc5cdaec85ee18607cb050530c55" + ], + "research/native-lattice-retiming/LITERATURE.md": [ + "A", + "2e3a5b7846e0b5838316d55b5fe1527b8aebdb9f" + ], + "research/native-lattice-retiming/NATIVE-RESULT.json": [ + "A", + "b5c0af78f1c2aa07e921898b48862bb6e8d9569c" + ], + "research/native-lattice-retiming/NOTICE.md": [ + "A", + "e7add6c881087d7543c52b46295959d20f51322b" + ], + "research/native-lattice-retiming/PATCH.json": [ + "A", + "be818ab4390e46012e72ecaf5ae2a8d3858af35f" + ], + "research/native-lattice-retiming/PROOF.md": [ + "A", + "5ed2cacea7e8e4ceeace5bc21745bfae6d41c4a1" + ], + "research/native-lattice-retiming/README.md": [ + "A", + "22cb2378eedf42895126b19ad22aa609774876ce" + ], + "research/native-lattice-retiming/RESULT.json": [ + "A", + "93defc5ececebd542332fc42d6a78f0af222cd1c" + ], + "research/native-lattice-retiming/SOURCES.json": [ + "A", + "5dc627b3b2179ef97817a6d8e29c49df3f21249b" + ], + "research/native-lattice-retiming/TASK.json": [ + "A", + "544002777ec6a78465d71fc718710b2c4086066d" + ], + "research/native-lattice-retiming/VALIDATION.md": [ + "A", + "d63d8cce0bc9b7c24448443f3dfb92d0ceb27cfd" + ], + "research/native-lattice-retiming/VERIFY.json": [ + "A", + "a0eb02eb269da82c826136fddb528e53fae3dfb0" + ], + "research/native-lattice-retiming/arithmetic.py": [ + "A", + "ea5fb38dfb46c2347300a350582bf1c903ab686c" + ], + "research/native-lattice-retiming/discover-lattice.cpp": [ + "A", + "1798964ac40ed4d6522f35631d673c9dd2f5c088" + ], + "research/native-lattice-retiming/discover.py": [ + "A", + "425a74925cc472c5e588a48132b207c27bf2686d" + ], + "research/native-lattice-retiming/native.py": [ + "A", + "d5ffb4a653eaa4757d2f6b1d15730d7a3ee193c4" + ], + "research/native-lattice-retiming/verify.py": [ + "A", + "3e5fcd141894eede3a95df84075a581cc71734b0" + ], + "research/query-thinned-controllers/BIT-CONTROLLER.json": [ + "A", + "89c400d5970024b3debe870c36ce43889beed001" + ], + "research/query-thinned-controllers/COMPLEX-CONTROLLER.json": [ + "A", + "39318f6ad9baf0838a274ca1042b1e3ba0e74bf9" + ], + "research/query-thinned-controllers/PROOF.md": [ + "A", + "9068f429896112082664455ab00bab083c99d1d8" + ], + "research/query-thinned-controllers/README.md": [ + "A", + "6d1099e9a54c52da9fe4f538a6dea31923b8a01c" + ], + "research/query-thinned-controllers/RESULT.json": [ + "A", + "e0695152c98d727edfd0d2034b58a1c7e8682c0c" + ], + "research/query-thinned-controllers/SOURCES.json": [ + "A", + "0f061c87ff87c43ff1ea0fc418582e9ccea3bc1d" + ], + "research/query-thinned-controllers/TASK.json": [ + "A", + "ebba49a09c76396581bd44658131c0865e1e3a1d" + ], + "research/query-thinned-controllers/VALIDATION.md": [ + "A", + "8e9598ece792ad6a4a1294f1c92b458f565c50a7" + ], + "research/query-thinned-controllers/VERIFY.json": [ + "A", + "768aad6d68e172531ed2a0ea60b92099d643be03" + ], + "research/query-thinned-controllers/controller.py": [ + "A", + "d4557e08cfb9fe57cc1ae4024705a72dc95f3583" + ], + "research/query-thinned-controllers/verify.py": [ + "A", + "f1114036fff66f57014e5c1256141fb78ff4c4a9" + ] + } + }, + "4448": { + "author": "mihir-s-05", + "role": "independent reconstruction of #4441 helper tariffs and p17 invoice", + "head": "6d535abed7b60d4a99dc54903011a72ec367e901", + "base": "2a13eb1827784206202db90e5dc8327cf8a250db", + "files": { + "research/fresh-helper-invoice-audit/README.md": [ + "A", + "668d81d4aaf5c0cf8c1443791a91cb96568c42d1" + ], + "research/fresh-helper-invoice-audit/RESULT.json": [ + "A", + "b2bf11ae1d5e386d584d776c7475851345ad69ca" + ], + "research/fresh-helper-invoice-audit/SOURCES.json": [ + "A", + "2ecb7cff6a268ae8a50cd0ed72440ccf64c512d0" + ], + "research/fresh-helper-invoice-audit/TASK.json": [ + "A", + "fc539da6f0ff528b8748a6bbfaffc9a0099d93f5" + ], + "research/fresh-helper-invoice-audit/VERIFY.json": [ + "A", + "7f21e6f47debcbef81aaa8b92a2db4d98dd406af" + ], + "research/fresh-helper-invoice-audit/audit.py": [ + "A", + "6105912477219faf603eb3637d7f66fa92f745a0" + ], + "research/fresh-helper-invoice-audit/snapshot/MANIFEST.json": [ + "A", + "e21326fe1a3bba9a284533d48f8f9feda3ab5b7d" + ], + "research/fresh-helper-invoice-audit/snapshot/changes.json": [ + "A", + "45744fedd0e28967aa72586048b8bc0c72f419a9" + ], + "research/fresh-helper-invoice-audit/snapshot/combined-receipt.json": [ + "A", + "e223acd07a6b1f4f1c9f2778b8ea64d4b7a2be55" + ], + "research/fresh-helper-invoice-audit/snapshot/controller.json": [ + "A", + "39318f6ad9baf0838a274ca1042b1e3ba0e74bf9" + ], + "research/fresh-helper-invoice-audit/snapshot/native-receipt.json.gz": [ + "A", + "e6fdb31624e4eb8c7c770bb4422cd07ea99ab152" + ], + "research/fresh-helper-invoice-audit/snapshot/source-README.md": [ + "A", + "344616d6654a96085dd45cf2c3189ef283deeac1" + ], + "research/fresh-helper-invoice-audit/verify.py": [ + "A", + "c02dd63eee6b6a501636bb27c5b6aa1b45babdc0" + ] + } + }, + "4455": { + "author": "pinterbanget", + "role": "independent arithmetic check of #4440, #4441, #4446, #4447, #4453", + "head": "e02ca27f9a30b9aeb5e2eb701bf2eb0a27d4e193", + "base": "2a13eb1827784206202db90e5dc8327cf8a250db", + "files": { + "research/p17-b480-check/README.md": [ + "A", + "8de54fead6c878db9d3bdf193e4c38ac02872435" + ], + "research/p17-b480-check/SOURCES.json": [ + "A", + "9124bb10fe889a583982b0f5228776c779f092bf" + ], + "research/p17-b480-check/TASK.json": [ + "A", + "93a455fb7e954c1c2e11613a0e7d64d315178135" + ], + "research/p17-b480-check/VERIFY.json": [ + "A", + "f3a2ecbeb7ea1b84bdbe671ceb480694f3aeddcb" + ], + "research/p17-b480-check/verify.py": [ + "A", + "a75413b2939566e676d0897135f98cc88efeb789" + ] + } + }, + "4457": { + "author": "Matarener", + "role": "controllers of #4440 and native word of #4447 on lifted operators", + "head": "dd40f88a4d45a0ae2487eb24f935516f749cefef", + "base": "2a13eb1827784206202db90e5dc8327cf8a250db", + "files": { + "research/productive-controller-lift-audit/README.md": [ + "A", + "aecf664613542fd051a5731d8cf34cb0dccc620a" + ], + "research/productive-controller-lift-audit/RESULT.json": [ + "A", + "93b48dedd12ba5fe9fa716318674b89a7ecf6848" + ], + "research/productive-controller-lift-audit/SOURCES.json": [ + "A", + "9322b6bad1acaf720066ec91a4b92e17aa03f55b" + ], + "research/productive-controller-lift-audit/TASK.json": [ + "A", + "01659426323f4ab083f8468ac2af35251f911af7" + ], + "research/productive-controller-lift-audit/VERIFY.json": [ + "A", + "72f6d644f39145a73490b30822c843df0223a48e" + ], + "research/productive-controller-lift-audit/vendor/pr4440-BIT-CONTROLLER.json": [ + "A", + "89c400d5970024b3debe870c36ce43889beed001" + ], + "research/productive-controller-lift-audit/vendor/pr4440-COMPLEX-CONTROLLER.json": [ + "A", + "39318f6ad9baf0838a274ca1042b1e3ba0e74bf9" + ], + "research/productive-controller-lift-audit/vendor/pr4441-CHANGES.json": [ + "A", + "45744fedd0e28967aa72586048b8bc0c72f419a9" + ], + "research/productive-controller-lift-audit/vendor/pr4447-PATCH.json": [ + "A", + "f96d295d40014d4dd503f58eb3cdabcbb4b8e101" + ], + "research/productive-controller-lift-audit/verify.py": [ + "A", + "49b68bb7d9f706c03f8e0906a0307c910484258d" + ] + } + }, + "4464": { + "author": "mihir-s-05", + "role": "stage-zero commutation premise [D0,Q]=0", + "head": "82c7db427100033aa1275ecdb16ebc2e2ef10b91", + "base": "2a13eb1827784206202db90e5dc8327cf8a250db", + "files": { + "research/stage-zero-commutation-audit/README.md": [ + "A", + "5562284ce34c542e153f5ce5d9d69428b878dc08" + ], + "research/stage-zero-commutation-audit/RESULT.json": [ + "A", + "682e0af1ffb30d0989bbd74031122ec2fbe05424" + ], + "research/stage-zero-commutation-audit/SOURCES.json": [ + "A", + "18053b3c5e9621c8058e8aa76cc993caed36d125" + ], + "research/stage-zero-commutation-audit/TASK.json": [ + "A", + "f9c599033848c5a3c549c72a3434eef670a8e4d2" + ], + "research/stage-zero-commutation-audit/VERIFY.json": [ + "A", + "4c3fa3841ff72ac75ece4a0a3964fd907302a0f7" + ], + "research/stage-zero-commutation-audit/check_export.py": [ + "A", + "6d0f628097c9a7dcaee598c4baa1520ec4f8e3fd" + ], + "research/stage-zero-commutation-audit/pr4440-COMPLEX-CONTROLLER.json.gz": [ + "A", + "395056fc7341f363777fb07192bbd789d5cab465" + ], + "research/stage-zero-commutation-audit/verify.py": [ + "A", + "1749504ab7dfecbddb596fea4b8d8cb4ceab0008" + ] + } + }, + "4466": { + "author": "pinterbanget", + "role": "independent check of #4464; forced translations", + "head": "496a7d6bd053b7019935529ce5b5c3eb3dc664ed", + "base": "2a13eb1827784206202db90e5dc8327cf8a250db", + "files": { + "research/stage-zero-forced-translation/README.md": [ + "A", + "190333ccb2558a84b89307391082782ef0803ce3" + ], + "research/stage-zero-forced-translation/SOURCES.json": [ + "A", + "ad397ce759aec93275bdd8bf6189eaf8f2e88de2" + ], + "research/stage-zero-forced-translation/TASK.json": [ + "A", + "c6ef1c5db5f1fbe99ecc9edd24e0a3bd5159707d" + ], + "research/stage-zero-forced-translation/VERIFY.json": [ + "A", + "c61ffecacf90a33a560a1f81fadc57101b0c0b70" + ], + "research/stage-zero-forced-translation/verify.py": [ + "A", + "23a9df5543b6bdab3c5ab9b86946074b27bf981a" + ] + } + } + } +} diff --git a/research/p17-chain-receipt/SOURCES.json b/research/p17-chain-receipt/SOURCES.json new file mode 100644 index 0000000000..9124bb10fe --- /dev/null +++ b/research/p17-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/p17-chain-receipt/TASK.json b/research/p17-chain-receipt/TASK.json new file mode 100644 index 0000000000..a32f3528e0 --- /dev/null +++ b/research/p17-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 over the open kappa ~0.003 claims.", + "budget_minutes": 25, + "stop_rule": "Stop at the named PR set.", + "outcome": "completed", + "evidence": "10 open PRs, none retained; five kappa PRs share 44 identical paths, 2 pin-only SOURCES differences; docs edits conflict with #4436; unique packages only in #4446, #4447, #4453.", + "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": "Which single kappa PR should carry the shared stack?", + "why_it_matters": "Merging one turns the others into deltas.", + "first_step": "Maintainer choice.", + "blocked_by": "Maintainer decision." + } + ] +} diff --git a/research/p17-chain-receipt/VERIFY.json b/research/p17-chain-receipt/VERIFY.json new file mode 100644 index 0000000000..ba8ad08441 --- /dev/null +++ b/research/p17-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 10 p17-chain PRs: nothing retained at base; the five kappa PRs agree on all shared paths except two pin-only SOURCES.json; #4440 stacked in #4441/#4446/#4447; identical docs edits conflicting with #4436; unique packages per PR." + } + ] +} diff --git a/research/p17-chain-receipt/verify.py b/research/p17-chain-receipt/verify.py new file mode 100644 index 0000000000..e71e5a3f41 --- /dev/null +++ b/research/p17-chain-receipt/verify.py @@ -0,0 +1,61 @@ +#!/usr/bin/env python3 +"""Disposition receipt for the p17 kappa ~ 0.003 PR chain and its independent checks (10 PRs, base 2a13eb18). + +From RECEIPT.json (recorded heads, merge bases and per-path blobs) and the checked-out base, this checks: + * every PR is based on 2a13eb18 and none of the new packages exists at base (nothing retained on main); + * the five kappa PRs (#4440, #4441, #4446, #4447, #4453) agree blob-for-blob on every shared path except two + SOURCES.json files, and those two differ only in their per-PR "pin" fields (recorded separately here); + * #4440's changed paths are a subset of #4441's, #4446's and #4447's (stacked content, not git ancestry); + * all five carry the same edits to docs/ci-verification.md and docs/research/current-status.md, which differ from + #4436's edits of the same files (a textual conflict to resolve at merge time); + * unique packages: #4446 kappa-hybrid-controller, #4447 missing-join-frame, #4453 native-lattice-retiming. +Ryanson Jonathan with Claude Code (Claude Opus 5.5) assistance. Apache-2.0. +""" +import json +from pathlib import Path +import sys + +HERE = Path(__file__).resolve().parent +ROOT = HERE.parents[1] +KAPPA = ["4440", "4441", "4446", "4447", "4453"] +PIN_ONLY = {"research/historical-1042-link/SOURCES.json", "research/test-suite-locale-reads/SOURCES.json"} +DOCS = ["docs/ci-verification.md", "docs/research/current-status.md"] + + +def need(condition, message): + if not condition: + raise AssertionError(message) + + +def main(): + rec = json.loads((HERE / "RECEIPT.json").read_text(encoding="utf-8")) + prs = rec["prs"] + need(len(prs) == 10 and all(p["base"] == rec["base_commit"] for p in prs.values()), "10 PRs on base") + for n, p in prs.items(): + for path, (status, blob) in p["files"].items(): + if status == "A": + need(not (ROOT / path).exists(), f"#{n}: added path {path} absent at base (not retained)") + files = {n: {path: blob for path, (st, blob) in prs[n]["files"].items()} for n in KAPPA} + for a in KAPPA: + for b in KAPPA: + if a < b: + for path in set(files[a]) & set(files[b]): + need(files[a][path] == files[b][path] or path in PIN_ONLY, f"#{a}/#{b}: {path}") + for b in ("4441", "4446", "4447"): + need(set(files["4440"]) <= set(files[b]), f"#4440 content stacked in #{b}") + for d in DOCS: + blobs = {files[n][d] for n in KAPPA} + need(len(blobs) == 1, f"same {d} edit in all five") + need(blobs != {rec["docs_blobs"][d]["pr4436"]} and blobs != {rec["docs_blobs"][d]["main"]}, f"{d} conflicts with #4436") + pk = lambda path: "/".join(path.split("/")[:2]) + pkgs = {n: {pk(x) for x in files[n]} for n in KAPPA} + unique = {n: sorted(pkgs[n] - set().union(*[pkgs[m] for m in KAPPA if m != n])) for n in KAPPA} + need(unique == {"4440": [], "4441": [], "4446": ["research/kappa-hybrid-controller"], + "4447": ["research/missing-join-frame"], "4453": ["research/native-lattice-retiming"]}, "unique packages") + print(json.dumps({"status": "PASS_P17_CHAIN_RECEIPT", "prs": 10, "retained_on_main": 0, + "pin_only_differences": sorted(PIN_ONLY), "docs_conflict_with_4436": DOCS, + "unique_packages": {k: v for k, v in unique.items() if v}, "new_kappa_claimed": False}, indent=1)) + + +if __name__ == "__main__": + sys.exit(main())