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 · 16 · JS DPLL vs WASM brute
WASM SAT race
Same CNF, three engines, this-tab timings. SIMD is a detect lamp, not a claimed kernel. Not a benchmark publication.
NCM 1.19.0 · Hub 2.2.0 · invented_metrics = false
documented
JS DPLL vs WASM brute
Same CNF. This-tab timings. Not a benchmark publication.
SIMD is a detect lamp, not a claimed kernel. WASM unavailable still leaves JS engines live. Clauses longer than 4 literals are padded in WASM brute only — that pad is named, not silent.
wasm
yes
simd
no
threads
SAB present
WebGPU
no
SIMD is a detect lamp, not a claimed kernel. SharedArrayBuffer is not a cluster. WebGPU is a detect lamp, not a serving runtime.
← KV & quant plateContext × params × batch for a KV sketch, plus Q2–FP16 weight bytes. Labeled illustrative. Not a serving SLA.All labsEvery this-tab tool. Real DPLL, occupancy, adapters, SAT. Not the Hub runtime.Local digest →Drop a file. Hash it here. Nothing is uploaded. First eight bytes of a safetensors file are shown as length, not magic.