Merged
Show file tree
Hide file tree
Changes from all commits
Commits
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
100 changes: 100 additions & 0 deletions scripts/check-filter-alias-parity.mjs
Original file line numberDiff line numberDiff line change
Expand Up@@ -91,6 +91,41 @@ const ts = await requireDefaultExport('typescript', () => import('typescript'),
import { parseSourceFile } from './ts-parse.mjs';
import { isEntrypoint } from './invoked-as.mjs';

// ── The self-test's own battery roster and floor (#13489) ──────────────────
//
// `failures.length === 0` used to be this self-test's ONLY success condition, so
// "every case held" and "the cases never ran" printed the same line. Closed the
// way PR #13487 validated on check-doc-authoring: what is pinned is the
// registered NAMES, not a number. Every section opens with `battery('<name>')`,
// every assertion is attributed to the battery most recently opened, and the
// floor requires the OPENED set to equal the DECLARED set with each battery at
// or above its own count.
//
// ⛔ A pinned TOTAL is not the repair: a battery dropping from 9 cases to 3
// keeps a total "right" the moment a sibling grows.
//
// The counts are a FLOOR, not an equality — adding cases is ordinary work and
// must not red. A battery BELOW its floor means cases stopped running; the
// remedy is to find what stopped registering.
const SELF_TEST_BATTERIES = Object.freeze({
'1. The tree as it stands: both sides name the same four spellings.': 2,
'2. A fifth spelling on the NORMALIZER side only — the direction #8002 is about, and the one nothing else in the repo refuses.': 3,
'3. The same fifth spelling on BOTH sides is green again — the gate judges parity, not the size of the set.': 1,
'4. A fifth spelling on the INGRESS side only.': 2,
'5. A `$` alias folding INTO a filter spelling is a filter spelling. It reaches `where` through two hops, which is exactly the shape a reader comparing only the slot tables would miss.': 2,
'6. Rot: an unreadable shape must fail LOUDLY. A reader that matches nothing would otherwise compare two empty sets and report a pass.': 5,
'7. The wiring this gate depends on to run at all.': 3,
});

// DELETING an entry silences that battery's floor exactly as effectively as
// zeroing it, so the roster's own size is pinned too.
const SELF_TEST_BATTERY_FLOOR = 7;

// The key an assertion is filed under when no battery is open. It is not a
// declared battery, so it reds by the same set difference rather than silently
// inflating whichever battery happened to run last.
const UNATTRIBUTED_BATTERY = '(no battery open)';

const ROOT = join(fileURLToPath(new URL('.', import.meta.url)), '..');

/** The three files that declare a filter-slot spelling, by repo-relative path. */
Expand DownExpand Up@@ -491,14 +526,29 @@ export const FILTER_SLOT_QUERY_PARAMS: readonly string[] = (() => {
const SELF_TEST_VERDICT = 'check-filter-alias-parity self-test reached its verdict';

function selfTest() {
// The battery ledger this self-test's floor is evaluated against (#13489).
// `battery()` opens a battery; every assertion below is attributed to the one
// most recently opened, so a section that stops running stops registering and
// names ITSELF at the floor rather than going quiet.
const batterySeen = new Map();
let openBattery = null;
const battery = (name) => {
openBattery = name;
};
const registerCase = () => {
const b = openBattery ?? UNATTRIBUTED_BATTERY;
batterySeen.set(b, (batterySeen.get(b) ?? 0) + 1);
};
const failures = [];
const check = (name, condition, detail) => {
registerCase();
if (!condition) failures.push(`${name}${detail ? ` — ${detail}` : ''}`);
};
const run = (protocolText, restText, specText = FIXTURE_SPEC) =>
judge({ specText, protocolText, restText });

// 1. The tree as it stands: both sides name the same four spellings.
battery('1. The tree as it stands: both sides name the same four spellings.');
{
const { problems, protocolSet, restSet } = run(fixtureProtocol(), fixtureRest());
check('agreeing sides are green', problems.length === 0, problems[0]);
Expand All@@ -512,6 +562,7 @@ function selfTest() {

// 2. A fifth spelling on the NORMALIZER side only — the direction #8002 is
// about, and the one nothing else in the repo refuses.
battery('2. A fifth spelling on the NORMALIZER side only — the direction #8002 is about, and the one nothing else in the repo refuses.');
{
const { problems } = run(fixtureProtocol(['filters', '$filter', 'where_clause']), fixtureRest());
check('a normalizer-only fifth spelling is red', problems.length === 1, `saw ${problems.length}`);
Expand All@@ -529,6 +580,7 @@ function selfTest() {

// 3. The same fifth spelling on BOTH sides is green again — the gate judges
// parity, not the size of the set.
battery('3. The same fifth spelling on BOTH sides is green again — the gate judges parity, not the size of the set.');
{
const { problems } = run(
fixtureProtocol(['filters', '$filter', 'where_clause']),
Expand All@@ -538,6 +590,7 @@ function selfTest() {
}

// 4. A fifth spelling on the INGRESS side only.
battery('4. A fifth spelling on the INGRESS side only.');
{
const { problems } = run(fixtureProtocol(), fixtureRest(['filters', '$filter', 'where_clause']));
check('an ingress-only fifth spelling is red', problems.length === 1, `saw ${problems.length}`);
Expand All@@ -551,6 +604,7 @@ function selfTest() {
// 5. A `$` alias folding INTO a filter spelling is a filter spelling. It
// reaches `where` through two hops, which is exactly the shape a reader
// comparing only the slot tables would miss.
battery('5. A `$` alias folding INTO a filter spelling is a filter spelling. It reaches `where` through two hops, which is exactly the shape a reader comparing only the slot tables would miss.');
{
const { problems } = run(
fixtureProtocol(['filters', '$filter'], [['$top', 'top'], ['$filters', 'filters']]),
Expand All@@ -562,6 +616,7 @@ function selfTest() {

// 6. Rot: an unreadable shape must fail LOUDLY. A reader that matches
// nothing would otherwise compare two empty sets and report a pass.
battery('6. Rot: an unreadable shape must fail LOUDLY. A reader that matches nothing would otherwise compare two empty sets and report a pass.');
{
const { problems } = run(fixtureProtocol(), '\nexport const SOMETHING_ELSE = [];\n');
check('a missing ingress declaration is red', problems.length === 1, `saw ${problems.length}`);
Expand DownExpand Up@@ -595,6 +650,7 @@ function selfTest() {
}

// 7. The wiring this gate depends on to run at all.
battery('7. The wiring this gate depends on to run at all.');
{
const pkg = JSON.parse(readFileSync(join(ROOT, 'package.json'), 'utf8'));
const entry = pkg.scripts?.['check:filter-alias-parity'];
Expand All@@ -609,6 +665,50 @@ function selfTest() {
check('lint.yml runs the gate exactly once', wired.length === 1, `found ${wired.length}`);
}

// ── The floor: every declared battery RAN, and ran its cases (#13489) ────
//
// Evaluated after every battery has had its chance and BEFORE the verdict, so
// the success line below can only be printed by a run in which the set of
// batteries that registered assertions EQUALS the set declared. A set
// difference names WHICH battery stopped; a count says only that something did.
const floorFailure = (message) => { failures.push(message); };
const declaredBatteries = Object.keys(SELF_TEST_BATTERIES);
let floorBreached = false;
if (declaredBatteries.length < SELF_TEST_BATTERY_FLOOR) {
floorBreached = true;
floorFailure(
`SELF_TEST_BATTERIES declares ${declaredBatteries.length} batteries, below the pinned ` +
`${SELF_TEST_BATTERY_FLOOR} — a battery deleted from the roster takes its own floor with it.`,
);
}
for (const [name, count] of batterySeen) {
if (declaredBatteries.includes(name)) continue;
floorBreached = true;
floorFailure(
`self-test battery "${name}" registered ${count} case(s) but is not declared in ` +
'SELF_TEST_BATTERIES — an assertion attributed to no declared battery is one nothing floors.',
);
}
for (const name of declaredBatteries) {
const count = batterySeen.get(name) ?? 0;
if (count >= SELF_TEST_BATTERIES[name]) continue;
floorBreached = true;
floorFailure(
count === 0
? `self-test battery "${name}" DID NOT RUN — 0 cases registered, ${SELF_TEST_BATTERIES[name]} pinned. ` +
'The verdict below would have claimed those cases hold.'
: `self-test battery "${name}" registered ${count} case(s), below its pinned floor of ` +
`${SELF_TEST_BATTERIES[name]} — cases that used to run no longer do.`,
);
}
if (floorBreached) {
floorFailure(
'A battery at or below its floor means cases STOPPED RUNNING — the battery is the bug, not the ' +
'number. Find what stopped registering (an early return, a deleted block, a guard that now ' +
'skips) and restore it.',
);
}

if (failures.length) {
console.error('check:filter-alias-parity --self-test FAILED');
for (const f of failures) console.error(` - ${f}`);
Expand Down
94 changes: 94 additions & 0 deletions scripts/check-i18n-bundles.mjs
Original file line numberDiff line numberDiff line change
Expand Up@@ -103,6 +103,38 @@ import {
import { EXIT_FINDINGS, EXIT_PREREQUISITE_NOT_MET } from './import-prerequisite.mjs';
import { findExtractConfigs, flagsFromDocstring } from './i18n-bundle-surface.mjs';

// ── The self-test's own battery roster and floor (#13489) ──────────────────
//
// `failures.length === 0` used to be this self-test's ONLY success condition, so
// "every case held" and "the cases never ran" printed the same line. Closed the
// way PR #13487 validated on check-doc-authoring: what is pinned is the
// registered NAMES, not a number. Every section opens with `battery('<name>')`,
// every assertion is attributed to the battery most recently opened, and the
// floor requires the OPENED set to equal the DECLARED set with each battery at
// or above its own count.
//
// ⛔ A pinned TOTAL is not the repair: a battery dropping from 9 cases to 3
// keeps a total "right" the moment a sibling grows.
//
// The counts are a FLOOR, not an equality — adding cases is ordinary work and
// must not red. A battery BELOW its floor means cases stopped running; the
// remedy is to find what stopped registering.
const SELF_TEST_BATTERIES = Object.freeze({
'Third classifier (#5217): the build prerequisite. Same anti-#4690 duty as': 34,
'Fourth classifier (#7681): the OTHER prerequisite — a workspace package this': 24,
'Fifth classifier (#11647): the POPULATION — is there anything to grade, and': 11,
'The other cause, and the reason `=== 0` alone is not the whole condition: a': 8,
});

// DELETING an entry silences that battery's floor exactly as effectively as
// zeroing it, so the roster's own size is pinned too.
const SELF_TEST_BATTERY_FLOOR = 4;

// The key an assertion is filed under when no battery is open. It is not a
// declared battery, so it reds by the same set difference rather than silently
// inflating whichever battery happened to run last.
const UNATTRIBUTED_BATTERY = '(no battery open)';

/**
* The module this gate's POPULATION is enumerated by, declared as a whole
* literal so the derivation can see it (#9116).
Expand DownExpand Up@@ -436,8 +468,23 @@ function populationVerdict(population, activeFilter) {
const SELF_TEST_VERDICT = 'check-i18n-bundles self-test reached its verdict';

function selfTest() {
// The battery ledger this self-test's floor is evaluated against (#13489).
// `battery()` opens a battery; every assertion below is attributed to the one
// most recently opened, so a section that stops running stops registering and
// names ITSELF at the floor rather than going quiet.
const batterySeen = new Map();
let openBattery = null;
const battery = (name) => {
openBattery = name;
};
const registerCase = () => {
const b = openBattery ?? UNATTRIBUTED_BATTERY;
batterySeen.set(b, (batterySeen.get(b) ?? 0) + 1);
};
battery('Third classifier (#5217): the build prerequisite. Same anti-#4690 duty as');
const failures = [];
const expect = (name, cond, detail) => {
registerCase();
if (!cond) failures.push(`${name} — ${detail}`);
};

Expand DownExpand Up@@ -635,6 +682,7 @@ function selfTest() {
// send the reader to a rebuild that changes nothing — the #5862 defect (a
// confident diagnosis pointing somewhere innocent) rebuilt one layer down.
// -------------------------------------------------------------------------
battery('Fourth classifier (#7681): the OTHER prerequisite — a workspace package this');

// The failure #7681 reported, as node actually prints it: produced locally by
// importing a name that a package's built ESM does not export — a fixture
Expand DownExpand Up@@ -794,6 +842,7 @@ function selfTest() {
// classifier in this file is proven red against a recorded string, but "did
// this gate look at anything at all?" can only be proven by looking.
// -------------------------------------------------------------------------
battery('Fifth classifier (#11647): the POPULATION — is there anything to grade, and');

const popCwdBefore = process.cwd();
let offRootPopulation;
Expand DownExpand Up@@ -896,6 +945,7 @@ function selfTest() {

// The other cause, and the reason `=== 0` alone is not the whole condition: a
// filter that matched nothing is a typo, not an environment fact.
battery('The other cause, and the reason `=== 0` alone is not the whole condition: a');
const filterVerdict = populationVerdict(onRootPopulation, 'no-such-package');
expect('#11647 an unmatched --filter is refused', !!filterVerdict, 'a filter matching nothing must not render as OK (0 package(s))');
expect(
Expand DownExpand Up@@ -936,6 +986,50 @@ function selfTest() {
const longWalkError = unreadablePopulationDetail(new Error('E'.repeat(400))).join('\n');
expect('#11647 long walk errors are truncated', longWalkError.includes(`${'E'.repeat(160)}…`), 'a 400-char message must not be pasted whole');

// ── The floor: every declared battery RAN, and ran its cases (#13489) ────
//
// Evaluated after every battery has had its chance and BEFORE the verdict, so
// the success line below can only be printed by a run in which the set of
// batteries that registered assertions EQUALS the set declared. A set
// difference names WHICH battery stopped; a count says only that something did.
const floorFailure = (message) => { failures.push(message); };
const declaredBatteries = Object.keys(SELF_TEST_BATTERIES);
let floorBreached = false;
if (declaredBatteries.length < SELF_TEST_BATTERY_FLOOR) {
floorBreached = true;
floorFailure(
`SELF_TEST_BATTERIES declares ${declaredBatteries.length} batteries, below the pinned ` +
`${SELF_TEST_BATTERY_FLOOR} — a battery deleted from the roster takes its own floor with it.`,
);
}
for (const [name, count] of batterySeen) {
if (declaredBatteries.includes(name)) continue;
floorBreached = true;
floorFailure(
`self-test battery "${name}" registered ${count} case(s) but is not declared in ` +
'SELF_TEST_BATTERIES — an assertion attributed to no declared battery is one nothing floors.',
);
}
for (const name of declaredBatteries) {
const count = batterySeen.get(name) ?? 0;
if (count >= SELF_TEST_BATTERIES[name]) continue;
floorBreached = true;
floorFailure(
count === 0
? `self-test battery "${name}" DID NOT RUN — 0 cases registered, ${SELF_TEST_BATTERIES[name]} pinned. ` +
'The verdict below would have claimed those cases hold.'
: `self-test battery "${name}" registered ${count} case(s), below its pinned floor of ` +
`${SELF_TEST_BATTERIES[name]} — cases that used to run no longer do.`,
);
}
if (floorBreached) {
floorFailure(
'A battery at or below its floor means cases STOPPED RUNNING — the battery is the bug, not the ' +
'number. Find what stopped registering (an early return, a deleted block, a guard that now ' +
'skips) and restore it.',
);
}

if (failures.length) {
console.error(`✗ check:i18n --self-test — ${failures.length} failure(s)\n`);
for (const f of failures) console.error(` ${f}`);
Expand Down
Loading
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
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
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
100 changes: 100 additions & 0 deletions scripts/check-filter-alias-parity.mjs
Original file line numberDiff line numberDiff line change
Expand Up@@ -91,6 +91,41 @@ const ts = await requireDefaultExport('typescript', () => import('typescript'),
import { parseSourceFile } from './ts-parse.mjs';
import { isEntrypoint } from './invoked-as.mjs';

// ── The self-test's own battery roster and floor (#13489) ──────────────────
//
// `failures.length === 0` used to be this self-test's ONLY success condition, so
// "every case held" and "the cases never ran" printed the same line. Closed the
// way PR #13487 validated on check-doc-authoring: what is pinned is the
// registered NAMES, not a number. Every section opens with `battery('<name>')`,
// every assertion is attributed to the battery most recently opened, and the
// floor requires the OPENED set to equal the DECLARED set with each battery at
// or above its own count.
//
// ⛔ A pinned TOTAL is not the repair: a battery dropping from 9 cases to 3
// keeps a total "right" the moment a sibling grows.
//
// The counts are a FLOOR, not an equality — adding cases is ordinary work and
// must not red. A battery BELOW its floor means cases stopped running; the
// remedy is to find what stopped registering.
const SELF_TEST_BATTERIES = Object.freeze({
'1. The tree as it stands: both sides name the same four spellings.': 2,
'2. A fifth spelling on the NORMALIZER side only — the direction #8002 is about, and the one nothing else in the repo refuses.': 3,
'3. The same fifth spelling on BOTH sides is green again — the gate judges parity, not the size of the set.': 1,
'4. A fifth spelling on the INGRESS side only.': 2,
'5. A `$` alias folding INTO a filter spelling is a filter spelling. It reaches `where` through two hops, which is exactly the shape a reader comparing only the slot tables would miss.': 2,
'6. Rot: an unreadable shape must fail LOUDLY. A reader that matches nothing would otherwise compare two empty sets and report a pass.': 5,
'7. The wiring this gate depends on to run at all.': 3,
});

// DELETING an entry silences that battery's floor exactly as effectively as
// zeroing it, so the roster's own size is pinned too.
const SELF_TEST_BATTERY_FLOOR = 7;

// The key an assertion is filed under when no battery is open. It is not a
// declared battery, so it reds by the same set difference rather than silently
// inflating whichever battery happened to run last.
const UNATTRIBUTED_BATTERY = '(no battery open)';

const ROOT = join(fileURLToPath(new URL('.', import.meta.url)), '..');

/** The three files that declare a filter-slot spelling, by repo-relative path. */
Expand DownExpand Up@@ -491,14 +526,29 @@ export const FILTER_SLOT_QUERY_PARAMS: readonly string[] = (() => {
const SELF_TEST_VERDICT = 'check-filter-alias-parity self-test reached its verdict';

function selfTest() {
// The battery ledger this self-test's floor is evaluated against (#13489).
// `battery()` opens a battery; every assertion below is attributed to the one
// most recently opened, so a section that stops running stops registering and
// names ITSELF at the floor rather than going quiet.
const batterySeen = new Map();
let openBattery = null;
const battery = (name) => {
openBattery = name;
};
const registerCase = () => {
const b = openBattery ?? UNATTRIBUTED_BATTERY;
batterySeen.set(b, (batterySeen.get(b) ?? 0) + 1);
};
const failures = [];
const check = (name, condition, detail) => {
registerCase();
if (!condition) failures.push(`${name}${detail ? ` — ${detail}` : ''}`);
};
const run = (protocolText, restText, specText = FIXTURE_SPEC) =>
judge({ specText, protocolText, restText });

// 1. The tree as it stands: both sides name the same four spellings.
battery('1. The tree as it stands: both sides name the same four spellings.');
{
const { problems, protocolSet, restSet } = run(fixtureProtocol(), fixtureRest());
check('agreeing sides are green', problems.length === 0, problems[0]);
Expand All@@ -512,6 +562,7 @@ function selfTest() {

// 2. A fifth spelling on the NORMALIZER side only — the direction #8002 is
// about, and the one nothing else in the repo refuses.
battery('2. A fifth spelling on the NORMALIZER side only — the direction #8002 is about, and the one nothing else in the repo refuses.');
{
const { problems } = run(fixtureProtocol(['filters', '$filter', 'where_clause']), fixtureRest());
check('a normalizer-only fifth spelling is red', problems.length === 1, `saw ${problems.length}`);
Expand All@@ -529,6 +580,7 @@ function selfTest() {

// 3. The same fifth spelling on BOTH sides is green again — the gate judges
// parity, not the size of the set.
battery('3. The same fifth spelling on BOTH sides is green again — the gate judges parity, not the size of the set.');
{
const { problems } = run(
fixtureProtocol(['filters', '$filter', 'where_clause']),
Expand All@@ -538,6 +590,7 @@ function selfTest() {
}

// 4. A fifth spelling on the INGRESS side only.
battery('4. A fifth spelling on the INGRESS side only.');
{
const { problems } = run(fixtureProtocol(), fixtureRest(['filters', '$filter', 'where_clause']));
check('an ingress-only fifth spelling is red', problems.length === 1, `saw ${problems.length}`);
Expand All@@ -551,6 +604,7 @@ function selfTest() {
// 5. A `$` alias folding INTO a filter spelling is a filter spelling. It
// reaches `where` through two hops, which is exactly the shape a reader
// comparing only the slot tables would miss.
battery('5. A `$` alias folding INTO a filter spelling is a filter spelling. It reaches `where` through two hops, which is exactly the shape a reader comparing only the slot tables would miss.');
{
const { problems } = run(
fixtureProtocol(['filters', '$filter'], [['$top', 'top'], ['$filters', 'filters']]),
Expand All@@ -562,6 +616,7 @@ function selfTest() {

// 6. Rot: an unreadable shape must fail LOUDLY. A reader that matches
// nothing would otherwise compare two empty sets and report a pass.
battery('6. Rot: an unreadable shape must fail LOUDLY. A reader that matches nothing would otherwise compare two empty sets and report a pass.');
{
const { problems } = run(fixtureProtocol(), '\nexport const SOMETHING_ELSE = [];\n');
check('a missing ingress declaration is red', problems.length === 1, `saw ${problems.length}`);
Expand DownExpand Up@@ -595,6 +650,7 @@ function selfTest() {
}

// 7. The wiring this gate depends on to run at all.
battery('7. The wiring this gate depends on to run at all.');
{
const pkg = JSON.parse(readFileSync(join(ROOT, 'package.json'), 'utf8'));
const entry = pkg.scripts?.['check:filter-alias-parity'];
Expand All@@ -609,6 +665,50 @@ function selfTest() {
check('lint.yml runs the gate exactly once', wired.length === 1, `found ${wired.length}`);
}

// ── The floor: every declared battery RAN, and ran its cases (#13489) ────
//
// Evaluated after every battery has had its chance and BEFORE the verdict, so
// the success line below can only be printed by a run in which the set of
// batteries that registered assertions EQUALS the set declared. A set
// difference names WHICH battery stopped; a count says only that something did.
const floorFailure = (message) => { failures.push(message); };
const declaredBatteries = Object.keys(SELF_TEST_BATTERIES);
let floorBreached = false;
if (declaredBatteries.length < SELF_TEST_BATTERY_FLOOR) {
floorBreached = true;
floorFailure(
`SELF_TEST_BATTERIES declares ${declaredBatteries.length} batteries, below the pinned ` +
`${SELF_TEST_BATTERY_FLOOR} — a battery deleted from the roster takes its own floor with it.`,
);
}
for (const [name, count] of batterySeen) {
if (declaredBatteries.includes(name)) continue;
floorBreached = true;
floorFailure(
`self-test battery "${name}" registered ${count} case(s) but is not declared in ` +
'SELF_TEST_BATTERIES — an assertion attributed to no declared battery is one nothing floors.',
);
}
for (const name of declaredBatteries) {
const count = batterySeen.get(name) ?? 0;
if (count >= SELF_TEST_BATTERIES[name]) continue;
floorBreached = true;
floorFailure(
count === 0
? `self-test battery "${name}" DID NOT RUN — 0 cases registered, ${SELF_TEST_BATTERIES[name]} pinned. ` +
'The verdict below would have claimed those cases hold.'
: `self-test battery "${name}" registered ${count} case(s), below its pinned floor of ` +
`${SELF_TEST_BATTERIES[name]} — cases that used to run no longer do.`,
);
}
if (floorBreached) {
floorFailure(
'A battery at or below its floor means cases STOPPED RUNNING — the battery is the bug, not the ' +
'number. Find what stopped registering (an early return, a deleted block, a guard that now ' +
'skips) and restore it.',
);
}

if (failures.length) {
console.error('check:filter-alias-parity --self-test FAILED');
for (const f of failures) console.error(` - ${f}`);
Expand Down
94 changes: 94 additions & 0 deletions scripts/check-i18n-bundles.mjs
Original file line numberDiff line numberDiff line change
Expand Up@@ -103,6 +103,38 @@ import {
import { EXIT_FINDINGS, EXIT_PREREQUISITE_NOT_MET } from './import-prerequisite.mjs';
import { findExtractConfigs, flagsFromDocstring } from './i18n-bundle-surface.mjs';

// ── The self-test's own battery roster and floor (#13489) ──────────────────
//
// `failures.length === 0` used to be this self-test's ONLY success condition, so
// "every case held" and "the cases never ran" printed the same line. Closed the
// way PR #13487 validated on check-doc-authoring: what is pinned is the
// registered NAMES, not a number. Every section opens with `battery('<name>')`,
// every assertion is attributed to the battery most recently opened, and the
// floor requires the OPENED set to equal the DECLARED set with each battery at
// or above its own count.
//
// ⛔ A pinned TOTAL is not the repair: a battery dropping from 9 cases to 3
// keeps a total "right" the moment a sibling grows.
//
// The counts are a FLOOR, not an equality — adding cases is ordinary work and
// must not red. A battery BELOW its floor means cases stopped running; the
// remedy is to find what stopped registering.
const SELF_TEST_BATTERIES = Object.freeze({
'Third classifier (#5217): the build prerequisite. Same anti-#4690 duty as': 34,
'Fourth classifier (#7681): the OTHER prerequisite — a workspace package this': 24,
'Fifth classifier (#11647): the POPULATION — is there anything to grade, and': 11,
'The other cause, and the reason `=== 0` alone is not the whole condition: a': 8,
});

// DELETING an entry silences that battery's floor exactly as effectively as
// zeroing it, so the roster's own size is pinned too.
const SELF_TEST_BATTERY_FLOOR = 4;

// The key an assertion is filed under when no battery is open. It is not a
// declared battery, so it reds by the same set difference rather than silently
// inflating whichever battery happened to run last.
const UNATTRIBUTED_BATTERY = '(no battery open)';

/**
* The module this gate's POPULATION is enumerated by, declared as a whole
* literal so the derivation can see it (#9116).
Expand DownExpand Up@@ -436,8 +468,23 @@ function populationVerdict(population, activeFilter) {
const SELF_TEST_VERDICT = 'check-i18n-bundles self-test reached its verdict';

function selfTest() {
// The battery ledger this self-test's floor is evaluated against (#13489).
// `battery()` opens a battery; every assertion below is attributed to the one
// most recently opened, so a section that stops running stops registering and
// names ITSELF at the floor rather than going quiet.
const batterySeen = new Map();
let openBattery = null;
const battery = (name) => {
openBattery = name;
};
const registerCase = () => {
const b = openBattery ?? UNATTRIBUTED_BATTERY;
batterySeen.set(b, (batterySeen.get(b) ?? 0) + 1);
};
battery('Third classifier (#5217): the build prerequisite. Same anti-#4690 duty as');
const failures = [];
const expect = (name, cond, detail) => {
registerCase();
if (!cond) failures.push(`${name} — ${detail}`);
};

Expand DownExpand Up@@ -635,6 +682,7 @@ function selfTest() {
// send the reader to a rebuild that changes nothing — the #5862 defect (a
// confident diagnosis pointing somewhere innocent) rebuilt one layer down.
// -------------------------------------------------------------------------
battery('Fourth classifier (#7681): the OTHER prerequisite — a workspace package this');

// The failure #7681 reported, as node actually prints it: produced locally by
// importing a name that a package's built ESM does not export — a fixture
Expand DownExpand Up@@ -794,6 +842,7 @@ function selfTest() {
// classifier in this file is proven red against a recorded string, but "did
// this gate look at anything at all?" can only be proven by looking.
// -------------------------------------------------------------------------
battery('Fifth classifier (#11647): the POPULATION — is there anything to grade, and');

const popCwdBefore = process.cwd();
let offRootPopulation;
Expand DownExpand Up@@ -896,6 +945,7 @@ function selfTest() {

// The other cause, and the reason `=== 0` alone is not the whole condition: a
// filter that matched nothing is a typo, not an environment fact.
battery('The other cause, and the reason `=== 0` alone is not the whole condition: a');
const filterVerdict = populationVerdict(onRootPopulation, 'no-such-package');
expect('#11647 an unmatched --filter is refused', !!filterVerdict, 'a filter matching nothing must not render as OK (0 package(s))');
expect(
Expand DownExpand Up@@ -936,6 +986,50 @@ function selfTest() {
const longWalkError = unreadablePopulationDetail(new Error('E'.repeat(400))).join('\n');
expect('#11647 long walk errors are truncated', longWalkError.includes(`${'E'.repeat(160)}…`), 'a 400-char message must not be pasted whole');

// ── The floor: every declared battery RAN, and ran its cases (#13489) ────
//
// Evaluated after every battery has had its chance and BEFORE the verdict, so
// the success line below can only be printed by a run in which the set of
// batteries that registered assertions EQUALS the set declared. A set
// difference names WHICH battery stopped; a count says only that something did.
const floorFailure = (message) => { failures.push(message); };
const declaredBatteries = Object.keys(SELF_TEST_BATTERIES);
let floorBreached = false;
if (declaredBatteries.length < SELF_TEST_BATTERY_FLOOR) {
floorBreached = true;
floorFailure(
`SELF_TEST_BATTERIES declares ${declaredBatteries.length} batteries, below the pinned ` +
`${SELF_TEST_BATTERY_FLOOR} — a battery deleted from the roster takes its own floor with it.`,
);
}
for (const [name, count] of batterySeen) {
if (declaredBatteries.includes(name)) continue;
floorBreached = true;
floorFailure(
`self-test battery "${name}" registered ${count} case(s) but is not declared in ` +
'SELF_TEST_BATTERIES — an assertion attributed to no declared battery is one nothing floors.',
);
}
for (const name of declaredBatteries) {
const count = batterySeen.get(name) ?? 0;
if (count >= SELF_TEST_BATTERIES[name]) continue;
floorBreached = true;
floorFailure(
count === 0
? `self-test battery "${name}" DID NOT RUN — 0 cases registered, ${SELF_TEST_BATTERIES[name]} pinned. ` +
'The verdict below would have claimed those cases hold.'
: `self-test battery "${name}" registered ${count} case(s), below its pinned floor of ` +
`${SELF_TEST_BATTERIES[name]} — cases that used to run no longer do.`,
);
}
if (floorBreached) {
floorFailure(
'A battery at or below its floor means cases STOPPED RUNNING — the battery is the bug, not the ' +
'number. Find what stopped registering (an early return, a deleted block, a guard that now ' +
'skips) and restore it.',
);
}

if (failures.length) {
console.error(`✗ check:i18n --self-test — ${failures.length} failure(s)\n`);
for (const f of failures) console.error(` ${f}`);
Expand Down
Loading
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
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
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
100 changes: 100 additions & 0 deletions scripts/check-filter-alias-parity.mjs
Original file line numberDiff line numberDiff line change
Expand Up@@ -91,6 +91,41 @@ const ts = await requireDefaultExport('typescript', () => import('typescript'),
import { parseSourceFile } from './ts-parse.mjs';
import { isEntrypoint } from './invoked-as.mjs';

// ── The self-test's own battery roster and floor (#13489) ──────────────────
//
// `failures.length === 0` used to be this self-test's ONLY success condition, so
// "every case held" and "the cases never ran" printed the same line. Closed the
// way PR #13487 validated on check-doc-authoring: what is pinned is the
// registered NAMES, not a number. Every section opens with `battery('<name>')`,
// every assertion is attributed to the battery most recently opened, and the
// floor requires the OPENED set to equal the DECLARED set with each battery at
// or above its own count.
//
// ⛔ A pinned TOTAL is not the repair: a battery dropping from 9 cases to 3
// keeps a total "right" the moment a sibling grows.
//
// The counts are a FLOOR, not an equality — adding cases is ordinary work and
// must not red. A battery BELOW its floor means cases stopped running; the
// remedy is to find what stopped registering.
const SELF_TEST_BATTERIES = Object.freeze({
'1. The tree as it stands: both sides name the same four spellings.': 2,
'2. A fifth spelling on the NORMALIZER side only — the direction #8002 is about, and the one nothing else in the repo refuses.': 3,
'3. The same fifth spelling on BOTH sides is green again — the gate judges parity, not the size of the set.': 1,
'4. A fifth spelling on the INGRESS side only.': 2,
'5. A `$` alias folding INTO a filter spelling is a filter spelling. It reaches `where` through two hops, which is exactly the shape a reader comparing only the slot tables would miss.': 2,
'6. Rot: an unreadable shape must fail LOUDLY. A reader that matches nothing would otherwise compare two empty sets and report a pass.': 5,
'7. The wiring this gate depends on to run at all.': 3,
});

// DELETING an entry silences that battery's floor exactly as effectively as
// zeroing it, so the roster's own size is pinned too.
const SELF_TEST_BATTERY_FLOOR = 7;

// The key an assertion is filed under when no battery is open. It is not a
// declared battery, so it reds by the same set difference rather than silently
// inflating whichever battery happened to run last.
const UNATTRIBUTED_BATTERY = '(no battery open)';

const ROOT = join(fileURLToPath(new URL('.', import.meta.url)), '..');

/** The three files that declare a filter-slot spelling, by repo-relative path. */
Expand DownExpand Up@@ -491,14 +526,29 @@ export const FILTER_SLOT_QUERY_PARAMS: readonly string[] = (() => {
const SELF_TEST_VERDICT = 'check-filter-alias-parity self-test reached its verdict';

function selfTest() {
// The battery ledger this self-test's floor is evaluated against (#13489).
// `battery()` opens a battery; every assertion below is attributed to the one
// most recently opened, so a section that stops running stops registering and
// names ITSELF at the floor rather than going quiet.
const batterySeen = new Map();
let openBattery = null;
const battery = (name) => {
openBattery = name;
};
const registerCase = () => {
const b = openBattery ?? UNATTRIBUTED_BATTERY;
batterySeen.set(b, (batterySeen.get(b) ?? 0) + 1);
};
const failures = [];
const check = (name, condition, detail) => {
registerCase();
if (!condition) failures.push(`${name}${detail ? ` — ${detail}` : ''}`);
};
const run = (protocolText, restText, specText = FIXTURE_SPEC) =>
judge({ specText, protocolText, restText });

// 1. The tree as it stands: both sides name the same four spellings.
battery('1. The tree as it stands: both sides name the same four spellings.');
{
const { problems, protocolSet, restSet } = run(fixtureProtocol(), fixtureRest());
check('agreeing sides are green', problems.length === 0, problems[0]);
Expand All@@ -512,6 +562,7 @@ function selfTest() {

// 2. A fifth spelling on the NORMALIZER side only — the direction #8002 is
// about, and the one nothing else in the repo refuses.
battery('2. A fifth spelling on the NORMALIZER side only — the direction #8002 is about, and the one nothing else in the repo refuses.');
{
const { problems } = run(fixtureProtocol(['filters', '$filter', 'where_clause']), fixtureRest());
check('a normalizer-only fifth spelling is red', problems.length === 1, `saw ${problems.length}`);
Expand All@@ -529,6 +580,7 @@ function selfTest() {

// 3. The same fifth spelling on BOTH sides is green again — the gate judges
// parity, not the size of the set.
battery('3. The same fifth spelling on BOTH sides is green again — the gate judges parity, not the size of the set.');
{
const { problems } = run(
fixtureProtocol(['filters', '$filter', 'where_clause']),
Expand All@@ -538,6 +590,7 @@ function selfTest() {
}

// 4. A fifth spelling on the INGRESS side only.
battery('4. A fifth spelling on the INGRESS side only.');
{
const { problems } = run(fixtureProtocol(), fixtureRest(['filters', '$filter', 'where_clause']));
check('an ingress-only fifth spelling is red', problems.length === 1, `saw ${problems.length}`);
Expand All@@ -551,6 +604,7 @@ function selfTest() {
// 5. A `$` alias folding INTO a filter spelling is a filter spelling. It
// reaches `where` through two hops, which is exactly the shape a reader
// comparing only the slot tables would miss.
battery('5. A `$` alias folding INTO a filter spelling is a filter spelling. It reaches `where` through two hops, which is exactly the shape a reader comparing only the slot tables would miss.');
{
const { problems } = run(
fixtureProtocol(['filters', '$filter'], [['$top', 'top'], ['$filters', 'filters']]),
Expand All@@ -562,6 +616,7 @@ function selfTest() {

// 6. Rot: an unreadable shape must fail LOUDLY. A reader that matches
// nothing would otherwise compare two empty sets and report a pass.
battery('6. Rot: an unreadable shape must fail LOUDLY. A reader that matches nothing would otherwise compare two empty sets and report a pass.');
{
const { problems } = run(fixtureProtocol(), '\nexport const SOMETHING_ELSE = [];\n');
check('a missing ingress declaration is red', problems.length === 1, `saw ${problems.length}`);
Expand DownExpand Up@@ -595,6 +650,7 @@ function selfTest() {
}

// 7. The wiring this gate depends on to run at all.
battery('7. The wiring this gate depends on to run at all.');
{
const pkg = JSON.parse(readFileSync(join(ROOT, 'package.json'), 'utf8'));
const entry = pkg.scripts?.['check:filter-alias-parity'];
Expand All@@ -609,6 +665,50 @@ function selfTest() {
check('lint.yml runs the gate exactly once', wired.length === 1, `found ${wired.length}`);
}

// ── The floor: every declared battery RAN, and ran its cases (#13489) ────
//
// Evaluated after every battery has had its chance and BEFORE the verdict, so
// the success line below can only be printed by a run in which the set of
// batteries that registered assertions EQUALS the set declared. A set
// difference names WHICH battery stopped; a count says only that something did.
const floorFailure = (message) => { failures.push(message); };
const declaredBatteries = Object.keys(SELF_TEST_BATTERIES);
let floorBreached = false;
if (declaredBatteries.length < SELF_TEST_BATTERY_FLOOR) {
floorBreached = true;
floorFailure(
`SELF_TEST_BATTERIES declares ${declaredBatteries.length} batteries, below the pinned ` +
`${SELF_TEST_BATTERY_FLOOR} — a battery deleted from the roster takes its own floor with it.`,
);
}
for (const [name, count] of batterySeen) {
if (declaredBatteries.includes(name)) continue;
floorBreached = true;
floorFailure(
`self-test battery "${name}" registered ${count} case(s) but is not declared in ` +
'SELF_TEST_BATTERIES — an assertion attributed to no declared battery is one nothing floors.',
);
}
for (const name of declaredBatteries) {
const count = batterySeen.get(name) ?? 0;
if (count >= SELF_TEST_BATTERIES[name]) continue;
floorBreached = true;
floorFailure(
count === 0
? `self-test battery "${name}" DID NOT RUN — 0 cases registered, ${SELF_TEST_BATTERIES[name]} pinned. ` +
'The verdict below would have claimed those cases hold.'
: `self-test battery "${name}" registered ${count} case(s), below its pinned floor of ` +
`${SELF_TEST_BATTERIES[name]} — cases that used to run no longer do.`,
);
}
if (floorBreached) {
floorFailure(
'A battery at or below its floor means cases STOPPED RUNNING — the battery is the bug, not the ' +
'number. Find what stopped registering (an early return, a deleted block, a guard that now ' +
'skips) and restore it.',
);
}

if (failures.length) {
console.error('check:filter-alias-parity --self-test FAILED');
for (const f of failures) console.error(` - ${f}`);
Expand Down
94 changes: 94 additions & 0 deletions scripts/check-i18n-bundles.mjs
Original file line numberDiff line numberDiff line change
Expand Up@@ -103,6 +103,38 @@ import {
import { EXIT_FINDINGS, EXIT_PREREQUISITE_NOT_MET } from './import-prerequisite.mjs';
import { findExtractConfigs, flagsFromDocstring } from './i18n-bundle-surface.mjs';

// ── The self-test's own battery roster and floor (#13489) ──────────────────
//
// `failures.length === 0` used to be this self-test's ONLY success condition, so
// "every case held" and "the cases never ran" printed the same line. Closed the
// way PR #13487 validated on check-doc-authoring: what is pinned is the
// registered NAMES, not a number. Every section opens with `battery('<name>')`,
// every assertion is attributed to the battery most recently opened, and the
// floor requires the OPENED set to equal the DECLARED set with each battery at
// or above its own count.
//
// ⛔ A pinned TOTAL is not the repair: a battery dropping from 9 cases to 3
// keeps a total "right" the moment a sibling grows.
//
// The counts are a FLOOR, not an equality — adding cases is ordinary work and
// must not red. A battery BELOW its floor means cases stopped running; the
// remedy is to find what stopped registering.
const SELF_TEST_BATTERIES = Object.freeze({
'Third classifier (#5217): the build prerequisite. Same anti-#4690 duty as': 34,
'Fourth classifier (#7681): the OTHER prerequisite — a workspace package this': 24,
'Fifth classifier (#11647): the POPULATION — is there anything to grade, and': 11,
'The other cause, and the reason `=== 0` alone is not the whole condition: a': 8,
});

// DELETING an entry silences that battery's floor exactly as effectively as
// zeroing it, so the roster's own size is pinned too.
const SELF_TEST_BATTERY_FLOOR = 4;

// The key an assertion is filed under when no battery is open. It is not a
// declared battery, so it reds by the same set difference rather than silently
// inflating whichever battery happened to run last.
const UNATTRIBUTED_BATTERY = '(no battery open)';

/**
* The module this gate's POPULATION is enumerated by, declared as a whole
* literal so the derivation can see it (#9116).
Expand DownExpand Up@@ -436,8 +468,23 @@ function populationVerdict(population, activeFilter) {
const SELF_TEST_VERDICT = 'check-i18n-bundles self-test reached its verdict';

function selfTest() {
// The battery ledger this self-test's floor is evaluated against (#13489).
// `battery()` opens a battery; every assertion below is attributed to the one
// most recently opened, so a section that stops running stops registering and
// names ITSELF at the floor rather than going quiet.
const batterySeen = new Map();
let openBattery = null;
const battery = (name) => {
openBattery = name;
};
const registerCase = () => {
const b = openBattery ?? UNATTRIBUTED_BATTERY;
batterySeen.set(b, (batterySeen.get(b) ?? 0) + 1);
};
battery('Third classifier (#5217): the build prerequisite. Same anti-#4690 duty as');
const failures = [];
const expect = (name, cond, detail) => {
registerCase();
if (!cond) failures.push(`${name} — ${detail}`);
};

Expand DownExpand Up@@ -635,6 +682,7 @@ function selfTest() {
// send the reader to a rebuild that changes nothing — the #5862 defect (a
// confident diagnosis pointing somewhere innocent) rebuilt one layer down.
// -------------------------------------------------------------------------
battery('Fourth classifier (#7681): the OTHER prerequisite — a workspace package this');

// The failure #7681 reported, as node actually prints it: produced locally by
// importing a name that a package's built ESM does not export — a fixture
Expand DownExpand Up@@ -794,6 +842,7 @@ function selfTest() {
// classifier in this file is proven red against a recorded string, but "did
// this gate look at anything at all?" can only be proven by looking.
// -------------------------------------------------------------------------
battery('Fifth classifier (#11647): the POPULATION — is there anything to grade, and');

const popCwdBefore = process.cwd();
let offRootPopulation;
Expand DownExpand Up@@ -896,6 +945,7 @@ function selfTest() {

// The other cause, and the reason `=== 0` alone is not the whole condition: a
// filter that matched nothing is a typo, not an environment fact.
battery('The other cause, and the reason `=== 0` alone is not the whole condition: a');
const filterVerdict = populationVerdict(onRootPopulation, 'no-such-package');
expect('#11647 an unmatched --filter is refused', !!filterVerdict, 'a filter matching nothing must not render as OK (0 package(s))');
expect(
Expand DownExpand Up@@ -936,6 +986,50 @@ function selfTest() {
const longWalkError = unreadablePopulationDetail(new Error('E'.repeat(400))).join('\n');
expect('#11647 long walk errors are truncated', longWalkError.includes(`${'E'.repeat(160)}…`), 'a 400-char message must not be pasted whole');

// ── The floor: every declared battery RAN, and ran its cases (#13489) ────
//
// Evaluated after every battery has had its chance and BEFORE the verdict, so
// the success line below can only be printed by a run in which the set of
// batteries that registered assertions EQUALS the set declared. A set
// difference names WHICH battery stopped; a count says only that something did.
const floorFailure = (message) => { failures.push(message); };
const declaredBatteries = Object.keys(SELF_TEST_BATTERIES);
let floorBreached = false;
if (declaredBatteries.length < SELF_TEST_BATTERY_FLOOR) {
floorBreached = true;
floorFailure(
`SELF_TEST_BATTERIES declares ${declaredBatteries.length} batteries, below the pinned ` +
`${SELF_TEST_BATTERY_FLOOR} — a battery deleted from the roster takes its own floor with it.`,
);
}
for (const [name, count] of batterySeen) {
if (declaredBatteries.includes(name)) continue;
floorBreached = true;
floorFailure(
`self-test battery "${name}" registered ${count} case(s) but is not declared in ` +
'SELF_TEST_BATTERIES — an assertion attributed to no declared battery is one nothing floors.',
);
}
for (const name of declaredBatteries) {
const count = batterySeen.get(name) ?? 0;
if (count >= SELF_TEST_BATTERIES[name]) continue;
floorBreached = true;
floorFailure(
count === 0
? `self-test battery "${name}" DID NOT RUN — 0 cases registered, ${SELF_TEST_BATTERIES[name]} pinned. ` +
'The verdict below would have claimed those cases hold.'
: `self-test battery "${name}" registered ${count} case(s), below its pinned floor of ` +
`${SELF_TEST_BATTERIES[name]} — cases that used to run no longer do.`,
);
}
if (floorBreached) {
floorFailure(
'A battery at or below its floor means cases STOPPED RUNNING — the battery is the bug, not the ' +
'number. Find what stopped registering (an early return, a deleted block, a guard that now ' +
'skips) and restore it.',
);
}

if (failures.length) {
console.error(`✗ check:i18n --self-test — ${failures.length} failure(s)\n`);
for (const f of failures) console.error(` ${f}`);
Expand Down
Loading
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
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
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
100 changes: 100 additions & 0 deletions scripts/check-filter-alias-parity.mjs
Original file line numberDiff line numberDiff line change
Expand Up@@ -91,6 +91,41 @@ const ts = await requireDefaultExport('typescript', () => import('typescript'),
import { parseSourceFile } from './ts-parse.mjs';
import { isEntrypoint } from './invoked-as.mjs';

// ── The self-test's own battery roster and floor (#13489) ──────────────────
//
// `failures.length === 0` used to be this self-test's ONLY success condition, so
// "every case held" and "the cases never ran" printed the same line. Closed the
// way PR #13487 validated on check-doc-authoring: what is pinned is the
// registered NAMES, not a number. Every section opens with `battery('<name>')`,
// every assertion is attributed to the battery most recently opened, and the
// floor requires the OPENED set to equal the DECLARED set with each battery at
// or above its own count.
//
// ⛔ A pinned TOTAL is not the repair: a battery dropping from 9 cases to 3
// keeps a total "right" the moment a sibling grows.
//
// The counts are a FLOOR, not an equality — adding cases is ordinary work and
// must not red. A battery BELOW its floor means cases stopped running; the
// remedy is to find what stopped registering.
const SELF_TEST_BATTERIES = Object.freeze({
'1. The tree as it stands: both sides name the same four spellings.': 2,
'2. A fifth spelling on the NORMALIZER side only — the direction #8002 is about, and the one nothing else in the repo refuses.': 3,
'3. The same fifth spelling on BOTH sides is green again — the gate judges parity, not the size of the set.': 1,
'4. A fifth spelling on the INGRESS side only.': 2,
'5. A `$` alias folding INTO a filter spelling is a filter spelling. It reaches `where` through two hops, which is exactly the shape a reader comparing only the slot tables would miss.': 2,
'6. Rot: an unreadable shape must fail LOUDLY. A reader that matches nothing would otherwise compare two empty sets and report a pass.': 5,
'7. The wiring this gate depends on to run at all.': 3,
});

// DELETING an entry silences that battery's floor exactly as effectively as
// zeroing it, so the roster's own size is pinned too.
const SELF_TEST_BATTERY_FLOOR = 7;

// The key an assertion is filed under when no battery is open. It is not a
// declared battery, so it reds by the same set difference rather than silently
// inflating whichever battery happened to run last.
const UNATTRIBUTED_BATTERY = '(no battery open)';

const ROOT = join(fileURLToPath(new URL('.', import.meta.url)), '..');

/** The three files that declare a filter-slot spelling, by repo-relative path. */
Expand DownExpand Up@@ -491,14 +526,29 @@ export const FILTER_SLOT_QUERY_PARAMS: readonly string[] = (() => {
const SELF_TEST_VERDICT = 'check-filter-alias-parity self-test reached its verdict';

function selfTest() {
// The battery ledger this self-test's floor is evaluated against (#13489).
// `battery()` opens a battery; every assertion below is attributed to the one
// most recently opened, so a section that stops running stops registering and
// names ITSELF at the floor rather than going quiet.
const batterySeen = new Map();
let openBattery = null;
const battery = (name) => {
openBattery = name;
};
const registerCase = () => {
const b = openBattery ?? UNATTRIBUTED_BATTERY;
batterySeen.set(b, (batterySeen.get(b) ?? 0) + 1);
};
const failures = [];
const check = (name, condition, detail) => {
registerCase();
if (!condition) failures.push(`${name}${detail ? ` — ${detail}` : ''}`);
};
const run = (protocolText, restText, specText = FIXTURE_SPEC) =>
judge({ specText, protocolText, restText });

// 1. The tree as it stands: both sides name the same four spellings.
battery('1. The tree as it stands: both sides name the same four spellings.');
{
const { problems, protocolSet, restSet } = run(fixtureProtocol(), fixtureRest());
check('agreeing sides are green', problems.length === 0, problems[0]);
Expand All@@ -512,6 +562,7 @@ function selfTest() {

// 2. A fifth spelling on the NORMALIZER side only — the direction #8002 is
// about, and the one nothing else in the repo refuses.
battery('2. A fifth spelling on the NORMALIZER side only — the direction #8002 is about, and the one nothing else in the repo refuses.');
{
const { problems } = run(fixtureProtocol(['filters', '$filter', 'where_clause']), fixtureRest());
check('a normalizer-only fifth spelling is red', problems.length === 1, `saw ${problems.length}`);
Expand All@@ -529,6 +580,7 @@ function selfTest() {

// 3. The same fifth spelling on BOTH sides is green again — the gate judges
// parity, not the size of the set.
battery('3. The same fifth spelling on BOTH sides is green again — the gate judges parity, not the size of the set.');
{
const { problems } = run(
fixtureProtocol(['filters', '$filter', 'where_clause']),
Expand All@@ -538,6 +590,7 @@ function selfTest() {
}

// 4. A fifth spelling on the INGRESS side only.
battery('4. A fifth spelling on the INGRESS side only.');
{
const { problems } = run(fixtureProtocol(), fixtureRest(['filters', '$filter', 'where_clause']));
check('an ingress-only fifth spelling is red', problems.length === 1, `saw ${problems.length}`);
Expand All@@ -551,6 +604,7 @@ function selfTest() {
// 5. A `$` alias folding INTO a filter spelling is a filter spelling. It
// reaches `where` through two hops, which is exactly the shape a reader
// comparing only the slot tables would miss.
battery('5. A `$` alias folding INTO a filter spelling is a filter spelling. It reaches `where` through two hops, which is exactly the shape a reader comparing only the slot tables would miss.');
{
const { problems } = run(
fixtureProtocol(['filters', '$filter'], [['$top', 'top'], ['$filters', 'filters']]),
Expand All@@ -562,6 +616,7 @@ function selfTest() {

// 6. Rot: an unreadable shape must fail LOUDLY. A reader that matches
// nothing would otherwise compare two empty sets and report a pass.
battery('6. Rot: an unreadable shape must fail LOUDLY. A reader that matches nothing would otherwise compare two empty sets and report a pass.');
{
const { problems } = run(fixtureProtocol(), '\nexport const SOMETHING_ELSE = [];\n');
check('a missing ingress declaration is red', problems.length === 1, `saw ${problems.length}`);
Expand DownExpand Up@@ -595,6 +650,7 @@ function selfTest() {
}

// 7. The wiring this gate depends on to run at all.
battery('7. The wiring this gate depends on to run at all.');
{
const pkg = JSON.parse(readFileSync(join(ROOT, 'package.json'), 'utf8'));
const entry = pkg.scripts?.['check:filter-alias-parity'];
Expand All@@ -609,6 +665,50 @@ function selfTest() {
check('lint.yml runs the gate exactly once', wired.length === 1, `found ${wired.length}`);
}

// ── The floor: every declared battery RAN, and ran its cases (#13489) ────
//
// Evaluated after every battery has had its chance and BEFORE the verdict, so
// the success line below can only be printed by a run in which the set of
// batteries that registered assertions EQUALS the set declared. A set
// difference names WHICH battery stopped; a count says only that something did.
const floorFailure = (message) => { failures.push(message); };
const declaredBatteries = Object.keys(SELF_TEST_BATTERIES);
let floorBreached = false;
if (declaredBatteries.length < SELF_TEST_BATTERY_FLOOR) {
floorBreached = true;
floorFailure(
`SELF_TEST_BATTERIES declares ${declaredBatteries.length} batteries, below the pinned ` +
`${SELF_TEST_BATTERY_FLOOR} — a battery deleted from the roster takes its own floor with it.`,
);
}
for (const [name, count] of batterySeen) {
if (declaredBatteries.includes(name)) continue;
floorBreached = true;
floorFailure(
`self-test battery "${name}" registered ${count} case(s) but is not declared in ` +
'SELF_TEST_BATTERIES — an assertion attributed to no declared battery is one nothing floors.',
);
}
for (const name of declaredBatteries) {
const count = batterySeen.get(name) ?? 0;
if (count >= SELF_TEST_BATTERIES[name]) continue;
floorBreached = true;
floorFailure(
count === 0
? `self-test battery "${name}" DID NOT RUN — 0 cases registered, ${SELF_TEST_BATTERIES[name]} pinned. ` +
'The verdict below would have claimed those cases hold.'
: `self-test battery "${name}" registered ${count} case(s), below its pinned floor of ` +
`${SELF_TEST_BATTERIES[name]} — cases that used to run no longer do.`,
);
}
if (floorBreached) {
floorFailure(
'A battery at or below its floor means cases STOPPED RUNNING — the battery is the bug, not the ' +
'number. Find what stopped registering (an early return, a deleted block, a guard that now ' +
'skips) and restore it.',
);
}

if (failures.length) {
console.error('check:filter-alias-parity --self-test FAILED');
for (const f of failures) console.error(` - ${f}`);
Expand Down
94 changes: 94 additions & 0 deletions scripts/check-i18n-bundles.mjs
Original file line numberDiff line numberDiff line change
Expand Up@@ -103,6 +103,38 @@ import {
import { EXIT_FINDINGS, EXIT_PREREQUISITE_NOT_MET } from './import-prerequisite.mjs';
import { findExtractConfigs, flagsFromDocstring } from './i18n-bundle-surface.mjs';

// ── The self-test's own battery roster and floor (#13489) ──────────────────
//
// `failures.length === 0` used to be this self-test's ONLY success condition, so
// "every case held" and "the cases never ran" printed the same line. Closed the
// way PR #13487 validated on check-doc-authoring: what is pinned is the
// registered NAMES, not a number. Every section opens with `battery('<name>')`,
// every assertion is attributed to the battery most recently opened, and the
// floor requires the OPENED set to equal the DECLARED set with each battery at
// or above its own count.
//
// ⛔ A pinned TOTAL is not the repair: a battery dropping from 9 cases to 3
// keeps a total "right" the moment a sibling grows.
//
// The counts are a FLOOR, not an equality — adding cases is ordinary work and
// must not red. A battery BELOW its floor means cases stopped running; the
// remedy is to find what stopped registering.
const SELF_TEST_BATTERIES = Object.freeze({
'Third classifier (#5217): the build prerequisite. Same anti-#4690 duty as': 34,
'Fourth classifier (#7681): the OTHER prerequisite — a workspace package this': 24,
'Fifth classifier (#11647): the POPULATION — is there anything to grade, and': 11,
'The other cause, and the reason `=== 0` alone is not the whole condition: a': 8,
});

// DELETING an entry silences that battery's floor exactly as effectively as
// zeroing it, so the roster's own size is pinned too.
const SELF_TEST_BATTERY_FLOOR = 4;

// The key an assertion is filed under when no battery is open. It is not a
// declared battery, so it reds by the same set difference rather than silently
// inflating whichever battery happened to run last.
const UNATTRIBUTED_BATTERY = '(no battery open)';

/**
* The module this gate's POPULATION is enumerated by, declared as a whole
* literal so the derivation can see it (#9116).
Expand DownExpand Up@@ -436,8 +468,23 @@ function populationVerdict(population, activeFilter) {
const SELF_TEST_VERDICT = 'check-i18n-bundles self-test reached its verdict';

function selfTest() {
// The battery ledger this self-test's floor is evaluated against (#13489).
// `battery()` opens a battery; every assertion below is attributed to the one
// most recently opened, so a section that stops running stops registering and
// names ITSELF at the floor rather than going quiet.
const batterySeen = new Map();
let openBattery = null;
const battery = (name) => {
openBattery = name;
};
const registerCase = () => {
const b = openBattery ?? UNATTRIBUTED_BATTERY;
batterySeen.set(b, (batterySeen.get(b) ?? 0) + 1);
};
battery('Third classifier (#5217): the build prerequisite. Same anti-#4690 duty as');
const failures = [];
const expect = (name, cond, detail) => {
registerCase();
if (!cond) failures.push(`${name} — ${detail}`);
};

Expand DownExpand Up@@ -635,6 +682,7 @@ function selfTest() {
// send the reader to a rebuild that changes nothing — the #5862 defect (a
// confident diagnosis pointing somewhere innocent) rebuilt one layer down.
// -------------------------------------------------------------------------
battery('Fourth classifier (#7681): the OTHER prerequisite — a workspace package this');

// The failure #7681 reported, as node actually prints it: produced locally by
// importing a name that a package's built ESM does not export — a fixture
Expand DownExpand Up@@ -794,6 +842,7 @@ function selfTest() {
// classifier in this file is proven red against a recorded string, but "did
// this gate look at anything at all?" can only be proven by looking.
// -------------------------------------------------------------------------
battery('Fifth classifier (#11647): the POPULATION — is there anything to grade, and');

const popCwdBefore = process.cwd();
let offRootPopulation;
Expand DownExpand Up@@ -896,6 +945,7 @@ function selfTest() {

// The other cause, and the reason `=== 0` alone is not the whole condition: a
// filter that matched nothing is a typo, not an environment fact.
battery('The other cause, and the reason `=== 0` alone is not the whole condition: a');
const filterVerdict = populationVerdict(onRootPopulation, 'no-such-package');
expect('#11647 an unmatched --filter is refused', !!filterVerdict, 'a filter matching nothing must not render as OK (0 package(s))');
expect(
Expand DownExpand Up@@ -936,6 +986,50 @@ function selfTest() {
const longWalkError = unreadablePopulationDetail(new Error('E'.repeat(400))).join('\n');
expect('#11647 long walk errors are truncated', longWalkError.includes(`${'E'.repeat(160)}…`), 'a 400-char message must not be pasted whole');

// ── The floor: every declared battery RAN, and ran its cases (#13489) ────
//
// Evaluated after every battery has had its chance and BEFORE the verdict, so
// the success line below can only be printed by a run in which the set of
// batteries that registered assertions EQUALS the set declared. A set
// difference names WHICH battery stopped; a count says only that something did.
const floorFailure = (message) => { failures.push(message); };
const declaredBatteries = Object.keys(SELF_TEST_BATTERIES);
let floorBreached = false;
if (declaredBatteries.length < SELF_TEST_BATTERY_FLOOR) {
floorBreached = true;
floorFailure(
`SELF_TEST_BATTERIES declares ${declaredBatteries.length} batteries, below the pinned ` +
`${SELF_TEST_BATTERY_FLOOR} — a battery deleted from the roster takes its own floor with it.`,
);
}
for (const [name, count] of batterySeen) {
if (declaredBatteries.includes(name)) continue;
floorBreached = true;
floorFailure(
`self-test battery "${name}" registered ${count} case(s) but is not declared in ` +
'SELF_TEST_BATTERIES — an assertion attributed to no declared battery is one nothing floors.',
);
}
for (const name of declaredBatteries) {
const count = batterySeen.get(name) ?? 0;
if (count >= SELF_TEST_BATTERIES[name]) continue;
floorBreached = true;
floorFailure(
count === 0
? `self-test battery "${name}" DID NOT RUN — 0 cases registered, ${SELF_TEST_BATTERIES[name]} pinned. ` +
'The verdict below would have claimed those cases hold.'
: `self-test battery "${name}" registered ${count} case(s), below its pinned floor of ` +
`${SELF_TEST_BATTERIES[name]} — cases that used to run no longer do.`,
);
}
if (floorBreached) {
floorFailure(
'A battery at or below its floor means cases STOPPED RUNNING — the battery is the bug, not the ' +
'number. Find what stopped registering (an early return, a deleted block, a guard that now ' +
'skips) and restore it.',
);
}

if (failures.length) {
console.error(`✗ check:i18n --self-test — ${failures.length} failure(s)\n`);
for (const f of failures) console.error(` ${f}`);
Expand Down
Loading
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
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
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
100 changes: 100 additions & 0 deletions scripts/check-filter-alias-parity.mjs
Original file line numberDiff line numberDiff line change
Expand Up@@ -91,6 +91,41 @@ const ts = await requireDefaultExport('typescript', () => import('typescript'),
import { parseSourceFile } from './ts-parse.mjs';
import { isEntrypoint } from './invoked-as.mjs';

// ── The self-test's own battery roster and floor (#13489) ──────────────────
//
// `failures.length === 0` used to be this self-test's ONLY success condition, so
// "every case held" and "the cases never ran" printed the same line. Closed the
// way PR #13487 validated on check-doc-authoring: what is pinned is the
// registered NAMES, not a number. Every section opens with `battery('<name>')`,
// every assertion is attributed to the battery most recently opened, and the
// floor requires the OPENED set to equal the DECLARED set with each battery at
// or above its own count.
//
// ⛔ A pinned TOTAL is not the repair: a battery dropping from 9 cases to 3
// keeps a total "right" the moment a sibling grows.
//
// The counts are a FLOOR, not an equality — adding cases is ordinary work and
// must not red. A battery BELOW its floor means cases stopped running; the
// remedy is to find what stopped registering.
const SELF_TEST_BATTERIES = Object.freeze({
'1. The tree as it stands: both sides name the same four spellings.': 2,
'2. A fifth spelling on the NORMALIZER side only — the direction #8002 is about, and the one nothing else in the repo refuses.': 3,
'3. The same fifth spelling on BOTH sides is green again — the gate judges parity, not the size of the set.': 1,
'4. A fifth spelling on the INGRESS side only.': 2,
'5. A `$` alias folding INTO a filter spelling is a filter spelling. It reaches `where` through two hops, which is exactly the shape a reader comparing only the slot tables would miss.': 2,
'6. Rot: an unreadable shape must fail LOUDLY. A reader that matches nothing would otherwise compare two empty sets and report a pass.': 5,
'7. The wiring this gate depends on to run at all.': 3,
});

// DELETING an entry silences that battery's floor exactly as effectively as
// zeroing it, so the roster's own size is pinned too.
const SELF_TEST_BATTERY_FLOOR = 7;

// The key an assertion is filed under when no battery is open. It is not a
// declared battery, so it reds by the same set difference rather than silently
// inflating whichever battery happened to run last.
const UNATTRIBUTED_BATTERY = '(no battery open)';

const ROOT = join(fileURLToPath(new URL('.', import.meta.url)), '..');

/** The three files that declare a filter-slot spelling, by repo-relative path. */
Expand DownExpand Up@@ -491,14 +526,29 @@ export const FILTER_SLOT_QUERY_PARAMS: readonly string[] = (() => {
const SELF_TEST_VERDICT = 'check-filter-alias-parity self-test reached its verdict';

function selfTest() {
// The battery ledger this self-test's floor is evaluated against (#13489).
// `battery()` opens a battery; every assertion below is attributed to the one
// most recently opened, so a section that stops running stops registering and
// names ITSELF at the floor rather than going quiet.
const batterySeen = new Map();
let openBattery = null;
const battery = (name) => {
openBattery = name;
};
const registerCase = () => {
const b = openBattery ?? UNATTRIBUTED_BATTERY;
batterySeen.set(b, (batterySeen.get(b) ?? 0) + 1);
};
const failures = [];
const check = (name, condition, detail) => {
registerCase();
if (!condition) failures.push(`${name}${detail ? ` — ${detail}` : ''}`);
};
const run = (protocolText, restText, specText = FIXTURE_SPEC) =>
judge({ specText, protocolText, restText });

// 1. The tree as it stands: both sides name the same four spellings.
battery('1. The tree as it stands: both sides name the same four spellings.');
{
const { problems, protocolSet, restSet } = run(fixtureProtocol(), fixtureRest());
check('agreeing sides are green', problems.length === 0, problems[0]);
Expand All@@ -512,6 +562,7 @@ function selfTest() {

// 2. A fifth spelling on the NORMALIZER side only — the direction #8002 is
// about, and the one nothing else in the repo refuses.
battery('2. A fifth spelling on the NORMALIZER side only — the direction #8002 is about, and the one nothing else in the repo refuses.');
{
const { problems } = run(fixtureProtocol(['filters', '$filter', 'where_clause']), fixtureRest());
check('a normalizer-only fifth spelling is red', problems.length === 1, `saw ${problems.length}`);
Expand All@@ -529,6 +580,7 @@ function selfTest() {

// 3. The same fifth spelling on BOTH sides is green again — the gate judges
// parity, not the size of the set.
battery('3. The same fifth spelling on BOTH sides is green again — the gate judges parity, not the size of the set.');
{
const { problems } = run(
fixtureProtocol(['filters', '$filter', 'where_clause']),
Expand All@@ -538,6 +590,7 @@ function selfTest() {
}

// 4. A fifth spelling on the INGRESS side only.
battery('4. A fifth spelling on the INGRESS side only.');
{
const { problems } = run(fixtureProtocol(), fixtureRest(['filters', '$filter', 'where_clause']));
check('an ingress-only fifth spelling is red', problems.length === 1, `saw ${problems.length}`);
Expand All@@ -551,6 +604,7 @@ function selfTest() {
// 5. A `$` alias folding INTO a filter spelling is a filter spelling. It
// reaches `where` through two hops, which is exactly the shape a reader
// comparing only the slot tables would miss.
battery('5. A `$` alias folding INTO a filter spelling is a filter spelling. It reaches `where` through two hops, which is exactly the shape a reader comparing only the slot tables would miss.');
{
const { problems } = run(
fixtureProtocol(['filters', '$filter'], [['$top', 'top'], ['$filters', 'filters']]),
Expand All@@ -562,6 +616,7 @@ function selfTest() {

// 6. Rot: an unreadable shape must fail LOUDLY. A reader that matches
// nothing would otherwise compare two empty sets and report a pass.
battery('6. Rot: an unreadable shape must fail LOUDLY. A reader that matches nothing would otherwise compare two empty sets and report a pass.');
{
const { problems } = run(fixtureProtocol(), '\nexport const SOMETHING_ELSE = [];\n');
check('a missing ingress declaration is red', problems.length === 1, `saw ${problems.length}`);
Expand DownExpand Up@@ -595,6 +650,7 @@ function selfTest() {
}

// 7. The wiring this gate depends on to run at all.
battery('7. The wiring this gate depends on to run at all.');
{
const pkg = JSON.parse(readFileSync(join(ROOT, 'package.json'), 'utf8'));
const entry = pkg.scripts?.['check:filter-alias-parity'];
Expand All@@ -609,6 +665,50 @@ function selfTest() {
check('lint.yml runs the gate exactly once', wired.length === 1, `found ${wired.length}`);
}

// ── The floor: every declared battery RAN, and ran its cases (#13489) ────
//
// Evaluated after every battery has had its chance and BEFORE the verdict, so
// the success line below can only be printed by a run in which the set of
// batteries that registered assertions EQUALS the set declared. A set
// difference names WHICH battery stopped; a count says only that something did.
const floorFailure = (message) => { failures.push(message); };
const declaredBatteries = Object.keys(SELF_TEST_BATTERIES);
let floorBreached = false;
if (declaredBatteries.length < SELF_TEST_BATTERY_FLOOR) {
floorBreached = true;
floorFailure(
`SELF_TEST_BATTERIES declares ${declaredBatteries.length} batteries, below the pinned ` +
`${SELF_TEST_BATTERY_FLOOR} — a battery deleted from the roster takes its own floor with it.`,
);
}
for (const [name, count] of batterySeen) {
if (declaredBatteries.includes(name)) continue;
floorBreached = true;
floorFailure(
`self-test battery "${name}" registered ${count} case(s) but is not declared in ` +
'SELF_TEST_BATTERIES — an assertion attributed to no declared battery is one nothing floors.',
);
}
for (const name of declaredBatteries) {
const count = batterySeen.get(name) ?? 0;
if (count >= SELF_TEST_BATTERIES[name]) continue;
floorBreached = true;
floorFailure(
count === 0
? `self-test battery "${name}" DID NOT RUN — 0 cases registered, ${SELF_TEST_BATTERIES[name]} pinned. ` +
'The verdict below would have claimed those cases hold.'
: `self-test battery "${name}" registered ${count} case(s), below its pinned floor of ` +
`${SELF_TEST_BATTERIES[name]} — cases that used to run no longer do.`,
);
}
if (floorBreached) {
floorFailure(
'A battery at or below its floor means cases STOPPED RUNNING — the battery is the bug, not the ' +
'number. Find what stopped registering (an early return, a deleted block, a guard that now ' +
'skips) and restore it.',
);
}

if (failures.length) {
console.error('check:filter-alias-parity --self-test FAILED');
for (const f of failures) console.error(` - ${f}`);
Expand Down
94 changes: 94 additions & 0 deletions scripts/check-i18n-bundles.mjs
Original file line numberDiff line numberDiff line change
Expand Up@@ -103,6 +103,38 @@ import {
import { EXIT_FINDINGS, EXIT_PREREQUISITE_NOT_MET } from './import-prerequisite.mjs';
import { findExtractConfigs, flagsFromDocstring } from './i18n-bundle-surface.mjs';

// ── The self-test's own battery roster and floor (#13489) ──────────────────
//
// `failures.length === 0` used to be this self-test's ONLY success condition, so
// "every case held" and "the cases never ran" printed the same line. Closed the
// way PR #13487 validated on check-doc-authoring: what is pinned is the
// registered NAMES, not a number. Every section opens with `battery('<name>')`,
// every assertion is attributed to the battery most recently opened, and the
// floor requires the OPENED set to equal the DECLARED set with each battery at
// or above its own count.
//
// ⛔ A pinned TOTAL is not the repair: a battery dropping from 9 cases to 3
// keeps a total "right" the moment a sibling grows.
//
// The counts are a FLOOR, not an equality — adding cases is ordinary work and
// must not red. A battery BELOW its floor means cases stopped running; the
// remedy is to find what stopped registering.
const SELF_TEST_BATTERIES = Object.freeze({
'Third classifier (#5217): the build prerequisite. Same anti-#4690 duty as': 34,
'Fourth classifier (#7681): the OTHER prerequisite — a workspace package this': 24,
'Fifth classifier (#11647): the POPULATION — is there anything to grade, and': 11,
'The other cause, and the reason `=== 0` alone is not the whole condition: a': 8,
});

// DELETING an entry silences that battery's floor exactly as effectively as
// zeroing it, so the roster's own size is pinned too.
const SELF_TEST_BATTERY_FLOOR = 4;

// The key an assertion is filed under when no battery is open. It is not a
// declared battery, so it reds by the same set difference rather than silently
// inflating whichever battery happened to run last.
const UNATTRIBUTED_BATTERY = '(no battery open)';

/**
* The module this gate's POPULATION is enumerated by, declared as a whole
* literal so the derivation can see it (#9116).
Expand DownExpand Up@@ -436,8 +468,23 @@ function populationVerdict(population, activeFilter) {
const SELF_TEST_VERDICT = 'check-i18n-bundles self-test reached its verdict';

function selfTest() {
// The battery ledger this self-test's floor is evaluated against (#13489).
// `battery()` opens a battery; every assertion below is attributed to the one
// most recently opened, so a section that stops running stops registering and
// names ITSELF at the floor rather than going quiet.
const batterySeen = new Map();
let openBattery = null;
const battery = (name) => {
openBattery = name;
};
const registerCase = () => {
const b = openBattery ?? UNATTRIBUTED_BATTERY;
batterySeen.set(b, (batterySeen.get(b) ?? 0) + 1);
};
battery('Third classifier (#5217): the build prerequisite. Same anti-#4690 duty as');
const failures = [];
const expect = (name, cond, detail) => {
registerCase();
if (!cond) failures.push(`${name} — ${detail}`);
};

Expand DownExpand Up@@ -635,6 +682,7 @@ function selfTest() {
// send the reader to a rebuild that changes nothing — the #5862 defect (a
// confident diagnosis pointing somewhere innocent) rebuilt one layer down.
// -------------------------------------------------------------------------
battery('Fourth classifier (#7681): the OTHER prerequisite — a workspace package this');

// The failure #7681 reported, as node actually prints it: produced locally by
// importing a name that a package's built ESM does not export — a fixture
Expand DownExpand Up@@ -794,6 +842,7 @@ function selfTest() {
// classifier in this file is proven red against a recorded string, but "did
// this gate look at anything at all?" can only be proven by looking.
// -------------------------------------------------------------------------
battery('Fifth classifier (#11647): the POPULATION — is there anything to grade, and');

const popCwdBefore = process.cwd();
let offRootPopulation;
Expand DownExpand Up@@ -896,6 +945,7 @@ function selfTest() {

// The other cause, and the reason `=== 0` alone is not the whole condition: a
// filter that matched nothing is a typo, not an environment fact.
battery('The other cause, and the reason `=== 0` alone is not the whole condition: a');
const filterVerdict = populationVerdict(onRootPopulation, 'no-such-package');
expect('#11647 an unmatched --filter is refused', !!filterVerdict, 'a filter matching nothing must not render as OK (0 package(s))');
expect(
Expand DownExpand Up@@ -936,6 +986,50 @@ function selfTest() {
const longWalkError = unreadablePopulationDetail(new Error('E'.repeat(400))).join('\n');
expect('#11647 long walk errors are truncated', longWalkError.includes(`${'E'.repeat(160)}…`), 'a 400-char message must not be pasted whole');

// ── The floor: every declared battery RAN, and ran its cases (#13489) ────
//
// Evaluated after every battery has had its chance and BEFORE the verdict, so
// the success line below can only be printed by a run in which the set of
// batteries that registered assertions EQUALS the set declared. A set
// difference names WHICH battery stopped; a count says only that something did.
const floorFailure = (message) => { failures.push(message); };
const declaredBatteries = Object.keys(SELF_TEST_BATTERIES);
let floorBreached = false;
if (declaredBatteries.length < SELF_TEST_BATTERY_FLOOR) {
floorBreached = true;
floorFailure(
`SELF_TEST_BATTERIES declares ${declaredBatteries.length} batteries, below the pinned ` +
`${SELF_TEST_BATTERY_FLOOR} — a battery deleted from the roster takes its own floor with it.`,
);
}
for (const [name, count] of batterySeen) {
if (declaredBatteries.includes(name)) continue;
floorBreached = true;
floorFailure(
`self-test battery "${name}" registered ${count} case(s) but is not declared in ` +
'SELF_TEST_BATTERIES — an assertion attributed to no declared battery is one nothing floors.',
);
}
for (const name of declaredBatteries) {
const count = batterySeen.get(name) ?? 0;
if (count >= SELF_TEST_BATTERIES[name]) continue;
floorBreached = true;
floorFailure(
count === 0
? `self-test battery "${name}" DID NOT RUN — 0 cases registered, ${SELF_TEST_BATTERIES[name]} pinned. ` +
'The verdict below would have claimed those cases hold.'
: `self-test battery "${name}" registered ${count} case(s), below its pinned floor of ` +
`${SELF_TEST_BATTERIES[name]} — cases that used to run no longer do.`,
);
}
if (floorBreached) {
floorFailure(
'A battery at or below its floor means cases STOPPED RUNNING — the battery is the bug, not the ' +
'number. Find what stopped registering (an early return, a deleted block, a guard that now ' +
'skips) and restore it.',
);
}

if (failures.length) {
console.error(`✗ check:i18n --self-test — ${failures.length} failure(s)\n`);
for (const f of failures) console.error(` ${f}`);
Expand Down
Loading
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
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
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
100 changes: 100 additions & 0 deletions scripts/check-filter-alias-parity.mjs
Original file line numberDiff line numberDiff line change
Expand Up@@ -91,6 +91,41 @@ const ts = await requireDefaultExport('typescript', () => import('typescript'),
import { parseSourceFile } from './ts-parse.mjs';
import { isEntrypoint } from './invoked-as.mjs';

// ── The self-test's own battery roster and floor (#13489) ──────────────────
//
// `failures.length === 0` used to be this self-test's ONLY success condition, so
// "every case held" and "the cases never ran" printed the same line. Closed the
// way PR #13487 validated on check-doc-authoring: what is pinned is the
// registered NAMES, not a number. Every section opens with `battery('<name>')`,
// every assertion is attributed to the battery most recently opened, and the
// floor requires the OPENED set to equal the DECLARED set with each battery at
// or above its own count.
//
// ⛔ A pinned TOTAL is not the repair: a battery dropping from 9 cases to 3
// keeps a total "right" the moment a sibling grows.
//
// The counts are a FLOOR, not an equality — adding cases is ordinary work and
// must not red. A battery BELOW its floor means cases stopped running; the
// remedy is to find what stopped registering.
const SELF_TEST_BATTERIES = Object.freeze({
'1. The tree as it stands: both sides name the same four spellings.': 2,
'2. A fifth spelling on the NORMALIZER side only — the direction #8002 is about, and the one nothing else in the repo refuses.': 3,
'3. The same fifth spelling on BOTH sides is green again — the gate judges parity, not the size of the set.': 1,
'4. A fifth spelling on the INGRESS side only.': 2,
'5. A `$` alias folding INTO a filter spelling is a filter spelling. It reaches `where` through two hops, which is exactly the shape a reader comparing only the slot tables would miss.': 2,
'6. Rot: an unreadable shape must fail LOUDLY. A reader that matches nothing would otherwise compare two empty sets and report a pass.': 5,
'7. The wiring this gate depends on to run at all.': 3,
});

// DELETING an entry silences that battery's floor exactly as effectively as
// zeroing it, so the roster's own size is pinned too.
const SELF_TEST_BATTERY_FLOOR = 7;

// The key an assertion is filed under when no battery is open. It is not a
// declared battery, so it reds by the same set difference rather than silently
// inflating whichever battery happened to run last.
const UNATTRIBUTED_BATTERY = '(no battery open)';

const ROOT = join(fileURLToPath(new URL('.', import.meta.url)), '..');

/** The three files that declare a filter-slot spelling, by repo-relative path. */
Expand DownExpand Up@@ -491,14 +526,29 @@ export const FILTER_SLOT_QUERY_PARAMS: readonly string[] = (() => {
const SELF_TEST_VERDICT = 'check-filter-alias-parity self-test reached its verdict';

function selfTest() {
// The battery ledger this self-test's floor is evaluated against (#13489).
// `battery()` opens a battery; every assertion below is attributed to the one
// most recently opened, so a section that stops running stops registering and
// names ITSELF at the floor rather than going quiet.
const batterySeen = new Map();
let openBattery = null;
const battery = (name) => {
openBattery = name;
};
const registerCase = () => {
const b = openBattery ?? UNATTRIBUTED_BATTERY;
batterySeen.set(b, (batterySeen.get(b) ?? 0) + 1);
};
const failures = [];
const check = (name, condition, detail) => {
registerCase();
if (!condition) failures.push(`${name}${detail ? ` — ${detail}` : ''}`);
};
const run = (protocolText, restText, specText = FIXTURE_SPEC) =>
judge({ specText, protocolText, restText });

// 1. The tree as it stands: both sides name the same four spellings.
battery('1. The tree as it stands: both sides name the same four spellings.');
{
const { problems, protocolSet, restSet } = run(fixtureProtocol(), fixtureRest());
check('agreeing sides are green', problems.length === 0, problems[0]);
Expand All@@ -512,6 +562,7 @@ function selfTest() {

// 2. A fifth spelling on the NORMALIZER side only — the direction #8002 is
// about, and the one nothing else in the repo refuses.
battery('2. A fifth spelling on the NORMALIZER side only — the direction #8002 is about, and the one nothing else in the repo refuses.');
{
const { problems } = run(fixtureProtocol(['filters', '$filter', 'where_clause']), fixtureRest());
check('a normalizer-only fifth spelling is red', problems.length === 1, `saw ${problems.length}`);
Expand All@@ -529,6 +580,7 @@ function selfTest() {

// 3. The same fifth spelling on BOTH sides is green again — the gate judges
// parity, not the size of the set.
battery('3. The same fifth spelling on BOTH sides is green again — the gate judges parity, not the size of the set.');
{
const { problems } = run(
fixtureProtocol(['filters', '$filter', 'where_clause']),
Expand All@@ -538,6 +590,7 @@ function selfTest() {
}

// 4. A fifth spelling on the INGRESS side only.
battery('4. A fifth spelling on the INGRESS side only.');
{
const { problems } = run(fixtureProtocol(), fixtureRest(['filters', '$filter', 'where_clause']));
check('an ingress-only fifth spelling is red', problems.length === 1, `saw ${problems.length}`);
Expand All@@ -551,6 +604,7 @@ function selfTest() {
// 5. A `$` alias folding INTO a filter spelling is a filter spelling. It
// reaches `where` through two hops, which is exactly the shape a reader
// comparing only the slot tables would miss.
battery('5. A `$` alias folding INTO a filter spelling is a filter spelling. It reaches `where` through two hops, which is exactly the shape a reader comparing only the slot tables would miss.');
{
const { problems } = run(
fixtureProtocol(['filters', '$filter'], [['$top', 'top'], ['$filters', 'filters']]),
Expand All@@ -562,6 +616,7 @@ function selfTest() {

// 6. Rot: an unreadable shape must fail LOUDLY. A reader that matches
// nothing would otherwise compare two empty sets and report a pass.
battery('6. Rot: an unreadable shape must fail LOUDLY. A reader that matches nothing would otherwise compare two empty sets and report a pass.');
{
const { problems } = run(fixtureProtocol(), '\nexport const SOMETHING_ELSE = [];\n');
check('a missing ingress declaration is red', problems.length === 1, `saw ${problems.length}`);
Expand DownExpand Up@@ -595,6 +650,7 @@ function selfTest() {
}

// 7. The wiring this gate depends on to run at all.
battery('7. The wiring this gate depends on to run at all.');
{
const pkg = JSON.parse(readFileSync(join(ROOT, 'package.json'), 'utf8'));
const entry = pkg.scripts?.['check:filter-alias-parity'];
Expand All@@ -609,6 +665,50 @@ function selfTest() {
check('lint.yml runs the gate exactly once', wired.length === 1, `found ${wired.length}`);
}

// ── The floor: every declared battery RAN, and ran its cases (#13489) ────
//
// Evaluated after every battery has had its chance and BEFORE the verdict, so
// the success line below can only be printed by a run in which the set of
// batteries that registered assertions EQUALS the set declared. A set
// difference names WHICH battery stopped; a count says only that something did.
const floorFailure = (message) => { failures.push(message); };
const declaredBatteries = Object.keys(SELF_TEST_BATTERIES);
let floorBreached = false;
if (declaredBatteries.length < SELF_TEST_BATTERY_FLOOR) {
floorBreached = true;
floorFailure(
`SELF_TEST_BATTERIES declares ${declaredBatteries.length} batteries, below the pinned ` +
`${SELF_TEST_BATTERY_FLOOR} — a battery deleted from the roster takes its own floor with it.`,
);
}
for (const [name, count] of batterySeen) {
if (declaredBatteries.includes(name)) continue;
floorBreached = true;
floorFailure(
`self-test battery "${name}" registered ${count} case(s) but is not declared in ` +
'SELF_TEST_BATTERIES — an assertion attributed to no declared battery is one nothing floors.',
);
}
for (const name of declaredBatteries) {
const count = batterySeen.get(name) ?? 0;
if (count >= SELF_TEST_BATTERIES[name]) continue;
floorBreached = true;
floorFailure(
count === 0
? `self-test battery "${name}" DID NOT RUN — 0 cases registered, ${SELF_TEST_BATTERIES[name]} pinned. ` +
'The verdict below would have claimed those cases hold.'
: `self-test battery "${name}" registered ${count} case(s), below its pinned floor of ` +
`${SELF_TEST_BATTERIES[name]} — cases that used to run no longer do.`,
);
}
if (floorBreached) {
floorFailure(
'A battery at or below its floor means cases STOPPED RUNNING — the battery is the bug, not the ' +
'number. Find what stopped registering (an early return, a deleted block, a guard that now ' +
'skips) and restore it.',
);
}

if (failures.length) {
console.error('check:filter-alias-parity --self-test FAILED');
for (const f of failures) console.error(` - ${f}`);
Expand Down
94 changes: 94 additions & 0 deletions scripts/check-i18n-bundles.mjs
Original file line numberDiff line numberDiff line change
Expand Up@@ -103,6 +103,38 @@ import {
import { EXIT_FINDINGS, EXIT_PREREQUISITE_NOT_MET } from './import-prerequisite.mjs';
import { findExtractConfigs, flagsFromDocstring } from './i18n-bundle-surface.mjs';

// ── The self-test's own battery roster and floor (#13489) ──────────────────
//
// `failures.length === 0` used to be this self-test's ONLY success condition, so
// "every case held" and "the cases never ran" printed the same line. Closed the
// way PR #13487 validated on check-doc-authoring: what is pinned is the
// registered NAMES, not a number. Every section opens with `battery('<name>')`,
// every assertion is attributed to the battery most recently opened, and the
// floor requires the OPENED set to equal the DECLARED set with each battery at
// or above its own count.
//
// ⛔ A pinned TOTAL is not the repair: a battery dropping from 9 cases to 3
// keeps a total "right" the moment a sibling grows.
//
// The counts are a FLOOR, not an equality — adding cases is ordinary work and
// must not red. A battery BELOW its floor means cases stopped running; the
// remedy is to find what stopped registering.
const SELF_TEST_BATTERIES = Object.freeze({
'Third classifier (#5217): the build prerequisite. Same anti-#4690 duty as': 34,
'Fourth classifier (#7681): the OTHER prerequisite — a workspace package this': 24,
'Fifth classifier (#11647): the POPULATION — is there anything to grade, and': 11,
'The other cause, and the reason `=== 0` alone is not the whole condition: a': 8,
});

// DELETING an entry silences that battery's floor exactly as effectively as
// zeroing it, so the roster's own size is pinned too.
const SELF_TEST_BATTERY_FLOOR = 4;

// The key an assertion is filed under when no battery is open. It is not a
// declared battery, so it reds by the same set difference rather than silently
// inflating whichever battery happened to run last.
const UNATTRIBUTED_BATTERY = '(no battery open)';

/**
* The module this gate's POPULATION is enumerated by, declared as a whole
* literal so the derivation can see it (#9116).
Expand DownExpand Up@@ -436,8 +468,23 @@ function populationVerdict(population, activeFilter) {
const SELF_TEST_VERDICT = 'check-i18n-bundles self-test reached its verdict';

function selfTest() {
// The battery ledger this self-test's floor is evaluated against (#13489).
// `battery()` opens a battery; every assertion below is attributed to the one
// most recently opened, so a section that stops running stops registering and
// names ITSELF at the floor rather than going quiet.
const batterySeen = new Map();
let openBattery = null;
const battery = (name) => {
openBattery = name;
};
const registerCase = () => {
const b = openBattery ?? UNATTRIBUTED_BATTERY;
batterySeen.set(b, (batterySeen.get(b) ?? 0) + 1);
};
battery('Third classifier (#5217): the build prerequisite. Same anti-#4690 duty as');
const failures = [];
const expect = (name, cond, detail) => {
registerCase();
if (!cond) failures.push(`${name} — ${detail}`);
};

Expand DownExpand Up@@ -635,6 +682,7 @@ function selfTest() {
// send the reader to a rebuild that changes nothing — the #5862 defect (a
// confident diagnosis pointing somewhere innocent) rebuilt one layer down.
// -------------------------------------------------------------------------
battery('Fourth classifier (#7681): the OTHER prerequisite — a workspace package this');

// The failure #7681 reported, as node actually prints it: produced locally by
// importing a name that a package's built ESM does not export — a fixture
Expand DownExpand Up@@ -794,6 +842,7 @@ function selfTest() {
// classifier in this file is proven red against a recorded string, but "did
// this gate look at anything at all?" can only be proven by looking.
// -------------------------------------------------------------------------
battery('Fifth classifier (#11647): the POPULATION — is there anything to grade, and');

const popCwdBefore = process.cwd();
let offRootPopulation;
Expand DownExpand Up@@ -896,6 +945,7 @@ function selfTest() {

// The other cause, and the reason `=== 0` alone is not the whole condition: a
// filter that matched nothing is a typo, not an environment fact.
battery('The other cause, and the reason `=== 0` alone is not the whole condition: a');
const filterVerdict = populationVerdict(onRootPopulation, 'no-such-package');
expect('#11647 an unmatched --filter is refused', !!filterVerdict, 'a filter matching nothing must not render as OK (0 package(s))');
expect(
Expand DownExpand Up@@ -936,6 +986,50 @@ function selfTest() {
const longWalkError = unreadablePopulationDetail(new Error('E'.repeat(400))).join('\n');
expect('#11647 long walk errors are truncated', longWalkError.includes(`${'E'.repeat(160)}…`), 'a 400-char message must not be pasted whole');

// ── The floor: every declared battery RAN, and ran its cases (#13489) ────
//
// Evaluated after every battery has had its chance and BEFORE the verdict, so
// the success line below can only be printed by a run in which the set of
// batteries that registered assertions EQUALS the set declared. A set
// difference names WHICH battery stopped; a count says only that something did.
const floorFailure = (message) => { failures.push(message); };
const declaredBatteries = Object.keys(SELF_TEST_BATTERIES);
let floorBreached = false;
if (declaredBatteries.length < SELF_TEST_BATTERY_FLOOR) {
floorBreached = true;
floorFailure(
`SELF_TEST_BATTERIES declares ${declaredBatteries.length} batteries, below the pinned ` +
`${SELF_TEST_BATTERY_FLOOR} — a battery deleted from the roster takes its own floor with it.`,
);
}
for (const [name, count] of batterySeen) {
if (declaredBatteries.includes(name)) continue;
floorBreached = true;
floorFailure(
`self-test battery "${name}" registered ${count} case(s) but is not declared in ` +
'SELF_TEST_BATTERIES — an assertion attributed to no declared battery is one nothing floors.',
);
}
for (const name of declaredBatteries) {
const count = batterySeen.get(name) ?? 0;
if (count >= SELF_TEST_BATTERIES[name]) continue;
floorBreached = true;
floorFailure(
count === 0
? `self-test battery "${name}" DID NOT RUN — 0 cases registered, ${SELF_TEST_BATTERIES[name]} pinned. ` +
'The verdict below would have claimed those cases hold.'
: `self-test battery "${name}" registered ${count} case(s), below its pinned floor of ` +
`${SELF_TEST_BATTERIES[name]} — cases that used to run no longer do.`,
);
}
if (floorBreached) {
floorFailure(
'A battery at or below its floor means cases STOPPED RUNNING — the battery is the bug, not the ' +
'number. Find what stopped registering (an early return, a deleted block, a guard that now ' +
'skips) and restore it.',
);
}

if (failures.length) {
console.error(`✗ check:i18n --self-test — ${failures.length} failure(s)\n`);
for (const f of failures) console.error(` ${f}`);
Expand Down
Loading
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
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
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
100 changes: 100 additions & 0 deletions scripts/check-filter-alias-parity.mjs
Original file line numberDiff line numberDiff line change
Expand Up@@ -91,6 +91,41 @@ const ts = await requireDefaultExport('typescript', () => import('typescript'),
import { parseSourceFile } from './ts-parse.mjs';
import { isEntrypoint } from './invoked-as.mjs';

// ── The self-test's own battery roster and floor (#13489) ──────────────────
//
// `failures.length === 0` used to be this self-test's ONLY success condition, so
// "every case held" and "the cases never ran" printed the same line. Closed the
// way PR #13487 validated on check-doc-authoring: what is pinned is the
// registered NAMES, not a number. Every section opens with `battery('<name>')`,
// every assertion is attributed to the battery most recently opened, and the
// floor requires the OPENED set to equal the DECLARED set with each battery at
// or above its own count.
//
// ⛔ A pinned TOTAL is not the repair: a battery dropping from 9 cases to 3
// keeps a total "right" the moment a sibling grows.
//
// The counts are a FLOOR, not an equality — adding cases is ordinary work and
// must not red. A battery BELOW its floor means cases stopped running; the
// remedy is to find what stopped registering.
const SELF_TEST_BATTERIES = Object.freeze({
'1. The tree as it stands: both sides name the same four spellings.': 2,
'2. A fifth spelling on the NORMALIZER side only — the direction #8002 is about, and the one nothing else in the repo refuses.': 3,
'3. The same fifth spelling on BOTH sides is green again — the gate judges parity, not the size of the set.': 1,
'4. A fifth spelling on the INGRESS side only.': 2,
'5. A `$` alias folding INTO a filter spelling is a filter spelling. It reaches `where` through two hops, which is exactly the shape a reader comparing only the slot tables would miss.': 2,
'6. Rot: an unreadable shape must fail LOUDLY. A reader that matches nothing would otherwise compare two empty sets and report a pass.': 5,
'7. The wiring this gate depends on to run at all.': 3,
});

// DELETING an entry silences that battery's floor exactly as effectively as
// zeroing it, so the roster's own size is pinned too.
const SELF_TEST_BATTERY_FLOOR = 7;

// The key an assertion is filed under when no battery is open. It is not a
// declared battery, so it reds by the same set difference rather than silently
// inflating whichever battery happened to run last.
const UNATTRIBUTED_BATTERY = '(no battery open)';

const ROOT = join(fileURLToPath(new URL('.', import.meta.url)), '..');

/** The three files that declare a filter-slot spelling, by repo-relative path. */
Expand DownExpand Up@@ -491,14 +526,29 @@ export const FILTER_SLOT_QUERY_PARAMS: readonly string[] = (() => {
const SELF_TEST_VERDICT = 'check-filter-alias-parity self-test reached its verdict';

function selfTest() {
// The battery ledger this self-test's floor is evaluated against (#13489).
// `battery()` opens a battery; every assertion below is attributed to the one
// most recently opened, so a section that stops running stops registering and
// names ITSELF at the floor rather than going quiet.
const batterySeen = new Map();
let openBattery = null;
const battery = (name) => {
openBattery = name;
};
const registerCase = () => {
const b = openBattery ?? UNATTRIBUTED_BATTERY;
batterySeen.set(b, (batterySeen.get(b) ?? 0) + 1);
};
const failures = [];
const check = (name, condition, detail) => {
registerCase();
if (!condition) failures.push(`${name}${detail ? ` — ${detail}` : ''}`);
};
const run = (protocolText, restText, specText = FIXTURE_SPEC) =>
judge({ specText, protocolText, restText });

// 1. The tree as it stands: both sides name the same four spellings.
battery('1. The tree as it stands: both sides name the same four spellings.');
{
const { problems, protocolSet, restSet } = run(fixtureProtocol(), fixtureRest());
check('agreeing sides are green', problems.length === 0, problems[0]);
Expand All@@ -512,6 +562,7 @@ function selfTest() {

// 2. A fifth spelling on the NORMALIZER side only — the direction #8002 is
// about, and the one nothing else in the repo refuses.
battery('2. A fifth spelling on the NORMALIZER side only — the direction #8002 is about, and the one nothing else in the repo refuses.');
{
const { problems } = run(fixtureProtocol(['filters', '$filter', 'where_clause']), fixtureRest());
check('a normalizer-only fifth spelling is red', problems.length === 1, `saw ${problems.length}`);
Expand All@@ -529,6 +580,7 @@ function selfTest() {

// 3. The same fifth spelling on BOTH sides is green again — the gate judges
// parity, not the size of the set.
battery('3. The same fifth spelling on BOTH sides is green again — the gate judges parity, not the size of the set.');
{
const { problems } = run(
fixtureProtocol(['filters', '$filter', 'where_clause']),
Expand All@@ -538,6 +590,7 @@ function selfTest() {
}

// 4. A fifth spelling on the INGRESS side only.
battery('4. A fifth spelling on the INGRESS side only.');
{
const { problems } = run(fixtureProtocol(), fixtureRest(['filters', '$filter', 'where_clause']));
check('an ingress-only fifth spelling is red', problems.length === 1, `saw ${problems.length}`);
Expand All@@ -551,6 +604,7 @@ function selfTest() {
// 5. A `$` alias folding INTO a filter spelling is a filter spelling. It
// reaches `where` through two hops, which is exactly the shape a reader
// comparing only the slot tables would miss.
battery('5. A `$` alias folding INTO a filter spelling is a filter spelling. It reaches `where` through two hops, which is exactly the shape a reader comparing only the slot tables would miss.');
{
const { problems } = run(
fixtureProtocol(['filters', '$filter'], [['$top', 'top'], ['$filters', 'filters']]),
Expand All@@ -562,6 +616,7 @@ function selfTest() {

// 6. Rot: an unreadable shape must fail LOUDLY. A reader that matches
// nothing would otherwise compare two empty sets and report a pass.
battery('6. Rot: an unreadable shape must fail LOUDLY. A reader that matches nothing would otherwise compare two empty sets and report a pass.');
{
const { problems } = run(fixtureProtocol(), '\nexport const SOMETHING_ELSE = [];\n');
check('a missing ingress declaration is red', problems.length === 1, `saw ${problems.length}`);
Expand DownExpand Up@@ -595,6 +650,7 @@ function selfTest() {
}

// 7. The wiring this gate depends on to run at all.
battery('7. The wiring this gate depends on to run at all.');
{
const pkg = JSON.parse(readFileSync(join(ROOT, 'package.json'), 'utf8'));
const entry = pkg.scripts?.['check:filter-alias-parity'];
Expand All@@ -609,6 +665,50 @@ function selfTest() {
check('lint.yml runs the gate exactly once', wired.length === 1, `found ${wired.length}`);
}

// ── The floor: every declared battery RAN, and ran its cases (#13489) ────
//
// Evaluated after every battery has had its chance and BEFORE the verdict, so
// the success line below can only be printed by a run in which the set of
// batteries that registered assertions EQUALS the set declared. A set
// difference names WHICH battery stopped; a count says only that something did.
const floorFailure = (message) => { failures.push(message); };
const declaredBatteries = Object.keys(SELF_TEST_BATTERIES);
let floorBreached = false;
if (declaredBatteries.length < SELF_TEST_BATTERY_FLOOR) {
floorBreached = true;
floorFailure(
`SELF_TEST_BATTERIES declares ${declaredBatteries.length} batteries, below the pinned ` +
`${SELF_TEST_BATTERY_FLOOR} — a battery deleted from the roster takes its own floor with it.`,
);
}
for (const [name, count] of batterySeen) {
if (declaredBatteries.includes(name)) continue;
floorBreached = true;
floorFailure(
`self-test battery "${name}" registered ${count} case(s) but is not declared in ` +
'SELF_TEST_BATTERIES — an assertion attributed to no declared battery is one nothing floors.',
);
}
for (const name of declaredBatteries) {
const count = batterySeen.get(name) ?? 0;
if (count >= SELF_TEST_BATTERIES[name]) continue;
floorBreached = true;
floorFailure(
count === 0
? `self-test battery "${name}" DID NOT RUN — 0 cases registered, ${SELF_TEST_BATTERIES[name]} pinned. ` +
'The verdict below would have claimed those cases hold.'
: `self-test battery "${name}" registered ${count} case(s), below its pinned floor of ` +
`${SELF_TEST_BATTERIES[name]} — cases that used to run no longer do.`,
);
}
if (floorBreached) {
floorFailure(
'A battery at or below its floor means cases STOPPED RUNNING — the battery is the bug, not the ' +
'number. Find what stopped registering (an early return, a deleted block, a guard that now ' +
'skips) and restore it.',
);
}

if (failures.length) {
console.error('check:filter-alias-parity --self-test FAILED');
for (const f of failures) console.error(` - ${f}`);
Expand Down
94 changes: 94 additions & 0 deletions scripts/check-i18n-bundles.mjs
Original file line numberDiff line numberDiff line change
Expand Up@@ -103,6 +103,38 @@ import {
import { EXIT_FINDINGS, EXIT_PREREQUISITE_NOT_MET } from './import-prerequisite.mjs';
import { findExtractConfigs, flagsFromDocstring } from './i18n-bundle-surface.mjs';

// ── The self-test's own battery roster and floor (#13489) ──────────────────
//
// `failures.length === 0` used to be this self-test's ONLY success condition, so
// "every case held" and "the cases never ran" printed the same line. Closed the
// way PR #13487 validated on check-doc-authoring: what is pinned is the
// registered NAMES, not a number. Every section opens with `battery('<name>')`,
// every assertion is attributed to the battery most recently opened, and the
// floor requires the OPENED set to equal the DECLARED set with each battery at
// or above its own count.
//
// ⛔ A pinned TOTAL is not the repair: a battery dropping from 9 cases to 3
// keeps a total "right" the moment a sibling grows.
//
// The counts are a FLOOR, not an equality — adding cases is ordinary work and
// must not red. A battery BELOW its floor means cases stopped running; the
// remedy is to find what stopped registering.
const SELF_TEST_BATTERIES = Object.freeze({
'Third classifier (#5217): the build prerequisite. Same anti-#4690 duty as': 34,
'Fourth classifier (#7681): the OTHER prerequisite — a workspace package this': 24,
'Fifth classifier (#11647): the POPULATION — is there anything to grade, and': 11,
'The other cause, and the reason `=== 0` alone is not the whole condition: a': 8,
});

// DELETING an entry silences that battery's floor exactly as effectively as
// zeroing it, so the roster's own size is pinned too.
const SELF_TEST_BATTERY_FLOOR = 4;

// The key an assertion is filed under when no battery is open. It is not a
// declared battery, so it reds by the same set difference rather than silently
// inflating whichever battery happened to run last.
const UNATTRIBUTED_BATTERY = '(no battery open)';

/**
* The module this gate's POPULATION is enumerated by, declared as a whole
* literal so the derivation can see it (#9116).
Expand DownExpand Up@@ -436,8 +468,23 @@ function populationVerdict(population, activeFilter) {
const SELF_TEST_VERDICT = 'check-i18n-bundles self-test reached its verdict';

function selfTest() {
// The battery ledger this self-test's floor is evaluated against (#13489).
// `battery()` opens a battery; every assertion below is attributed to the one
// most recently opened, so a section that stops running stops registering and
// names ITSELF at the floor rather than going quiet.
const batterySeen = new Map();
let openBattery = null;
const battery = (name) => {
openBattery = name;
};
const registerCase = () => {
const b = openBattery ?? UNATTRIBUTED_BATTERY;
batterySeen.set(b, (batterySeen.get(b) ?? 0) + 1);
};
battery('Third classifier (#5217): the build prerequisite. Same anti-#4690 duty as');
const failures = [];
const expect = (name, cond, detail) => {
registerCase();
if (!cond) failures.push(`${name} — ${detail}`);
};

Expand DownExpand Up@@ -635,6 +682,7 @@ function selfTest() {
// send the reader to a rebuild that changes nothing — the #5862 defect (a
// confident diagnosis pointing somewhere innocent) rebuilt one layer down.
// -------------------------------------------------------------------------
battery('Fourth classifier (#7681): the OTHER prerequisite — a workspace package this');

// The failure #7681 reported, as node actually prints it: produced locally by
// importing a name that a package's built ESM does not export — a fixture
Expand DownExpand Up@@ -794,6 +842,7 @@ function selfTest() {
// classifier in this file is proven red against a recorded string, but "did
// this gate look at anything at all?" can only be proven by looking.
// -------------------------------------------------------------------------
battery('Fifth classifier (#11647): the POPULATION — is there anything to grade, and');

const popCwdBefore = process.cwd();
let offRootPopulation;
Expand DownExpand Up@@ -896,6 +945,7 @@ function selfTest() {

// The other cause, and the reason `=== 0` alone is not the whole condition: a
// filter that matched nothing is a typo, not an environment fact.
battery('The other cause, and the reason `=== 0` alone is not the whole condition: a');
const filterVerdict = populationVerdict(onRootPopulation, 'no-such-package');
expect('#11647 an unmatched --filter is refused', !!filterVerdict, 'a filter matching nothing must not render as OK (0 package(s))');
expect(
Expand DownExpand Up@@ -936,6 +986,50 @@ function selfTest() {
const longWalkError = unreadablePopulationDetail(new Error('E'.repeat(400))).join('\n');
expect('#11647 long walk errors are truncated', longWalkError.includes(`${'E'.repeat(160)}…`), 'a 400-char message must not be pasted whole');

// ── The floor: every declared battery RAN, and ran its cases (#13489) ────
//
// Evaluated after every battery has had its chance and BEFORE the verdict, so
// the success line below can only be printed by a run in which the set of
// batteries that registered assertions EQUALS the set declared. A set
// difference names WHICH battery stopped; a count says only that something did.
const floorFailure = (message) => { failures.push(message); };
const declaredBatteries = Object.keys(SELF_TEST_BATTERIES);
let floorBreached = false;
if (declaredBatteries.length < SELF_TEST_BATTERY_FLOOR) {
floorBreached = true;
floorFailure(
`SELF_TEST_BATTERIES declares ${declaredBatteries.length} batteries, below the pinned ` +
`${SELF_TEST_BATTERY_FLOOR} — a battery deleted from the roster takes its own floor with it.`,
);
}
for (const [name, count] of batterySeen) {
if (declaredBatteries.includes(name)) continue;
floorBreached = true;
floorFailure(
`self-test battery "${name}" registered ${count} case(s) but is not declared in ` +
'SELF_TEST_BATTERIES — an assertion attributed to no declared battery is one nothing floors.',
);
}
for (const name of declaredBatteries) {
const count = batterySeen.get(name) ?? 0;
if (count >= SELF_TEST_BATTERIES[name]) continue;
floorBreached = true;
floorFailure(
count === 0
? `self-test battery "${name}" DID NOT RUN — 0 cases registered, ${SELF_TEST_BATTERIES[name]} pinned. ` +
'The verdict below would have claimed those cases hold.'
: `self-test battery "${name}" registered ${count} case(s), below its pinned floor of ` +
`${SELF_TEST_BATTERIES[name]} — cases that used to run no longer do.`,
);
}
if (floorBreached) {
floorFailure(
'A battery at or below its floor means cases STOPPED RUNNING — the battery is the bug, not the ' +
'number. Find what stopped registering (an early return, a deleted block, a guard that now ' +
'skips) and restore it.',
);
}

if (failures.length) {
console.error(`✗ check:i18n --self-test — ${failures.length} failure(s)\n`);
for (const f of failures) console.error(` ${f}`);
Expand Down
Loading
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
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
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
100 changes: 100 additions & 0 deletions scripts/check-filter-alias-parity.mjs
Original file line numberDiff line numberDiff line change
Expand Up@@ -91,6 +91,41 @@ const ts = await requireDefaultExport('typescript', () => import('typescript'),
import { parseSourceFile } from './ts-parse.mjs';
import { isEntrypoint } from './invoked-as.mjs';

// ── The self-test's own battery roster and floor (#13489) ──────────────────
//
// `failures.length === 0` used to be this self-test's ONLY success condition, so
// "every case held" and "the cases never ran" printed the same line. Closed the
// way PR #13487 validated on check-doc-authoring: what is pinned is the
// registered NAMES, not a number. Every section opens with `battery('<name>')`,
// every assertion is attributed to the battery most recently opened, and the
// floor requires the OPENED set to equal the DECLARED set with each battery at
// or above its own count.
//
// ⛔ A pinned TOTAL is not the repair: a battery dropping from 9 cases to 3
// keeps a total "right" the moment a sibling grows.
//
// The counts are a FLOOR, not an equality — adding cases is ordinary work and
// must not red. A battery BELOW its floor means cases stopped running; the
// remedy is to find what stopped registering.
const SELF_TEST_BATTERIES = Object.freeze({
'1. The tree as it stands: both sides name the same four spellings.': 2,
'2. A fifth spelling on the NORMALIZER side only — the direction #8002 is about, and the one nothing else in the repo refuses.': 3,
'3. The same fifth spelling on BOTH sides is green again — the gate judges parity, not the size of the set.': 1,
'4. A fifth spelling on the INGRESS side only.': 2,
'5. A `$` alias folding INTO a filter spelling is a filter spelling. It reaches `where` through two hops, which is exactly the shape a reader comparing only the slot tables would miss.': 2,
'6. Rot: an unreadable shape must fail LOUDLY. A reader that matches nothing would otherwise compare two empty sets and report a pass.': 5,
'7. The wiring this gate depends on to run at all.': 3,
});

// DELETING an entry silences that battery's floor exactly as effectively as
// zeroing it, so the roster's own size is pinned too.
const SELF_TEST_BATTERY_FLOOR = 7;

// The key an assertion is filed under when no battery is open. It is not a
// declared battery, so it reds by the same set difference rather than silently
// inflating whichever battery happened to run last.
const UNATTRIBUTED_BATTERY = '(no battery open)';

const ROOT = join(fileURLToPath(new URL('.', import.meta.url)), '..');

/** The three files that declare a filter-slot spelling, by repo-relative path. */
Expand DownExpand Up@@ -491,14 +526,29 @@ export const FILTER_SLOT_QUERY_PARAMS: readonly string[] = (() => {
const SELF_TEST_VERDICT = 'check-filter-alias-parity self-test reached its verdict';

function selfTest() {
// The battery ledger this self-test's floor is evaluated against (#13489).
// `battery()` opens a battery; every assertion below is attributed to the one
// most recently opened, so a section that stops running stops registering and
// names ITSELF at the floor rather than going quiet.
const batterySeen = new Map();
let openBattery = null;
const battery = (name) => {
openBattery = name;
};
const registerCase = () => {
const b = openBattery ?? UNATTRIBUTED_BATTERY;
batterySeen.set(b, (batterySeen.get(b) ?? 0) + 1);
};
const failures = [];
const check = (name, condition, detail) => {
registerCase();
if (!condition) failures.push(`${name}${detail ? ` — ${detail}` : ''}`);
};
const run = (protocolText, restText, specText = FIXTURE_SPEC) =>
judge({ specText, protocolText, restText });

// 1. The tree as it stands: both sides name the same four spellings.
battery('1. The tree as it stands: both sides name the same four spellings.');
{
const { problems, protocolSet, restSet } = run(fixtureProtocol(), fixtureRest());
check('agreeing sides are green', problems.length === 0, problems[0]);
Expand All@@ -512,6 +562,7 @@ function selfTest() {

// 2. A fifth spelling on the NORMALIZER side only — the direction #8002 is
// about, and the one nothing else in the repo refuses.
battery('2. A fifth spelling on the NORMALIZER side only — the direction #8002 is about, and the one nothing else in the repo refuses.');
{
const { problems } = run(fixtureProtocol(['filters', '$filter', 'where_clause']), fixtureRest());
check('a normalizer-only fifth spelling is red', problems.length === 1, `saw ${problems.length}`);
Expand All@@ -529,6 +580,7 @@ function selfTest() {

// 3. The same fifth spelling on BOTH sides is green again — the gate judges
// parity, not the size of the set.
battery('3. The same fifth spelling on BOTH sides is green again — the gate judges parity, not the size of the set.');
{
const { problems } = run(
fixtureProtocol(['filters', '$filter', 'where_clause']),
Expand All@@ -538,6 +590,7 @@ function selfTest() {
}

// 4. A fifth spelling on the INGRESS side only.
battery('4. A fifth spelling on the INGRESS side only.');
{
const { problems } = run(fixtureProtocol(), fixtureRest(['filters', '$filter', 'where_clause']));
check('an ingress-only fifth spelling is red', problems.length === 1, `saw ${problems.length}`);
Expand All@@ -551,6 +604,7 @@ function selfTest() {
// 5. A `$` alias folding INTO a filter spelling is a filter spelling. It
// reaches `where` through two hops, which is exactly the shape a reader
// comparing only the slot tables would miss.
battery('5. A `$` alias folding INTO a filter spelling is a filter spelling. It reaches `where` through two hops, which is exactly the shape a reader comparing only the slot tables would miss.');
{
const { problems } = run(
fixtureProtocol(['filters', '$filter'], [['$top', 'top'], ['$filters', 'filters']]),
Expand All@@ -562,6 +616,7 @@ function selfTest() {

// 6. Rot: an unreadable shape must fail LOUDLY. A reader that matches
// nothing would otherwise compare two empty sets and report a pass.
battery('6. Rot: an unreadable shape must fail LOUDLY. A reader that matches nothing would otherwise compare two empty sets and report a pass.');
{
const { problems } = run(fixtureProtocol(), '\nexport const SOMETHING_ELSE = [];\n');
check('a missing ingress declaration is red', problems.length === 1, `saw ${problems.length}`);
Expand DownExpand Up@@ -595,6 +650,7 @@ function selfTest() {
}

// 7. The wiring this gate depends on to run at all.
battery('7. The wiring this gate depends on to run at all.');
{
const pkg = JSON.parse(readFileSync(join(ROOT, 'package.json'), 'utf8'));
const entry = pkg.scripts?.['check:filter-alias-parity'];
Expand All@@ -609,6 +665,50 @@ function selfTest() {
check('lint.yml runs the gate exactly once', wired.length === 1, `found ${wired.length}`);
}

// ── The floor: every declared battery RAN, and ran its cases (#13489) ────
//
// Evaluated after every battery has had its chance and BEFORE the verdict, so
// the success line below can only be printed by a run in which the set of
// batteries that registered assertions EQUALS the set declared. A set
// difference names WHICH battery stopped; a count says only that something did.
const floorFailure = (message) => { failures.push(message); };
const declaredBatteries = Object.keys(SELF_TEST_BATTERIES);
let floorBreached = false;
if (declaredBatteries.length < SELF_TEST_BATTERY_FLOOR) {
floorBreached = true;
floorFailure(
`SELF_TEST_BATTERIES declares ${declaredBatteries.length} batteries, below the pinned ` +
`${SELF_TEST_BATTERY_FLOOR} — a battery deleted from the roster takes its own floor with it.`,
);
}
for (const [name, count] of batterySeen) {
if (declaredBatteries.includes(name)) continue;
floorBreached = true;
floorFailure(
`self-test battery "${name}" registered ${count} case(s) but is not declared in ` +
'SELF_TEST_BATTERIES — an assertion attributed to no declared battery is one nothing floors.',
);
}
for (const name of declaredBatteries) {
const count = batterySeen.get(name) ?? 0;
if (count >= SELF_TEST_BATTERIES[name]) continue;
floorBreached = true;
floorFailure(
count === 0
? `self-test battery "${name}" DID NOT RUN — 0 cases registered, ${SELF_TEST_BATTERIES[name]} pinned. ` +
'The verdict below would have claimed those cases hold.'
: `self-test battery "${name}" registered ${count} case(s), below its pinned floor of ` +
`${SELF_TEST_BATTERIES[name]} — cases that used to run no longer do.`,
);
}
if (floorBreached) {
floorFailure(
'A battery at or below its floor means cases STOPPED RUNNING — the battery is the bug, not the ' +
'number. Find what stopped registering (an early return, a deleted block, a guard that now ' +
'skips) and restore it.',
);
}

if (failures.length) {
console.error('check:filter-alias-parity --self-test FAILED');
for (const f of failures) console.error(` - ${f}`);
Expand Down
94 changes: 94 additions & 0 deletions scripts/check-i18n-bundles.mjs
Original file line numberDiff line numberDiff line change
Expand Up@@ -103,6 +103,38 @@ import {
import { EXIT_FINDINGS, EXIT_PREREQUISITE_NOT_MET } from './import-prerequisite.mjs';
import { findExtractConfigs, flagsFromDocstring } from './i18n-bundle-surface.mjs';

// ── The self-test's own battery roster and floor (#13489) ──────────────────
//
// `failures.length === 0` used to be this self-test's ONLY success condition, so
// "every case held" and "the cases never ran" printed the same line. Closed the
// way PR #13487 validated on check-doc-authoring: what is pinned is the
// registered NAMES, not a number. Every section opens with `battery('<name>')`,
// every assertion is attributed to the battery most recently opened, and the
// floor requires the OPENED set to equal the DECLARED set with each battery at
// or above its own count.
//
// ⛔ A pinned TOTAL is not the repair: a battery dropping from 9 cases to 3
// keeps a total "right" the moment a sibling grows.
//
// The counts are a FLOOR, not an equality — adding cases is ordinary work and
// must not red. A battery BELOW its floor means cases stopped running; the
// remedy is to find what stopped registering.
const SELF_TEST_BATTERIES = Object.freeze({
'Third classifier (#5217): the build prerequisite. Same anti-#4690 duty as': 34,
'Fourth classifier (#7681): the OTHER prerequisite — a workspace package this': 24,
'Fifth classifier (#11647): the POPULATION — is there anything to grade, and': 11,
'The other cause, and the reason `=== 0` alone is not the whole condition: a': 8,
});

// DELETING an entry silences that battery's floor exactly as effectively as
// zeroing it, so the roster's own size is pinned too.
const SELF_TEST_BATTERY_FLOOR = 4;

// The key an assertion is filed under when no battery is open. It is not a
// declared battery, so it reds by the same set difference rather than silently
// inflating whichever battery happened to run last.
const UNATTRIBUTED_BATTERY = '(no battery open)';

/**
* The module this gate's POPULATION is enumerated by, declared as a whole
* literal so the derivation can see it (#9116).
Expand DownExpand Up@@ -436,8 +468,23 @@ function populationVerdict(population, activeFilter) {
const SELF_TEST_VERDICT = 'check-i18n-bundles self-test reached its verdict';

function selfTest() {
// The battery ledger this self-test's floor is evaluated against (#13489).
// `battery()` opens a battery; every assertion below is attributed to the one
// most recently opened, so a section that stops running stops registering and
// names ITSELF at the floor rather than going quiet.
const batterySeen = new Map();
let openBattery = null;
const battery = (name) => {
openBattery = name;
};
const registerCase = () => {
const b = openBattery ?? UNATTRIBUTED_BATTERY;
batterySeen.set(b, (batterySeen.get(b) ?? 0) + 1);
};
battery('Third classifier (#5217): the build prerequisite. Same anti-#4690 duty as');
const failures = [];
const expect = (name, cond, detail) => {
registerCase();
if (!cond) failures.push(`${name} — ${detail}`);
};

Expand DownExpand Up@@ -635,6 +682,7 @@ function selfTest() {
// send the reader to a rebuild that changes nothing — the #5862 defect (a
// confident diagnosis pointing somewhere innocent) rebuilt one layer down.
// -------------------------------------------------------------------------
battery('Fourth classifier (#7681): the OTHER prerequisite — a workspace package this');

// The failure #7681 reported, as node actually prints it: produced locally by
// importing a name that a package's built ESM does not export — a fixture
Expand DownExpand Up@@ -794,6 +842,7 @@ function selfTest() {
// classifier in this file is proven red against a recorded string, but "did
// this gate look at anything at all?" can only be proven by looking.
// -------------------------------------------------------------------------
battery('Fifth classifier (#11647): the POPULATION — is there anything to grade, and');

const popCwdBefore = process.cwd();
let offRootPopulation;
Expand DownExpand Up@@ -896,6 +945,7 @@ function selfTest() {

// The other cause, and the reason `=== 0` alone is not the whole condition: a
// filter that matched nothing is a typo, not an environment fact.
battery('The other cause, and the reason `=== 0` alone is not the whole condition: a');
const filterVerdict = populationVerdict(onRootPopulation, 'no-such-package');
expect('#11647 an unmatched --filter is refused', !!filterVerdict, 'a filter matching nothing must not render as OK (0 package(s))');
expect(
Expand DownExpand Up@@ -936,6 +986,50 @@ function selfTest() {
const longWalkError = unreadablePopulationDetail(new Error('E'.repeat(400))).join('\n');
expect('#11647 long walk errors are truncated', longWalkError.includes(`${'E'.repeat(160)}…`), 'a 400-char message must not be pasted whole');

// ── The floor: every declared battery RAN, and ran its cases (#13489) ────
//
// Evaluated after every battery has had its chance and BEFORE the verdict, so
// the success line below can only be printed by a run in which the set of
// batteries that registered assertions EQUALS the set declared. A set
// difference names WHICH battery stopped; a count says only that something did.
const floorFailure = (message) => { failures.push(message); };
const declaredBatteries = Object.keys(SELF_TEST_BATTERIES);
let floorBreached = false;
if (declaredBatteries.length < SELF_TEST_BATTERY_FLOOR) {
floorBreached = true;
floorFailure(
`SELF_TEST_BATTERIES declares ${declaredBatteries.length} batteries, below the pinned ` +
`${SELF_TEST_BATTERY_FLOOR} — a battery deleted from the roster takes its own floor with it.`,
);
}
for (const [name, count] of batterySeen) {
if (declaredBatteries.includes(name)) continue;
floorBreached = true;
floorFailure(
`self-test battery "${name}" registered ${count} case(s) but is not declared in ` +
'SELF_TEST_BATTERIES — an assertion attributed to no declared battery is one nothing floors.',
);
}
for (const name of declaredBatteries) {
const count = batterySeen.get(name) ?? 0;
if (count >= SELF_TEST_BATTERIES[name]) continue;
floorBreached = true;
floorFailure(
count === 0
? `self-test battery "${name}" DID NOT RUN — 0 cases registered, ${SELF_TEST_BATTERIES[name]} pinned. ` +
'The verdict below would have claimed those cases hold.'
: `self-test battery "${name}" registered ${count} case(s), below its pinned floor of ` +
`${SELF_TEST_BATTERIES[name]} — cases that used to run no longer do.`,
);
}
if (floorBreached) {
floorFailure(
'A battery at or below its floor means cases STOPPED RUNNING — the battery is the bug, not the ' +
'number. Find what stopped registering (an early return, a deleted block, a guard that now ' +
'skips) and restore it.',
);
}

if (failures.length) {
console.error(`✗ check:i18n --self-test — ${failures.length} failure(s)\n`);
for (const f of failures) console.error(` ${f}`);
Expand Down
Loading
Loading