Skip to content

fix(specs): convert braced TDD blocks in the two unparseable fpga specs - #2252

Merged
gHashTag merged 1 commit into
masterfrom
fix/two-unparseable-specs
Aug 19, 2026
Merged

fix(specs): convert braced TDD blocks in the two unparseable fpga specs#2252
gHashTag merged 1 commit into
masterfrom
fix/two-unparseable-specs

Conversation

@gHashTag

Copy link
Copy Markdown
Owner

Closes #2251. The named cause of the honest lint red: 64+7+3 braced blocks converted to the canonical braceless form; synth-readiness 100%/100% READY. docs/NOW.md updated.

🤖 Generated with Claude Code

vcd_conformance_compare.t27 and power_analysis.t27 wrote 64 tests, 7
invariants and 3 benches as 'name { ... }' blocks; the language's TDD
blocks are braceless and indentation-scoped (the 35 sibling specs use the
canonical form). Mechanical conversion with open/close pairing asserted
per family. Both specs parse; synth-readiness reports 100%/100% READY --
the honest lint gate's NOT-READY cause is repaired at the source.

Closes #2251.
@gHashTag
gHashTag enabled auto-merge (squash) August 19, 2026 21:29
@github-actions

Copy link
Copy Markdown
Contributor

📓 NotebookLM Notebook linked to this PR

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

@github-actions

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-08-19 21:32:14 UTC

Summary

Status Count
Total Open PRs 25
PRs with Failing Checks 9
PRs with All Checks Green 16
READY 7
FAILING 9
PENDING 0

Seal Status

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

@gHashTag
gHashTag merged commit e7ef72b into master Aug 19, 2026
23 of 26 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Two fpga specs used braced test/invariant/bench blocks the parser does not accept

1 participant