A high-dimensional vector (typically 512+ dimensions) used to represent concepts, facts, and states in the geometric space. Implemented as Float32Array in JavaScript.
Related: Architecture, VectorSpace DS
The domain-specific language for Spock. Every statement has the form @varName subject verb object. Supports theories, verbs, and sessions as macro types.
Related: Syntax Reference, FS-03
A named collection of facts and verb definitions that can be persisted to disk and reused across sessions. Defined using @Name theory begin ... end syntax.
A temporary reasoning context that overlays theories and hosts local facts. Session variables are discarded at end unless persisted with Remember.
Related: Session API, SessionManager DS
A binary relation between subject and object. Can be a kernel verb (geometric primitive), logical verb, or user-defined verb macro.
Categories:
Inside a macro, each @name can only be declared once. This enables dependency analysis and deterministic execution order.
Related: URS-004
Statements in a macro are executed in dependency order (topologically sorted), not textual order. Textual order is only a tie-breaker.
Related: DependencyGraph DS
A session can overlay multiple theories using UseTheory. Symbols are resolved by checking local → overlays (LIFO) → global.
Related: FS-04
A record of all executed statements that can be converted to a replayable DSL script (DSL_OUTPUT). Enables explainability and verification.
Related: TraceLogger DS, FS-07
A wrapper for numeric scalars/vectors with optional units. Enables physical calculations with unit compatibility checking.
Related: FS-05, NumericKernel DS
Creating an in-memory copy of a theory for experimentation. Uses BranchTheory verb. Records parent version for history.
Related: TheoryVersioning DS
Combining two theory versions into one. Uses MergeTheory verb with conflict resolution.
Related: TheoryVersioning DS
The conceptual model underlying Spock: concepts are regions, facts are points, and reasoning is geometric transformation in high-dimensional space.
Related: URS-001
| GOS | Geometric Operating System |
| DSL | Domain-Specific Language |
| SSA | Static Single Assignment |
| AST | Abstract Syntax Tree |
| DAG | Directed Acyclic Graph |
| URS | User Requirements Specification |
| FS | Functional Specification |
| NFS | Non-Functional Specification |
| DS | Design Specification |