Skip to content

fix(queen): the brief told bees to reuse across modules, which does not compile - #4297

Merged
gHashTag merged 1 commit into
masterfrom
fix/dry-brief-tells-the-truth
Sep 20, 2026
Merged

gHashTag merged 1 commit into
masterfrom
fix/dry-brief-tells-the-truth

Conversation

@gHashTag

Copy link
Copy Markdown
Owner

Closes #4296

Yesterday's DRY line asked bees to do something the compiler does not support: use m::f; generates a comment and an unqualified call, and zig fails with use of undeclared identifier. Corrected to what is true today.

🤖 Generated with Claude Code

…ot compile

#4293 added "If it exists, reuse it (`use module::name;`)" to every issue the
feeder writes. Measured on a two-spec minimal case: both `use m::f;` and
`use m;` generate the comment "no references in this module", no @import and an
unqualified call, and zig answers "use of undeclared identifier". spec-status
calls that same file IMPLEMENTED, so the advice passes the cheap gate and fails
the oracle.

The brief now says what is true: do not copy, do not try to import, name the
file and line where the function lives, implement only what this spec asks.

Closes #4296

Gates: python3 -m py_compile; the rendered PREAMBLE carries the corrected
sentence; the minimal case that proves it is quoted in the issue.

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

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-09-20 07:12:04 UTC

Summary

Status Count
Total Open PRs 20
PRs with Failing Checks 17
PRs with All Checks Green 3
READY 2
FAILING 17
PENDING 0
NO CHECKS YET 0

These columns do not partition: 2 + 17 + 0 + 0 = 19, and there are 20 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.

@gHashTag
gHashTag merged commit 186ecc9 into master Sep 20, 2026
31 of 34 checks passed
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.

The brief told bees to reuse across modules, and that generates code which does not compile

1 participant