|
1 | 1 | // SPDX-License-Identifier: PMPL-1.0-or-later |
2 | | -= YOUR Template Repo Roadmap |
3 | | - |
4 | | -== Current Status |
5 | | - |
6 | | -Initial development phase. |
7 | | - |
8 | | -== Milestones |
9 | | - |
10 | | -=== v0.1.0 - Foundation |
11 | | -* [ ] Core functionality |
12 | | -* [ ] Basic documentation |
13 | | -* [ ] CI/CD pipeline |
14 | | - |
15 | | -=== v1.0.0 - Stable Release |
16 | | -* [ ] Full feature set |
17 | | -* [ ] Comprehensive tests |
18 | | -* [ ] Production ready |
19 | | - |
20 | | -== Future Directions |
21 | | - |
22 | | -_To be determined based on community feedback._ |
23 | | - |
24 | | -== Enhancements Identified (2026-02-08) |
25 | | - |
26 | | -=== Immediate Fixes |
27 | | - |
28 | | -* Fix tensor reduction operations (max/min/prod use sum_axis - TODO in code) |
29 | | -* Fix unused variable warnings (verisim-normalizer) |
30 | | -* Implement document search highlighting (TODO in code) |
31 | | -* Add binary target to verisim-api for `cargo run` (currently fails with "a bin target must be available") |
32 | | - |
33 | | -=== Integration |
34 | | - |
35 | | -* panic-attack result schema: define a octad schema for storing static analysis results |
36 | | -** Document modality: full JSON report as searchable text |
37 | | -** Graph modality: file -> weakness -> attack-recommendation triples |
38 | | -** Temporal modality: track results over time |
39 | | -** Vector modality: embed weakness descriptions for similarity search |
40 | | -* MCP server mode: expose verisimdb as an MCP tool |
41 | | - |
42 | | -=== Storage |
43 | | - |
44 | | -* Default to persistent storage backends (RocksDB for graph, file-based for document) |
45 | | -* Add configuration file for storage paths and options |
46 | | -* Implement proper data directory management |
47 | | - |
48 | | -=== Query Language (VQL) |
49 | | - |
50 | | -* Complete the ReScript parser integration with the Rust API |
51 | | -* Add VQL endpoint to HTTP API |
52 | | -* VQL REPL for interactive querying |
53 | | - |
54 | | -=== Observability |
55 | | - |
56 | | -* Prometheus metrics endpoint |
57 | | -* Structured logging with tracing |
58 | | -* Health dashboard |
59 | | - |
60 | | -== OPSM Integration |
61 | | - |
62 | | -[source] |
63 | | ----- |
64 | | -OPSM Core |
65 | | - | |
66 | | - v |
67 | | -verisimdb (storage backend candidate for OPSM metadata and audits) |
68 | | -
|
69 | | ----- |
| 2 | += VeriSimDB Roadmap |
| 3 | +:author: Jonathan D.A. Jewell |
| 4 | +:revdate: 2026-03-29 |
| 5 | + |
| 6 | +== Current State |
| 7 | + |
| 8 | +VeriSimDB is a cross-system entity consistency engine with 8-modality octad entities, |
| 9 | +drift detection, self-normalisation, and formally verified queries. The Rust core and |
| 10 | +Elixir orchestration layer are functional. Production hardening through Phase 4.B is |
| 11 | +complete. |
| 12 | + |
| 13 | +Key capabilities delivered: |
| 14 | + |
| 15 | +* 8 modality stores (Graph, Vector, Tensor, Semantic, Document, Temporal, Provenance, Spatial) |
| 16 | +* VQL-DT query language with Elixir-native parser and ReScript frontend |
| 17 | +* 11 proof types (EXISTENCE, INTEGRITY, CONSISTENCY, PROVENANCE, FRESHNESS, ACCESS, CITATION, CUSTOM, ZKP, PROVEN, SANCTIFY) |
| 18 | +* Octad system with drift detection and self-normalisation |
| 19 | +* Hypatia pipeline (ScanIngester, PatternQuery, DispatchBridge) -- 37 tests, 954 patterns across 298 repos |
| 20 | +* Stapeln container ecosystem (compose.toml, .gatekeeper.yaml, manifest.toml, ct-build.sh) |
| 21 | +* Product telemetry (opt-in ETS collector, JSON reporter, 19 tests) |
| 22 | +* Federation adapters with integration test stack (MongoDB, Redis, Neo4j, ClickHouse, SurrealDB, InfluxDB, MinIO) |
| 23 | +* 6 client SDKs (Rust, V, Elixir, ReScript, Julia, Gleam) |
| 24 | +* VQL Playground wired to real backend with demo mode fallback |
| 25 | +* PanLL database module protocol (DatabaseModule.res, DatabaseRegistry.res) |
| 26 | +* Port 8093 running (local dev) |
| 27 | + |
| 28 | +== v0.9.0 -- Production Hardening (Phases 1-3 Complete) |
| 29 | + |
| 30 | +* [x] Phase 1.1: Persistent storage -- redb for 6 stores, Tantivy for document, Oxigraph/redb for graph (125 tests) |
| 31 | +* [x] Phase 1.2: WAL replay at octad level, wired into API startup |
| 32 | +* [x] Phase 1.3: Graceful shutdown (SIGINT/SIGTERM + WAL flush) |
| 33 | +* [x] Phase 1.4: Crash recovery end-to-end tests (5 tests) |
| 34 | +* [x] Phase 2: gRPC (tonic) alongside HTTP (axum), body size limits, env config (53 API tests) |
| 35 | +* [x] Phase 3.1: Criterion benchmarks (11 functions) |
| 36 | +* [x] Phase 3.2: Stress tests (500 concurrent creates pass) |
| 37 | +* [x] Phase 3.3: VQL parser + octad ID fuzz targets |
| 38 | +* [x] Eliminate oxrocksdb-sys C++ dependency (redb pure-Rust backend) |
| 39 | +* [x] Eliminate protoc build dependency (proto code pre-generated) |
| 40 | +* [x] VQL-DT type checker wired end-to-end (Elixir-native + ReScript + Rust ZKP bridge) |
| 41 | + |
| 42 | +== v0.10.0 -- Federation (Phase 4) |
| 43 | + |
| 44 | +* [x] Phase 4.A: Single-node production validated (smoke-test.sh) |
| 45 | +* [x] Phase 4.B: Two-node coexistence validated (two-node-test.sh) |
| 46 | +* [ ] Phase 4.C: Full multi-node heterogeneous federation with Elixir Resolver cross-node routing |
| 47 | + |
| 48 | +== v1.0.0 -- Stable Release |
| 49 | + |
| 50 | +* [ ] Phase 5: VQL as TypedQLiser plugin (10-level type safety for VQL) |
| 51 | +* [ ] GitHub CI integration via verisimdb-data flat-file store (290+ repo ingest) |
| 52 | +* [ ] Fleet dispatch: live GraphQL mutations (requires GitHub PAT with `repo` scope) |
| 53 | +* [ ] MCP server mode (expose VeriSimDB as an MCP tool) |
| 54 | +* [ ] Model router (Haiku classifier for auto-selecting Claude model by task complexity) |
| 55 | + |
| 56 | +== v1.1.0 -- Scale |
| 57 | + |
| 58 | +* [ ] Fly.io persistent deployment (free tier: 3 VMs, 1GB persistent volume) |
| 59 | +* [ ] Horizontal scaling beyond two nodes |
| 60 | +* [ ] Cross-region federation testing |
| 61 | + |
| 62 | +== Future |
| 63 | + |
| 64 | +* Tensor modality: novel applications (active research) |
| 65 | +* Additional federation adapter targets |
| 66 | +* Prometheus metrics dashboard |
0 commit comments