Strixonomy engineering specs (design/)¶
NOT PRODUCT CLAIMS. Specs, ADRs, and milestone notes for contributors. Many pages describe targets, not shipped behavior.
For adoption decisions use only: What ships today and Known limitations.
Canonical platform direction: Vision, Architecture, Roadmap.
Documentation layers¶
| Layer | Where | Audience |
|---|---|---|
| Platform | vision.md, architecture.md, roadmap.md | Everyone — mission, ecosystem, forward plan |
| Shipped | SHIPPED.md, guides, reference | Users evaluating current capabilities |
| Product design (UI) | ui/README.md — ROADMAP_MAPPING.md | Designers, frontend contributors — UX specs mapped to releases |
| Engineering | docs/design/ (this folder) | Contributors — specs, ADRs, v0.1–v0.11 milestones |
For user-facing guides, pick a path:
| Path | Audience | Start |
|---|---|---|
| VS Code extension | Explorer, inspector, Query Workbench, reasoner panels | Marketplace, Open VSX (Cursor), or VSIX — no Rust required |
| Rust & CLI | strixonomy CLI, crates.io libraries, CI, LSP integrators | cargo install strixonomy-cli |
Documentation home · What ships today
Two related products:
- Strixonomy — Rust semantic workspace engine (
strixonomy-*crates). - Strixonomy — VS Code extension (explorer, diagnostics, Turtle + Manchester authoring, Query Workbench, reasoner).
Sibling project: OntoLogos — Rust ontology reasoner. Strixonomy delegates reasoning to OntoLogos per ADR-0015.
Dependency policy: ADR-0016 — thin strixonomy-* facades over mature crates. Inventory: DEPENDENCY_MATRIX.md. Licenses: LICENSES.md.
v1.0 exit bar¶
protege-parity program — authoritative 1.0 engineering plan (PRE_1_0_PHASES.md). PROTEGE_PARITY.md — historical v0.18 P0/P1/P2 checklist. Forward plan: Roadmap § Strixonomy 1.0.
Document status¶
Many specs describe target behavior. Check the banner at the top of each doc, or:
- Implemented v0.6 LSP: LSP API — includes
query,sparql,parseManchester,runReasoner,getExplanation - Implemented reasoner: Reasoner guide
- Implemented SQL tables: SQL reference
- Implemented authoring: authoring guide
- ADRs (canonical): adr/README.md
Documents¶
Product & roadmap¶
- PLAN.md — tactical product plan (executive summary in Vision)
- ROADMAP.md — engineering milestones v0.1–v0.11 (shipped detail)
- DEPENDENCY_MATRIX.md — external crate inventory
- LICENSES.md — third-party license summary
- protege-parity program — 1.0 engineering program
- PROTEGE_PARITY.md — historical v0.18 compete checklist
- v1.0_BACKLOG.md — implementation backlog
Technical specs¶
- SPEC.md — combined technical specification
- ARCHITECTURE.md — implementation architecture (crate layout)
- OWL_AUTHORING_SPEC.md — hybrid forms + Manchester authoring
- OBO_ROBOT_SPEC.md — OBO format + ROBOT interop
- REASONER_SPEC.md — OntoLogos-backed reasoners (0.9.0 → 1.0.0)
- SHACL_SPEC.md — SHACL validation (P1)
- SEMANTIC_DIFF_SPEC.md — semantic ontology diff
- LSP_SPEC.md — target language server (v1.0 methods)
- PLUGIN_SPEC.md — plugin system
UX¶
- UI specification pack — product design, design system, workspace model, AI/plugin UX (target; see ROADMAP_MAPPING.md for shipped vs planned)
- UI_WIREFRAMES.md — text-based VS Code wireframes (legacy; see WORKSPACE_WIREFRAMES.md)
- OntoCode_React_UI_Integration_Plan.md — React webview migration (v0.7a → v1.0, ADR-0017; panels shipped v0.7–v0.11)
Historical / backlog¶
- MVP_BACKLOG.md — v0.1/v0.2 backlog
- adr/README.md — architecture decision records