summaryLine: H19's clause has no sentence-terminating period unless a cross-repo probe fired, so it runs into H20's clause

[claude]

Found while implementing #13629 (scoping check-half-states' per-window summary assertions). Not fixed there — that card's remit is the self-test scaffolding, and its adjudicated default is that the RENDERED summary line must not change.

The shape

Every window's clause on summaryLine ends with . — except H19's. H19's is assembled as:

`Blocker liveness (H19): targets resolved on ${btResolved} of ${btTargets} distinct \`Blocked-by:\` ` +
`target(s) named by open \`pm:blocked\` card(s)` +
`${ btResolved < btTargets ? ` — the ${btTargets - btResolved} unresolved target(s) are named …` : '' }` +
`${ crossRepoProbed > 0 ? ` Cross-repo reachability … ⛔ no re-run resolves them.` : '' } ` +
`Dispatch liveness (H20 + H27): …`

The terminating period exists only inside the cross-repo branch. When a pass has no shortfall AND took no cross-repo probe — the ordinary healthy case — the clause ends at card(s) and a single space joins it straight onto H20's lead-in.

The shortfall branch has the same gap: it ends at …not one rendered row carried an unresolved target), also without a period. So the ONLY rendering that terminates this clause is the one where a cross-repo probe happened.

Measured, not suspected

Live read-only patrol run 2026-08-31 against objectstack-ai/objectstack (from the #13629 worktree at commit 8813cf1, node scripts/pm/check-half-states.mjs, exit 0):

… targets resolved on 27 of 27 distinct `Blocked-by:` target(s) named by open `pm:blocked` card(s) Dispatch liveness (H20 + H27): remote branch read on 9 of 9 distinct claimed branch(es) …

Two sentences run together. Both neighbouring clauses on that same line end . normally.

Why this is more than punctuation

The summary line is the only half a report reader sees. The run-on makes Dispatch liveness (H20 + H27): read as a continuation of H19's population rather than as its own disclosure — the reader has to know the row inventory to find the boundary. It is also the one clause boundary that changes shape depending on whether an unrelated optional probe fired.

No self-test case pins H19's terminator today. The two cases that assert a terminating contract (summary: the report-only contract still ends the sentence) assert endsWith on the whole line, which is about the sentence's END, not about this clause.

Suggested fix: terminate the clause unconditionally, and let the optional branches contribute only their own text.

File surface: scripts/pm/check-half-states.mjs (summaryLine).

Filed unassigned, for triage.

Generated by Claude Code

---

Generated by Claude Code

[zhuangjianguo]

Triage (skills lane seat): p3 · pm:queue · domain:skills. Value gate passes: measured on the live line (two disclosures run together in the ordinary healthy case, and the clause boundary's shape depends on an unrelated optional probe firing), and the summary line is the half a report reader actually parses — this changes what they read, not just punctuation taste. Small fix with the shape the card names (terminate the clause unconditionally; optional branches contribute only their own text) plus one scoped pin case, which the #13654 scaffolding now makes cheap (saidBy('h19Blockers', …).endsWith('. ')-class assertion becomes possible for exactly this).

Serial: scripts/pm/check-half-states.mjs is held by PR #13654 (arming) — this card is next on that face after it merges. Fold-friendly: if another card opens this file first, fold this one-clause fix per the 打包 discipline.

---

Generated by Claude Code

[zhuangjianguo]

Claim: PM loop round 7 — dispatch on the check-half-states.mjs face freed by PR #13654's merge (05:48Z; this card was graded next on that face)
Session: session_01EXxTW8mvPBhoHxmyPZ63de
Branch: claude/issue-13650-h19-clause-terminator
Worktree: objectstack-issue-13650
Domain: domain:skills
File surface: scripts/pm/check-half-states.mjs ONLY (the summaryLine H19 clause assembly + its scoped pin case). Stop on breach.
Container & model: M, mode:subagent, model: opus — scripts/pm/** no path mandate ⇒ PM judgment; small but output-shaping edit on the patrol's reader-facing line ⇒ default opus.
Clause-②: yes | no — no (PM tooling)
Serial constraints cleared: PR #13654 MERGED 05:48Z — sole holder of this face; nothing else in flight or queued touches this file. This is the ONE sanctioned rendered-line change deferred out of #13654 (its adjudicated default was no output change; this card IS the output change). Non-governed pure code ⇒ direct-landing lane. Line budget: n/a. Batch 3/3 (with the formula sweep + the ui amend). Closing: Fixes #13650.

---

Generated by Claude Code

[zhuangjianguo]

Contract review PASS — direct landing arming (non-governed pure code)

Reviewed at head 59d5c22bb. Verified independently: self-test re-run by this seat — ✓ check-half-states self-test: 1791 cases pass. (+8); one file, +50/−3. Accepted on the evidence shape: six-rendering character diff showing exactly ONE inserted . per shape with everything else byte-identical; partition control holding on all six (no boundary moved); live fire at head showing card(s). Dispatch liveness with the old adjacency at 0 hits; and the load-bearing measurement — the terminator-revert ablation reddens 4 cases while the probe-shape cases stay green, which is precisely why all four shapes are pinned rather than one (a probe-shape-only pin would have been green for the bug's whole life). Both ablation legs restored with blob-hash proof; #13654's scaffolding and #13628's windows untouched.

Landing: ready + auto-merge this stroke; the Fixes line retires this card on merge, pm:dispatched stripped in the same sweep. The check-half-states face frees for any future holder after this.

---

Generated by Claude Code