feat(website): Providers tab, Gonka's models and TRI-NET's GPU/FPGA hosts as the seventh spec rung

[gHashTag]

The spec ladder (/game/specs, skills, crons, agents, tools, functions) gains a seventh rung, PROVIDERS. It is on the Queen board (key g, glyph ⌬, ?tab=providers) and also a standalone explorer at #/providers, built with the same layered-tab pattern as the other six.

It lists every model the Gonka network sells, read from specs/providers/gonka/*.t27. It also lists the two classes of host an ordinary owner could rent out to TRI-NET for $TRI, read from specs/providers/trinet/*.t27:

• a 24 GB consumer GPU, which is planned;
• an Artix-7 XC7A200T board, which is measured on the bench.

Merge after gHashTag/t27#5800 (issue gHashTag/t27#5788). The specs are vendored byte-for-byte from that PR (diff -r is empty). Edit them there and re-vendor here.

What the page shows

card	hosts at epoch 413	VRAM per host	status
MiniMax M2.7	26 of 30	320 GB	serving
DeepSeek V4 Flash 0731	11	280 GB	serving
GLM-5.3 Flash	6	560 GB	serving
GLM-5.2 FP8	0	1120 GB	listed
Kimi K2.6	0	720 GB	listed
TRI-NET FPGA XC7A200T	-	-	measured
TRI-NET GPU 24 GB	-	14 cards for one 320 GB Gonka node	planned

The $TRI/GNK pair study is providers/tri_gnk_pair. It lays out four routes and decides none of them:

1. Ethereum Uniswap, against WGNK.
2. A Gonka-native pool.
3. Osmosis over IBC.
4. TON or Solana.

$TRI is on no mainnet today. The choice of chain is the owner's.

Rules the page keeps, each held by a check

• It reads the chain only when asked. A button re-reads four public endpoints on node3.gonka.ai (models_all, params, /v1/governance/pricing, /v1/epochs/current/participants). It then prints every field where a card and the chain now disagree.
• "Connect" never connects. It shows the request a user would send. Nothing is sent, and no key is asked for or stored (check:providers §6).
• No host details. A participant's inference_url, seed and validator key are dropped while parsing. Participants become a count per model (check:providers §3).

Changes

• Generator. scripts/agents-from-specs.mjs builds public/providers/spec-providers.json, and every card is typechecked by the vendored compiler. All six catalogs carry ladder.providers: 7.
• Pages and library.
  • src/pages/ProviderExplorer.tsx and the /providers route in src/main.tsx.
  • src/lib/{providersCatalog,gonkaLive}.ts.
  • The Queen HUD has 20 views: HUD_KEYS = 1234567890tprbwmlxkg, and SPEC_LAYERS ends with providers.
  • The other six explorers link the seventh rung.
• QA.
  • New check:providers (qa/gonka-live-contract.mjs): five model cards round-trip recorded chain responses with 0 differences. Seven bent values are each found alone.
  • check:agents, tri-screens, queen-spec-sync, the explorer language and viewport contracts, and browser-audit now cover the seventh layer.
• CI. website-checks.yml gains the step "Providers (Gonka live read)".
• Commit 3 (9b18d71):
  • Each provider invariant is now invariant x { assert EXPR; }. The { EXPR } form compiles to a discarded bool, so t27c test-report reported every card BLOCKED.
  • Every invariant is now proved at comptime, and a planted false one blocks the build.

{
  "version": 1,
  "head_sha": "bbc2e0c4987b0e7da0e97682ce2f5b571aa4acb1",
  "summary": "A seventh spec rung, PROVIDERS, lists the five models the Gonka network sells, read from the chain at epoch 413, next to the two classes of host (24 GB GPU, Artix-7 FPGA) an owner could rent to TRI-NET for $TRI; the page re-reads the chain on request, never sends a request to a model and never keeps a host's address, seed or key.",
  "changes": [
    "apps/website/public/t27/files/specs/providers/**: 10 files vendored byte-identically from gHashTag/t27 specs/providers (9 specs: catalog, 5 Gonka model cards, 2 TRI-NET host classes, the TRI/GNK pair study; and README.md)",
    "apps/website/scripts/agents-from-specs.mjs (+ .test.mjs): a providers layer -> public/providers/spec-providers.json, ladder.providers in every catalog, 4 provider tests",
    "apps/website/src/pages/ProviderExplorer.tsx, src/lib/{providersCatalog,gonkaLive}.ts, src/main.tsx: #/providers explorer and the on-request chain read",
    "apps/website/src/components/{QueenAgents,LayerLadder,ModulesBlock,AgentSpecPanel}.tsx, src/components/queenHud.ts, src/lib/{agentSpecs,queenEmbed,queenFrame,queenModules}.ts, src/pages/Queen.tsx: Queen tab g, 20 views, SPEC_LAYERS ends with providers",
    "apps/website/qa/gonka-live-contract.mjs (new, npm run check:providers) and qa/{agents-spec,explorer-language,explorer-viewport,queen-spec-sync,tri-screens}-contract.mjs, qa/browser-audit.mjs: the seventh layer is covered",
    ".github/workflows/website-checks.yml: runs check:providers"
  ],
  "tests": [
    {"command": "npm run test:agents-specs", "status": "passed", "result": "57 of 57 agent-spec tests pass, 0 fail", "evidence": "local run of this head, 2026-10-04"},
    {"command": "npm run check:providers", "status": "passed", "result": "5 model cards round-trip the recorded chain with 0 differences; 7 bent values each found alone; participants reduced to counts (epoch 413, 43 recorded participants); the page reads only, stores nothing", "evidence": "local run of this head, 2026-10-04"},
    {"command": "node scripts/agents-from-specs.mjs --check && npm run check:agents", "status": "passed", "result": "all six catalogs match the specs; providers 7 (models 5, host classes 2; from a chain 5, from a bench 1, design only 1); Queen views 20, keys 1234567890tprbwmlxkg", "evidence": "local run of this head, 2026-10-04"},
    {"command": "npm run check:tri && node qa/queen-spec-sync-contract.mjs && npm run check:explorer-languages && npm run check:queen-languages", "status": "passed", "result": "TRI screens PASS (10 screens, 29 app paths); spec sync PASS (24 checks); explorer 8 pages en/ru identical; Queen 400/400 keys", "evidence": "local run of this head (spec sync and screens on the merge commit bb44bb7, before the spec-only commit 9b18d71), 2026-10-04"},
    {"command": "npm run check:tools && npm run check:tools-site && npm run check:tools-coverage && npm run check:shared-core && npm run check:onboarding && npm run check:subpath-urls", "status": "passed", "result": "all six exit 0", "evidence": "local run of this head, 2026-10-04"},
    {"command": "npm run typecheck:ratchet", "status": "passed", "result": "179 errors across 26 files; baseline 179 across 26; no file gained type errors", "evidence": "local run of this head, 2026-10-04"},
    {"command": "t27c test-report on each specs/providers/**/*.t27 (gHashTag/t27 master 3cea5b2a9 compiler)", "status": "passed", "result": "catalog 6/6 tests + 2 invariants; tri_gnk_pair 8/8; each card's invariants proved at comptime; a planted false invariant blocks the build", "evidence": "local run in gHashTag/t27 on the same bytes, 2026-10-04"},
    {"command": "npm run build", "status": "passed", "result": "vite build exit 0 (11 min 26 s); the prebuild rewrote only timestamps, which were restored", "evidence": "local run of this head, 2026-10-04"},
    {"command": "npm run check:spec-catalog", "status": "failed", "result": "fails on public/t27/files/specs/tools/tri/competitors.t27 (sha 3306c387... vs atlas 43fb47d6...), a card from main's #1295; the nightly t27-world-scan re-vendors and rebuilds the atlas. The provider files are not in the atlas, so this check does not read them", "evidence": "local run of this head, 2026-10-04: assertion at qa/spec-catalog-contract.mjs:32"},
    {"command": "npm run check:docs-spec", "status": "failed", "result": "public/docs/system-docs.json is stale on main already (387 tool cards described against 607); this PR leaves the file untouched", "evidence": "local run, 2026-10-04; failed identically before this PR's first commit"},
    {"command": "npm run check:explorer-viewport / check:queen-browser viewport checks", "status": "not_run", "result": "the scripts skip without a local Chrome; the tab was instead opened in a browser at desktop and 375 px, with no horizontal overflow", "evidence": "manual check of the page, 2026-10-03"}
  ],
  "limitations": [
    "The cards are a snapshot of epoch 413; the chain moves every epoch (~22.9 h). The page shows the distance on request, it does not refresh the cards: a re-read is a new spec commit in gHashTag/t27.",
    "Nothing on the page connects a user to a model: Gonka requires a funded, signing account or a broker's key, and the site never takes either.",
    "The TRI-NET GPU class is a design: no GPU worker, job format or sampling verifier exists in any repository, and $TRI is on no mainnet (only a TON testnet jetton).",
    "The $TRI/GNK pair is a study of four routes; none is chosen or built.",
    "QUEEN_REF in gHashTag/999-multibots-telegraf is not bumped by this PR; a draft bump PR pins this head, and board-release.yml opens the real one after merge."
  ],
  "tags": ["Engineering", "Verification", "Website"],
  "blog": {
    "title": "A seventh rung: the models Gonka sells, and the cards TRI-NET would rent",
    "summary": "The spec ladder now lists every model the Gonka compute network sells, read from its chain, beside the GPU and FPGA host classes TRI-NET would pay in $TRI, and the page proves on request how far each card has drifted from the chain.",
    "outline": [
      "Gonka is the closest working example of a compute market paid in its own token; what it sells and who hosts it belonged in specs with tests, not in a chat.",
      "Every number on a card is copied from four public endpoints, the page re-reads them on a button and prints each difference, and a contract round-trips recorded responses and bends one value at a time to prove each difference is found alone.",
      "Consumer cards left Gonka in June 2026 and a served model now needs 280-560 GB per host; whether TRI-NET can pay for that class depends on a GPU worker, a verifier and a $TRI market, none of which exists yet."
    ]
  }
}

Closes #1301

🤖 Generated with Claude Code

[github-actions]

X Brain Health Check

Score: 100.0/100
Status: 🟢 HEALTHY
Threshold: 80/100

X Brain is above merge threshold

[github-actions]

🚨 CRITICAL: Brain Health Below Threshold

The brain health CI gate has failed. This PR cannot be merged until:

1. All brain region unit tests pass
2. Integration tests pass
3. Stress test score >= 270/300
4. Brain health score >= 80/100

Please review the failed job logs and fix the issues.