LLM Errata 0.2.0 — Public Concept Proposal and Phase 1 Proof

An imported memory is a dependency, not a copy. When its source is corrected, superseded, or erased, the importer should quarantine its known descendants, rebuild them from valid inputs, and report anything it could not verify.

This is a concept proposal and a request for technical challenge. It is not a production protocol, not a standard, and not a claim of invention.

What is in it

• A runnable proof. make demo runs one supersession across three deliberately different stores. It exits 2. Both inspectable stores are fully repaired, all three probes pass, and the aggregate is still partial, because one required store cannot show its own state. That refusal is the deliverable. A demo where everything passes proves only that the demo was built to pass.
• A bounded, dated, falsifiable claim, with the conditions under which it should be narrowed or withdrawn written down before anyone challenges it.
• A prior-art record whose citations check out, pinned to arXiv versions, draft revisions, and commit SHAs, with the sources that remain unpinned listed as an open risk rather than hidden.
• Tooling that can fail. The claim guard is anchored to exact sentences and proved by negative tests; a corpus asserting a world first is rejected, not congratulated.

What changed since the unpublished 0.1.0

Quarantine-before-repair is no longer claimed as a contribution. MemoRepair reached the same ordering independently in May 2026 and was missed by the original screen. Three further collisions were added. The four-part conjunction survives, and the record says why in the matrix rather than in an argument.

Two security defects found by adversarial review after the suite was already green are fixed, each with a test that failed first.

HARD_PROBLEMS.md screens the three problems the proposal declares out of scope. Proving semantic absence is still open. The other two have materially advanced.

The most useful thing you can do

Break it. A prior-art collision that retires the claim is a success for this project, not an attack on it. CONTRIBUTING.md has the evidence requirements, and there is an issue form for exactly that.

Version 0.1.0 was written on 2026-08-01 and never published. It stays in the changelog as a dated entry because the prior-art claim is stated as of that date and must not be back-dated to match a later release.