λ Church Machine

Code

CLOOMC · Assembly · Multi-Language

The primary workspace. Write and compile CLOOMC programs in English, Haskell, Symbolic Math, Lambda Calculus, or assembly. Every instruction is capability-checked by the hardware.

Open Code Editor →

Builder

Ti60 F225 · WebSerial · One-Click Flash

The only way to get code onto silicon. Flash the pre-built bitstream to your Ti60 F225 and connect via WebSerial. The IDE verifies the full program → test → release loop automatically.

Open Builder →

Tutorial

Step-by-Step · Capability Security · Quizzes

First thing a new user touches. Guided lessons from Golden Token basics through capability-based security, CLOOMC assembly programming, and hardware-enforced isolation.

Open Tutorials →

Namespace

8 Boot Slots · Live View · Hardware Mirror

The runtime mirror of what's actually running on the FPGA. The 8-slot boot namespace matches the hardware bitstream exactly — every Golden Token, load status, and capability entry shown in real time.

Open Namespace →

Dashboard

Call-Home · MTBF · Fault Log

Live telemetry from the Ti60. Fault records decoded by instruction address, per-slot MTBF scores, and capability register state after every step. Tells you if the board is alive.

Open Dashboard →

Abstractions

47 Abstractions · 9 Layers · LUMP Catalog

The catalog of what can be deployed. 9 security layers, 47 abstractions, from Boot primitives to application logic. Lazy-load any LUMP to the FPGA on demand via Golden Token approval.

Open Abstractions →

Reference

20 Instructions · Capability Model · CLOOMC ISA

The complete 20-instruction Church Machine ISA — opcodes, encoding, permission bits, fault codes, and the seven-step security pipeline. The definitive reference for every CLOOMC programmer.

Open Reference →

Docs

Interactive · Architecture · Six Laws

The book that anchors everything. CLOOMC foundation, capability model, boot sequence, and the Six Laws of Failsafe Security. Read first, build second.

Open Docs →