fix(ci): install yosys before the tests that need it (Closes #2302)

[gHashTag]

Closes #2302.

The build job in .github/workflows/cli-tri.yml has never passed. Not
regressed -- never passed: 11 runs on master, 11 failures, and 0
successes out of 56 runs across every branch the workflow has ever run on.

Cause

ubuntu-latest ships no yosys. The workflow installs it, but as a line inside
the run block of the final step, which is ordered after cargo test -p tri:

      - name: cargo test -p tri          # needs yosys, runs first
        run: cargo test -p tri

      - name: the CLI actually produces a report
        run: |
          set -uo pipefail
          sudo apt-get update -qq && sudo apt-get install -y -qq yosys   # too late

fpga::tests::test_smoke_gate_json_synthetic_verify_lean calls the real
smoke_gate(), whose verdict ANDs in yosys_ok, so every run produced:

[smoke-gate] SKIP: yosys not on PATH
[smoke-gate] complete (passed: false)
test result: FAILED. 155 passed; 1 failed

A failed step aborts the job, so the install step had never once executed.

Step order

	before	after
1	actions/checkout@v4	actions/checkout@v4
2	dtolnay/rust-toolchain@stable	dtolnay/rust-toolchain@stable
3	cargo build -p tri --all-targets	cargo build -p tri --all-targets
4	cargo test -p tri	install yosys (new)
5	the CLI actually produces a report (installs yosys inline)	cargo test -p tri
6	--	the CLI actually produces a report (inline install removed)

The duplicate install was removed

Checked what the inline line carried before deleting it: sudo apt-get update -qq && sudo apt-get install -y -qq yosys installs yosys and nothing else, so
once hoisted it was pure duplication and is removed in full rather than trimmed.
Had it pulled a second package, that part would have stayed. The comment above
the final step now says yosys arrives from the step above rather than claiming to
install it. Every other step keeps its order and content.

The test is untouched

cli/tri/src/fpga.rs is not modified. Making the assertion tolerate a missing
yosys would turn the check green while verifying no synthesis at all -- the
absence-is-not-a-value defect already closed twice, in #2285 and #2287. A gate
must not treat "I could not look" as "I looked and it was fine".

Scope check

Verified yosys was the only missing dependency, so this does not just move the
failure. Inside smoke_gate() (cli/tri/src/fpga.rs:5946-6350) there is no
lake, no python3, no nextpnr -- yosys is the only external binary spawned.
theorem_matrix_ok is a hardcoded true, and verify-lean is a pure-Rust
synthetic fixture that writes and re-reads its own JSON. The run log agrees: the
yosys skip was the only phase reporting anything but OK.

One honest caveat

Because the job always died at the test step, the final tri rtl check step has
never run in CI. This PR exercises it for the first time. If build still
fails here, that step is the most likely place, and it would be a real finding
rather than a regression from this change.

[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-08-20 09:08:15 UTC

• fix(ci): install yosys before the tests that need it (Closes #2302) #2303 fix(ci): install yosys before the tests that need it (Closes #2302) | Created: 2026-08-20 | Updated: 2026-08-20 | 13 failing / 24 total
• fix(ci): one NOW entry per file, and retire merge=union #2298 fix(ci): one NOW entry per file, and retire merge=union | Created: 2026-08-20 | Updated: 2026-08-20 | 6 failing / 34 total
• ci: eleven merge-critical gates were silent on stacked PRs #2169 ci: eleven merge-critical gates were silent on stacked PRs | Created: 2026-08-14 | Updated: 2026-08-14 | 5 failing / 30 total
• corpus: freeze the damage, patch one class at a time, and say where one rule stops #2161 corpus: freeze the damage, patch one class at a time, and say where one rule stops | Created: 2026-08-14 | Updated: 2026-08-20 | 0 failing / 9 total
• tri triage: five ordered classes, and blocked is tested before actionable (#2156) #2157 tri triage: five ordered classes, and blocked is tested before actionable (#2156) | Created: 2026-08-14 | Updated: 2026-08-14 | 0 failing / 17 total
• parser: nesting decides the separator, never the terminator (#2127) #2151 parser: nesting decides the separator, never the terminator (#2127) | Created: 2026-08-14 | Updated: 2026-08-14 | 2 failing / 26 total
• Unbreak FPGA CI and correct two unbacked hardware claims #2081 Unbreak FPGA CI and correct two unbacked hardware claims | Created: 2026-08-11 | Updated: 2026-08-20 | 5 failing / 27 total
• feat(igla): Wave Loop 898 — module-scope [615][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1900 feat(igla): Wave Loop 898 — module-scope [615][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
• chore: civilian mesh positioning — drop drone wording (bpsk.t27) #1874 chore: civilian mesh positioning — drop drone wording (bpsk.t27) | Created: 2026-08-07 | Updated: 2026-08-07 | 2 failing / 25 total
• feat(igla): Wave Loop 897 — module-scope [613][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1858 feat(igla): Wave Loop 897 — module-scope [613][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
• feat(igla): Wave Loop 896 — module-scope [611][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1856 feat(igla): Wave Loop 896 — module-scope [611][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
• feat(igla): Wave Loop 895 — module-scope [609][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1854 feat(igla): Wave Loop 895 — module-scope [609][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
• feat(igla): Wave Loop 894 — module-scope [607][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1852 feat(igla): Wave Loop 894 — module-scope [607][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
• feat(igla): Wave Loop 893 — module-scope [605][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1850 feat(igla): Wave Loop 893 — module-scope [605][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
• feat(igla): Wave Loop 892 — module-scope [603][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1847 feat(igla): Wave Loop 892 — module-scope [603][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 1 failing / 3 total
• feat(igla): Wave Loop 891 — module-scope [601][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1844 feat(igla): Wave Loop 891 — module-scope [601][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 0 failing / 4 total
• feat(igla): Wave Loop 890 — module-scope [599][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1842 feat(igla): Wave Loop 890 — module-scope [599][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 0 failing / 4 total
• feat(igla): Wave Loop 883 — module-scope [585][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1815 feat(igla): Wave Loop 883 — module-scope [585][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-06 | Updated: 2026-08-06 | 0 failing / 1 total
• feat(igla): Wave Loop 882 — module-scope [583][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1813 feat(igla): Wave Loop 882 — module-scope [583][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-06 | Updated: 2026-08-06 | 0 failing / 12 total
• feat(igla): Wave Loop 881 — module-scope [581][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1810 feat(igla): Wave Loop 881 — module-scope [581][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-06 | Updated: 2026-08-06 | 0 failing / 12 total

Summary

Status	Count
Total Open PRs	20
PRs with Failing Checks	5
PRs with All Checks Green	15
READY	7
FAILING	5
PENDING	0

Seal Status

• ⚠️ STALE -- sha256(compiler.rs)=cbbfac87dff3 != 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).