ci(fpga): fpga-bitstream is an Arty A7-100T smoke build -- never offer it for the Wukong

[gHashTag]

Closes #5959
Refs #5906

The fpga-bitstream job builds an Arty A7-100T (xc7a100tcsg324-1) bitstream, but it labelled it "QMTECH XC7A100T". Its uploaded FLASHING.md offered the file for a QMTech board, and the QMTech board this repository flashes is the Wukong V1 (XC7A200T). fpga/HARDWARE_SSOT.md:247-249 forbids mixing the Arty's csg324 package into Wukong flows. The SSOT wins (:3-5), so this PR fixes the workflow. The evidence, with file:line, is in #5959.

Decision: relabel, do not retarget

• What the job stages is the Arty: a csg324 chipdb (fpga-build.yml:567-570), an explicit --device xc7a100tcsg324-1 (:585, pinned on purpose in 1328787 / ci(fpga): pin --device to the board the bitstream job actually stages #2226), and Arty pins. --minimal makes t27c write its own XDC, bootstrap/src/main.rs:7752-7768, whose comment at :7756 names the Arty.
• Retargeting to xc7a200tfbg676-1 would take more than a CI change. prjxray-db does carry that part, but a 200T chipdb export has never been run on a runner, and --minimal would still emit Arty pins. A Wukong CI bitstream needs a Wukong pin set in t27c first.

Changed

.github/workflows/fpga-build.yml, job fpga-bitstream:

• A job comment names the board and says the flash target is fpga/HARDWARE_SSOT.md's call. The comment points at the SSOT and does not restate it.
• The summary Board row changes from QMTECH XC7A100T to Arty A7-100T (xc7a100tcsg324-1), CI smoke; not for the Wukong.
• FLASHING.md now says the file is an Arty A7-100T CI smoke build, not a Wukong bitstream, and that the Wukong's part and flash path are in the SSOT. It offers one command: t27c fpga-flash --board arty-a7 --bitstream <the .bit this step found>. The heredoc is now unquoted so that it can fill in the name, and nothing else in it expands.
• The old guide's two commands could not have run. qmtech-a100t is not a known board (main.rs:7121-7124), and fpga-flash has no --profile flag (main.rs:1873-1898). The Verify link to docs/fpga/QMTECH_A100T_SMOKE.md pointed at the Wukong smoke test, so it is dropped.

fpga/HARDWARE_SSOT.md, section 6 "Known-stale docs corrected by this SSOT": one dated (2026-10-04) entry for this correction.

No job, step, needs:, artifact name or path changes.

Checked

• The edited step was run locally under bash -e against a stub zerodsp_top.bit in a scratch directory, with GNU sed -i swapped for macOS sed -i ''. Exit 0. The summary row and FLASHING.md come out as intended, with --bitstream zerodsp_top.bit filled in.
• scripts/ci/check_untrusted_shell_interp.py and scripts/ci/check_pr_branch_filters.py pass. The added lines are ASCII.

Seen, not changed (listed in #5959)

• fpga-build.yml:383 (fpga-synthesis, synth-only at the default device) still writes Board | QMTECH XC7A100T, and fpga-report at :969 and :975 says "QMTECH".
• .github/workflows/vivado-synth.yml:93,106 (dispatch-only) passes --device xc7a100tcsg324-1, against HARDWARE_SSOT.md:251-252.

Not verified

• No synthesis, place-and-route or compile was run locally. The real step runs in this PR's fpga-build run.
• I found no record of this bitstream being flashed to an Arty. The guide calls it a CI smoke build and claims no more than that.

🤖 Generated with Claude Code

[github-actions]

📓 NotebookLM Notebook linked to this PR

• Notebook ID: b83263109fb055dc
• URL: https://notebooklm.google.com/notebook/b83263109fb055dc

This notebook contains session context, decisions, and artifacts for this work.

[github-actions]

PR Dashboard

Generated at: 2026-10-04 08:21:45 UTC

• spec(trinity): a capability card for the brain region tests, one ahead of the pin (Closes #5953) #5965 spec(trinity): a capability card for the brain region tests, one ahead of the pin (Closes #5953) | Created: 2026-10-04 | Updated: 2026-10-04 | 27 failing / 30 total
• fix(t27c): refuse a Rust match block the parser kept as text; rewrite nine as switch #5964 fix(t27c): refuse a Rust match block the parser kept as text; rewrite nine as switch | Created: 2026-10-04 | Updated: 2026-10-04 | 25 failing / 32 total
• docs(now): README matches the gates that read docs/now entries #5962 docs(now): README matches the gates that read docs/now entries | Created: 2026-10-04 | Updated: 2026-10-04 | 8 failing / 30 total
• ci(fpga): fpga-bitstream is an Arty A7-100T smoke build -- never offer it for the Wukong #5960 ci(fpga): fpga-bitstream is an Arty A7-100T smoke build -- never offer it for the Wukong | Created: 2026-10-04 | Updated: 2026-10-04 | 7 failing / 33 total
• ci: remove the NotebookLM hooks and workflows -- the sync is a stub, the gate checks a tracked constant #5958 ci: remove the NotebookLM hooks and workflows -- the sync is a stub, the gate checks a tracked constant | Created: 2026-10-04 | Updated: 2026-10-04 | 3 failing / 30 total
• Port gHashTag/trinity:fpga/openxc7-synth/blink_minimal.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/bl #5956 Port gHashTag/trinity:fpga/openxc7-synth/blink_minimal.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/bl | Created: 2026-10-04 | Updated: 2026-10-04 | 3 failing / 31 total
• ci: remove the NOW gate -- nothing asks for a docs/now entry any more #5951 ci: remove the NOW gate -- nothing asks for a docs/now entry any more | Created: 2026-10-04 | Updated: 2026-10-04 | 2 failing / 38 total
• fpga: elaboration ratchet back to 176 -- ternary_isa (W459), uart (spec), adapter (NEW-clean) (Closes #5908) #5948 fpga: elaboration ratchet back to 176 -- ternary_isa (W459), uart (spec), adapter (NEW-clean) (Closes #5908) | Created: 2026-10-04 | Updated: 2026-10-04 | 4 failing / 45 total
• fix(t27c): refuse macro calls and typeless fields; rewrite eight Markdown specs (#5923) #5947 fix(t27c): refuse macro calls and typeless fields; rewrite eight Markdown specs (#5923) | Created: 2026-10-04 | Updated: 2026-10-04 | 6 failing / 41 total
• Port gHashTag/trinity:src/background_agent/main.zig (Zig, 1 function) to specs/port/trinity/src/background_agent/main.t2 #5946 Port gHashTag/trinity:src/background_agent/main.zig (Zig, 1 function) to specs/port/trinity/src/background_agent/main.t2 | Created: 2026-10-04 | Updated: 2026-10-04 | 2 failing / 31 total
• spec(split-reel): v9 -- each voice is held to its own slowest measured pace #5932 spec(split-reel): v9 -- each voice is held to its own slowest measured pace | Created: 2026-10-04 | Updated: 2026-10-04 | 2 failing / 32 total
• Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/provider-error-classifier.ts (TypeScript, 1 function) to  #5926 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/provider-error-classifier.ts (TypeScript, 1 function) to | Created: 2026-10-04 | Updated: 2026-10-04 | 2 failing / 31 total
• CI: spec-guards and emit-bitexact restore master cargo caches; cancel superseded emit-bitexact runs (B25) #5924 CI: spec-guards and emit-bitexact restore master cargo caches; cancel superseded emit-bitexact runs (B25) | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 32 total
• ring-096 and formats.t27 agree on f32 (Closes #5746) #5921 ring-096 and formats.t27 agree on f32 (Closes #5746) | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 56 total
• build(t27c): reqwest on native-tls, drop the aws-lc-sys build #5920 build(t27c): reqwest on native-tls, drop the aws-lc-sys build | Created: 2026-10-04 | Updated: 2026-10-04 | 2 failing / 39 total
• build(t27c): put the web stack behind cargo features (212 -> 49 crates) #5914 build(t27c): put the web stack behind cargo features (212 -> 49 crates) | Created: 2026-10-04 | Updated: 2026-10-04 | 4 failing / 42 total
• fix(rust): preserve writes to by-value parameter bindings #5911 fix(rust): preserve writes to by-value parameter bindings | Created: 2026-10-04 | Updated: 2026-10-04 | 3 failing / 42 total
• fix(t27c): var tuple destructure silences never-mutated Zig locals (Closes #5886) #5902 fix(t27c): var tuple destructure silences never-mutated Zig locals (Closes #5886) | Created: 2026-10-04 | Updated: 2026-10-04 | 3 failing / 46 total
• fix(tri tick): dirty work nobody holds is an anomaly, released claim or not #5896 fix(tri tick): dirty work nobody holds is an anomaly, released claim or not | Created: 2026-10-04 | Updated: 2026-10-04 | 3 failing / 34 total
• spec(crm-client-workspace): v6 -- client work carries the client's marks #5893 spec(crm-client-workspace): v6 -- client work carries the client's marks | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 32 total
• Port gHashTag/trios:crates/trios-openclaw/rings/OC-01/src/lib.rs (Rust, 3 functions) to specs/port/trios/crates/trios-op #5888 Port gHashTag/trios:crates/trios-openclaw/rings/OC-01/src/lib.rs (Rust, 3 functions) to specs/port/trios/crates/trios-op | Created: 2026-10-04 | Updated: 2026-10-04 | 2 failing / 35 total
• Port gHashTag/trinity:fpga/openxc7-synth/d_oscillator.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_o #5887 Port gHashTag/trinity:fpga/openxc7-synth/d_oscillator.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_o | Created: 2026-10-04 | Updated: 2026-10-04 | 5 failing / 35 total
• Port scripts/test-agent-bridge.sh (Shell, 1 function) to specs/port/scripts/test-agent-bridge.t27 #5883 Port scripts/test-agent-bridge.sh (Shell, 1 function) to specs/port/scripts/test-agent-bridge.t27 | Created: 2026-10-04 | Updated: 2026-10-04 | 2 failing / 35 total
• Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/a2a/a2a-liveness.ts (TypeScript, 2 functions) to #5879 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/a2a/a2a-liveness.ts (TypeScript, 2 functions) to | Created: 2026-10-04 | Updated: 2026-10-04 | 3 failing / 35 total
• feat(tri pr-state): --why, and each name under the heading tri printed it under #5868 feat(tri pr-state): --why, and each name under the heading tri printed it under | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 30 total
• Port gHashTag/trinity:fpga/openxc7-synth/led_both_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/le #5866 Port gHashTag/trinity:fpga/openxc7-synth/led_both_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/le | Created: 2026-10-04 | Updated: 2026-10-04 | 4 failing / 35 total
• fix(tri tick): a released claim is not held, and the dead-tick fix names its files #5864 fix(tri tick): a released claim is not held, and the dead-tick fix names its files | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 34 total
• Port gHashTag/trios:crates/trios-scarab-types/rings/SR-01/src/lib.rs (Rust, 6 functions) to specs/port/trios/crates/trio #5855 Port gHashTag/trios:crates/trios-scarab-types/rings/SR-01/src/lib.rs (Rust, 6 functions) to specs/port/trios/crates/trio | Created: 2026-10-04 | Updated: 2026-10-04 | 4 failing / 35 total
• feat(tri pr ready): --why compares what a pre-existing failure printed #5853 feat(tri pr ready): --why compares what a pre-existing failure printed | Created: 2026-10-04 | Updated: 2026-10-04 | 3 failing / 38 total
• feat(tri): tri harness measures a page signed in -- --save-state / --storage-state, sessionStorage included #5849 feat(tri): tri harness measures a page signed in -- --save-state / --storage-state, sessionStorage included | Created: 2026-10-04 | Updated: 2026-10-04 | 2 failing / 35 total
• Port gHashTag/trinity:src/vibeec/validation_engine.zig (Zig, 3 functions) to specs/port/trinity/src/vibeec/validation_en #5836 Port gHashTag/trinity:src/vibeec/validation_engine.zig (Zig, 3 functions) to specs/port/trinity/src/vibeec/validation_en | Created: 2026-10-03 | Updated: 2026-10-04 | 5 failing / 35 total
• feat(tri): tri harness -- a page measured at 375px and 1024px, every visible frame #5828 feat(tri): tri harness -- a page measured at 375px and 1024px, every visible frame | Created: 2026-10-03 | Updated: 2026-10-03 | 2 failing / 37 total
• tri pr-state: a loop's pull requests with tri pr ready's verdict, not "open" #5824 tri pr-state: a loop's pull requests with tri pr ready's verdict, not "open" | Created: 2026-10-03 | Updated: 2026-10-03 | 1 failing / 32 total
• Port gHashTag/trinity:fpga/openxc7-synth/blink_simple.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/bli #5822 Port gHashTag/trinity:fpga/openxc7-synth/blink_simple.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/bli | Created: 2026-10-03 | Updated: 2026-10-04 | 4 failing / 35 total
• Port gHashTag/trinity:fpga/openxc7-synth/uart_echo.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/uart_e #5820 Port gHashTag/trinity:fpga/openxc7-synth/uart_echo.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/uart_e | Created: 2026-10-03 | Updated: 2026-10-04 | 4 failing / 35 total
• tri: stranded-work finder and cron tick resume card #5787 tri: stranded-work finder and cron tick resume card | Created: 2026-10-03 | Updated: 2026-10-03 | 1 failing / 31 total
• Port gHashTag/trinity:fpga/openxc7-synth/d_srl_blink.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_sr #5783 Port gHashTag/trinity:fpga/openxc7-synth/d_srl_blink.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_sr | Created: 2026-10-03 | Updated: 2026-10-04 | 2 failing / 36 total
• Port gHashTag/trinity:fpga/openxc7-synth/d_bufg_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_bu #5781 Port gHashTag/trinity:fpga/openxc7-synth/d_bufg_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_bu | Created: 2026-10-03 | Updated: 2026-10-04 | 3 failing / 36 total
• Port gHashTag/trinity:fpga/openxc7-synth/led_on_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/led_ #5780 Port gHashTag/trinity:fpga/openxc7-synth/led_on_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/led_ | Created: 2026-10-03 | Updated: 2026-10-03 | 2 failing / 36 total
• Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-lane-credits.ts (TypeScript, 4 functions)  #5778 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-lane-credits.ts (TypeScript, 4 functions) | Created: 2026-10-03 | Updated: 2026-10-03 | 3 failing / 32 total
• bees/merger/publisher: reviewer bee as a service, merger reads discounted checks, publisher heading passes check (Closes #5776) #5777 bees/merger/publisher: reviewer bee as a service, merger reads discounted checks, publisher heading passes check (Closes #5776) | Created: 2026-10-03 | Updated: 2026-10-04 | 5 failing / 30 total
• Port gHashTag/trinity:fpga/openxc7-synth/d_g22_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_g22 #5757 Port gHashTag/trinity:fpga/openxc7-synth/d_g22_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_g22 | Created: 2026-10-03 | Updated: 2026-10-03 | 3 failing / 35 total
• Port gHashTag/trinity:fpga/openxc7-synth/d_y0_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_y0_t #5756 Port gHashTag/trinity:fpga/openxc7-synth/d_y0_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_y0_t | Created: 2026-10-03 | Updated: 2026-10-03 | 2 failing / 37 total
• Port scripts/tri-issue-create.py (Python, 1 function) to specs/port/scripts/tri-issue-create.t27 #5755 Port scripts/tri-issue-create.py (Python, 1 function) to specs/port/scripts/tri-issue-create.t27 | Created: 2026-10-03 | Updated: 2026-10-03 | 3 failing / 37 total
• fix(tri): gates preview reads the PR body the way the issue gate does (Closes #5744) #5745 fix(tri): gates preview reads the PR body the way the issue gate does (Closes #5744) | Created: 2026-10-03 | Updated: 2026-10-03 | 2 failing / 42 total
• fix(tri): gates preview asks the contexts the ruleset requires, parse-ratchet among them (Closes #5725) #5732 fix(tri): gates preview asks the contexts the ruleset requires, parse-ratchet among them (Closes #5725) | Created: 2026-10-03 | Updated: 2026-10-03 | 2 failing / 43 total
• Port gHashTag/trinity:fpga/openxc7-synth/d_e21_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_e21 #5689 Port gHashTag/trinity:fpga/openxc7-synth/d_e21_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_e21 | Created: 2026-10-03 | Updated: 2026-10-03 | 2 failing / 32 total
• spec(automation): kanban-card-chat v7 -- the bee's own log on a running card, live #5680 spec(automation): kanban-card-chat v7 -- the bee's own log on a running card, live | Created: 2026-10-03 | Updated: 2026-10-03 | 5 failing / 32 total
• docs(constitution): entrench Article CREDIT and seal it (v1.3) #5667 docs(constitution): entrench Article CREDIT and seal it (v1.3) | Created: 2026-10-03 | Updated: 2026-10-03 | 4 failing / 40 total
• specs/port/fpga/verilog/ternary_mac_synth.t27: rewrite w_code_to_mult/product in t27 form (explicit return, element-wise #5664 specs/port/fpga/verilog/ternary_mac_synth.t27: rewrite w_code_to_mult/product in t27 form (explicit return, element-wise | Created: 2026-10-03 | Updated: 2026-10-03 | 1 failing / 36 total

Summary

Status	Count
Total Open PRs	50
PRs with Failing Checks	47
PRs with All Checks Green	3
READY	0
FAILING	47
PENDING	0
NO CHECKS YET	0

These columns do not partition: 0 + 47 + 0 + 0 = 47, and there are 50 open PRs. A PR is being counted twice or not at all.

Seal Status

• ⚠️ STALE -- sha256(compiler.rs)=b45a356c2eb6 != manifest seal=87e5cbd3ad94.
  The committed NMSE numbers were certified against an older compiler.rs.
  Run scripts/reseal-check.sh locally for the two-step reseal command (advisory; not a merge gate).