Clarify checker store invariant#1581

Merged

gfyrag merged 13 commits into

release/v3.0from

agent/checker-store-scope-claude

Jul 16, 2026

Commits on Jul 13, 2026

Clarify checker store invariant
Geoffrey Ragot
committed
Address review: keep emission-gating cursors verified; require wired rebuild
Geoffrey Ragot
committed
Reclassify MirrorCursor as technical state, not a checker business invariant
Geoffrey Ragot
committed
MirrorCursor: classify as technical state with precise tamper analysis
Geoffrey Ragot
committed
Invariant #8: classify by store — peer secondary stores out of checker scope
Geoffrey Ragot
committed

Commits on Jul 14, 2026

docs: align readstore framing with main-store-only checker scope
Geoffrey Ragot
committed
Merge remote-tracking branch 'origin/release/v3.0' into agent/checker-store-scope-claude
Geoffrey Ragot
committed
Merge remote-tracking branch 'origin/release/v3.0' into agent/checker-store-scope-claude
Geoffrey Ragot
committed

Commits on Jul 15, 2026

Merge remote-tracking branch 'origin/release/v3.0' into agent/checker-store-scope-claude
Geoffrey Ragot
committed
docs(checker): align linked pages + exemption bases with invariant #8 and merged EN-1550
Geoffrey Ragot
committed
docs(checker): mark usagestore as forthcoming (EN-1334), not an existing peer store
Geoffrey Ragot
committed
docs(checker): frame ahead-cursor as a current gap; fix usagestore refs in README + audit-vs-technical
Geoffrey Ragot
committed

Commits on Jul 16, 2026

docs(checker): align peer-store & MirrorCursor gap wording across linked pages
Geoffrey Ragot
committed