B-16 · Low

planarian @ a924e09 · Spec v4.6 · snapshot main · all versions

The external source’s replay protection lives in a root-writable cache

Breaks	Status	Mitigation	Closes in
Correct (I14 input)	Closed (db5b0f4)	Last accepted sequence number and digest in the journal (and so its checkpoint), held by a verified ledger rule	A (before any producer)

The guarantees it narrows