Skip to content

ledger: nine widgets rows, drop eval_hslm, cap 129 (Closes #10974) - #10975

Merged
gHashTag merged 1 commit into
masterfrom
claude/ledger-widgets-10969
Oct 19, 2026
Merged

gHashTag merged 1 commit into
masterfrom
claude/ledger-widgets-10969

Conversation

@gHashTag

Copy link
Copy Markdown
Owner

Closes #10974

t27b native is red on master tip b92f6f1: nine specs/widgets/* specs landed unledgered (all pass), and the reference no longer compiles specs/ml/eval_hslm.t27 (STALE; undeclared identifier b4_s), so its blocked row is dropped as #10955 did for train_hslm and max_not_pass goes 130 -> 129.

Only docs/reports/t27b_expectations.json changes: no Rust, no gate file, no gen/.

🤖 Generated with Claude Code

…mpiles it), cap 130 -> 129 (Closes #10974)

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

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-19 10:05:56 UTC

Summary

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

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

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=2d301cdb4a58 != 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) October 19, 2026 10:10
@gHashTag
gHashTag merged commit 0d80eec into master Oct 19, 2026
34 of 35 checks passed
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.

t27b ledger: nine widgets rows landed, eval_hslm no longer compiles in the reference

1 participant