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 · 18 · Refuse-first drill
Honesty quiz Twelve prompts. Score stays in this tab. invented_metrics = false — we do not publish a pass rate.
NCM 1.19.0 · Hub 2.2.0 · invented_metrics = false
documented Refuse-first drill
Twelve prompts. Score stays in this tab. Local 0 correct of 0 answered / 12. We do not publish a pass rate. invented_metrics = false.
Occupancy has how many honest lamps? nominated | live-bound | unavailable plus a fourth “warming” glow 21 chat models voting
A SAT solve on this host means… the silicon is now certified clauses are SAT, UNSAT, or capped — SAT ⟂ HAL zero hallucination
Scan this browser is… POST /api/system/scan this-tab probe. Not a grant. Accelerators unavailable. a Crysis analog scoreboard
Two LoRA plates on one base… compose automatically (S-LoRA kernels) compose_fail_closed — multi_lora is never assumed sub-5ms pointer redirect
neuromorphic-ready means… certified complementary silicon ready ≠ certified STDP granted a permission
View-count goals in the dumped brief are… our live traffic prompt concepts. invented_metrics = false an ARR target we should post
FAST mode… can commit a missing spoke cannot commit; refuse-first silently becomes RESEARCH
UNATTENDED… hot-swaps mid-task pins model × adapter × lobe at start is a fifth occupancy lamp
Apply without backup… is fine if smoke is green fails closed. backup_required is a signed Windows upgrade
A tools scan that lists fingerprints… grants every agent those tools still needs Accept per fingerprint. Deny is default. is Hub inbound on this host
Dropping a .safetensors file here… runs live 100MB PCA reads the header/shapes in this tab. Not an MRI. uploads weights to Flywheel
BroadcastChannel on the route sandbox is… a P2P supercomputer this origin only — not a cluster VRAM-Forge sharding
Honesty lexicon