Repository navigation
specs: layernorm, wrapup-auto and ternary_mac_synth test what they claim (Closes #7404) - #7418
Merged
Merged
Conversation
gHashTag
enabled auto-merge (squash)
October 7, 2026 09:08
This was referenced Oct 7, 2026
Closed
Merged
Contributor
This was referenced Oct 7, 2026
t27c: refuse a malformed number literal by name, read 0o as octal (Closes #7319, Closes #2645)
#7421
Draft
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This was referenced Oct 7, 2026
Closed
This was referenced Oct 8, 2026
Merged
Merged
- .trinity/seals: the five seal files of layernorm_layer, wrapup-auto and ternary_mac_synth are regenerated with `t27c seal --save`, t27c built from 927b1ef on the t27c lab (the merged tree has master's bootstrap/); `--verify` gives all hashes MATCH. Gen hashes are unchanged; only built_by and sealed_at move. - Ledger: master's, with only this PR's three rows: layernorm_layer and ternary_mac_synth blocked -> pass, wrapup-auto's blocker StmtAssign -> ExprArrayLiteral(to slice field) (not_pass 51 -> 49). Closes #7404 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Contributor
PR DashboardGenerated at: 2026-10-08 07:29:32 UTC
Summary
Seal Status
|
This was referenced Oct 8, 2026
Merged
Master moved (#7414 landed), and the ledger conflicted again. - Ledger: master's (12c41a4), with only this PR's three rows, the same rows a bless of the lab run of b69c63c gives: layernorm_layer and ternary_mac_synth blocked -> pass, wrapup-auto's blocker StmtAssign -> ExprArrayLiteral(to slice field) (not_pass 50 -> 48). - .trinity/seals: the five seal files resealed with `t27c seal --save`, t27c built from 12c41a4 on the t27c lab; `--verify` all MATCH. Gen hashes unchanged. Closes #7404 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Contributor
PR DashboardGenerated at: 2026-10-08 08:55:11 UTC
Summary
Seal Status
|
Owner
Author
|
Merge shepherd: auto-merge squashed this PR into the temporary branch shep-tmp-base-7418 while I was flipping its base to clear a stale base.sha (#7489). That branch is deleted, and nothing reached master. The same head, 281d5b4, continues as #7745. The receipt verdict for this content is IMPROVED_ONLY (exit 3), posted there. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Closes #7404
Part of #6063
Three specs were blocked in the t27b ledger because of defects in the specs themselves, not in t27b.
forwardassigned to names it never declared, so no backend could run it. It now computes the mean and the biased variance and writes(x - mean) / sqrt(variance + 1e-5). Five tests check known outputs, an empty input, a single element and a constant input. The reference passes 5/5 with 0 vacuous tests, and each of 8 hand mutants offorwardfails at least one test.wrapup_runis Python and is marked NOT CHECKED. The test now builds aWrapUpInputand checks its fields at run time (5 runtime asserts).[a,b]u8as.{ _ }, so 13 uses now read[a, b]. gen-verilog, gen-c and gen-rust output is byte-identical. The reference passes 10/10, with 0 vacuous.Seals were regenerated on the t27c lab, and
check_seal_coverageandcheck_seal_currencyboth exit 0 there.t27b ledger, from a targeted corpus run on the t27b lab:
StmtAssign(undeclared)ExprArrayLiteral(reference empty typed)StmtAssignExprArrayLiteral(to slice field)max_not_passgoes from 24 to 22 (recounted after the latest master merge 26ebb95: 822 entries, no duplicate paths). The ledger is master's ledger with only these three rows changed.No Rust is touched.
🤖 Generated with Claude Code