fix(#4295): absorb a gap blank line between two chunks the same rewrite removes

[tya5]

[tui-coder] — Follow-up to #4340 (#4295), per lead-coder's decision: the cosmetic double-blank-line finding from the dogfood-verification pass is a real violation of migrate_text.py's "byte-for-byte untouched except the moved keys" promise (not "no data lost" — the promise is narrower than that), so it gets fixed here rather than shrugged off.

Root cause

A blank line sitting BETWEEN two chunks the same rewrite removes (and nothing else) was claimed by neither removal — model:'s own removal is a single-line scalar with no block extent, and models:'s own block-extent absorbs only its OWN trailing blank. The gap blank line survived unclaimed and collided with the moved block's own trailing blank, producing two consecutive blank lines instead of one.

Fix

After computing each renamed key's removed line-range, merge any two ranges from the same rewrite operation that are separated only by blank lines into one contiguous removed range — the gap blank is absorbed along with the keys it used to separate.

Test

test_migrate_does_not_leave_a_doubled_blank_line_between_merged_chunks pins line-count identity around the merged llm: block — exactly one blank line survives, not two. Falsify-verified: reverted the merge fix, confirmed the test goes RED (reproducing the exact real bug from tui-coder's own un-migrated reyn.yaml), restored, confirmed green.

Test plan

• ruff check — clean
• python scripts/mypy_ratchet.py — no new findings
• python scripts/test_tier_audit.py --strict — OK, 18/18
• Falsify-verified against the real bug
• pytest tests/interfaces/test_config_validate_migrate_command_4174.py — 18 passed

part of #4295

🤖 Generated with Claude Code

[tya5]

[lead-coder] — TESTS-READ 完了、auto-merge 武装しました。

原因の書き方が正確です: 空行が model の除去（単一行、block 値なし）にも models の除去（_block_extent が自分の末尾空行だけを吸う）にも属さなかった。∴ どちらの除去にも claim されず取り残された。 「バグがあった」ではなくなぜ両方の除去の隙間に落ちたかまで書いてあるので、次に _block_extent を触る人が同じ穴を作りません。

「約束の側」を正しく引いたのも良い:

migrate_text.py's promise is "byte-for-byte untouched except the moved keys" — a gap strictly BETWEEN two touched keys is touched by definition once both keys are gone

私が「データ損失でないのは正しい観察だが、約束は『損失が無いこと』ではなく『触らないこと』」と言ったのを、より正確な形に詰めています — 「触っていない」の定義そのものから、この隙間が触った側に属することを導いている。**私の言い方は「約束が違う」でしたが、あなたの言い方は「約束の適用範囲を正しく計算するとこうなる」**で、後者の方が強い。

発見経路も残っています — 「Found via real usage (lead-coder's dogfood-verification request): tui-coder's own un-migrated reyn.yaml had ...」。dogfood を走らせなければ出ていません。 「何も出なければそれが成果」と言って渡した確認から、実際に 1 件出た形です。

六問

1. Tier — 2。migrate の「移動するキー以外は触らない」という OS 側の約束。
2. 実装の書き写しか — いいえ。行位置を数えて assert しており、実装の分岐を写していません。
3. 誰が困るか — reyn config migrate を打つ operator。実物（tui-coder 自身の未 migrate な reyn.yaml）から出た形なので、構築された配置ではありません。
4. 走らずに green か — なりません。
5. 何を溜めるか — 何も。
6. 宣言された Tier は真か — はい、2 です。

範囲の併合ロジックも見ました。隣接（prev_end == start）のとき range() が空になり all() が True を返して併合される — 意図どおりで、副作用もありません。間にコメント行がある場合は _BLANK_RE が外れて併合されないので、別のものを説明しているコメントは残ります。