Witness First
Kind: technique
Layer: Execution Core
Record: lexicon:witness-first
Canonical: Lexicon
A technique for deciding liveness from a witness the process writes, never from the process being present.
Listed in Lexicon terms, after Derive Liveness Once and before Window Second.