# Milestone 0.11 parity report
Status: complete (honesty repair on tip)
Milestone: [`0.11`](../milestones/0.11.md)
## Verdict
`scripts/check-0.11-release.py` qualifies 0.11.0 from **C-oracle** two-sided
differentials (system librdf ↔ Oxiland librdf-compat), obligation coverage
tied to positive/boundary/failure/lifecycle fixtures, non-synthetic native
performance benches, and ABI-swap evidence. Python-only or fabricated Redland
observations are rejected.
## Delivered packages
| WP-11-01 baseline + obligations | done | `compatibility/baseline/0.11-baseline-manifest.json`, `0.11-obligations.json`, `redland-1.0.17-oxiland-0.11.json` |
| WP-11-02 two-sided harness | done | `compatibility/harness/two_sided.py` + `c_oracle/` + `fixtures/0.11/` |
| WP-11-03 fail-closed checker | done | `scripts/check-0.11-release.py`, `scripts/derive-0.11-parity.py` |
| WP-11-04 safe workflows | done | `tests/obligations_0_11.rs` + harness differentials |
| WP-11-05 C source corpus | done | `compatibility/downstream/corpus/` (`-Werror`, Redland + Oxiland) |
| WP-11-06 binary ABI packaging | done | `scripts/package-librdf-compat.sh`, `compatibility/downstream/abi/` |
| WP-11-07/08 soft stubs | done | hard-fail or implemented; see `docs/users/c-abi-limitations.md` |
| WP-11-09 safety / fuzz | done | `compatibility/qualification/0.11-fuzz.json` (≥3600s executed per target) |
| WP-11-10 cross-platform raw | done | six-cell C-oracle raw under `compatibility/qualification/raw/` |
| WP-11-11 perf + packaging | done | independent C `perf_bench` evidence; package-gate corpus/ABI in CI |
| WP-11-12 soak + release | done | `0.11-soak.json`; checker green; docs at 0.11.0 |
## Hard gates
| Complete baseline denominator | closed | Checksummed headers + export dump + obligations |
| Native two-sided differential harness | closed | C oracles for both engines; rejects missing Redland/Oxiland libs |
| Safe workflow parity | closed | Obligation-linked Rust tests + fixture coverage |
| C source compatibility | closed | Frozen corpus passes Redland and Oxiland `-Werror` builds |
| Binary ABI interchange | closed | librdf-compat packaging + ABI-swap smoke stamp |
| Full observable behavior | closed | All six profiles differential_passed with C engines |
| Performance honesty | closed | Independent measurements; `synthetic: false`; no paired-ratio fabrication |
| Soft-stub silence | closed | Exported stubs either implemented or hard-fail (ADR-023) |
| Cross-platform provenance | closed | `.github/workflows/qualify-0.11.yml` with derive + checker job |
| Candidate safety and conformance | closed | Fuzz ≥3600s executed; soak revision-bound |
| Performance and packaging retention | closed | Native host C benches; CI package gate |
| Independent reproduction and soak | closed | Checker passes; soak abi_resets=0 |
## Completion rule
This report is `complete` because `scripts/check-0.11-release.py` derives a
passing result from linked raw C-oracle evidence for every frozen target and
profile. Counts from an inventory, an export allowlist, Python-only runs, or
fabricated Redland observations cannot close a gate.