AN OPERATING SYSTEM FOR HUMANS, POWERED BY AGENTS.

Your computer shouldwork for you.Not the other wayaround.

NomOS is an operating system for humans, powered by agents. Models can understand what you want while authority and validation stay inside the system.

NomOS desktop using the Boreal theme with a terminal showing system information
NOMOS / BOREAL
SYSTEM / 01
THE MODEL INTERPRETS NOMOS VALIDATES YOU STAY IN CONTROL
POWERED BY AGENTS. GROUNDED IN THE SYSTEM.

Intelligence without surrendering control.

AI should make a computer easier to use — not turn a probabilistic model into its root of trust. NomOS gives agents a semantic interface to the machine while keeping authority, constraints and verification inside the operating system.

The model interprets. NomOS validates.

01

Models interpret

Natural language becomes semantic intent. Agents reason about what you mean, not which implementation detail to poke.

02

NomOS validates

The operating system owns permissions, ranges, readiness and the rules that decide whether an action may happen.

03

Evidence, not confidence

After an action, NomOS reports what the system can actually establish — not what a model merely believes happened.

NOMOS / AGENT ARCHITECTURESEMANTIC / TYPED / VERIFIED
01 / HUMAN YOU say what you want in plain words
02 / MODEL AGENT interprets intent into a typed Operation request
03 / NOMOS API RUNTIMEAUTHORITY LIVES HERE
SEMANTIC SYSTEM API
VALIDATE SCHEMARESOLVE DEPLOYMENTISOLATE USEREXECUTE CONTROLLERCAUSAL RECEIPT
04 / MACHINE SYSTEM crash-durable state, session daemons, hardware controls
MODEL PROPOSES · RUNTIME CONTROLSSYSTEM EVIDENCE REMAINS GROUND TRUTH
CAUSAL EXECUTION PIPELINE

How NomOS Works: from intent to verifiable outcomes

Giving an AI model bash access treats error codes and file timestamps as proof. NomOS implements a 6-stage causal lifecycle where mutations are bounded by typed schemas, fixed controllers, and private, invocation-bound receipts.

STAGE 01

User Intent

You speak in plain language: "Set night light to 3800 K." Models reason about intent without formulating raw shell scripts or remembering config paths.

NATURAL LANGUAGE
STAGE 02

Typed Operation

The agent selects an advertised Operation (night-light.temperature.set) and binds the contract's content digest and typed JSON input.

STRICT JSON SCHEMA
STAGE 03

Validation & Auth

nom-api-runtime fails closed: enforces schema bounds, validates digest, and resolves acting user via NSS (getpwuid_r), ignoring spoofable env vars.

PRE-LAUNCH FAIL-CLOSED
STAGE 04

Fixed Controller

The active NixOS generation runs a pinned controller in a reconstructed allowlisted environment with active locks and private receipt descriptors.

NIX PINNED DRV
STAGE 05

Causal Result

For persistent-state operations, crash-durable commits emit invocation-bound receipts over a pipe (commit semantics are operation-specific). Mid-operation crashes report unknown.

CRASH-DURABLE COMMIT
STAGE 06

Observed Evidence

Read-only queries (nom-inspect observe) verify declared state and controller runtime. Independent observation is truth; model belief is not.

INDEPENDENT OBSERVERS
STRUCTURAL ARCHITECTURE DIFFERENCE

Semantic System API vs. Giving an AI Unrestricted Shell Access

Traditional agent systems give LLMs raw bash terminals and hope prompt guidelines prevent catastrophic accidents. NomOS replaces probabilistic restraint with deterministic operating system validation for controlled operations.

Boundary Limitation: The semantic API provides a structured, validated channel for supported operations; it does not sandbox or contain an agent that retains unrestricted shell access or ambient root permissions.

Dimension Raw Shell Access (Bash / Terminal) NomOS Semantic Machine API
Input Boundaries Unbounded command strings. Vulnerable to hallucinated syntax, prompt injection, and catastrophic typos (e.g. rm -rf /). Closed JSON schemas. Rigorous integer ranges and strict property validation refuse invalid input before execution starts.
Execution Authority Inherits whatever ambient shell environment exists ($PATH, $USER, $HOME, injected wrappers). Resolved by getpwuid_r through the system account database (NSS) and active NixOS system generation. Ambient shell variables and spoofed paths are ignored.
Proof of Outcome Process exit status ($? == 0) or stdout sniffing. A silent crash or partial write is mistaken for success. Private, invocation-bound receipts over kernel pipe descriptors (not cryptographic attestations). Outcomes are strictly partitioned: established, failed, or unknown.
Uncertainty Handling False certainty. If a command exits mid-operation, the agent assumes failure or loops indefinitely. Deterministic crash-window semantics. Failures between atomic file rename and directory fsync honestly report unknown.
Inspection & Verification Ad-hoc scraping of logs, grepping config files, or relying on model confidence. Read-only typed Evidence queries (nom-inspect observe) separate declared intent from running controller telemetry.

