fix(pm): H19's summary clause ends its own sentence#13677

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
zhuangjianguo merged 1 commit into from
Aug 31, 2026
Merged

fix(pm): H19's summary clause ends its own sentence #13677

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
53 changes: 50 additions & 3 deletions scripts/pm/check-half-states.mjs
View file
Open in desktop
Original file line numberDiff line numberDiff line change
Expand Up@@ -7359,14 +7359,27 @@ export function summaryLine(counts, findingCount) {
'false — 199 rows were trimmed and not one rendered row carried an unresolved target)'
: ''
}` +
// #13650: this terminator is UNCONDITIONAL, and belongs to the CLAUSE
// rather than to either optional branch below. It used to exist only inside
// the cross-repo branch, so the single rendering that ended this sentence
// was the one where an unrelated optional probe happened to fire. On an
// ordinary healthy pass — no shortfall AND no probe, the common case — the
// clause stopped at `card(s)` and a lone space joined it straight onto
// H20's lead-in, which the live 2026-08-31 patrol rendered as
// `…card(s) Dispatch liveness (H20 + H27): …`: two disclosures read as one,
// with the boundary findable only by a reader who already knows the row
// inventory. Each optional branch now contributes ONLY its own text, which
// is what keeps the terminator independent of whether they fire — a branch
// carrying the sentence's end is how the two clauses ran together.
'. ' +
`${
crossRepoProbed > 0
? `Cross-repo reachability was measured directly on ${crossRepoProbed} sibling repo(s), of which ` +
? `Cross-repo reachability was measured directly on ${crossRepoProbed} sibling repo(s), of which ` +
`${crossRepoUnreadable} do(es) not answer this credential — those targets are unjudgeable by ` +
'ruling (each install reads its own repo with its own repo-scoped token) and ⛔ no re-run ' +
'resolves them.'
'resolves them.'
: ''
}` +
}` +
`Dispatch liveness (H20 + H27): remote branch read on ${refRead} of ${refTargets} distinct claimed ` +
`branch(es) named by open \`pm:dispatched\` card(s) past the ${DISPATCHED_NO_REF_STALE_MINUTES}-minute ` +
`threshold — one read serving both rows, so H27's ${DEAD_CLAIM_STALE_HOURS}h population is a subset ` +
Expand DownExpand Up@@ -13057,6 +13070,40 @@ function selfTest() {
t('summary: no probes taken -> no cross-repo clause at all', saidBy('h19Blockers', summaryLine(xCounts(0, 0), 1)).includes('sibling repo(s)'), false);
t('summary: absent cross-repo counts degrade to 0, never to undefined', saidBy('h19Blockers', summaryLine(counts, 0)).includes('undefined'), false);

// -- H19 terminates its OWN sentence, on every shape (#13650) ---------------
//
// The `. ` every other clause on this line ends with used to exist only
// inside the cross-repo branch above, so the ONE rendering that terminated
// H19 was the one where an unrelated optional probe happened to fire. On an
// ordinary healthy pass — no shortfall AND no probe — the clause stopped at
// `card(s)` and a lone space joined it onto H20's lead-in, which the live
// 2026-08-31 patrol rendered as `…card(s) Dispatch liveness (H20 + H27): …`.
//
// ⚠️ Why the neighbouring `endsWith('not a gate verdict.')` cases could not
// catch it: those pin where the SENTENCE ends, which is H37's business. This
// is a claim about where H19's clause ends, and only the scoped extractor can
// make it. All four shapes are pinned rather than one, because the defect WAS
// that the shapes disagreed — a pin on the probe shape alone would have been
// green throughout the entire life of the bug.
const h19Terminated = (c) => saidBy('h19Blockers', summaryLine(c, 1)).endsWith('. ');
t('#13650: H19 ends its sentence on a healthy pass (no shortfall, no probe)', h19Terminated(btCounts2(28, 28)), true);
t('#13650: …and on a shortfall pass', h19Terminated(btCounts2(25, 28)), true);
t('#13650: …and on a cross-repo probe pass', h19Terminated(btCounts2(28, 28, { crossRepoProbed: 2, crossRepoUnreadable: 1 })), true);
t('#13650: …and when BOTH optional branches fire', h19Terminated(xCounts(2, 1)), true);
// The other half of the fix, and the way it would most plausibly be got
// wrong: the probe branch already ended in a period of its own, so a
// terminator appended AFTER it renders `resolves them.. ` — which satisfies
// every `endsWith('. ')` case above while reading as a typo in the report.
t('#13650: the probe shape does not double the period', saidBy('h19Blockers', summaryLine(xCounts(2, 1), 1)).includes('.. '), false);
t('#13650: …and the probe branch closes the clause exactly once', saidBy('h19Blockers', summaryLine(xCounts(2, 1), 1)).endsWith('no re-run resolves them. '), true);
// Kept WHOLE-LINE on purpose, both of them: this is a claim about the
// boundary BETWEEN two clauses, so there is no single window to scope it to —
// the adjacency is the thing being asserted. It is safe from #13629's defect
// because no neighbour can manufacture this pairing: `card(s) ` is H19's last
// text and the H20 anchor is H20's first.
t('#13650: H20\'s clause is no longer joined onto H19\'s population', summaryLine(btCounts2(28, 28), 1).includes('card(s) Dispatch liveness'), false);
t('#13650: …and the rendered boundary reads as two sentences', summaryLine(btCounts2(28, 28), 1).includes('card(s). Dispatch liveness (H20 + H27)'), true);

// -- H32's seat coverage pair (#11706) -------------------------------------
const seatCounts = (seatMarkersRead, seatCandidates) => ({ ...counts, seatMarkersRead, seatCandidates });
t('summary: the H32 seat pair is reported', saidBy('h32Seats', summaryLine(seatCounts(6, 6), 1)).includes('marker thread read on 6 of 6 HELD seat post(s)'), true);
Expand Down
Loading
, 'i'); if (__m === '*' || __re.test(location.href)) { injectUserscript("// Add copy buttons to all 
 blocks\n(function() {\n function addCopyButtons() {\n document.querySelectorAll('pre code').forEach(function(codeBlock) {\n if (codeBlock.parentElement.hasAttribute('data-copy-added')) return;\n codeBlock.parentElement.setAttribute('data-copy-added', 'true');\n \n var btn = document.createElement('button');\n btn.textContent = 'Copy';\n btn.style.cssText = 'position:absolute;top:4px;right:4px;padding:2px 8px;font-size:11px;background:#4ecdc4;border:none;border-radius:4px;color:#1a1a2e;cursor:pointer;opacity:0.7;transition:opacity 0.2s;';\n btn.onmouseover = function() { this.style.opacity = '1'; };\n btn.onmouseout = function() { this.style.opacity = '0.7'; };\n btn.onclick = function() {\n navigator.clipboard.writeText(codeBlock.textContent).then(function() {\n btn.textContent = 'Copied!';\n setTimeout(function() { btn.textContent = 'Copy'; }, 1500);\n });\n };\n codeBlock.parentElement.style.position = 'relative';\n codeBlock.parentElement.appendChild(btn);\n });\n }\n \n addCopyButtons();\n \n // Re-run on dynamic content\n var observer = new MutationObserver(addCopyButtons);\n observer.observe(document.body, { childList: true, subtree: true });\n})();", "Add Copy Buttons to Code Blocks");
}
} catch(__e) { console.warn('[Userscript:Add Copy Buttons to Code Blocks]', __e); }
})();
(function(){
try {
var __m = "github.com";
var __re = new RegExp('^' + "github\\.com" + '

Skip to content
fix(pm): H19's summary clause ends its own sentence#13677

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

 Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and
privacy statement. We’ll occasionally send you account related emails.

Already on GitHub?
Sign in
to your account

 Merged

zhuangjianguo
merged 1 commit into

from

Aug 31, 2026
 Merged


fix(pm): H19's summary clause ends its own sentence
#13677
 Changes from all commits
Commits

Show all changes


1 commit


Select commit


File filter

Filter by extension
Filter by extension
Conversations

Failed to load comments. 
Loading
Jump to

Jump to file


Failed to load files. 
Loading
 Diff view

 Diff view


53 changes: 50 additions & 3 deletions
scripts/pm/check-half-states.mjs

View file


Open in desktop

Original file line numberDiff line numberDiff line change
Expand Up@@ -7359,14 +7359,27 @@ export function summaryLine(counts, findingCount) {
 'false — 199 rows were trimmed and not one rendered row carried an unresolved target)'
 : ''
 }` +
 // #13650: this terminator is UNCONDITIONAL, and belongs to the CLAUSE
 // rather than to either optional branch below. It used to exist only inside
 // the cross-repo branch, so the single rendering that ended this sentence
 // was the one where an unrelated optional probe happened to fire. On an
 // ordinary healthy pass — no shortfall AND no probe, the common case — the
 // clause stopped at `card(s)` and a lone space joined it straight onto
 // H20's lead-in, which the live 2026-08-31 patrol rendered as
 // `…card(s) Dispatch liveness (H20 + H27): …`: two disclosures read as one,
 // with the boundary findable only by a reader who already knows the row
 // inventory. Each optional branch now contributes ONLY its own text, which
 // is what keeps the terminator independent of whether they fire — a branch
 // carrying the sentence's end is how the two clauses ran together.
 '. ' +
 `${
 crossRepoProbed > 0
 ? `Cross-repo reachability was measured directly on ${crossRepoProbed} sibling repo(s), of which ` +
 ? `Cross-repo reachability was measured directly on ${crossRepoProbed} sibling repo(s), of which ` +
 `${crossRepoUnreadable} do(es) not answer this credential — those targets are unjudgeable by ` +
 'ruling (each install reads its own repo with its own repo-scoped token) and ⛔ no re-run ' +
 'resolves them.'
 'resolves them.'
 : ''
 }` +
 }` +
 `Dispatch liveness (H20 + H27): remote branch read on ${refRead} of ${refTargets} distinct claimed ` +
 `branch(es) named by open \`pm:dispatched\` card(s) past the ${DISPATCHED_NO_REF_STALE_MINUTES}-minute ` +
 `threshold — one read serving both rows, so H27's ${DEAD_CLAIM_STALE_HOURS}h population is a subset ` +
Expand DownExpand Up@@ -13057,6 +13070,40 @@ function selfTest() {
 t('summary: no probes taken -> no cross-repo clause at all', saidBy('h19Blockers', summaryLine(xCounts(0, 0), 1)).includes('sibling repo(s)'), false);
 t('summary: absent cross-repo counts degrade to 0, never to undefined', saidBy('h19Blockers', summaryLine(counts, 0)).includes('undefined'), false);

 // -- H19 terminates its OWN sentence, on every shape (#13650) ---------------
 //
 // The `. ` every other clause on this line ends with used to exist only
 // inside the cross-repo branch above, so the ONE rendering that terminated
 // H19 was the one where an unrelated optional probe happened to fire. On an
 // ordinary healthy pass — no shortfall AND no probe — the clause stopped at
 // `card(s)` and a lone space joined it onto H20's lead-in, which the live
 // 2026-08-31 patrol rendered as `…card(s) Dispatch liveness (H20 + H27): …`.
 //
 // ⚠️ Why the neighbouring `endsWith('not a gate verdict.')` cases could not
 // catch it: those pin where the SENTENCE ends, which is H37's business. This
 // is a claim about where H19's clause ends, and only the scoped extractor can
 // make it. All four shapes are pinned rather than one, because the defect WAS
 // that the shapes disagreed — a pin on the probe shape alone would have been
 // green throughout the entire life of the bug.
 const h19Terminated = (c) => saidBy('h19Blockers', summaryLine(c, 1)).endsWith('. ');
 t('#13650: H19 ends its sentence on a healthy pass (no shortfall, no probe)', h19Terminated(btCounts2(28, 28)), true);
 t('#13650: …and on a shortfall pass', h19Terminated(btCounts2(25, 28)), true);
 t('#13650: …and on a cross-repo probe pass', h19Terminated(btCounts2(28, 28, { crossRepoProbed: 2, crossRepoUnreadable: 1 })), true);
 t('#13650: …and when BOTH optional branches fire', h19Terminated(xCounts(2, 1)), true);
 // The other half of the fix, and the way it would most plausibly be got
 // wrong: the probe branch already ended in a period of its own, so a
 // terminator appended AFTER it renders `resolves them.. ` — which satisfies
 // every `endsWith('. ')` case above while reading as a typo in the report.
 t('#13650: the probe shape does not double the period', saidBy('h19Blockers', summaryLine(xCounts(2, 1), 1)).includes('.. '), false);
 t('#13650: …and the probe branch closes the clause exactly once', saidBy('h19Blockers', summaryLine(xCounts(2, 1), 1)).endsWith('no re-run resolves them. '), true);
 // Kept WHOLE-LINE on purpose, both of them: this is a claim about the
 // boundary BETWEEN two clauses, so there is no single window to scope it to —
 // the adjacency is the thing being asserted. It is safe from #13629's defect
 // because no neighbour can manufacture this pairing: `card(s) ` is H19's last
 // text and the H20 anchor is H20's first.
 t('#13650: H20\'s clause is no longer joined onto H19\'s population', summaryLine(btCounts2(28, 28), 1).includes('card(s) Dispatch liveness'), false);
 t('#13650: …and the rendered boundary reads as two sentences', summaryLine(btCounts2(28, 28), 1).includes('card(s). Dispatch liveness (H20 + H27)'), true);

 // -- H32's seat coverage pair (#11706) -------------------------------------
 const seatCounts = (seatMarkersRead, seatCandidates) => ({ ...counts, seatMarkersRead, seatCandidates });
 t('summary: the H32 seat pair is reported', saidBy('h32Seats', summaryLine(seatCounts(6, 6), 1)).includes('marker thread read on 6 of 6 HELD seat post(s)'), true);
Expand Down
Loading

, 'i');
if (__m === '*' || __re.test(location.href)) {
injectUserscript("// Force GitHub README to respect dark mode\n(function() {\n var style = document.createElement('style');\n style.textContent = '\n .markdown-body {\n color-scheme: dark light;\n }\n .markdown-body pre { background: #161b22 !important; }\n .markdown-body code { background: rgba(110, 118, 129, 0.4) !important; }\n .markdown-body table th, .markdown-body table td { border-color: #30363d !important; }\n .markdown-body img { background: #0d1117; }\n .markdown-body blockquote { border-left-color: #8b949e; }\n .markdown-body hr { border-color: #30363d; }\n ';\n document.head.appendChild(style);\n})();", "GitHub Dark Mode README Fix");
}
} catch(__e) { console.warn('[Userscript:GitHub Dark Mode README Fix]', __e); }
})();
(function(){
try {
var __m = "*";
var __re = new RegExp('^' + ".*" + '

Skip to content
fix(pm): H19's summary clause ends its own sentence#13677

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

 Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and
privacy statement. We’ll occasionally send you account related emails.

Already on GitHub?
Sign in
to your account

 Merged

zhuangjianguo
merged 1 commit into

from

Aug 31, 2026
 Merged


fix(pm): H19's summary clause ends its own sentence
#13677
 Changes from all commits
Commits

Show all changes


1 commit


Select commit


File filter

Filter by extension
Filter by extension
Conversations

Failed to load comments. 
Loading
Jump to

Jump to file


Failed to load files. 
Loading
 Diff view

 Diff view


53 changes: 50 additions & 3 deletions
scripts/pm/check-half-states.mjs

View file


Open in desktop

Original file line numberDiff line numberDiff line change
Expand Up@@ -7359,14 +7359,27 @@ export function summaryLine(counts, findingCount) {
 'false — 199 rows were trimmed and not one rendered row carried an unresolved target)'
 : ''
 }` +
 // #13650: this terminator is UNCONDITIONAL, and belongs to the CLAUSE
 // rather than to either optional branch below. It used to exist only inside
 // the cross-repo branch, so the single rendering that ended this sentence
 // was the one where an unrelated optional probe happened to fire. On an
 // ordinary healthy pass — no shortfall AND no probe, the common case — the
 // clause stopped at `card(s)` and a lone space joined it straight onto
 // H20's lead-in, which the live 2026-08-31 patrol rendered as
 // `…card(s) Dispatch liveness (H20 + H27): …`: two disclosures read as one,
 // with the boundary findable only by a reader who already knows the row
 // inventory. Each optional branch now contributes ONLY its own text, which
 // is what keeps the terminator independent of whether they fire — a branch
 // carrying the sentence's end is how the two clauses ran together.
 '. ' +
 `${
 crossRepoProbed > 0
 ? `Cross-repo reachability was measured directly on ${crossRepoProbed} sibling repo(s), of which ` +
 ? `Cross-repo reachability was measured directly on ${crossRepoProbed} sibling repo(s), of which ` +
 `${crossRepoUnreadable} do(es) not answer this credential — those targets are unjudgeable by ` +
 'ruling (each install reads its own repo with its own repo-scoped token) and ⛔ no re-run ' +
 'resolves them.'
 'resolves them.'
 : ''
 }` +
 }` +
 `Dispatch liveness (H20 + H27): remote branch read on ${refRead} of ${refTargets} distinct claimed ` +
 `branch(es) named by open \`pm:dispatched\` card(s) past the ${DISPATCHED_NO_REF_STALE_MINUTES}-minute ` +
 `threshold — one read serving both rows, so H27's ${DEAD_CLAIM_STALE_HOURS}h population is a subset ` +
Expand DownExpand Up@@ -13057,6 +13070,40 @@ function selfTest() {
 t('summary: no probes taken -> no cross-repo clause at all', saidBy('h19Blockers', summaryLine(xCounts(0, 0), 1)).includes('sibling repo(s)'), false);
 t('summary: absent cross-repo counts degrade to 0, never to undefined', saidBy('h19Blockers', summaryLine(counts, 0)).includes('undefined'), false);

 // -- H19 terminates its OWN sentence, on every shape (#13650) ---------------
 //
 // The `. ` every other clause on this line ends with used to exist only
 // inside the cross-repo branch above, so the ONE rendering that terminated
 // H19 was the one where an unrelated optional probe happened to fire. On an
 // ordinary healthy pass — no shortfall AND no probe — the clause stopped at
 // `card(s)` and a lone space joined it onto H20's lead-in, which the live
 // 2026-08-31 patrol rendered as `…card(s) Dispatch liveness (H20 + H27): …`.
 //
 // ⚠️ Why the neighbouring `endsWith('not a gate verdict.')` cases could not
 // catch it: those pin where the SENTENCE ends, which is H37's business. This
 // is a claim about where H19's clause ends, and only the scoped extractor can
 // make it. All four shapes are pinned rather than one, because the defect WAS
 // that the shapes disagreed — a pin on the probe shape alone would have been
 // green throughout the entire life of the bug.
 const h19Terminated = (c) => saidBy('h19Blockers', summaryLine(c, 1)).endsWith('. ');
 t('#13650: H19 ends its sentence on a healthy pass (no shortfall, no probe)', h19Terminated(btCounts2(28, 28)), true);
 t('#13650: …and on a shortfall pass', h19Terminated(btCounts2(25, 28)), true);
 t('#13650: …and on a cross-repo probe pass', h19Terminated(btCounts2(28, 28, { crossRepoProbed: 2, crossRepoUnreadable: 1 })), true);
 t('#13650: …and when BOTH optional branches fire', h19Terminated(xCounts(2, 1)), true);
 // The other half of the fix, and the way it would most plausibly be got
 // wrong: the probe branch already ended in a period of its own, so a
 // terminator appended AFTER it renders `resolves them.. ` — which satisfies
 // every `endsWith('. ')` case above while reading as a typo in the report.
 t('#13650: the probe shape does not double the period', saidBy('h19Blockers', summaryLine(xCounts(2, 1), 1)).includes('.. '), false);
 t('#13650: …and the probe branch closes the clause exactly once', saidBy('h19Blockers', summaryLine(xCounts(2, 1), 1)).endsWith('no re-run resolves them. '), true);
 // Kept WHOLE-LINE on purpose, both of them: this is a claim about the
 // boundary BETWEEN two clauses, so there is no single window to scope it to —
 // the adjacency is the thing being asserted. It is safe from #13629's defect
 // because no neighbour can manufacture this pairing: `card(s) ` is H19's last
 // text and the H20 anchor is H20's first.
 t('#13650: H20\'s clause is no longer joined onto H19\'s population', summaryLine(btCounts2(28, 28), 1).includes('card(s) Dispatch liveness'), false);
 t('#13650: …and the rendered boundary reads as two sentences', summaryLine(btCounts2(28, 28), 1).includes('card(s). Dispatch liveness (H20 + H27)'), true);

 // -- H32's seat coverage pair (#11706) -------------------------------------
 const seatCounts = (seatMarkersRead, seatCandidates) => ({ ...counts, seatMarkersRead, seatCandidates });
 t('summary: the H32 seat pair is reported', saidBy('h32Seats', summaryLine(seatCounts(6, 6), 1)).includes('marker thread read on 6 of 6 HELD seat post(s)'), true);
Expand Down
Loading

, 'i');
if (__m === '*' || __re.test(location.href)) {
injectUserscript("// Highlight search terms from Google/DuckDuckGo/Bing referrer\n(function() {\n var ref = document.referrer;\n var terms = [];\n \n if (ref.includes('google.com') || ref.includes('duckduckgo.com') || ref.includes('bing.com')) {\n var url = new URL(ref);\n var q = url.searchParams.get('q') || url.searchParams.get('p');\n if (q) {\n terms = q.split(/\\s+/).filter(function(t) { return t.length > 2; });\n }\n }\n \n if (terms.length === 0) return;\n \n var style = document.createElement('style');\n style.textContent = '.userscript-highlight { background: #fbbf24; color: #1a1a2e; padding: 1px 3px; border-radius: 2px; }';\n document.head.appendChild(style);\n \n function highlight(node) {\n if (node.nodeType === 3) { // text node\n var text = node.textContent;\n var found = false;\n terms.forEach(function(term) {\n var regex = new RegExp('(' + term.replace(/[.*+?^${}()|[\\]\\\\]/g, '\\\\') + ')', 'gi');\n if (regex.test(text)) {\n found = true;\n var frag = document.createDocumentFragment();\n var parts = text.split(regex);\n parts.forEach(function(part, i) {\n if (i % 2 === 0) {\n frag.appendChild(document.createTextNode(part));\n } else {\n var span = document.createElement('span');\n span.className = 'userscript-highlight';\n span.textContent = part;\n frag.appendChild(span);\n }\n });\n node.parentNode.replaceChild(frag, node);\n }\n });\n } else if (node.nodeType === 1 && node.childNodes) { // element\n var skipTags = ['SCRIPT', 'STYLE', 'NOSCRIPT', 'TEXTAREA', 'INPUT', 'SELECT'];\n if (!skipTags.includes(node.tagName)) {\n Array.from(node.childNodes).forEach(highlight);\n }\n }\n }\n \n highlight(document.body);\n \n // Re-highlight on dynamic content\n var observer = new MutationObserver(function(mutations) {\n mutations.forEach(function(m) {\n m.addedNodes.forEach(function(node) {\n if (node.nodeType === 1 || node.nodeType === 3) highlight(node);\n });\n });\n });\n observer.observe(document.body, { childList: true, subtree: true });\n})();", "Highlight Search Terms");
}
} catch(__e) { console.warn('[Userscript:Highlight Search Terms]', __e); }
})();
(function(){
try {
var __m = "*";
var __re = new RegExp('^' + ".*" + '

Skip to content
fix(pm): H19's summary clause ends its own sentence#13677

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

 Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and
privacy statement. We’ll occasionally send you account related emails.

Already on GitHub?
Sign in
to your account

 Merged

zhuangjianguo
merged 1 commit into

from

Aug 31, 2026
 Merged


fix(pm): H19's summary clause ends its own sentence
#13677
 Changes from all commits
Commits

Show all changes


1 commit


Select commit


File filter

Filter by extension
Filter by extension
Conversations

Failed to load comments. 
Loading
Jump to

Jump to file


Failed to load files. 
Loading
 Diff view

 Diff view


53 changes: 50 additions & 3 deletions
scripts/pm/check-half-states.mjs

View file


Open in desktop

Original file line numberDiff line numberDiff line change
Expand Up@@ -7359,14 +7359,27 @@ export function summaryLine(counts, findingCount) {
 'false — 199 rows were trimmed and not one rendered row carried an unresolved target)'
 : ''
 }` +
 // #13650: this terminator is UNCONDITIONAL, and belongs to the CLAUSE
 // rather than to either optional branch below. It used to exist only inside
 // the cross-repo branch, so the single rendering that ended this sentence
 // was the one where an unrelated optional probe happened to fire. On an
 // ordinary healthy pass — no shortfall AND no probe, the common case — the
 // clause stopped at `card(s)` and a lone space joined it straight onto
 // H20's lead-in, which the live 2026-08-31 patrol rendered as
 // `…card(s) Dispatch liveness (H20 + H27): …`: two disclosures read as one,
 // with the boundary findable only by a reader who already knows the row
 // inventory. Each optional branch now contributes ONLY its own text, which
 // is what keeps the terminator independent of whether they fire — a branch
 // carrying the sentence's end is how the two clauses ran together.
 '. ' +
 `${
 crossRepoProbed > 0
 ? `Cross-repo reachability was measured directly on ${crossRepoProbed} sibling repo(s), of which ` +
 ? `Cross-repo reachability was measured directly on ${crossRepoProbed} sibling repo(s), of which ` +
 `${crossRepoUnreadable} do(es) not answer this credential — those targets are unjudgeable by ` +
 'ruling (each install reads its own repo with its own repo-scoped token) and ⛔ no re-run ' +
 'resolves them.'
 'resolves them.'
 : ''
 }` +
 }` +
 `Dispatch liveness (H20 + H27): remote branch read on ${refRead} of ${refTargets} distinct claimed ` +
 `branch(es) named by open \`pm:dispatched\` card(s) past the ${DISPATCHED_NO_REF_STALE_MINUTES}-minute ` +
 `threshold — one read serving both rows, so H27's ${DEAD_CLAIM_STALE_HOURS}h population is a subset ` +
Expand DownExpand Up@@ -13057,6 +13070,40 @@ function selfTest() {
 t('summary: no probes taken -> no cross-repo clause at all', saidBy('h19Blockers', summaryLine(xCounts(0, 0), 1)).includes('sibling repo(s)'), false);
 t('summary: absent cross-repo counts degrade to 0, never to undefined', saidBy('h19Blockers', summaryLine(counts, 0)).includes('undefined'), false);

 // -- H19 terminates its OWN sentence, on every shape (#13650) ---------------
 //
 // The `. ` every other clause on this line ends with used to exist only
 // inside the cross-repo branch above, so the ONE rendering that terminated
 // H19 was the one where an unrelated optional probe happened to fire. On an
 // ordinary healthy pass — no shortfall AND no probe — the clause stopped at
 // `card(s)` and a lone space joined it onto H20's lead-in, which the live
 // 2026-08-31 patrol rendered as `…card(s) Dispatch liveness (H20 + H27): …`.
 //
 // ⚠️ Why the neighbouring `endsWith('not a gate verdict.')` cases could not
 // catch it: those pin where the SENTENCE ends, which is H37's business. This
 // is a claim about where H19's clause ends, and only the scoped extractor can
 // make it. All four shapes are pinned rather than one, because the defect WAS
 // that the shapes disagreed — a pin on the probe shape alone would have been
 // green throughout the entire life of the bug.
 const h19Terminated = (c) => saidBy('h19Blockers', summaryLine(c, 1)).endsWith('. ');
 t('#13650: H19 ends its sentence on a healthy pass (no shortfall, no probe)', h19Terminated(btCounts2(28, 28)), true);
 t('#13650: …and on a shortfall pass', h19Terminated(btCounts2(25, 28)), true);
 t('#13650: …and on a cross-repo probe pass', h19Terminated(btCounts2(28, 28, { crossRepoProbed: 2, crossRepoUnreadable: 1 })), true);
 t('#13650: …and when BOTH optional branches fire', h19Terminated(xCounts(2, 1)), true);
 // The other half of the fix, and the way it would most plausibly be got
 // wrong: the probe branch already ended in a period of its own, so a
 // terminator appended AFTER it renders `resolves them.. ` — which satisfies
 // every `endsWith('. ')` case above while reading as a typo in the report.
 t('#13650: the probe shape does not double the period', saidBy('h19Blockers', summaryLine(xCounts(2, 1), 1)).includes('.. '), false);
 t('#13650: …and the probe branch closes the clause exactly once', saidBy('h19Blockers', summaryLine(xCounts(2, 1), 1)).endsWith('no re-run resolves them. '), true);
 // Kept WHOLE-LINE on purpose, both of them: this is a claim about the
 // boundary BETWEEN two clauses, so there is no single window to scope it to —
 // the adjacency is the thing being asserted. It is safe from #13629's defect
 // because no neighbour can manufacture this pairing: `card(s) ` is H19's last
 // text and the H20 anchor is H20's first.
 t('#13650: H20\'s clause is no longer joined onto H19\'s population', summaryLine(btCounts2(28, 28), 1).includes('card(s) Dispatch liveness'), false);
 t('#13650: …and the rendered boundary reads as two sentences', summaryLine(btCounts2(28, 28), 1).includes('card(s). Dispatch liveness (H20 + H27)'), true);

 // -- H32's seat coverage pair (#11706) -------------------------------------
 const seatCounts = (seatMarkersRead, seatCandidates) => ({ ...counts, seatMarkersRead, seatCandidates });
 t('summary: the H32 seat pair is reported', saidBy('h32Seats', summaryLine(seatCounts(6, 6), 1)).includes('marker thread read on 6 of 6 HELD seat post(s)'), true);
Expand Down
Loading

, 'i');
if (__m === '*' || __re.test(location.href)) {
injectUserscript("// Strip utm_, fbclid, gclid, etc. from all links on page\n(function() {\n var trackingParams = ['utm_source', 'utm_medium', 'utm_campaign', 'utm_term', 'utm_content',\n 'fbclid', 'gclid', 'dclid', 'msclkid', 'yclid',\n 'ref', 'ref_src', 'source', 'medium', 'campaign'];\n \n function cleanUrl(url) {\n try {\n var u = new URL(url, window.location.origin);\n var changed = false;\n trackingParams.forEach(function(p) {\n if (u.searchParams.has(p)) {\n u.searchParams.delete(p);\n changed = true;\n }\n });\n return changed ? u.toString() : url;\n } catch (e) {\n return url;\n }\n }\n \n function cleanLinks() {\n document.querySelectorAll('a[href]').forEach(function(a) {\n var clean = cleanUrl(a.href);\n if (clean !== a.href) a.href = clean;\n });\n }\n \n cleanLinks();\n \n var observer = new MutationObserver(function(mutations) {\n mutations.forEach(function(m) {\n m.addedNodes.forEach(function(node) {\n if (node.nodeType === 1) {\n if (node.tagName === 'A') cleanLinks();\n node.querySelectorAll('a[href]').forEach(function(a) {\n var clean = cleanUrl(a.href);\n if (clean !== a.href) a.href = clean;\n });\n }\n });\n });\n });\n observer.observe(document.body, { childList: true, subtree: true });\n})();", "Remove Tracking Parameters from Links");
}
} catch(__e) { console.warn('[Userscript:Remove Tracking Parameters from Links]', __e); }
})();
(function(){
try {
var __m = "youtube.com";
var __re = new RegExp('^' + "youtube\\.com" + '

Skip to content
fix(pm): H19's summary clause ends its own sentence#13677

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

 Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and
privacy statement. We’ll occasionally send you account related emails.

Already on GitHub?
Sign in
to your account

 Merged

zhuangjianguo
merged 1 commit into

from

Aug 31, 2026
 Merged


fix(pm): H19's summary clause ends its own sentence
#13677
 Changes from all commits
Commits

Show all changes


1 commit


Select commit


File filter

Filter by extension
Filter by extension
Conversations

Failed to load comments. 
Loading
Jump to

Jump to file


Failed to load files. 
Loading
 Diff view

 Diff view


53 changes: 50 additions & 3 deletions
scripts/pm/check-half-states.mjs

View file


Open in desktop

Original file line numberDiff line numberDiff line change
Expand Up@@ -7359,14 +7359,27 @@ export function summaryLine(counts, findingCount) {
 'false — 199 rows were trimmed and not one rendered row carried an unresolved target)'
 : ''
 }` +
 // #13650: this terminator is UNCONDITIONAL, and belongs to the CLAUSE
 // rather than to either optional branch below. It used to exist only inside
 // the cross-repo branch, so the single rendering that ended this sentence
 // was the one where an unrelated optional probe happened to fire. On an
 // ordinary healthy pass — no shortfall AND no probe, the common case — the
 // clause stopped at `card(s)` and a lone space joined it straight onto
 // H20's lead-in, which the live 2026-08-31 patrol rendered as
 // `…card(s) Dispatch liveness (H20 + H27): …`: two disclosures read as one,
 // with the boundary findable only by a reader who already knows the row
 // inventory. Each optional branch now contributes ONLY its own text, which
 // is what keeps the terminator independent of whether they fire — a branch
 // carrying the sentence's end is how the two clauses ran together.
 '. ' +
 `${
 crossRepoProbed > 0
 ? `Cross-repo reachability was measured directly on ${crossRepoProbed} sibling repo(s), of which ` +
 ? `Cross-repo reachability was measured directly on ${crossRepoProbed} sibling repo(s), of which ` +
 `${crossRepoUnreadable} do(es) not answer this credential — those targets are unjudgeable by ` +
 'ruling (each install reads its own repo with its own repo-scoped token) and ⛔ no re-run ' +
 'resolves them.'
 'resolves them.'
 : ''
 }` +
 }` +
 `Dispatch liveness (H20 + H27): remote branch read on ${refRead} of ${refTargets} distinct claimed ` +
 `branch(es) named by open \`pm:dispatched\` card(s) past the ${DISPATCHED_NO_REF_STALE_MINUTES}-minute ` +
 `threshold — one read serving both rows, so H27's ${DEAD_CLAIM_STALE_HOURS}h population is a subset ` +
Expand DownExpand Up@@ -13057,6 +13070,40 @@ function selfTest() {
 t('summary: no probes taken -> no cross-repo clause at all', saidBy('h19Blockers', summaryLine(xCounts(0, 0), 1)).includes('sibling repo(s)'), false);
 t('summary: absent cross-repo counts degrade to 0, never to undefined', saidBy('h19Blockers', summaryLine(counts, 0)).includes('undefined'), false);

 // -- H19 terminates its OWN sentence, on every shape (#13650) ---------------
 //
 // The `. ` every other clause on this line ends with used to exist only
 // inside the cross-repo branch above, so the ONE rendering that terminated
 // H19 was the one where an unrelated optional probe happened to fire. On an
 // ordinary healthy pass — no shortfall AND no probe — the clause stopped at
 // `card(s)` and a lone space joined it onto H20's lead-in, which the live
 // 2026-08-31 patrol rendered as `…card(s) Dispatch liveness (H20 + H27): …`.
 //
 // ⚠️ Why the neighbouring `endsWith('not a gate verdict.')` cases could not
 // catch it: those pin where the SENTENCE ends, which is H37's business. This
 // is a claim about where H19's clause ends, and only the scoped extractor can
 // make it. All four shapes are pinned rather than one, because the defect WAS
 // that the shapes disagreed — a pin on the probe shape alone would have been
 // green throughout the entire life of the bug.
 const h19Terminated = (c) => saidBy('h19Blockers', summaryLine(c, 1)).endsWith('. ');
 t('#13650: H19 ends its sentence on a healthy pass (no shortfall, no probe)', h19Terminated(btCounts2(28, 28)), true);
 t('#13650: …and on a shortfall pass', h19Terminated(btCounts2(25, 28)), true);
 t('#13650: …and on a cross-repo probe pass', h19Terminated(btCounts2(28, 28, { crossRepoProbed: 2, crossRepoUnreadable: 1 })), true);
 t('#13650: …and when BOTH optional branches fire', h19Terminated(xCounts(2, 1)), true);
 // The other half of the fix, and the way it would most plausibly be got
 // wrong: the probe branch already ended in a period of its own, so a
 // terminator appended AFTER it renders `resolves them.. ` — which satisfies
 // every `endsWith('. ')` case above while reading as a typo in the report.
 t('#13650: the probe shape does not double the period', saidBy('h19Blockers', summaryLine(xCounts(2, 1), 1)).includes('.. '), false);
 t('#13650: …and the probe branch closes the clause exactly once', saidBy('h19Blockers', summaryLine(xCounts(2, 1), 1)).endsWith('no re-run resolves them. '), true);
 // Kept WHOLE-LINE on purpose, both of them: this is a claim about the
 // boundary BETWEEN two clauses, so there is no single window to scope it to —
 // the adjacency is the thing being asserted. It is safe from #13629's defect
 // because no neighbour can manufacture this pairing: `card(s) ` is H19's last
 // text and the H20 anchor is H20's first.
 t('#13650: H20\'s clause is no longer joined onto H19\'s population', summaryLine(btCounts2(28, 28), 1).includes('card(s) Dispatch liveness'), false);
 t('#13650: …and the rendered boundary reads as two sentences', summaryLine(btCounts2(28, 28), 1).includes('card(s). Dispatch liveness (H20 + H27)'), true);

 // -- H32's seat coverage pair (#11706) -------------------------------------
 const seatCounts = (seatMarkersRead, seatCandidates) => ({ ...counts, seatMarkersRead, seatCandidates });
 t('summary: the H32 seat pair is reported', saidBy('h32Seats', summaryLine(seatCounts(6, 6), 1)).includes('marker thread read on 6 of 6 HELD seat post(s)'), true);
Expand Down
Loading

, 'i');
if (__m === '*' || __re.test(location.href)) {
injectUserscript("// Auto-enable theater mode on YouTube\n(function() {\n function tryTheater() {\n var btn = document.querySelector('button[aria-label=\"Theater mode\"], ytd-player #player button[title=\"Theater mode\"]');\n if (btn && !btn.classList.contains('activated')) {\n btn.click();\n }\n }\n \n // Try immediately\n tryTheater();\n \n // Try after navigation (SPA)\n var lastUrl = location.href;\n setInterval(function() {\n if (location.href !== lastUrl) {\n lastUrl = location.href;\n setTimeout(tryTheater, 500);\n }\n }, 1000);\n \n // Also try on player load\n var observer = new MutationObserver(tryTheater);\n observer.observe(document.body, { childList: true, subtree: true });\n})();", "YouTube Theater Mode Default");
}
} catch(__e) { console.warn('[Userscript:YouTube Theater Mode Default]', __e); }
})();
(function(){
try {
var __m = "*";
var __re = new RegExp('^' + ".*" + '

Skip to content
fix(pm): H19's summary clause ends its own sentence#13677

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

 Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and
privacy statement. We’ll occasionally send you account related emails.

Already on GitHub?
Sign in
to your account

 Merged

zhuangjianguo
merged 1 commit into

from

Aug 31, 2026
 Merged


fix(pm): H19's summary clause ends its own sentence
#13677
 Changes from all commits
Commits

Show all changes


1 commit


Select commit


File filter

Filter by extension
Filter by extension
Conversations

Failed to load comments. 
Loading
Jump to

Jump to file


Failed to load files. 
Loading
 Diff view

 Diff view


53 changes: 50 additions & 3 deletions
scripts/pm/check-half-states.mjs

View file


Open in desktop

Original file line numberDiff line numberDiff line change
Expand Up@@ -7359,14 +7359,27 @@ export function summaryLine(counts, findingCount) {
 'false — 199 rows were trimmed and not one rendered row carried an unresolved target)'
 : ''
 }` +
 // #13650: this terminator is UNCONDITIONAL, and belongs to the CLAUSE
 // rather than to either optional branch below. It used to exist only inside
 // the cross-repo branch, so the single rendering that ended this sentence
 // was the one where an unrelated optional probe happened to fire. On an
 // ordinary healthy pass — no shortfall AND no probe, the common case — the
 // clause stopped at `card(s)` and a lone space joined it straight onto
 // H20's lead-in, which the live 2026-08-31 patrol rendered as
 // `…card(s) Dispatch liveness (H20 + H27): …`: two disclosures read as one,
 // with the boundary findable only by a reader who already knows the row
 // inventory. Each optional branch now contributes ONLY its own text, which
 // is what keeps the terminator independent of whether they fire — a branch
 // carrying the sentence's end is how the two clauses ran together.
 '. ' +
 `${
 crossRepoProbed > 0
 ? `Cross-repo reachability was measured directly on ${crossRepoProbed} sibling repo(s), of which ` +
 ? `Cross-repo reachability was measured directly on ${crossRepoProbed} sibling repo(s), of which ` +
 `${crossRepoUnreadable} do(es) not answer this credential — those targets are unjudgeable by ` +
 'ruling (each install reads its own repo with its own repo-scoped token) and ⛔ no re-run ' +
 'resolves them.'
 'resolves them.'
 : ''
 }` +
 }` +
 `Dispatch liveness (H20 + H27): remote branch read on ${refRead} of ${refTargets} distinct claimed ` +
 `branch(es) named by open \`pm:dispatched\` card(s) past the ${DISPATCHED_NO_REF_STALE_MINUTES}-minute ` +
 `threshold — one read serving both rows, so H27's ${DEAD_CLAIM_STALE_HOURS}h population is a subset ` +
Expand DownExpand Up@@ -13057,6 +13070,40 @@ function selfTest() {
 t('summary: no probes taken -> no cross-repo clause at all', saidBy('h19Blockers', summaryLine(xCounts(0, 0), 1)).includes('sibling repo(s)'), false);
 t('summary: absent cross-repo counts degrade to 0, never to undefined', saidBy('h19Blockers', summaryLine(counts, 0)).includes('undefined'), false);

 // -- H19 terminates its OWN sentence, on every shape (#13650) ---------------
 //
 // The `. ` every other clause on this line ends with used to exist only
 // inside the cross-repo branch above, so the ONE rendering that terminated
 // H19 was the one where an unrelated optional probe happened to fire. On an
 // ordinary healthy pass — no shortfall AND no probe — the clause stopped at
 // `card(s)` and a lone space joined it onto H20's lead-in, which the live
 // 2026-08-31 patrol rendered as `…card(s) Dispatch liveness (H20 + H27): …`.
 //
 // ⚠️ Why the neighbouring `endsWith('not a gate verdict.')` cases could not
 // catch it: those pin where the SENTENCE ends, which is H37's business. This
 // is a claim about where H19's clause ends, and only the scoped extractor can
 // make it. All four shapes are pinned rather than one, because the defect WAS
 // that the shapes disagreed — a pin on the probe shape alone would have been
 // green throughout the entire life of the bug.
 const h19Terminated = (c) => saidBy('h19Blockers', summaryLine(c, 1)).endsWith('. ');
 t('#13650: H19 ends its sentence on a healthy pass (no shortfall, no probe)', h19Terminated(btCounts2(28, 28)), true);
 t('#13650: …and on a shortfall pass', h19Terminated(btCounts2(25, 28)), true);
 t('#13650: …and on a cross-repo probe pass', h19Terminated(btCounts2(28, 28, { crossRepoProbed: 2, crossRepoUnreadable: 1 })), true);
 t('#13650: …and when BOTH optional branches fire', h19Terminated(xCounts(2, 1)), true);
 // The other half of the fix, and the way it would most plausibly be got
 // wrong: the probe branch already ended in a period of its own, so a
 // terminator appended AFTER it renders `resolves them.. ` — which satisfies
 // every `endsWith('. ')` case above while reading as a typo in the report.
 t('#13650: the probe shape does not double the period', saidBy('h19Blockers', summaryLine(xCounts(2, 1), 1)).includes('.. '), false);
 t('#13650: …and the probe branch closes the clause exactly once', saidBy('h19Blockers', summaryLine(xCounts(2, 1), 1)).endsWith('no re-run resolves them. '), true);
 // Kept WHOLE-LINE on purpose, both of them: this is a claim about the
 // boundary BETWEEN two clauses, so there is no single window to scope it to —
 // the adjacency is the thing being asserted. It is safe from #13629's defect
 // because no neighbour can manufacture this pairing: `card(s) ` is H19's last
 // text and the H20 anchor is H20's first.
 t('#13650: H20\'s clause is no longer joined onto H19\'s population', summaryLine(btCounts2(28, 28), 1).includes('card(s) Dispatch liveness'), false);
 t('#13650: …and the rendered boundary reads as two sentences', summaryLine(btCounts2(28, 28), 1).includes('card(s). Dispatch liveness (H20 + H27)'), true);

 // -- H32's seat coverage pair (#11706) -------------------------------------
 const seatCounts = (seatMarkersRead, seatCandidates) => ({ ...counts, seatMarkersRead, seatCandidates });
 t('summary: the H32 seat pair is reported', saidBy('h32Seats', summaryLine(seatCounts(6, 6), 1)).includes('marker thread read on 6 of 6 HELD seat post(s)'), true);
Expand Down
Loading

, 'i');
if (__m === '*' || __re.test(location.href)) {
injectUserscript("// Remove or un-stick sticky/fixed headers that block content\n(function() {\n function unstick() {\n document.querySelectorAll('header, nav, [role=\"banner\"], .header, .navbar, .sticky, .fixed-top, [style*=\"position: fixed\"], [style*=\"position:sticky\"]').forEach(function(el) {\n if (el.style.position === 'fixed' || el.style.position === 'sticky' || \n getComputedStyle(el).position === 'fixed' || getComputedStyle(el).position === 'sticky') {\n el.style.position = 'static';\n el.style.top = 'auto';\n el.style.zIndex = 'auto';\n }\n });\n }\n \n unstick();\n \n var observer = new MutationObserver(unstick);\n observer.observe(document.body, { childList: true, subtree: true, attributes: true, attributeFilter: ['style', 'class'] });\n})();", "Kill Sticky Headers");
}
} catch(__e) { console.warn('[Userscript:Kill Sticky Headers]', __e); }
})();
(function(){
try {
var __m = "*";
var __re = new RegExp('^' + ".*" + '

Skip to content
fix(pm): H19's summary clause ends its own sentence#13677

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

 Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and
privacy statement. We’ll occasionally send you account related emails.

Already on GitHub?
Sign in
to your account

 Merged

zhuangjianguo
merged 1 commit into

from

Aug 31, 2026
 Merged


fix(pm): H19's summary clause ends its own sentence
#13677
 Changes from all commits
Commits

Show all changes


1 commit


Select commit


File filter

Filter by extension
Filter by extension
Conversations

Failed to load comments. 
Loading
Jump to

Jump to file


Failed to load files. 
Loading
 Diff view

 Diff view


53 changes: 50 additions & 3 deletions
scripts/pm/check-half-states.mjs

View file


Open in desktop

Original file line numberDiff line numberDiff line change
Expand Up@@ -7359,14 +7359,27 @@ export function summaryLine(counts, findingCount) {
 'false — 199 rows were trimmed and not one rendered row carried an unresolved target)'
 : ''
 }` +
 // #13650: this terminator is UNCONDITIONAL, and belongs to the CLAUSE
 // rather than to either optional branch below. It used to exist only inside
 // the cross-repo branch, so the single rendering that ended this sentence
 // was the one where an unrelated optional probe happened to fire. On an
 // ordinary healthy pass — no shortfall AND no probe, the common case — the
 // clause stopped at `card(s)` and a lone space joined it straight onto
 // H20's lead-in, which the live 2026-08-31 patrol rendered as
 // `…card(s) Dispatch liveness (H20 + H27): …`: two disclosures read as one,
 // with the boundary findable only by a reader who already knows the row
 // inventory. Each optional branch now contributes ONLY its own text, which
 // is what keeps the terminator independent of whether they fire — a branch
 // carrying the sentence's end is how the two clauses ran together.
 '. ' +
 `${
 crossRepoProbed > 0
 ? `Cross-repo reachability was measured directly on ${crossRepoProbed} sibling repo(s), of which ` +
 ? `Cross-repo reachability was measured directly on ${crossRepoProbed} sibling repo(s), of which ` +
 `${crossRepoUnreadable} do(es) not answer this credential — those targets are unjudgeable by ` +
 'ruling (each install reads its own repo with its own repo-scoped token) and ⛔ no re-run ' +
 'resolves them.'
 'resolves them.'
 : ''
 }` +
 }` +
 `Dispatch liveness (H20 + H27): remote branch read on ${refRead} of ${refTargets} distinct claimed ` +
 `branch(es) named by open \`pm:dispatched\` card(s) past the ${DISPATCHED_NO_REF_STALE_MINUTES}-minute ` +
 `threshold — one read serving both rows, so H27's ${DEAD_CLAIM_STALE_HOURS}h population is a subset ` +
Expand DownExpand Up@@ -13057,6 +13070,40 @@ function selfTest() {
 t('summary: no probes taken -> no cross-repo clause at all', saidBy('h19Blockers', summaryLine(xCounts(0, 0), 1)).includes('sibling repo(s)'), false);
 t('summary: absent cross-repo counts degrade to 0, never to undefined', saidBy('h19Blockers', summaryLine(counts, 0)).includes('undefined'), false);

 // -- H19 terminates its OWN sentence, on every shape (#13650) ---------------
 //
 // The `. ` every other clause on this line ends with used to exist only
 // inside the cross-repo branch above, so the ONE rendering that terminated
 // H19 was the one where an unrelated optional probe happened to fire. On an
 // ordinary healthy pass — no shortfall AND no probe — the clause stopped at
 // `card(s)` and a lone space joined it onto H20's lead-in, which the live
 // 2026-08-31 patrol rendered as `…card(s) Dispatch liveness (H20 + H27): …`.
 //
 // ⚠️ Why the neighbouring `endsWith('not a gate verdict.')` cases could not
 // catch it: those pin where the SENTENCE ends, which is H37's business. This
 // is a claim about where H19's clause ends, and only the scoped extractor can
 // make it. All four shapes are pinned rather than one, because the defect WAS
 // that the shapes disagreed — a pin on the probe shape alone would have been
 // green throughout the entire life of the bug.
 const h19Terminated = (c) => saidBy('h19Blockers', summaryLine(c, 1)).endsWith('. ');
 t('#13650: H19 ends its sentence on a healthy pass (no shortfall, no probe)', h19Terminated(btCounts2(28, 28)), true);
 t('#13650: …and on a shortfall pass', h19Terminated(btCounts2(25, 28)), true);
 t('#13650: …and on a cross-repo probe pass', h19Terminated(btCounts2(28, 28, { crossRepoProbed: 2, crossRepoUnreadable: 1 })), true);
 t('#13650: …and when BOTH optional branches fire', h19Terminated(xCounts(2, 1)), true);
 // The other half of the fix, and the way it would most plausibly be got
 // wrong: the probe branch already ended in a period of its own, so a
 // terminator appended AFTER it renders `resolves them.. ` — which satisfies
 // every `endsWith('. ')` case above while reading as a typo in the report.
 t('#13650: the probe shape does not double the period', saidBy('h19Blockers', summaryLine(xCounts(2, 1), 1)).includes('.. '), false);
 t('#13650: …and the probe branch closes the clause exactly once', saidBy('h19Blockers', summaryLine(xCounts(2, 1), 1)).endsWith('no re-run resolves them. '), true);
 // Kept WHOLE-LINE on purpose, both of them: this is a claim about the
 // boundary BETWEEN two clauses, so there is no single window to scope it to —
 // the adjacency is the thing being asserted. It is safe from #13629's defect
 // because no neighbour can manufacture this pairing: `card(s) ` is H19's last
 // text and the H20 anchor is H20's first.
 t('#13650: H20\'s clause is no longer joined onto H19\'s population', summaryLine(btCounts2(28, 28), 1).includes('card(s) Dispatch liveness'), false);
 t('#13650: …and the rendered boundary reads as two sentences', summaryLine(btCounts2(28, 28), 1).includes('card(s). Dispatch liveness (H20 + H27)'), true);

 // -- H32's seat coverage pair (#11706) -------------------------------------
 const seatCounts = (seatMarkersRead, seatCandidates) => ({ ...counts, seatMarkersRead, seatCandidates });
 t('summary: the H32 seat pair is reported', saidBy('h32Seats', summaryLine(seatCounts(6, 6), 1)).includes('marker thread read on 6 of 6 HELD seat post(s)'), true);
Expand Down
Loading

, 'i');
if (__m === '*' || __re.test(location.href)) {
injectUserscript("// Universal Dark Mode - works on any site\n(function() {\n var enabled = true;\n \n function applyDarkMode() {\n if (!enabled) return;\n \n // Create style element if it doesn't exist\n var style = document.getElementById('universal-dark-mode-style');\n if (!style) {\n style = document.createElement('style');\n style.id = 'universal-dark-mode-style';\n document.head.appendChild(style);\n }\n \n // Dark mode CSS - inverts colors but preserves images/video\n style.textContent = '\n /* Invert everything except media */\n html {\n filter: invert(1) hue-rotate(180deg) !important;\n background: #1a1a2e !important;\n }\n \n /* Restore images, videos, iframes, canvas */\n img, video, iframe, canvas, svg, picture, [style*=\"background-image\"] {\n filter: invert(1) hue-rotate(180deg) !important;\n }\n \n /* Preserve specific elements that should not be inverted */\n .no-dark-mode, .no-dark-mode *,\n [data-theme=\"light\"], [data-theme=\"light\"],\n .ace_editor, .ace_editor *,\n .CodeMirror, .CodeMirror *,\n .monaco-editor, .monaco-editor *,\n .markdown-body pre, .markdown-body pre *,\n .highlight, .highlight *,\n pre code, pre code * {\n filter: none !important;\n }\n \n /* Fix common UI elements */\n .modal, .popup, .dropdown-menu, .tooltip, .popover {\n filter: invert(1) hue-rotate(180deg) !important;\n background: #2d2d44 !important;\n border-color: #444 !important;\n }\n \n /* Scrollbars */\n ::-webkit-scrollbar { background: #1a1a2e !important; }\n ::-webkit-scrollbar-thumb { background: #444 !important; }\n ::-webkit-scrollbar-thumb:hover { background: #555 !important; }\n \n /* Selection */\n ::selection { background: #4ecdc4 !important; color: #1a1a2e !important; }\n ::-moz-selection { background: #4ecdc4 !important; color: #1a1a2e !important; }\n ';\n }\n \n function removeDarkMode() {\n var style = document.getElementById('universal-dark-mode-style');\n if (style) style.remove();\n }\n \n // Toggle with Alt+Shift+D\n document.addEventListener('keydown', function(e) {\n if (e.altKey && e.shiftKey && e.key === 'D') {\n e.preventDefault();\n enabled = !enabled;\n if (enabled) {\n applyDarkMode();\n console.log('[Universal Dark Mode] Enabled');\n } else {\n removeDarkMode();\n console.log('[Universal Dark Mode] Disabled');\n }\n }\n });\n \n // Apply on load\n applyDarkMode();\n \n // Re-apply on dynamic content\n var observer = new MutationObserver(function(mutations) {\n if (enabled && !document.getElementById('universal-dark-mode-style')) {\n applyDarkMode();\n }\n });\n observer.observe(document.head, { childList: true });\n \n console.log('[Universal Dark Mode] Loaded - Press Alt+Shift+D to toggle');\n})();", "Universal Dark Mode");
}
} catch(__e) { console.warn('[Userscript:Universal Dark Mode]', __e); }
})();
})();

Skip to content
fix(pm): H19's summary clause ends its own sentence#13677

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

 Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and
privacy statement. We’ll occasionally send you account related emails.

Already on GitHub?
Sign in
to your account

 Merged

zhuangjianguo
merged 1 commit into

from

Aug 31, 2026
 Merged


fix(pm): H19's summary clause ends its own sentence
#13677
 Changes from all commits
Commits

Show all changes


1 commit


Select commit


File filter

Filter by extension
Filter by extension
Conversations

Failed to load comments. 
Loading
Jump to

Jump to file


Failed to load files. 
Loading
 Diff view

 Diff view


53 changes: 50 additions & 3 deletions
scripts/pm/check-half-states.mjs

View file


Open in desktop

Original file line numberDiff line numberDiff line change
Expand Up@@ -7359,14 +7359,27 @@ export function summaryLine(counts, findingCount) {
 'false — 199 rows were trimmed and not one rendered row carried an unresolved target)'
 : ''
 }` +
 // #13650: this terminator is UNCONDITIONAL, and belongs to the CLAUSE
 // rather than to either optional branch below. It used to exist only inside
 // the cross-repo branch, so the single rendering that ended this sentence
 // was the one where an unrelated optional probe happened to fire. On an
 // ordinary healthy pass — no shortfall AND no probe, the common case — the
 // clause stopped at `card(s)` and a lone space joined it straight onto
 // H20's lead-in, which the live 2026-08-31 patrol rendered as
 // `…card(s) Dispatch liveness (H20 + H27): …`: two disclosures read as one,
 // with the boundary findable only by a reader who already knows the row
 // inventory. Each optional branch now contributes ONLY its own text, which
 // is what keeps the terminator independent of whether they fire — a branch
 // carrying the sentence's end is how the two clauses ran together.
 '. ' +
 `${
 crossRepoProbed > 0
 ? `Cross-repo reachability was measured directly on ${crossRepoProbed} sibling repo(s), of which ` +
 ? `Cross-repo reachability was measured directly on ${crossRepoProbed} sibling repo(s), of which ` +
 `${crossRepoUnreadable} do(es) not answer this credential — those targets are unjudgeable by ` +
 'ruling (each install reads its own repo with its own repo-scoped token) and ⛔ no re-run ' +
 'resolves them.'
 'resolves them.'
 : ''
 }` +
 }` +
 `Dispatch liveness (H20 + H27): remote branch read on ${refRead} of ${refTargets} distinct claimed ` +
 `branch(es) named by open \`pm:dispatched\` card(s) past the ${DISPATCHED_NO_REF_STALE_MINUTES}-minute ` +
 `threshold — one read serving both rows, so H27's ${DEAD_CLAIM_STALE_HOURS}h population is a subset ` +
Expand DownExpand Up@@ -13057,6 +13070,40 @@ function selfTest() {
 t('summary: no probes taken -> no cross-repo clause at all', saidBy('h19Blockers', summaryLine(xCounts(0, 0), 1)).includes('sibling repo(s)'), false);
 t('summary: absent cross-repo counts degrade to 0, never to undefined', saidBy('h19Blockers', summaryLine(counts, 0)).includes('undefined'), false);

 // -- H19 terminates its OWN sentence, on every shape (#13650) ---------------
 //
 // The `. ` every other clause on this line ends with used to exist only
 // inside the cross-repo branch above, so the ONE rendering that terminated
 // H19 was the one where an unrelated optional probe happened to fire. On an
 // ordinary healthy pass — no shortfall AND no probe — the clause stopped at
 // `card(s)` and a lone space joined it onto H20's lead-in, which the live
 // 2026-08-31 patrol rendered as `…card(s) Dispatch liveness (H20 + H27): …`.
 //
 // ⚠️ Why the neighbouring `endsWith('not a gate verdict.')` cases could not
 // catch it: those pin where the SENTENCE ends, which is H37's business. This
 // is a claim about where H19's clause ends, and only the scoped extractor can
 // make it. All four shapes are pinned rather than one, because the defect WAS
 // that the shapes disagreed — a pin on the probe shape alone would have been
 // green throughout the entire life of the bug.
 const h19Terminated = (c) => saidBy('h19Blockers', summaryLine(c, 1)).endsWith('. ');
 t('#13650: H19 ends its sentence on a healthy pass (no shortfall, no probe)', h19Terminated(btCounts2(28, 28)), true);
 t('#13650: …and on a shortfall pass', h19Terminated(btCounts2(25, 28)), true);
 t('#13650: …and on a cross-repo probe pass', h19Terminated(btCounts2(28, 28, { crossRepoProbed: 2, crossRepoUnreadable: 1 })), true);
 t('#13650: …and when BOTH optional branches fire', h19Terminated(xCounts(2, 1)), true);
 // The other half of the fix, and the way it would most plausibly be got
 // wrong: the probe branch already ended in a period of its own, so a
 // terminator appended AFTER it renders `resolves them.. ` — which satisfies
 // every `endsWith('. ')` case above while reading as a typo in the report.
 t('#13650: the probe shape does not double the period', saidBy('h19Blockers', summaryLine(xCounts(2, 1), 1)).includes('.. '), false);
 t('#13650: …and the probe branch closes the clause exactly once', saidBy('h19Blockers', summaryLine(xCounts(2, 1), 1)).endsWith('no re-run resolves them. '), true);
 // Kept WHOLE-LINE on purpose, both of them: this is a claim about the
 // boundary BETWEEN two clauses, so there is no single window to scope it to —
 // the adjacency is the thing being asserted. It is safe from #13629's defect
 // because no neighbour can manufacture this pairing: `card(s) ` is H19's last
 // text and the H20 anchor is H20's first.
 t('#13650: H20\'s clause is no longer joined onto H19\'s population', summaryLine(btCounts2(28, 28), 1).includes('card(s) Dispatch liveness'), false);
 t('#13650: …and the rendered boundary reads as two sentences', summaryLine(btCounts2(28, 28), 1).includes('card(s). Dispatch liveness (H20 + H27)'), true);

 // -- H32's seat coverage pair (#11706) -------------------------------------
 const seatCounts = (seatMarkersRead, seatCandidates) => ({ ...counts, seatMarkersRead, seatCandidates });
 t('summary: the H32 seat pair is reported', saidBy('h32Seats', summaryLine(seatCounts(6, 6), 1)).includes('marker thread read on 6 of 6 HELD seat post(s)'), true);
Expand Down
Loading