## 1. Loss Attribution

- [x] 1.1 Add a 10,000-packet production-path regression that records source, injected-drop, provider/FEC, queue, gateway, QUIC, and public-client outcomes
- [x] 1.2 Reproduce and repair unexplained zero-loss baseline loss without relaxing bounds or hiding drops
- [x] 1.3 Prove all three fixed baseline bitrates meet the healthy-path contract

## 2. Impairment Semantics

- [x] 2.1 Add fixed-seed regressions for reorder-off jitter, loss-only order, and bounded reorder-on behavior
- [x] 2.2 Repair the existing source-boundary shaper and retain separately attributable configured and observed axes

## 3. Resource and Timing Attribution

- [x] 3.1 Add child-process regressions proving gateway-only CPU, heap, allocation, and goroutine samples
- [x] 3.2 Prove parent CPU isolation, idle/work behavior, and independent per-profile counter baselines
- [x] 3.3 Measure and record bounded nonzero batched monotonic-clock overhead and method

## 4. Verification and Evidence

- [x] 4.1 Run focused production-path, race, fuzz, cancellation, slow-reader, amplification, parser-resource, and bounded soak checks
- [x] 4.2 Run strict OpenSpec validation, normal-module verification, and reproducible Linux artifact inspection
- [x] 4.3 Freeze all executable inputs and run the corrected normative Section 7 qualification once for the candidate
- [x] 4.4 Preserve failed attempts and append superseding evidence and ledger rows without rewriting RC8