SophiaLabs Domain Lexicon & Terminology
Canonical terminology and architectural index for the Nomos Operating System and SophiaLabs ecosystem.
SophiaLabs Domain Lexicon
Dual-Core Architecture
The structural division between non-deterministic AI cognitive exploration (The Cognitive Layer) and deterministic, machine-enforced Go compiler verification (The Substrate Kernel). See in-depth chapter: Harness Over Model.
Harness Over Model
The foundational engineering axiom: "Intelligence without Invariants is Liability; Invariants without Intelligence is Rigidity." Rather than relying on stochastic LLM prompt self-policing, machine-enforced Go AST verification gates and git pre-commit hooks act as an immutable physical totem. See in-depth chapter: Harness Over Model.
Transient Worktree Sandboxing
The zero-pollution execution model where autonomous AI coding agents execute modifications strictly inside isolated, ephemeral git worktrees (worktrees/<repo>-<task>) before atomic fast-forward verification and teardown.
SLM (Small Language Model)
Compact, specialized open-weight models (7B to 32B parameters, e.g. Qwen3.8-27B Dense) running on local dedicated GPU silicon (e.g. NVIDIA RTX 4080) with zero marginal token tax and complete codebase privacy. See in-depth chapter: The Token Tax & Inference Economics.
Conduit
High-speed local browser bridge and Model Context Protocol (MCP) provider providing AI agents with zero-latency programmatic access to active DOM state, network inspection, and accessibility trees.