Skip to content

ledger(t27b): rows for five specs master carries unlisted (Closes #10912) - #10913

Merged
gHashTag merged 2 commits into
masterfrom
ledger/t27b-unlisted-10912
Oct 19, 2026
Merged

ledger(t27b): rows for five specs master carries unlisted (Closes #10912)#10913
gHashTag merged 2 commits into
masterfrom
ledger/t27b-unlisted-10912

Conversation

@gHashTag

@gHashTag gHashTag commented Oct 19, 2026 •
edited
Loading

Copy link
Copy Markdown
Owner

Closes #10912

Five specs on master have no row in docs/reports/t27b_expectations.json, so master's t27b-native-ratchet reports UNLISTED and every pull request inherits that red (master's own t27b runs keep being cancelled, which hides it). No steward ledger PR is open.

Applied the way the steward applies UNLISTED (specs/tri/t27b/ledger_steward.t27), with the verdicts the t27b runs on current master print (#10908, #10855, #10907, #10836):

spec row
specs/analog/mos_psp103_50c_data.t27 pass
specs/analog/sar_adc.t27 pass
specs/analog/sar_comparator_psp.t27 pass
specs/tri/worktrees/reap.t27 pass
specs/ml/ngram_hslm.t27 blocked, ExprCall(undeclared fn), unimplemented

The blocked row carries the blocker hslm_corpus.t27 already carries. max_not_pass stays 129: not-pass rows are 128 blocked + 1 codegen = 129.

Update: the first version also listed specs/ml/eval_hslm.t27; this PR's own t27b run then reported it STALE (on current master the reference no longer compiles it: undeclared identifier b3_q after a train_hslm change), so that row is dropped, as the steward would. Ledger stays path-sorted; JSON parses. No spec changes.

🤖 Generated with Claude Code

@claude
ledger(t27b): rows for six specs master carries unlisted, max_not_pas…
e7daa99 
…s 129 -> 130 (Closes #10912)

As the steward applies UNLISTED (specs/tri/t27b/ledger_steward.t27): four pass rows (mos_psp103_50c_data, sar_adc, sar_comparator_psp, tri/worktrees/reap) and two blocked rows, ExprCall(undeclared fn), reason unimplemented (eval_hslm, ngram_hslm -- the same blocker hslm_corpus already carries). Verdicts are the UNLISTED lines of the t27b runs of #10908, #10855, #10907 and #10836 on current master. Not-pass rows become 129 blocked + 1 codegen = 130, so the cap rises by one, within the two new non-pass rows.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This was referenced Oct 19, 2026
Merged
Merged
Merged
Merged
Merged
Merged
@claude
ledger(t27b): drop the eval_hslm row, max_not_pass back to 129 (Closes …
2d7933f 
…#10912)

The PR's own t27b run reported eval_hslm.t27 STALE: on current master the reference no longer compiles it (undeclared identifier 'b3_q' after a train_hslm change), and the steward lists only what the reference passes. Five rows remain (four pass, ngram_hslm blocked); not-pass rows are 128 blocked + 1 codegen = 129, the cap master had.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@gHashTag gHashTag changed the title ledger(t27b): rows for six specs master carries unlisted, max_not_pass 129 -> 130 (Closes #10912) ledger(t27b): rows for five specs master carries unlisted (Closes #10912) Oct 19, 2026
@github-actions github-actions Bot mentioned this pull request Oct 19, 2026
Merged
@gHashTag

gHashTag commented Oct 19, 2026

Copy link
Copy Markdown
Owner Author

Same five ledger rows as #10889, byte for byte, so whichever merges first leaves the other's ledger change empty with no conflict. #10889 also fixes master's scan red: it changes the dev-home path in the specs/tri/worktrees/reap.t27 test and re-saves that seal. That part is not in this PR.

This was referenced Oct 19, 2026
Merged
Merged
@github-actions

github-actions Bot commented Oct 19, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-19 06:57:25 UTC

Summary

Status Count
Total Open PRs 50
PRs with Failing Checks 43
PRs with All Checks Green 7
READY 2
FAILING 43
PENDING 0
NO CHECKS YET 0

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

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=88b8cb73ceda != 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 19, 2026
Merged
Merged
@gHashTag
gHashTag enabled auto-merge (squash) October 19, 2026 07:03
@gHashTag
gHashTag merged commit c9ae710 into master Oct 19, 2026
33 of 36 checks passed
@gHashTag gHashTag mentioned this pull request Oct 19, 2026
Open
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.

[spec] t27b ledger: rows for six specs master carries unlisted (sar_adc, sar_comparator_psp, mos_psp103_50c_data, reap, eval_hslm, ngram_hslm)

2 participants

@gHashTag @claude