fix(specs): a capitalised Const in 24 quoted types, against 374 lowercase (+6)

[gHashTag]

Closes #3362

Twelve specs write their field types as quoted strings with a capitalised keyword:

tag        : "[]Const u8"
depends_on : "[]Const []Const u8"

The compiler strips the quotes and emits the content as a type, so rustc receives Vec<Const u8> and refuses it.

Why this is corrected rather than referred to you. The correct spelling []const appears 374 times in the same corpus; the capitalised form appears 24. That is a case typo in a keyword, not a semantic choice — there is no reading under which Const means something other than const here, and the corpus settles the spelling 374 to 24. Where a spec question has actually been a design decision ([]u32 = "[2, 2]", the empty field types, the Verilog entry-point contract) I have left it with you and said so.

Priced by hand first, on a sample of six: four compiled once corrected. Measured after, over the whole corpus: 346 → 352, zero regressions — two more than the sample predicted, because aho_corasick and regex also cleared.

+ tri/encoding/mime.t27          + tri/pipeline/workflow.t27
+ tri/graph/graph_bfs.t27        + tri/search/aho_corasick.t27
+ tri/pipeline/spec_writer.t27   + tri/search/regex.t27

The matcher is narrowed to []Const. A blanket Const → const would have corrupted KwConst = 1 in compiler/lexer.t27 — a legitimate enum variant and the 25th occurrence. Verified intact afterwards.

html and xml keep failing on std.StringHashMap(...), a Zig standard-library type also written as a string. Different defect, untouched.

[github-actions]

PR Dashboard

Generated at: 2026-09-06 05:47:15 UTC

• fix(specs): a capitalised Const in 24 quoted types, against 374 lowercase (+6) #3363 fix(specs): a capitalised Const in 24 quoted types, against 374 lowercase (+6) | Created: 2026-09-06 | Updated: 2026-09-06 | 23 failing / 26 total
• feat(tri): one-away, the specs a single repair can actually move #3360 feat(tri): one-away, the specs a single repair can actually move | Created: 2026-09-06 | Updated: 2026-09-06 | 0 failing / 37 total
• fix(tri): a refused dispatch is not a missing one #3356 fix(tri): a refused dispatch is not a missing one | Created: 2026-09-06 | Updated: 2026-09-06 | 1 failing / 37 total
• coq(CorePhi): replace proofs that were never checked by a compiler #3343 coq(CorePhi): replace proofs that were never checked by a compiler | Created: 2026-09-06 | Updated: 2026-09-06 | 5 failing / 32 total
• ci(coq): report all thirteen files instead of stopping at the first error #3342 ci(coq): report all thirteen files instead of stopping at the first error | Created: 2026-09-06 | Updated: 2026-09-06 | 3 failing / 30 total
• skill: spool four lessons from this pass #3327 skill: spool four lessons from this pass | Created: 2026-09-05 | Updated: 2026-09-05 | 1 failing / 28 total
• chore(ci)(deps): bump actions/attest-build-provenance from 1 to 4 #3001 chore(ci)(deps): bump actions/attest-build-provenance from 1 to 4 | Created: 2026-09-01 | Updated: 2026-09-06 | 0 failing / 30 total
• chore(ci)(deps): bump softprops/action-gh-release from 2 to 3 #3000 chore(ci)(deps): bump softprops/action-gh-release from 2 to 3 | Created: 2026-09-01 | Updated: 2026-09-06 | 0 failing / 28 total
• chore(ci)(deps): bump github/codeql-action from 3 to 4 #2999 chore(ci)(deps): bump github/codeql-action from 3 to 4 | Created: 2026-09-01 | Updated: 2026-09-06 | 0 failing / 28 total
• Land the formal verification harness on master (it has never run) #2727 Land the formal verification harness on master (it has never run) | Created: 2026-08-27 | Updated: 2026-09-05 | 5 failing / 24 total
• chore(deps)(deps): bump thiserror from 2.0.18 to 2.0.20 #2693 chore(deps)(deps): bump thiserror from 2.0.18 to 2.0.20 | Created: 2026-08-24 | Updated: 2026-08-28 | 3 failing / 34 total
• chore(deps)(deps): bump hyper from 1.10.1 to 1.11.0 #2692 chore(deps)(deps): bump hyper from 1.10.1 to 1.11.0 | Created: 2026-08-24 | Updated: 2026-08-28 | 3 failing / 33 total
• chore(deps)(deps): bump base64 from 0.22.1 to 0.23.1 #2691 chore(deps)(deps): bump base64 from 0.22.1 to 0.23.1 | Created: 2026-08-24 | Updated: 2026-08-28 | 3 failing / 34 total
• chore(deps)(deps): bump serde from 1.0.228 to 1.0.229 #2690 chore(deps)(deps): bump serde from 1.0.228 to 1.0.229 | Created: 2026-08-24 | Updated: 2026-08-28 | 3 failing / 34 total
• chore(deps)(deps): bump uuid from 1.23.2 to 1.25.0 #2689 chore(deps)(deps): bump uuid from 1.23.2 to 1.25.0 | Created: 2026-08-24 | Updated: 2026-08-28 | 3 failing / 34 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

Summary

Status	Count
Total Open PRs	16
PRs with Failing Checks	10
PRs with All Checks Green	6
READY	4
FAILING	10
PENDING	0
NO CHECKS YET	0

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

Seal Status

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