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 · 26 · Facts · rules · SAT

JSON constraints

Paste JSON. Write path == value rules. Unknown fields stay free SAT vars. SAT ⟂ HAL.

NCM 1.19.0 · Hub 2.2.0 · invented_metrics = false

documented

Facts + rules

Unknown paths stay free SAT variables.

Paste occupancy / grant / pin JSON. Write rules as path == value, path != value, path, or ~path. Missing fields are not invented — they become SAT atoms. A solve is not a hardware bind.

UNSAT · false

These rules cannot hold together.

atomruleholds
r1mode != FASTfalse
r2spoke == live-boundfalse
r3acceptedfalse

Flattened facts

mode = FAST
spoke = unavailable
accepted = false
lobe = L08

Constraint lampPolicy pin

← Policy pinFAST cannot commit. UNATTENDED requires model × adapter × lobe. Missing pin fails closed.All labsEvery this-tab tool. Real DPLL, occupancy, adapters, SAT. Not the Hub runtime.Header diff →Compare two local .safetensors headers: names, dtypes, shapes. Nothing is uploaded. Not PCA.