FlywheelApp · full
Cinema + labs + WebGL. The labeled map, Hub canvas, field sketch, and every live engine. Use when this is the app that owns the GPU on the machine.Every feature, no graphics. Same engines, same API, same honesty grammar. No WebGL, no custom cursor, no Three.js. For when other apps already hold the GPU, or after learning loops when you only need the work.Terminal + one API out. Every live verb as a command and as HTTP. TUCE agents load skill.md and call /api/v1. No cinema overhead. Occupancy stays nominated | live-bound | unavailable.

Lab · 03 · Infix → CNF

Clause mill

Tiny grammar: ~ binds an atom only. Emits DIMACS. Distribution that would blow the cap fails closed.

NCM 1.19.0 · Hub 2.2.0 · invented_metrics = false

documented

Infix → CNF

~ binds an atom only. SAT ⟂ HAL.

Tiny grammar: atom | ~atom | ( … ) | & | |. Tseitin with aux_* vars. If clauses would exceed 80, the mill fails closed. Capped ≠ treated as UNSAT.

tseitin · 5 aux · 8 names

p cnf 8 16
-4 1 -2 0
4 -1 0
4 2 0
-5 2 3 0
5 -2 0
5 -3 0
-6 4 0
-6 5 0
6 -4 -5 0
-7 -1 -3 0
7 1 0
7 3 0
-8 6 0
-8 7 0
8 -6 -7 0
8 0

fed to dpll-js

SAT

112 steps

Constraint lamp

← Constraint lampA real DPLL on a capped CNF. Capped is not UNSAT. SAT ⟂ HAL. A solve is not a hardware bind.All labsEvery this-tab tool. Real DPLL, occupancy, adapters, SAT. Not the Hub runtime.Adapter plates →inspect, load, activate, deactivate, hotswap, unload, compose, rollback. Compose of more than one adapter is not assumed.