ci: remove nine dangling .lake gitlinks that break every recursive checkout

[gHashTag]

Nine lean4_bridge/.lake/packages/* paths have been committed as submodule gitlinks with no .gitmodules entries since #1304 — Lake's build cache, not sources. Every submodules: recursive checkout (the coverage workflow) dies at fatal: No url found for submodule path; it failed on #2217 and fails on every PR identically. This removes the gitlinks, ignores lean4_bridge/.lake/, and leaves the three real chips/* submodules untouched.

Refs #1959

🤖 Generated with Claude Code

[github-actions]

PR Dashboard

Generated at: 2026-08-19 12:33:48 UTC

• ci: remove nine dangling .lake gitlinks that break every recursive checkout #2221 ci: remove nine dangling .lake gitlinks that break every recursive checkout | Created: 2026-08-19 | Updated: 2026-08-19 | 15 failing / 20 total
• fpga-build's yosys loop could never have passed as written — 1/32 → 32/32 #2216 fpga-build's yosys loop could never have passed as written — 1/32 → 32/32 | Created: 2026-08-19 | Updated: 2026-08-19 | 1 failing / 27 total
• tri does not build from a clean checkout, and no workflow noticed (Refs #2176) #2177 tri does not build from a clean checkout, and no workflow noticed (Refs #2176) | Created: 2026-08-17 | Updated: 2026-08-18 | 2 failing / 7 total
• ci: stop interpolating untrusted event data into shell, and seal evidential binaries #2172 ci: stop interpolating untrusted event data into shell, and seal evidential binaries | Created: 2026-08-14 | Updated: 2026-08-15 | 0 failing / 18 total
• loop: the differential tool counted unmeasured files as agreement #2170 loop: the differential tool counted unmeasured files as agreement | Created: 2026-08-14 | Updated: 2026-08-14 | 0 failing / 17 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
• bootstrap: accept pub const Name(T) = struct as a parameterised type declaration #2168 bootstrap: accept pub const Name(T) = struct as a parameterised type declaration | Created: 2026-08-14 | Updated: 2026-08-15 | 3 failing / 26 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-14 | 0 failing / 9 total
• tri: restore cost and diffbin, and the same 634 specs now report 13 field losses where the old tool reported zero #2159 tri: restore cost and diffbin, and the same 634 specs now report 13 field losses where the old tool reported zero | Created: 2026-08-14 | Updated: 2026-08-14 | 2 failing / 26 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-11 | 5 failing / 26 total
• chore(deps)(deps): bump clap from 4.6.1 to 4.6.6 #2066 chore(deps)(deps): bump clap from 4.6.1 to 4.6.6 | Created: 2026-08-10 | Updated: 2026-08-19 | 11 failing / 20 total
• chore(deps)(deps): bump tokio-stream from 0.1.18 to 0.1.19 #2065 chore(deps)(deps): bump tokio-stream from 0.1.18 to 0.1.19 | Created: 2026-08-10 | Updated: 2026-08-19 | 3 failing / 26 total
• chore(deps)(deps): bump ignore from 0.4.28 to 0.4.33 #2064 chore(deps)(deps): bump ignore from 0.4.28 to 0.4.33 | Created: 2026-08-10 | Updated: 2026-08-19 | 8 failing / 23 total
• chore(deps)(deps): bump serde_json from 1.0.150 to 1.0.151 #2063 chore(deps)(deps): bump serde_json from 1.0.150 to 1.0.151 | Created: 2026-08-10 | Updated: 2026-08-19 | 12 failing / 23 total
• chore(deps)(deps): bump tokio from 1.52.1 to 1.53.1 #2062 chore(deps)(deps): bump tokio from 1.52.1 to 1.53.1 | Created: 2026-08-10 | Updated: 2026-08-19 | 15 failing / 25 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	30
PRs with Failing Checks	10
PRs with All Checks Green	20
READY	9
FAILING	10
PENDING	0

Seal Status

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

[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.