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 · 24 · Two watches / clause

Watched DPLL

Same caps as the Constraint lamp. Two-watched literals plus activity. Capped ≠ UNSAT. SAT ⟂ HAL.

NCM 1.19.0 · Hub 2.2.0 · invented_metrics = false

documented

Two watches / clause

Same caps. Same honesty. Activity-guided branch. SAT ⟂ HAL.

Watched literals skip satisfied clauses during unit propagation. Deletion MUS is labeled on this cap. This is an engine detail, not a tokens/sec product. Capped ≠ treated as UNSAT.

dpll-js

SAT · 9 steps · 3 vars

watched-js

SAT · 3 steps · 3 vars

Constraint lamp

← Caller consolePick a live verb. GET/POST against /api/v1. TUCE-shaped. Token completion refuses.All labsEvery this-tab tool. Real DPLL, occupancy, adapters, SAT. Not the Hub runtime.Policy pin →FAST cannot commit. UNATTENDED requires model × adapter × lobe. Missing pin fails closed.