Skip to content

Implement part 2 of 2 of the empty bodies in specs/git/diff.t27 (7 functions) - #4634

Merged
gHashTag merged 5 commits into
masterfrom
queen-4620
Oct 25, 2026
Merged

gHashTag merged 5 commits into
masterfrom
queen-4620

Conversation

@gHashTag

Copy link
Copy Markdown
Collaborator

Closes #4620

Written by a bee on queen-4620 and published by tools/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.

1 file changed, 91 insertions(+)

🤖 Generated with Claude Code

Trinity Bee and others added 2 commits September 23, 2026 09:35
The turn ended with these files edited and never committed. Uncommitted
work is invisible to the review - it reads the branch - so the attempt
would have been released as empty and the next bee would have started
beside this work rather than from it.

This commit is not a claim that the work is correct. It is the bee's
work, committed on its behalf, and it is judged exactly like any other:
the adversarial reviewer reads it, the compiler runs on it, and the
issue's own criteria are measured against it.

Issue: #4620
Turn: 94fce3cd-2dbb-44e3-bed4-1bf75c448f3b
Ending: finished (the turn closed)
Committed: 1 path(s)
Left uncommitted: 0 path(s) outside the declared boundary
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 #4620

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
@github-actions

Copy link
Copy Markdown
Contributor

📓 NotebookLM Notebook linked to this PR

This notebook contains session context, decisions, and artifacts for this work.

@github-actions

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-09-23 09:50:24 UTC

Summary

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

Seal Status

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

This was referenced Sep 23, 2026
This was referenced Oct 25, 2026
Two conditions closed their call and then closed again before the brace, so the parser saw an RParen where an expression ended and refused the spec.
@github-actions

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-25 07:45:18 UTC

Summary

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

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

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=55c0f1b1b32d != 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
gHashTag merged commit eada185 into master Oct 25, 2026
31 of 35 checks passed
gHashTag added a commit that referenced this pull request Oct 25, 2026
…atch (Closes #12351) (#12352)

#4634 filled count_files_by_status with a Rust match block, which t27 does
not have, so specs/git/diff.t27 stopped typechecking. As a result the
emit-bitexact gate (tools/check_specs_generate.py) has been red on master
and on every PR opened since then. The three arms become an if / else if
chain on item.status == Kind::X, the idiom the file's own asserts already
use. Both seal files naming the spec were resaved with a t27c built from
master commit a6bdfef.

t27c typecheck specs/git/diff.t27: Typecheck OK (0 errors, 0 warnings).
t27c seal --verify specs/git/diff.t27: all hashes MATCH.

Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>
@gHashTag
gHashTag deleted the queen-4620 branch October 26, 2026 09:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Implement part 2 of 2 of the empty bodies in specs/git/diff.t27 (7 functions)

2 participants