Repository navigation
gates: has_at is a deliberate copy; no home path in the t27b-loop skill; 12 t27b rows (#8361) - #8375
Merged
Merged
Conversation
…ll; 12 t27b rows Closes #8361 duplicate-bodies: has_at (specs/tri/t27b/ast_walk.t27, #8258) is the body of starts_with (source_text.t27). An import typechecks and ast_walk's 18 tests pass, but t27c gen-rust emits the call without a `use`, and cli/t27b/src/lower.rs mounts ast_walk.rs as its own module, so cli/t27b would not build. One line, has_at 2. scan: the skill read `git -C /Users/playom/t27 config --get core.hooksPath`; every worktree shares that config, so `git config --get core.hooksPath` says the same without a developer's home path. t27b-native-ratchet: rows for the 12 specs the ratchet listed as UNLISTED in run 37993522616 (t27b-native on ef75683), each as that run judged it with the reference passing: 10 pass, base/types.t27 blocked on `type [N]T`, math/constants.t27 blocked on `ExprCall(@Rem)` (both unimplemented). max_not_pass 18 -> 20, the two new blocked rows; no existing row moves.
2 of 3 tasks
Contributor
dmitrii-f-t27
added a commit
that referenced
this pull request
Oct 9, 2026
dmitrii-f-t27
added a commit
that referenced
this pull request
Oct 9, 2026
gHashTag
added a commit
that referenced
this pull request
Oct 10, 2026
Revive #6500 after 19 days stale. Each of the 7 mcp specs keeps a verify_<server>_constants test (the pattern the four already-covered specs in this directory use) and now asserts the rows only its own card holds: TRANSPORT (http only for inngest-dev), REPO/QUALIFIED_ID split across gHashTag/t27 and gHashTag/trinity, EXTERNAL, agent letters beyond T, TOOLS/RESOURCES/ENV lengths, names and indexes. 89 asserted values crosschecked against the const declarations in the same files. Merge of origin/master picks up the fixes this branch was red on in 2026-10-06: orbitofrontal_value.t27 parse (#6861), repo-relative t27a seals (#6861), the devhome-path scan fixes (#8375) and the dupe-bodies ledger rows for carries_src2/sample_imm/sample_reg. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
gHashTag
added a commit
that referenced
this pull request
Oct 10, 2026
) * Add test blocks to MCP specs for t27b coverage Each spec now has a test block with 4 assertions that verify basic constants. This moves these specs from pass_vacuous to checked passes in t27b coverage. Closes #6500 * docs: the coordination entry this branch needs to land A pull request must add exactly one docs/now entry and a bee has no way to know that: its brief names a boundary file and acceptance criteria, and docs/now/ is neither. The publisher adds it rather than failing the gate. Closes #6500 Co-Authored-By: Claude Opus 5 <noreply@anthropic.com> * t27b checked: per-spec test blocks for 7 specs in specs/tools/mcp Revive #6500 after 19 days stale. Each of the 7 mcp specs keeps a verify_<server>_constants test (the pattern the four already-covered specs in this directory use) and now asserts the rows only its own card holds: TRANSPORT (http only for inngest-dev), REPO/QUALIFIED_ID split across gHashTag/t27 and gHashTag/trinity, EXTERNAL, agent letters beyond T, TOOLS/RESOURCES/ENV lengths, names and indexes. 89 asserted values crosschecked against the const declarations in the same files. Merge of origin/master picks up the fixes this branch was red on in 2026-10-06: orbitofrontal_value.t27 parse (#6861), repo-relative t27a seals (#6861), the devhome-path scan fixes (#8375) and the dupe-bodies ledger rows for carries_src2/sample_imm/sample_reg. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com> * docs(now): the revived branch's real diff stat Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com> --------- Co-authored-by: Trinity Bee <bee@trinity.local> Co-authored-by: queen-publisher[bot] <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 #8361
Replaces #8362: one commit on current master with the issue keyword in it (L1 TRACEABILITY needs
Closes/Refs #Nin every commit, and a pushed branch is not rewritten), plus the t27b rows #8362 was still missing.Description
Three gates are red on master and so on every open PR. Each change removes one cause:
has_at(t27b: the body walks of lower.rs move to specs/tri/t27b/ast_walk.t27 (Closes #8249) #8258) is recorded as a deliberate copy, one linehas_at 2. An import was tried: it typechecks andast_walk.t27passes 18/18, butt27c gen-rustwrites the call tostarts_withwithout ause, andcli/t27b/src/lower.rsmountsast_walk.rsas its own module (mod aw), so cli/t27b would not build. (hw_place_beforewas recorded by dupe ledger: hw_place_before is a deliberate copy of actors.t27 place_before (Closes #8357) #8358.).claude/skills/t27b-loop/SKILL.md(skills: t27b-loop, one tick of the unattended t27b improvement loop (Closes #8331) #8332) named/Users/playom/t27; it now readsgit config --get core.hooksPath, which every worktree shares.pass;specs/base/types.t27blocked ontype [N]Tandspecs/math/constants.t27blocked onExprCall(@rem), bothunimplemented.max_not_pass18 -> 20 for exactly these two; no existing row moves. A full--bless --accept-newfrom that run was refused because master's ledger moved after it (21 non-pass ... cap 18), so the rows are added by hand, as in t27b ledger: cap 24 over 22 non-pass, and 5 pass specs without a row #8215.Testing
The last command still reports differences that master made after that run (two new conformance specs,
ocp_mx.t27after an@intCastchange) andeth_rx.t27, which is #8370's. This PR's ownt27b-native-ratchetrun on current master is the check that counts.Review Notes
Found while working on #8370 (EthRx) and #8373 (TrinetNode), whose checks are red only for these causes.