Repository navigation
28 modules are imported by 30 specs and do not exist (found by the oracle) - #6820
Merged
Merged
Conversation
- Remove use timestamp; import - Modify should_terminate_session to accept current_time_ms parameter - Update all test calls to pass fixed time values - Fix array sizes in test data to match generated Zig expectations Closes #4831
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 #4831 Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
This was referenced Oct 6, 2026
Merged
Contributor
This was referenced Oct 6, 2026
Merged
Merged
Merged
Port scripts/tri_loop/claims.py (Python, 1 function) to specs/port/scripts/tri_loop/claims.t27
#6842
Merged
ci(t27b): native arm64 t27b tests and corpus ratchet per PR; tri t27b ready reads them (#6444)
#6846
Merged
This was referenced Oct 6, 2026
Merged
Open
Merged
gHashTag
enabled auto-merge (squash)
October 7, 2026 07:26
gHashTag
added a commit
that referenced
this pull request
Oct 7, 2026
…6820 (Closes #7356) (#7360) Both specs changed on master without a reseal, so spec-guards' seal currency check failed on every PR. session_timeout: tests now run and pass 6/6. Resealed as is. prove: the tests #6954 added used `return false` in a test body (does not compile) and expected 0x11 at packed[j*8] for the identity matrix, where row j's diagonal nibble is at byte j*8 + j/2. Rewritten as asserts with a nibble-order test; measured on the t27c lab in a scratch spec: 3/3 pass, a mutant without `<< 4` fails 2 of 3. The spec's tests stay BLOCKED on the unresolved TriSha256 import and the seal records that. Resealed on the Railway t27c lab at 223c28c; seal --verify: all MATCH. Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>
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
2 participants
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 #4831
Written by a bee on
queen-4831and published bytools/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.🤖 Generated with Claude Code