Repository navigation
Port gHashTag/trios:crates/trios-git/src/commit.rs (Rust, 1 function) to specs/port/trios/crates/trios-git/src/commit.t2 - #7231
Merged
Merged
Conversation
Port crates/trios-git/src/commit.rs to specs/port/trios/crates/trios-git/src/commit.t27, following the port-the-decision-not-the-plumbing principle. The plumbing (Repository::open, index, write_tree, find_tree, signature, head, peel_to_commit, commit) is external effect on the repository, so it stays as named git2 stubs with undefined bodies that no test calls, and create_commit itself keeps an undefined body with the original's Result carried as ?CommitResult (null is failure). Every decision inside it is ported as a pure, tested helper: - parent_count: the match on repo.head() - a resolved HEAD contributes exactly one parent commit, an unborn branch (the initial commit) contributes none - count_staged: index.iter().count() - the commit's file count is taken from the staged entries before the tree is written - signature_error: repo.signature() is fallible - with no user.name / user.email configured the commit fails, a configured signature passes - make_commit_result: the commit reports the new oid, the message as given and the staged count t27c parse, typecheck and gen are clean (109 lines of generated Zig, no not-yet-implemented), and test-report runs 4 tests at 100% with zero BLOCKED lines. Closes #5221
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 #5221 Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
This was referenced Oct 7, 2026
Merged
Contributor
This was referenced Oct 7, 2026
Merged
Merged
This was referenced Oct 7, 2026
verified: R2-5 capstone -- ternary_link run citation, silicon-proven end to end (Closes #7177)
#7293
Merged
Merged
Merged
gHashTag
enabled auto-merge (squash)
October 7, 2026 07:21
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 #5221
Written by a bee on
queen-5221and 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