Skip to content

spec(port): gen_w386 as .t27 - #6281

Merged
dmitrii-f-t27 merged 1 commit into
masterfrom
spec/port-gen-w386-5226
Oct 4, 2026
Merged

dmitrii-f-t27 merged 1 commit into
masterfrom
spec/port-gen-w386-5226

Conversation

@dmitrii-f-t27

Copy link
Copy Markdown
Collaborator

Closes #5226

Adds specs/port/scripts/gen_w386.t27, the port of scripts/gen_w386.py. One file, nothing else.

Ported decision: the verdict for one IGLA spec (append_w386): no Wave Loop block means skip, a last block that is not wave 385 means skip, otherwise append. The file I/O, the regex and the text replacement are plumbing and are not ported.

Checks from this branch with t27c built from the same tree and Zig 0.16.0:

  • t27c typecheck: OK
  • t27c spec-status: IMPLEMENTED
  • t27c gen: 52 lines, 0 x not yet implemented
  • t27c test-report: 7 tests, 7 pass, 0 BLOCKED
  • python3 tools/dupe_scan.py: ok, no new duplicate body

Not checked: CI result is pending.

🤖 Generated with Claude Code

)

Ports the per-spec verdict of the Wave Loop 386 batch append: skip when the spec has
no Wave Loop block, skip when the last block is not wave 385, otherwise append.
File reading and writing and the text replacement stay plumbing.

Checked with t27c from this tree and Zig 0.16.0: typecheck OK, spec-status
IMPLEMENTED, gen 52 lines with no "not yet implemented", test-report 7/7,
tools/dupe_scan.py reports no new duplicate body.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@github-actions

github-actions Bot commented Oct 4, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-04 21:29:22 UTC

Summary

Status Count
Total Open PRs 50
PRs with Failing Checks 37
PRs with All Checks Green 13
READY 11
FAILING 37
PENDING 0
NO CHECKS YET 0

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

Seal Status

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

@dmitrii-f-t27
dmitrii-f-t27 merged commit 9a6ab97 into master Oct 4, 2026
23 of 25 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.

Port scripts/gen_w386.py (Python, 1 function) to specs/port/scripts/gen_w386.t27

1 participant