v1.0_BACKLOG.md¶

Planned v1.0 exit criteria — not a capability list. Many items below shipped in v0.10–v0.12. Do not use this page to evaluate current product capabilities. Unchecked boxes may reflect v1.0 exit criteria, not missing features. For what is available today, see What ships today first.

Exit bar: protege-parity program — PRE_1_0_PHASES.md (v0.19–v0.25 → 1.0.0). Historical checklist: PROTEGE_PARITY.md.

Dependencies: DEPENDENCY_MATRIX.md · ADR-0016

Phase mapping (open items → pre-1.0 releases)¶

Full plan: PRE_1_0_PHASES.md

Strixonomy v1.0 Backlog¶

Stable Core¶

• [ ] Stable catalog API
• [ ] Stable query API
• [ ] Stable diagnostics API
• [ ] Stable semantic diff API
• [ ] Stable docs API
• [ ] Stable OWL API (strixonomy-owl)

OWL layer (ADR-0013, ADR-0016)¶

• [x] strixonomy-owl crate — horned-owl + patch write-back (v0.4.0; Manchester deferred)
• [x] Manchester parse/serialize via horned-functional (v0.5 — Manchester editor + patch ops)
• [x] Horned-OWL → OntoLogos bridge for strixonomy-reasoner classify input (v0.9)
• [x] Axiom round-trip golden tests (Protégé fixtures) (v0.12)
• [x] Oxigraph ↔ Horned-OWL consistency checks (v0.4.0)
• [ ] Virtual tables from Horned-OWL: restrictions, equivalent_class_axioms, disjoint_class_axioms, domain_axioms, range_axioms

Format Support¶

• [x] Turtle (v0.2)
• [x] RDF/XML (v0.2)
• [x] OWL/XML read-only catalog (v0.12); write-back → v0.21
• [x] JSON-LD (v0.2)
• [x] N-Triples (v0.2)
• [x] TriG (v0.2)
• [x] OBO via fastobo + strixonomy-obo — read (v0.11) + write-back (v0.12) (OBO_ROBOT_SPEC.md)

Query¶

• [x] SQL virtual tables (v0.2)
• [x] SPARQL support (v0.2)
• [ ] ontology helper functions
• [ ] joins (extend sqlparser virtual tables first; see ADR-0011)
• [ ] aggregations (same; DataFusion only if triggered)
• [x] exports (v0.2 CLI)

Diagnostics (DEPENDENCY_MATRIX.md)¶

• [x] parse diagnostics (oxigraph errors → LSP) (v0.3)
• [x] import / prefix diagnostics (catalog rules) (v0.3)
• [x] annotation / quality diagnostics (in-house lints) (v0.3)
• [x] diagnostics SQL virtual table (v0.3)
• [ ] configurable rules
• [x] quick fixes (v0.11 — LSP textDocument/codeAction for undefined prefix, missing label, broken import)

Diff¶

• [x] file / directory diff (v0.10 — strixonomy-diff)
• [x] Git branch diff (git2) (v0.10)
• [x] entity diff (v0.10)
• [x] axiom diff (v0.10)
• [x] breaking change detection (v0.10)
• [ ] Markdown PR summary

Documentation¶

• [x] Markdown export (pulldown-cmark) (v0.11 — strixonomy docs)
• [x] HTML export (minijinja) (v0.11)
• [x] entity pages (v0.11)
• [ ] class hierarchy docs
• [ ] property docs
• [ ] diagnostics report

ROBOT interop (OBO_ROBOT_SPEC.md)¶

• [x] strixonomy robot validate (v0.7)
• [x] strixonomy robot merge (v0.7)
• [x] strixonomy robot report (v0.7)
• [x] strixonomy.robotPath setting (v0.7)

Reasoning (REASONER_SPEC.md, ADR-0014, ADR-0015)¶

• [x] strixonomy-reasoner crate + ReasonerAdapter trait (v0.6–v0.9)
• [x] Pin ontologos-* = "1.0" — el, rl, rdfs, profile, query, explain, dl, facade (v0.9+)
• [x] el adapter → ontologos-el (OWL EL) (v0.6)
• [x] dl adapter → ontologos-dl (v0.9 — OntoLogos 1.0.0 on crates.io)
• [x] DL unsatisfiability explanations via ontologos-explain + ontologos-dl (v0.12)
• [x] auto adapter → ontologos-facade (v0.9)
• [ ] Classification result cache (v1.0)
• [x] Golden tests on Protégé-exported fixtures (v0.12)

Strixonomy v1.0 Backlog¶

UI specification pack: docs/ui/README.md · Release mapping: ROADMAP_MAPPING.md

React webview UI (ADR-0017, OntoCode_React_UI_Integration_Plan.md)¶

• [x] extension/webview-ui/ — Vite + React + TypeScript scaffold (v0.7a)
• [x] Typed postMessage protocol (extension host ↔ React) (v0.7a)
• [x] Panel host + CSP nonce framework; build:webview in VSIX pipeline (v0.7a)
• [x] Entity inspector on React (v0.7)
• [x] Graph visualization panels on React (v0.7)
• [x] Query workbench on React (v0.8)
• [x] Manchester editor on React (v0.8)
• [x] Reasoner + explanation panels on React (v0.9)
• [x] Semantic diff panel on React (v0.10)
• [x] Refactor preview + Manage Imports on React (v0.8 / v0.11)
• [ ] Webview integration tests + accessibility review (v1.0) — TESTING_STRATEGY.md, ACCESSIBILITY_SPEC.md
• [x] Remove legacy hand-written HTML webviews (v0.9)

UI platform (v0.13 → v1.0) — ROADMAP_MAPPING.md § Master checklist¶

