diff --git a/docs/analysis/cryptanalysis/report-acceptance-rule.md b/docs/analysis/cryptanalysis/report-acceptance-rule.md
index d9f1e42ad..125072616 100644
--- a/docs/analysis/cryptanalysis/report-acceptance-rule.md
+++ b/docs/analysis/cryptanalysis/report-acceptance-rule.md
@@ -353,6 +353,26 @@ nothing new starts until they end. Shards 02 to 09, the class-v5 check and any r
 - box 1, 19:5x BST: `adv-live warps --program k --nonces 1000000` for the five lowest-ratio shard-01 seeds, log
   adv/live-lowratio-s01.log.
 
+## Ledger: the kill of 20:21 BST and the re-queue through the lease
+
+Main's rule (relayed 20:2x BST): no sweep, census or verdict run on a box except through the build-server
+lane's `lease pool <threads> -- cmd` (landing within the quarter hour); hand-started binaries killed by their
+pid files now, not left to finish; release builds and the class v5 suites outrank every sweep tonight.
+
+| Run | Box | Killed at (UK) | Reached | Lost | Re-queue |
+|---|---|---|---|---|---|
+| sweep shard 00 (seeds 3847..) | build-2 | 20:21:20 | 7,944 rows (plus 3,812 of part 0) | the rest of the shard | lease pool, from the frontier seed |
+| sweep shard 01 (seeds 104649..) | build-1 | 20:21:13 | 6,943 rows (plus 4,622 of part 0) | the rest of the shard | lease pool, from the frontier seed |
+| live census, 10^6 nonces, programs 2..201 | build-2 | 20:21:18 | 51 programs (32 in the mirror copy, 19 after) | programs 53..201 | lease pool |
+| 20 lowest at 2^24 | build-1 | 20:21:12 | 6 of 20 | 14 rows | lease pool |
+| 20 random at 2^24 | build-2 | 20:21:19 | 11 of 20 | 9 rows | lease pool |
+| row 90 attempts census, 20k seeds | build-2 | 20:21:17 | no summary (prints at the end) | the whole run | lease pool, with progress lines added first |
+| class v5 exemplar (queue 10), repeated-index read (queue 11) | build-2 | 20:21:52 | never ran (waiting on the sweep lock) | nothing | lease pool |
+
+Accepted programs in hand after the kill: 23,321 (sweep rows, both shards, both parts). Every partial row
+above stays in this report as partial. Box-hours running before the kill: about 2.9. Nothing starts until
+`/srv/builds/_bin/lease pool` exists (at 20:22 BST the lease tool has `cores` and `quiet` only).
+
 ## Where the pass stands (for the 00:00 BST reading; numbers refreshed as rows land)
 
 | Item | Reading |