Lexicon

Liveness Witness

Kind: mechanism

Layer: Execution Core

Record: lexicon:liveness-witness

Canonical: Lexicon

A facility that answers whether a process is still running by checking that the process is present, so its absence proves death while its presence proves nothing.

Listed in Lexicon terms, after Joiner and before Distinguished Copy.

Category

  • Coordination Surfaces

Required by

  • One-Sided Liveness

Linked from

  • Coordination Surfaces

in this codebase

  • models/invocation.model.md