Derive State from Edges
Kind: technique
Layer: Execution Core
Record: lexicon:derive-state-from-edges
Canonical: Lexicon
A technique for removing a written status field and computing a record's state from the edges that connect it.
Listed in Lexicon terms, after Mark the Invariant Unheld and before Allocate Identity Once.