Repository navigation
specs: one distinct real test for a/b_c and a_b_c, replacing the #8488 twins (Closes #8508) - #8496
Merged
Merged
Conversation
Each of the two acceptance-criteria stubs declares exactly one function,
dummy(), and nothing else; each now carries one test block asserting what
that function returns. specs/agents/{v,w,x,y,z}.t27 from the same issue
were already checked by #6620, so this PR covers the two specs that were
still pass_vacuous at lab run 285512a.
Closes #8472
Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
gHashTag
enabled auto-merge (squash)
October 10, 2026 09:31
This was referenced Oct 10, 2026
Merged
gHashTag
disabled auto-merge
October 10, 2026 10:04
Owner
Author
|
Superseded mid-flight: PR #8488 (branch queen-8472, commit 50fbc78, author "Trinity Bee") merged as 1f4863e at 2026-10-10 09:53Z and closed #8472 while this branch was being verified on the t27c lab. Both branches edit the tail of the same two files, so this PR now conflicts. What differs from what landed: this branch adds ONE test per file with distinct bodies (no byte-equal twin, per the issue's own sibling rule) and no Auto-merge disabled; left open for the coordinator to decide whether to adopt these tests over the landed twins or close as superseded. Separately, the t27b-native-ratchet ledger is pinned at 606611c and stale against master: this run showed 8 UNEXPECTED PASS rows (6 of them from #6620/#6623 already on master, not from this branch) and 6 UNLISTED -- the steward ledger needs a re-bless independent of this PR. |
Contributor
This was referenced Oct 10, 2026
…rue (#8508) Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
This was referenced Oct 10, 2026
gHashTag
changed the title
gHashTag
enabled auto-merge (squash)
October 10, 2026 10:39
Contributor
PR DashboardGenerated at: 2026-10-10 10:46:01 UTC
Summary
Seal Status
|
This was referenced Oct 10, 2026
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
1 participant
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 #8508. Replaces what #8488 landed in specs/a/b_c.t27 and specs/a_b/c.t27: byte-equal twin test_module_exists bodies plus assert-true blocks in both files (the assertionless shape the corpus ratchet gates against — latent red while master's corpus-ratchet runs sat cancelled).
One distinct, real test per spec now:
Both verified on the t27c lab: one test, one pass, zero FAIL, one runtime assert executed, zero vacuous passes.
🤖 Generated with Claude Code