# Paper Claim 5 evaluation

Run `uv run --frozen python repro/src/verify.py`. All seven
`C4-INDEPENDENT` rows must pass and the out-of-regime control must be rejected.