Milestone 0.13 — Suite-wide faster-than-Redland

Status: complete

Outcome: authorize a suite-wide faster-than-Redland claim when Linux x86-64, macOS Apple Silicon, and Windows x86-64 each pass three independent corrected-runner runs against the frozen strict suite (ADR-029).

Depends on: 0.12 (complete — ADR-028 competitive parity)

Evidence: 0.13 performance report, 0.13.0 release checklist, compatibility/qualification/performance/0.13/, qualify-0.13 run 30973969324 on a50ee5b25eb9daa56b0cf1d155856e1c312b35fb, python3 scripts/check-0.13-release.py green.

Frozen scope

• Suite: compatibility/performance/0.13-suite.json — throughput median ≥ 1.05 (CI lower > 1.0), latency median ≤ 0.95 (CI upper < 1.0), 100 paired AB/BA samples, RSS budgets 1.25.
• Matrix: compatibility/qualification/0.13-matrix.json
• Harness: compatibility/harness/c_oracle/perf_bench_0_13.c
• Collector: python3 scripts/run-0.13-performance.py --run-index N
• Checker: python3 scripts/check-0.13-release.py
• CI: .github/workflows/qualify-0.13.yml (workflow_dispatch or pushes to 0.13* / milestone-0.13*)

Evidence layout

Nine cells under compatibility/qualification/performance/0.13/:

{target}__release-default__run{1,2,3}.json

Targets: x86_64-unknown-linux-gnu, aarch64-apple-darwin, x86_64-pc-windows-msvc.

Exit signals

• All nine collector jobs green on a single qualification workflow run.
• scripts/check-0.13-release.py passes on the staged artifacts (unique execution_ids, production-compile provenance, harness checksum match).
• User/evaluator docs publish the suite-wide claim with host/run scope (host-scoped tables remain separately scoped).

ADR-028 remains the closed 0.12 competitive-parity record; this milestone does not reopen it.