# tasks.md — <change-id>

## Rules
- Execute in order unless marked [P].
- Update this file as work completes.
- Do not mark complete unless the verifier for that item has passed.

## Tasks
- [ ] T1: read `CURRENT_STATE.md`, `MIGRATION_GUARDRAILS.md`, `spec.md`, and `plan.md`
- [ ] T2: add or confirm characterization tests for touched surfaces
- [ ] T3: implement smallest viable slice
- [ ] T4: verify no unintended behavioral drift
- [ ] T5: run full verify
- [ ] T6: reconcile implementation against acceptance criteria

## Completion checklist
- [ ] existing characterization tests still pass
- [ ] no contract regressions
- [ ] migration notes if applicable
