The leaf isn't serving right now.
A leaf is honest only when it can be reached, so it is checked live: no connection means no counts, and nothing is invented to fill the gap. Your own seat (if you have one) is still on your phone — that's the pocket's job, and it doesn't need the network.
Loading the leaf…
Settled
Ticket numbers that have been taken to a seat. The receipt (with this number) goes to the union's mailbox, and the keeper folds it in.
Un-invited
Ticket numbers that have been revoked. When the leaf ships, the gate closes on those numbers everywhere the book is read.
The honest parts of a leaf
- A leaf proves numbers, never people. "Token
0f1…ab2is settled" is true or false; "this face is a neighbor" is a pocket's claim, not a file's. - A leaf is live: it is read online when the book asks, and it changes when the building ships a new copy — never between reads.
- Copies must agree. The pocket mints the seat on the phone, the leaf is folded in by the keeper, and a revoked number closes the gate on every phone that reads it fresh.