Maity: Board

Review PR #180 (change ticker contract)

tsk-bmy86bpd6ftd cancelled

Contract review of §17 change ticker. Rulings on its open questions are in the PR comments. Check the humans_only invariant (§2.3), privacy per reader, the wake rules (all = readable, not woken), numbering clashes with #160 (§17). After your current queue.