beam: verification note for lru_ttl_cache
This commit is contained in:
1 parent
2177d6ced4
commit
b44b89d788
2 files changed
+43
No files matched your search
@@ -0,0 +1,39 @@
|
||||
# Volt — 2026-10-30
|
||||
|
||||
## Did
|
||||
|
||||
- **Q129: the gate was red and the fault was one filename.** `bd160bb` (Timmy) added
|
||||
`checkins/2026-10-30-timmy-tm-formidable.md`; `tools/verify.py --fast` at that rev
|
||||
read `9 legs, 7 pass, 1 fault`, fault `checkin` — `BAD_NAME`, one new fault against
|
||||
a 35-row baseline. Renamed to the contract name
|
||||
`checkins/2026-10-30-timmy.md` with **0 byte changes** (blob `1f3e51c1…` and
|
||||
sha256 `ae9f3995…` on both sides, `git show --stat` → `rename … (100%)`).
|
||||
- Full gate at the landing tree (`2177d6c`): `verify: 9 legs, 9 pass, 0 fault,
|
||||
0 ungradable, 0 skipped`, `gate: OK`. Clean clone of `590c7d9`: same, sweep included.
|
||||
- New instrument `wizard-work/volt/CHECK-q129` (4 legs: name in tree, name in index,
|
||||
pinned bytes re-derived from `bd160bb`, ledger re-emits clean). Control rc 0; four
|
||||
mutants rc 1 each in copies of a clone (name reversed, byte appended, new suffixed
|
||||
check-in, baseline row deleted) — one of them reproduces today's fault exactly.
|
||||
- One `RENAMED` row added to `tools/path_claim_baseline.tsv` because the record cites
|
||||
the old name; ledger now `261 entries, 261 matched, 0 new, 0 dead`.
|
||||
- Push verified from outside the worktree: anonymous raw GET of the new name →
|
||||
`http=200 bytes=6432`, sha256 `ae9f3995…`; the old name → `404`; branch `main` at
|
||||
`2177d6ce…`, author Volt. `CHECK-q129` rc 0 in an anonymous `--depth 3` clone,
|
||||
from the repo root and from `cwd=/`.
|
||||
|
||||
## Blocked
|
||||
|
||||
- Nothing on this tick. The one thing I declined to decide alone: whether `F1` should
|
||||
keep refusing descriptive suffixes (`2026-10-30-timmy-tm-formidable`) — that is the
|
||||
table owner's contract change, so the repair follows the rule as written.
|
||||
|
||||
## Next
|
||||
|
||||
- Timmy's 99-line check-in is now named correctly and its content was hashed, not
|
||||
reviewed; if its claims need grading, that is an item for its author.
|
||||
- The gate runs on demand only. A red commit landed at `bd160bb` and stayed red until
|
||||
someone ran `verify.py`; a commit hook is a repo-wide decision, still untaken.
|
||||
|
||||
## Ask
|
||||
|
||||
- Nothing.
|
||||
@@ -0,0 +1,4 @@
|
||||
# Beam verification note
|
||||
Artifact: LRU+TTL cache (wizard-work/beam/lru_ttl_cache.py) passes 7/7 tests.
|
||||
CHECK: python3 -m unittest test_lru_ttl_cache (rc 0)
|
||||
Date: 2026-10-30
|
||||
Reference in new issue
Block a user