Skip to content

ledger: five t27b rows master lacks -- raw_writer, hslm_bwd_ptx, zig_convert, hslm_f32_study, eval_hslm; cap 130 (Closes #10951) - #10952

Merged
gHashTag merged 3 commits into
masterfrom
claude/inherited-reds-10951
Oct 19, 2026
Merged

gHashTag merged 3 commits into
masterfrom
claude/inherited-reds-10951

Conversation

@gHashTag

@gHashTag gHashTag commented Oct 19, 2026 •

Copy link
Copy Markdown
Owner

Closes #10951

t27b native is red on master and on every open PR: the ledger (2520ee1) does not name specs that landed since. This adds the rows, in sorted order, and raises max_not_pass 129 -> 130 for the one blocked row, so the cap equals reality (as #10889 did):

  • specs/analog/raw_writer.t27 pass
  • specs/igla/coder/hslm_bwd_ptx.t27 pass (PR 10948 has merged; CI re-checks the verdict)
  • specs/ml/eval_hslm.t27 blocked, ExprCall(undeclared fn)
  • specs/ml/hslm_f32_study.t27 pass
  • specs/fpga/sar_adc_ax7203.t27, specs/igla/coder/ptx_emit.t27, specs/t27f/widget_factory.t27, specs/widgets/{catalog,gallery_rules,gatle_rule,page_reader}.t27 pass (landed after the first revision)
  • specs/tools/t27o/zig_convert.t27 pass

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

The second inherited red, "Orphaned modules", is the walker bug that PR 10950 (Closes #10936) fixes with a net-zero edit. An earlier revision of this PR carried its own walker fix; it is dropped here so the two do not collide.

🤖 Generated with Claude Code

@gHashTag

Copy link
Copy Markdown
Owner Author

Lab verification (Railway lab, branch head 177d182): the orphan self-check passes (planted orphan seen); the orphan gate prints ORPHAN CEILING: CLEAN with 0 orphaned in every crate (bootstrap 95/95, cli/tri 54/54); the 8 modreach unit tests pass, including the new one-line path-attribute test.

🤖 Generated with Claude Code

@github-actions

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-19 08:30:40 UTC

Summary

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

These columns do not partition: 1 + 45 + 0 + 0 = 46, 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).

@gHashTag
gHashTag force-pushed the claude/inherited-reds-10951 branch from 177d182 to 2c70b00 Compare October 19, 2026 08:33
@gHashTag gHashTag changed the title Two inherited reds: four t27b ledger rows, and the orphan walker reads a one-line #[path] mod (Closes #10951) ledger: five t27b rows master lacks -- raw_writer, hslm_bwd_ptx, zig_convert, hslm_f32_study, eval_hslm; cap 130 (Closes #10951) Oct 19, 2026
@github-actions

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-19 08:42:33 UTC

Summary

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

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

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=509db03c8f4d != 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 and others added 2 commits October 19, 2026 15:51
…convert, hslm_f32_study pass, eval_hslm blocked; cap 129 -> 130 (Closes #10951)

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…mit, widget_factory, four widgets specs (Closes #10951)

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
auto-merge was automatically disabled October 19, 2026 08:52

Head branch was modified

@gHashTag
gHashTag force-pushed the claude/inherited-reds-10951 branch from 2c70b00 to 2e8d38d Compare October 19, 2026 08:52
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@github-actions

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-19 09:11:25 UTC

Summary

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

These columns do not partition: 2 + 47 + 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)=509db03c8f4d != 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 09:22
@gHashTag
gHashTag merged commit f9fe37a into master Oct 19, 2026
33 of 34 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

1 participant