Full item-by-item checklist with shipped/planned status lives in the master table. Below: v0.13–v1.0 priority subset.

v0.13 (phases 0–1, partial 3/5/9):

See roadmap.md § v0.13 for priority tiers (P0/P1/P2) and implementation tracks.

• [ ] P0 WorkspaceStore + Current Focus model (STATE_MANAGEMENT.md)
• [ ] P0 Centralized webview event bus + extension-host focus relay (EVENT_SEQUENCE_DIAGRAMS.md)
• [ ] P0 Design tokens aligned with DESIGN_TOKENS.json; shared primitives on Inspector + Query Workbench (COMPONENT_LIBRARY.md)
• [ ] P0 Explorer ↔ inspector ↔ graph semantic sync (INFORMATION_ARCHITECTURE.md)
• [ ] P0 Semantic navigation history stub (WORKSPACE_MODEL.md)
• [ ] P0 Refactor Preview + reasoning slices in store (SEMANTIC_REFACTORING.md)
• [ ] P1 Query schema browser (QUERY_WORKBENCH.md)
• [ ] P1 Horned-OWL axiom virtual tables (restrictions, equivalent_class_axioms, …)
• [ ] P1 strixonomy diff --pr-summary (COLLABORATION.md)
• [ ] P1 Accessibility pass on migrated panels (ACCESSIBILITY_SPEC.md)
• [ ] P1 Webview integration tests (TESTING_STRATEGY.md)
• [ ] P2 Validation report panel; full panel component migration

v1.0 (phases 1–6 exit + partial 9):

• [ ] Persistent tabs + bottom dock (WORKSPACE_WIREFRAMES.md)
• [ ] Relationship cards, references view, metadata view (ENTITY_EDITOR_SPEC.md)
• [ ] Graph saved layouts, filters, reasoning overlays (GRAPH_WORKSPACE.md)
• [ ] Semantic build pipeline + reasoning history (REASONING_EXPERIENCE.md)
• [ ] Merge classes + batch label normalization (SEMANTIC_REFACTORING.md)
• [ ] Review workspace MVP (COLLABORATION.md)
• [ ] Keyboard shortcuts catalog (KEYBOARD_SHORTCUTS.md)
• [ ] Human interface guidelines (HUMAN_INTERFACE_GUIDELINES.md)

Hybrid authoring (OWL_AUTHORING_SPEC.md)¶

• [x] Quick axiom forms (SubClassOf, domain, range, characteristics) (v0.12 Turtle + OBO)
• [x] Manchester axiom editor webview (v0.8)
• [x] Turtle preview before apply (v0.4 — inspector + patch preview)
• [x] Axiom add/remove/edit from inspector (v0.4 Turtle; v0.12 domain/range/chains)
• [x] Create/edit/delete classes, properties, individuals (v0.4.0 Turtle patches)
• [x] Manage imports (v0.11)

Reasoner UX (REASONER_SPEC.md)¶

• [x] Explanation webview (v0.9 — EL-first)
• [x] Asserted/inferred/combined hierarchy toggle (v0.6)
• [x] Reasoner profile picker (el / dl / rl / rdfs / auto) (v0.9)
• [x] Unsatisfiable class view (v0.6)

OBO/ROBOT UI¶

• [x] OBO syntax highlighting (v0.7)
• [x] OBO id rendering in explorer (v0.7)
• [x] ROBOT command integration in palette (v0.7 — via CLI/LSP)

LSP (SPEC.md §9)¶

• [x] hover, go-to-definition, document/workspace symbols (v0.2)
• [x] diagnostics (v0.3)
• [x] completion (v0.11)
• [x] rename (v0.8)
• [x] find references (v0.8)
• [x] code actions (v0.11)
• [ ] semantic tokens
• [x] strixonomy/applyAxiomPatch (v0.4.0)
• [x] strixonomy/parseManchester (v0.5.0)
• [x] strixonomy/query, strixonomy/sparql (v0.5.0)
• [x] strixonomy/getExplanation (v0.9)

Refactoring¶

• [x] Rename IRI (v0.8)
• [x] Find usages (v0.8)
• [x] Move entity (v0.8)
• [x] Extract module (v0.8)
• [x] Namespace migration (v0.8)
• [x] Preview refactor (v0.8)

Visualization¶

• [x] Class / property / import / neighborhood graphs (v0.7)
• [x] Inferred edge toggle (v0.6 — via hierarchy mode)

Query Workbench¶

• [x] SQL editor (v0.5.0)
• [x] SPARQL editor (v0.5.0)
• [x] saved queries
• [x] result export (v0.5.0)
• [x] query history (v0.5.0)

Collaboration¶

• [x] semantic diff panel (v0.10)
• [x] Git branch comparison (v0.10)
• [ ] PR summary generation
• [ ] validation report
• [x] docs generation (v0.11 — strixonomy docs)

Plugins (PLUGIN_SPEC.md) — P1¶

See also PLUGIN_PLATFORM.md and PLUGIN_API_SPEC.md. - [ ] Stable plugin API (semver) - [ ] Reference: naming validator - [ ] Reference: Markdown exporter - [ ] Reference: SHACL validator via rudof (SHACL_SPEC.md)

Release¶

• [x] VS Code Marketplace package (v0.4.0)
• [x] documentation site (v0.4.0 — Read the Docs)
• [ ] examples/protege-roundtrip/ ontology set (fixtures exist; full workflow doc pending)
• [ ] examples/obo-workflow/ fixture repo
• [ ] tutorial videos/scripts
• [x] first-week migration guide from Protégé — protege-migration.md (round-trip / OWL/XML playbooks remain v1.0)
• [ ] performance benchmarks doc (large ontology targets)