Repository navigation
specs/t27mcp: land examples.t27 and spec_brief.t27 on master - #10157
Merged
Merged
Conversation
#10083 and #10092 were merged into their stacked base branches (mcp-t27-check, mcp-t27-examples) after #10080 had already landed, so neither spec reached master. This carries the two specs and the OWNERS row unchanged from mcp-t27-examples. Closes #10081 Closes #10090 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Contributor
gHashTag
enabled auto-merge (squash)
October 18, 2026 02:28
This was referenced Oct 18, 2026
Merged
gHashTag
added a commit
that referenced
this pull request
Oct 18, 2026
…ead of copying them (Refs #10167) #10157 landed examples.t27 with byte-identical copies of check_hints.t27's find() and has(), so master's duplicate-bodies ratchet fails: "a body written under find/has is now copied 2 times and was in no ledger". examples.t27 now has `use t27mcp::check_hints::{find, has};`. t27c gen and gen-c inline the imported bodies, so examples.wasm in gHashTag/t27-mcp keeps the same exports. Lab at master 45decd5: examples.t27 8 tests, 0 fail, 0 vacuous; check_hints.t27 13 tests, 0 fail, 0 vacuous; dupe_scan "ok: no new duplicate body". Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
gHashTag
added a commit
that referenced
this pull request
Oct 18, 2026
…cond copy (Refs #10171) #10157 landed examples.t27 with byte-identical find(), has() and NO_POS from check_hints.t27, so duplicate-bodies on master reports two new groups. examples.t27 now imports t27mcp::check_hints. gen-c still emits both definitions in the one C file the wasm build compiles; 8/8 tests, 0 vacuous. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
gHashTag
added a commit
that referenced
this pull request
Oct 18, 2026
…n, t27mcp duplicate helpers (Closes #10171) (#10172) * fix(ci): master green again -- 8 stale corpus-ledger rows, census re-pin after pr-budget.yml (Closes #10171) Corpus ratchet: #10101 (seven igla/coder specs) and #10095 (nn/attention) now pass every phase; their rows are dropped and the cap follows 81 -> 73. Re-pinned: bench_proxy 738 -> 696, prm 521 -> 520, benchmark 315 -> 319 (bdd-block-fallback only: #10101 lengthened then-conditions in BDD blocks the parser already skips). Census: #10087 added pr-budget.yml. workflow files 66 -> 67, jobs 87 -> 88, run steps 313 -> 314, bash steps 292 -> 293, path-not-quiet 198 -> 200. Re-pinned with tri census pin --bless. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * spec(t27mcp): examples.t27 uses check_hints' find/has instead of a second copy (Refs #10171) #10157 landed examples.t27 with byte-identical find(), has() and NO_POS from check_hints.t27, so duplicate-bodies on master reports two new groups. examples.t27 now imports t27mcp::check_hints. gen-c still emits both definitions in the one C file the wasm build compiles; 8/8 tests, 0 vacuous. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> --------- Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>
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
1 participant
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 #10081
Closes #10090
Part of the epic #10066.
Why
#10080 (
check_hints.t27) landed on master. #10083 (examples.t27) and #10092 (spec_brief.t27) were then merged into their stacked base branches (mcp-t27-check,mcp-t27-examples) instead of master, so neither spec reached master and both issues stayed open.What
The two specs and the
specs/OWNERS.mdrow, byte-identical toorigin/mcp-t27-examples, on a branch cut from current master. Nothing else changes.Evidence (Railway lab, t27c 0.5.2, zig 0.16.0)
t27c test-reporton the files of this branch:specs/t27mcp/examples.t27: 8 pass, 0 fail, 0 vacuousspecs/t27mcp/spec_brief.t27: 5 pass, 0 fail, 0 vacuousspecs/t27mcp/check_hints.t27(already on master, unchanged): 13 pass, 0 fail, 0 vacuousThe server side is gHashTag/t27-mcp #11 and #10, which run these specs as wasm.
🤖 Generated with Claude Code