# Traceable Guarantee

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

Record: `lexicon:traceable-guarantee`
Kind: capability
Layer: [Execution Core](https://banes-lab.com/records/layer/execution-core.md)
Canonical: https://banes-lab.com/ontology/lexicon#lexicon-traceable-guarantee

Listed in [Lexicon terms](https://banes-lab.com/api/records/lexicon.md), after [Deferred Setting](https://banes-lab.com/records/lexicon/deferred-setting.md) and before [Rederivation Detection](https://banes-lab.com/records/lexicon/rederivation-detection.md).

## Category

- [Coordination Surfaces](https://banes-lab.com/records/lexicon-category/coordination-surfaces.md)

## Enabled by

- [Stated Invariant](https://banes-lab.com/records/architecture/stated-invariant.md)
- [Derived Record State](https://banes-lab.com/records/architecture/derived-record-state.md)
- [Operand-Free Outcome Surface](https://banes-lab.com/records/architecture/operand-free-outcome-surface.md)
- [Projection Channel](https://banes-lab.com/records/architecture/projection-channel.md)
- [Two-Direction Index](https://banes-lab.com/records/architecture/two-direction-index.md)
- [Period-Decided Disposition](https://banes-lab.com/records/architecture/period-decided-disposition.md)
- [Derived Party Count](https://banes-lab.com/records/architecture/derived-party-count.md)
- [Fan-In Ceiling](https://banes-lab.com/records/architecture/fan-in-ceiling.md)
- [State-Arity Limit](https://banes-lab.com/records/architecture/state-arity-limit.md)
- [Carrier and Payload Split](https://banes-lab.com/records/architecture/carrier-and-payload-split.md)
- [Joinable Mandated Field](https://banes-lab.com/records/architecture/joinable-mandated-field.md)
- [Single Aggregate](https://banes-lab.com/records/architecture/single-aggregate.md)

## Linked from

- [Coordination Surfaces](https://banes-lab.com/ontology/principles/architecture-category-coordination-surfaces.md)

## Evidence in the code

- [models/coordination.model.md](https://banes-lab.com/source/coordination/models/coordination.model.md.md)