From cff65f34beac256cb2e1995a25415cf6950a6980 Mon Sep 17 00:00:00 2001 From: ywz65 <154373401+ywz65@users.noreply.github.com> Date: Thu, 15 Oct 2026 09:56:51 -0700 Subject: [PATCH 1/2] Audit T74 local-search retention and sentinel scope --- .../community-efficient1000-review.md | 7 + research/t74-local-search-retention/README.md | 145 + .../t74-local-search-retention/RECEIPT.json | 2408 +++++++++++++++++ research/t74-local-search-retention/TASK.json | 125 + research/t74-local-search-retention/audit.py | 155 ++ 5 files changed, 2840 insertions(+) create mode 100644 research/t74-local-search-retention/README.md create mode 100644 research/t74-local-search-retention/RECEIPT.json create mode 100644 research/t74-local-search-retention/TASK.json create mode 100644 research/t74-local-search-retention/audit.py diff --git a/docs/research/community-efficient1000-review.md b/docs/research/community-efficient1000-review.md index fc9704487c..972b2ca558 100644 --- a/docs/research/community-efficient1000-review.md +++ b/docs/research/community-efficient1000-review.md @@ -64,6 +64,13 @@ Original author commits, notices, predecessor credit and assistance disclosures ## Evidence and limits +Later source navigation (2026-10-15): the +[T74 local-search retention receipt](../../research/t74-local-search-retention/README.md) +maps PR1957's retained partial review to its unchanged toolkit in PR2142 and +the later public I-resolve sentinel-cost correction. It records exact source +trees and the differing search domains; it does not complete the outstanding +full census, independently replay those solvers or change this frozen disposition. + `packets/` records exact heads and every changed blob. `checks/` retains commands, input/log hashes, environment, duration and coverage. Dedicated Lean replays are distinct from Python checks. Written arguments, exact finite certificates, historical receipts and supplier-admission obligations remain separate. Initial 300-second command limits are triage budgets. Supplemental runs and fixture repairs retain their original unsuccessful receipts. Missing unchanged dependencies are hydrated from the reviewed Git head without weakening source pins. A timeout is not a mathematical rejection. diff --git a/research/t74-local-search-retention/README.md b/research/t74-local-search-retention/README.md new file mode 100644 index 0000000000..aff67ac6d4 --- /dev/null +++ b/research/t74-local-search-retention/README.md @@ -0,0 +1,145 @@ +# T74 local-search retention and sentinel-cost scope + +This receipt connects three related public artifacts to the review retained on +main. It resolves a narrow navigation gap: a reader of the PR1957 review can now +find the unchanged toolkit in PR2142 and the later correction to four +oracle-sentinel cases, without mistaking any of them for an integrated or +independently replayed general lower bound. + +**Audit base:** `b4560d9e7216f72b73c5aa940ac099c05e33ccf9` (priority revision 5). +**Result type:** source/retention audit, not a new search or mathematical theorem. +The selected result and every frozen predecessor remain unchanged. + +## Exact sources and retained content + +| Artifact and credit | Pinned commit | Named source subtree | Files at original paths on audit base | +| --- | --- | --- | --- | +| [PR1957](https://github.com/CrocSwap/integer-mult-bounds/pull/1957), Rohan Arun | `e6a4d34874bb1aeba192c62629ebb633a6b5c424` | `research/t74-k554-local-exhaustion/` | 0 of 63 | +| [PR2142](https://github.com/CrocSwap/integer-mult-bounds/pull/2142), Ian Libânio | `5f2f608451252f3330e0d0d5fc7bca63be9d0400` | `research/t74-split-key-kernel-search/` | 0 of 155 | +| [Rounds 4–7, I-resolve](https://github.com/mdumitrean/integer-mult-bounds/tree/23b9ce546f6978bc017d2a970a7fc2b1f96ef6b0/research/t74-local-word-rounds4-7/r6/agents/I-resolve), Marius-Paul Dumitrean | `23b9ce546f6978bc017d2a970a7fc2b1f96ef6b0` | `research/t74-local-word-rounds4-7/r6/agents/I-resolve/` | 0 of 97 | + +[RECEIPT.json](RECEIPT.json) lists every path, mode and Git object in these three +subtrees. It separately records identical mode/blob matches elsewhere on main; +same bytes at another path do not establish that an entire module, its review or +its dependencies were incorporated. Conversely, absence at an original path +does not establish absence of all mathematically equivalent content. + +The complete 63-file PR1957 subtree is identical in the pinned PR2142 head. +PR2142's older, discussion-linked head +`0c5516bf5bfb5c9c4d09446d3b21028032060fec` differs from its live head, but **both +named scientific subtrees are exactly unchanged**, including file modes. This +is scoped tree equality, not whole-head equivalence or a reason to close a PR. + +Main retains PR1957's [disposition](../community-efficient1000-audit/DISPOSITIONS.json), +[source packet](../community-efficient1000-audit/packets/1957.json) and +[check receipt](../community-efficient1000-audit/checks/check-1957.json). +That disposition is correctly **partially reviewed**: default verification +passed, including calibration, sampled frame re-solves, sixteen one-split +searches and packing ILPs. The full **1,797 deletion and 4,461 commuting-position +censuses** still require the declared full replay or an independent exhaustive +certificate. This audit does not perform that replay or change that disposition. + +## Why the four sentinel cases need their own link + +The pinned PR1957 `tools/costorc.py` uses `INF = 1 << 60`. Its `cost` routine +minimizes over a specified finite family of frame candidates; inadmissible +`zcost` inputs return the sentinel, and `best` starts at that sentinel. Reading +that value establishes failure of that oracle calculation, not a proof about +every legal insertion or compensation word. `tools/akernel.py` inherits this +sentinel and frame-cost convention. + +The pinned PR2142 README groups 108 strict searches as 104 CP-SAT infeasibilities +and four “shape-infeasible” cases. Its four JSON records have `shape: false` +and empty `res` lists. Those fields are different evidence from a solver +infeasibility certificate. + +The later public [I-resolve findings](https://github.com/mdumitrean/integer-mult-bounds/blob/23b9ce546f6978bc017d2a970a7fc2b1f96ef6b0/research/t74-local-word-rounds4-7/r6/agents/I-resolve/FINDINGS.md) +and [EVIDENCE.json](https://github.com/mdumitrean/integer-mult-bounds/blob/23b9ce546f6978bc017d2a970a7fc2b1f96ef6b0/research/t74-local-word-rounds4-7/r6/agents/I-resolve/EVIDENCE.json) +report explicit repricing of these sentinel candidates: + +| Deleted read | Sentinel candidates | Reported within budget | Reported over budget | Corrected C status reported | +| --- | ---: | ---: | ---: | --- | +| B822 | 54 | 14 | 40 | INFEASIBLE | +| B840 | 53 | 14 | 39 | INFEASIBLE | +| B858 | 56 | 15 | 41 | INFEASIBLE | +| B876 | 54 | 15 | 39 | INFEASIBLE | + +These are **source-reported results**, extracted without running the solver or +the imported research code. In that source, variant D excludes sentinel +candidates; variant C reprices them. All eight D/C restrictions have reported +HiGHS `INFEASIBLE` checks with the interaction ban; some SCIP checks are +`NOT_SOLVED`. A timeout is not an infeasibility result. The sentinel correction +therefore changes which evidence to inspect, but this receipt does not itself +certify the corrected search or declare the earlier scientific claim refuted. +The author's [public correction and handoff](https://github.com/CrocSwap/integer-mult-bounds/discussions/2143#discussioncomment-18948791) +identifies the same artifact; it is not a maintainer acceptance decision. + +## Model boundary: do not substitute the two searches + +| Boundary | PR2142 strict search | Later I-resolve D/C evidence | +| --- | --- | --- | +| Key family | One level | Depth two | +| Coefficients | Half steps, absolute value at most 4 | Quarter steps, absolute value at most 4 | +| Insert count | At most 12 | At most 12 | +| Interaction | Direct write-then-read interactions banned | PR2142 direct interaction ban retained | +| Price information | Per-insert cap plus summed budget | Sentinel exclusion D; corrected sentinel prices C | +| Four recorded deletion prices | `ddel = -6100` | `ddel = -6118`, budget `6117` | + +The later record must not be silently presented as a fresh replay of the exact +earlier model. The receipt preserves both price fields rather than reconciling +them by assumption. PR2142 concerns the base word used in 249 of 666 calls; +the extra word's 417 calls are outside its search. Interacting inserts, +multi-deletion kernels and unrestricted word resynthesis remain outside these +bounded negative claims. + +The later no-cost B822 diagnostic is also weaker than an exhaustive negative +result: `status` is `UNKNOWN`; it records two exact zero-delta proposals, one +marked `relocation: false`. Do not turn that unfinished diagnostic into “only +relocations are possible,” or turn an empty `gains` list into a universal +impossibility statement. + +## Reproduce this audit + +Requires Python 3.12+ and Git. From a repository checkout, fetch the immutable +public source objects if they are absent: + +```sh +git fetch https://github.com/CrocSwap/integer-mult-bounds.git b4560d9e7216f72b73c5aa940ac099c05e33ccf9 +git fetch https://github.com/rohanarun/integer-mult-bounds.git e6a4d34874bb1aeba192c62629ebb633a6b5c424 +git fetch https://github.com/ianlibanio/integer-mult-bounds.git 0c5516bf5bfb5c9c4d09446d3b21028032060fec +git fetch https://github.com/ianlibanio/integer-mult-bounds.git 5f2f608451252f3330e0d0d5fc7bca63be9d0400 +git fetch https://github.com/mdumitrean/integer-mult-bounds.git 23b9ce546f6978bc017d2a970a7fc2b1f96ef6b0 +python3 -I -O -B research/t74-local-search-retention/audit.py +``` + +Expected: `PASS_T74_LOCAL_SEARCH_RETENTION source_files=315 targets=4 solver_replay=not_run`. +The audit uses immutable Git objects, compares the complete generated JSON with +the frozen receipt, and binds inspected source files by Git blob and SHA-256. +It performs no network access, imports no predecessor program and does not +execute CP-SAT, SCIP, HiGHS or the full historical census. This Git-object audit +is an explicit opt-in command, not a registered source-export replay. + +## Milestone and consumer boundary + +Under the revision-5 family gate, the milestone is a bounded audit/navigation +result. **Decision: narrow** to the three named sources and stop after exact +retention checks and independent reading. This does not start a new mechanism +or numerical search family. Source and solver-model costs are reported inputs; +all-size precision, restoration, dispatch, transport, hosting and physical +composition costs are **unestablished here**, never zero. No consumer obtains +a cheaper operation from this note, and no prepaid cost is passed to a caller. + +## Open next questions + +1. Complete PR1957's outstanding full census review if that exact negative claim + is needed. First use its pinned `--full` instructions or supply an independent + exhaustive certificate; this source map does not discharge that work. +2. Before relying on the four corrected negatives, independently replay the + pinned I-resolve candidate construction, repricing and solver restrictions, + then explain the key/price-domain relation to PR2142. The price discrepancy + and unfinished no-cost diagnostic are explicit blockers to broader transfer. + +Credit remains with Rohan Arun, Ian Libânio and Marius-Paul Dumitrean for the +respective source artifacts, and with the PR1186 toolkit, PR1625 pivot-566 kernel, +PR1672 pivot-554 kernel and T74 word lineage acknowledged there. Prepared by +ywz65 with substantial OpenAI Codex assistance. Apache-2.0. diff --git a/research/t74-local-search-retention/RECEIPT.json b/research/t74-local-search-retention/RECEIPT.json new file mode 100644 index 0000000000..990dd171bc --- /dev/null +++ b/research/t74-local-search-retention/RECEIPT.json @@ -0,0 +1,2408 @@ +{ + "schema": 1, + "coverage": "Exact-path and exact-mode/blob retention; source-reported solver fields only. No solver replay or semantic incorporation inference.", + "base": "b4560d9e7216f72b73c5aa940ac099c05e33ccf9", + "sources": { + "pr1957": { + "commit": "e6a4d34874bb1aeba192c62629ebb633a6b5c424", + "prefix": "research/t74-k554-local-exhaustion/", + "subtree": "fa30fb576a9535ed42bff5cba055e24eba04484c", + "file_count": 63, + "inventory": { + "research/t74-k554-local-exhaustion/MANIFEST.json": { + "mode": "100644", + "kind": "blob", + "oid": "dd0cce2e740be0943068a330a4bbf333de6d1afd" + }, + "research/t74-k554-local-exhaustion/NOTICE": { + "mode": "100644", + "kind": "blob", + "oid": "80eb47baab05ff1753ee177c033e74a7891f5b94" + }, + "research/t74-k554-local-exhaustion/README.md": { + "mode": "100644", + "kind": "blob", + "oid": "cbbbae8147da6645ce252cb1e287cbcd917f5e66" + }, + "research/t74-k554-local-exhaustion/RESULTS.json": { + "mode": "100644", + "kind": "blob", + "oid": "f91b937bb6ff212d208ba4fb3535f7e1f939f8f1" + }, + "research/t74-k554-local-exhaustion/data/a-section-and-pair-rewrites.json": { + "mode": "100644", + "kind": "blob", + "oid": "1e1d8f9a6481f307adba2f455f4ff4a7ba7be27b" + }, + "research/t74-k554-local-exhaustion/data/compensation-searches.json": { + "mode": "100644", + "kind": "blob", + "oid": "9f0a49c0de4311c8b77f168569dbc74e4164afb2" + }, + "research/t74-k554-local-exhaustion/data/move-sweep.json": { + "mode": "100644", + "kind": "blob", + "oid": "589dbdfa164ccb78d58754bdc59d5e624cd2a5fc" + }, + "research/t74-k554-local-exhaustion/data/movejobs.json": { + "mode": "100644", + "kind": "blob", + "oid": "d188589daac7dccb471d60c0b92765389c141a13" + }, + "research/t74-k554-local-exhaustion/data/relaxation-A-sample.json": { + "mode": "100644", + "kind": "blob", + "oid": "08046f6f97b7f90d65d98c2f05ed3ab3fe84006d" + }, + "research/t74-k554-local-exhaustion/data/relaxation-B.json": { + "mode": "100644", + "kind": "blob", + "oid": "5c22e34200903f176906682c5ee4532b72b4245f" + }, + "research/t74-k554-local-exhaustion/evidence/RESULT.json": { + "mode": "100644", + "kind": "blob", + "oid": "fbc562a23f64ba67cbb045a9319166f098abb2d8" + }, + "research/t74-k554-local-exhaustion/evidence/one-split-searches.log": { + "mode": "100644", + "kind": "blob", + "oid": "55c63af9361ed3d19671f4fec6e2b789fce8c51f" + }, + "research/t74-k554-local-exhaustion/evidence/oracle-calibration.log": { + "mode": "100644", + "kind": "blob", + "oid": "918c62430a96f727832bf6aea8ab67aba72066fd" + }, + "research/t74-k554-local-exhaustion/inputs/EDITS-k554.json": { + "mode": "100644", + "kind": "blob", + "oid": "a56389e6bdd63018557012f814f3f30c65bbda5d" + }, + "research/t74-k554-local-exhaustion/inputs/PINS.json": { + "mode": "100644", + "kind": "blob", + "oid": "873817f1051b4bfcabd288d9f3e7816e935076a9" + }, + "research/t74-k554-local-exhaustion/inputs/extra-word-566.json.gz": { + "mode": "100644", + "kind": "blob", + "oid": "e86142b352466f54a3da38c96a6e1484145c3b5c" + }, + "research/t74-k554-local-exhaustion/inputs/gauge44-word-566.json.gz": { + "mode": "100644", + "kind": "blob", + "oid": "76c01583a0286cddb0f71e0cb13077e4317104f6" + }, + "research/t74-k554-local-exhaustion/inputs/step0-gauge44.json.gz": { + "mode": "100644", + "kind": "blob", + "oid": "ecf75c274c41efdf4894e2748bc4d071a16c87a9" + }, + "research/t74-k554-local-exhaustion/tools/_paths.py": { + "mode": "100644", + "kind": "blob", + "oid": "06e205f8cb9f837a0d254844da2664de47dd67ae" + }, + "research/t74-k554-local-exhaustion/tools/abkernel.py": { + "mode": "100644", + "kind": "blob", + "oid": "cffcf324f1d37a8b378839ad8851a5954025809a" + }, + "research/t74-k554-local-exhaustion/tools/aggT74.py": { + "mode": "100644", + "kind": "blob", + "oid": "a0a1457952e49771750758b80fc9cbbb5b2bcbcb" + }, + "research/t74-k554-local-exhaustion/tools/aggmix.py": { + "mode": "100644", + "kind": "blob", + "oid": "569f440e27e53730188adc02e88e7b458c44c0fa" + }, + "research/t74-k554-local-exhaustion/tools/akernel.py": { + "mode": "100644", + "kind": "blob", + "oid": "2f152c4ff0aad280cdf6c105ddaf686d26072a3d" + }, + "research/t74-k554-local-exhaustion/tools/check_profiles.py": { + "mode": "100644", + "kind": "blob", + "oid": "9ee82a935dbac5a4c2c82ddbe63eefcc0455754c" + }, + "research/t74-k554-local-exhaustion/tools/climbs.py": { + "mode": "100644", + "kind": "blob", + "oid": "80844b75ee138af20b2be862547261753e65e9ff" + }, + "research/t74-k554-local-exhaustion/tools/costorc.py": { + "mode": "100644", + "kind": "blob", + "oid": "a686babbce304377a0fda7806ee267c0b0ca57c8" + }, + "research/t74-k554-local-exhaustion/tools/fc3.py": { + "mode": "100644", + "kind": "blob", + "oid": "3841b24d36219e6d2d828f9010812f0955ce5574" + }, + "research/t74-k554-local-exhaustion/tools/gencomp2.py": { + "mode": "100644", + "kind": "blob", + "oid": "738e964294b340f585d15602f956d7c0edfdbe91" + }, + "research/t74-k554-local-exhaustion/tools/movecands.py": { + "mode": "100644", + "kind": "blob", + "oid": "5c70b71d71da4139b5227f1696830cdbe1652383" + }, + "research/t74-k554-local-exhaustion/tools/movegate2.py": { + "mode": "100644", + "kind": "blob", + "oid": "deaf387c71200a59ff24e03f675f9d0c55ffeb0c" + }, + "research/t74-k554-local-exhaustion/tools/pairdiff.py": { + "mode": "100644", + "kind": "blob", + "oid": "bffe2490a7dd73247810c7d4bb088a870aaabdfa" + }, + "research/t74-k554-local-exhaustion/tools/prepscan.py": { + "mode": "100644", + "kind": "blob", + "oid": "dfa64e86cacc80ef1b32ce7f204c70f85d974bda" + }, + "research/t74-k554-local-exhaustion/tools/relax.py": { + "mode": "100644", + "kind": "blob", + "oid": "01a5e0642e21095dad70c3ca1413fb68d750f9b6" + }, + "research/t74-k554-local-exhaustion/tools/relaxAsec.py": { + "mode": "100644", + "kind": "blob", + "oid": "8570639fd6616474e41152e7415a8be97fa01c6c" + }, + "research/t74-k554-local-exhaustion/tools/sample_replay.py": { + "mode": "100644", + "kind": "blob", + "oid": "b48c658ccf229683ecb9eb66da3971dce54c168a" + }, + "research/t74-k554-local-exhaustion/tools/summarize.py": { + "mode": "100644", + "kind": "blob", + "oid": "bfb0be8d2224ed5d068c9687915059148ba2e46c" + }, + "research/t74-k554-local-exhaustion/tools/validate554.py": { + "mode": "100644", + "kind": "blob", + "oid": "6c5be147addd999416a21a8b5efe37bf3f4b4e74" + }, + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/MANIFEST.json": { + "mode": "100644", + "kind": "blob", + "oid": "43730fbafdc9020e226067fab0f5f3c89ff19f62" + }, + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/NOTICE.md": { + "mode": "100644", + "kind": "blob", + "oid": "b90c93b68f49fcf4999b8186f2d997410ed9f15e" + }, + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/README.md": { + "mode": "100644", + "kind": "blob", + "oid": "0593344ad4e503c45123517a85ab1e70eaa9a429" + }, + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/baseline.py": { + "mode": "100644", + "kind": "blob", + "oid": "d0f8549ca3d80f4318d940dc6c3825e1fd6a05e4" + }, + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/compose.py": { + "mode": "100644", + "kind": "blob", + "oid": "551e3b1f6ebd9e52872fafb0185e14dc1fafd39c" + }, + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/controls.py": { + "mode": "100644", + "kind": "blob", + "oid": "b0aa2659d7bc921949bae71046d791165952bbb9" + }, + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/exchange.py": { + "mode": "100644", + "kind": "blob", + "oid": "8c0ac2dc20a0ba5bbe16e022dae783cacf4fb6df" + }, + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/frames.py": { + "mode": "100644", + "kind": "blob", + "oid": "7e8b6175d97e9c43aaad68b7e3ec4cc6d9590317" + }, + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/fusion.py": { + "mode": "100644", + "kind": "blob", + "oid": "4cd352438d0f3ae8d92d94366c8e9eb457fb88e7" + }, + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/harness.py": { + "mode": "100644", + "kind": "blob", + "oid": "f7eed5f3c2aa30ffc7c2af64504285b973268008" + }, + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/joint.py": { + "mode": "100644", + "kind": "blob", + "oid": "6e98533060cc0d1f23b71e01efb6bfcad5fa71c7" + }, + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/kappa.py": { + "mode": "100644", + "kind": "blob", + "oid": "7a799f16310c8d54fe1dd47a863857ee3cab1ff6" + }, + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/model.py": { + "mode": "100644", + "kind": "blob", + "oid": "6e079de35bc834b51d73876a69c372ef4e749eec" + }, + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/native.py": { + "mode": "100644", + "kind": "blob", + "oid": "30027ae01b3fbd02cb235e073ae52662a1f12650" + }, + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/paths.py": { + "mode": "100644", + "kind": "blob", + "oid": "1da6577809136237aae1f7957c6e1958a3545e80" + }, + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/rebind.py": { + "mode": "100644", + "kind": "blob", + "oid": "97cc4caacfc15b54c1fc106e2d862a143a9166c3" + }, + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/repair.py": { + "mode": "100644", + "kind": "blob", + "oid": "d1ed9373dca96259aa6919af0a8222765b313cd9" + }, + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/selftest.py": { + "mode": "100644", + "kind": "blob", + "oid": "1dec0f6df4456f3c45f27efa58bb665fb3926da4" + }, + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/sites.py": { + "mode": "100644", + "kind": "blob", + "oid": "b0d67decab7219feb63933c936b3059aad6df232" + }, + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/slots.py": { + "mode": "100644", + "kind": "blob", + "oid": "088ae775b9e84bd5d4a05cbeab83035d426add90" + }, + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/t16_discover.py": { + "mode": "100644", + "kind": "blob", + "oid": "bb11543ddbd28d3105c97537048c95ac5da5060c" + }, + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/transplant.py": { + "mode": "100644", + "kind": "blob", + "oid": "f0e169790e87d39c5320f555ff9babf7a4f99684" + }, + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/unpin.py": { + "mode": "100644", + "kind": "blob", + "oid": "4d18e9a47a8dec13e6b63938e21db60ec19fdc31" + }, + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/word.py": { + "mode": "100644", + "kind": "blob", + "oid": "25c2a87ad21c76e8911204fcae993a3e40f914e9" + }, + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/writeback.py": { + "mode": "100644", + "kind": "blob", + "oid": "1d22d8cd5dabafea7c125eb2794e3652c82fd31c" + }, + "research/t74-k554-local-exhaustion/verify.py": { + "mode": "100644", + "kind": "blob", + "oid": "153ec97b3d0a4e511c2035b5ad14ffc4ce978a4b" + } + }, + "base_path_comparison": { + "exact_paths": [], + "changed_paths": [], + "absent_paths": [ + "research/t74-k554-local-exhaustion/MANIFEST.json", + "research/t74-k554-local-exhaustion/NOTICE", + "research/t74-k554-local-exhaustion/README.md", + "research/t74-k554-local-exhaustion/RESULTS.json", + "research/t74-k554-local-exhaustion/data/a-section-and-pair-rewrites.json", + "research/t74-k554-local-exhaustion/data/compensation-searches.json", + "research/t74-k554-local-exhaustion/data/move-sweep.json", + "research/t74-k554-local-exhaustion/data/movejobs.json", + "research/t74-k554-local-exhaustion/data/relaxation-A-sample.json", + "research/t74-k554-local-exhaustion/data/relaxation-B.json", + "research/t74-k554-local-exhaustion/evidence/RESULT.json", + "research/t74-k554-local-exhaustion/evidence/one-split-searches.log", + "research/t74-k554-local-exhaustion/evidence/oracle-calibration.log", + "research/t74-k554-local-exhaustion/inputs/EDITS-k554.json", + "research/t74-k554-local-exhaustion/inputs/PINS.json", + "research/t74-k554-local-exhaustion/inputs/extra-word-566.json.gz", + "research/t74-k554-local-exhaustion/inputs/gauge44-word-566.json.gz", + "research/t74-k554-local-exhaustion/inputs/step0-gauge44.json.gz", + "research/t74-k554-local-exhaustion/tools/_paths.py", + "research/t74-k554-local-exhaustion/tools/abkernel.py", + "research/t74-k554-local-exhaustion/tools/aggT74.py", + "research/t74-k554-local-exhaustion/tools/aggmix.py", + "research/t74-k554-local-exhaustion/tools/akernel.py", + "research/t74-k554-local-exhaustion/tools/check_profiles.py", + "research/t74-k554-local-exhaustion/tools/climbs.py", + "research/t74-k554-local-exhaustion/tools/costorc.py", + "research/t74-k554-local-exhaustion/tools/fc3.py", + "research/t74-k554-local-exhaustion/tools/gencomp2.py", + "research/t74-k554-local-exhaustion/tools/movecands.py", + "research/t74-k554-local-exhaustion/tools/movegate2.py", + "research/t74-k554-local-exhaustion/tools/pairdiff.py", + "research/t74-k554-local-exhaustion/tools/prepscan.py", + "research/t74-k554-local-exhaustion/tools/relax.py", + "research/t74-k554-local-exhaustion/tools/relaxAsec.py", + "research/t74-k554-local-exhaustion/tools/sample_replay.py", + "research/t74-k554-local-exhaustion/tools/summarize.py", + "research/t74-k554-local-exhaustion/tools/validate554.py", + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/MANIFEST.json", + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/NOTICE.md", + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/README.md", + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/baseline.py", + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/compose.py", + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/controls.py", + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/exchange.py", + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/frames.py", + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/fusion.py", + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/harness.py", + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/joint.py", + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/kappa.py", + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/model.py", + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/native.py", + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/paths.py", + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/rebind.py", + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/repair.py", + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/selftest.py", + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/sites.py", + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/slots.py", + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/t16_discover.py", + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/transplant.py", + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/unpin.py", + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/word.py", + "research/t74-k554-local-exhaustion/vendor/exact-frame-toolkit/writeback.py", + "research/t74-k554-local-exhaustion/verify.py" + ] + }, + "identical_mode_and_blob_elsewhere_in_base": [] + }, + "pr2142": { + "commit": "5f2f608451252f3330e0d0d5fc7bca63be9d0400", + "prefix": "research/t74-split-key-kernel-search/", + "subtree": "99303edfbcdbb54a2b26f478671cbac351c382f7", + "file_count": 155, + "inventory": { + "research/t74-split-key-kernel-search/MANIFEST.json": { + "mode": "100644", + "kind": "blob", + "oid": "45af3c67f7221281c0d9493dff686fd55c24d846" + }, + "research/t74-split-key-kernel-search/README.md": { + "mode": "100644", + "kind": "blob", + "oid": "38c3b09d0338c24cd1593ddfc2653eba51d366ff" + }, + "research/t74-split-key-kernel-search/RESULTS.json": { + "mode": "100644", + "kind": "blob", + "oid": "753884ce7ba85aeb2dfa401bb3815f23b5ee79bb" + }, + "research/t74-split-key-kernel-search/SOURCES.json": { + "mode": "100644", + "kind": "blob", + "oid": "bba3e10852c69f854f08c145a79ca147299abda1" + }, + "research/t74-split-key-kernel-search/TASK.json": { + "mode": "100644", + "kind": "blob", + "oid": "18caa270726880c90471bc2933557ea83e485ded" + }, + "research/t74-split-key-kernel-search/VERIFY.json": { + "mode": "100644", + "kind": "blob", + "oid": "74d0d432965a78a9607da301ef1ea28bfc969c2e" + }, + "research/t74-split-key-kernel-search/data/control/sk-B342.json": { + "mode": "100644", + "kind": "blob", + "oid": "91fb77062822813222df6b88684f11dc721e7025" + }, + "research/t74-split-key-kernel-search/data/diagnostic/sk-B783.json": { + "mode": "100644", + "kind": "blob", + "oid": "81dabac4cf5ebe92a375b4114d61704c96cae36a" + }, + "research/t74-split-key-kernel-search/data/diagnostic/sk-B802.json": { + "mode": "100644", + "kind": "blob", + "oid": "4d7694cccc48b78cf24f7e27aaa5c910a0f5bced" + }, + "research/t74-split-key-kernel-search/data/logs/control-step0-B342.txt": { + "mode": "100644", + "kind": "blob", + "oid": "b48ca8050a0612ac2d506b0d1cba8a9ad5f4681b" + }, + "research/t74-split-key-kernel-search/data/logs/diagnostic-B783.txt": { + "mode": "100644", + "kind": "blob", + "oid": "6168584f8b99ab871a059ad3436f8fe34876f720" + }, + "research/t74-split-key-kernel-search/data/logs/diagnostic-B802.txt": { + "mode": "100644", + "kind": "blob", + "oid": "9dabcb7a95deb52f24a076f3394a1113f1ed66de" + }, + "research/t74-split-key-kernel-search/data/logs/strict-B783.txt": { + "mode": "100644", + "kind": "blob", + "oid": "3d3f91709606819cea527450024aeff99be22219" + }, + "research/t74-split-key-kernel-search/data/logs/strict-B802.txt": { + "mode": "100644", + "kind": "blob", + "oid": "ca43fd913abee1ded370e237f18c45f5e9056ec9" + }, + "research/t74-split-key-kernel-search/data/logs/strict-a8857-rerun-log3439.txt": { + "mode": "100644", + "kind": "blob", + "oid": "2f54c9aa6dfc277faf1eece711c9c87d40218498" + }, + "research/t74-split-key-kernel-search/data/logs/strict-a8857-rerun-log3440.txt": { + "mode": "100644", + "kind": "blob", + "oid": "e02a90878d239a3e7927a1b191f3bd98bb8642ba" + }, + "research/t74-split-key-kernel-search/data/logs/strict-a8857-rerun-log3441.txt": { + "mode": "100644", + "kind": "blob", + "oid": "fc468df4ca9f9ce2e0857ad977cb3d925c86cc43" + }, + "research/t74-split-key-kernel-search/data/logs/strict-a8857-rerun-log3442.txt": { + "mode": "100644", + "kind": "blob", + "oid": "4aa02c3a91c26411486033e1d9409aed17bef4eb" + }, + "research/t74-split-key-kernel-search/data/logs/strict-a8857-round1-log0.txt": { + "mode": "100644", + "kind": "blob", + "oid": "77a83690e9d93c46d61d447a00cf9ac1eddd1f73" + }, + "research/t74-split-key-kernel-search/data/logs/strict-a8857-round1-log1.txt": { + "mode": "100644", + "kind": "blob", + "oid": "68c4f9eabbc0ba64d146ed784d971fc4c2735e49" + }, + "research/t74-split-key-kernel-search/data/logs/strict-a8857-round1-log2.txt": { + "mode": "100644", + "kind": "blob", + "oid": "77f970450c424d91ce9905ba769f49797ea03fde" + }, + "research/t74-split-key-kernel-search/data/logs/strict-a8857-round1-log3.txt": { + "mode": "100644", + "kind": "blob", + "oid": "3fe211229525fbd0cd5a14584bbec8f6e76b61f8" + }, + "research/t74-split-key-kernel-search/data/logs/strict-a8857-round2-log0.txt": { + "mode": "100644", + "kind": "blob", + "oid": "d942361f5aa7fa4f5ea9e7ddbecc34cef7676d4f" + }, + "research/t74-split-key-kernel-search/data/logs/strict-a8857-round2-log1.txt": { + "mode": "100644", + "kind": "blob", + "oid": "a7500d83537fe9c536bb97613928db41f28af8fc" + }, + "research/t74-split-key-kernel-search/data/logs/strict-a8857-round2-log2.txt": { + "mode": "100644", + "kind": "blob", + "oid": "afa04a57f21e9ae3642c615664f6dee225776f71" + }, + "research/t74-split-key-kernel-search/data/logs/strict-a8857-round2-log3.txt": { + "mode": "100644", + "kind": "blob", + "oid": "08bb917f62727723827252b53184e0e67c399067" + }, + "research/t74-split-key-kernel-search/data/logs/strict-a8857-round2-log4.txt": { + "mode": "100644", + "kind": "blob", + "oid": "14a90e1cd53e807064f1bb3f688d15078d663257" + }, + "research/t74-split-key-kernel-search/data/logs/strict-a8857-round2-log5.txt": { + "mode": "100644", + "kind": "blob", + "oid": "c99122db78e9d5041ebf7c1413f1b58bcf5ab141" + }, + "research/t74-split-key-kernel-search/data/logs/strict-a8857-round2-log6.txt": { + "mode": "100644", + "kind": "blob", + "oid": "fa418004e5c346cc85586ca29105a594ed97e10c" + }, + "research/t74-split-key-kernel-search/data/logs/strict-a8857-round2-log7.txt": { + "mode": "100644", + "kind": "blob", + "oid": "06781f3a0049cd7f363a1408b318d75a0eb19f63" + }, + "research/t74-split-key-kernel-search/data/logs/strict-a8857-round2-log8.txt": { + "mode": "100644", + "kind": "blob", + "oid": "bc826d8aec853c35fed4e35c3d76b3517688afcd" + }, + "research/t74-split-key-kernel-search/data/logs/strict-a8857-round2-log9.txt": { + "mode": "100644", + "kind": "blob", + "oid": "bf6b7fc4e9942d1b82d1f0d94e230a294dce7ca0" + }, + "research/t74-split-key-kernel-search/data/logs/strict-b4913-log0.txt": { + "mode": "100644", + "kind": "blob", + "oid": "451729ff7d636607546ed08d670be3c350ac7ee3" + }, + "research/t74-split-key-kernel-search/data/logs/strict-b4913-log1.txt": { + "mode": "100644", + "kind": "blob", + "oid": "d45ef90f78f4733548772c63abfbff530b792770" + }, + "research/t74-split-key-kernel-search/data/logs/strict-b4913-log2.txt": { + "mode": "100644", + "kind": "blob", + "oid": "afca9bf68ecd2699869b85a588a1bcf40141b4e3" + }, + "research/t74-split-key-kernel-search/data/logs/strict-b4913-log3.txt": { + "mode": "100644", + "kind": "blob", + "oid": "465f0f1ab133efeff502ff531d59d08fae42c0ca" + }, + "research/t74-split-key-kernel-search/data/logs/strict-b4913-log4.txt": { + "mode": "100644", + "kind": "blob", + "oid": "2ee9fb55f55be3f5a0a74920551dcb17e69ef039" + }, + "research/t74-split-key-kernel-search/data/logs/strict-b4913-log5.txt": { + "mode": "100644", + "kind": "blob", + "oid": "edd3c6a1cd4aeaa31e924363601844a695a362fd" + }, + "research/t74-split-key-kernel-search/data/logs/strict-batch1-log0.txt": { + "mode": "100644", + "kind": "blob", + "oid": "11afd271cf4d7d5bca5b5b6df0949e7166532fec" + }, + "research/t74-split-key-kernel-search/data/logs/strict-batch1-log1.txt": { + "mode": "100644", + "kind": "blob", + "oid": "402912916bc7705c1ac5db6a23966ab4ef5003d4" + }, + "research/t74-split-key-kernel-search/data/logs/strict-batch1-log2.txt": { + "mode": "100644", + "kind": "blob", + "oid": "ea97a06919980a93d4c25fac70c193440c761cd0" + }, + "research/t74-split-key-kernel-search/data/logs/strict-batch1-log3.txt": { + "mode": "100644", + "kind": "blob", + "oid": "efc0247ed78d36d1cbc0741f4023458b18940f1c" + }, + "research/t74-split-key-kernel-search/data/relaxation-A-rest.json": { + "mode": "100644", + "kind": "blob", + "oid": "f9d3b97188b9938fc925728cf348d74b7d12c3c7" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A1215.json": { + "mode": "100644", + "kind": "blob", + "oid": "86217e279fcbc5ea3b54b91bb53322e6d31a8a76" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A1216.json": { + "mode": "100644", + "kind": "blob", + "oid": "5ba7fff26dbdf594525d76be9254d7ce99c2a9bb" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A1217.json": { + "mode": "100644", + "kind": "blob", + "oid": "4a7da4de260e831ca207574ff7d8d22711aa8a04" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A1218.json": { + "mode": "100644", + "kind": "blob", + "oid": "aa123c7d076bdbd2bcc1f6dc2acc8f24fb2923c3" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A1219.json": { + "mode": "100644", + "kind": "blob", + "oid": "4484461cabb402c3641d199f27d5d859b6c5ca7a" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A1220.json": { + "mode": "100644", + "kind": "blob", + "oid": "c61894bbcfaea5feeff3c281c4860d2bb3cbf161" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A1221.json": { + "mode": "100644", + "kind": "blob", + "oid": "20aa9b07363e8d0b28c7a55c5b8289753e7a398a" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A1222.json": { + "mode": "100644", + "kind": "blob", + "oid": "322d8949e9b449e5ee480bd79a975cb9155bbe63" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A1223.json": { + "mode": "100644", + "kind": "blob", + "oid": "859a0b14dbda0f06c63190a3ffaa8d33f49c741c" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A1224.json": { + "mode": "100644", + "kind": "blob", + "oid": "933766772bb38de4a9d642e1ac2eb818d0045fac" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A1225.json": { + "mode": "100644", + "kind": "blob", + "oid": "a7bf7f60421c63f246b5cd24b253719dc93961c1" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A1226.json": { + "mode": "100644", + "kind": "blob", + "oid": "5b9b1212ff8256f324c0121955d5a71ff0e92c07" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A1227.json": { + "mode": "100644", + "kind": "blob", + "oid": "83fcb19c2dbeaa8c5c53b0234497c2ca1c0be1d5" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A1228.json": { + "mode": "100644", + "kind": "blob", + "oid": "0183d6db781738852d2e222168fed47bc602526c" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A1229.json": { + "mode": "100644", + "kind": "blob", + "oid": "93098a08b05ebd80c36684b21cb44dcd6ef2029e" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A1230.json": { + "mode": "100644", + "kind": "blob", + "oid": "24bf8056359a70231bf6cc51f23247d0ec436877" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A1231.json": { + "mode": "100644", + "kind": "blob", + "oid": "5a9d45f5ed6011882ec9a3e72570b17384433ee7" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A1232.json": { + "mode": "100644", + "kind": "blob", + "oid": "0bde182247917388862fe24f7dd254dc26c40655" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A1233.json": { + "mode": "100644", + "kind": "blob", + "oid": "db2ae6ee6b043b92a63ce4a75d5358dd5d426974" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A1234.json": { + "mode": "100644", + "kind": "blob", + "oid": "fd1e063ca70217401d31ea0baae75d5b98c1d548" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A1235.json": { + "mode": "100644", + "kind": "blob", + "oid": "aa2227fac8bbfc461693e59b72b7bd98189e052d" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A1236.json": { + "mode": "100644", + "kind": "blob", + "oid": "fe023c1123f3a67b69bfef4dd1b654a765af3109" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A1237.json": { + "mode": "100644", + "kind": "blob", + "oid": "d3cb899fed8700f2d456b3170776f2264e499c5a" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A1238.json": { + "mode": "100644", + "kind": "blob", + "oid": "b22776e07a71095407a1deac5b7f0a4aa0b0a8be" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A1239.json": { + "mode": "100644", + "kind": "blob", + "oid": "dddbfeb004a0d424b5415c688a4a55aba921dc0c" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A1240.json": { + "mode": "100644", + "kind": "blob", + "oid": "4e4ac30a97e502e24f350fe52b632582e7c02d29" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A1241.json": { + "mode": "100644", + "kind": "blob", + "oid": "2e3a0e20d98192c94361a29ef200ca8f0984b290" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A1242.json": { + "mode": "100644", + "kind": "blob", + "oid": "a9b9bd0b34b327da8c35424934032893fbbd06b0" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A1243.json": { + "mode": "100644", + "kind": "blob", + "oid": "f1ef230f2aa45f2bebce0ac5ea2a6271b65b9245" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A1244.json": { + "mode": "100644", + "kind": "blob", + "oid": "1e5c94ff4d80c81b00226c969d470d09e2312e57" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A1245.json": { + "mode": "100644", + "kind": "blob", + "oid": "38045aea8c7be353b91f79075bbff7d3fb8bd4a1" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A1246.json": { + "mode": "100644", + "kind": "blob", + "oid": "72bc140179bac05fb18194cdf40602e9d8b40a62" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A3403.json": { + "mode": "100644", + "kind": "blob", + "oid": "eb2be2af96f823da00d81f7636c8e7b16996d0e1" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A3404.json": { + "mode": "100644", + "kind": "blob", + "oid": "143d96874fa9ab2605b0650a57f2b5a0feabafaa" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A3405.json": { + "mode": "100644", + "kind": "blob", + "oid": "e0199140f32a97a047c004e1ee6c9bcd29ef1d6d" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A3406.json": { + "mode": "100644", + "kind": "blob", + "oid": "3d21ef1b8ce6447dcfe42a898f9b5e36a82ef421" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A3407.json": { + "mode": "100644", + "kind": "blob", + "oid": "a7e121bd7cb22975d92f847233d4ca0f5213ac1e" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A3408.json": { + "mode": "100644", + "kind": "blob", + "oid": "157e656113d128df8343089c418743d0ee2d9f9a" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A3409.json": { + "mode": "100644", + "kind": "blob", + "oid": "208695d66b8ad9f02f8775d50963c7f4e46fbaef" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A3410.json": { + "mode": "100644", + "kind": "blob", + "oid": "f7643ed024be16db75120161c70dd63324a194cc" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A3411.json": { + "mode": "100644", + "kind": "blob", + "oid": "0220f703c8cbd8a480ef46a586f83a00ceaf871f" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A3412.json": { + "mode": "100644", + "kind": "blob", + "oid": "802753706c17cd7a6826ba8aed77939488574788" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A3413.json": { + "mode": "100644", + "kind": "blob", + "oid": "8b426dfdb0a6ebba306a128528f5ea66eb3406ff" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A3414.json": { + "mode": "100644", + "kind": "blob", + "oid": "b5d96128001062279679074ef855c12a51129f54" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A3415.json": { + "mode": "100644", + "kind": "blob", + "oid": "492a0955bbe917a8c3723db5a9475037c1618ffe" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A3416.json": { + "mode": "100644", + "kind": "blob", + "oid": "a47dd4eca0e8f4c4a1f4588e38a31d6621e9905f" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A3417.json": { + "mode": "100644", + "kind": "blob", + "oid": "ab0ac08ae9eac6d19695d7e34fe6d4402cac3d67" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A3418.json": { + "mode": "100644", + "kind": "blob", + "oid": "da366297c121a4bd798430129a741a8568e6ab26" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A3419.json": { + "mode": "100644", + "kind": "blob", + "oid": "bd5940edfd1fb2f596dc2ef8d541d4eb3b457675" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A3420.json": { + "mode": "100644", + "kind": "blob", + "oid": "693884ff65faec97c0d624aa03955dcd909342c6" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A3421.json": { + "mode": "100644", + "kind": "blob", + "oid": "61a11a1a7f886adb45c35dbb4620bbc65c669a21" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A3422.json": { + "mode": "100644", + "kind": "blob", + "oid": "2976ce0427071c833c989e19f08bee2ac178e0af" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A3423.json": { + "mode": "100644", + "kind": "blob", + "oid": "533cb2787ba6a33b745268a9de21c340466bde13" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A3424.json": { + "mode": "100644", + "kind": "blob", + "oid": "612673401ad8207e27cf3b8748f6c7c3e0749703" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A3425.json": { + "mode": "100644", + "kind": "blob", + "oid": "95a4f0ad8df92d9ec0a8937d1ad8cd70fafe6976" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A3426.json": { + "mode": "100644", + "kind": "blob", + "oid": "02b3f91f8cd31ca4ebbd3ffbd2465b0cb8c96646" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A3427.json": { + "mode": "100644", + "kind": "blob", + "oid": "fc695bae3f8cff097dd4a04931bb9e1bb6e07085" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A3428.json": { + "mode": "100644", + "kind": "blob", + "oid": "dca73a2da410bb2448c80f59a73fb9ad54b3395f" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A3429.json": { + "mode": "100644", + "kind": "blob", + "oid": "a3c04d7615950a8bfa8d22a67abbd2fb8a4e0f8b" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A3430.json": { + "mode": "100644", + "kind": "blob", + "oid": "e71fc30273bb0f80d47c533ec895bf2fb50f9496" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A3431.json": { + "mode": "100644", + "kind": "blob", + "oid": "58b8ed847ade8322163afaeda774953f24c9621d" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A3432.json": { + "mode": "100644", + "kind": "blob", + "oid": "b3b0befdcc0d29335458778755610eef67321a94" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A3433.json": { + "mode": "100644", + "kind": "blob", + "oid": "99c7da30c1070ffa2f0c64ae7387330d1802ee05" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A3434.json": { + "mode": "100644", + "kind": "blob", + "oid": "2b8cda3e6753ac7fd9d2d9b15e6797414a849537" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A3435.json": { + "mode": "100644", + "kind": "blob", + "oid": "a35ffb01a6f6595af135e03830edafa5b150ef59" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A3436.json": { + "mode": "100644", + "kind": "blob", + "oid": "06ba65c3c9c40e04d85f373fa82fe63786f00159" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A3437.json": { + "mode": "100644", + "kind": "blob", + "oid": "27653350a6f3804b0b6cd6518326bca0d7a740f6" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A3438.json": { + "mode": "100644", + "kind": "blob", + "oid": "7287a64c223bc50a6132a52d78eb76279c905607" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A3439.json": { + "mode": "100644", + "kind": "blob", + "oid": "a9881dbde9e5d171e3991dd97b7570df02d088c6" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A3440.json": { + "mode": "100644", + "kind": "blob", + "oid": "1f7ae7d567254d995640f1e8ddbe5ebfe2541a36" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A3441.json": { + "mode": "100644", + "kind": "blob", + "oid": "4b1a1e10237b1592149062b4eb7134cbb62ffa30" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A3442.json": { + "mode": "100644", + "kind": "blob", + "oid": "f91629d8590755fe224920817f305b351ab09b31" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A3443.json": { + "mode": "100644", + "kind": "blob", + "oid": "3f8d8dccc798d549f5ea44e23f9385ad928af7ef" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A3444.json": { + "mode": "100644", + "kind": "blob", + "oid": "1e4a6d02c4e55a3e55c006e4d14ec39214bdf2f3" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A3445.json": { + "mode": "100644", + "kind": "blob", + "oid": "6c113c70e64e8e28b6be7b117cd640e69be585e0" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A3446.json": { + "mode": "100644", + "kind": "blob", + "oid": "b247de4ebc7a2d0025e8f040db2542ae789d57fb" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A3447.json": { + "mode": "100644", + "kind": "blob", + "oid": "cf3d2da223a9862ab8ede764d8780415977ca01e" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A3448.json": { + "mode": "100644", + "kind": "blob", + "oid": "891fb94e45d1281d471d5286375531bbee184705" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A3449.json": { + "mode": "100644", + "kind": "blob", + "oid": "afa69ac894ae32ffe34ec67279aa01ff7ff43ee9" + }, + "research/t74-split-key-kernel-search/data/strict/sk-A3450.json": { + "mode": "100644", + "kind": "blob", + "oid": "a2d805048f62b729e5e0f86d70def67c053a712d" + }, + "research/t74-split-key-kernel-search/data/strict/sk-B1.json": { + "mode": "100644", + "kind": "blob", + "oid": "791bb43e039a4617479fa302561e1967fea3c178" + }, + "research/t74-split-key-kernel-search/data/strict/sk-B1177.json": { + "mode": "100644", + "kind": "blob", + "oid": "f4235d8204a769760777a31f4516ac33bf8baef7" + }, + "research/t74-split-key-kernel-search/data/strict/sk-B1178.json": { + "mode": "100644", + "kind": "blob", + "oid": "0469712c8d27cc70a8993c6cca7736689d7736b0" + }, + "research/t74-split-key-kernel-search/data/strict/sk-B1185.json": { + "mode": "100644", + "kind": "blob", + "oid": "d6ea5c9326aedabb5c34fe648aa6e503ede0f6c1" + }, + "research/t74-split-key-kernel-search/data/strict/sk-B1186.json": { + "mode": "100644", + "kind": "blob", + "oid": "63a8514e747cc2a9609a412991d058b23a4e7ae2" + }, + "research/t74-split-key-kernel-search/data/strict/sk-B12.json": { + "mode": "100644", + "kind": "blob", + "oid": "eb0bd9f1181965f2128607d7ea5474370cec4ae2" + }, + "research/t74-split-key-kernel-search/data/strict/sk-B16.json": { + "mode": "100644", + "kind": "blob", + "oid": "f2e215c4a537dbf127b84f81c2ff83b082a97f65" + }, + "research/t74-split-key-kernel-search/data/strict/sk-B20.json": { + "mode": "100644", + "kind": "blob", + "oid": "093452f58c5ba341faec7d24b4f8ca204c209c54" + }, + "research/t74-split-key-kernel-search/data/strict/sk-B24.json": { + "mode": "100644", + "kind": "blob", + "oid": "803ef98b2411daf9caf82f378b2c3f0d7c527920" + }, + "research/t74-split-key-kernel-search/data/strict/sk-B28.json": { + "mode": "100644", + "kind": "blob", + "oid": "ef8bb400c294b3799c9cde1c497d8cbb9317d18c" + }, + "research/t74-split-key-kernel-search/data/strict/sk-B3.json": { + "mode": "100644", + "kind": "blob", + "oid": "880feaddfe8de34bfee79c35886629f0e650a852" + }, + "research/t74-split-key-kernel-search/data/strict/sk-B32.json": { + "mode": "100644", + "kind": "blob", + "oid": "09e727067083333e62c07103b11730897f0eafbb" + }, + "research/t74-split-key-kernel-search/data/strict/sk-B36.json": { + "mode": "100644", + "kind": "blob", + "oid": "c00a606121daab3035e350a3197a406581222364" + }, + "research/t74-split-key-kernel-search/data/strict/sk-B39.json": { + "mode": "100644", + "kind": "blob", + "oid": "d49c7d492ebc20fcccd063586821668255db8b07" + }, + "research/t74-split-key-kernel-search/data/strict/sk-B44.json": { + "mode": "100644", + "kind": "blob", + "oid": "0fda515dc18c89ac2b6f3078472cb654b86ca08a" + }, + "research/t74-split-key-kernel-search/data/strict/sk-B45.json": { + "mode": "100644", + "kind": "blob", + "oid": "f3f1700348dc3d6edbbdb3f0437512f4b24306a0" + }, + "research/t74-split-key-kernel-search/data/strict/sk-B49.json": { + "mode": "100644", + "kind": "blob", + "oid": "14ed0ee625cdec227e5bfa3df72a177d96e25607" + }, + "research/t74-split-key-kernel-search/data/strict/sk-B50.json": { + "mode": "100644", + "kind": "blob", + "oid": "85d8d3d65783525592e76ecc4e00d729dd93c5f8" + }, + "research/t74-split-key-kernel-search/data/strict/sk-B52.json": { + "mode": "100644", + "kind": "blob", + "oid": "0dc2e89a7d6d401cd543965a44f6fe491b018610" + }, + "research/t74-split-key-kernel-search/data/strict/sk-B783.json": { + "mode": "100644", + "kind": "blob", + "oid": "0e3bbe79732bb9b1ea3ab7531399c90cfab48f56" + }, + "research/t74-split-key-kernel-search/data/strict/sk-B8.json": { + "mode": "100644", + "kind": "blob", + "oid": "0c62f85203054a38037705fe049bfecfa79fa027" + }, + "research/t74-split-key-kernel-search/data/strict/sk-B802.json": { + "mode": "100644", + "kind": "blob", + "oid": "82a2722666a6afddde404183b1bb267585491c17" + }, + "research/t74-split-key-kernel-search/data/strict/sk-B822.json": { + "mode": "100644", + "kind": "blob", + "oid": "e1911417d0a51fc0ee1b658054a978c5bd58f821" + }, + "research/t74-split-key-kernel-search/data/strict/sk-B840.json": { + "mode": "100644", + "kind": "blob", + "oid": "edca0b071f9e73201ca187638f682e529c2a080a" + }, + "research/t74-split-key-kernel-search/data/strict/sk-B857.json": { + "mode": "100644", + "kind": "blob", + "oid": "e39aeb76f83242c7c4e63a3562726dc6fef84e19" + }, + "research/t74-split-key-kernel-search/data/strict/sk-B858.json": { + "mode": "100644", + "kind": "blob", + "oid": "55884f995657089386ca180cd963906cabb39bd9" + }, + "research/t74-split-key-kernel-search/data/strict/sk-B875.json": { + "mode": "100644", + "kind": "blob", + "oid": "640eb483793b89121ef43a0f34b70709d39b580d" + }, + "research/t74-split-key-kernel-search/data/strict/sk-B876.json": { + "mode": "100644", + "kind": "blob", + "oid": "01e427e835d4bf81e3dd92f8f6501a447625e25d" + }, + "research/t74-split-key-kernel-search/tools/manifest.py": { + "mode": "100644", + "kind": "blob", + "oid": "a6d34836913c83c8d050255563e787b09fcaf37d" + }, + "research/t74-split-key-kernel-search/tools/skkernel.py": { + "mode": "100644", + "kind": "blob", + "oid": "9b180f42014e1c25876d5b595405ba920a6184e1" + }, + "research/t74-split-key-kernel-search/tools/summarize.py": { + "mode": "100644", + "kind": "blob", + "oid": "531a2f3a6d9893032ea43fda0e7a488a21e277a0" + }, + "research/t74-split-key-kernel-search/verify.py": { + "mode": "100644", + "kind": "blob", + "oid": "a311fab7fb5af7224c65205705e3edc4b6d599af" + } + }, + "base_path_comparison": { + "exact_paths": [], + "changed_paths": [], + "absent_paths": [ + "research/t74-split-key-kernel-search/MANIFEST.json", + "research/t74-split-key-kernel-search/README.md", + "research/t74-split-key-kernel-search/RESULTS.json", + "research/t74-split-key-kernel-search/SOURCES.json", + "research/t74-split-key-kernel-search/TASK.json", + "research/t74-split-key-kernel-search/VERIFY.json", + "research/t74-split-key-kernel-search/data/control/sk-B342.json", + "research/t74-split-key-kernel-search/data/diagnostic/sk-B783.json", + "research/t74-split-key-kernel-search/data/diagnostic/sk-B802.json", + "research/t74-split-key-kernel-search/data/logs/control-step0-B342.txt", + "research/t74-split-key-kernel-search/data/logs/diagnostic-B783.txt", + "research/t74-split-key-kernel-search/data/logs/diagnostic-B802.txt", + "research/t74-split-key-kernel-search/data/logs/strict-B783.txt", + "research/t74-split-key-kernel-search/data/logs/strict-B802.txt", + "research/t74-split-key-kernel-search/data/logs/strict-a8857-rerun-log3439.txt", + "research/t74-split-key-kernel-search/data/logs/strict-a8857-rerun-log3440.txt", + "research/t74-split-key-kernel-search/data/logs/strict-a8857-rerun-log3441.txt", + "research/t74-split-key-kernel-search/data/logs/strict-a8857-rerun-log3442.txt", + "research/t74-split-key-kernel-search/data/logs/strict-a8857-round1-log0.txt", + "research/t74-split-key-kernel-search/data/logs/strict-a8857-round1-log1.txt", + "research/t74-split-key-kernel-search/data/logs/strict-a8857-round1-log2.txt", + "research/t74-split-key-kernel-search/data/logs/strict-a8857-round1-log3.txt", + "research/t74-split-key-kernel-search/data/logs/strict-a8857-round2-log0.txt", + "research/t74-split-key-kernel-search/data/logs/strict-a8857-round2-log1.txt", + "research/t74-split-key-kernel-search/data/logs/strict-a8857-round2-log2.txt", + "research/t74-split-key-kernel-search/data/logs/strict-a8857-round2-log3.txt", + "research/t74-split-key-kernel-search/data/logs/strict-a8857-round2-log4.txt", + "research/t74-split-key-kernel-search/data/logs/strict-a8857-round2-log5.txt", + "research/t74-split-key-kernel-search/data/logs/strict-a8857-round2-log6.txt", + "research/t74-split-key-kernel-search/data/logs/strict-a8857-round2-log7.txt", + "research/t74-split-key-kernel-search/data/logs/strict-a8857-round2-log8.txt", + "research/t74-split-key-kernel-search/data/logs/strict-a8857-round2-log9.txt", + "research/t74-split-key-kernel-search/data/logs/strict-b4913-log0.txt", + "research/t74-split-key-kernel-search/data/logs/strict-b4913-log1.txt", + "research/t74-split-key-kernel-search/data/logs/strict-b4913-log2.txt", + "research/t74-split-key-kernel-search/data/logs/strict-b4913-log3.txt", + "research/t74-split-key-kernel-search/data/logs/strict-b4913-log4.txt", + "research/t74-split-key-kernel-search/data/logs/strict-b4913-log5.txt", + "research/t74-split-key-kernel-search/data/logs/strict-batch1-log0.txt", + "research/t74-split-key-kernel-search/data/logs/strict-batch1-log1.txt", + "research/t74-split-key-kernel-search/data/logs/strict-batch1-log2.txt", + "research/t74-split-key-kernel-search/data/logs/strict-batch1-log3.txt", + "research/t74-split-key-kernel-search/data/relaxation-A-rest.json", + "research/t74-split-key-kernel-search/data/strict/sk-A1215.json", + "research/t74-split-key-kernel-search/data/strict/sk-A1216.json", + "research/t74-split-key-kernel-search/data/strict/sk-A1217.json", + "research/t74-split-key-kernel-search/data/strict/sk-A1218.json", + "research/t74-split-key-kernel-search/data/strict/sk-A1219.json", + "research/t74-split-key-kernel-search/data/strict/sk-A1220.json", + "research/t74-split-key-kernel-search/data/strict/sk-A1221.json", + "research/t74-split-key-kernel-search/data/strict/sk-A1222.json", + "research/t74-split-key-kernel-search/data/strict/sk-A1223.json", + "research/t74-split-key-kernel-search/data/strict/sk-A1224.json", + "research/t74-split-key-kernel-search/data/strict/sk-A1225.json", + "research/t74-split-key-kernel-search/data/strict/sk-A1226.json", + "research/t74-split-key-kernel-search/data/strict/sk-A1227.json", + "research/t74-split-key-kernel-search/data/strict/sk-A1228.json", + "research/t74-split-key-kernel-search/data/strict/sk-A1229.json", + "research/t74-split-key-kernel-search/data/strict/sk-A1230.json", + "research/t74-split-key-kernel-search/data/strict/sk-A1231.json", + "research/t74-split-key-kernel-search/data/strict/sk-A1232.json", + "research/t74-split-key-kernel-search/data/strict/sk-A1233.json", + "research/t74-split-key-kernel-search/data/strict/sk-A1234.json", + "research/t74-split-key-kernel-search/data/strict/sk-A1235.json", + "research/t74-split-key-kernel-search/data/strict/sk-A1236.json", + "research/t74-split-key-kernel-search/data/strict/sk-A1237.json", + "research/t74-split-key-kernel-search/data/strict/sk-A1238.json", + "research/t74-split-key-kernel-search/data/strict/sk-A1239.json", + "research/t74-split-key-kernel-search/data/strict/sk-A1240.json", + "research/t74-split-key-kernel-search/data/strict/sk-A1241.json", + "research/t74-split-key-kernel-search/data/strict/sk-A1242.json", + "research/t74-split-key-kernel-search/data/strict/sk-A1243.json", + "research/t74-split-key-kernel-search/data/strict/sk-A1244.json", + "research/t74-split-key-kernel-search/data/strict/sk-A1245.json", + "research/t74-split-key-kernel-search/data/strict/sk-A1246.json", + "research/t74-split-key-kernel-search/data/strict/sk-A3403.json", + "research/t74-split-key-kernel-search/data/strict/sk-A3404.json", + "research/t74-split-key-kernel-search/data/strict/sk-A3405.json", + "research/t74-split-key-kernel-search/data/strict/sk-A3406.json", + "research/t74-split-key-kernel-search/data/strict/sk-A3407.json", + "research/t74-split-key-kernel-search/data/strict/sk-A3408.json", + "research/t74-split-key-kernel-search/data/strict/sk-A3409.json", + "research/t74-split-key-kernel-search/data/strict/sk-A3410.json", + "research/t74-split-key-kernel-search/data/strict/sk-A3411.json", + "research/t74-split-key-kernel-search/data/strict/sk-A3412.json", + "research/t74-split-key-kernel-search/data/strict/sk-A3413.json", + "research/t74-split-key-kernel-search/data/strict/sk-A3414.json", + "research/t74-split-key-kernel-search/data/strict/sk-A3415.json", + "research/t74-split-key-kernel-search/data/strict/sk-A3416.json", + "research/t74-split-key-kernel-search/data/strict/sk-A3417.json", + "research/t74-split-key-kernel-search/data/strict/sk-A3418.json", + "research/t74-split-key-kernel-search/data/strict/sk-A3419.json", + "research/t74-split-key-kernel-search/data/strict/sk-A3420.json", + "research/t74-split-key-kernel-search/data/strict/sk-A3421.json", + "research/t74-split-key-kernel-search/data/strict/sk-A3422.json", + "research/t74-split-key-kernel-search/data/strict/sk-A3423.json", + "research/t74-split-key-kernel-search/data/strict/sk-A3424.json", + "research/t74-split-key-kernel-search/data/strict/sk-A3425.json", + "research/t74-split-key-kernel-search/data/strict/sk-A3426.json", + "research/t74-split-key-kernel-search/data/strict/sk-A3427.json", + "research/t74-split-key-kernel-search/data/strict/sk-A3428.json", + "research/t74-split-key-kernel-search/data/strict/sk-A3429.json", + "research/t74-split-key-kernel-search/data/strict/sk-A3430.json", + "research/t74-split-key-kernel-search/data/strict/sk-A3431.json", + "research/t74-split-key-kernel-search/data/strict/sk-A3432.json", + "research/t74-split-key-kernel-search/data/strict/sk-A3433.json", + "research/t74-split-key-kernel-search/data/strict/sk-A3434.json", + "research/t74-split-key-kernel-search/data/strict/sk-A3435.json", + "research/t74-split-key-kernel-search/data/strict/sk-A3436.json", + "research/t74-split-key-kernel-search/data/strict/sk-A3437.json", + "research/t74-split-key-kernel-search/data/strict/sk-A3438.json", + "research/t74-split-key-kernel-search/data/strict/sk-A3439.json", + "research/t74-split-key-kernel-search/data/strict/sk-A3440.json", + "research/t74-split-key-kernel-search/data/strict/sk-A3441.json", + "research/t74-split-key-kernel-search/data/strict/sk-A3442.json", + "research/t74-split-key-kernel-search/data/strict/sk-A3443.json", + "research/t74-split-key-kernel-search/data/strict/sk-A3444.json", + "research/t74-split-key-kernel-search/data/strict/sk-A3445.json", + "research/t74-split-key-kernel-search/data/strict/sk-A3446.json", + "research/t74-split-key-kernel-search/data/strict/sk-A3447.json", + "research/t74-split-key-kernel-search/data/strict/sk-A3448.json", + "research/t74-split-key-kernel-search/data/strict/sk-A3449.json", + "research/t74-split-key-kernel-search/data/strict/sk-A3450.json", + "research/t74-split-key-kernel-search/data/strict/sk-B1.json", + "research/t74-split-key-kernel-search/data/strict/sk-B1177.json", + "research/t74-split-key-kernel-search/data/strict/sk-B1178.json", + "research/t74-split-key-kernel-search/data/strict/sk-B1185.json", + "research/t74-split-key-kernel-search/data/strict/sk-B1186.json", + "research/t74-split-key-kernel-search/data/strict/sk-B12.json", + "research/t74-split-key-kernel-search/data/strict/sk-B16.json", + "research/t74-split-key-kernel-search/data/strict/sk-B20.json", + "research/t74-split-key-kernel-search/data/strict/sk-B24.json", + "research/t74-split-key-kernel-search/data/strict/sk-B28.json", + "research/t74-split-key-kernel-search/data/strict/sk-B3.json", + "research/t74-split-key-kernel-search/data/strict/sk-B32.json", + "research/t74-split-key-kernel-search/data/strict/sk-B36.json", + "research/t74-split-key-kernel-search/data/strict/sk-B39.json", + "research/t74-split-key-kernel-search/data/strict/sk-B44.json", + "research/t74-split-key-kernel-search/data/strict/sk-B45.json", + "research/t74-split-key-kernel-search/data/strict/sk-B49.json", + "research/t74-split-key-kernel-search/data/strict/sk-B50.json", + "research/t74-split-key-kernel-search/data/strict/sk-B52.json", + "research/t74-split-key-kernel-search/data/strict/sk-B783.json", + "research/t74-split-key-kernel-search/data/strict/sk-B8.json", + "research/t74-split-key-kernel-search/data/strict/sk-B802.json", + "research/t74-split-key-kernel-search/data/strict/sk-B822.json", + "research/t74-split-key-kernel-search/data/strict/sk-B840.json", + "research/t74-split-key-kernel-search/data/strict/sk-B857.json", + "research/t74-split-key-kernel-search/data/strict/sk-B858.json", + "research/t74-split-key-kernel-search/data/strict/sk-B875.json", + "research/t74-split-key-kernel-search/data/strict/sk-B876.json", + "research/t74-split-key-kernel-search/tools/manifest.py", + "research/t74-split-key-kernel-search/tools/skkernel.py", + "research/t74-split-key-kernel-search/tools/summarize.py", + "research/t74-split-key-kernel-search/verify.py" + ] + }, + "identical_mode_and_blob_elsewhere_in_base": [] + }, + "later_I_resolve": { + "commit": "23b9ce546f6978bc017d2a970a7fc2b1f96ef6b0", + "prefix": "research/t74-local-word-rounds4-7/r6/agents/I-resolve/", + "subtree": "e5c42d52007097693f8ca22efdde9f645afaf49d", + "file_count": 97, + "inventory": { + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/EVIDENCE.json": { + "mode": "100644", + "kind": "blob", + "oid": "34e5533dddce42648adcf5d830bbee012fe15b6f" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/FINDINGS.md": { + "mode": "100644", + "kind": "blob", + "oid": "2374acd2a16aed3e3a65c3bbfc59c985f90bff31" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/cal-783/log.txt": { + "mode": "100644", + "kind": "blob", + "oid": "3e0ced92372cf2ee3ae7901474ca9d1e6385790a" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/cal-783/lp_solution.npz": { + "mode": "100644", + "kind": "blob", + "oid": "eab6460e8134b8d2685f02703f26c1d599129b7c" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/cal-783/out.json": { + "mode": "100644", + "kind": "blob", + "oid": "567c3ec84d180f1612a45cac8c5e45fea38fd15f" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/cal-783/system.npz": { + "mode": "100644", + "kind": "blob", + "oid": "01b5c38bd2ec31b713c5077e9b8d454091fa37d3" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/cal-783D/log.txt": { + "mode": "100644", + "kind": "blob", + "oid": "a0184254f0704eb018d83e15cd5e7bb84b51ee9e" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/cal-783D/lp_solution.npz": { + "mode": "100644", + "kind": "blob", + "oid": "030451bc78060e18b5ccc3d09f8c34b23c0edaa3" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/cal-783D/out.json": { + "mode": "100644", + "kind": "blob", + "oid": "9c0530f146942ed39d4919a50f5cda2f9ecf12af" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/cal-783D/system.npz": { + "mode": "100644", + "kind": "blob", + "oid": "19acfa33afd59cae5ffdd69d76ada83526b7d16a" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/cal-k554/log.txt": { + "mode": "100644", + "kind": "blob", + "oid": "55e1eafcd3d56af18f15d233625eb1df302384c7" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/cal-k554/lp_solution.npz": { + "mode": "100644", + "kind": "blob", + "oid": "7ed086f16b9eb4795e6ea1959d90a1fabe7901a7" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/cal-k554/out.json": { + "mode": "100644", + "kind": "blob", + "oid": "76d055dbc8b2e623bdc83bc5a02d3de2628e31dc" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/cal-k554/system.npz": { + "mode": "100644", + "kind": "blob", + "oid": "3599c79dcb2b2bfd1a66a39a1d096c3abf2fca2c" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/nd783D/log.txt": { + "mode": "100644", + "kind": "blob", + "oid": "4072d5a1167fb137532833c5500180c5cebd619a" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/nd783D/out.json": { + "mode": "100644", + "kind": "blob", + "oid": "8f6d45fd546d54c7cc82f44c8682361da3c73c7a" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/nd783D/system.npz": { + "mode": "100644", + "kind": "blob", + "oid": "17eeada10876483e08c426d0184c9cef642c1064" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/nd822A/log.txt": { + "mode": "100644", + "kind": "blob", + "oid": "d50e731268832b23e3232226f210f245773675ef" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/nd822A/out.json": { + "mode": "100644", + "kind": "blob", + "oid": "2a159425e4c12d81bfab636d75fd3718adfe4d97" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/nd822U/OVR-D.json": { + "mode": "100644", + "kind": "blob", + "oid": "8257883d741411cb768ec4df19c43e754e73ed0b" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/nd822U/OVR-corrected.json": { + "mode": "100644", + "kind": "blob", + "oid": "a090e0baff044200d571b89f4f1f5cb0094e73a4" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/nd822U/log.txt": { + "mode": "100644", + "kind": "blob", + "oid": "27fa2362f9ea88a4c2b9dc5114a6b795d6e748c5" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/nd822U/out.json": { + "mode": "100644", + "kind": "blob", + "oid": "3fa110a3c28ec7f70e4d5932b06ede0e793d9958" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/nd840U/OVR-D.json": { + "mode": "100644", + "kind": "blob", + "oid": "711f0890527f014d5c99fea01d394292c5d4cb1b" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/nd840U/OVR-corrected.json": { + "mode": "100644", + "kind": "blob", + "oid": "37bcb9a66453743ce1a09b3bbb52ede401aca315" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/nd840U/log.txt": { + "mode": "100644", + "kind": "blob", + "oid": "8b13a186e6e124a5dd15aa80cc9a29e7f0dd23ca" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/nd840U/out.json": { + "mode": "100644", + "kind": "blob", + "oid": "3b70cab99ac89550853afd11b4a3164e9b9dbedf" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/nd858U/OVR-D.json": { + "mode": "100644", + "kind": "blob", + "oid": "77731815e6517518e1bb7a06ccdb9f1ccc7ea970" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/nd858U/OVR-corrected.json": { + "mode": "100644", + "kind": "blob", + "oid": "e014722d60fd92f62a7c8e8e9779ef87a90f9065" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/nd858U/log.txt": { + "mode": "100644", + "kind": "blob", + "oid": "b2220ee6127405e0bdedaf2aaab1801f67a6e78b" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/nd858U/out.json": { + "mode": "100644", + "kind": "blob", + "oid": "f537fae335cba16dc6d4720ea02ca98c329cd203" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/nd876U/OVR-D.json": { + "mode": "100644", + "kind": "blob", + "oid": "3fe67ff198992a57b3e8cdd8433a2114f35187f9" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/nd876U/OVR-corrected.json": { + "mode": "100644", + "kind": "blob", + "oid": "6639ac5d550a2aa9147a31c407f8f09b491383f6" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/nd876U/log.txt": { + "mode": "100644", + "kind": "blob", + "oid": "b5ecd537f248f927ec42141c9b0f8c5ad5db916b" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/nd876U/out.json": { + "mode": "100644", + "kind": "blob", + "oid": "d6c4956ea1725a612c541f16ebaece834372803a" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/ndk554/log.txt": { + "mode": "100644", + "kind": "blob", + "oid": "582444cab5bc805c0747d6fcf37f3a446875ff65" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/ndk554/out.json": { + "mode": "100644", + "kind": "blob", + "oid": "f5782839624f6a002340de252ecce4fec5206a82" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/ndk554/system.npz": { + "mode": "100644", + "kind": "blob", + "oid": "3e599649cf883da0ccb4073a92c14a8595e8bd59" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg-cal783/ROWGEN.json": { + "mode": "100644", + "kind": "blob", + "oid": "4a1c19303a9beb838f81d64f4194d7aedf30946b" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg-cal783/log.txt": { + "mode": "100644", + "kind": "blob", + "oid": "6304b2b0f1d06c18d5c5a48340a70b104b238026" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg822A/PRICED.json": { + "mode": "100644", + "kind": "blob", + "oid": "b1117eed5315d56d07719824fc5e364540121e34" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg822A/ROWGEN.json": { + "mode": "100644", + "kind": "blob", + "oid": "5093705445d542615931390762bd7ba1595cb5e0" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg822A/log.txt": { + "mode": "100644", + "kind": "blob", + "oid": "a9467885a191c1b60aadb5ada1e9d8951585ba8f" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg822C/ROWGEN.json": { + "mode": "100644", + "kind": "blob", + "oid": "586cf5a6985c2f29fdcffef6b6fbd17b53d8e072" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg822C/VERIFY.json": { + "mode": "100644", + "kind": "blob", + "oid": "a7ca8dfcb14058db8a8fd2ab55f7a5433f53ccb5" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg822C/log.txt": { + "mode": "100644", + "kind": "blob", + "oid": "25258721a2d7507fa8a907271f75f64defedac9a" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg822D/ROWGEN.json": { + "mode": "100644", + "kind": "blob", + "oid": "8d90bcd29a2c827102ae5b603bbf349369d4731a" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg822D/VERIFY.json": { + "mode": "100644", + "kind": "blob", + "oid": "1a3023e15224020db9a68c9b13532296793ee86a" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg822D/log.txt": { + "mode": "100644", + "kind": "blob", + "oid": "585445b50ff27541edf58c20906a0b6894ebec60" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg840C/ROWGEN.json": { + "mode": "100644", + "kind": "blob", + "oid": "90146a5912b47a3d0dfcccab844ec4cde8dd43bc" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg840C/VERIFY.json": { + "mode": "100644", + "kind": "blob", + "oid": "9ea7b0096266365783c6861c1684b8368dca60f4" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg840C/log.txt": { + "mode": "100644", + "kind": "blob", + "oid": "f7f89474c7919699008afaf218625094f77a971b" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg840D/ROWGEN.json": { + "mode": "100644", + "kind": "blob", + "oid": "9d85cbe3ffa40f0e02bf7e4ce13d52c579b29a0f" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg840D/VERIFY.json": { + "mode": "100644", + "kind": "blob", + "oid": "d4ed47ba9602c13cf9a992f5d0299acd3d11feda" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg840D/log.txt": { + "mode": "100644", + "kind": "blob", + "oid": "1d4c048d0708e524f16cffcf278aba6617a70c32" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg858C/ROWGEN.json": { + "mode": "100644", + "kind": "blob", + "oid": "3595d433bfc0c0af5202714b3275d375241bca18" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg858C/VERIFY.json": { + "mode": "100644", + "kind": "blob", + "oid": "8d112f445197657c87505a2e93b91940743b634d" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg858C/log.txt": { + "mode": "100644", + "kind": "blob", + "oid": "ad33c2d593bef1df1c7748e0622bd960a90e65ef" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg858D/ROWGEN.json": { + "mode": "100644", + "kind": "blob", + "oid": "620d2492fa5c0f372d1e54570d262f0a1d252ffd" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg858D/VERIFY.json": { + "mode": "100644", + "kind": "blob", + "oid": "52bffb30b39eb18190cd962a01bb461149181fd1" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg858D/log.txt": { + "mode": "100644", + "kind": "blob", + "oid": "28932cd0ad25d82853aed04d5b08156c2411703d" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg876C/ROWGEN.json": { + "mode": "100644", + "kind": "blob", + "oid": "32a52e5eb41c34b9f1b54e4771f7d42c6b25e7fc" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg876C/VERIFY.json": { + "mode": "100644", + "kind": "blob", + "oid": "129b56d91561c638573380867352f297cf19b86f" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg876C/log.txt": { + "mode": "100644", + "kind": "blob", + "oid": "b68622aaec28c9252df0f1206179eb0238331a07" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg876D/ROWGEN.json": { + "mode": "100644", + "kind": "blob", + "oid": "2bdfad60a94f1b01a7285bffbbd0d188baa89444" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg876D/VERIFY.json": { + "mode": "100644", + "kind": "blob", + "oid": "d0060f720c65fde8232ca36d50bf21de5c235851" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg876D/log.txt": { + "mode": "100644", + "kind": "blob", + "oid": "ce99be77e50d2e401a0d942f5b3f9c95218dc23c" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rgb-cal783/ROWGEN.json": { + "mode": "100644", + "kind": "blob", + "oid": "78aac24e6d9555b890bb32212e3388225eb70627" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rgb-cal783/VERIFY.json": { + "mode": "100644", + "kind": "blob", + "oid": "b76a663db58028caf8bccee73bc86bee163cd258" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rgb-cal783/log.txt": { + "mode": "100644", + "kind": "blob", + "oid": "63a1d95d93e235b79300c1e1319ecc4f2923a36d" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rgb-k554/ROWGEN.json": { + "mode": "100644", + "kind": "blob", + "oid": "f66e865a868956bef4a5007d0c45f6c3ad849ef5" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rgb-k554/log.txt": { + "mode": "100644", + "kind": "blob", + "oid": "53ad620ff078d674b0475481ed928e077a25a18f" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/s822/SENTINEL.json": { + "mode": "100644", + "kind": "blob", + "oid": "0afa9e4108ed7a2701b826d120dd87846cb6674e" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/s822/log.txt": { + "mode": "100644", + "kind": "blob", + "oid": "4032c74a664aa11f406ffcb5ed7ddac5baebec3b" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/s840/SENTINEL.json": { + "mode": "100644", + "kind": "blob", + "oid": "110a0f5c50b5e7623eedc08eaf66f1ee0bebbc85" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/s840/log.txt": { + "mode": "100644", + "kind": "blob", + "oid": "1f95e2ca0c516f369fcbc6d3534fc867b562af2a" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/s858/SENTINEL.json": { + "mode": "100644", + "kind": "blob", + "oid": "5fbad5f6de0633c02dbaeda13df50d2b0071634f" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/s858/log.txt": { + "mode": "100644", + "kind": "blob", + "oid": "4946b802e8e2afff3087bf6d7977008cb07304de" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/s876/SENTINEL.json": { + "mode": "100644", + "kind": "blob", + "oid": "e2e8c9c25319b7c6fb15f150c6fcea52ee7781d3" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/s876/log.txt": { + "mode": "100644", + "kind": "blob", + "oid": "e821da9934112ee2b97927c6f6cdf91b1bc693ed" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/t822D/log.txt": { + "mode": "100644", + "kind": "blob", + "oid": "a6cd07c89ee315d2d636ac29b8ce05e447314461" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/t822U/OVERRIDE.json": { + "mode": "100644", + "kind": "blob", + "oid": "176200c9473961784087f50f778fa9b385f6eb17" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/t822U/log.txt": { + "mode": "100644", + "kind": "blob", + "oid": "73feef6f8738b1b8ee5ec29da2ea3bf78972780e" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/t822U/out.json": { + "mode": "100644", + "kind": "blob", + "oid": "9548efbb138416d8a0c70024af4abc17a21e011e" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/scripts/blane.sh": { + "mode": "100644", + "kind": "blob", + "oid": "bdc3d0a2cf363325b81bdb330f34f99ac3910679" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/scripts/evidence.py": { + "mode": "100644", + "kind": "blob", + "oid": "b4c3125f9b154fbbf1ff949cda37409f274f38d5" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/scripts/lane.sh": { + "mode": "100644", + "kind": "blob", + "oid": "8ce774f43443941d4477bf3f83b17d45bbcb0865" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/scripts/lpcert.py": { + "mode": "100644", + "kind": "blob", + "oid": "9c9c2bc252a99fbdc39e3ac9f5b2cb1172a83ee4" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/scripts/override.py": { + "mode": "100644", + "kind": "blob", + "oid": "ab21024781ba39dcf87d158f6190384906a29d29" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/scripts/price_props.py": { + "mode": "100644", + "kind": "blob", + "oid": "d433a6b9064b4fb3a9b7bf1553e540bc6785a9a5" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/scripts/rlane.sh": { + "mode": "100644", + "kind": "blob", + "oid": "8ea7d80b1916eb4216477b9e2f03b481c90c7cee" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/scripts/rlane2.sh": { + "mode": "100644", + "kind": "blob", + "oid": "cb1c5c6c7f058c0d453a74e340b91e4be7273e52" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/scripts/rowgen.py": { + "mode": "100644", + "kind": "blob", + "oid": "88405752471fe2fc1ca8a2e8bfdb287f060dd444" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/scripts/sentinel.py": { + "mode": "100644", + "kind": "blob", + "oid": "7d3628e28f16467e60cd488fcfb18e109ff289d8" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/scripts/settle.sh": { + "mode": "100644", + "kind": "blob", + "oid": "b1b4424e09d13f0baaff88a0235e02ca61c77968" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/scripts/slane.sh": { + "mode": "100644", + "kind": "blob", + "oid": "5547d146cf3535cd08a7214147288b5f3c261a41" + }, + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/scripts/verify_small.py": { + "mode": "100644", + "kind": "blob", + "oid": "a8ac6dae2d2a19f91563aa5b28fde8b678307fae" + } + }, + "base_path_comparison": { + "exact_paths": [], + "changed_paths": [], + "absent_paths": [ + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/EVIDENCE.json", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/FINDINGS.md", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/cal-783/log.txt", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/cal-783/lp_solution.npz", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/cal-783/out.json", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/cal-783/system.npz", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/cal-783D/log.txt", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/cal-783D/lp_solution.npz", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/cal-783D/out.json", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/cal-783D/system.npz", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/cal-k554/log.txt", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/cal-k554/lp_solution.npz", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/cal-k554/out.json", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/cal-k554/system.npz", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/nd783D/log.txt", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/nd783D/out.json", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/nd783D/system.npz", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/nd822A/log.txt", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/nd822A/out.json", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/nd822U/OVR-D.json", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/nd822U/OVR-corrected.json", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/nd822U/log.txt", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/nd822U/out.json", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/nd840U/OVR-D.json", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/nd840U/OVR-corrected.json", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/nd840U/log.txt", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/nd840U/out.json", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/nd858U/OVR-D.json", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/nd858U/OVR-corrected.json", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/nd858U/log.txt", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/nd858U/out.json", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/nd876U/OVR-D.json", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/nd876U/OVR-corrected.json", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/nd876U/log.txt", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/nd876U/out.json", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/ndk554/log.txt", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/ndk554/out.json", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/ndk554/system.npz", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg-cal783/ROWGEN.json", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg-cal783/log.txt", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg822A/PRICED.json", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg822A/ROWGEN.json", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg822A/log.txt", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg822C/ROWGEN.json", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg822C/VERIFY.json", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg822C/log.txt", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg822D/ROWGEN.json", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg822D/VERIFY.json", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg822D/log.txt", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg840C/ROWGEN.json", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg840C/VERIFY.json", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg840C/log.txt", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg840D/ROWGEN.json", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg840D/VERIFY.json", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg840D/log.txt", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg858C/ROWGEN.json", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg858C/VERIFY.json", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg858C/log.txt", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg858D/ROWGEN.json", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg858D/VERIFY.json", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg858D/log.txt", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg876C/ROWGEN.json", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg876C/VERIFY.json", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg876C/log.txt", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg876D/ROWGEN.json", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg876D/VERIFY.json", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rg876D/log.txt", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rgb-cal783/ROWGEN.json", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rgb-cal783/VERIFY.json", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rgb-cal783/log.txt", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rgb-k554/ROWGEN.json", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/rgb-k554/log.txt", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/s822/SENTINEL.json", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/s822/log.txt", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/s840/SENTINEL.json", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/s840/log.txt", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/s858/SENTINEL.json", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/s858/log.txt", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/s876/SENTINEL.json", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/s876/log.txt", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/t822D/log.txt", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/t822U/OVERRIDE.json", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/t822U/log.txt", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/runs/t822U/out.json", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/scripts/blane.sh", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/scripts/evidence.py", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/scripts/lane.sh", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/scripts/lpcert.py", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/scripts/override.py", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/scripts/price_props.py", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/scripts/rlane.sh", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/scripts/rlane2.sh", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/scripts/rowgen.py", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/scripts/sentinel.py", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/scripts/settle.sh", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/scripts/slane.sh", + "research/t74-local-word-rounds4-7/r6/agents/I-resolve/scripts/verify_small.py" + ] + }, + "identical_mode_and_blob_elsewhere_in_base": [] + } + }, + "pr1957_disposition_at_base": { + "number": 1957, + "metadata": { + "number": 1957, + "title": "Research: local-move exhaustion on the pivot-566+554 T74 supplier (0 gains in 4,461 exact moves, 107 compensation searches) and idle-optimal 249/417 dispatch (no new kappa)", + "author": { + "id": "MDQ6VXNlcjExNjU5ODM5", + "is_bot": false, + "login": "rohanarun", + "name": "" + }, + "headRefOid": "e6a4d34874bb1aeba192c62629ebb633a6b5c424", + "isDraft": false + }, + "reviewed_head": "e6a4d34874bb1aeba192c62629ebb633a6b5c424", + "current_head": "e6a4d34874bb1aeba192c62629ebb633a6b5c424", + "disposition": "partially_reviewed", + "github_state": "OPEN", + "integration_location": [], + "unresolved_question": "Default replay passed, including oracle calibration, sampled frame re-solves, sixteen one-split searches and packing ILPs. The full1797 deletion and4461 commuting-position census still requires the declared full mode (or an independent exhaustive certificate). Leave the full negative claim open; no mathematical rejection is inferred.", + "closure": null, + "scope": "Exact-head local-move package reviewed: deletion/commutation censuses, sampled frame re-solves, compensation oracle and owner-packing ILPs are distinct obligations. The default replay passes after installing OR-Tools; it samples two exhaustive search families and does not replace the declared CPU-hours full replay.", + "ready_to_integrate": false, + "review_completion": { + "changed_file_coverage": false, + "scoped_mechanism_review": false, + "required_execution_complete": false, + "published": false + }, + "verification_evidence": [ + "research/community-efficient1000-audit/packets/1957.json", + "research/community-efficient1000-audit/checks/check-1957.json" + ] + }, + "pr1957_tree_equal_in_pr2142": true, + "pr2142_changed_head": { + "old": "0c5516bf5bfb5c9c4d09446d3b21028032060fec", + "new": "5f2f608451252f3330e0d0d5fc7bca63be9d0400", + "pr1957_tree_equal": true, + "split_key_tree_equal": true + }, + "pr2142_reported_shape_records": { + "B822": { + "ddel": -6100, + "shape": false, + "ncand": 15903, + "res": [] + }, + "B840": { + "ddel": -6100, + "shape": false, + "ncand": 15911, + "res": [] + }, + "B858": { + "ddel": -6100, + "shape": false, + "ncand": 15932, + "res": [] + }, + "B876": { + "ddel": -6100, + "shape": false, + "ncand": 15940, + "res": [] + } + }, + "later_reported_model": "D-depth2 round-1 depth-2 split-key model (gen2.FastRound, cone-aware candidates, per-insert cap = budget = deletion gain - 1, quarter-step |lambda|<=4, <=12 inserts, PR2142 direct interaction ban)", + "later_reported_variants": { + "D": "D-depth2's candidate set exactly (oracle-sentinel 2^60 candidates excluded by its cap)", + "C": "corrected: each sentinel candidate priced exactly as a standalone insert into the deleted word (rigorous frame lower bound); kept at that cost if <= budget, excluded if provably over budget", + "A": "no per-insert cap and all costs 0 (no oracle information); diagnostic only" + }, + "later_reported_targets": { + "B822": { + "ddel": -6118, + "budget": 6117, + "sentinel": { + "n": 54, + "within_budget": 14, + "provably_over_budget": 40, + "statuses": { + "uncertified": 45, + "ok": 9 + } + }, + "reported_variants": { + "D": { + "status": "INFEASIBLE", + "iterations": 2, + "final_rows": 418, + "final_cand": 1405, + "excluded": 54, + "verify": [ + { + "solver": "SCIP", + "ban": true, + "status": "INFEASIBLE", + "seconds": 0.7 + }, + { + "solver": "HIGHS", + "ban": true, + "status": "INFEASIBLE", + "seconds": 1.3 + }, + { + "solver": "SCIP", + "ban": false, + "status": "INFEASIBLE", + "seconds": 0.6 + }, + { + "solver": "HIGHS", + "ban": false, + "status": "INFEASIBLE", + "seconds": 0.3 + } + ] + }, + "C": { + "status": "INFEASIBLE", + "iterations": 2, + "final_rows": 418, + "final_cand": 1407, + "excluded": 40, + "verify": [ + { + "solver": "SCIP", + "ban": true, + "status": "INFEASIBLE", + "seconds": 0.8 + }, + { + "solver": "HIGHS", + "ban": true, + "status": "INFEASIBLE", + "seconds": 1.3 + }, + { + "solver": "SCIP", + "ban": false, + "status": "INFEASIBLE", + "seconds": 0.5 + }, + { + "solver": "HIGHS", + "ban": false, + "status": "INFEASIBLE", + "seconds": 0.3 + } + ] + } + } + }, + "B840": { + "ddel": -6118, + "budget": 6117, + "sentinel": { + "n": 53, + "within_budget": 14, + "provably_over_budget": 39, + "statuses": { + "uncertified": 44, + "ok": 9 + } + }, + "reported_variants": { + "D": { + "status": "INFEASIBLE", + "iterations": 2, + "final_rows": 78, + "final_cand": 10794, + "excluded": 53, + "verify": [ + { + "solver": "SCIP", + "ban": true, + "status": "INFEASIBLE", + "seconds": 66.4 + }, + { + "solver": "HIGHS", + "ban": true, + "status": "INFEASIBLE", + "seconds": 5.3 + } + ] + }, + "C": { + "status": "INFEASIBLE", + "iterations": 2, + "final_rows": 78, + "final_cand": 10802, + "excluded": 39, + "verify": [ + { + "solver": "SCIP", + "ban": true, + "status": "NOT_SOLVED", + "seconds": 240.4 + }, + { + "solver": "HIGHS", + "ban": true, + "status": "INFEASIBLE", + "seconds": 7.0 + } + ] + } + } + }, + "B858": { + "ddel": -6118, + "budget": 6117, + "sentinel": { + "n": 56, + "within_budget": 15, + "provably_over_budget": 41, + "statuses": { + "ok": 56 + } + }, + "reported_variants": { + "D": { + "status": "INFEASIBLE", + "iterations": 2, + "final_rows": 78, + "final_cand": 912, + "excluded": 56, + "verify": [ + { + "solver": "SCIP", + "ban": true, + "status": "NOT_SOLVED", + "seconds": 240.0 + }, + { + "solver": "HIGHS", + "ban": true, + "status": "INFEASIBLE", + "seconds": 29.4 + } + ] + }, + "C": { + "status": "INFEASIBLE", + "iterations": 2, + "final_rows": 78, + "final_cand": 917, + "excluded": 41, + "verify": [ + { + "solver": "SCIP", + "ban": true, + "status": "NOT_SOLVED", + "seconds": 240.0 + }, + { + "solver": "HIGHS", + "ban": true, + "status": "INFEASIBLE", + "seconds": 13.0 + } + ] + } + } + }, + "B876": { + "ddel": -6118, + "budget": 6117, + "sentinel": { + "n": 54, + "within_budget": 15, + "provably_over_budget": 39, + "statuses": { + "ok": 54 + } + }, + "reported_variants": { + "D": { + "status": "INFEASIBLE", + "iterations": 2, + "final_rows": 418, + "final_cand": 29199, + "excluded": 54, + "verify": [ + { + "solver": "SCIP", + "ban": true, + "status": "NOT_SOLVED", + "seconds": 240.1 + }, + { + "solver": "HIGHS", + "ban": true, + "status": "INFEASIBLE", + "seconds": 118.1 + } + ] + }, + "C": { + "status": "INFEASIBLE", + "iterations": 2, + "final_rows": 418, + "final_cand": 29209, + "excluded": 39, + "verify": [ + { + "solver": "SCIP", + "ban": true, + "status": "NOT_SOLVED", + "seconds": 240.1 + }, + { + "solver": "HIGHS", + "ban": true, + "status": "INFEASIBLE", + "seconds": 103.0 + } + ] + } + } + } + }, + "later_reported_no_cost_diagnostic": { + "status": "UNKNOWN", + "iterations": 6, + "exact_proposals": [ + { + "k": 0, + "terms": [ + "531 += 1*351 @4525" + ], + "exact": true, + "relocation": true, + "status": "ok", + "delta": 0, + "profile": { + "1": 2348, + "2": 500, + "3": 416, + "4": 130, + "5": 82 + } + }, + { + "k": 1, + "terms": [ + "531 += 1*351 @4435", + "531 += 1*3 @4549" + ], + "exact": true, + "relocation": false, + "status": "ok", + "delta": 0, + "profile": { + "1": 2348, + "2": 500, + "3": 416, + "4": 130, + "5": 82 + } + } + ] + }, + "bound_files": [ + { + "commit": "b4560d9e7216f72b73c5aa940ac099c05e33ccf9", + "path": "research/community-efficient1000-audit/DISPOSITIONS.json", + "git_blob": "e5e7d413a5557e337a2b50fc40101ec16958aed1", + "sha256": "2802cbe826546e9f9fd357e021a6d00cba4885571199dd63a9fa1f52a6c5d9c9", + "bytes": 81488 + }, + { + "commit": "b4560d9e7216f72b73c5aa940ac099c05e33ccf9", + "path": "research/community-efficient1000-audit/checks/check-1957.json", + "git_blob": "2ad5a3e10d9708d8a88293ad1d7b85b741775a94", + "sha256": "f26fd8a2b78cf8359e839a1086341a7dd45ff45df47e07a88c142a592013938a", + "bytes": 650159 + }, + { + "commit": "b4560d9e7216f72b73c5aa940ac099c05e33ccf9", + "path": "research/community-efficient1000-audit/packets/1957.json", + "git_blob": "7f0ec31d033499580ea3cddee94fe2893aa4d6b2", + "sha256": "5def434c889197fdebb3239f5995862b8905ec4eb3e00a62c708ffba64e9a568", + "bytes": 37991 + }, + { + "commit": "e6a4d34874bb1aeba192c62629ebb633a6b5c424", + "path": "research/t74-k554-local-exhaustion/README.md", + "git_blob": "cbbbae8147da6645ce252cb1e287cbcd917f5e66", + "sha256": "e7559b76e00b3c8300a93b6925f8fcf4283671bb898bb5c96a35837d422ab08b", + "bytes": 5291 + }, + { + "commit": "e6a4d34874bb1aeba192c62629ebb633a6b5c424", + "path": "research/t74-k554-local-exhaustion/tools/costorc.py", + "git_blob": "a686babbce304377a0fda7806ee267c0b0ca57c8", + "sha256": "c29c85b148ccefdb25825ddd820d65ca2733d2ec5a47b40b3fef7f0937e5cb94", + "bytes": 1363 + }, + { + "commit": "e6a4d34874bb1aeba192c62629ebb633a6b5c424", + "path": "research/t74-k554-local-exhaustion/tools/akernel.py", + "git_blob": "2f152c4ff0aad280cdf6c105ddaf686d26072a3d", + "sha256": "04db48683b1c3401ac20d09a110778418e7a8ee0391f1025786864412346a391", + "bytes": 10317 + }, + { + "commit": "5f2f608451252f3330e0d0d5fc7bca63be9d0400", + "path": "research/t74-split-key-kernel-search/README.md", + "git_blob": "38c3b09d0338c24cd1593ddfc2653eba51d366ff", + "sha256": "801d1436a8ba52ad0d721a6fbbaf1602da5afc9e71b2f0a2717ee29353186b45", + "bytes": 8494 + }, + { + "commit": "5f2f608451252f3330e0d0d5fc7bca63be9d0400", + "path": "research/t74-split-key-kernel-search/data/strict/sk-B822.json", + "git_blob": "e1911417d0a51fc0ee1b658054a978c5bd58f821", + "sha256": "866abb7209b1de1843b876a66bd242edf9a19a5ff64cd5e9a89ef981414ed9a6", + "bytes": 1297 + }, + { + "commit": "5f2f608451252f3330e0d0d5fc7bca63be9d0400", + "path": "research/t74-split-key-kernel-search/data/strict/sk-B840.json", + "git_blob": "edca0b071f9e73201ca187638f682e529c2a080a", + "sha256": "90e3b168a22d8df8646f4f4fb29ed095aad6bb0235220d5050592eac879609f9", + "bytes": 1330 + }, + { + "commit": "5f2f608451252f3330e0d0d5fc7bca63be9d0400", + "path": "research/t74-split-key-kernel-search/data/strict/sk-B858.json", + "git_blob": "55884f995657089386ca180cd963906cabb39bd9", + "sha256": "87d4364ffb71d731f0e63a6dfcb1d9d775bc70e5400a8eaa3ff8a91d1d072e46", + "bytes": 1320 + }, + { + "commit": "5f2f608451252f3330e0d0d5fc7bca63be9d0400", + "path": "research/t74-split-key-kernel-search/data/strict/sk-B876.json", + "git_blob": "01e427e835d4bf81e3dd92f8f6501a447625e25d", + "sha256": "669bcf79294e62166bee09e53063b01579555226efdfa0848a0157b42d9b0d19", + "bytes": 1345 + }, + { + "commit": "23b9ce546f6978bc017d2a970a7fc2b1f96ef6b0", + "path": "research/t74-local-word-rounds4-7/r6/agents/I-resolve/EVIDENCE.json", + "git_blob": "34e5533dddce42648adcf5d830bbee012fe15b6f", + "sha256": "1c9385c006d7cda40a553894a789d2d13c352bf36612c39b5119c882f9be48c1", + "bytes": 20252 + }, + { + "commit": "23b9ce546f6978bc017d2a970a7fc2b1f96ef6b0", + "path": "research/t74-local-word-rounds4-7/r6/agents/I-resolve/FINDINGS.md", + "git_blob": "2374acd2a16aed3e3a65c3bbfc59c985f90bff31", + "sha256": "53737a9de3addb2b9d21b83689fefa6d34005ee8ecd155b166fa1ea77cd18fa9", + "bytes": 1616 + }, + { + "commit": "23b9ce546f6978bc017d2a970a7fc2b1f96ef6b0", + "path": "research/t74-local-word-rounds4-7/INPUTS.json", + "git_blob": "3816e9aa087f8f21c124c5604c00397e20f81d6b", + "sha256": "7bde0fa931a62f3d1050f410f2b3464a8a5b85f1fc053db82c046b5d7b239353", + "bytes": 1557 + } + ] +} diff --git a/research/t74-local-search-retention/TASK.json b/research/t74-local-search-retention/TASK.json new file mode 100644 index 0000000000..cdbb506351 --- /dev/null +++ b/research/t74-local-search-retention/TASK.json @@ -0,0 +1,125 @@ +{ + "schema_version": 1, + "task_id": "overlap-receipt", + "scope_key": "757723e3fd38f20fa774", + "priority_revision": 5, + "base_commit": "b4560d9e7216f72b73c5aa940ac099c05e33ccf9", + "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": "refined", + "actual_scope": "Exact source/retention and evidence-status map of PR1957, PR2142 and rounds4-7 I-resolve sentinel correction; no new search or solver replay.", + "scope_change_reason": "Refine the assigned small related PR set to the missing navigation from the retained partial review to stacked source and the later model-bounded sentinel correction.", + "bottleneck_link": "Prevents repeated source hunting, incorrect full-incorporation inference and transfer of a bounded reported negative to a different search model. This is an audit milestone, not a new supplier or lower bound.", + "budget_minutes": 60, + "stop_rule": "Stop after immutable source inventories, scoped old/new tree comparison, evidence-status extraction and independent reading; do not rerun or widen solver families in this contribution.", + "outcome": "completed", + "evidence": "README.md scope map; RECEIPT.json complete source inventory and reported fields; audit.py exact Git-object regeneration.", + "author": "ywz65", + "ai_assistance": "Substantial OpenAI Codex assistance for source inspection, read-only audit implementation, verification and writing.", + "selection": { + "seed": "10e876bcdb145eb8083534f877da6954", + "base_commit": "0fdd7d82de03e43c9e5a1000dfbcd380d1b687d2", + "priority_revision": 4, + "first_command": "python -B scripts/research_baseline.py", + "first_command_result": "PASS_RESEARCH_BASELINE_BINDINGS_ONLY" + }, + "upstream_refresh": { + "base_commit": "b4560d9e7216f72b73c5aa940ac099c05e33ccf9", + "priority_revision": 5, + "same_assigned_card": true, + "read": [ + "AGENTS.md", + "autoresearch.md", + "docs/research/research-priority-log.md", + "docs/research/research-family-status.md" + ], + "compatibility": "Retain the assigned bounded audit. Revision5 requires an explicit milestone/consumer boundary; no family expansion is proposed." + }, + "milestone": { + "type": "audit/navigation", + "decision": "narrow", + "achieved": "315-file exact source inventory, partial main disposition, unchanged scientific trees across PR2142 head change, and separate reported sentinel-correction model.", + "downstream_acceptance_gap": "Full PR1957 census and independent I-resolve model/solver replay remain open.", + "cost_boundary": "Reported oracle prices remain source inputs. Physical precision, restoration, dispatch, transport, hosting and composition costs are unestablished; none is set to zero.", + "consumer_boundary": "No operation or cost credit is supplied to a caller; this note only identifies evidence and its limits." + }, + "overlap": { + "open_prs": { + "fetched_at": "2026-10-15T16:50:34.198054+00:00", + "complete_pagination": true, + "records": 838 + }, + "discussions": { + "fetched_at": "2026-10-15T16:54:03.928498+00:00", + "complete_pagination": true, + "records": 1303 + }, + "terms": [ + "local-exhaustion", + "split-key", + "2^60", + "t74-local-word-rounds4-7" + ], + "nearest_sources": [ + 1957, + 2142, + 2143 + ], + "limits": "Cached complete PR bodies and Discussion records plus repository metadata; no no-match novelty inference. Current heads separately checked unchanged and OPEN before handoff." + }, + "validation": { + "primary": "CPython 3.12.7 -I -O -B audit.py: PASS, 315 files, 4 targets", + "independent": "Separate agent read README, audit.py, pinned costorc.py/FINDINGS and replayed with CPython 3.12.14 -I -O -B: PASS; no blocker.", + "solver_replay": "not_run", + "full_census": "not_run", + "registered_export_replay": "not_applicable: explicit Git-object audit" + }, + "open_questions": [ + { + "question": "Can the outstanding full PR1957 census be independently completed?", + "why_it_matters": "The retained disposition deliberately leaves its full negative claim open.", + "first_step": "Follow the pinned full-mode instructions or construct an independent exhaustive certificate.", + "blocked_by": "Full census replay not performed here." + }, + { + "question": "Can the I-resolve corrected models be independently reproduced and related to PR2142?", + "why_it_matters": "A later reported negative does not automatically replay the earlier key and price domain.", + "first_step": "Replay pinned candidate construction, repricing and solver restrictions; explain recorded ddel difference.", + "blocked_by": "Solver/model verification and domain relation not established here; no-cost diagnostic remains UNKNOWN." + } + ] +} diff --git a/research/t74-local-search-retention/audit.py b/research/t74-local-search-retention/audit.py new file mode 100644 index 0000000000..dc9b1e75cc --- /dev/null +++ b/research/t74-local-search-retention/audit.py @@ -0,0 +1,155 @@ +"""Regenerate a bounded source/retention receipt from immutable Git objects. + +Reads only; it neither fetches sources nor imports/runs their research programs. +This checks source inventory and reported fields, not solver correctness. +""" + +import argparse +import hashlib +import json +from pathlib import Path +import subprocess + + +HERE = Path(__file__).resolve().parent +REPO = HERE.parents[1] +BASE = "b4560d9e7216f72b73c5aa940ac099c05e33ccf9" +P1957 = "e6a4d34874bb1aeba192c62629ebb633a6b5c424" +OLD2142 = "0c5516bf5bfb5c9c4d09446d3b21028032060fec" +P2142 = "5f2f608451252f3330e0d0d5fc7bca63be9d0400" +LATER = "23b9ce546f6978bc017d2a970a7fc2b1f96ef6b0" +A = "research/t74-k554-local-exhaustion/" +B = "research/t74-split-key-kernel-search/" +C = "research/t74-local-word-rounds4-7/r6/agents/I-resolve/" +TARGETS = ("B822", "B840", "B858", "B876") + + +def git(*args): + proc = subprocess.run( + ["git", "-C", str(REPO), "--no-replace-objects", *args], + stdout=subprocess.PIPE, stderr=subprocess.PIPE, check=False, + ) + if proc.returncode: + raise RuntimeError("Required Git object unavailable; see README fetch commands.\n" + + proc.stderr.decode("utf-8", errors="replace")) + return proc.stdout + + +def tree(commit, prefix=""): + rows = {} + for entry in git("ls-tree", "-rz", commit, "--", prefix or ".").split(b"\0"): + if not entry: + continue + info, path = entry.split(b"\t", 1) + mode, kind, oid = info.decode("ascii").split() + rows[path.decode("utf-8")] = {"mode": mode, "kind": kind, "oid": oid} + return rows + + +def comparison(source, target): + exact, changed, absent = [], [], [] + for path, entry in source.items(): + (absent if path not in target else + exact if target[path] == entry else changed).append(path) + return {"exact_paths": exact, "changed_paths": changed, "absent_paths": absent} + + +def generate(): + for commit in (BASE, P1957, OLD2142, P2142, LATER): + if git("rev-parse", commit + "^{commit}").decode().strip() != commit: + raise ValueError("commit identity mismatch") + base = tree(BASE) + sources = {} + bound_files = [] + + def read(commit, path): + payload = git("show", commit + ":" + path) + oid = git("rev-parse", commit + ":" + path).decode().strip() + computed = hashlib.sha1(b"blob " + str(len(payload)).encode() + b"\0" + payload).hexdigest() + if oid != computed: + raise ValueError("Git blob hash mismatch: " + path) + bound_files.append({"commit": commit, "path": path, "git_blob": oid, + "sha256": hashlib.sha256(payload).hexdigest(), "bytes": len(payload)}) + return payload + + for name, commit, prefix in (("pr1957", P1957, A), ("pr2142", P2142, B), + ("later_I_resolve", LATER, C)): + inventory = tree(commit, prefix) + if not inventory: + raise ValueError("empty source inventory") + same_elsewhere = [] + for path, entry in inventory.items(): + paths = [p for p, value in base.items() if value == entry and p != path] + if paths: + same_elsewhere.append({"source_path": path, "base_paths": paths}) + sources[name] = {"commit": commit, "prefix": prefix, + "subtree": git("rev-parse", commit + ":" + prefix.rstrip("/")).decode().strip(), + "file_count": len(inventory), "inventory": inventory, + "base_path_comparison": comparison(inventory, base), + "identical_mode_and_blob_elsewhere_in_base": same_elsewhere} + + dispositions = json.loads(read(BASE, "research/community-efficient1000-audit/DISPOSITIONS.json")) + disposition = next(x for x in dispositions["pull_requests"] if x["number"] == 1957) + # Keep the complete existing disposition rather than silently selecting a + # favorable subset of its pending-review fields. + read(BASE, "research/community-efficient1000-audit/checks/check-1957.json") + read(BASE, "research/community-efficient1000-audit/packets/1957.json") + for path in (A + "README.md", A + "tools/costorc.py", A + "tools/akernel.py", B + "README.md"): + read(P1957 if path.startswith(A) else P2142, path) + old = {} + for target in TARGETS: + record = json.loads(read(P2142, B + "data/strict/sk-" + target + ".json")) + old[target] = {key: record[key] for key in ("ddel", "shape", "ncand", "res")} + evidence = json.loads(read(LATER, C + "EVIDENCE.json")) + read(LATER, C + "FINDINGS.md") + read(LATER, "research/t74-local-word-rounds4-7/INPUTS.json") + corrected = {} + for target in TARGETS: + record = evidence["targets"][target] + corrected[target] = { + "ddel": record["ddel"], "budget": record["budget"], + "sentinel": {key: record["sentinel"][key] for key in + ("n", "within_budget", "provably_over_budget", "statuses")}, + "reported_variants": { + variant: {key: record[variant][key] for key in + ("status", "iterations", "final_rows", "final_cand", "excluded", "verify")} + for variant in ("D", "C")}, + } + return { + "schema": 1, + "coverage": "Exact-path and exact-mode/blob retention; source-reported solver fields only. No solver replay or semantic incorporation inference.", + "base": BASE, "sources": sources, + "pr1957_disposition_at_base": disposition, + "pr1957_tree_equal_in_pr2142": tree(P1957, A) == tree(P2142, A), + "pr2142_changed_head": {"old": OLD2142, "new": P2142, + "pr1957_tree_equal": tree(OLD2142, A) == tree(P2142, A), + "split_key_tree_equal": tree(OLD2142, B) == tree(P2142, B)}, + "pr2142_reported_shape_records": old, + "later_reported_model": evidence["model"], + "later_reported_variants": evidence["variants"], + "later_reported_targets": corrected, + "later_reported_no_cost_diagnostic": evidence["B822_variant_A"], + "bound_files": bound_files, + } + + +def main(): + parser = argparse.ArgumentParser(description=__doc__) + parser.add_argument("--write", action="store_true", help="create RECEIPT.json; refuses overwrite") + args = parser.parse_args() + receipt = HERE / "RECEIPT.json" + if args.write and receipt.exists(): + raise SystemExit("Refusing to overwrite the frozen receipt") + actual = generate() + if args.write: + with receipt.open("x", encoding="utf-8", newline="\n") as stream: + stream.write(json.dumps(actual, indent=2, ensure_ascii=False) + "\n") + elif json.dumps(json.loads(receipt.read_text(encoding="utf-8")), sort_keys=True, allow_nan=False) != json.dumps(actual, sort_keys=True, allow_nan=False): + raise SystemExit("FAIL_T74_LOCAL_SEARCH_RETENTION: receipt differs from pinned source objects") + print("PASS_T74_LOCAL_SEARCH_RETENTION source_files=" + + str(sum(x["file_count"] for x in actual["sources"].values())) + + " targets=4 solver_replay=not_run") + + +if __name__ == "__main__": + main() From 2565fd4f1c49ccd9e94a655cb64bee016b9ceac7 Mon Sep 17 00:00:00 2001 From: ywz65 <154373401+ywz65@users.noreply.github.com> Date: Thu, 15 Oct 2026 10:01:32 -0700 Subject: [PATCH 2/2] Record compatibility with newly refreshed main --- research/t74-local-search-retention/README.md | 7 +++++++ .../t74-local-search-retention/RECEIPT.json | 18 ++++++++++++++++++ research/t74-local-search-retention/TASK.json | 2 ++ research/t74-local-search-retention/audit.py | 13 ++++++++++++- 4 files changed, 39 insertions(+), 1 deletion(-) diff --git a/research/t74-local-search-retention/README.md b/research/t74-local-search-retention/README.md index aff67ac6d4..0cedf90652 100644 --- a/research/t74-local-search-retention/README.md +++ b/research/t74-local-search-retention/README.md @@ -10,6 +10,12 @@ independently replayed general lower bound. **Result type:** source/retention audit, not a new search or mathematical theorem. The selected result and every frozen predecessor remain unchanged. +A final refresh reached main `1884c509efc004524786e9b7cfcc4aca572316d5`. +The receipt rechecks all 315 files there: original paths and exact-mode/blob +matches remain absent, and PR1957's disposition file is unchanged. The new +efficient1100 review still leaves PR1186's mechanism/proof review pending. +Priority revision 5 and this audit's conclusions remain compatible. + ## Exact sources and retained content | Artifact and credit | Pinned commit | Named source subtree | Files at original paths on audit base | @@ -105,6 +111,7 @@ public source objects if they are absent: ```sh git fetch https://github.com/CrocSwap/integer-mult-bounds.git b4560d9e7216f72b73c5aa940ac099c05e33ccf9 +git fetch https://github.com/CrocSwap/integer-mult-bounds.git 1884c509efc004524786e9b7cfcc4aca572316d5 git fetch https://github.com/rohanarun/integer-mult-bounds.git e6a4d34874bb1aeba192c62629ebb633a6b5c424 git fetch https://github.com/ianlibanio/integer-mult-bounds.git 0c5516bf5bfb5c9c4d09446d3b21028032060fec git fetch https://github.com/ianlibanio/integer-mult-bounds.git 5f2f608451252f3330e0d0d5fc7bca63be9d0400 diff --git a/research/t74-local-search-retention/RECEIPT.json b/research/t74-local-search-retention/RECEIPT.json index 990dd171bc..b39203f140 100644 --- a/research/t74-local-search-retention/RECEIPT.json +++ b/research/t74-local-search-retention/RECEIPT.json @@ -1939,6 +1939,24 @@ "identical_mode_and_blob_elsewhere_in_base": [] } }, + "newer_main_compatibility": { + "commit": "1884c509efc004524786e9b7cfcc4aca572316d5", + "source_path_and_blob_comparisons": { + "pr1957": { + "original_paths_present": [], + "exact_mode_blob_matches_anywhere": [] + }, + "pr2142": { + "original_paths_present": [], + "exact_mode_blob_matches_anywhere": [] + }, + "later_I_resolve": { + "original_paths_present": [], + "exact_mode_blob_matches_anywhere": [] + } + }, + "pr1957_disposition_file_unchanged": true + }, "pr1957_disposition_at_base": { "number": 1957, "metadata": { diff --git a/research/t74-local-search-retention/TASK.json b/research/t74-local-search-retention/TASK.json index cdbb506351..c74372250d 100644 --- a/research/t74-local-search-retention/TASK.json +++ b/research/t74-local-search-retention/TASK.json @@ -60,6 +60,8 @@ "upstream_refresh": { "base_commit": "b4560d9e7216f72b73c5aa940ac099c05e33ccf9", "priority_revision": 5, + "final_main": "1884c509efc004524786e9b7cfcc4aca572316d5", + "final_compatibility": "All315 source paths and exact-mode/blob entries still absent; PR1957 disposition file unchanged. New efficient1100 review keeps PR1186 mechanism/proof review pending. Recorded and replayed in RECEIPT newer_main_compatibility.", "same_assigned_card": true, "read": [ "AGENTS.md", diff --git a/research/t74-local-search-retention/audit.py b/research/t74-local-search-retention/audit.py index dc9b1e75cc..58e20e383e 100644 --- a/research/t74-local-search-retention/audit.py +++ b/research/t74-local-search-retention/audit.py @@ -14,6 +14,7 @@ HERE = Path(__file__).resolve().parent REPO = HERE.parents[1] BASE = "b4560d9e7216f72b73c5aa940ac099c05e33ccf9" +REFRESH = "1884c509efc004524786e9b7cfcc4aca572316d5" P1957 = "e6a4d34874bb1aeba192c62629ebb633a6b5c424" OLD2142 = "0c5516bf5bfb5c9c4d09446d3b21028032060fec" P2142 = "5f2f608451252f3330e0d0d5fc7bca63be9d0400" @@ -55,10 +56,11 @@ def comparison(source, target): def generate(): - for commit in (BASE, P1957, OLD2142, P2142, LATER): + for commit in (BASE, REFRESH, P1957, OLD2142, P2142, LATER): if git("rev-parse", commit + "^{commit}").decode().strip() != commit: raise ValueError("commit identity mismatch") base = tree(BASE) + refreshed = tree(REFRESH) sources = {} bound_files = [] @@ -119,6 +121,15 @@ def read(commit, path): "schema": 1, "coverage": "Exact-path and exact-mode/blob retention; source-reported solver fields only. No solver replay or semantic incorporation inference.", "base": BASE, "sources": sources, + "newer_main_compatibility": { + "commit": REFRESH, + "source_path_and_blob_comparisons": { + name: {"original_paths_present": sorted(set(source["inventory"]) & set(refreshed)), + "exact_mode_blob_matches_anywhere": [path for path, entry in source["inventory"].items() + if entry in refreshed.values()]} + for name, source in sources.items()}, + "pr1957_disposition_file_unchanged": git("show", BASE + ":research/community-efficient1000-audit/DISPOSITIONS.json") == git("show", REFRESH + ":research/community-efficient1000-audit/DISPOSITIONS.json"), + }, "pr1957_disposition_at_base": disposition, "pr1957_tree_equal_in_pr2142": tree(P1957, A) == tree(P2142, A), "pr2142_changed_head": {"old": OLD2142, "new": P2142,