Research-Stack/6-Documentation/docs/VOCABULARY_LOCK.md

Vocabulary Lock: Sovereign Stack / Bodega Kernel

Status: FIXED
Date: 2026-05-02
Authority: Research Stack Architect (via Agentic Coder)

1. Core Definitions

Term	Definition	Lean Reference
Equation Forest	A directed acyclic graph (DAG) of mathematical models and their dependencies.	Semantics.Forest
F01–F12	12 foundation kernel signatures (e.g., Shannon, Carnot, Landauer).	Semantics.Foundations
DIAT	Dynamic Integer-Address Transform (shell coordinate transform).	Semantics.DIAT
S3C	Shell/Topological Codec for energy cell quantization.	Semantics.S3C
AVMR	Adaptive Vector Manifest Roll-up (hierarchical summary).	Semantics.AVMR
NUVMAP	Non-Uniform Variable Mapping (2D spectral projection).	Semantics.NUVMATH
FNWH	Formal Non-Wave Harmonic (the underlying framework).	Semantics.FNWH
PIST	Perfectly Imperfect Square Theory (witness/audit surface).	Semantics.PIST
FAMM	Frustration-Aware Manifold Management (memory/route manager).	Semantics.FAMM
Genome18	18-bit address space (6 bins × 3 bits).	Semantics.Genome18

2. Interface Signatures

NUVMAP Encoding

• Input: Spectral state vector A = [a_1, a_2, \dots, a_n]
• U-Coordinate: u = f(t) = t \times 1000 (Distance-based albedo)
• V-Coordinate: v = g(n) = n (Spectral index)
• Projection: P = Q^T \cdot A
• Failure Mode: Projection error exceeds \epsilon_{tol} in NUVMATH.lean.

Witness format (PIST)

• Witness: { event_id, proof_hash, signature, energy_cell }
• Verification: attest(witness) -> bool

3. Implementation Constraints

• Q16.16 Fixed Point: All arithmetic in Lean (Semantics.Q16_16) and Verilog (NIICore.v) must match bit-exactly.
• S3C Shells: Energy cells must be quantized to n^2 + m integer shells before routing.
• TREE(3) Bound: All recursive lookups in BHOCS must carry a witness of finiteness.

---

Signed by Antigravity on behalf of the User.