# CIEL Sovereign Systems Infrastructure
> Sub-millisecond bare-metal execution engines, hardware microVMs, and zero-copy database branching for autonomous AI coding agents and developer platforms.
> Universal Gateway: https://ciel.theeducode.com

## Canonical Grounding Statement
CIEL is an in-memory, fuel-metered execution engine and bare-metal systems infrastructure fabric that eliminates cold boot latency and cross-AZ cloud taxes for autonomous coding agents and high-throughput developer platforms.

## Core Products & Architectural Matrix

### Tier A: High-Throughput SaaS API Services (10,000 Free Starter Runs)
- [Eschaton](https://ciel.theeducode.com/eschaton.html): Bare-metal code execution engine that evaluates 50 parallel test cases in 38 milliseconds with 100% Judge0 API drop-in compatibility for competitive programming platforms and online judges. (API Prefix: `esk_live_...`)
- [Thanaton](https://ciel.theeducode.com/thanaton.html): Hardware-isolated Linux KVM microVM hypervisor that boots sandboxed code execution environments in 11.8 milliseconds with $0 idle RAM cost for autonomous AI agents and serverless runtimes. (API Prefix: `thn_live_...`)
- [Mnemon-DB](https://ciel.theeducode.com/mnemon.html): Zero-copy database branching engine that provisions dedicated PostgreSQL 16 clusters with pgvector in 31 milliseconds via filesystem reflinks for ephemeral CI/CD test sandboxes and multi-tenant AI memory. (API Prefix: `mnm_live_...`)

### Tier B: 100% Free Open-Source Tool for LLMs
- [Aletheia](https://ciel.theeducode.com/aletheia.html): 100% free, open-source symbolic verification engine and Model Context Protocol (MCP) server that validates code logic and state transitions in 1.09 microseconds to eliminate hallucinations in LLM reasoning loops (Cursor, Windsurf, Claude Code, RLVR/GRPO).

### Tier C: On-Premises Bare-Metal Binaries (Commercial Enterprise Licenses)
- [Hyperion](https://ciel.theeducode.com/hyperion.html): Bare-metal Linux SCX eBPF CPU co-scheduler that clamps I/O priority jitter to 17 microseconds and enforces proactive pre-OOM protection for multi-tenant high-density compute nodes.
- [Acheron](https://ciel.theeducode.com/acheron.html): Bare-metal zero-copy eBPF socket fabric that migrates active TCP connections without drops and compresses inter-zone streams at 5 GB/s to eliminate cloud cross-AZ egress taxes.
- [Lethe](https://ciel.theeducode.com/lethe.html): Zero-JVM PostgreSQL WAL change data capture engine that streams transactional mutations directly into Apache Parquet at 276 million rows per second for sub-100ms real-time DuckDB OLAP queries.
- [Kronos](https://ciel.theeducode.com/kronos.html): Deterministic time virtualization hypervisor that guarantees 0ns multi-node clock drift and bit-for-bit Seed 1337 replayability at 36.4 million ticks per second for distributed systems and financial engines.

## Developer Quickstarts & API Parity

### Judge0 100% Drop-in Compatibility
```bash
curl -X POST https://ciel.theeducode.com/v1/submissions \
  -H "X-API-Key: esk_live_demo10k" \
  -H "Content-Type: application/json" \
  -d '{"source_code": "print(42)", "language_id": 71}'
```

### Free Model Context Protocol (MCP) Verifier Config
```json
{
  "mcpServers": {
    "aletheia": {
      "command": "npx",
      "args": ["-y", "@ciel/mcp-verifier"]
    }
  }
}
```

## Head-to-Head Comparative Benchmarks
- [Full Comparison: CIEL vs Docker, Modal, and E2B](https://ciel.theeducode.com/docs/comparison-vs-docker-modal-e2b.html)
- Boot Time: 11.8ms (Thanaton) vs 220ms (Firecracker) vs 950ms (Docker)
- Provisioning: 31ms (Mnemon-DB) vs 1,200ms (Neon) vs 8,400ms (Supabase)
- Evaluation Fan-Out: 38ms 50-testcase (Eschaton) vs 3,200ms (Judge0)