Nomos Developer Documentation
ARCHITECTURE · FORMAL CONTRACTS (37)

Open-Core Architecture Specifications

Canonical design-time contracts synchronized from the Apache 2.0 mgantlett/nomos repository. Every specification defines deterministic state invariants, CLI interfaces, and verification test vectors.

37 / 37 contracts

Core Governance & CLI Contracts

30 specs

Phase state machines, Tier 1 indirect control adapters, hermetic Git worktrees, CapBAC leases, and CLI command contracts.

CORE v4.0.0

Actionable JIT Contextual Learning & Interactive Triage Worktrees

nomos_actionable_jit_triage_spec Updated 2026-11-01
CORE v4.1.0

Agent Tiers & Indirect Control: The Open-Core Charter Architectural Specification

agent_tiers_and_indirect_control_spec Updated 2026-11-01
CORE v4.0.0

Anti-Stub Invariants, Empirical Verification, and Contract Boundaries Specification

anti_stub_and_empirical_proof_spec Updated 2026-11-01
CORE v4.0.0

CLI and Flag Surface Parity Contract Expansion Specification

cli_and_flags_parity_expansion_spec Updated 2026-11-01
CORE v4.1.0

Commit Schema Invariant Gate Specification

nomos_commit_schema_invariant_spec Updated 2026-11-01
CORE v4.1.0

Full 42 DoD Gate Suite and Polyglot Verification Architecture Specification

full_dod_gate_suite_and_polyglot_spec Updated 2026-11-01
CORE v4.0.0

Gate Integrity & Invariant Attestation Specification (Mutation Sensitivity, Metamorphic Invariance, AST Anti-Vacuity)

gate_integrity_and_invariant_attestation_spec Updated 2026-11-01
CORE v4.1.0

Hermetic Git Hooks, Task Commit, and Staged Boundary Enforcement Specification

git_hooks_and_commit_schema_spec Updated 2026-11-01
CORE v4.0.0

Hermetic Worktree and Git Hygiene Specification

nomos_hermetic_worktree_spec Updated 2026-11-01
CORE v4.0.0

Invisible Harness Asset Embedding & Ambient Hook Parity Specification

agent_workflows_and_embedding_spec Updated 2026-11-01
CORE v4.0.0

Just-In-Time (JIT) Handshake Dynamic Injection and Session Journal Distillation Specification

jit_handshake_and_session_journal_spec Updated 2026-11-01
CORE v4.0.0

Nomos Controlled Technical English (NCTE-100) Architectural Specification

nomos_controlled_technical_english_spec Updated 2026-11-01
CORE v4.0.0

Nomos CUE Singularity Policy Engine Specification

cue_singularity_policy_engine_spec Updated 2026-11-01
CORE v4.0.0

Nomos Declarative DoD Quality Gate Pipeline Specification

declarative_pipeline_spec Updated 2026-11-01
CORE v4.0.0

Nomos Intent Traceability Specification

nomos_intent_traceability_spec Updated 2026-11-01
CORE v4.0.0

Nomos Launchpad: Invisible Harness & Intent Activity Telemetry Specification

launchpad_invisible_harness_and_telemetry_spec Updated 2026-11-01
CORE v4.0.0

Nomos Mneme Episodic and Semantic Memory Subsystem Specification

mneme_memory_spec Updated 2026-11-01
CORE v4.0.0

Nomos Software Physics Engine - Kinematics, Continuous Collision Detection & Phase Ballistics Specification

software_physics_engine_spec Updated 2026-11-01
CORE v4.1.1

Nomos Task Contract & Universal 3-Section Backlog Card Specification

nomos_plane_tailored_task_schemas_spec Updated 2026-11-01
CORE v4.0.0

Nomos Upgrade Subsystem Specification (Cryptographic Supply Chain & Atomic Swap)

nomos_upgrade_spec Updated 2026-11-01
CORE v4.0.0

Open-Core License, IP Boundary, and Release Readiness Specification

open_core_license_spec Updated 2026-11-01
CORE v4.0.0

Open-Core Terminal UI Architecture & Totem CLI Ergonomics

lipgloss_terminal_ui_spec Updated 2026-11-01
CORE v4.0.0

Pure-Go SQLite Persistence and Task State Store Specification

pure_go_sqlite_persistence_spec Updated 2026-11-01
CORE v4.0.0

Strongly-Typed Actionable Error Framework Specification

nomos_actionable_error_framework_spec Updated 2026-11-01
CORE v4.1.0

Task Lifecycle CLI and Workspace State Transition Specification

task_lifecycle_cli_spec Updated 2026-11-01
CORE v4.0.0

The Seven Laws of Deterministic Engineering and the 7x3 Canonical Gate Matrix Specification

seven_laws_canonical_gate_matrix_spec Updated 2026-11-01
CORE v4.0.0

Tier 1 Agent Adapter Contract & Projection Registry Specification

tier1_agent_adapter_contract_spec Updated 2026-11-01
CORE v4.0.0

Tier 1 Indirect-Control Multipliers & Nomos Learn: Episodic Trap Distillation Specification

tier1_indirect_control_and_learn_spec Updated 2026-11-01
CORE v4.1.0

TraceTrial-Bench 7-Pillar Harness Reliability & Fail-Closed Stress Specification

tracetrial_harness_reliability_spec Updated 2026-11-01
CORE v4.0.0

Zero-Source Downstream Developer Experience & Agentic HATEOAS Specification

zero_source_developer_experience_spec Updated 2026-11-01

Substrate, AST & Persistence Contracts

7 specs

Polyglot Tree-sitter AST validation, Definition of Done quality gates, SQLite WAL state encapsulation, and Git Notes provenance.

Sophia AI · Live Architecture Chat (RTX 4080)