Skip to content

Port scripts/gen_w377.py (Python, 1 function) to specs/port/scripts/gen_w377.t27 - #7236

Merged
gHashTag merged 3 commits into
masterfrom
queen-5202
Oct 7, 2026
Merged

gHashTag merged 3 commits into
masterfrom
queen-5202

Conversation

@gHashTag

@gHashTag gHashTag commented Oct 7, 2026

Copy link
Copy Markdown
Owner

Closes #5202

Written by a bee on queen-5202 and published by tools/queen/publish.py. The branch itself is the bee's; the second commit is the coordination entry every pull request must add, which a bee has no way to know about.

1 file changed, 235 insertions(+)

🤖 Generated with Claude Code

Trinity Bee and others added 3 commits October 6, 2026 20:15
The previous port returned ?bool -- an Option, against the port
constraints -- and reduced the five literal substitutions to a
new_block_len delta whose arithmetic was wrong (12 for a 13-char
"Wave Loop 377", 20 for a 22-char "W376 seal regeneration", i += 4
after matching five chars of "w376_", i += 32 for a 28-char
"WAVE_LOOP_375_COOPERATION.md"), and never produced the renumbered
block the caller is supposed to write. Its matcher also ended blocks
at a blank line instead of the invariant line's newline and never
checked for "true".

This re-authors the port so the decision inside append_w377 is code:
the file text arrives as a parameter, the scan mirrors the regex
(left to right, non-overlapping, the first newline+invariant whose
continuation reaches a true newline), `if not m` and `if wave != 376`
skip with the original's reasons, and build_new_block performs the
five substitutions in the original's order -- each changes exactly one
digit, so the port copies the block and patches those digits. The
result is a W377Plan: appended, skip_reason, last_wave, insert_pos
(last.end()) and the renumbered block. 8 tests assert the skip
decisions, the renumbered bytes, the last-match rule and the matcher
edges.

Closes #5202
A pull request must add exactly one docs/now entry and a bee has no way
to know that: its brief names a boundary file and acceptance criteria,
and docs/now/ is neither. The publisher adds it rather than failing the
gate.

Closes #5202

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
This was referenced Oct 7, 2026
@github-actions

github-actions Bot commented Oct 7, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-07 02:23:20 UTC

Summary

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

These columns do not partition: 1 + 48 + 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)=b23641f01baa != 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).

This was referenced Oct 7, 2026
This was referenced Oct 7, 2026
@gHashTag
gHashTag enabled auto-merge (squash) October 7, 2026 07:21
@gHashTag
gHashTag merged commit 806398e into master Oct 7, 2026
26 of 29 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_w377.py (Python, 1 function) to specs/port/scripts/gen_w377.t27

2 participants