Skip to content

Port gHashTag/trinity:src/tri/math/vocab_audit.zig (Zig, 5 functions) to specs/port/trinity/src/tri/math/vocab_audit.t27 - #8454

Merged
github-actions[bot] merged 2 commits into
masterfrom
queen-8440
Oct 10, 2026
Merged

github-actions[bot] merged 2 commits into
masterfrom
queen-8440

Conversation

@gHashTag

Copy link
Copy Markdown
Owner

Closes #8440

Written by a bee on queen-8440 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, 90 insertions(+)

🤖 Generated with Claude Code

Trinity Bee and others added 2 commits October 10, 2026 02:45
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 #8440

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

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-10 05:25:30 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)=bd3352ccb90e != 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).

@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 2e56482001ac2a05c80963c710bb70ce28c4f724 (tools/bees/reviewer.py, zai glm-4.7-flash, glm-4.5-flash, 4 turns, 82 s; then glm-4.7-flash, 3 turns, 83 s).

BEE-VERDICT: APPROVE
summary: Successfully ported 5 functions from Zig to t27 with all acceptance criteria met
criterion: "1. test -f specs/port/trinity/src/tri/math/vocab_audit.t27 && echo present prints present" -- met -- specs/port/trinity/src/tri/math/vocab_audit.t27:1
criterion: "2. grep -cE '^\s*(pub )?fn (isVocabCompliant|paddingActiveRange|paddingLogitMask|auditEntry|printAuditReport)\(' specs/port/trinity/src/tri/math/vocab_audit.t27 prints 5" -- met -- specs/port/trinity/src/tri/math/vocab_audit.t27:11,15,19,32,40
criterion: "3. t27c gen specs/port/trinity/src/tri/math/vocab_audit.t27 > /tmp/t27-gen.zig && grep -c 'not yet implemented' /tmp/t27-gen.zig prints 0, and t27c gen specs/port/trinity/src/tri/math/vocab_audit.t27 | wc -l prints at least 13" -- met -- generated 97 lines with no "not yet implemented"
criterion: "4. t27c spec-status specs/port/trinity/src/tri/math/vocab_audit.t27 does not print NOPARSE" -- met -- spec-status returned "IMPLEMENTED"
criterion: "5. grep -cE '^[[:space:]]*test[[:space:]]+("|[A-Za-z_])' specs/port/trinity/src/tri/math/vocab_audit.t27 prints at least 5" -- met -- 5 tests present
criterion: "6. t27c test-report specs/port/trinity/src/tri/math/vocab_audit.t27 2>&1 | grep -c BLOCKED prints 0" -- met -- 0 BLOCKED tests
discounted-check: Corpus ratchet (expected-failure ledger) -- failure exists on master 606611c before this change
discounted-check: coverage -- failure exists on master 606611c before this change
discounted-check: spec-guards -- failure exists on master 606611c before this change
discounted-check: t27b-native-ratchet -- failure exists on master 606611c before this change

Evidence

Evidence

The pull request successfully ports 5 functions from src/tri/math/vocab_audit.zig to specs/port/trinity/src/tri/math/vocab_audit.t27 as requested in issue #8440.

Acceptance Criteria Verification:

  • File existence: The file exists at specs/port/trinity/src/tri/math/vocab_audit.t27 ✓
  • Function count: All 5 required functions are present (isVocabCompliant, paddingActiveRange, paddingLogitMask, auditEntry, printAuditReport) ✓
  • Code generation: The generated Zig code has 97 lines with no "not yet implemented" markers ✓
  • File parsing: The file parses successfully (spec-status returns "IMPLEMENTED") ✓
  • Test coverage: 5 tests are included, covering all functionality ✓
  • Test execution: All tests compile and run (0 BLOCKED tests) ✓

Red Checks Analysis:

All 4 red checks were also failing on master before this change:

  • Corpus ratchet (expected-failure ledger) - was red on master, remains red
  • coverage - was red on master, remains red
  • spec-guards - was red on master, remains red
  • t27b-native-ratchet - was red on master, remains red

Since these failures existed before the pull request and are unrelated to the porting work, they don't count against this head.

Code Quality:

The port correctly maintains the original logic and behavior:

  • Constants are correctly defined
  • Functions preserve their original signatures and behavior
  • printAuditReport has an undefined; body as allowed for data-moving functions
  • Tests verify the functionality matches the original Zig implementation

Second, independent review (glm-4.7-flash): APPROVE -- Ported all 5 required functions with correct signatures and behavior; 5 tests pass all assertions; accepts all 6 criteria; red checks are pre-existing.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bee-reviewed A reviewer bee reviewed and verified this PR at its current head; the only merge signal (#5525)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Port gHashTag/trinity:src/tri/math/vocab_audit.zig (Zig, 5 functions) to specs/port/trinity/src/tri/math/vocab_audit.t27

2 participants