Skip to content

specs/t27mcp: examples.t27 uses find and has from check_hints.t27 - #10169

Merged
gHashTag merged 1 commit into
masterfrom
mcp-t27-dedup
Oct 18, 2026
Merged

specs/t27mcp: examples.t27 uses find and has from check_hints.t27#10169
gHashTag merged 1 commit into
masterfrom
mcp-t27-dedup

Conversation

@gHashTag

@gHashTag gHashTag commented Oct 18, 2026

Copy link
Copy Markdown
Owner

Closes #10166

Part of the epic #10066.

Why

#10157 landed specs/t27mcp/examples.t27 on master at its first commit. The follow-up commit that removes its copy of find, has and NO_POS (which check_hints.t27 already defines) was pushed after the merge, so master has the duplicate the duplicate-bodies gate rejects.

What

examples.t27 gets use t27mcp::check_hints; after its module line and drops its own NO_POS, find and has. Nothing else changes. t27c gen-c inlines the imported bodies, so the wasm the t27 MCP server runs still comes from one C file; the regenerated artifacts are gHashTag/t27-mcp#12.

Evidence (Railway lab, t27c 0.5.2, zig 0.16.0)

  • t27c test-report specs/t27mcp/examples.t27: 8 pass, 0 fail, 0 vacuous. With one row widened past 40 lines it gives 1 fail (negative control).
  • check_hints.t27 and spec_brief.t27 are unchanged: 13 and 5 pass.
  • python3 tools/dupe_scan.py: see the comment with the run on this branch and on master.
  • The wasm built from this spec and the one built from the copy agree on 748 cases (topic_code over 676 two-word questions, pick over 72 (code, k) pairs).

🤖 Generated with Claude Code

@gHashTag @claude
specs/t27mcp: examples.t27 uses find and has from check_hints.t27
c915489 
The two string helpers were copied between the specs, which the
duplicate-bodies gate rejects. examples.t27 now has
'use t27mcp::check_hints;' and keeps no copy; t27c gen-c inlines the
imported bodies, so the wasm still comes from one C file and answers
identically (748 topic_code and pick cases, 0 differences).

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@gHashTag

gHashTag commented Oct 18, 2026

Copy link
Copy Markdown
Owner Author

python3 tools/dupe_scan.py on the Railway lab:

t27c test-report on this branch: examples 8 of 8, check_hints 13 of 13, spec_brief 5 of 5, 0 vacuous.

@gHashTag gHashTag mentioned this pull request Oct 18, 2026
Merged
@gHashTag
gHashTag enabled auto-merge (squash) October 18, 2026 02:49
This was referenced Oct 18, 2026
Merged
Closed
Merged
@gHashTag
gHashTag merged commit c81de61 into master Oct 18, 2026
25 of 29 checks passed
@github-actions

github-actions Bot commented Oct 18, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-18 03:02:13 UTC

Summary

Status Count
Total Open PRs 50
PRs with Failing Checks 47
PRs with All Checks Green 3
READY 0
FAILING 47
PENDING 0
NO CHECKS YET 0

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

Seal Status

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

gHashTag added a commit that referenced this pull request Oct 18, 2026
@gHashTag @claude
Merge master: take #10169's examples.t27, which made the same use of …
d83e966 
…check_hints

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

t27mcp: examples.t27 copies find and has from check_hints.t27 (duplicate-bodies)

1 participant

@gHashTag