Skip to content

t27b: golden_spec -- document measurement pending for 8-word projection - #13441

Merged
gHashTag merged 1 commit into
masterfrom
lane/t27b-golden-spec-measure
Nov 9, 2026
Merged

t27b: golden_spec -- document measurement pending for 8-word projection#13441
gHashTag merged 1 commit into
masterfrom
lane/t27b-golden-spec-measure

Conversation

@gHashTag

@gHashTag gHashTag commented Nov 9, 2026

Copy link
Copy Markdown
Collaborator

Summary

Refs #13440

🤖 Generated with Claude Code
Co-Authored-By: Claude Sonnet 4.6 noreply@anthropic.com

@gHashTag @claude
t27b: golden_spec -- note measurement pending, link #13440 (Refs #13440)
773a6c7 
Add inline instructions for the word-count measurement: `t27b asm bench_audit.t27`
with a fresh binary from master after #13439. References tracking issue #13440.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
@github-actions

github-actions Bot commented Nov 9, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-11-09 12:49:30 UTC

Summary

Status Count
Total Open PRs 43
PRs with Failing Checks 38
PRs with All Checks Green 5
READY 4
FAILING 38
PENDING 0
NO CHECKS YET 0

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

Seal Status

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

@gHashTag
gHashTag enabled auto-merge (squash) November 9, 2026 12:51
@gHashTag
gHashTag merged commit 2e54405 into master Nov 9, 2026
36 of 40 checks passed
@gHashTag
gHashTag deleted the lane/t27b-golden-spec-measure branch November 9, 2026 12:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@gHashTag