Lab pack · NCM 1.19.0 · Hub 2.2.0

This tab does the work.

Other maps of Flywheel usually see a hub-and-spoke Mixture of Agents Engine with PEFT hot-swap, SAT assurance, a 3D neuromorphic brain, an API siblings can call, resource limits, and evals. This lab pack keeps that silhouette and corrects the hype: occupancy is nominated | live-bound | unavailable, SAT ⟂ HAL, complementary ≠ certified, adapters are a control plane then weights, scan is local-only unless you consent to a catalog, and the canvas is a dumb mirror.

documentedillustrativehypothesisunavailable

Honesty

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.

01 · RAM · weights · KV

Fit planner

Illustrative fit from this-tab memory, weight class, context, and LoRA rank. Accelerators stay unavailable. Not POST /api/system/scan.

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.

03 · Infix → CNF

Clause mill

Tiny grammar: ~ binds an atom only. Emits DIMACS. Distribution that would blow the cap fails closed.

04 · Eight ops · fail-closed

Adapter plates

inspect, load, activate, deactivate, hotswap, unload, compose, rollback. Compose of more than one adapter is not assumed.

05 · 16 lobes · 3 lamps

Occupancy sandbox

Nominated, live-bound, unavailable. Twenty-one role-node captions. The canvas is a dumb mirror.

06 · L0 · refuse-first

Route sandbox

Try commit runs the refuse-first router. FAST cannot commit. BroadcastChannel this origin — not a cluster.

07 · WebGL · header only

Field sketch

A synthetic scalar field and a safetensors header/shapes reader. Not PCA. Not an MRI of weights.

08 · This-tab probe

Scan this browser

deviceMemory, cores, storage estimate, WebGL renderer string. This-tab probe ≠ Hub scan. Accelerators stay unavailable.

09 · backup_required

Upgrade stepper

Pin and preflight are real acts. Backup → apply → smoke → keep | restore | forward-rollback. Apply without backup fails closed.

10 · scan ≠ grant

Grant trainer

Scan this tab to list fingerprints. Agents still need Accept per tool. Deny is the default.

11 · Words we will not blur

Honesty lexicon

Searchable grammar. Occupancy, SAT ⟂ HAL, complementary ≠ certified. The quiz is a different drill.

12 · Seven axes

Model card

Purpose, size, quant, hardware fit, license, speed, roles. Missing fields stay unknown. Shareable as a querystring.

13 · Rename · refuse

Name inventory

What we took from a dumped idea list, what we renamed, and the product names we will not ship.

14 · Weights + KV + LoRA

Spoke budget

Add illustrative GiB for a hot set. Download-only is not running. Tokens/sec are not published.

15 · Illustrative serving math

KV & quant plate

Context × params × batch for a KV sketch, plus Q2–FP16 weight bytes. Labeled illustrative. Not a serving SLA.

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.

17 · SHA-256 in-tab

Local digest

Drop a file. Hash it here. Nothing is uploaded. First eight bytes of a safetensors file are shown as length, not magic.

18 · Refuse-first drill

Honesty quiz

Twelve prompts. Score stays in this tab. invented_metrics = false — we do not publish a pass rate.

19 · 28 slots · not a council

Agent roster

Cursor, Grok, and Codex swarm slots plus runtime spokes. Role-node captions stay captions. Scan is not a grant.

20 · LoRA · QLoRA · DoRA

PEFT rank plate

Illustrative adapter bytes from rank, hidden, layers, modules. Compose of two fails closed. S-LoRA kernels are not claimed.

21 · WASM · WebGL · WebGPU

Capability lamps

This-tab detect of WASM, SIMD, SAB, WebGL, WebGPU. Detect ≠ certified. Renderer string ≠ silicon.

22 · Epics · nodes · deps

Onion graph

Product dependencies as a graph. Live-bound here means a browser or caller engine, not a Hub weight bind.

23 · One API out

Caller console

Pick a live verb. GET/POST against /api/v1. TUCE-shaped. Token completion refuses.

24 · Two watches / clause

Watched DPLL

Same caps as the Constraint lamp. Two-watched literals plus activity. Capped ≠ UNSAT. SAT ⟂ HAL.

25 · L0 · refuse-first

Policy pin

FAST cannot commit. UNATTENDED requires model × adapter × lobe. Missing pin fails closed.

26 · Facts · rules · SAT

JSON constraints

Paste JSON. Write path == value rules. Unknown fields stay free SAT vars. SAT ⟂ HAL.

27 · Two safetensors

Header diff

Compare two local .safetensors headers: names, dtypes, shapes. Nothing is uploaded. Not PCA.

28 · Illustrative tokens

Context pack

Paste text. Illustrative subword estimate vs a context window. Not tiktoken. Not tokens/sec.

29 · Every verb · no graphics

Caller CLI

The full app as a terminal. Same engines as /api/v1. TUCE agents use this or HTTP. Session is this tab.

30 · Pages · engines · API · skills

Capability map

The whole host, named. Occupancy on every engine. Graphics-only features stay nominated on Lite and CLI.

31 · skill.md pack

Agent skills

TUCE-loadable skill documents for every live verb. Orchestrators get the pack. Workers get the verbs they own.

Refuse

These labs run in your browser. They are not the Hub, not a cluster, and not a hardware certification.

No invented view-count goals. No ARR. No Linear copy. No rented logos.

SatGuard, LoRA-Swap, VRAM-Forge, VRAM Overlord, Weight MRI, Hierarchy Arena, and Crysis analogs are refused names.

S-LoRA serving kernels are not claimed. HMAC enterprise lease SDK is not shipped. Silent store updaters are not shipped.