Interactive Simulation: night-light.temperature.set

CLIENT-SIDE SIMULATION

Interactive model grounded in shipping NomOS contract specifications. Demonstrates pre-launch refusal, crash-window uncertainty, and causal receipts vs. observed Evidence.

Case 1: Schema Refusal (Pre-launch Refusal)

Agent attempts to set temperature to 8000 K (above advertised schema maximum of 6500 K). Pre-launch validation rejects the payload before any controller execution.

INPUT: INVOCATION REQUEST STDIN JSON

              
EXECUTION TRACE & CAUSAL PIPELINE KERNEL / RUNTIME
OUTPUT: MUTATION RESPONSE OPERATION RESULT / ERROR

              
POST-INVOCATION EVIDENCE: DECLARED PREFERENCE nom-inspect observe --query temperature

              
POST-INVOCATION EVIDENCE: RUNTIME CONTROLLER nom-inspect observe --query runtime

              
CRITICAL ARCHITECTURE INVARIANT

ONE SYSTEM. THOUGHT THROUGH.

Built from proven parts.
Designed to work as one.

NomOS brings together mature open-source software with its own interfaces, tooling and defaults — then integrates it into a workstation that feels coherent from the first boot.

You shouldn’t have to think about which component does what. The desktop, system controls, themes and everyday workflows should simply feel like parts of the same system.

01

Curated components

Proven software, chosen deliberately rather than accumulated.

02

NomOS-built interfaces

Purpose-built tools fill the gaps where the Linux desktop needs something better.

03

Integrated by design

Themes, controls and workflows are made to behave consistently across the system.

Real NomOS desktop in the Boreal Dawn theme
Actual NomOS desktop recording showing the Command Deck, system settings, and a change between Boreal Dawn and Boreal. Waiting time during theme application was edited.
COMMAND DECK / NOMOS
THEMES / BOREAL ↔ DAWN
SYSTEM INTERFACE / 01
NOMOS SYSTEM FLOW / STATE CHANGE STRUCTURED / REPRODUCIBLE / RECOVERABLE
01 DESCRIBE define the state you want
02 BUILD create the new system state
03 VERIFY inspect the resulting state
KEEP Move forward with the new state.
RETURN Go back to a known working point.
CONCEPT / NOT A PRODUCT SCREEN
PREDICTABLE / RECOVERABLE / YOURS

Power underneath.

NomOS is built so system changes are easier to understand, easier to reproduce and easier to undo.

Update with confidence. Experiment without fear. Go back when something doesn’t work.

01

Reproducible

The system can describe the state it is meant to be in.

02

Recoverable

Changes don’t have to be permanent. Working states remain within reach.

03

Understandable

Configuration has structure instead of becoming a pile of accumulated tweaks.

BUILT WITH OPEN-SOURCE NIX TECHNOLOGY
TIME VAULT / RECOVERY

Your computer should remember when everything worked.

Time Vault lets you create Time Anchors — recovery points that bring the system and your files back together.

NomOS restores system state through declarative generations and tracked configuration, while filesystem snapshots recover your files. Updates and regenerations are protected automatically with recovery points created before and after changes.

Change freely. Go back completely.

SYSTEM / GENERATIONS + GIT FILES / BTRFS + SNAPPER AUTO / BEFORE + AFTER CHANGES
TIME VAULT / TIMELINERECOVERY POINTS
NOW
TIME ANCHOR / 064 Before update AUTOMATIC
TIME ANCHOR / 065 After update AUTOMATIC
TIME ANCHOR / 066 Project setup complete MANUAL
TIME ANCHOR / 067 Before regeneration AUTOMATIC
← TIME TRAVEL
CONCEPT / SYSTEM + FILES MOVE TOGETHER
STATUS / PRIVATE ALPHA2026
VISIBLE NOW. AVAILABLE LATER.

Built on real machines. Still deliberately private.

NomOS is in private alpha. The core system, semantic API, Command Deck, recovery model and agent architecture are being developed together on real hardware.

There is no public ISO yet. We are making the project visible before making it generally available — so the system can mature without pretending it is finished.

PRIVATE ALPHA / ACTIVE DEVELOPMENT
GET IN TOUCH

Questions, ideas, or interested in collaborating? We'd love to hear from you.

contact@nomoslinux.org
The model interprets. NomOS validates.