Done — fork tip leaf
Shipped on #78
Invariant: durable publish uses max(stored aggregate cursor, latest persisted event seq) so a stale cursor cannot retry an already-written sequence forever.
Proof: 45 pass / negative 1 fail / restore 45 pass.
github_writes_origin: 0. Codex promote parked.
Done — fork tip leaf
Shipped on #78
Invariant: durable publish uses max(stored aggregate cursor, latest persisted event seq) so a stale cursor cannot retry an already-written sequence forever.
Proof: 45 pass / negative 1 fail / restore 45 pass.
github_writes_origin: 0. Codex promote parked.