v0.18.0 scope (release)¶
This document is the v0.18.0 release scope for OntoCode (VS Code extension) and OntoCore (Rust engine).
Source of truth for “what’s available today” remains SHIPPED.md. This file defines what we intend to ship in v0.18.0.
Approach: docs/audit-first. Must-ship is locked from the v0.18 Protégé Desktop parity assessment.
Theme¶
Finish last-mile Protégé Desktop parity and ship a verifiable “Protégé not required” desktop experience before the 1.0 stabilization push.
Primary roadmap anchor: ROADMAP.md → v0.18 — Protégé Desktop parity gate + 1.0 migration readiness.
Must ship (locked from audit)¶
Engine / LSP¶
- Distinct reasoner lifecycle: Start (open panel + classify), Synchronize (reindex then classify), Classify, Consistency (classify + consistency messaging)
- Stop / cancel: cancel in-flight client reasoner request (
CancellationToken); ignore late results; clear running UI (server may still finish the CPU-bound classify) - Explanation staleness UX: wire
isExplanationStaleagainst catalog fingerprint after reindex while panel stays open - Import / serialization edge fixtures: unused
protege-roundtripassets asserted; broken-import + OWX/RDFXML regression kept green
OntoUI / OntoCode¶
- Layout restore: serializers reopen panels via saved command + context (entity IRI / graph kind / query), not recovery-only HTML
- Named perspectives continue to open fixed panel sets; restore uses the same reopen path
- Large-ontology hardening (scoped): graph truncation messaging + explorer lazy expand; document limits
- Accessibility: keyboard focus + ARIA labels on Explanation, Reasoner, Imports, and Graph chrome
- Checklist honesty: MENUS false greens corrected
Docs / fixtures¶
- Expand
tests/protege_roundtrip.rs+ workflow-level regression (unsat fingerprint / stale logic; import edge) - Refresh protege-migration.md for v0.18 + honest desktop known-gap list
- Add migration/v0.18.md
- Update SHIPPED / known-limitations / ROADMAP status
Non-goals (v0.18)¶
Hard non-goals (remain v1.0+):
- OWL/XML or RDF/XML write-back
- Full multi-step semantic undo stack
- Review workspace / deep IDE shell (persistent tabs + bottom dock, relationship/metadata views, reasoning history pipeline UI)
- WebProtégé / collaboration
- OntoStudio desktop
- AI / SDKs / MCP
- Stable semver-1.0 plugin marketplace API
- HermiT/Pellet JVM switch; full OntoGraf filter/layout suite; explain all inference kinds beyond unsat
- Mid-classify thread kill on the Rust reasoner (client cancel + ignore late results is the v0.18 bar)
Exit criteria¶
- Gate blockers in the 0.18 assessment are green
- Fixture-driven regression checks for Must-ship workflows are green in CI
- Migration path docs cover modeling, reasoning, explanations, visualization, imports, preferences, with an honest desktop-only known-gap list
Status (v0.18.0): Must-ship complete. Era E (v0.15–v0.18) Desktop parity gate closed. Remaining P0-adjacent work for v1.0 is tracked in PROTEGE_PARITY.md (native DL clash traces, OWL/XML write-back, full DL axiom catalog polish).