From b84f32e1981bb1ef3c4e5555c389c649ab4f0eb4 Mon Sep 17 00:00:00 2001
From: os-dev <steve@objectstack.ai>
Date: Sun, 20 Sep 2026 11:06:29 +0000
Subject: [PATCH 1/2] =?UTF-8?q?wip(pm):=20second=20Unlock-action=20value?=
 =?UTF-8?q?=20=E2=80=94=20a=20label-transition=20exit=20on=20a=20named=20c?=
 =?UTF-8?q?ard?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Reader + H19 leg + H26 stand-down in check-half-states.mjs; the three
prose carriers rewritten in place. Verbose draft; compressed next.

Co-authored-by: Claude <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_017ETYWqMQD4qMtZzAGovWNi
---
 .claude/skills/pm-dispatch/SKILL.md           |   2 +-
 .../pm-dispatch/references/core-rules.md      |   2 +-
 .../pm-dispatch/references/state-machine.md   |   4 +-
 scripts/pm/check-half-states.mjs              | 152 +++++++++++++++++-
 4 files changed, 148 insertions(+), 12 deletions(-)

diff --git a/.claude/skills/pm-dispatch/SKILL.md b/.claude/skills/pm-dispatch/SKILL.md
index b093b72a8d3..24f9a7a7828 100644
--- a/.claude/skills/pm-dispatch/SKILL.md
+++ b/.claude/skills/pm-dispatch/SKILL.md
@@ -125,7 +125,7 @@ PM 的工作是循环:选卡 → 认领 → 派发 → 收集 → 复核 → 报
 - `pm:queue` 卡逾三天欠一次显式转换(派发/转箱/停放/撤单/改前提),⛔ 不是排期。
 - hold/blocked 的行契约、双通道与 `Restart-touch:` 触发文件细则见 `references/state-machine.md`。
 - hold 放行须双查:只放最近一次转换评论的条件,其后卡上有更新的 merged PR 即拒。
-- `Unlock-action: re-check PR #M` 行改写完工卡的解锁动作,只认此一值,别的拼写静默回落。
+- `Unlock-action:` 只认 `re-check PR #M` 与 `re-check #N when label <标签> <absent|present>`,余者静默回落。
 - `needs-user-decision` 是决定待做,`pm:on-hold` 是决定已做;`manual — <理由>` ⛔ 不是合法出口。
 - 无机制可唤醒的卡 ⛔ 不 hold:关 not planned,理由/出处载关单评论;重开免费,维护者可否决。
 - 缺陷卡 ⛔ 不藏进 hold 也不自行关闭:可复现且用户可达 ⇒ 回 `pm:queue`。
diff --git a/.claude/skills/pm-dispatch/references/core-rules.md b/.claude/skills/pm-dispatch/references/core-rules.md
index 05c035b72b7..908ab013844 100644
--- a/.claude/skills/pm-dispatch/references/core-rules.md
+++ b/.claude/skills/pm-dispatch/references/core-rules.md
@@ -30,7 +30,7 @@
 - hold 放行须双查:只放最近一次转换评论的条件,其后有更新的 merged PR 即拒。
 - 没有可点火出口的卡 ⛔ 不 hold,直接关 not planned 并把理由与出处写进关单评论。
 - 缺陷卡 ⛔ 不可自行关闭或藏进 hold:可复现回队列、未兑现走 enforce-or-remove、余下进箱。
-- `pm:blocked` 配正文行 `Blocked-by:`,工已完而卡在门禁的同用此态并写 `Unlock-action:` 行。
+- `pm:blocked` 配正文行 `Blocked-by:`,完工卡遇门禁或等换标的同用此态并写 `Unlock-action:` 行。
 - `pm:awaiting-maintainer` 只剩站外人工动作,恒带 `Maintainer-action:` 行;`pm:blocking` ⛔ 不手工挂。
 - `pm:retriage` 并存 ⛔ 不摘原标且跳过派发;`finding` 恒等于待首次定级、定级即离标。
 - 插队标签可超 `batch` 立即派发,⛔ 不豁免同文件串行、深度等待与认领协议。
diff --git a/.claude/skills/pm-dispatch/references/state-machine.md b/.claude/skills/pm-dispatch/references/state-machine.md
index 70ac176366d..db7ddf6a4d0 100644
--- a/.claude/skills/pm-dispatch/references/state-machine.md
+++ b/.claude/skills/pm-dispatch/references/state-machine.md
@@ -26,8 +26,8 @@
 - 句中提及刻意拒收;等 PR 合并或等发布且 pin 覆盖的卡同理,指一张在该刻关闭的卡。
 - ⛔ 不扩词表;等发布的目标 = pin-bump 杂事卡,`Part of` 型 PR 的跟踪卡 ⛔ 不可用作目标。
 - 工已完、PR 被外部门禁缺陷卡住者同用本态,⛔ 不设新标签;`Blocked-by:` 指向那张门禁卡。
-- 正文加机器可读行 `Unlock-action: re-check PR #M`,把解锁出口改为重查该 PR 落地。
-- 只认此一值,别的拼写静默回落重派,散文另起行;停放的 PR 正文须点名那张门禁卡。
+- 正文行 `Unlock-action: re-check PR #M`(重查落地)或 `re-check #N when label <标签> <absent|present>`。
+- 只认此二值,别的拼写静默回落重派,散文另起行;停放的 PR 正文须点名那张门禁卡。
 - ⛔ 永不给完工卡重派 dev。
 - 上游已关 ⇒ 先重新推导是否有新阻塞并改写该行,⛔ 不反射式放行。
 - 正文是正典家:新 blocker 停在评论、正文留已关旧目标 ⇒ 巡查报 stale 并要求迁回正文。
