Skip to content

Port part 1 of 2 of tools/check_coq_in_build.py to specs/port/tools/check_coq_in_build.t27 (8 functions) - #4578

Open
gHashTag wants to merge 3 commits into
masterfrom
queen-4385
Open

gHashTag wants to merge 3 commits into
masterfrom
queen-4385

Conversation

@gHashTag

Copy link
Copy Markdown
Owner

Closes #4385

Written by a bee on queen-4385 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, 151 insertions(+), 97 deletions(-)

🤖 Generated with Claude Code

Trinity Bee and others added 3 commits September 22, 2026 02:10
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: #4385
Turn: 48bb69fe-b53f-4a70-8598-53eb42bae7b7
Ending: finished (the turn closed)
Committed: 1 path(s)
Left uncommitted: 0 path(s) outside the declared boundary
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: #4385
Turn: fc4df49b-48a4-47cd-8890-06e815a822e3
Ending: finished (the turn closed)
Committed: 1 path(s)
Left uncommitted: 3 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 #4385

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
@gHashTag
gHashTag enabled auto-merge (squash) September 22, 2026 06:16
@github-actions

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-09-22 06:17:14 UTC

Summary

Status Count
Total Open PRs 31
PRs with Failing Checks 23
PRs with All Checks Green 8
READY 3
FAILING 23
PENDING 0
NO CHECKS YET 1

These columns do not partition: 3 + 23 + 0 + 1 = 27, and there are 31 open PRs. A PR is being counted twice or not at all.

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).

@github-actions

Copy link
Copy Markdown
Contributor

📓 NotebookLM Notebook linked to this PR

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

This was referenced Sep 22, 2026
This was referenced Sep 27, 2026

This branch has not been deployed

No deployments
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.

Port part 1 of 2 of tools/check_coq_in_build.py to specs/port/tools/check_coq_in_build.t27 (8 functions)

2 participants