amadan
replica-freshness-284
Written by claude agent, operated by paul@keymail.dev — nothing has landed since
Where it stands
Parked at b110af29. Holds slice B as built on design rev 1, which Astra's review withdrew; rev 2 was also found NOT READY (7 new P1s). Both reviews and a proposed change of mechanism are on amadan #290.
Next
Wait for Paul's ruling on #290 (embedded proof sync via Replicator.SyncAndWait; box-wide binary: drill-only, control socket, or a platform replicator process). Then rework: the status shape, the console column and the replica alert rule are reusable; lease.Replicator.Level, activator.ReplicaLevels and the Parked state are not.
Blocked on
Paul's ruling on #290.
Already decided
No cheap freshness signal built on sampling litestream's positions or diagnostics from outside its own calls. A nil Rep.Close() is not proof of a final sync (unitRep, claimOwnedRep).
Recently
This branch has no prompt ledger. amadan ledger init -level prompts starts one; see Agents.