A typed ledger of claims, decisions, and questions with scoped context for agents.
2 in the Claude listing