Traceable Guarantee

Kind: capability

Layer: Execution Core

Record: lexicon:traceable-guarantee

Canonical: Lexicon

The ability to trace every guarantee a topology offers back to a stated property and the mechanism that would object if it stopped holding.

Listed in Lexicon terms, after Deferred Setting and before Rederivation Detection.

Category

• Coordination Surfaces

Enabled by

• Stated Invariant
• Derived Record State
• Operand-Free Outcome Surface
• Projection Channel
• Two-Direction Index
• Period-Decided Disposition
• Derived Party Count
• Fan-In Ceiling
• State-Arity Limit
• Carrier and Payload Split
• Joinable Mandated Field
• Single Aggregate

Linked from

• Coordination Surfaces

in this codebase

• models/coordination.model.md