Skip to content

Port bootstrap/src/compiler.rs lines 29059-29184 (Rust, 7 functions) to specs/port/bootstrap/src/compiler/HirApbBridge_n - #6981

Open
gHashTag wants to merge 4 commits into
masterfrom
queen-6159
Open

gHashTag wants to merge 4 commits into
masterfrom
queen-6159

Conversation

@gHashTag

@gHashTag gHashTag commented Oct 6, 2026

Copy link
Copy Markdown
Owner

Closes #6159

Written by a bee on queen-6159 and published by tools/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.

1 file changed, 308 insertions(+)

🤖 Generated with Claude Code

Trinity Bee and others added 4 commits October 4, 2026 19:36
The turn ended with these files edited and never committed. Uncommitted
work is invisible to the review - it reads the branch - so the attempt
would have been released as empty and the next bee would have started
beside this work rather than from it.

This commit is not a claim that the work is correct. It is the bee's
work, committed on its behalf, and it is judged exactly like any other:
the adversarial reviewer reads it, the compiler runs on it, and the
issue's own criteria are measured against it.

Issue: #6159
Turn: e330902a-48c3-4ca0-aab1-a72117b5f93e
Ending: finished (the turn closed)
Committed: 1 path(s)
Left uncommitted: 0 path(s) outside the declared boundary
…rc/compiler/HirApbBridge_new.t27

- Port 7 functions: HirApbBridge_new, HirApbBridge_with_error_response,
  HirApbBridge_add_peripheral, HirApbBridge_strb_width,
  HirApbBridge_addr_bits_for_peripherals, HirApbBridge_select_peripheral,
  HirApbBridge_validate
- Add 8 test blocks covering all functionality
- Fix array initialization syntax to prevent compilation errors
- Generated code compiles successfully with no BLOCKED tests

Closes #6159
The turn ended with these files edited and never committed. Uncommitted
work is invisible to the review - it reads the branch - so the attempt
would have been released as empty and the next bee would have started
beside this work rather than from it.

This commit is not a claim that the work is correct. It is the bee's
work, committed on its behalf, and it is judged exactly like any other:
the adversarial reviewer reads it, the compiler runs on it, and the
issue's own criteria are measured against it.

Issue: #6159
Turn: 3deadb9f-68d4-4cbb-97e0-7c4acd7fdbba
Ending: finished (the turn closed)
Committed: 1 path(s)
Left uncommitted: 0 path(s) outside the declared boundary
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 #6159

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
@github-actions

github-actions Bot commented Oct 6, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-06 17:37:40 UTC

Summary

Status Count
Total Open PRs 50
PRs with Failing Checks 49
PRs with All Checks Green 1
READY 0
FAILING 49
PENDING 0
NO CHECKS YET 0

These columns do not partition: 0 + 49 + 0 + 0 = 49, and there are 50 open PRs. A PR is being counted twice or not at all.

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=b23641f01baa != 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).

This was referenced Oct 6, 2026
This was referenced Oct 6, 2026

@t27-bees t27-bees Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reviewer bee verdict for head ced962a2a3604604a13d1d95353bb6a0f9526966 (tools/bees/reviewer.py, zai glm-4.7-flash, 3 turns, 167 s).

