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 · 11 · Words we will not blur
Honesty lexicon Searchable grammar. Occupancy, SAT ⟂ HAL, complementary ≠ certified. The quiz is a different drill.
NCM 1.19.0 · Hub 2.2.0 · invented_metrics = false
documented Words we will not blur
A searchable grammar. The quiz is a different drill. Occupancy is nominated | live-bound | unavailable. Never a fourth glow. The canvas is a dumb mirror of occupancy. It does not certify silicon. Complementary ≠ certified. A socket is not a qualification. flywheel_owns_hardware = false. Flywheel owns none of the chips. STDP is a learning-rule analogue. It is never a permission. SAT ⟂ HAL. A solve is not a hardware bind. ready ≠ certified. neuromorphic-ready ≠ neuromorphic-certified. invented_metrics = false. No fake uptime, no rented logos. Filter
occ
occupancy nominated | live-bound | unavailable. Three lamps only. Canvas is a dumb mirror.
Copy definition sat
SAT ⟂ HAL A solve is clauses SAT, UNSAT, or capped. It is not a hardware bind and not a token firewall.
Copy definition capped
capped ≠ UNSAT Cap is 24 vars / 80 clauses. {sat:null, reason:"capped"} is not treated as unsatisfiable.
Copy definition scan
scan ≠ grant A this-tab probe lists fingerprints. Agents still need Accept per tool. Deny is the default.
Copy definition compose
multi_lora never assumed Compose of two adapters fails closed. S-LoRA serving kernels are not claimed. sub-5ms is refused.
Copy definition ready
ready ≠ certified neuromorphic-ready is not certified complementary silicon. flywheel_owns_hardware = false. STDP is never a permission.
Copy definition metrics
invented_metrics = false No view-count goals. No ARR. No tokens/sec on a vendor GPU silhouette.
Copy definition fast
FAST cannot commit FAST cannot commit a missing spoke and cannot silently become RESEARCH.
Copy definition unattended
UNATTENDED pin UNATTENDED pins model × adapter × lobe at the start. No mid-task hot-swap.
Copy definition backup
backup_required Apply without backup fails closed. Signed Windows upgrade stays unavailable (FW2-INSTALL-028).
Copy definition field
header, not MRI Local safetensors header/shapes in a 64 KiB window, optional 2 MiB 1-D sample. Not PCA.
Copy definition bus
not a cluster BroadcastChannel / localStorage / CLI session = this origin / this tab. Not a P2P supercomputer.
Copy definition completion
completion refuses POST /api/v1/chat will not invent tokens. Point TUCE at a live Hub when a model spoke is live-bound.
Copy definition detect
detect ≠ certified WASM, SIMD, SAB, WebGL, WebGPU lamps. Renderer string ≠ silicon.
Copy definition Honesty quiz