Cautilus Promise Ledger
This page is generated from the typed Specdown trace graph in specdown.json.
Each promise's governing cross-cutting rules and implementing contracts are derived from the governed-by:: and implemented-by:: edges on its leaf spec, so this map cannot drift from the edges that specdown trace -strict enforces.
Promise Map
| Promise |
Governed by (rules) |
Implemented by (contracts) |
| Readiness |
Evidence Gaps, Vocabulary Consistency, Agent-Human Resumability, Host-Owned Execution |
Readiness And Runtime Status, Adapter And Host Ownership |
| Claim Discovery |
Reviewable Artifacts, Evidence Gaps, Agent-Human Resumability, Host-Owned Execution |
Claim Discovery Workflow, Evidence State And Review Artifacts, Binary And Skill Boundary |
| Behavior Evaluation |
Reviewable Artifacts, Packet Freshness, Cost And Proof Freshness, Host-Owned Execution |
Evaluation Surfaces And Runners, Reporting And Review Variants, Live Invocation Runtime |
| Bounded Improvement |
Reviewable Artifacts, Evidence Gaps, Cost And Proof Freshness, Host-Owned Execution |
Improvement Loop, Scenario History And Proposal Normalization, Active Run And Workspace Lifecycle |
| Reviewable Artifacts |
Reviewable Artifacts, Packet Freshness |
Evidence State And Review Artifacts, Reporting And Review Variants, Active Run And Workspace Lifecycle |
| Host Ownership |
Host-Owned Execution, Vocabulary Consistency, Agent-Human Resumability |
Adapter And Host Ownership, Live Invocation Runtime, Binary And Skill Boundary |
| A Testable Agent |
— |
— |
Cross-Cutting Rule Coverage
Reverse view: which promises each cross-cutting rule governs (derived from the same governed-by:: edges).
| Cross-cutting rule |
Governs promises |
| Agent-Human Resumability |
Readiness, Claim Discovery, Host Ownership |
| Cost And Proof Freshness |
Behavior Evaluation, Bounded Improvement |
| Evidence Gaps |
Readiness, Claim Discovery, Bounded Improvement |
| Host-Owned Execution |
Readiness, Claim Discovery, Behavior Evaluation, Bounded Improvement, Host Ownership |
| Packet Freshness |
Behavior Evaluation, Reviewable Artifacts |
| Reviewable Artifacts |
Claim Discovery, Behavior Evaluation, Bounded Improvement, Reviewable Artifacts |
| Vocabulary Consistency |
Readiness, Host Ownership |