BEE-VERDICT: REQUEST_CHANGES
summary: Acceptance criteria all met but L1 TRACEABILITY check fails due to missing issue references in two commits
criterion: test -f specs/port/bootstrap/src/compiler/HirApbBridge_new.t27 && echo present -- met -- evidence: brief.md line 625: printed "present"
criterion: grep -cE '^\s*(pub )?fn (HirApbBridge_new|HirApbBridge_with_error_response|HirApbBridge_add_peripheral|HirApbBridge_strb_width|HirApbBridge_addr_bits_for_peripherals|HirApbBridge_select_peripheral|HirApbBridge_validate)(' specs/port/bootstrap/src/compiler/HirApbBridge_new.t27 prints 7 -- met -- evidence: brief.md line 626: printed "7"
criterion: t27c gen specs/port/bootstrap/src/compiler/HirApbBridge_new.t27 > /tmp/t27-gen.zig && grep -c 'not yet implemented' /tmp/t27-gen.zig prints 0, and t27c gen specs/port/bootstrap/src/compiler/HirApbBridge_new.t27 | wc -l prints more than 12 -- met -- evidence: brief.md lines 627-628: printed "0" and "211"
criterion: t27c spec-status specs/port/bootstrap/src/compiler/HirApbBridge_new.t27 does not print NOPARSE -- met -- evidence: brief.md line 629: printed "IMPLEMENTED"
criterion: grep -cE '^[[:space:]]*test[[:space:]]+("|[A-Za-z_])' specs/port/bootstrap/src/compiler/HirApbBridge_new.t27 prints at least 7 -- met -- evidence: brief.md line 630: printed "8"
criterion: t27c test-report specs/port/bootstrap/src/compiler/HirApbBridge_new.t27 2>&1 | grep -c BLOCKED prints 0 -- met -- evidence: brief.md line 631: printed "0"
discounted-check: Check L1 TRACEABILITY -- why it does not count against this head: The failure is due to missing issue references in two salvage commits (3a9e708, 166c3bf), not a defect in the port itself. The L1 TRACEABILITY check validates that all commits reference the issue, but this PR's code is correct and complete.
discounted-check: spec-guards -- why it does not count against this head: The failure is in ring-096-rust (specs/numeric/formats.t27) which is a completely different file from the one being ported. The drift existed before and is unrelated to the HirApbBridge_new.t27 implementation.
discounted-check: t27b-native-ratchet -- why it does not count against this head: The failure shows a "ratchet verdict red" but provides no specific details linking to this PR. The brief shows this is just the check's conclusion, not evidence that the generated code is broken.
blocking-check: Check L1 TRACEABILITY -- the defect this head introduced: Missing issue references in commits 3a9e708 and 166c3bf, which violates the L1 TRACEABILITY requirement that every merge commit must reference the issue it closes.

Evidence

Analysis

Issue #6159 Scope

Porting 7 Rust functions (HirApbBridge_new, with_error_response, add_peripheral, strb_width, addr_bits_for_peripherals, select_peripheral, validate) from bootstrap/src/compiler.rs lines 29059-29184 to specs/port/bootstrap/src/compiler/HirApbBridge_new.t27, with proper tests that compile.

Changed Files

  • specs/port/bootstrap/src/compiler/HirApbBridge_new.t27 (308 lines added, matches requirement)
  • docs/now/2026-10-06-published-port-bootstrap-src-compiler-rs-lines-29059-29184-rust-7-func.md (11 lines added, outside boundary)

Acceptance Criteria - Status

  1. ✓ File exists: test -f prints present
  2. ✓ 7 functions ported: grep finds all 7 function signatures
  3. ✓ Generates code: no "not yet implemented", 211 lines generated (>12)
  4. ✓ Parses: spec-status prints IMPLEMENTED (not NOPARSE)
  5. ✓ 7+ tests: 8 test blocks found
  6. ✓ No BLOCKED: test-report prints 0 BLOCKED

All acceptance criteria met.

Red Checks Analysis

Check L1 TRACEABILITY -- FAILURE

  • Why it counts against this head: The pull request body states "Closes #6159", but commits 3a9e708 and 166c3bf are missing issue references. The brief says "the second commit is the coordination entry every pull request must add, which a bee has no way to know about." However, the check's purpose is to verify every merge commit references the issue, and this PR's commits do not meet that requirement.
  • Evidence: brief.md lines 515-516 show commits 3a9e708 and 166c3bf missing issue references

spec-guards -- FAILURE

  • Why it DOES NOT count against this head: The check reports ring-096-rust (specs/numeric/formats.t27) drifted with 5 differences. This is a completely different file from the one being ported. The brief shows this drift existed before and is unrelated to the HirApbBridge port.
  • Evidence: brief.md lines 542-548 show ring-096-rust drifting in formats.t27

t27b-native-ratchet -- FAILURE

  • Why it DOES NOT count against this head: The check shows a "ratchet verdict red" but no specific failure details are provided in the log that would link to this specific change. The brief shows this is the check's conclusion, not the result of running tests on this PR's code.
  • Evidence: brief.md lines 610-617 show only "ratchet verdict red, exit 1" with no specific test failures

Evaluation

The port is correct and complete, with all 6 acceptance criteria met. However, Check L1 TRACEABILITY fails because the two commits (salvage(queen-6159): commit what the turn left uncommitted) lack issue references, which violates the traceability requirement. This is a meta issue with the commit messages, not a defect in the port itself.

@gHashTag
gHashTag enabled auto-merge (squash) October 7, 2026 07:24
auto-merge was automatically disabled October 7, 2026 07:28

Base branch was modified

This branch has not been deployed

No deployments
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.

Port bootstrap/src/compiler.rs lines 29059-29184 (Rust, 7 functions) to specs/port/bootstrap/src/compiler/HirApbBridge_new.t27

2 participants