# Tranche Template

- Goal:
- Product lifecycle:
- Feature delivery lifecycle:
- Layer:
- Lane:
- Mode:
- Attention focus:
- Constraints:
- Done:
- Proof class:
- Change state:
- Next action:
- Branch hygiene:
- Protected artifacts affected:
- Authority owner:

## L1 Additions

- Invariants:
- Trust boundaries:
- Acceptable tradeoffs:
- Drift risk:

## L2 Additions

- Scope boundary:
- Acceptance criteria:
- Expected verification:
- Proof mapping:

## Closeout

- Original invariant/operator sentence:
- Scenario proof:
- Supporting mechanism proof:
- Missing proof:
- Branch disposition:
- Process-change disposition: