# Redland parity ledger
Last completed milestone: 0.3
Current development milestone: 0.4 (`planned`)
Ledger maturity: curated 0.1 core, 0.2 I/O, and 0.3 query/update inventory
slices; full header-derived generation pending with the broader oracle harness
Target: the documented Redland `librdf` 1.0.17 API (manual labeled 1.0.18).
Planned sequencing and completion rules are documented in the
[0.x roadmap](docs/ROADMAP.md) and
[compatibility plan](docs/COMPATIBILITY.md).
Inventory revisions:
- [`compatibility/inventory/redland-1.0.17-oxiland-0.1.json`](compatibility/inventory/redland-1.0.17-oxiland-0.1.json)
- [`compatibility/inventory/redland-1.0.17-oxiland-0.2.json`](compatibility/inventory/redland-1.0.17-oxiland-0.2.json)
- [`compatibility/inventory/redland-1.0.17-oxiland-0.3.json`](compatibility/inventory/redland-1.0.17-oxiland-0.3.json)
0.3 compatibility report: [`docs/reports/0.3.md`](docs/reports/0.3.md)
## Status vocabulary
- `unreviewed`: not yet mapped from canonical Redland inputs.
- `mapped`: intended Rust/C representation is documented.
- `implemented`: code exists but lacks complete compatibility evidence.
- `verified`: required evidence passes for the **stated inventory scope**
(linked implementation + tests, and fixtures named by that milestone). It does
**not** mean every Redland symbol or a full native differential suite has
passed—read the linked inventory revision and milestone report.
- `not-applicable`: legacy mechanism replaced safely with rationale.
- `excluded`: intentionally unsupported with an approved impact assessment.
## Subsystem summary
| World / lifecycle | Verified (0.1 slice) | Unstarted | 0.1/0.8 | RAII world and feature registry |
| URI | Implemented | Unstarted | 0.1/0.8 | validated named nodes; helper parity beyond construction open |
| Nodes | Verified (0.1 slice) | Unstarted | 0.1/0.8 | Oxigraph term re-exports plus InvalidRdf helpers (ADR-004) |
| Statements | Verified (0.1 slice) | Unstarted | 0.1/0.8 | triples and `StatementPattern` matching |
| Model | Verified (0.1 slice) | Unstarted | 0.1/0.8 | default and named-graph CRUD, size, streaming find |
| Storage | Partial | Unstarted | 0.4/0.9 | memory default; fjall persistence via `Model::open` |
| Streams / iterators | Verified (find + parse + query) | Unstarted | 0.5/0.8 | `StatementMatches`, parser, and query result streams |
| Parser | Verified (0.2 slice) | Unstarted | 0.2/0.8 | `Parser` facade, Syntax discovery, progressive/collecting load |
| Serializer | Verified (0.2 slice) | Unstarted | 0.2/0.8 | `Serializer` facade, prefixes, graph/dataset checks |
| SPARQL query/results | Verified (0.3 slice) | Unstarted | 0.3/0.8 | Query builder, streaming results, ResultsFormat |
| Query update | Verified (0.3 slice) | Unstarted | 0.3/0.8 | `Update` facade; write-locked Fjall resync with compensated rollback |
| Digests | Unstarted | Unstarted | 0.5/0.8 | inventory and mapping pending |
| Hashes / lists | Unreviewed | Unstarted | 0.5/0.8 | likely Rust replacements; rationale required |
| Heuristics / files / Unicode | Partial (I/O Unicode) | Unstarted | 0.5/0.8 | Unicode literals covered in 0.2 I/O tests |
| Logging | Unstarted | Unstarted | 0.5/0.8 | callback and `tracing` design pending |
| Storage plug-ins | Unreviewed | Unstarted | 0.4/0.9 | per-backend decisions required |
| `rdfproc` utility | Unstarted | n/a | 0.6 | CLI workflow inventory pending |
## Current evidence
- Inventory: 22 curated 0.1 entries, 10 curated 0.2 I/O entries, and 10
curated 0.3 query/update entries (verified in their slices).
- Integration tests cover world features, CRUD, named graphs, streaming find,
SPARQL query/update/results (`tests/query.rs`), invalid input, unsupported
storage, and the 0.2 I/O matrix in `tests/io.rs`.
- Curated W3C-style syntax cases run through the public facade
(`tests/conformance.rs`).
- Native `rapper` I/O oracle/differential and SPARQL facade smoke harnesses are
available under `compatibility/harness/`.
- Examples `quick_start`, `contexts`, `parse_serialize`, `select`,
`progressive_load`, `construct`, and `update` run in CI.
- ADR-004, ADR-005, ADR-007, ADR-008, and ADR-009–ADR-012 are accepted.
- Oxigraph 0.5.9 remains pinned with default features disabled.
## Next ledger upgrade
Generate the remaining Redland symbols from pinned headers once the broader
oracle harness expands. Expand verified rows only when differential or standards
fixtures exist for the claimed behavior. Next development focus: **0.4**
storage/transactions, then utilities (0.5), safe-API accounting (0.6), the
**Pythonic Python package (0.7)**, and C ABI (0.8+).
“100% parity” is reached only when every public Redland function is represented
in a generated symbol inventory, has a documented mapping or intentional
safe-Rust replacement, and satisfies the evidence required for the specific
compatibility claim. No blended percentage is used.