spec(t27mcp): check_hints -- compiler message to a short fix hint for foreign syntax by gHashTag · Pull Request #10080 · gHashTag/t27

gHashTag · 2026-10-17T18:21:16Z

Part of the epic #10066 (learnability: parser hints for foreign syntax).

What

specs/t27mcp/check_hints.t27 (module T27mcpCheckHints): the decision behind the t27 MCP server's new
t27_check tool (gHashTag/t27-mcp). The server parses and typechecks source with the compiler front end
(bindings/wasm-explorer, as wasm). A model that writes foreign syntax gets messages written for compiler
authors; this spec maps the ones a model really triggers to a short "write this instead", and reads the line
number out of a message.

hint_code(msg): H_KEYWORD_IN, H_CAST (as u3), H_MATCH, H_INCREMENT (x++), H_TERNARY,
H_TOP_LEVEL (impl), H_BRACE (Zig-style switch arm), H_WIDTH, H_UNKNOWN_TYPE; anything else
H_NONE, so the server prints the compiler's own words and invents nothing.
line_of(msg): the number after line , or after a final : (the typechecker's warnings), or 0.
HINTS: the texts, emitted for the server by t27c gen-js.
let, &&, || and Zig-style signatures get no hint: the compiler accepts them.

Every rule is keyed on a message the compiler really emits; each test quotes one. Measured with the compiler
wasm on 55 foreign-syntax probes before the table was written.

specs/OWNERS.md gains a t27mcp/ row.

Evidence (Railway lab, t27c 0.5.2)

t27c test-report specs/t27mcp/check_hints.t27: 13 of 13 pass, 0 vacuous.
Negative control: with the cast rule's key mutated (target type to target typo) the cast test fails
(12 of 13); a clean message, an arity error and two unrelated messages get H_NONE.
t27c gen-c plus zig cc -target wasm32-wasi -Os lowers it to a 1156-byte wasm that the server runs; the
build and sha256 are in wasm/BUILD of the server PR.

Compiler gap found (not worked around by hand code)

t27c gen-c lowers HINTS[code].len (.len on an element of a [N]str table) to HINTS[code].len on a
const char*, which does not compile. The tests read the table through has(HINTS[code], "...") instead,
which lowers correctly.

Minimal repro:

module R;
pub const T : [2]str = ["", "ab"];
pub fn n(i: u32) -> u32 { return (T[i].len as u32); }

🤖 Generated with Claude Code

… foreign syntax The t27 MCP server's t27_check tool judges source with the compiler front end (wasm) and needs one decision: which hint a message gets. It lives here, with 13 tests and a negative control, not in the server's JavaScript. Compiled by t27c gen-c to wasm. Closes #10073 Refs #10066 Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

…or foreign syntax The compiler front end runs as wasm (explorer.wasm, gHashTag/t27 bindings/wasm-explorer, unchanged); each message gets a hint code and a line number from wasm/check_hints.wasm, generated from gHashTag/t27 specs/t27mcp/check_hints.t27 (PR gHashTag/t27#10080). check.mjs is 26 lines of glue and holds no rule. Closes gHashTag/t27#10073 Refs gHashTag/t27#10066 Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

github-actions · 2026-10-17T18:55:40Z

PR Dashboard

Generated at: 2026-10-17 18:55:32 UTC

spec(igla): make the nine IGLA CODER specs compile and pass with 0 vacuous (Closes #10075) #10101 spec(igla): make the nine IGLA CODER specs compile and pass with 0 vacuous (Closes #10075) | Created: 2026-10-17 | Updated: 2026-10-17 | 25 failing / 28 total
spec(hslm): nn/hslm runs the per-block VSA stream (Closes #10099) #10100 spec(hslm): nn/hslm runs the VSA stream and the trainer's ternary STE step (Closes #10099) | Created: 2026-10-17 | Updated: 2026-10-17 | 25 failing / 28 total
port(trios-chat): land 66 open CR-CHAT-03/04/07 port PRs in one merge (Refs #8884) #10098 port(trios-chat): land 66 open CR-CHAT-03/04/07 port PRs in one merge (Refs #8884) | Created: 2026-10-17 | Updated: 2026-10-17 | 27 failing / 30 total
spec(port): land 25 trios-chat CR-CHAT-04/07 port PRs in one merge (Closes #10096) #10097 spec(port): land 25 trios-chat CR-CHAT-04/07 port PRs in one merge (Closes #10096) | Created: 2026-10-17 | Updated: 2026-10-17 | 27 failing / 30 total
spec(nn): make attention.t27 compile and pass with 0 vacuous tests (Closes #10094) #10095 spec(nn): make attention.t27 compile and pass with 0 vacuous tests (Closes #10094) | Created: 2026-10-17 | Updated: 2026-10-17 | 25 failing / 28 total
spec(t27mcp): spec_brief -- brief spec row fields and why a spec fails (Closes #10090) #10092 spec(t27mcp): spec_brief -- brief spec row fields and why a spec fails (Closes #10090) | Created: 2026-10-17 | Updated: 2026-10-17 | 24 failing / 27 total
policy: exception entry for the 19-line stale-test deletion in cli/tri/src/gates.rs (Refs #9634) #10089 policy: exception entry for the 19-line stale-test deletion in cli/tri/src/gates.rs (Refs #9634) | Created: 2026-10-17 | Updated: 2026-10-17 | 24 failing / 26 total
spec(ml): arena heap + file I/O contract; adamw compiles via the arena (Closes #10077) #10088 spec(ml): arena heap + file I/O contract; adamw compiles via the arena (Closes #10077) | Created: 2026-10-17 | Updated: 2026-10-17 | 29 failing / 32 total
gate(policy): wire pr_budget.t27 into a pull_request_target gate -- draft the 21st open PR, promote held drafts, exempt queen-* (Closes #10074) #10087 gate(policy): wire pr_budget.t27 into a pull_request_target gate -- draft the 21st open PR, promote held drafts, exempt queen-* (Closes #10074) | Created: 2026-10-17 | Updated: 2026-10-17 | 22 failing / 28 total
spec(nn): ternary STE, training step and data/checkpoint layout in t27 (Closes #10076) #10086 spec(nn): ternary STE, training step and data/checkpoint layout in t27 (Closes #10076) | Created: 2026-10-17 | Updated: 2026-10-17 | 23 failing / 29 total
t27c: accept uN casts, 1 <= N <= 64, decided in int_type_names.t27 (Closes #10072) #10084 t27c: accept uN casts, 1 <= N <= 64, decided in int_type_names.t27 (Closes #10072) | Created: 2026-10-17 | Updated: 2026-10-17 | 16 failing / 38 total
spec(t27mcp): examples -- which short slice of the corpus answers a .t27 idiom question #10083 spec(t27mcp): examples -- which short slice of the corpus answers a .t27 idiom question | Created: 2026-10-17 | Updated: 2026-10-17 | 14 failing / 27 total
spec(policy): l2_generation -- gen/json/ is t27c gen-json's backend directory (Closes #10079) #10082 spec(policy): l2_generation -- gen/json/ is t27c gen-json's backend directory (Closes #10079) | Created: 2026-10-17 | Updated: 2026-10-17 | 12 failing / 29 total
spec(t27mcp): check_hints -- compiler message to a short fix hint for foreign syntax #10080 spec(t27mcp): check_hints -- compiler message to a short fix hint for foreign syntax | Created: 2026-10-17 | Updated: 2026-10-17 | 8 failing / 29 total
feat(t27c): gen-json -- the IGLA board event a spec states, as one JSON object (Closes #10050) #10064 feat(t27c): gen-json -- the IGLA board event a spec states, as one JSON object (Closes #10050) | Created: 2026-10-17 | Updated: 2026-10-17 | 8 failing / 42 total
spec(port): port specs/port/trios-railway/crates/trios-igla-race/src/bin/reset_queue.t27 (Closes #9743) #10056 spec(port): port specs/port/trios-railway/crates/trios-igla-race/src/bin/reset_queue.t27 (Closes #9743) | Created: 2026-10-17 | Updated: 2026-10-17 | 50 failing / 54 total
spec(port): port specs/port/trios-railway/crates/trios-igla-race/src/bin/smoke_agent.t27 (Closes #9714) #10022 spec(port): port specs/port/trios-railway/crates/trios-igla-race/src/bin/smoke_agent.t27 (Closes #9714) | Created: 2026-10-17 | Updated: 2026-10-17 | 4 failing / 29 total
spec(port): port specs/port/trios-railway/crates/trios-igla-race/src/bin/debug_queue.t27 (Closes #9704) #10015 spec(port): port specs/port/trios-railway/crates/trios-igla-race/src/bin/debug_queue.t27 (Closes #9704) | Created: 2026-10-17 | Updated: 2026-10-17 | 4 failing / 29 total
spec(port): port the ratchet tree blank node depth guard (Refs #8883) #9947 spec(port): port the ratchet tree blank node depth guard (Refs #8883) | Created: 2026-10-17 | Updated: 2026-10-17 | 3 failing / 31 total
spec(port): port the psk external injection guard (Refs #8883) #9946 spec(port): port the psk external injection guard (Refs #8883) | Created: 2026-10-17 | Updated: 2026-10-17 | 3 failing / 31 total
spec(port): port the proposal validation guard (Refs #8883) #9945 spec(port): port the proposal validation guard (Refs #8883) | Created: 2026-10-17 | Updated: 2026-10-17 | 3 failing / 31 total
spec(port): port the proposal ref collision guard (Refs #8883) #9944 spec(port): port the proposal ref collision guard (Refs #8883) | Created: 2026-10-17 | Updated: 2026-10-17 | 3 failing / 31 total
spec(port): port the group pcs healing state machine (Refs #8883) #9935 spec(port): port the group pcs healing state machine (Refs #8883) | Created: 2026-10-17 | Updated: 2026-10-17 | 3 failing / 31 total
spec(port): port the parent hash chain validation guard (Refs #8883) #9933 spec(port): port the parent hash chain validation guard (Refs #8883) | Created: 2026-10-17 | Updated: 2026-10-17 | 3 failing / 31 total
spec(port): port the membership tag binding guard (Refs #8883) #9932 spec(port): port the membership tag binding guard (Refs #8883) | Created: 2026-10-17 | Updated: 2026-10-17 | 3 failing / 31 total
spec(port): port the leaf node signature validation guard (Refs #8883) #9931 spec(port): port the leaf node signature validation guard (Refs #8883) | Created: 2026-10-17 | Updated: 2026-10-17 | 3 failing / 31 total
spec(port): port the leaf node priority inversion guard (Refs #8883) #9929 spec(port): port the leaf node priority inversion guard (Refs #8883) | Created: 2026-10-17 | Updated: 2026-10-17 | 3 failing / 31 total
spec(port): port the leaf node key uniqueness guard (Refs #8883) #9928 spec(port): port the leaf node key uniqueness guard (Refs #8883) | Created: 2026-10-17 | Updated: 2026-10-17 | 3 failing / 31 total
spec(port): port the group membership authorization guard (Refs #8883) #9926 spec(port): port the group membership authorization guard (Refs #8883) | Created: 2026-10-17 | Updated: 2026-10-17 | 3 failing / 31 total
spec(port): port the group member removal verification guard (Refs #8883) #9925 spec(port): port the group member removal verification guard (Refs #8883) | Created: 2026-10-17 | Updated: 2026-10-17 | 3 failing / 31 total
spec(port): port the group epoch commit ordering guard (Refs #8883) #9916 spec(port): port the group epoch commit ordering guard (Refs #8883) | Created: 2026-10-17 | Updated: 2026-10-17 | 3 failing / 31 total
spec(port): port the group context hash consistency guard (Refs #8883) #9915 spec(port): port the group context hash consistency guard (Refs #8883) | Created: 2026-10-17 | Updated: 2026-10-17 | 3 failing / 31 total
spec(port): port the external psk id provenance guard (Refs #8883) #9913 spec(port): port the external psk id provenance guard (Refs #8883) | Created: 2026-10-17 | Updated: 2026-10-17 | 3 failing / 31 total
spec(port): port the external proposal origin unbound guard (Refs #8883) #9912 spec(port): port the external proposal origin unbound guard (Refs #8883) | Created: 2026-10-17 | Updated: 2026-10-17 | 3 failing / 31 total
spec(port): port the external commit resumption psk misbinding guard (Refs #8883) #9910 spec(port): port the external commit resumption psk misbinding guard (Refs #8883) | Created: 2026-10-17 | Updated: 2026-10-17 | 3 failing / 31 total
spec(port): port the external commit forgery guard (Refs #8883) #9909 spec(port): port the external commit forgery guard (Refs #8883) | Created: 2026-10-17 | Updated: 2026-10-17 | 3 failing / 31 total
spec(port): port the confirmation tag chain guard (Refs #8883) #9908 spec(port): port the confirmation tag chain guard (Refs #8883) | Created: 2026-10-17 | Updated: 2026-10-17 | 3 failing / 31 total
spec(port): port the concurrent add remove reconciler (Refs #8883) #9906 spec(port): port the concurrent add remove reconciler (Refs #8883) | Created: 2026-10-17 | Updated: 2026-10-17 | 3 failing / 31 total
spec(port): port the commit signature forgery guard (Refs #8883) #9904 spec(port): port the commit signature forgery guard (Refs #8883) | Created: 2026-10-17 | Updated: 2026-10-17 | 3 failing / 31 total
spec(port): port the commit secret export collision guard (Refs #8883) #9896 spec(port): port the commit secret export collision guard (Refs #8883) | Created: 2026-10-17 | Updated: 2026-10-17 | 3 failing / 31 total
spec(port): port the commit path secret AEAD keying mismatch guard (Refs #8883) #9875 spec(port): port the commit path secret AEAD keying mismatch guard (Refs #8883) | Created: 2026-10-17 | Updated: 2026-10-17 | 3 failing / 31 total
spec(port): port the wire timing anomaly guard (Refs #8887) #9873 spec(port): port the wire timing anomaly guard (Refs #8887) | Created: 2026-10-17 | Updated: 2026-10-17 | 3 failing / 31 total
spec(port): port the traffic volume correlation guard (Refs #8887) #9871 spec(port): port the traffic volume correlation guard (Refs #8887) | Created: 2026-10-17 | Updated: 2026-10-17 | 3 failing / 31 total
spec(port): port the traffic shaping burst uniformity guard (Refs #8887) #9870 spec(port): port the traffic shaping burst uniformity guard (Refs #8887) | Created: 2026-10-17 | Updated: 2026-10-17 | 3 failing / 31 total
spec(port): port the traffic burst pattern uniformity guard (Refs #8887) #9869 spec(port): port the traffic burst pattern uniformity guard (Refs #8887) | Created: 2026-10-17 | Updated: 2026-10-17 | 3 failing / 31 total
spec(port): port the ratchet tree extension tampering guard (Refs #8887) #9868 spec(port): port the ratchet tree extension tampering guard (Refs #8887) | Created: 2026-10-17 | Updated: 2026-10-17 | 3 failing / 31 total
spec(port): port the observer fingerprint rotation guard (Refs #8887) #9865 spec(port): port the observer fingerprint rotation guard (Refs #8887) | Created: 2026-10-17 | Updated: 2026-10-17 | 3 failing / 31 total
spec(port): port the network flow direction uniformity guard (Refs #8887) #9854 spec(port): port the network flow direction uniformity guard (Refs #8887) | Created: 2026-10-17 | Updated: 2026-10-17 | 3 failing / 31 total
spec(port): port the mixnet path diversity guard (Refs #8887) #9851 spec(port): port the mixnet path diversity guard (Refs #8887) | Created: 2026-10-17 | Updated: 2026-10-17 | 3 failing / 31 total
spec(port): port the message size class distribution guard (Refs #8887) #9849 spec(port): port the message size class distribution guard (Refs #8887) | Created: 2026-10-17 | Updated: 2026-10-17 | 3 failing / 31 total

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)=e769ef021713 != 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).

#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>

This was referenced Oct 17, 2026

fix(t27b): a port named after a t27 keyword is spelled with a trailing underscore (Closes #10061) #10069

Merged

ledger: drop specs/nn/hslm.t27, now parsed with no discard (Closes #10071) #10078

Merged

gHashTag mentioned this pull request Oct 17, 2026

spec(t27mcp): spec_brief -- brief spec row fields and why a spec fails (Closes #10090) #10092

Merged

This was referenced Oct 17, 2026

t27c: accept uN casts, 1 <= N <= 64, decided in int_type_names.t27 (Closes #10072) #10084

Merged

spec(policy): l2_generation -- gen/json/ is t27c gen-json's backend directory (Closes #10079) #10082

Merged

gHashTag enabled auto-merge (squash) October 17, 2026 18:51

github-actions Bot mentioned this pull request Oct 17, 2026

gate(policy): wire pr_budget.t27 into a pull_request_target gate -- draft the 21st open PR, promote held drafts, exempt queen-* (Closes #10074) #10087

Merged

github-actions Bot mentioned this pull request Oct 17, 2026

spec(ml): arena heap + file I/O contract; adamw compiles via the arena (Closes #10077) #10088

Merged

gHashTag merged commit 1d8259e into master Oct 17, 2026
25 of 29 checks passed

github-actions Bot mentioned this pull request Oct 17, 2026

spec(nn): ternary STE, training step and data/checkpoint layout in t27 (Closes #10076) #10086

Merged

gHashTag mentioned this pull request Oct 18, 2026

specs/t27mcp: land examples.t27 and spec_brief.t27 on master #10157

Merged

Navigation Menu

Repository navigation

spec(t27mcp): check_hints -- compiler message to a short fix hint for foreign syntax - #10080

spec(t27mcp): check_hints -- compiler message to a short fix hint for foreign syntax#10080
gHashTag merged 1 commit into
masterfrom
mcp-t27-check

gHashTag commented Oct 17, 2026

Uh oh!

github-actions Bot commented Oct 17, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Conversation

gHashTag commented Oct 17, 2026

What

Evidence (Railway lab, t27c 0.5.2)

Compiler gap found (not worked around by hand code)

Uh oh!

github-actions Bot commented Oct 17, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant