maat axiom supersede
Marks an active axiom as replaced by a newer decision.
bash
maat axiom supersede --id stable-boundary --reason "Replaced by package-boundary-rule"What superseding means
Superseding keeps the old axiom in ledger history, but marks it inactive in the current state.
Use this when the claim is not wrong, but a newer axiom or automated rule is now the source of truth.
Options
| Option | Purpose |
|---|---|
--id <id> | Axiom id to supersede. |
--reason <reason> | Optional explanation for supersession. |