Repository navigation
t27_examples: regenerate examples.wasm from the spec that imports find and has - #12
Merged
Merged
Conversation
…d and has specs/t27mcp/examples.t27 now takes find and has from check_hints.t27 with `use` (gHashTag/t27#10157) instead of a copy. t27c gen-c inlines the imported bodies, so the wasm still comes from one C file. topic_code and pick answer as before: 748 cases, 0 differences. Closes gHashTag/t27#10166 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Summary by t27-beesThe spec Worth a look
Read: 3 files, +9 -7, the whole diff. Head |
Owner
Author
|
Checked each point; no change needed.
|
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
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 gHashTag/t27#10166
Part of the epic gHashTag/t27#10066. The spec change is gHashTag/t27#10169 (the spec itself landed in gHashTag/t27#10157).
What
specs/t27mcp/examples.t27kept its own copy offindandhas, which are also incheck_hints.t27. Theduplicate-bodiesgate of gHashTag/t27 rejects that. The spec now imports them withuse t27mcp::check_hints;, and this PR carries the regenerated artifacts:wasm/examples.wasm: same size (914 bytes), new bytes.t27c gen-cinlines the imported bodies, so it is still one C file.wasm/examples_table.mjs:NO_POSmoves to the end of the declaration order; no value changes.wasm/BUILD: notes theuseand carries the new sha256.No hand-written JavaScript changes.
Evidence
t27c test-report specs/t27mcp/examples.t27gives 8 of 8 pass and 0 vacuous; with one row widened past 40 lines, 7 pass and 1 fails (negative control).python3 tools/dupe_scan.pyon specs/t27mcp: examples.t27 uses find and has from check_hints.t27 t27#10169 reports no new duplicate body.topic_codeover 676 two-word questions andpickover 72 (code, k) pairs.npm run smoke: all checks pass.🤖 Generated with Claude Code