01 Fit plannerIllustrative fit from this-tab memory, weight class, context, and LoRA rank. Accelerators stay unavailable. Not POST /api/system/scan. 02 Constraint lampA real DPLL on a capped CNF. Capped is not UNSAT. SAT ⟂ HAL. A solve is not a hardware bind. 03 Clause millTiny grammar: ~ binds an atom only. Emits DIMACS. Distribution that would blow the cap fails closed. 04 Adapter platesinspect, load, activate, deactivate, hotswap, unload, compose, rollback. Compose of more than one adapter is not assumed. 05 Occupancy sandboxNominated, live-bound, unavailable. Twenty-one role-node captions. The canvas is a dumb mirror. 06 Route sandboxTry commit runs the refuse-first router. FAST cannot commit. BroadcastChannel this origin — not a cluster. 07 Field sketchA synthetic scalar field and a safetensors header/shapes reader. Not PCA. Not an MRI of weights. 08 Scan this browserdeviceMemory, cores, storage estimate, WebGL renderer string. This-tab probe ≠ Hub scan. Accelerators stay unavailable. 09 Upgrade stepperPin and preflight are real acts. Backup → apply → smoke → keep | restore | forward-rollback. Apply without backup fails closed. 10 Grant trainerScan this tab to list fingerprints. Agents still need Accept per tool. Deny is the default. 11 Honesty lexiconSearchable grammar. Occupancy, SAT ⟂ HAL, complementary ≠ certified. The quiz is a different drill. 12 Model cardPurpose, size, quant, hardware fit, license, speed, roles. Missing fields stay unknown. Shareable as a querystring. 13 Name inventoryWhat we took from a dumped idea list, what we renamed, and the product names we will not ship. 14 Spoke budgetAdd illustrative GiB for a hot set. Download-only is not running. Tokens/sec are not published. 15 KV & quant plateContext × params × batch for a KV sketch, plus Q2–FP16 weight bytes. Labeled illustrative. Not a serving SLA. 16 WASM SAT raceSame CNF, three engines, this-tab timings. SIMD is a detect lamp, not a claimed kernel. Not a benchmark publication. 17 Local digestDrop a file. Hash it here. Nothing is uploaded. First eight bytes of a safetensors file are shown as length, not magic. 18 Honesty quizTwelve prompts. Score stays in this tab. invented_metrics = false — we do not publish a pass rate. 19 Agent rosterCursor, Grok, and Codex swarm slots plus runtime spokes. Role-node captions stay captions. Scan is not a grant. 20 PEFT rank plateIllustrative adapter bytes from rank, hidden, layers, modules. Compose of two fails closed. S-LoRA kernels are not claimed. 21 Capability lampsThis-tab detect of WASM, SIMD, SAB, WebGL, WebGPU. Detect ≠ certified. Renderer string ≠ silicon. 22 Onion graphProduct dependencies as a graph. Live-bound here means a browser or caller engine, not a Hub weight bind. 23 Caller consolePick a live verb. GET/POST against /api/v1. TUCE-shaped. Token completion refuses. 24 Watched DPLLSame caps as the Constraint lamp. Two-watched literals plus activity. Capped ≠ UNSAT. SAT ⟂ HAL. 25 Policy pinFAST cannot commit. UNATTENDED requires model × adapter × lobe. Missing pin fails closed. 26 JSON constraintsPaste JSON. Write path == value rules. Unknown fields stay free SAT vars. SAT ⟂ HAL. 27 Header diffCompare two local .safetensors headers: names, dtypes, shapes. Nothing is uploaded. Not PCA. 28 Context packPaste text. Illustrative subword estimate vs a context window. Not tiktoken. Not tokens/sec. 29 Caller CLIThe full app as a terminal. Same engines as /api/v1. TUCE agents use this or HTTP. Session is this tab. 30 Capability mapThe whole host, named. Occupancy on every engine. Graphics-only features stay nominated on Lite and CLI. 31 Agent skillsTUCE-loadable skill documents for every live verb. Orchestrators get the pack. Workers get the verbs they own. Lab · 23 · One API out
Caller console Pick a live verb. GET/POST against /api/v1. TUCE-shaped. Token completion refuses.
NCM 1.19.0 · Hub 2.2.0 · invented_metrics = false
documented One API out
Live GET/POST against /api/v1. Completion refuses. SAT is live. TUCE-shaped. Pick a verb. The body is yours. Token completion still refuses. SAT ⟂ HAL.
L0FAST STANDARD RESEARCH UNATTENDED Goal VerbGET /api/v1/health — engines + env lamps GET /api/v1/honesty — grammar GET /api/v1/map — feature map GET /api/v1/detect — caller host lamps GET /api/v1/agents — 28 slots, nominated GET /api/v1/occupancy — 16 lobes POST /api/v1/run — refuse-first router POST /api/v1/run — UNATTENDED without pin POST /api/v1/sat — watched DPLL POST /api/v1/jsonsat — facts + rules POST /api/v1/clauses — Tseitin mill POST /api/v1/fit — illustrative fit POST /api/v1/kv — KV slice POST /api/v1/peft — adapter bytes POST /api/v1/budget — spoke budget POST /api/v1/pack — illustrative tokens POST /api/v1/adapters — eight ops POST /api/v1/grant — scan ≠ grant POST /api/v1/upgrade — backup_required POST /api/v1/digest — SHA-256 POST /api/v1/card — seven axes POST /api/v1/diff — header census POST /api/v1/race — this-host timings POST /api/v1/chat — always refuses POST /api/v1/run
Ready. Same engines as /api/v1 and the CLI. Caller contract CLI