diff --git a/scripts/pm/check-half-states.mjs b/scripts/pm/check-half-states.mjs
index f49d566ed27..221c7786206 100644
--- a/scripts/pm/check-half-states.mjs
+++ b/scripts/pm/check-half-states.mjs
@@ -1880,7 +1880,7 @@ function stripMatchingDecoration(value, opener) {
  * cause with.
  *
  * @param {string} text
- * @param {'Blocked-by'|'Restart-when'|'Maintainer-action'} key
+ * @param {'Blocked-by'|'Restart-when'|'Maintainer-action'|'Unlock-action'} key
  * @returns {string[]}
  */
 export function directiveValues(text, key) {
@@ -6836,6 +6836,67 @@ export function h31ContractReviewCarrierSplit(issue, openPrs) {
   );
 }
 
+// ---------------------------------------------------------------------------
+// The label-transition exit — the second `Unlock-action:` value (#19255).
+//
+// The unlock predicate is "the `Blocked-by:` target CLOSED", and the one rewrite
+// the state model admitted (`re-check PR #M`) was read by seats and by no script:
+// on `e3b3cdd` the key occurs in three prose lines and nowhere under `scripts/`.
+// So a block on a `needs-user-decision` / `pm:on-hold` target had no exit a
+// machine could fire (H26), and any other spelling of the line fell back to the
+// closed-target predicate in SILENCE. This is the second recognised value, and
+// its first reader: `re-check #N when label <label> <absent|present>` — the
+// CARD, the LABEL and the STATE tested on it (a state, not an event: a sweep
+// observes labels, never transitions; `absent` is the live case, the ruling
+// landing and `needs-user-decision` leaving the target). Same decorated reader
+// and both channels as `Blocked-by:`, judged on the resolutions H19/H26 already
+// hold — no request. ⛔ Every other spelling still falls back silently, by
+// ruling: the closed set IS the contract; what changed is that H26 says so.
+// ---------------------------------------------------------------------------
+
+/** The spelling, over one decoration-stripped value; trailing prose is tolerated. */
+const UNLOCK_LABEL_EXIT_RE =
+  /^re-check[ \t]+(?:([A-Za-z0-9][A-Za-z0-9._-]*\/[A-Za-z0-9][A-Za-z0-9._-]*))?#([1-9]\d{0,5})[ \t]+when[ \t]+label[ \t]+`?([^\s`]+?)`?[ \t]+(absent|present)\b/;
+
+/** Every recognised label-transition exit a card declares — body, then comments — keyed like its targets. */
+export function unlockLabelExits(issue, commentBodies, ownerRepo = OWNER_REPO) {
+  const out = [];
+  for (const text of [issue?.body, ...(commentBodies ?? [])]) {
+    for (const value of directiveValues(text, 'Unlock-action')) {
+      const m = UNLOCK_LABEL_EXIT_RE.exec(value);
+      if (m) out.push({ ...blockerTargetKey({ repo: m[1] ?? null, number: m[2] }, ownerRepo), label: m[3], state: m[4] });
+    }
+  }
+  return out;
+}
+
+/**
+ * The unlock sweep's second exit, under H19 because it is H19's reading (what
+ * the card said it waits for has happened): null unless a declared label exit
+ * has COME TRUE on a resolved OPEN target, else the finding sentence. A closed
+ * target is H19's own leg and an unresolved one its UNJUDGED leg — no target
+ * reports twice under one id.
+ */
+export function h19DeclaredExitFired(issue, resolutions, commentBodies, ownerRepo = OWNER_REPO) {
+  if (!needsBlockerLiveness(issue)) return null;
+  const exits = unlockLabelExits(issue, commentBodies, ownerRepo);
+  const fired = (resolutions ?? []).flatMap((r) =>
+    r?.state === 'open' && Array.isArray(r.labels)
+      ? exits.filter((e) => e.key === r.key && (e.state === 'present') === r.labels.includes(e.label)).map((e) => ({ r, e }))
+      : [],
+  );
+  if (fired.length === 0) return null;
+  const named = fired.map(({ r, e }) => `\`${r.local ? `#${r.number}` : r.key}\` (\`${e.label}\` ${e.state})`).join(', ');
+  return (
+    `\`pm:blocked\` while the label-transition exit its \`Unlock-action:\` line declares has COME TRUE on ${named}: ` +
+    'the target is open and the named label is in the state the line asked this sweep to test — the second ' +
+    'recognised `Unlock-action:` value (`re-check #N when label needs-user-decision absent` is the live spelling; ' +
+    'any label, `absent` or `present`, body or comment), the exit a block on a `needs-user-decision` / `pm:on-hold` ' +
+    'target can now hand a machine. Report-only: the release is the unlock sweep\'s, under the same two ' +
+    'double-checks (「放行双查」) and the same landed act as a closed target — ⛔ never a label written from this script.'
+  );
+}
+
 // ---------------------------------------------------------------------------
 // H26 — a block whose target can never CLOSE, and the stale chain (#11219).
 //
@@ -6915,16 +6976,20 @@ export const INDEFINITE_TARGET_LABELS = ['pm:on-hold', 'needs-user-decision'];
  * @param {{ key: string, number: number, local: boolean,
  *   state: 'open'|'closed'|'unresolved', labels?: string[]|null }[]} resolutions
  */
-export function h26BlockOnIndefiniteTarget(issue, resolutions) {
+export function h26BlockOnIndefiniteTarget(issue, resolutions, commentBodies) {
   if (!needsBlockerLiveness(issue)) return null;
   const open = (resolutions ?? []).filter(
     (r) => r?.state === 'open' && Array.isArray(r.labels),
   );
   if (open.length === 0) return null;
 
+  // A target this card gives a label-transition exit for is not indefinite any
+  // more — the sweep can fire that exit (`h19DeclaredExitFired`) — so the row
+  // stands down for it; that is the whole point of the second value (#19255).
+  const exitKeys = new Set(unlockLabelExits(issue, commentBodies).map((e) => e.key));
   const indefinite = open
     .map((r) => ({ row: r, states: INDEFINITE_TARGET_LABELS.filter((l) => r.labels.includes(l)) }))
-    .filter((r) => r.states.length > 0);
+    .filter((r) => r.states.length > 0 && !exitKeys.has(r.row.key));
   // A target that is BOTH parked and blocked is named once, under the reading
   // that ends the wait forever rather than the one that merely lengthens it.
   const chained = open.filter(
@@ -6958,6 +7023,22 @@ export function h26BlockOnIndefiniteTarget(issue, resolutions) {
         'has to come from the target\'s own state changing (a ruling answered, a hold restarted) ' +
         'and someone has to want that.',
     );
+    // The remedy — the exit the state model now admits, or the close its sibling
+    // rule prescribes — and the silent fallback made loud, on the card (#19255).
+    const unread = [issue?.body, ...(commentBodies ?? [])]
+      .flatMap((t) => directiveValues(t, 'Unlock-action'))
+      .filter((v) => !UNLOCK_LABEL_EXIT_RE.test(v));
+    parts.push(
+      '⭐ The exit: write `Unlock-action: re-check #N when label needs-user-decision absent` (or `pm:on-hold absent` ' +
+        '— the second recognised value: the card, the label, and `absent`/`present`; body or comment) and this row ' +
+        'stands down for that target, because the unlock sweep can then fire the exit (H19 reports it the moment the ' +
+        'label state matches); or close the waiting card `not planned`, which is 「无机制可唤醒的卡 ⛔ 不 hold」 one ' +
+        'state over. ⛔ Any other spelling falls back silently, by ruling, and leaves this row firing' +
+        (unread.length === 0
+          ? '.'
+          : ` — as ${unread.length} \`Unlock-action:\` line(s) on this card already do (${unread.slice(0, 3).map((v) => `\`${v}\``).join(', ')}): ` +
+            'PR-shaped, or a spelling nothing reads.'),
+    );
   }
   if (chained.length > 0) {
     const named = chained
@@ -24175,12 +24256,16 @@ async function sweepInto(findings, seen, seenPrs, seenMerged, seenUnscoped, seen
     if (unblockedByNothing) findings.push([issue, 'H4', unblockedByNothing]);
     const expired = h19BlockOutlivedBlocker(issue, resolutions);
     if (expired) findings.push([issue, 'H19', expired]);
+    // …and the same row's second exit: a declared label transition that has
+    // come true on an open target (#19255). Both can fire on one card.
+    const exitFired = h19DeclaredExitFired(issue, resolutions, fallbackFor(issue));
+    if (exitFired) findings.push([issue, 'H19', exitFired]);
     // H26 — the same resolutions, asked the OTHER question: not "has the target
     // closed" but "can it ever". Both rows can fire on one card (a two-target
     // block where one blocker closed and the other is parked indefinitely), and
     // they must: they name different halves of the same wait and prescribe
     // different reads.
-    const indefinite = h26BlockOnIndefiniteTarget(issue, resolutions);
+    const indefinite = h26BlockOnIndefiniteTarget(issue, resolutions, fallbackFor(issue));
     if (indefinite) findings.push([issue, 'H26', indefinite]);
     // H28 — the same resolutions, asked a THIRD question: which CHANNEL each
     // target arrived in. H19 reports that the block is half-expired; this
@@ -24776,10 +24861,18 @@ export const SELF_TEST_BATTERIES = Object.freeze({
   // because a number with no provenance is what got re-derived from memory the
   // first time.
   'ISSUE_BODY_LIMIT measured cap': 52,
+  // Registered with the label-transition unlock exit (#19255); the pin sits just
+  // under the count on its neighbours' grounds. What this battery floors is a NEW
+  // EXIT beside a STAND-DOWN, so the firing controls (the live spelling in both
+  // states and both channels, the decorated line) sit next to the fallbacks (the
+  // PR-shaped value, a missing state word, a lowercase key) and the H26 pins that
+  // must keep firing when the exit names another card or none — a stand-down
+  // whose controls drift out of the suite is how a remedy becomes a silencer.
+  'H19/H26 label-transition unlock exit': 30,
 });
 
 /** The floor on the ROSTER itself — how many batteries must be declared at all. */
-export const SELF_TEST_BATTERY_FLOOR = 6;
+export const SELF_TEST_BATTERY_FLOOR = 7;
 
 async function selfTest() {
   const cases = [];
@@ -29046,7 +29139,7 @@ async function selfTest() {
   b(BATTERY18664, '#18664 floor: this battery is DECLARED on the roster', Object.prototype.hasOwnProperty.call(SELF_TEST_BATTERIES, BATTERY18664), true);
   b(BATTERY18664, '#18664 floor: …with a positive pin, so an empty battery cannot satisfy it', SELF_TEST_BATTERIES[BATTERY18664] > 0, true);
   b(BATTERY18664, '#18664 floor: the roster is frozen', Object.isFrozen(SELF_TEST_BATTERIES), true);
-  b(BATTERY18664, '#18664 floor: the roster now declares SIX batteries, and the floor rose with it', SELF_TEST_BATTERY_FLOOR, 6);
+  b(BATTERY18664, '#18664 floor: the roster now declares SEVEN batteries, and the floor rose with it', SELF_TEST_BATTERY_FLOOR, 7);
   b(BATTERY18664, '#18664 floor: …including the five this battery landed BESIDE, so neither side of the base merge silently dropped one', ['H66 released queue card', 'H19 judged-set founding', 'H65 tier declaration spelling', 'H67 queued merged-delivery reading', 'H2/H47/H66 decorated ownership marker'].every((name) => Object.prototype.hasOwnProperty.call(SELF_TEST_BATTERIES, name)), true);
   b(BATTERY18664, '#18664 floor: …and the roster really carries at least that many', Object.keys(SELF_TEST_BATTERIES).length >= SELF_TEST_BATTERY_FLOOR, true);
 
@@ -30663,6 +30756,49 @@ async function selfTest() {
   const waitingBoth = { ...waiting(), body: 'Blocked-by: #900\nBlocked-by: #987' };
   t('H26 + H19: a partially expired, partially indefinite block fires both', Boolean(h19BlockOutlivedBlocker(waitingBoth, expiredAndIndefinite, REPO_OS)) && Boolean(h26BlockOnIndefiniteTarget(waitingBoth, expiredAndIndefinite)), true);
 
+  // -- The label-transition exit: the second `Unlock-action:` value (#19255) --
+  // Firing controls and fallbacks together, beside the H26 pins that must keep
+  // firing when the exit names another card or none. `absent` is the live case.
+  const BATTERY19255 = 'H19/H26 label-transition unlock exit';
+  const LIVE_EXIT = 'Unlock-action: re-check #68 when label needs-user-decision absent';
+  const exitsOf = (body, comments) => unlockLabelExits({ body }, comments, REPO_OS).map((e) => `${e.key} ${e.label} ${e.state}`).join('|');
+  const exitCard = (body) => ({ ...waiting(75), body });
+  const h19exit = (card, targets, comments) => h19DeclaredExitFired(card, targets, comments, REPO_OS);
+  const ruled = tgt(68, ['pm:queue']);
+  const parked = tgt(68, ['needs-user-decision']);
+  b(BATTERY19255, 'exit reader: the live spelling names the card, the label and the state', exitsOf(LIVE_EXIT), 'objectstack-ai/objectstack#68 needs-user-decision absent');
+  b(BATTERY19255, 'exit reader: …and `present` is the same reader asked the other way', exitsOf('Unlock-action: re-check #987 when label pm:queue present'), 'objectstack-ai/objectstack#987 pm:queue present');
+  b(BATTERY19255, 'exit reader: a cross-repo card keeps its qualifier', exitsOf('Unlock-action: re-check objectstack-ai/objectos#68 when label needs-user-decision absent'), 'objectstack-ai/objectos#68 needs-user-decision absent');
+  b(BATTERY19255, 'exit reader: the decorated line is the same line (shared reader)', exitsOf(`- **\`${LIVE_EXIT}\`**`), 'objectstack-ai/objectstack#68 needs-user-decision absent');
+  b(BATTERY19255, 'exit reader: a backticked label is read bare', exitsOf('Unlock-action: re-check #68 when label `needs-user-decision` absent'), 'objectstack-ai/objectstack#68 needs-user-decision absent');
+  b(BATTERY19255, 'exit reader: trailing prose after the state word is tolerated', exitsOf(`${LIVE_EXIT} (the ruling lands)`), 'objectstack-ai/objectstack#68 needs-user-decision absent');
+  b(BATTERY19255, 'exit reader: the comment channel is read too', exitsOf('no line here', [LIVE_EXIT]), 'objectstack-ai/objectstack#68 needs-user-decision absent');
+  b(BATTERY19255, 'exit reader: two lines are two exits, in order', exitsOf(`${LIVE_EXIT}\nUnlock-action: re-check #987 when label pm:on-hold absent`).split('|').length, 2);
+  b(BATTERY19255, 'exit reader: ⛔ the PR-shaped value is not a label exit', exitsOf('Unlock-action: re-check PR #123'), '');
+  b(BATTERY19255, 'exit reader: ⛔ no state word, no exit', exitsOf('Unlock-action: re-check #68 when label needs-user-decision'), '');
+  b(BATTERY19255, 'exit reader: ⛔ …nor a state word outside the pair, in any case', exitsOf('Unlock-action: re-check #68 when label needs-user-decision removed\nUnlock-action: re-check #68 when label needs-user-decision Absent'), '');
+  b(BATTERY19255, 'exit reader: ⛔ a lowercase key is a line the machinery cannot see', exitsOf('unlock-action: re-check #68 when label needs-user-decision absent'), '');
+  b(BATTERY19255, 'exit reader: ⛔ a mid-sentence mention is prose', exitsOf(`seats write the ${LIVE_EXIT} line`), '');
+  b(BATTERY19255, 'exit reader: a missing issue does not crash', unlockLabelExits(undefined, undefined, REPO_OS).length, 0);
+  b(BATTERY19255, 'H19 exit: `absent` fires once the target no longer carries the label', typeof h19exit(exitCard(`Blocked-by: #68\n${LIVE_EXIT}`), [ruled]), 'string');
+  b(BATTERY19255, 'H19 exit: …and the row names the target, the label and the state', String(h19exit(exitCard(`Blocked-by: #68\n${LIVE_EXIT}`), [ruled])).includes('`#68` (`needs-user-decision` absent)'), true);
+  b(BATTERY19255, 'H19 exit: …and is report-only', String(h19exit(exitCard(`Blocked-by: #68\n${LIVE_EXIT}`), [ruled])).includes('never a label written from this script'), true);
+  b(BATTERY19255, 'H19 exit: ⛔ while the label is still on the target, nothing fires', h19exit(exitCard(`Blocked-by: #68\n${LIVE_EXIT}`), [parked]), null);
+  b(BATTERY19255, 'H19 exit: `present` fires when the target carries the label, and not before', typeof h19exit(exitCard('Blocked-by: #68\nUnlock-action: re-check #68 when label pm:queue present'), [ruled]) === 'string' && h19exit(exitCard('Blocked-by: #68\nUnlock-action: re-check #68 when label pm:queue present'), [parked]) === null, true);
+  b(BATTERY19255, 'H19 exit: a comment-borne exit fires too', typeof h19exit(exitCard('Blocked-by: #68'), [ruled], [LIVE_EXIT]), 'string');
+  b(BATTERY19255, 'H19 exit: ⛔ an exit naming a card this block does not wait on is silent', h19exit(exitCard(`Blocked-by: #987\n${LIVE_EXIT}`), [tgt(987, ['pm:queue'])]), null);
+  b(BATTERY19255, 'H19 exit: ⛔ a CLOSED target is H19\'s own leg and an unresolved one its UNJUDGED leg', h19exit(exitCard(`Blocked-by: #68\n${LIVE_EXIT}`), [{ ...ruled, state: 'closed' }, { ...tgt(68, null), state: 'unresolved', detail: 'HTTP 404' }]), null);
+  b(BATTERY19255, 'H19 exit: the label gate outranks a fired exit', h19exit({ ...exitCard(`Blocked-by: #68\n${LIVE_EXIT}`), labels: [{ name: 'pm:queue' }] }, [ruled]), null);
+  b(BATTERY19255, 'H26 stand-down: an exit naming the parked target silences the row, in either channel', h26BlockOnIndefiniteTarget(exitCard(`Blocked-by: #68\n${LIVE_EXIT}`), [parked]) === null && h26BlockOnIndefiniteTarget(exitCard('Blocked-by: #68'), [parked], [LIVE_EXIT]) === null, true);
+  b(BATTERY19255, 'H26 stand-down: ⛔ …but the two-argument call reads the body alone (a comment it was not handed is not read)', typeof h26BlockOnIndefiniteTarget(exitCard('Blocked-by: #68'), [parked]), 'string');
+  b(BATTERY19255, 'H26 stand-down: ⛔ an exit naming ANOTHER card leaves the row firing', typeof h26BlockOnIndefiniteTarget(exitCard('Blocked-by: #68\nUnlock-action: re-check #987 when label pm:on-hold absent'), [parked]), 'string');
+  b(BATTERY19255, 'H26 stand-down: ⛔ the PR-shaped value is no exit for a parked target, and the row names it as one nothing fires', h26row(exitCard('Blocked-by: #68\nUnlock-action: re-check PR #123'), [parked]).includes('already do (`re-check PR #123`)'), true);
+  b(BATTERY19255, 'H26 stand-down: two parked targets, one exit -> only the other is reported', h26row(exitCard(`Blocked-by: #68, #987\n${LIVE_EXIT}`), [parked, tgt(987, ['pm:on-hold'])]).includes('on 1 target(s)') && h26row(exitCard(`Blocked-by: #68, #987\n${LIVE_EXIT}`), [parked, tgt(987, ['pm:on-hold'])]).includes('`#987`'), true);
+  b(BATTERY19255, 'H26 remedy: the row without an exit prescribes the live spelling and the close', h26row(waiting(75), [parked]).includes('`Unlock-action: re-check #N when label needs-user-decision absent`') && h26row(waiting(75), [parked]).includes('close the waiting card `not planned`'), true);
+  b(BATTERY19255, 'H26 remedy: …says the other spellings fall back silently, and the chain leg carries none of it', h26row(waiting(75), [parked]).includes('falls back silently') && !h26row(waiting(1395), [tgt(10101, ['pm:blocked'])]).includes('⭐ The exit'), true);
+  b(BATTERY19255, '⭐ the pair: once the label leaves, H19 fires the exit and H26 is quiet', Boolean(h19exit(exitCard(`Blocked-by: #68\n${LIVE_EXIT}`), [ruled])) && h26BlockOnIndefiniteTarget(exitCard(`Blocked-by: #68\n${LIVE_EXIT}`), [ruled]) === null, true);
+  b(BATTERY19255, 'floor: the roster now declares SEVEN batteries, and this one is on it', SELF_TEST_BATTERY_FLOOR === 7 && Object.hasOwn(SELF_TEST_BATTERIES, BATTERY19255), true);
+
   // -- The UNGATED liveness read + H28: the stale body line (#11747) ----------
   //
   // The fixture is the measured card's RECORDED BYTE SHAPE, not a sketch: body
@@ -35443,7 +35579,7 @@ Doubles as the fire's **write self-check** (step 0). \`201\` is not the reading.
   // THE ROSTER — a floor that cannot be satisfied by a zero.
   b(BATTERY67, 'H67 floor: this battery is DECLARED on the roster', Object.prototype.hasOwnProperty.call(SELF_TEST_BATTERIES, BATTERY67), true);
   b(BATTERY67, 'H67 floor: …with a positive pin, so an empty battery cannot satisfy it', SELF_TEST_BATTERIES[BATTERY67] > 0, true);
-  b(BATTERY67, 'H67 floor: the roster grew again with #18664\'s battery, and the floor rose with it', SELF_TEST_BATTERY_FLOOR, 6);
+  b(BATTERY67, 'H67 floor: the roster grew again with #19255\'s battery, and the floor rose with it', SELF_TEST_BATTERY_FLOOR, 7);
   b(BATTERY67, 'H67 floor: …including the two batteries this row landed BESIDE, so neither side of the base merge silently dropped one', Object.prototype.hasOwnProperty.call(SELF_TEST_BATTERIES, 'H65 tier declaration spelling') && Object.prototype.hasOwnProperty.call(SELF_TEST_BATTERIES, 'H19 judged-set founding'), true);
   b(BATTERY67, 'H67 floor: …and the roster really carries at least that many', Object.keys(SELF_TEST_BATTERIES).length >= SELF_TEST_BATTERY_FLOOR, true);
 
@@ -35786,7 +35922,7 @@ Doubles as the fire's **write self-check** (step 0). \`201\` is not the reading.
   // FLOOR — this battery is declared, pinned, and the roster grew with it.
   b(BATTERY68, 'floor: this battery is DECLARED on the roster', Object.prototype.hasOwnProperty.call(SELF_TEST_BATTERIES, BATTERY68), true);
   b(BATTERY68, 'floor: …with a positive pin, so an empty battery cannot satisfy it', SELF_TEST_BATTERIES[BATTERY68] > 0, true);
-  b(BATTERY68, 'floor: the roster now declares SIX batteries, and the floor rose with it', SELF_TEST_BATTERY_FLOOR, 6);
+  b(BATTERY68, 'floor: the roster now declares SEVEN batteries, and the floor rose with it', SELF_TEST_BATTERY_FLOOR, 7);
   b(BATTERY68, 'floor: …including the four this battery landed BESIDE and the one that landed after it, so neither side of the base merge silently dropped one', ['H66 released queue card', 'H19 judged-set founding', 'H65 tier declaration spelling', 'H67 queued merged-delivery reading', 'ISSUE_BODY_LIMIT measured cap'].every((name) => Object.prototype.hasOwnProperty.call(SELF_TEST_BATTERIES, name)), true);
   b(BATTERY68, 'floor: …and the roster really carries at least that many', Object.keys(SELF_TEST_BATTERIES).length >= SELF_TEST_BATTERY_FLOOR, true);
 

From e38a8f8a2ed21c8bc88e19da736c40e8488cc5f3 Mon Sep 17 00:00:00 2001
From: os-dev <steve@objectstack.ai>
Date: Sun, 20 Sep 2026 11:13:01 +0000
Subject: [PATCH 2/2] =?UTF-8?q?feat(pm):=20second=20Unlock-action=20value?=
 =?UTF-8?q?=20=E2=80=94=20a=20label-transition=20exit=20on=20a=20named=20c?=
 =?UTF-8?q?ard?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

`Unlock-action: re-check #N when label <label> <absent|present>` joins the
closed set beside `re-check PR #M`. check-half-states.mjs is its first
reader: `unlockLabelExits` (both channels, the shared decorated-directive
reader), `h19DeclaredExitFired` (the unlock sweep's second exit, under H19,
on an OPEN resolved target whose label state matches), and H26 stands down
for a target the card gives such an exit, prescribes the spelling or the
close, and names the card's `Unlock-action:` lines that are not this exit —
the silent fallback made loud on the card. Battery 'H19/H26 label-transition
unlock exit' (11 cases, pin 10), roster floor 6 -> 7. The three prose
carriers rewritten in place, each under the 120-byte cap, net 0.

Co-authored-by: Claude <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_017ETYWqMQD4qMtZzAGovWNi
---
 scripts/pm/check-half-states.mjs | 145 ++++++++++---------------------
 1 file changed, 44 insertions(+), 101 deletions(-)

diff --git a/scripts/pm/check-half-states.mjs b/scripts/pm/check-half-states.mjs
index 221c7786206..2b93576c1e8 100644
--- a/scripts/pm/check-half-states.mjs
+++ b/scripts/pm/check-half-states.mjs
@@ -6839,61 +6839,43 @@ export function h31ContractReviewCarrierSplit(issue, openPrs) {
 // ---------------------------------------------------------------------------
 // The label-transition exit — the second `Unlock-action:` value (#19255).
 //
-// The unlock predicate is "the `Blocked-by:` target CLOSED", and the one rewrite
-// the state model admitted (`re-check PR #M`) was read by seats and by no script:
-// on `e3b3cdd` the key occurs in three prose lines and nowhere under `scripts/`.
-// So a block on a `needs-user-decision` / `pm:on-hold` target had no exit a
-// machine could fire (H26), and any other spelling of the line fell back to the
-// closed-target predicate in SILENCE. This is the second recognised value, and
-// its first reader: `re-check #N when label <label> <absent|present>` — the
-// CARD, the LABEL and the STATE tested on it (a state, not an event: a sweep
-// observes labels, never transitions; `absent` is the live case, the ruling
-// landing and `needs-user-decision` leaving the target). Same decorated reader
-// and both channels as `Blocked-by:`, judged on the resolutions H19/H26 already
-// hold — no request. ⛔ Every other spelling still falls back silently, by
-// ruling: the closed set IS the contract; what changed is that H26 says so.
+// The unlock predicate is "the `Blocked-by:` target CLOSED", and the one rewrite the state model admitted
+// (`re-check PR #M`) is read by seats and by no script — so a block on a `needs-user-decision` / `pm:on-hold`
+// target had no exit a machine could fire (H26), and any other spelling fell back to the closed predicate in
+// SILENCE. This value names the CARD, the LABEL and the STATE tested on it (a state, not an event: a sweep
+// observes labels, never transitions; `absent` is the live case — the ruling lands, `needs-user-decision` leaves
+// the target). ⛔ Every other spelling still falls back silently, by ruling: the closed set IS the contract.
 // ---------------------------------------------------------------------------
 
-/** The spelling, over one decoration-stripped value; trailing prose is tolerated. */
 const UNLOCK_LABEL_EXIT_RE =
   /^re-check[ \t]+(?:([A-Za-z0-9][A-Za-z0-9._-]*\/[A-Za-z0-9][A-Za-z0-9._-]*))?#([1-9]\d{0,5})[ \t]+when[ \t]+label[ \t]+`?([^\s`]+?)`?[ \t]+(absent|present)\b/;
-
-/** Every recognised label-transition exit a card declares — body, then comments — keyed like its targets. */
+/** Every `re-check #N when label <label> <absent|present>` exit a card declares (trailing prose tolerated), body then comments, keyed like its `Blocked-by:` targets. */
 export function unlockLabelExits(issue, commentBodies, ownerRepo = OWNER_REPO) {
   const out = [];
   for (const text of [issue?.body, ...(commentBodies ?? [])]) {
-    for (const value of directiveValues(text, 'Unlock-action')) {
-      const m = UNLOCK_LABEL_EXIT_RE.exec(value);
+    for (const m of directiveValues(text, 'Unlock-action').map((v) => UNLOCK_LABEL_EXIT_RE.exec(v))) {
       if (m) out.push({ ...blockerTargetKey({ repo: m[1] ?? null, number: m[2] }, ownerRepo), label: m[3], state: m[4] });
     }
   }
   return out;
 }
 
-/**
- * The unlock sweep's second exit, under H19 because it is H19's reading (what
- * the card said it waits for has happened): null unless a declared label exit
- * has COME TRUE on a resolved OPEN target, else the finding sentence. A closed
- * target is H19's own leg and an unresolved one its UNJUDGED leg — no target
- * reports twice under one id.
- */
+// The unlock sweep's second exit, under H19 because it is H19's reading (what the card waits for has happened): null
+// unless a declared label exit has COME TRUE on a resolved OPEN target — closed and unresolved ones are H19's own legs.
 export function h19DeclaredExitFired(issue, resolutions, commentBodies, ownerRepo = OWNER_REPO) {
   if (!needsBlockerLiveness(issue)) return null;
   const exits = unlockLabelExits(issue, commentBodies, ownerRepo);
-  const fired = (resolutions ?? []).flatMap((r) =>
-    r?.state === 'open' && Array.isArray(r.labels)
-      ? exits.filter((e) => e.key === r.key && (e.state === 'present') === r.labels.includes(e.label)).map((e) => ({ r, e }))
-      : [],
-  );
+  const fired = (resolutions ?? []).flatMap((r) => (r?.state !== 'open' || !Array.isArray(r.labels) ? [] :
+    exits.filter((e) => e.key === r.key && (e.state === 'present') === r.labels.includes(e.label)).map((e) => ({ r, e }))));
   if (fired.length === 0) return null;
   const named = fired.map(({ r, e }) => `\`${r.local ? `#${r.number}` : r.key}\` (\`${e.label}\` ${e.state})`).join(', ');
   return (
-    `\`pm:blocked\` while the label-transition exit its \`Unlock-action:\` line declares has COME TRUE on ${named}: ` +
-    'the target is open and the named label is in the state the line asked this sweep to test — the second ' +
-    'recognised `Unlock-action:` value (`re-check #N when label needs-user-decision absent` is the live spelling; ' +
-    'any label, `absent` or `present`, body or comment), the exit a block on a `needs-user-decision` / `pm:on-hold` ' +
-    'target can now hand a machine. Report-only: the release is the unlock sweep\'s, under the same two ' +
-    'double-checks (「放行双查」) and the same landed act as a closed target — ⛔ never a label written from this script.'
+    `\`pm:blocked\` while the label-transition exit its \`Unlock-action:\` line declares has COME TRUE on ${named}: the target ` +
+    'is open and the named label is in the state the line asked this sweep to test — the second recognised `Unlock-action:` ' +
+    'value (`re-check #N when label needs-user-decision absent` is the live spelling; any label, `absent` or `present`, body ' +
+    'or comment), the exit a block on a `needs-user-decision` / `pm:on-hold` target can now hand a machine. Report-only: the ' +
+    'release is the unlock sweep\'s, under the same two double-checks (「放行双查」) and the same landed act as a closed target — ' +
+    '⛔ never a label written from this script.'
   );
 }
 
@@ -6976,17 +6958,15 @@ export const INDEFINITE_TARGET_LABELS = ['pm:on-hold', 'needs-user-decision'];
  * @param {{ key: string, number: number, local: boolean,
  *   state: 'open'|'closed'|'unresolved', labels?: string[]|null }[]} resolutions
  */
-export function h26BlockOnIndefiniteTarget(issue, resolutions, commentBodies) {
+export function h26BlockOnIndefiniteTarget(issue, resolutions, commentBodies, ownerRepo = OWNER_REPO) {
   if (!needsBlockerLiveness(issue)) return null;
   const open = (resolutions ?? []).filter(
     (r) => r?.state === 'open' && Array.isArray(r.labels),
   );
   if (open.length === 0) return null;
 
-  // A target this card gives a label-transition exit for is not indefinite any
-  // more — the sweep can fire that exit (`h19DeclaredExitFired`) — so the row
-  // stands down for it; that is the whole point of the second value (#19255).
-  const exitKeys = new Set(unlockLabelExits(issue, commentBodies).map((e) => e.key));
+  // A target the card gives a label-transition exit for is not indefinite: the sweep can fire it, so the row stands down (#19255).
+  const exitKeys = new Set(unlockLabelExits(issue, commentBodies, ownerRepo).map((e) => e.key));
   const indefinite = open
     .map((r) => ({ row: r, states: INDEFINITE_TARGET_LABELS.filter((l) => r.labels.includes(l)) }))
     .filter((r) => r.states.length > 0 && !exitKeys.has(r.row.key));
@@ -7023,21 +7003,15 @@ export function h26BlockOnIndefiniteTarget(issue, resolutions, commentBodies) {
         'has to come from the target\'s own state changing (a ruling answered, a hold restarted) ' +
         'and someone has to want that.',
     );
-    // The remedy — the exit the state model now admits, or the close its sibling
-    // rule prescribes — and the silent fallback made loud, on the card (#19255).
-    const unread = [issue?.body, ...(commentBodies ?? [])]
-      .flatMap((t) => directiveValues(t, 'Unlock-action'))
-      .filter((v) => !UNLOCK_LABEL_EXIT_RE.test(v));
+    // The remedy — the exit the state model admits, or the close — and the silent fallback made loud on the card (#19255).
+    const unread = [issue?.body, ...(commentBodies ?? [])].flatMap((t) => directiveValues(t, 'Unlock-action')).filter((v) => !UNLOCK_LABEL_EXIT_RE.test(v));
     parts.push(
-      '⭐ The exit: write `Unlock-action: re-check #N when label needs-user-decision absent` (or `pm:on-hold absent` ' +
-        '— the second recognised value: the card, the label, and `absent`/`present`; body or comment) and this row ' +
-        'stands down for that target, because the unlock sweep can then fire the exit (H19 reports it the moment the ' +
-        'label state matches); or close the waiting card `not planned`, which is 「无机制可唤醒的卡 ⛔ 不 hold」 one ' +
-        'state over. ⛔ Any other spelling falls back silently, by ruling, and leaves this row firing' +
-        (unread.length === 0
-          ? '.'
-          : ` — as ${unread.length} \`Unlock-action:\` line(s) on this card already do (${unread.slice(0, 3).map((v) => `\`${v}\``).join(', ')}): ` +
-            'PR-shaped, or a spelling nothing reads.'),
+      '⭐ The exit: write `Unlock-action: re-check #N when label needs-user-decision absent` (or `pm:on-hold absent` — the second ' +
+        'recognised value: the card, the label, and `absent`/`present`; body or comment) and this row stands down for that target, ' +
+        'because the unlock sweep can then fire the exit (H19 reports it the moment the label state matches); or close the waiting ' +
+        'card `not planned`, which is 「无机制可唤醒的卡 ⛔ 不 hold」 one state over. ⛔ Any other spelling falls back silently, by ' +
+        `ruling, and leaves this row firing${unread.length === 0 ? '.' : ` — as ${unread.length} \`Unlock-action:\` line(s) on this ` +
+          `card already do (${unread.slice(0, 3).map((v) => `\`${v}\``).join(', ')}): PR-shaped, or a spelling nothing reads.`}`,
     );
   }
   if (chained.length > 0) {
@@ -24256,8 +24230,7 @@ async function sweepInto(findings, seen, seenPrs, seenMerged, seenUnscoped, seen
     if (unblockedByNothing) findings.push([issue, 'H4', unblockedByNothing]);
     const expired = h19BlockOutlivedBlocker(issue, resolutions);
     if (expired) findings.push([issue, 'H19', expired]);
-    // …and the same row's second exit: a declared label transition that has
-    // come true on an open target (#19255). Both can fire on one card.
+    // …and the same row's second exit: a declared label transition that came true on an open target (#19255).
     const exitFired = h19DeclaredExitFired(issue, resolutions, fallbackFor(issue));
     if (exitFired) findings.push([issue, 'H19', exitFired]);
     // H26 — the same resolutions, asked the OTHER question: not "has the target
@@ -24861,14 +24834,8 @@ export const SELF_TEST_BATTERIES = Object.freeze({
   // because a number with no provenance is what got re-derived from memory the
   // first time.
   'ISSUE_BODY_LIMIT measured cap': 52,
-  // Registered with the label-transition unlock exit (#19255); the pin sits just
-  // under the count on its neighbours' grounds. What this battery floors is a NEW
-  // EXIT beside a STAND-DOWN, so the firing controls (the live spelling in both
-  // states and both channels, the decorated line) sit next to the fallbacks (the
-  // PR-shaped value, a missing state word, a lowercase key) and the H26 pins that
-  // must keep firing when the exit names another card or none — a stand-down
-  // whose controls drift out of the suite is how a remedy becomes a silencer.
-  'H19/H26 label-transition unlock exit': 30,
+  // Registered with the label-transition unlock exit (#19255), pin just under the count: a NEW EXIT beside a STAND-DOWN.
+  'H19/H26 label-transition unlock exit': 10,
 });
 
 /** The floor on the ROSTER itself — how many batteries must be declared at all. */
@@ -30756,47 +30723,23 @@ async function selfTest() {
   const waitingBoth = { ...waiting(), body: 'Blocked-by: #900\nBlocked-by: #987' };
   t('H26 + H19: a partially expired, partially indefinite block fires both', Boolean(h19BlockOutlivedBlocker(waitingBoth, expiredAndIndefinite, REPO_OS)) && Boolean(h26BlockOnIndefiniteTarget(waitingBoth, expiredAndIndefinite)), true);
 
-  // -- The label-transition exit: the second `Unlock-action:` value (#19255) --
-  // Firing controls and fallbacks together, beside the H26 pins that must keep
-  // firing when the exit names another card or none. `absent` is the live case.
+  // -- The label-transition exit, the second `Unlock-action:` value (#19255): firing controls and fallbacks together --
   const BATTERY19255 = 'H19/H26 label-transition unlock exit';
   const LIVE_EXIT = 'Unlock-action: re-check #68 when label needs-user-decision absent';
   const exitsOf = (body, comments) => unlockLabelExits({ body }, comments, REPO_OS).map((e) => `${e.key} ${e.label} ${e.state}`).join('|');
   const exitCard = (body) => ({ ...waiting(75), body });
   const h19exit = (card, targets, comments) => h19DeclaredExitFired(card, targets, comments, REPO_OS);
-  const ruled = tgt(68, ['pm:queue']);
-  const parked = tgt(68, ['needs-user-decision']);
-  b(BATTERY19255, 'exit reader: the live spelling names the card, the label and the state', exitsOf(LIVE_EXIT), 'objectstack-ai/objectstack#68 needs-user-decision absent');
-  b(BATTERY19255, 'exit reader: …and `present` is the same reader asked the other way', exitsOf('Unlock-action: re-check #987 when label pm:queue present'), 'objectstack-ai/objectstack#987 pm:queue present');
-  b(BATTERY19255, 'exit reader: a cross-repo card keeps its qualifier', exitsOf('Unlock-action: re-check objectstack-ai/objectos#68 when label needs-user-decision absent'), 'objectstack-ai/objectos#68 needs-user-decision absent');
-  b(BATTERY19255, 'exit reader: the decorated line is the same line (shared reader)', exitsOf(`- **\`${LIVE_EXIT}\`**`), 'objectstack-ai/objectstack#68 needs-user-decision absent');
-  b(BATTERY19255, 'exit reader: a backticked label is read bare', exitsOf('Unlock-action: re-check #68 when label `needs-user-decision` absent'), 'objectstack-ai/objectstack#68 needs-user-decision absent');
-  b(BATTERY19255, 'exit reader: trailing prose after the state word is tolerated', exitsOf(`${LIVE_EXIT} (the ruling lands)`), 'objectstack-ai/objectstack#68 needs-user-decision absent');
-  b(BATTERY19255, 'exit reader: the comment channel is read too', exitsOf('no line here', [LIVE_EXIT]), 'objectstack-ai/objectstack#68 needs-user-decision absent');
-  b(BATTERY19255, 'exit reader: two lines are two exits, in order', exitsOf(`${LIVE_EXIT}\nUnlock-action: re-check #987 when label pm:on-hold absent`).split('|').length, 2);
-  b(BATTERY19255, 'exit reader: ⛔ the PR-shaped value is not a label exit', exitsOf('Unlock-action: re-check PR #123'), '');
-  b(BATTERY19255, 'exit reader: ⛔ no state word, no exit', exitsOf('Unlock-action: re-check #68 when label needs-user-decision'), '');
-  b(BATTERY19255, 'exit reader: ⛔ …nor a state word outside the pair, in any case', exitsOf('Unlock-action: re-check #68 when label needs-user-decision removed\nUnlock-action: re-check #68 when label needs-user-decision Absent'), '');
-  b(BATTERY19255, 'exit reader: ⛔ a lowercase key is a line the machinery cannot see', exitsOf('unlock-action: re-check #68 when label needs-user-decision absent'), '');
-  b(BATTERY19255, 'exit reader: ⛔ a mid-sentence mention is prose', exitsOf(`seats write the ${LIVE_EXIT} line`), '');
-  b(BATTERY19255, 'exit reader: a missing issue does not crash', unlockLabelExits(undefined, undefined, REPO_OS).length, 0);
-  b(BATTERY19255, 'H19 exit: `absent` fires once the target no longer carries the label', typeof h19exit(exitCard(`Blocked-by: #68\n${LIVE_EXIT}`), [ruled]), 'string');
-  b(BATTERY19255, 'H19 exit: …and the row names the target, the label and the state', String(h19exit(exitCard(`Blocked-by: #68\n${LIVE_EXIT}`), [ruled])).includes('`#68` (`needs-user-decision` absent)'), true);
-  b(BATTERY19255, 'H19 exit: …and is report-only', String(h19exit(exitCard(`Blocked-by: #68\n${LIVE_EXIT}`), [ruled])).includes('never a label written from this script'), true);
-  b(BATTERY19255, 'H19 exit: ⛔ while the label is still on the target, nothing fires', h19exit(exitCard(`Blocked-by: #68\n${LIVE_EXIT}`), [parked]), null);
-  b(BATTERY19255, 'H19 exit: `present` fires when the target carries the label, and not before', typeof h19exit(exitCard('Blocked-by: #68\nUnlock-action: re-check #68 when label pm:queue present'), [ruled]) === 'string' && h19exit(exitCard('Blocked-by: #68\nUnlock-action: re-check #68 when label pm:queue present'), [parked]) === null, true);
-  b(BATTERY19255, 'H19 exit: a comment-borne exit fires too', typeof h19exit(exitCard('Blocked-by: #68'), [ruled], [LIVE_EXIT]), 'string');
-  b(BATTERY19255, 'H19 exit: ⛔ an exit naming a card this block does not wait on is silent', h19exit(exitCard(`Blocked-by: #987\n${LIVE_EXIT}`), [tgt(987, ['pm:queue'])]), null);
-  b(BATTERY19255, 'H19 exit: ⛔ a CLOSED target is H19\'s own leg and an unresolved one its UNJUDGED leg', h19exit(exitCard(`Blocked-by: #68\n${LIVE_EXIT}`), [{ ...ruled, state: 'closed' }, { ...tgt(68, null), state: 'unresolved', detail: 'HTTP 404' }]), null);
-  b(BATTERY19255, 'H19 exit: the label gate outranks a fired exit', h19exit({ ...exitCard(`Blocked-by: #68\n${LIVE_EXIT}`), labels: [{ name: 'pm:queue' }] }, [ruled]), null);
-  b(BATTERY19255, 'H26 stand-down: an exit naming the parked target silences the row, in either channel', h26BlockOnIndefiniteTarget(exitCard(`Blocked-by: #68\n${LIVE_EXIT}`), [parked]) === null && h26BlockOnIndefiniteTarget(exitCard('Blocked-by: #68'), [parked], [LIVE_EXIT]) === null, true);
-  b(BATTERY19255, 'H26 stand-down: ⛔ …but the two-argument call reads the body alone (a comment it was not handed is not read)', typeof h26BlockOnIndefiniteTarget(exitCard('Blocked-by: #68'), [parked]), 'string');
-  b(BATTERY19255, 'H26 stand-down: ⛔ an exit naming ANOTHER card leaves the row firing', typeof h26BlockOnIndefiniteTarget(exitCard('Blocked-by: #68\nUnlock-action: re-check #987 when label pm:on-hold absent'), [parked]), 'string');
-  b(BATTERY19255, 'H26 stand-down: ⛔ the PR-shaped value is no exit for a parked target, and the row names it as one nothing fires', h26row(exitCard('Blocked-by: #68\nUnlock-action: re-check PR #123'), [parked]).includes('already do (`re-check PR #123`)'), true);
-  b(BATTERY19255, 'H26 stand-down: two parked targets, one exit -> only the other is reported', h26row(exitCard(`Blocked-by: #68, #987\n${LIVE_EXIT}`), [parked, tgt(987, ['pm:on-hold'])]).includes('on 1 target(s)') && h26row(exitCard(`Blocked-by: #68, #987\n${LIVE_EXIT}`), [parked, tgt(987, ['pm:on-hold'])]).includes('`#987`'), true);
-  b(BATTERY19255, 'H26 remedy: the row without an exit prescribes the live spelling and the close', h26row(waiting(75), [parked]).includes('`Unlock-action: re-check #N when label needs-user-decision absent`') && h26row(waiting(75), [parked]).includes('close the waiting card `not planned`'), true);
-  b(BATTERY19255, 'H26 remedy: …says the other spellings fall back silently, and the chain leg carries none of it', h26row(waiting(75), [parked]).includes('falls back silently') && !h26row(waiting(1395), [tgt(10101, ['pm:blocked'])]).includes('⭐ The exit'), true);
-  b(BATTERY19255, '⭐ the pair: once the label leaves, H19 fires the exit and H26 is quiet', Boolean(h19exit(exitCard(`Blocked-by: #68\n${LIVE_EXIT}`), [ruled])) && h26BlockOnIndefiniteTarget(exitCard(`Blocked-by: #68\n${LIVE_EXIT}`), [ruled]) === null, true);
+  const [ruled, parked] = [tgt(68, ['pm:queue']), tgt(68, ['needs-user-decision'])];
+  b(BATTERY19255, 'exit reader: the live spelling names the card, the label and the state, in either channel', [exitsOf(LIVE_EXIT), exitsOf('no line here', [LIVE_EXIT])].join(), 'objectstack-ai/objectstack#68 needs-user-decision absent,objectstack-ai/objectstack#68 needs-user-decision absent');
+  b(BATTERY19255, 'exit reader: `present` is the same reader the other way, a cross-repo card keeps its qualifier, two lines are two exits in order', exitsOf('Unlock-action: re-check #987 when label pm:queue present\nUnlock-action: re-check objectstack-ai/objectos#68 when label needs-user-decision absent'), 'objectstack-ai/objectstack#987 pm:queue present|objectstack-ai/objectos#68 needs-user-decision absent');
+  b(BATTERY19255, 'exit reader: a decorated line, a backticked label and trailing prose are all the same line (shared reader)', exitsOf('- **`Unlock-action: re-check #68 when label `needs-user-decision` absent (the ruling lands)`**'), 'objectstack-ai/objectstack#68 needs-user-decision absent');
+  b(BATTERY19255, 'exit reader: ⛔ the closed set — PR-shaped, no state word, a word outside the pair, the pair in another case, a lowercase key and a mid-sentence mention all fall back; a missing issue does not crash', exitsOf(`Unlock-action: re-check PR #123\nUnlock-action: re-check #68 when label needs-user-decision\nUnlock-action: re-check #68 when label needs-user-decision removed\nUnlock-action: re-check #68 when label needs-user-decision Absent\nunlock-action: re-check #68 when label needs-user-decision absent\nseats write the ${LIVE_EXIT} line`) + unlockLabelExits(undefined, undefined, REPO_OS).length, '0');
+  b(BATTERY19255, 'H19 exit: `absent` fires once the target no longer carries the label, names the target, the label and the state, and is report-only', [typeof h19exit(exitCard(`Blocked-by: #68\n${LIVE_EXIT}`), [ruled]), String(h19exit(exitCard(`Blocked-by: #68\n${LIVE_EXIT}`), [ruled])).includes('`#68` (`needs-user-decision` absent)'), String(h19exit(exitCard(`Blocked-by: #68\n${LIVE_EXIT}`), [ruled])).includes('never a label written from this script')].join(), 'string,true,true');
+  b(BATTERY19255, 'H19 exit: ⛔ silent while the label is still on the target, on a card the block does not wait on, on a CLOSED or unresolved target (H19\'s own legs), and past the label gate', [h19exit(exitCard(`Blocked-by: #68\n${LIVE_EXIT}`), [parked]), h19exit(exitCard(`Blocked-by: #987\n${LIVE_EXIT}`), [tgt(987, ['pm:queue'])]), h19exit(exitCard(`Blocked-by: #68\n${LIVE_EXIT}`), [{ ...ruled, state: 'closed' }, { ...tgt(68, null), state: 'unresolved', detail: 'HTTP 404' }]), h19exit({ ...exitCard(`Blocked-by: #68\n${LIVE_EXIT}`), labels: [{ name: 'pm:queue' }] }, [ruled])].every((v) => v === null), true);
+  b(BATTERY19255, 'H19 exit: `present` fires when the target carries the label and not before; a comment-borne exit fires too', [typeof h19exit(exitCard('Blocked-by: #68\nUnlock-action: re-check #68 when label pm:queue present'), [ruled]), h19exit(exitCard('Blocked-by: #68\nUnlock-action: re-check #68 when label pm:queue present'), [parked]), typeof h19exit(exitCard('Blocked-by: #68'), [ruled], [LIVE_EXIT])].join(), 'string,,string');
+  b(BATTERY19255, '⭐ H26 stand-down: an exit naming the parked target silences the row in either channel — and once the label leaves, H19 fires the exit while H26 stays quiet', [h26row(exitCard(`Blocked-by: #68\n${LIVE_EXIT}`), [parked], undefined, REPO_OS), h26row(exitCard('Blocked-by: #68'), [parked], [LIVE_EXIT], REPO_OS), h26row(exitCard(`Blocked-by: #68\n${LIVE_EXIT}`), [ruled], undefined, REPO_OS)].every((v) => v === '') && typeof h19exit(exitCard(`Blocked-by: #68\n${LIVE_EXIT}`), [ruled]) === 'string', true);
+  b(BATTERY19255, 'H26 stand-down: ⛔ a comment it was not handed is not read; an exit naming ANOTHER card, or the PR-shaped value, leaves the row firing and the latter is named as a line nothing fires; two parked targets with one exit report only the other', [h26row(exitCard('Blocked-by: #68'), [parked], undefined, REPO_OS) !== '', h26row(exitCard('Blocked-by: #68\nUnlock-action: re-check #987 when label pm:on-hold absent'), [parked], undefined, REPO_OS) !== '', h26row(exitCard('Blocked-by: #68\nUnlock-action: re-check PR #123'), [parked], undefined, REPO_OS).includes('already do (`re-check PR #123`)'), h26row(exitCard(`Blocked-by: #68, #987\n${LIVE_EXIT}`), [parked, tgt(987, ['pm:on-hold'])], undefined, REPO_OS).includes('on 1 target(s)'), h26row(exitCard(`Blocked-by: #68, #987\n${LIVE_EXIT}`), [parked, tgt(987, ['pm:on-hold'])], undefined, REPO_OS).includes('`#987`')].join(), 'true,true,true,true,true');
+  b(BATTERY19255, 'H26 remedy: the row without an exit prescribes the live spelling and the close, says other spellings fall back silently, and the chain leg carries none of it', [h26row(waiting(75), [parked]).includes('`Unlock-action: re-check #N when label needs-user-decision absent`'), h26row(waiting(75), [parked]).includes('close the waiting card `not planned`'), h26row(waiting(75), [parked]).includes('falls back silently'), h26row(waiting(1395), [tgt(10101, ['pm:blocked'])]).includes('⭐ The exit')].join(), 'true,true,true,false');
   b(BATTERY19255, 'floor: the roster now declares SEVEN batteries, and this one is on it', SELF_TEST_BATTERY_FLOOR === 7 && Object.hasOwn(SELF_TEST_BATTERIES, BATTERY19255), true);
 
   // -- The UNGATED liveness read + H28: the stale body line (#11747) ----------