Skip to content

feat(queen): a doctor that turns oracle failures into work the swarm can take - #4300

Merged
gHashTag merged 1 commit into
masterfrom
feat/doctor-fuel
Sep 20, 2026
Merged

gHashTag merged 1 commit into
masterfrom
feat/doctor-fuel

Conversation

@gHashTag

Copy link
Copy Markdown
Owner

Closes #4299

388 NOCOMPILE specs are 27 clusters, not 388 mysteries. The doctor files one issue per cluster with the reproduction command and its real output.

🤖 Generated with Claude Code

…can take

A full oracle run today: 425 PASS, 388 NOCOMPILE, 23 TESTFAIL, 1 TIMEOUT over
837 specs. The nightly has printed that for days and nothing consumed it,
because a list of 388 failures is not a task anyone can pick up.

They cluster by the error the compiler printed - 173 specs share "use of
undeclared identifier", 23 abort under test, 22 fail with "expected 'X', found
'X'" - 27 clusters of three or more in all. The doctor files one issue per
cluster with the reproduction command, that command's real output, the specs it
affects, and criteria it measured rather than typed, and it refuses a cluster
that already has an issue.

The command is quoted as t27c, never as the path on the machine that measured
it: that mistake put /Users/playom/t27/target/release/t27c into 137 open issues.

Closes #4299

Gates: python3 tools/queen/feed_defects.py --self-test -> ok (4 shapes);
--dry-run over a real results.tsv prints the five largest clusters and files
nothing; the rendered body quotes t27c; python3
scripts/ci/check_pr_branch_filters.py exits 0 with the workflow classified.

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

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-09-20 07:23:12 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 e6ff64b into master Sep 20, 2026
26 of 30 checks passed
gHashTag added a commit that referenced this pull request Sep 20, 2026
… path (#4304)

Three checks are red on master. Two are this loop's.

CENSUS. tools/census/quiet.txt pinned `workflow files read 51`; the tree holds
57. The six added since the pin are #4277, #4279, #4281, #4283, #4291 and
#4300, all merged by this loop, and cli-tri has been red since 2026-09-17.
What moved, explicitly: quiet 51 -> 57 workflow files and 123 -> 135 "named a
path but not quiet"; shell 51 -> 57 files, 72 -> 78 jobs, 249 -> 267 run-steps,
228 -> 246 steps the runner runs with `bash -eo pipefail`. The gates did not
change; the population grew.

HOME PATH. feed_defects.py carries a comment explaining that an absolute
`/Users/<name>/t27/target/release/t27c` once went into 137 open issues -- and
spells it out to say so, which is what the scan catches. It now reads
`.../t27/target/release/t27c`, same meaning, no home directory.

WORKTREES. That gate also failed in every worktree on a path no commit
contains: it excludes the `.git` DIRECTORY, and a worktree's `.git` is a FILE
holding `gitdir: /Users/...`. `--exclude=.git` joins `--exclude-dir=.git`. The
reviewer measures in a detached worktree and every bee works in one.

NOT FIXED HERE: `coverage` reports 544 stale seals and has no successful run in
its last 60 on master, reaching back past 2026-09-18. Re-sealing 544 specs
records what the compiler now produces -- a decision about the ledger, not a
repair.

Closes #4303

Co-authored-by: Claude <noreply@anthropic.com>
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 oracle has measured 388 broken specs for days and nothing turned them into work

1 participant