# rule outcome reason. Read by mutate.sh: a rule listed `missed` is not
# expected to be caught alone, by the random sweep or by its witness
# (witness_test.go), and is reported EXPECTED-MISS; the sweep fails if it
# is caught (the expectation is stale). Each reason names the combination
# that catches the rule; its witness's `needs` is that combination, and
# TestWitnesses proves the witness holds under every proper subset of it.
# A rule listed `rare N` is reached by the random sweep only at N seeds or
# more; below N its miss is expected. No rule is listed rare.
gate-adopt missed caught with set-before-repoint (witness): adoption's set-before is the same gate reached earlier, so with it in place the restart's gate always finds the group already fenced
public-stops-group missed caught with public-confirms-empty (witness): without the stop, --public step 3 finds the declaring generation still serving and refuses, so the clear never writes 0 under it
dedicated-launch-check missed caught with dedicated-edge-refusal (witness): without the launch check a declaring adoption beside a proxying row goes ahead, but the edge's refusal then refuses that row once the group is internal, so no public request reaches the engine
stale-clears-grants missed caught with grant-freshness-bound (witness): a table's record was signed no later than its last good read, and expires long after it goes stale by its signing, so the signed_at bound (R5) empties a stale or expired table first; with both gone the stale table serves a revoked grant