Repository navigation
t27b checked: test blocks for 7 tiny sibling specs in specs/a*, specs/agents - #8488
Merged
Merged
Conversation
…uous to checked passes - Added test_module_exists and test_acceptance_criteria_documented to specs/a/b_c.t27 - Added test_module_exists and test_acceptance_criteria_documented to specs/a_b/c.t27 - Verified all agent specs (v.t27, w.t27, x.t27, y.t27, z.t27) already have test blocks - All modified files pass t27c parse and typecheck Closes #8472
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 #8472 Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
gHashTag
enabled auto-merge (squash)
October 10, 2026 09:27
This was referenced Oct 10, 2026
Contributor
This was referenced Oct 10, 2026
Merged
Closed
gHashTag
added a commit
that referenced
this pull request
Oct 11, 2026
…ledger + reseals (Closes #8957) (#8962) * corpus: repair the five unexpected failures at 760a787 (Closes #8957) Four spec-side fixes and one ledger entry, per the ratchet verdict of run 38120214535: - specs/a/b_c.t27, specs/a_b/c.t27: drop the stray trailing `}` the t27b test-block batches (#8488/#8496) left at EOF -- the parser reached EOF after discarding it (1 top-level token each). - specs/compiler/optimizer.t27: the four inline `;` comments moved onto their own lines. Inline `;` prose is tokenized and then discarded (84 tokens; the #8581 defect), full-line comments are stripped before the tokenizer runs, so the same words mint no tokens where they now sit. - specs/memory/graph/ingest.t27: reword the three comment phrases whose apostrophes (`let's`, `we're`) opened a char literal at 414:34 that never closed -- the spec has failed parse since #8493 landed. - specs/port/trinity/src/tri/orchestrator_bench.t27: ledgered, not rewritten -- the port stays faithful to the Zig source's `commands : [10][]const u8`, and gen-verilog's 2-D array-of-aggregate lowering is the known gap (#8521, W469). max_entries 71 -> 72. Seals for every spec whose hash moved follow on the lab in this PR. Refs #6063 (steward lane). Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com> * dupe-bodies: ledger the t27b plan-spec helper groups (Refs #8957) The 2026-10-10 landing burst added t27b plan specs whose self-contained helper bodies are byte-identical to siblings', moving the Duplicate Body Ratchet at 760a787: - same [3]: int_cast_plan.t27 joined opaque_plan.t27 + type_text.t27 (bytewise string compare, the crypto-family bytes*_eq/same precedent). - bits [2]: ast_shape.t27's `bits` is ast_scan.t27's `mask` under its local name (pack marks into a u32 bitmask). - clear [6, 2]: a second clear-named group -- ast_scan.t27 `clear` + ast_shape.t27 `wipe` -- beside the long-ledgered sdk_contract six. All are the established per-spec helper convention: each plan spec stays self-contained rather than importing shared plumbing. Ledger moved in this commit (dupe_scan --bless; 186 groups, 678 bodies). Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com> * corpus: peel the next layer -- ingest imports, optimizer braceless tests (Refs #8957) Lab re-run of the ratchet on the branch showed the first fixes were necessary but not sufficient; the two remaining failures had a second defect each. - specs/memory/graph/ingest.t27: with the apostrophe strings gone, the parser next refuses `import MemoryGraphTypes;` at line 8 -- `import` is not a keyword of this language (ingest is the only spec in the corpus that uses it; 153 use `use`, and slices 1-3 of this very family reference each other with no import lines at all). Dropped the four lines: the module graph resolves without them. - specs/compiler/optimizer.t27: the discard count was 84 before AND after the comment move, so the comments were never the source. `t27c parse-complete --causes` names the top channel "a whole braceless block falling back" -- it is the 24 braceless given/then tests #8502 added. All 24 rewritten to explicit braced form (`var` + `assert`), same names, same expressions. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com> * corpus: in-body comments are //, not ; -- measured, then applied (Refs #8957) Minimal repro against t27c (lab, master binary) pins the comment law: - `;` at top level: stripped, always parsed. - `;` between `test <name>` and `given` (braceless sugar header): parsed. - `;` inside a braced body, fn OR test block, full-line or trailing: NOT a comment -- it reaches the parser as a Semicolon token and fails. - `//` inside a fn body: parsed (optimizer's July `// driver pass`). Two consequences, both applied: - specs/memory/graph/ingest.t27: all 31 indented `;` comment lines were parse errors waiting in line order (the file has never parsed); now `//`. - specs/compiler/optimizer.t27: my own layer-2 rewrite had just moved the placeholder comments into braced test bodies -- illegal as `;`, now `//`. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com> * corpus: ingest trailing comments -- the three after-code semicolons (Refs #8957) Same law as the previous commit: a ; after a complete statement is a Semicolon token, not a comment. The three trailing annotations move to the // form, which the parser reads as a comment after a statement (optimizer's // driver pass since July). Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com> * corpus: ingest loops -- C-style for is not this language's loop (Refs #8957) The two exhaustive-check fns use C-style for headers, which reach the parser as an expression and fail on the var at 346:10. Rewritten as while loops with explicit counters -- the form every healthy spec uses (and which the reference compiles). && and ! stay: 219/562 healthy specs use them. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com> * seals: re-seal the optimizer twins and a_b_c_spec after the corpus repairs (Closes #8957) optimizer.t27's spec hash moved with the braced-test rewrite and a_b/c.t27 with the stray-brace fix; a_b_c_spec.json was already stale on master (seal-verify MISMATCH in the same run that exposed the five). Sealed on the lab with zig on PATH; armored transfer, md5-verified against the lab files. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com> --------- Co-authored-by: Claude Opus 5.5 (1M context) <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
2 participants
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 #8472
Written by a bee on
queen-8472and published bytools/queen/publish.py. The branch itself is the bee's; the second commit is the coordination entry every pull request must add, which a bee has no way to know about.🤖 Generated with Claude Code