What one rule's evaluation established about the source it reads.

One source's outage state. It carries no Eq: comparing two states walks the logged record, so a change is decided by the fold that made it, never by comparison.

An outage names every rule still unable to consult the source, so a rule whose breaker is still open keeps the outage open after a sibling's probe succeeds.

The three reports an outage produces, each carrying what an operator line needs.

What one reading did to the state. The change flag is what decides a commit.

Fold one reading into the state at now. A transition reports at once, and an outage that continues reports again only once period has passed since its last report.

What identifies one admission's evidence line: the package, the version, and the checks it skipped.

The admissions logged during one outage, oldest first, so the record can evict in arrival order once it reaches its cap.

An outage that has logged nothing yet.

How many identities one outage remembers: a few megabytes resident per ecosystem at the cap, past which an outage over a large mirror repeats a line only once its oldest identities age out.

Decide whether the gate logs this admission, and the record after it. A repeat is skipped, a new identity is recorded, and the oldest identity is evicted once the record holds cap.

noteLogged over the source's state. A healthy source has no outage to remember the admission under, so the gate logs it and the state is unchanged.

Where one source's outage state lives: a plain read, and a fold committed as one unit.