Skip to content

elab baseline: add systolic 0 so master fpga-conformance is green again (Closes #11099) - #11100

Merged
gHashTag merged 1 commit into
masterfrom
fix/elab-baseline-systolic-11099
Oct 19, 2026
Merged

gHashTag merged 1 commit into
masterfrom
fix/elab-baseline-systolic-11099

Conversation

@gHashTag

Copy link
Copy Markdown
Owner

Closes #11099

Master's fpga-conformance has been red since #11094: systolic now elaborates with 0 errors, but the gate reads a generated module that is absent from tools/elab_baseline.txt as NEW (elaboration errors: 214 (baseline 214), NEW systolic: 0 errors, not in baseline).

One added line: systolic 0. It comes from tools/check_elab_ratchet.py --update-baseline on a t27c with master's compiler.rs digest; the verify run before the update matched CI's numbers exactly. The calibration comment stays iverilog-version 12.0 (CI's version); every other count is identical under the local 13.0.

Not fixed here: spec-guards and coverage stay red on master until the Linux seal re-save in #11097.

Checks: the four required ones decide this PR; the data change has no code in it.

🤖 Generated with Claude Code

#11094 made specs systolic generate Verilog that iverilog elaborates with
0 errors. The ratchet reads a generated module absent from the baseline as
NEW and fails, even at 0: master's fpga-conformance has been red on
fcb3bc5 with "elaboration errors: 214 (baseline 214)" and
"NEW systolic: 0 errors, not in baseline".

Produced by tools/check_elab_ratchet.py --update-baseline on a t27c with
master's compiler.rs digest (e34e1b174c96, == FROZEN_HASH); the verify run
matched CI's numbers exactly. The calibration comment stays iverilog 12.0
(CI's version): every other count is identical under 13.0.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@gHashTag
gHashTag enabled auto-merge (squash) October 19, 2026 16:57
@github-actions

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-19 16:59:05 UTC

Summary

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

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

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=e34e1b174c96 != 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 b57deed into master Oct 19, 2026
35 of 36 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.

[spec] elab baseline: add systolic 0 -- master fpga-conformance red since #11094 made systolic elaborate

2 participants