A review of the group-E fixes found 13 further defects; ten were introduced by
those fixes, two pre-existed and were merely relocated, one is deferred.
Services / transport
E-10 retireWorker synthesized no bg/exit frame, so sharedspice's s_bgRunning
mirror stayed latched true after a mid-run worker death: Run stayed
disabled and the promised fresh-worker restart was unreachable for the
whole session. Retirement now dispatches a synthetic controlled-exit
straight to the installed handler (never through dispatchEvt — a
fabricated frame must not touch the credit ledger). Driving the repro
exposed two further defects, both fixed here: a replacement worker
trapped on pre-init engine reads, and the rerun's cm_input_path/circ hit
that uninitialized engine before KiCad's validate() re-init (the native
flow assumes a crashed engine survives in-process — true for the dll,
false for a dead worker). Reads now answer their empty shapes pre-init,
writes lazy-init, and init is idempotent per worker engine.
E-19 dispatchEvt acked only AFTER handler(evt) returned, and the sharedspice
client deliberately rethrows non-trap errors — so each throw leaked one
unit of the 64-frame credit window until the stream died with a
misattributed "transport exceeded". The ack moves to a finally in both
service copies; the throw still propagates (the trap machinery needs it).
E-20 the oversize-line path promises to transfer the accepted prefix, but
with the window full that flush only DEFERS, and stopEventStream wiped
the deferred queue — losing the diagnostics that explain the failure.
The terminal notice now carries them as pendingEvents; both hosts
deliver them in order, unacked (the fatal frame is outside the credit
protocol).
E-21 the 30s prefetch deadline discarded every model already collected and
reported nothing. A caller-owned progress sink ships the partials and
the omission reaches the export report. (Awaiting the aborted collection
was rejected: an in-flight source fetch is not abortable — E-4's
original disease.) Plus a serving-candidate memo, so a .wrl ref served
by its .step fallback stops re-probing the miss on every export.
Scheduler
E-14 _terminalizeNativeTrap classified by message substring, so any plain JS
error QUOTING 'Aborted(' or 'out of bounds' permanently bricked a
healthy instance. Now structural only: instanceof RuntimeError plus a
duck-typed name check (verified in this build's glue that abort() throws
a genuine RuntimeError both pre- and post-runtime-init). Module.onAbort
now latches the gate — the authoritative notification, previously
ignored.
E-15 the shim half: _pumpResume gates on terminal (catching wakes already
queued at latch time) and resolveWait refuses on terminal WITHOUT
consuming the entry, so a frame stays visibly parked rather than
resuming inside a trapped module.
E-16 the E-5 handler read the realm-global scheduler at dispatch instead of
its installing module's; also frees the per-line buffer on the non-trap
rethrow path.
E-11 get_vec trusted the worker's res.length over the transferred arrays.
Observed death shape: a 4 GiB std::vector threw an unhandled
std::length_error that exited the editor's main loop. Now clamped, with
the buffers freed on every failure path.
Guardrails (replacing two deferred refactors: e2e→production-code injection and
collapsing the four copies of the worker-lifecycle machinery)
E-18 the source contract asserted comment-string counts — rewording failed
CI while moving a guard outside its #ifdef passed. It now parses the
#ifdef regions and asserts on code.
service-stub-parity.ts pins what the four lifecycle copies must share:
credit-window equality parsed from source, the finally-ack, boot
deadlines, terminal-notice consumption. The transport numbers are now
single-sourced from the worker.
CI actually runs the gates: the web/standalone vitest suites (which had
NEVER run in CI), the reducer, the source contract and the parity tool —
with a NON_PLAYWRIGHT_GATES check so deleting a step re-fails the lint.
E-22 the e2e occ stub's 60s boot watchdog, deleted in a66e109, is restored in
the ngspice-stub shape with a wedgeNextBoot() repro hook.
Every behavioral fix has red-then-green evidence (the reds were captured first).
E-17 (a stale RUNNING cross-stamping the next run's generation under E-6's
transport deferral) is DEFERRED with its analysis recorded — a real fix needs
run identity on the bg frames.
Test hygiene: the dwell lint now requires the mandated ": <why>" and all 47 bare
markers carry their reason; three export-report dwells became modal-lease polls;
exact-ledger assertions became relative deltas; the dead data-wx-dom-id branch,
an unused fault hook and unused receipt plumbing are gone; abort scans, wx
dialog drivers, the sim harness and the vitest FakeWorker are each one copy now.
Bumps kicad and wxwidgets to their findings-group-e tips.
Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
221 lines
9 KiB
TypeScript
221 lines
9 KiB
TypeScript
/**
|
|
* CI-coverage guard: every spec file on disk must be RUN BY CI. Fails (exit 1)
|
|
* if a test can be added without CI ever executing it — the failure mode that
|
|
* let the web suite rot unrun for months. Run locally or in CI:
|
|
*
|
|
* npx tsx tools/lint-ci-coverage.ts # gate (exit 1 on any violation)
|
|
* npm run lint:ci-coverage
|
|
*
|
|
* Both sides come from ground truth, no hand-maintained file lists:
|
|
* - "what CI runs": `npm run test:…` invocations scraped from
|
|
* .github/workflows/*.yml, resolved through package.json to their
|
|
* `playwright test --config/--project` flags;
|
|
* - "what that covers": `playwright test --list --reporter=json` with those
|
|
* exact flags (CI=1), so testDir/testMatch/testIgnore/project semantics are
|
|
* Playwright's own, never re-implemented here.
|
|
*
|
|
* Rules:
|
|
* - uncovered-spec: a *.spec.ts under tests/ that no CI invocation lists.
|
|
* - orphan-project: a project defined in a config that no CI script selects
|
|
* and that is not explicitly allowlisted as local-only below.
|
|
*/
|
|
import { execFileSync } from 'child_process';
|
|
import * as fs from 'fs';
|
|
import * as path from 'path';
|
|
|
|
const TESTS_ROOT = path.resolve(__dirname, '..');
|
|
const REPO_ROOT = path.resolve(TESTS_ROOT, '..');
|
|
const WORKFLOWS_DIR = path.join(REPO_ROOT, '.github', 'workflows');
|
|
|
|
// Deliberately-local projects (system browsers CI does not install, or manual
|
|
// policy runs). A NEW project must either be selected by a CI-invoked script
|
|
// or be added here on purpose — silence is exactly how the web suite rotted.
|
|
const LOCAL_ONLY_PROJECTS = new Set([
|
|
'kicad-chrome', // system Chrome, headed KiCad debugging
|
|
'jspi-chrome', // system Chrome (real V8; run manually via test:jspi:chrome)
|
|
'coroutine-chrome', // system Chrome (real V8/GPU)
|
|
]);
|
|
|
|
// Dirs under tests/ that never contain source specs.
|
|
const EXCLUDED_DIRS = new Set([
|
|
'node_modules',
|
|
'apps',
|
|
'fixtures',
|
|
'test-results',
|
|
'pw-artifacts',
|
|
'playwright-report',
|
|
'logs',
|
|
'baseline-screenshots',
|
|
'3d-regression',
|
|
'tools',
|
|
'collab',
|
|
'scripts',
|
|
]);
|
|
|
|
// Non-playwright gates CI must keep invoking. This lint's per-spec model only
|
|
// understands "npm run test:*" playwright scripts; these gates (vitest for
|
|
// web/standalone, the ngspice transport reducer, and the findings-E source/
|
|
// parity contracts) live outside that model — so pin their literal workflow
|
|
// invocations here. Deleting a step from a workflow re-fails this lint,
|
|
// closing the exact "nothing runs it" rot class findings-E was about. (The
|
|
// vitest include glob auto-covers new *.test.ts files, so per-file coverage
|
|
// needs no proof.)
|
|
const NON_PLAYWRIGHT_GATES = [
|
|
'pnpm --filter @pcbjam/standalone test',
|
|
'npm run ngspice:worker-batch',
|
|
'npm run findings-e:contract',
|
|
'npm run findings-e:parity',
|
|
];
|
|
|
|
function assertNonPlaywrightGates(): void {
|
|
const bodies: string[] = [];
|
|
for (const f of fs.readdirSync(WORKFLOWS_DIR)) {
|
|
if (!/\.ya?ml$/.test(f)) continue;
|
|
bodies.push(fs.readFileSync(path.join(WORKFLOWS_DIR, f), 'utf8'));
|
|
}
|
|
const all = bodies.join('\n');
|
|
const missing = NON_PLAYWRIGHT_GATES.filter((cmd) => !all.includes(cmd));
|
|
if (missing.length) {
|
|
throw new Error(
|
|
`non-playwright CI gate(s) missing from ${WORKFLOWS_DIR}: ` +
|
|
missing.map((m) => `"${m}"`).join(', ') +
|
|
' — a gate nothing invokes protects nothing'
|
|
);
|
|
}
|
|
}
|
|
|
|
// ── 1. what CI invokes ────────────────────────────────────────────────────────
|
|
function ciTestScripts(): string[] {
|
|
const names = new Set<string>();
|
|
for (const f of fs.readdirSync(WORKFLOWS_DIR)) {
|
|
if (!/\.ya?ml$/.test(f)) continue;
|
|
const body = fs.readFileSync(path.join(WORKFLOWS_DIR, f), 'utf8');
|
|
for (const m of body.matchAll(/npm run (test:[\w:.-]+)/g)) names.add(m[1]);
|
|
}
|
|
if (!names.size) {
|
|
throw new Error(
|
|
`no "npm run test:…" invocations found under ${WORKFLOWS_DIR} — ` +
|
|
'either CI stopped running tests or this lint\'s scrape regex rotted'
|
|
);
|
|
}
|
|
return [...names].sort();
|
|
}
|
|
|
|
// ── 2. resolve scripts to playwright invocations ─────────────────────────────
|
|
type Invocation = { script: string; config: string; projects: string[] };
|
|
|
|
function resolveScript(name: string): Invocation {
|
|
const pkg = JSON.parse(fs.readFileSync(path.join(TESTS_ROOT, 'package.json'), 'utf8'));
|
|
const body: string | undefined = pkg.scripts?.[name];
|
|
if (!body) throw new Error(`CI invokes "npm run ${name}" but tests/package.json has no such script`);
|
|
|
|
const segment = body
|
|
.split('&&')
|
|
.map((s) => s.trim())
|
|
.find((s) => /(^|\s)playwright test(\s|$)/.test(s));
|
|
if (!segment) {
|
|
throw new Error(
|
|
`CI script "${name}" ("${body}") contains no "playwright test" segment — ` +
|
|
'unknown runner; extend lint-ci-coverage.ts to understand it'
|
|
);
|
|
}
|
|
|
|
const config = segment.match(/--config=(\S+)/)?.[1] ?? 'playwright.config.ts';
|
|
const projects = [...segment.matchAll(/--project=(\S+)/g)].map((m) => m[1]);
|
|
return { script: name, config, projects };
|
|
}
|
|
|
|
// ── 3. what those invocations cover ───────────────────────────────────────────
|
|
type ListResult = { files: Set<string>; definedProjects: Set<string> };
|
|
|
|
function listInvocation(inv: Invocation): ListResult {
|
|
const args = ['playwright', 'test', '--list', '--reporter=json', `--config=${inv.config}`];
|
|
for (const p of inv.projects) args.push(`--project=${p}`);
|
|
const out = execFileSync('npx', args, {
|
|
cwd: TESTS_ROOT,
|
|
env: { ...process.env, CI: '1' },
|
|
encoding: 'utf8',
|
|
maxBuffer: 64 * 1024 * 1024,
|
|
});
|
|
const report = JSON.parse(out);
|
|
|
|
// Reported file paths are relative to the config's rootDir (tests/ for the
|
|
// merged config, tests/web for the web one) — normalize to tests/-relative.
|
|
const rootDir: string = report.config?.rootDir ?? TESTS_ROOT;
|
|
const normalize = (f: string) => path.relative(TESTS_ROOT, path.resolve(rootDir, f));
|
|
|
|
const files = new Set<string>();
|
|
const walk = (suite: { file?: string; suites?: unknown[]; specs?: { file?: string }[] }) => {
|
|
if (suite.file) files.add(normalize(suite.file));
|
|
for (const spec of suite.specs ?? []) if (spec.file) files.add(normalize(spec.file));
|
|
for (const sub of (suite.suites ?? []) as typeof suite[]) walk(sub);
|
|
};
|
|
for (const s of report.suites ?? []) walk(s);
|
|
|
|
const definedProjects = new Set<string>(
|
|
(report.config?.projects ?? []).map((p: { name: string }) => p.name)
|
|
);
|
|
return { files, definedProjects };
|
|
}
|
|
|
|
// ── 4. the universe of spec files on disk ─────────────────────────────────────
|
|
function specUniverse(dir = TESTS_ROOT, rel = ''): string[] {
|
|
const out: string[] = [];
|
|
for (const entry of fs.readdirSync(dir, { withFileTypes: true })) {
|
|
if (entry.isDirectory()) {
|
|
if (EXCLUDED_DIRS.has(entry.name) || entry.name.startsWith('.')) continue;
|
|
out.push(...specUniverse(path.join(dir, entry.name), path.join(rel, entry.name)));
|
|
} else if (entry.name.endsWith('.spec.ts')) {
|
|
out.push(path.join(rel, entry.name));
|
|
}
|
|
}
|
|
return out;
|
|
}
|
|
|
|
// ── run ───────────────────────────────────────────────────────────────────────
|
|
assertNonPlaywrightGates();
|
|
|
|
const invocations = ciTestScripts().map(resolveScript);
|
|
|
|
const covered = new Set<string>();
|
|
const defined = new Map<string, string>(); // project -> config that defines it
|
|
const selected = new Set<string>();
|
|
for (const inv of invocations) {
|
|
const { files, definedProjects } = listInvocation(inv);
|
|
for (const f of files) covered.add(f);
|
|
for (const p of definedProjects) if (!defined.has(p)) defined.set(p, inv.config);
|
|
for (const p of inv.projects) selected.add(p);
|
|
}
|
|
|
|
const universe = specUniverse().sort();
|
|
const violations: string[] = [];
|
|
|
|
for (const file of universe) {
|
|
if (!covered.has(file)) {
|
|
violations.push(
|
|
`uncovered-spec: tests/${file} is not listed by any CI-invoked playwright run ` +
|
|
`(scripts: ${invocations.map((i) => i.script).join(', ')})`
|
|
);
|
|
}
|
|
}
|
|
|
|
for (const [project, config] of [...defined.entries()].sort()) {
|
|
if (!selected.has(project) && !LOCAL_ONLY_PROJECTS.has(project)) {
|
|
violations.push(
|
|
`orphan-project: "${project}" (${config}) is selected by no CI script and not in ` +
|
|
'LOCAL_ONLY_PROJECTS — wire it into a CI npm script or allowlist it on purpose'
|
|
);
|
|
}
|
|
}
|
|
|
|
if (violations.length) {
|
|
for (const v of violations) console.error(`✗ ${v}`);
|
|
console.error(`\n${violations.length} CI-coverage violation(s)`);
|
|
process.exit(1);
|
|
}
|
|
|
|
console.log(
|
|
`✓ CI coverage: ${universe.length} spec files all reachable via ` +
|
|
`${invocations.map((i) => i.script).join(' + ')}; ` +
|
|
`${defined.size} projects accounted for (${selected.size} on CI, ${LOCAL_ONLY_PROJECTS.size} local-only)`
|
|
);
|