Skip to content

KB1b: the ERASE deferral is not necessary — legal per-call COPY/ERASE windows keep the typed-echo pair saving (no new kappa) - #2595

Merged
Mister-Meeseeks merged 3 commits into
CrocSwap:mainfrom
navinor:research/agent-60-kb1b-erase-window-25ad54a0
Oct 16, 2026
Merged

Mister-Meeseeks merged 3 commits into
CrocSwap:mainfrom
navinor:research/agent-60-kb1b-erase-window-25ad54a0

Docs: correct the PR386 bit-geometry attribution in research/z4-typed…

3901920
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
verify (3.11)
succeeded Oct 16, 2026 in 4m 30s