Cautilus Promise Ledger
Read this for the current Cautilus promise map: which cross-cutting rules govern and which contracts implement each promise. The relationships are carried by the typed trace edges on each promise leaf, so the ledger reads them instead of restating them by hand.
Spec entry: Cautilus.
Pages
- Promise Ledger: the promise → rules/contracts map, generated from the typed trace graph.
- Names And Keys: naming rules, the stable-name/user-facing-name aliases, compact keys, and the rename rule.
- Projected Claim State: the generated tier/verdict/route view of the ratified claim set.