Recover what matters. Control what happens next.
AI shouldn't forget what matters. And it shouldn't change what matters without authority.
Your existing AI tools and agents (Claude Code, Cursor, MCP servers, dev scripts, or local pipelines). Zero changes to your models.
Latent idea resurrection (CORTEX) + Deterministic veto on destructive mutations before they touch disk (BABYLON Guard) + Auditable cryptographic receipts (NEMESIS).
A single local Rust binary with standard C-ABI. No cloud middlemen, no mandatory remote databases, zero subscription lock-in.
Find what you forgot.
Recover valuable ideas buried across years of conversations, notes, and projects.
"Agents should require explicit authority before modifying or deleting files."
Static demonstration. In production, resolves directly to the immutable SourceRecord sealed by SHA3-256.
Static demonstration of destructive mutation interception prior to filesystem commit.
Let AI work. Keep the veto.
Agents execute within a fail-closed sandbox. Every irreversible file deletion, shell execution, or network effect requires explicit authority or biometric friction.
Don't trust the boundary. Attack it.
Assurance isn't a promise. It is an active, continuous challenge against formal invariants to observe which frontiers hold under documented conditions.
Model checking
Lean 4 reflex proofs by decide and Z3 SMT bounded verification.
Kernel adversaries
Stress testing against TOCTOU race conditions and atomic renames.
Crash injection
SIGKILL injection across 5 transactional phases with zero ambiguous recoveries.
Mutation testing
Resilience against nonce manipulation and tampered intent parameters.
Independent reproduction
Open test harnesses and reproducible artifact hashes.
Terminal Observability with babylon top
Sample projection based on a static capture of the TUI executed on a local test harness (Darwin arm64 on APFS):
Empirical demarcation notice: This projection is a static capture of the babylon top TUI archetype executed on a local test harness (macOS Darwin arm64 on APFS). It is not a live remote stream. In the current release, all 6 invariants are cataloged as STALE pending automated continuous pipeline attestation. Review verified bounds in Assurance & Limits.
Past, Present, and Future
How the three domains coordinate around the agent lifecycle:
CORTEX
CORTEX · Recover context and decisions
BABYLON
BABYLON · Delimit and govern effects
NEMESIS
NEMESIS · Popperian Falsification
The Silicon Machinery Beneath the Product
No stochastic hand-waving: every interaction is bound to deterministic hardware primitives, cryptography, and systems theory:
C5-REAL Substrate
Landauer dissipation bounds, Chentsov information metric, and asymptotic compression without operational friction.
WORM Ledger
Single-writer SQLite WAL with Merkle Mountain Ranges enabling O(log N) inclusion proofs.
Effect Broker & 7-Tuple
Every mutation evaluates ⟨Authority, Capability, Policy, Resource, Effect, Context, Epoch⟩ fail-closed.
Hardware Touch ID Gate
Local Apple Silicon biometric friction via NIST P-256 Secure Enclave with zero reuse duration.
Popperian Falsification
NEMESIS challenges security assertions under adverse fault models. Attestations bind evidence, not ontic truth.
Decoupled Causal Memory
Axiom O1: Source ≠ Inference. Primary records remain immutable under cryptographic SHA3-256 seals.