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

Merged

weksa merged 1 commit from weksa-lowering/golf-loop-first-round into main

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

2026-11-10

Weksa

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

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>

00250088a8

2026-11-10 13:58:28 +00:00