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 · 02 · DPLL · cap 24/80
Constraint lamp
A real DPLL on a capped CNF. Capped is not UNSAT. SAT ⟂ HAL. A solve is not a hardware bind.
NCM 1.19.0 · Hub 2.2.0 · invented_metrics = false
documented
SAT ⟂ HAL
A solve is not a hardware bind.
Real DPLL in this tab. Cap 24 vars / 80 clauses. Capped ≠ treated as UNSAT. Deletion MUS is computed on this cap and drawn on the incidence graph. Zero hallucination is a refused claim.
dpll-js
SAT
SAT · 9 steps · 3 vars · 3 clauses · x1=1 x2=0 x3=1
First units: none
Incidence graph. Outer circles are variables. Inner boxes are clauses. Red = deletion MUS on this cap. Not a certified core product. Cyan edge = positive literal.
← Fit plannerIllustrative fit from this-tab memory, weight class, context, and LoRA rank. Accelerators stay unavailable. Not POST /api/system/scan.All labsEvery this-tab tool. Real DPLL, occupancy, adapters, SAT. Not the Hub runtime.Clause mill →Tiny grammar: ~ binds an atom only. Emits DIMACS. Distribution that would blow the cap fails closed.