Specs
The Specs section contains URS, FS, and NFS documents (GAMP-inspired) and the DS design specifications. The canonical source format is Markdown, suitable for versioning and review.
This page offers two ways to open specs: a client-side HTML viewer and direct Markdown links.
HTML Viewer
These links open a lightweight viewer that loads the Markdown file and renders it into readable HTML in the browser.
Requirements
URS
User requirements (HTML viewer)
FS
Functional specification (HTML viewer)
NFS
Non-functional specification (HTML viewer)
Design Specifications
DS001
Foundations and Architecture (HTML viewer)
DS002
VM Design and Execution (HTML viewer)
DS003
Query Compilation and Search (HTML viewer)
DS004
Correctness and Bounded Closure (HTML viewer)
DS005
Training, Learning, and Optimization (HTML viewer)
DS006
Implementation Plan (HTML viewer)
DS007
Data Formats and Constants (HTML viewer)
DS008
Algorithms (HTML viewer)
DS009
Error Handling (HTML viewer)
DS010
Emergent Separator Discovery (HTML viewer)
DS011
Generative Decoding and Macro-Unit Language Modeling (HTML viewer)
DS012
Disk-Backed Storage Strategy (FileStore) (HTML viewer)
Markdown Links
These links open the raw Markdown files directly.
Requirements
URS.md
User requirements (Markdown)
FS.md
Functional specification (Markdown)
NFS.md
Non-functional specification (Markdown)
Design Specifications
DS001
Foundations and Architecture
DS002
VM Design and Execution
DS003
Query Compilation and Search
DS004
Correctness and Bounded Closure
DS005
Training, Learning, and Optimization
DS006
Implementation Plan
DS007
Data Formats and Constants
DS008
Algorithms
DS009
Error Handling
DS010
Emergent Separator Discovery
DS011
Generative Decoding and Macro-Unit Language Modeling
DS012
Disk-Backed Storage Strategy (FileStore)
Specification Structure
The consolidated design specifications cover the complete VSAVM architecture:
- DS001: High-level vision, event stream representation, VSA integration, geometric interpretation, conceptual spaces
- DS002: VM state and memory model, instruction set architecture, execution modes, macro-instruction system
- DS003: Natural language query compilation, program search, schema learning, multimodal query processing
- DS004: Correctness contract, bounded closure algorithm, consistency checking, execution tracing
- DS005: Two-loop training architecture, compression-driven learning, RL integration, performance optimization
- DS006: Implementation plan, source code structure, strategy interfaces, test organization
- DS007: Data formats, serialization schemas, identifier formats, system constants
- DS008: Algorithms in pseudocode
- DS009: Error categories and recovery strategies
- DS010: VSA-based emergent separator discovery and RL boundary optimization
- DS011: Generative decoding via macro-units, VM state conditioning, claim validation, and time/token budgets
- DS012: Optional disk-backed fact storage (FileStore) to reduce RAM pressure, with append-only logs and tombstones