Open source · Pre-alpha Follow on GitHub →

Systems that prove before they act.

VAIXLNS is a sovereign operating fabric: a deterministic, governed runtime where every action is proven, ledgered, and replayable. AI agents run inside the law, not above it.

View on GitHub Read the spec Python 3.10+ · Node 20+ · no account needed
LEDGER CHAIN · PROOF PULSE · STATE ROOT
Built in the open with
Python 3.10+Node 20+SHA-256pytestnode:testGitHub Actions
01

Proof before effect

No command touches state until the constitution returns ALLOW. Missing proof is a rejection, not a warning.

02

Every effect is ledgered

Append-only, hash-chained, tamper-evident. Rejections are recorded too, without changing canonical state.

03

Replay to the same root

Same genesis, same events, same rules, same SHA-256 state root. Every time, on any machine.

04

Powers are separated

The engine proposes. Governance approves. The runtime executes. No actor holds all three.

05

Agents run inside the law

The Intelligence Fabric composes capabilities as a DAG and executes them under the governed runtime.

Live simulation

Watch a governed runtime think.

Commands arrive. The constitution decides. The ledger records. Replay proves. Every hash below is a real SHA-256 computed in your browser.

vx-runtime · stream main · constitution const_v1 state_root —
Ledger 0 entries
Governance constitution
Replay idle
Run A · genesis + events—
Run B · genesis + events—
waiting for events…
Proof-before-effect

The constitution answers first.

A command is a request, not an action. The runtime asks the constitution, and only an ALLOW reaches the transition function. A DENY still gets written to the ledger, so the attempt is auditable and the state root is unchanged.

  • Pure transition: Sn+1 = T(Sn, En), no clocks, no randomness, no I/O.
  • Each event carries the constitution hash and VIK hash it was proven under.
  • Sequence and previous-hash are checked before any handler runs.
COMMANDactor · intent CONSTI-TUTION ALLOW DENY · REJECT TRANSITIONT(S, E) LEDGERappend · chain STATE ROOTsha256(S') LEDGERrejection logged state unchanged
Deterministic replay

Same history, same root. Anywhere.

The replay engine validates the whole event sequence first: monotonic sequence numbers, an unbroken hash chain, one constitution, one VIK. Then it folds genesis through every event and emits a state root you can compare byte-for-byte.

  • A broken chain fails closed before any transition runs.
  • Every transition is logged from-root → to-root for lineage audits.
  • Causation and correlation ids link effects back to the command that caused them.
Run A
genesis e1 SET e2 INC e3 SET root 7f3a…c91e
Run B
genesis e1 SET e2 INC e3 SET root 7f3a…c91e
Run C
genesis e1 SET e2 ✗ halt
✓ A ≡ B  sha256 roots identical
Intelligence Fabric

Agents as a DAG, not a pipeline.

The fabric scores every registered capability against the task, keeps the relevant ones, and resolves them into parallel layers by dependency. Each layer runs, is evaluated, and feeds a knowledge base that improves the next composition.

  • Six roles: analyzer, planner, executor, validator, optimizer, learner.
  • Topological sort rejects cycles; layers run in parallel where dependencies allow.
  • Designed to host LLM-backed capabilities under the same proof-before-effect rules.
LAYER 0 LAYER 1 LAYER 2 LAYER 3 LAYER 4 TaskAnalyzer ArchitecturePlanner KnowledgeRetriever CodeGenerator CodeValidator PerformanceOptimizer think() = analyze → build graph → optimize → execute layers → evaluate → learn
Architecture

Thirteen kernels. One root of trust.

VAIXLNS is specified as a family of small, single-purpose kernels. VX owns the lifecycle and nothing else. Nothing below it may depend on anything above it. Highlighted kernels have code in the repository today; the rest are ratified specifications.

VXRoot kernel · lifecycle, bootstrap, zero business logicin repo
LLImmutable ledger · hash-chained, append-onlyin repo
IIIntelligence agent · DAG capability fabricin repo
VVVerification agent · governance enforcementin repo
XVKernel coordinatorspecified
VGovernance kernelspecified
VNVerification networkspecified
NVNormalization & validationspecified
XXExecution agentspecified
NNCausal model service · world connectorspecified
SSStrategy service · synthesizerspecified
VIXDecision orchestratorspecified
LNSSpecification layerspecified
Where this goes · ΩΣ

A genesis engine for systems of systems.

The long-run thesis: a system should not only ask “how do I change myself?” but compute “which systems should exist at all?”. ΩΣ moves from reality to ontology to law to a space of candidate systems, composes them, and lets only proven compositions become generators. The root of trust never moves.

RRealityobserve · model · predict
OOntologywhat exists
PPrimitivessynthesize the missing
LLawsdesign constraints
SSystemscandidates, not final
SSSystems of systemscompose · prove · deploy
TB₀ = Immutable
Everything derived may evolve
Every evolution must be proven
Every proven system may become a generator

Genesis closure

Ten invariants sit above mechanical closure: every generated system has an identity, a specification, laws, a cause, and a provenance back to its origin; failures never alter canonical state; a generated system can never modify TB₀; and every generation can be rebuilt from its record. The evolution policy itself may evolve, but only when TB₀ proves the new policy safe.

Status · October 2026

What is real today.

We publish the state of the code honestly. The kernel primitives are written and tested; the higher kernels are ratified specifications with a 32-week build plan.

6Python kernel modules: event, state, transition, replay, runtime, fabric
11passing node:test cases in the VX subproject router
2ratified specs: Master Specification v1.0, VX Root Kernel v1.0.0
13kernels in the architecture, 4 with code
Start here

Build on VAIXLNS.

Clone the repository, run the replay tests, and read the specification. Then tell us what you would govern with it.

Free and open source · built by Team Pro Workload

Latest v0.1.0-alpha.3 Canonical event, state, transition and replay engine, with TEST_005 / TEST_006. Read the changelog →