Expand description
P16 — Lawful subtraction, compaction, and invariant-preserving reduction.
Subtraction is the dual of accumulation: removal/compaction must preserve declared invariants and emit receipts.
Structs§
- Compaction
Receipt V1 - Receipt emitted after a compaction operation.
- Invariant
Budget V1 - Budget for what can be lost during subtraction.
- Removal
Frontier V1 - Minimal removal that breaks an invariant. Used for dry-run checking.
- Subtraction
Plan V1 - A plan for a subtractive operation. Declares what will be removed and what invariants must be preserved.
- Support
Core V1 - Minimal retained support preserving an invariant.
Enums§
- Budget
Type - Types of invariant budgets.
- Subtraction
Operation - Type of subtractive operation.