Lows: summary_line leaves the public surface; lowering bound pinned in bytes, CR refused

weksa commented

2026-11-10 14:00:06 +00:00

Member

RoundRecord/Decision lose the unlabelled public summary_line (RunStores::round_line/cycle_line label with lowerer reach). Bound tests kill the chars-vs-bytes and CR mutants. Soul pass: no findings; 338 tests, clippy clean. sha2 is not in the offline registry, so the FNV digest stays.

🤖 Generated with Claude Code

RoundRecord/Decision lose the unlabelled public summary_line (RunStores::round_line/cycle_line label with lowerer reach). Bound tests kill the chars-vs-bytes and CR mutants. Soul pass: no findings; 338 tests, clippy clean. sha2 is not in the offline registry, so the FNV digest stays. 🤖 Generated with [Claude Code](https://claude.com/claude-code)

weksa added 1 commit

2026-11-10 14:00:06 +00:00

Lows: summary_line leaves the public surface; lowering bound pinned in bytes, CR refused 00250088a8

RoundRecord and Decision no longer expose an unlabelled summary_line; the only
public spellings are RunStores::round_line and cycle_line, which label with the
run's lowerer reach. The lowering bound tests now kill the chars-for-bytes and
CR-allowed mutants.

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

weksa merged commit 3df878f4fa into main

2026-11-10 14:00:07 +00:00

weksa referenced this pull request from a commit

2026-11-10 14:00:09 +00:00

Merge pull request 'Lows: summary_line leaves the public surface; lowering bound pinned in bytes, CR refused' (#37) from weksa-lowering/golf-loop-first-round into main

Rows
Columns

Lows: summary_line leaves the public surface; lowering bound pinned in bytes, CR refused #37