Skip to content

spec(gen_w875): port scripts/gen_w875.py to specs/port/scripts/gen_w875.t27 - #11190

Open
dmitrii-f-t27 wants to merge 1 commit into
gHashTag:masterfrom
dmitrii-f-t27:spec-gen-w875
Open

dmitrii-f-t27 wants to merge 1 commit into
gHashTag:masterfrom
dmitrii-f-t27:spec-gen-w875

Conversation

@dmitrii-f-t27

Copy link
Copy Markdown
Contributor

Closes #11142

Port scripts/gen_w875.py (3 functions) to specs/port/scripts/gen_w875.t27. The original assembles a t27 literal module as text; text assembly cannot be generated, so the decisions that shape the text are ported as pure integer functions (dimensions, element indexing, x/y coordinates, wrap check at offset 32768, OUTER=569). Plumbing (indent, build_tree, generate) is declared under its own name with an undefined body; no test calls it. The original .py stays untouched; nothing outside the boundary file was changed.

Verification (t27c release binary, built from 4df8f0a): t27c parse exit 0; spec-status IMPLEMENTED; gen exit 0, 145 lines, 0 'not yet implemented'; test-report 11 tests, 11 pass, 0 FAIL, 0 BLOCKED, 0 vacuous; fn count 3; test blocks 11.

Agent: dmitrii-f-t27

…75.t27 (Closes gHashTag#11142)

Port the three functions (indent, build_tree, generate) as pure integer
decisions: dimensions, element indexing, x/y coordinates, and the wrap
check at offset 32768 (OUTER=569). Plumbing is declared under its own
name with an undefined body; no test calls it.

Agent: dmitrii-f-t27
This was referenced Oct 20, 2026
This was referenced Oct 20, 2026

This branch has not been deployed

No deployments
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_w875.py (Python, 3 functions) to specs/port/scripts/gen_w875.t27

1 participant