plumbbob 0.8.13 → 0.8.17

package/node_modules/checkride/dist/smoke.js

@@ -0,0 +1,346 @@
+/**
+ * Built-in `smoke` check (D9) — a **liveness** probe of the built package, not a
+ * type check (runtime *shapes* stay attw's job; the slots don't overlap).
+ *
+ * It enumerates the manifest's `exports` subpaths (falling back to `main`),
+ * writes a self-contained probe script under `.check/`, and spawns a fresh
+ * `node` on it (never in-process — isolation, the per-check timeout, and the
+ * orchestrator's SIGTERM→SIGKILL reaping all apply, D16/C6). The probe asserts,
+ * for every literal subpath:
+ *
+ *   - the built entry `await import()`s without throwing, and (for a dual
+ *     package, i.e. a subpath carrying an explicit `require` condition) also
+ *     `require()`s cleanly — both through package **self-reference**
+ *     (`import '<pkg>/<subpath>'`), exercising the real `exports`-map resolution
+ *     a consumer would hit (Q9);
+ *   - every **value** export named in the matching dist `.d.ts` is present at
+ *     runtime. Export names come from a conservative, dependency-free `.d.ts`
+ *     scanner ({@link scanValueExports}) that errs toward *under*-collection: a
+ *     missed name is only a weaker assertion, never a false failure.
+ *
+ * Wildcard (`./*`), `null` (blocked), and `.json` data subpaths (notably the
+ * near-universal `"./package.json"` export) carry no runtime module to probe, so
+ * they are skipped and counted in the JSON output. A missing built artifact is
+ * caught before spawning and reported with a "did `build` run?" hint.
+ *
+ * Returns a result the orchestrator persists to `.check/smoke.json`:
+ *   stdout `{ ok: true,  results: [...], skipped: [...] }`   on success (exit 0)
+ *   stdout `{ ok: false, results: [...], skipped: [...] }`   on an import/export miss (exit 1)
+ *   stdout `{ ok: false, error, ... }`                       on a setup failure (bad manifest, missing dist, crashed probe)
+ */
+import { existsSync } from 'node:fs';
+import { mkdir, readFile, writeFile } from 'node:fs/promises';
+import { join } from 'node:path';
+import { pathToFileURL } from 'node:url';
+function isRecord(value) {
+    return typeof value === 'object' && value !== null && !Array.isArray(value);
+}
+/** Read `obj[key]` as a non-empty string, else null. */
+function strField(manifest, key) {
+    const value = manifest[key];
+    return typeof value === 'string' && value ? value : null;
+}
+/** Strip a leading `./` so manifest targets compare/resolve on equal footing. */
+function normalize(target) {
+    return target.startsWith('./') ? target.slice(2) : target;
+}
+function normalizeMaybe(target) {
+    return target === null ? null : normalize(target);
+}
+/**
+ * Resolve a conditional `exports` value to its first string leaf, stepping only
+ * through the named conditions (in priority order) and recursing into nested
+ * condition objects. A bare string is unconditional and returns as-is; an
+ * unrecognized shape returns null (skipped — conservative on exotic maps).
+ */
+function resolveConditional(node, conditions) {
+    if (typeof node === 'string')
+        return node;
+    if (!isRecord(node))
+        return null;
+    for (const cond of conditions) {
+        if (cond in node) {
+            const resolved = resolveConditional(node[cond], conditions);
+            if (resolved !== null)
+                return resolved;
+        }
+    }
+    return null;
+}
+/**
+ * Normalize the `exports` field to `[subpath, value]` entries. A subpath map
+ * has keys starting with `.`; a bare string or a conditions-only object (no
+ * `.`-keys) is the sugar for the `.` subpath.
+ */
+function exportEntries(exportsField) {
+    if (typeof exportsField === 'string')
+        return [['.', exportsField]];
+    if (isRecord(exportsField)) {
+        const keys = Object.keys(exportsField);
+        if (keys.some((key) => key.startsWith('.')))
+            return keys.map((key) => [key, exportsField[key]]);
+        return [['.', exportsField]];
+    }
+    return [];
+}
+/** The `.d.ts` target for a subpath: its `types` condition, or the top-level `types`/`typings` for `.`. */
+function resolveTypesFile(value, manifest, subpath) {
+    const conditioned = isRecord(value) ? normalizeMaybe(resolveConditional(value, ['types', 'typings'])) : null;
+    if (conditioned !== null)
+        return conditioned;
+    if (subpath === '.')
+        return normalizeMaybe(strField(manifest, 'types') ?? strField(manifest, 'typings'));
+    return null;
+}
+/**
+ * The explicit `require`-condition target, or null. A dual package carries a
+ * `require` condition; a bare-string target is single-format and must NOT be
+ * require-probed (requiring an ESM file would throw — a false failure).
+ */
+function resolveRequireFile(value) {
+    const requireNode = isRecord(value) ? value['require'] : undefined;
+    if (requireNode === undefined)
+        return null;
+    return normalizeMaybe(resolveConditional(requireNode, ['import', 'module', 'default', 'require']));
+}
+/** Turn one `exports` entry into a target to probe, or a skip with its reason. */
+function entryToTarget(subpath, value, name, manifest) {
+    if (subpath.includes('*'))
+        return { skip: { subpath, reason: 'wildcard subpath' } };
+    if (value === null)
+        return { skip: { subpath, reason: 'null (blocked) subpath' } };
+    const importFile = normalizeMaybe(resolveConditional(value, ['import', 'module', 'default']));
+    if (importFile?.includes('*'))
+        return { skip: { subpath, reason: 'wildcard target' } };
+    const requireFile = resolveRequireFile(value);
+    // A `.json` subpath — the near-universal `"./package.json": "./package.json"`,
+    // plus any other data export — is not a runtime module: `import()`ing it needs
+    // an `with { type: 'json' }` attribute the probe can't supply, and it carries
+    // no value exports to assert. Skip it like a wildcard/null subpath.
+    const probeTarget = importFile ?? requireFile;
+    if (probeTarget?.endsWith('.json')) {
+        return { skip: { subpath, reason: 'json data subpath' } };
+    }
+    const specifier = name === null ? null : subpath === '.' ? name : name + subpath.slice(1);
+    return {
+        target: {
+            subpath,
+            specifier,
+            importFile,
+            requireFile,
+            typesFile: resolveTypesFile(value, manifest, subpath),
+            hasRequire: requireFile !== null,
+        },
+    };
+}
+/** The single `main`-fallback target when a manifest has no `exports` field, or null when it has no `main`. */
+function mainTarget(manifest) {
+    const main = strField(manifest, 'main');
+    if (main === null)
+        return null;
+    const typesFile = normalizeMaybe(strField(manifest, 'types') ?? strField(manifest, 'typings'));
+    return { subpath: '.', specifier: null, importFile: normalize(main), requireFile: null, typesFile, hasRequire: false };
+}
+/**
+ * Enumerate the smoke targets from a manifest (D9): every literal `exports`
+ * subpath, or the `main` entry when there is no `exports` field. Wildcard and
+ * `null` subpaths are skipped with a reason (they name no single file). The
+ * self-reference `specifier` is derived from the package `name`.
+ */
+export function enumerateExports(manifest) {
+    const exportsField = manifest['exports'];
+    if (exportsField === undefined || exportsField === null) {
+        const main = mainTarget(manifest);
+        return { targets: main ? [main] : [], skipped: [] };
+    }
+    const name = strField(manifest, 'name');
+    const targets = [];
+    const skipped = [];
+    for (const [subpath, value] of exportEntries(exportsField)) {
+        const result = entryToTarget(subpath, value, name, manifest);
+        if ('skip' in result)
+            skipped.push(result.skip);
+        else
+            targets.push(result.target);
+    }
+    return { targets, skipped };
+}
+/**
+ * Strip comments so an `export` inside a JSDoc block or `//` line can't be
+ * mistaken for a real declaration. Block comments first (they can span lines),
+ * then line comments.
+ */
+function stripComments(dts) {
+    return dts.replace(/\/\*[\s\S]*?\*\//g, '').replace(/\/\/[^\n]*/g, '');
+}
+/**
+ * Only top-level (column-0) `export` declarations — never one nested inside a
+ * `declare namespace { … }`, which is indented in `.d.ts` emit. `function`,
+ * `const`, `class`, `enum` (optionally `abstract` for a class); the negative
+ * lookahead drops `const enum` (a const enum has no runtime object).
+ */
+const DECL_RE = /^export\s+declare\s+(?:abstract\s+)?(?:function|const|class|enum)\s+(?!enum\b)([A-Za-z_$][\w$]*)/gm;
+/** A top-level `export { … }` block (optionally `export type { … }`, which is type-only). */
+const NAMED_RE = /^export\s+(type\s+)?\{([^}]*)\}/gm;
+/**
+ * The runtime name a single `export { … }` specifier binds, or null when it is
+ * type-only (`type X`) or not a plain identifier. An alias (`foo as bar`)
+ * resolves to the exported name (`bar`).
+ */
+function namedExportBinding(spec) {
+    const trimmed = spec.trim();
+    if (trimmed === '' || /^type\s/.test(trimmed))
+        return null;
+    const aliased = /\bas\s+([A-Za-z_$][\w$]*)$/.exec(trimmed);
+    const exported = aliased ? aliased[1] : trimmed;
+    return exported !== undefined && /^[A-Za-z_$][\w$]*$/.test(exported) ? exported : null;
+}
+/**
+ * Scan a dist `.d.ts` for the **value** exports a live module must expose (D9):
+ * `export declare function|const|class|enum` and the non-`type` specifiers of
+ * `export { … }` (aliases resolve to the exported name). Type-only forms —
+ * `export type`, `export interface`, `export type { … }`, and `{ type X }`
+ * specifiers — are excluded, as are `const enum`s and anything nested in a
+ * namespace. Conservative by design: it under-collects on exotic shapes rather
+ * than assert a name that isn't a runtime value.
+ */
+export function scanValueExports(dts) {
+    const source = stripComments(dts);
+    const names = new Set();
+    for (const match of source.matchAll(DECL_RE)) {
+        if (match[1])
+            names.add(match[1]);
+    }
+    for (const match of source.matchAll(NAMED_RE)) {
+        if (match[1])
+            continue; // `export type { … }` — the whole block is type-only.
+        for (const spec of (match[2] ?? '').split(',')) {
+            const binding = namedExportBinding(spec);
+            if (binding !== null)
+                names.add(binding);
+        }
+    }
+    return [...names].toSorted();
+}
+/**
+ * The generated probe's fixed body (see {@link checkSmoke}). String-concatenated
+ * — no template literals — so it survives being emitted from inside one. Runs as
+ * ESM (`.mjs`) for top-level `await import()`; `createRequire` covers the
+ * `require` condition of a dual package in the same process.
+ */
+const PROBE_BODY = [
+    "import { createRequire } from 'node:module';",
+    'const require = createRequire(import.meta.url);',
+    'const results = [];',
+    'for (const t of TARGETS) {',
+    '  const r = { subpath: t.subpath, ok: true, errors: [] };',
+    '  let mod = null;',
+    '  try { mod = await import(t.importArg); }',
+    "  catch (err) { r.ok = false; r.errors.push('import failed: ' + (err && err.message ? err.message : String(err))); }",
+    '  if (mod) {',
+    '    const missing = t.expected.filter((n) => !(n in mod));',
+    "    if (missing.length) { r.ok = false; r.errors.push('missing value export(s): ' + missing.join(', ')); }",
+    '  }',
+    '  if (t.requireArg) {',
+    '    try {',
+    '      const cjs = require(t.requireArg);',
+    "      const obj = cjs && (typeof cjs === 'object' || typeof cjs === 'function') ? cjs : {};",
+    '      const missing = t.expected.filter((n) => !(n in obj));',
+    "      if (missing.length) { r.ok = false; r.errors.push('missing value export(s) via require: ' + missing.join(', ')); }",
+    "    } catch (err) { r.ok = false; r.errors.push('require failed: ' + (err && err.message ? err.message : String(err))); }",
+    '  }',
+    '  results.push(r);',
+    '}',
+    'const ok = results.every((r) => r.ok);',
+    "process.stdout.write(JSON.stringify({ ok, results }) + '\\n');",
+    'if (!ok) {',
+    "  for (const r of results) for (const e of r.errors) process.stderr.write('smoke: ' + r.subpath + ': ' + e + '\\n');",
+    '  process.exit(1);',
+    '}',
+    '',
+].join('\n');
+function errorOutcome(error, stderrDetail) {
+    return {
+        ok: false,
+        exit_code: 1,
+        stdout: `${JSON.stringify({ ok: false, error }, null, 2)}\n`,
+        stderr: `check-smoke: ${stderrDetail ?? error}\n`,
+    };
+}
+/** Read and parse the manifest; a missing/unreadable/non-object file is a setup failure. */
+async function readManifest(cwd) {
+    try {
+        const parsed = JSON.parse(await readFile(join(cwd, 'package.json'), 'utf8'));
+        if (!isRecord(parsed))
+            return { ok: false, error: 'package.json is not an object' };
+        return { ok: true, manifest: parsed };
+    }
+    catch (err) {
+        return { ok: false, error: `could not read package.json: ${err instanceof Error ? err.message : String(err)}` };
+    }
+}
+/** Build one probe entry for a target, reading its `.d.ts` for expected value names. */
+async function planTarget(cwd, target) {
+    const importArg = target.specifier ?? (target.importFile !== null ? pathToFileURL(join(cwd, target.importFile)).href : '');
+    const requireArg = target.specifier !== null && target.hasRequire ? target.specifier : null;
+    let expected = [];
+    if (target.typesFile !== null && existsSync(join(cwd, target.typesFile))) {
+        expected = scanValueExports(await readFile(join(cwd, target.typesFile), 'utf8'));
+    }
+    return { subpath: target.subpath, importArg, requireArg, expected };
+}
+/**
+ * Run the `smoke` check against `cwd`. Reads the manifest, enumerates its
+ * targets, verifies the built artifacts exist (a miss is reported with a "did
+ * build run?" hint before anything is spawned), then writes and runs the probe
+ * through the injected `spawn`. Never throws: every setup failure resolves to a
+ * failing outcome.
+ */
+export async function checkSmoke(opts) {
+    const { cwd, spawn, timeoutSec } = opts;
+    const read = await readManifest(cwd);
+    if (!read.ok)
+        return errorOutcome(read.error);
+    const { targets, skipped } = enumerateExports(read.manifest);
+    if (targets.length === 0) {
+        return errorOutcome('no exports/main entry to smoke-test', 'no `exports` subpaths or `main` to import — nothing to smoke-test');
+    }
+    // A required built entry that isn't on disk means the artifact checks are
+    // running before a build produced `dist/` — the most common smoke failure.
+    // Catch it here with a friendly hint rather than a raw import error.
+    const missingDist = targets
+        .filter((t) => t.importFile !== null && !existsSync(join(cwd, t.importFile)))
+        .map((t) => t.importFile ?? '');
+    if (missingDist.length > 0) {
+        return errorOutcome(`built artifact(s) not found: ${missingDist.join(', ')}`, `built artifact(s) not found: ${missingDist.join(', ')} — did \`build\` run?`);
+    }
+    const plan = await Promise.all(targets.map((t) => planTarget(cwd, t)));
+    await mkdir(join(cwd, '.check'), { recursive: true });
+    const probePath = join(cwd, '.check', 'smoke-probe.mjs');
+    await writeFile(probePath, `const TARGETS = ${JSON.stringify(plan)};\n${PROBE_BODY}`);
+    const outcome = await spawn('node', [probePath], cwd, timeoutSec);
+    let payload = null;
+    try {
+        payload = JSON.parse(outcome.stdout);
+    }
+    catch {
+        // Probe crashed before printing valid JSON — handled below.
+    }
+    if (isRecord(payload) && typeof payload['ok'] === 'boolean') {
+        const results = payload['results'];
+        const merged = `${JSON.stringify({ ok: payload['ok'], results, skipped }, null, 2)}\n`;
+        if (payload['ok']) {
+            return {
+                ok: true,
+                exit_code: 0,
+                stdout: merged,
+                stderr: `check-smoke: ${plan.length} subpath(s) imported cleanly, all scanned value exports present\n`,
+            };
+        }
+        return { ok: false, exit_code: 1, stdout: merged, stderr: outcome.stderr || 'check-smoke: one or more subpaths failed\n' };
+    }
+    // No parseable verdict: the probe process itself failed (crash, timeout, spawn error).
+    const detail = outcome.stderr.trim() || outcome.stdout.trim();
+    return errorOutcome(`smoke probe failed (exit ${outcome.exit_code})`, `smoke probe failed (exit ${outcome.exit_code})${detail ? `\n${detail}` : ''}`);
+}
+//# sourceMappingURL=smoke.js.map

package/node_modules/checkride/dist/smoke.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"smoke.js","sourceRoot":"","sources":["../src/smoke.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC9D,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AA+BzC,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,wDAAwD;AACxD,SAAS,QAAQ,CAAC,QAAiC,EAAE,GAAW;IAC9D,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;IAC5B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AAC3D,CAAC;AAED,iFAAiF;AACjF,SAAS,SAAS,CAAC,MAAc;IAC/B,OAAO,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;AAC5D,CAAC;AAED,SAAS,cAAc,CAAC,MAAqB;IAC3C,OAAO,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;AACpD,CAAC;AAED;;;;;GAKG;AACH,SAAS,kBAAkB,CAAC,IAAa,EAAE,UAA6B;IACtE,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC1C,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACjC,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;YACjB,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,CAAC;YAC5D,IAAI,QAAQ,KAAK,IAAI;gBAAE,OAAO,QAAQ,CAAC;QACzC,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;GAIG;AACH,SAAS,aAAa,CAAC,YAAqB;IAC1C,IAAI,OAAO,YAAY,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC,CAAC;IACnE,IAAI,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACvC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAChG,OAAO,CAAC,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC,CAAC;IAC/B,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,2GAA2G;AAC3G,SAAS,gBAAgB,CAAC,KAAc,EAAE,QAAiC,EAAE,OAAe;IAC1F,MAAM,WAAW,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,kBAAkB,CAAC,KAAK,EAAE,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7G,IAAI,WAAW,KAAK,IAAI;QAAE,OAAO,WAAW,CAAC;IAC7C,IAAI,OAAO,KAAK,GAAG;QAAE,OAAO,cAAc,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC;IACzG,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;GAIG;AACH,SAAS,kBAAkB,CAAC,KAAc;IACxC,MAAM,WAAW,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACnE,IAAI,WAAW,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAC3C,OAAO,cAAc,CAAC,kBAAkB,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;AACrG,CAAC;AAED,kFAAkF;AAClF,SAAS,aAAa,CACpB,OAAe,EACf,KAAc,EACd,IAAmB,EACnB,QAAiC;IAEjC,IAAI,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,kBAAkB,EAAE,EAAE,CAAC;IACpF,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,wBAAwB,EAAE,EAAE,CAAC;IACnF,MAAM,UAAU,GAAG,cAAc,CAAC,kBAAkB,CAAC,KAAK,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;IAC9F,IAAI,UAAU,EAAE,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,iBAAiB,EAAE,EAAE,CAAC;IACvF,MAAM,WAAW,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;IAC9C,+EAA+E;IAC/E,+EAA+E;IAC/E,8EAA8E;IAC9E,oEAAoE;IACpE,MAAM,WAAW,GAAG,UAAU,IAAI,WAAW,CAAC;IAC9C,IAAI,WAAW,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QACnC,OAAO,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,mBAAmB,EAAE,EAAE,CAAC;IAC5D,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC1F,OAAO;QACL,MAAM,EAAE;YACN,OAAO;YACP,SAAS;YACT,UAAU;YACV,WAAW;YACX,SAAS,EAAE,gBAAgB,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC;YACrD,UAAU,EAAE,WAAW,KAAK,IAAI;SACjC;KACF,CAAC;AACJ,CAAC;AAED,+GAA+G;AAC/G,SAAS,UAAU,CAAC,QAAiC;IACnD,MAAM,IAAI,GAAG,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IACxC,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,MAAM,SAAS,GAAG,cAAc,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC;IAC/F,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;AACzH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,QAAiC;IAIhE,MAAM,YAAY,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC;IACzC,IAAI,YAAY,KAAK,SAAS,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;QACxD,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;QAClC,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IACtD,CAAC;IAED,MAAM,IAAI,GAAG,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IACxC,MAAM,OAAO,GAAkB,EAAE,CAAC;IAClC,MAAM,OAAO,GAAgB,EAAE,CAAC;IAChC,KAAK,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,aAAa,CAAC,YAAY,CAAC,EAAE,CAAC;QAC3D,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;QAC7D,IAAI,MAAM,IAAI,MAAM;YAAE,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;;YAC3C,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;AAC9B,CAAC;AAED;;;;GAIG;AACH,SAAS,aAAa,CAAC,GAAW;IAChC,OAAO,GAAG,CAAC,OAAO,CAAC,mBAAmB,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;AACzE,CAAC;AAED;;;;;GAKG;AACH,MAAM,OAAO,GAAG,oGAAoG,CAAC;AAErH,6FAA6F;AAC7F,MAAM,QAAQ,GAAG,mCAAmC,CAAC;AAErD;;;;GAIG;AACH,SAAS,kBAAkB,CAAC,IAAY;IACtC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IAC5B,IAAI,OAAO,KAAK,EAAE,IAAI,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3D,MAAM,OAAO,GAAG,4BAA4B,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC3D,MAAM,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;IAChD,OAAO,QAAQ,KAAK,SAAS,IAAI,oBAAoB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;AACzF,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,gBAAgB,CAAC,GAAW;IAC1C,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;IAClC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAEhC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7C,IAAI,KAAK,CAAC,CAAC,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC9C,IAAI,KAAK,CAAC,CAAC,CAAC;YAAE,SAAS,CAAC,sDAAsD;QAC9E,KAAK,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YAC/C,MAAM,OAAO,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;YACzC,IAAI,OAAO,KAAK,IAAI;gBAAE,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;IAED,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;AAC/B,CAAC;AAKD;;;;;GAKG;AACH,MAAM,UAAU,GAAG;IACjB,8CAA8C;IAC9C,iDAAiD;IACjD,qBAAqB;IACrB,4BAA4B;IAC5B,2DAA2D;IAC3D,mBAAmB;IACnB,4CAA4C;IAC5C,sHAAsH;IACtH,cAAc;IACd,4DAA4D;IAC5D,4GAA4G;IAC5G,KAAK;IACL,uBAAuB;IACvB,WAAW;IACX,0CAA0C;IAC1C,6FAA6F;IAC7F,8DAA8D;IAC9D,0HAA0H;IAC1H,2HAA2H;IAC3H,KAAK;IACL,oBAAoB;IACpB,GAAG;IACH,wCAAwC;IACxC,gEAAgE;IAChE,YAAY;IACZ,sHAAsH;IACtH,oBAAoB;IACpB,GAAG;IACH,EAAE;CACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,SAAS,YAAY,CAAC,KAAa,EAAE,YAAqB;IACxD,OAAO;QACL,EAAE,EAAE,KAAK;QACT,SAAS,EAAE,CAAC;QACZ,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI;QAC5D,MAAM,EAAE,gBAAgB,YAAY,IAAI,KAAK,IAAI;KAClD,CAAC;AACJ,CAAC;AAED,4FAA4F;AAC5F,KAAK,UAAU,YAAY,CACzB,GAAW;IAEX,IAAI,CAAC;QACH,MAAM,MAAM,GAAY,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;QACtF,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,+BAA+B,EAAE,CAAC;QACpF,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;IACxC,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,gCAAgC,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC;IAClH,CAAC;AACH,CAAC;AAED,wFAAwF;AACxF,KAAK,UAAU,UAAU,CAAC,GAAW,EAAE,MAAmB;IACxD,MAAM,SAAS,GACb,MAAM,CAAC,SAAS,IAAI,CAAC,MAAM,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC3G,MAAM,UAAU,GAAG,MAAM,CAAC,SAAS,KAAK,IAAI,IAAI,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;IAC5F,IAAI,QAAQ,GAAa,EAAE,CAAC;IAC5B,IAAI,MAAM,CAAC,SAAS,KAAK,IAAI,IAAI,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC;QACzE,QAAQ,GAAG,gBAAgB,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;IACnF,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC;AACtE,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,UAAU,CAAC,IAIhC;IACC,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC;IAExC,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,GAAG,CAAC,CAAC;IACrC,IAAI,CAAC,IAAI,CAAC,EAAE;QAAE,OAAO,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAE9C,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC7D,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,YAAY,CACjB,qCAAqC,EACrC,mEAAmE,CACpE,CAAC;IACJ,CAAC;IAED,0EAA0E;IAC1E,2EAA2E;IAC3E,qEAAqE;IACrE,MAAM,WAAW,GAAG,OAAO;SACxB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;SAC5E,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC;IAClC,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,OAAO,YAAY,CACjB,gCAAgC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EACxD,gCAAgC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,uBAAuB,CAC9E,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAEvE,MAAM,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACtD,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,QAAQ,EAAE,iBAAiB,CAAC,CAAC;IACzD,MAAM,SAAS,CAAC,SAAS,EAAE,mBAAmB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,UAAU,EAAE,CAAC,CAAC;IAEtF,MAAM,OAAO,GAAG,MAAM,KAAK,CAAC,MAAM,EAAE,CAAC,SAAS,CAAC,EAAE,GAAG,EAAE,UAAU,CAAC,CAAC;IAElE,IAAI,OAAO,GAAY,IAAI,CAAC;IAC5B,IAAI,CAAC;QACH,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACvC,CAAC;IAAC,MAAM,CAAC;QACP,4DAA4D;IAC9D,CAAC;IAED,IAAI,QAAQ,CAAC,OAAO,CAAC,IAAI,OAAO,OAAO,CAAC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;QAC5D,MAAM,OAAO,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;QACnC,MAAM,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;QACvF,IAAI,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YAClB,OAAO;gBACL,EAAE,EAAE,IAAI;gBACR,SAAS,EAAE,CAAC;gBACZ,MAAM,EAAE,MAAM;gBACd,MAAM,EAAE,gBAAgB,IAAI,CAAC,MAAM,mEAAmE;aACvG,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,IAAI,4CAA4C,EAAE,CAAC;IAC7H,CAAC;IAED,uFAAuF;IACvF,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IAC9D,OAAO,YAAY,CACjB,4BAA4B,OAAO,CAAC,SAAS,GAAG,EAChD,4BAA4B,OAAO,CAAC,SAAS,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAC/E,CAAC;AACJ,CAAC"}

package/node_modules/checkride/dist/snippets.d.ts

@@ -0,0 +1,215 @@
+/**
+ * Built-in `snippets` check.
+ *
+ * A doc snippet typecheck ported to match fascicle's `check-doc-snippets.mjs`
+ * byte-for-byte so the origin repo can adopt the slot verbatim (D11). It pulls
+ * fenced ```ts / ```typescript blocks out of `README.md` and the non-recursive
+ * `docs/*.md`, and typechecks only the ones explicitly opted in with an HTML
+ * comment on the line immediately above the fence:
+ *
+ *     <!-- snippet: check -->
+ *
+ * Opt-in (rather than checking every fence) keeps the check honest: many doc
+ * fences are deliberately partial fragments that assert nothing about the API.
+ * A tagged snippet that fails to compile is documentation that lies — this
+ * turns that into a build failure. Opting the slot in but tagging *nothing* is
+ * a misconfiguration, not a vacuous pass, so zero tagged snippets is a hard
+ * error ({@link vacuousOptInError}; fascicle exits 2).
+ *
+ * The pure machinery — no filesystem, no spawning:
+ *
+ *   - {@link extractSnippets} parses one doc's markdown into its ts/typescript
+ *     fenced blocks, recording each block's start line and whether it is tagged;
+ *   - {@link slugForDoc} / {@link snippetFileName} name the emitted scratch file
+ *     for a block (`<slug>__<n>.ts`);
+ *   - {@link planSnippets} folds a set of docs into the emission plan (the
+ *     checked blocks to write, each mapped back to `<doc>:<line>`) plus the
+ *     checked/skipped counts;
+ *   - {@link generateSnippetTsconfig} builds the generated tsconfig (extends the
+ *     repo's own, relaxes the three emit/style flags plus the composite-build
+ *     fields a `tsc --build` project carries, embeds the caller's mode-specific
+ *     `paths`).
+ *
+ * Execution (D12/Q1), consuming the primitives above:
+ *
+ *   - {@link deriveSrcPaths} resolves **src mode**'s `paths` mapping: the repo's
+ *     own tsconfig `paths` when present, else the `src/index.ts` convention,
+ *     else null (the caller fails, recommending `snippets-dist`);
+ *   - {@link checkSnippets} discovers the doc set, plans it, derives the mode's
+ *     `paths`, emits the scratch files + generated tsconfig under
+ *     `.check/doc-snippets/`, and typechecks them via a spawned
+ *     `<pm> exec tsc --noEmit -p`, returning a {@link CheckOutcome} whose
+ *     failure `stderr` carries tsc's raw output plus the `snippet -> source
+ *     map:` legend.
+ */
+import type { CheckOutcome } from './links.js';
+import type { PackageManager } from './pm/index.js';
+/**
+ * The opt-in marker: an HTML comment `<!-- snippet: check -->` that must sit on
+ * the line immediately above a fence for its snippet to be typechecked. Exact
+ * fascicle regex (D11).
+ */
+export declare const CHECK_MARKER_RE: RegExp;
+/** An opening fence — `ts` or `typescript` only, nothing else on the line (D11). */
+export declare const FENCE_OPEN_RE: RegExp;
+/** A closing fence: three backticks alone on the line. */
+export declare const FENCE_CLOSE_RE: RegExp;
+/**
+ * One `ts`/`typescript` fenced block extracted from a doc. `code` is the fence
+ * body verbatim (no trailing newline — step 8 appends one on write); `startLine`
+ * is the 1-based line of the opening fence; `checked` is true when a
+ * {@link CHECK_MARKER_RE} marker sits on the immediately-preceding line.
+ */
+export type Snippet = {
+    code: string;
+    startLine: number;
+    checked: boolean;
+};
+/** A doc to plan over: its repo-relative path and full text. */
+export type DocInput = {
+    relPath: string;
+    text: string;
+};
+/**
+ * One checked snippet in the emission plan: the scratch file to write
+ * (`<slug>__<n>.ts`), and the source doc + line it maps back to (the
+ * `snippet -> source map:` legend step 8 renders on failure).
+ */
+export type SnippetPlanEntry = {
+    name: string;
+    file: string;
+    line: number;
+    code: string;
+};
+/** The emission plan for a doc set: checked blocks to write, plus the counts. */
+export type SnippetsPlan = {
+    entries: SnippetPlanEntry[];
+    checked: number;
+    skipped: number;
+};
+/** The two modes `snippets` runs in (D12): fast against `src`, or against built `dist/*.d.ts`. */
+export type SnippetMode = 'src' | 'dist';
+/** The generated tsconfig object (serialized to `.check/doc-snippets/tsconfig.json`). */
+export type SnippetTsconfig = {
+    extends: string;
+    compilerOptions: {
+        paths: Record<string, string[]>;
+        noEmit: true;
+        verbatimModuleSyntax: false;
+        isolatedModules: false;
+        noPropertyAccessFromIndexSignature: false;
+        rootDir: '../..';
+        composite: false;
+        declaration: false;
+        declarationMap: false;
+        incremental: false;
+    };
+    include: string[];
+    exclude: string[];
+};
+/**
+ * Select the doc files to check from a `docs/` directory listing (D11): always
+ * `README.md`, then every non-recursive `docs/*.md` entry, README first and the
+ * `docs/` entries in the order given. Pure — the caller does the (non-recursive)
+ * `readdir` and passes its entries; a plain entry list means a nested
+ * `docs/sub/x.md` never appears (its listing entry `sub` fails `.md`), matching
+ * fascicle's non-recursive `doc_files`.
+ */
+export declare function selectDocFiles(docsEntries: readonly string[]): string[];
+/**
+ * Parse a doc's markdown into its `ts`/`typescript` fenced blocks (D11). A block
+ * is `checked` when a {@link CHECK_MARKER_RE} marker sits on the line immediately
+ * above its opening fence — a marker anywhere else does not count. Untagged
+ * blocks are still returned (the caller counts them as skipped). Semantics match
+ * fascicle's `extract_blocks` exactly.
+ */
+export declare function extractSnippets(text: string): Snippet[];
+/**
+ * The scratch-file slug for a doc's repo-relative path: every non-alphanumeric
+ * run collapses to a single `_`, with leading/trailing `_` trimmed
+ * (`README.md` → `README_md`, `docs/guide.md` → `docs_guide_md`). Exact fascicle
+ * algorithm. Distinct docs in the discovered namespace (`README.md` plus the
+ * flat `docs/*.md`) map to distinct slugs, so their emitted files never collide.
+ */
+export declare function slugForDoc(relPath: string): string;
+/**
+ * The scratch-file name for a block: `<slug>__<n>.ts`, where `n` is the block's
+ * 1-based position among *all* ts/typescript fences in its doc (checked or not) —
+ * so a skipped fence still advances the number, matching fascicle.
+ */
+export declare function snippetFileName(relPath: string, blockIndex: number): string;
+/**
+ * Fold a set of docs into the emission plan: every checked block becomes a
+ * {@link SnippetPlanEntry} (named, mapped back to `<doc>:<line>`), untagged
+ * blocks bump `skipped`. The block index for naming counts all fences in a doc,
+ * so a checked block keeps its position even after skipped ones (fascicle
+ * parity). Pure — the caller reads the docs and writes the files.
+ */
+export declare function planSnippets(docs: readonly DocInput[]): SnippetsPlan;
+/**
+ * The vacuous-opt-in guard (D11): a plan with no checked snippets is a hard
+ * error, not a vacuous green — opting the slot in obligates at least one tagged
+ * fence. Returns the error message for step 8 to surface (fascicle exits 2), or
+ * null when the plan has something to check.
+ */
+export declare function vacuousOptInError(plan: SnippetsPlan): string | null;
+/**
+ * Build the generated tsconfig (D11): extend the repo's own config so the
+ * snippets inherit its strictness, then relax exactly the three flags that
+ * false-positive on illustrative snippets (`verbatimModuleSyntax`,
+ * `isolatedModules`, `noPropertyAccessFromIndexSignature`) while keeping the
+ * type-correctness flags that catch real API drift. `include` clears the parent's
+ * `.check` exclusion so the emitted `./*.ts` are seen; `paths` is the caller's
+ * mode-specific module resolution (src vs dist — Q1).
+ *
+ * A `tsc --build` project (composite, `rootDir`/`outDir` pinned to `src`/`dist`
+ * for project-reference emit) fails TS6059 on any *source* file outside its
+ * `rootDir` — and the generated snippets live under `.check/doc-snippets/`,
+ * while src mode's `paths` mapping pulls in a real source file elsewhere in the
+ * repo (dist mode's self-referenced `.d.ts` is exempt: a declaration file isn't
+ * subject to the same check). `rootDir: '../..'` re-scopes to `cwd` — the
+ * common ancestor of both — so either file satisfies it; `composite`/
+ * `declaration`/`declarationMap`/`incremental` are turned off since this is a
+ * one-shot typecheck, never a build. All four are no-ops on a plain
+ * (non-composite) project's tsconfig, so the override is harmless there too.
+ */
+export declare function generateSnippetTsconfig(opts: {
+    extendsPath: string;
+    paths: Record<string, string[]>;
+}): SnippetTsconfig;
+/** The compilation subprocess spawner — same signature as the orchestrator's `spawnCheck`. */
+export type SnippetSpawn = (command: string, args: string[], cwd: string, timeoutSec?: number) => Promise<CheckOutcome>;
+/**
+ * Derive the `paths` mapping **src mode** needs so `import { x } from
+ * '<pkg-name>'` resolves against source (Q1): the repo's own tsconfig `paths`
+ * when present (remapped two directories deeper, to where the generated
+ * tsconfig lives), else the `src/index.ts` convention (`<pkg-name>` maps to its
+ * root `src/index.ts`) when the manifest names the package and that file
+ * exists, else null — the caller turns a null into a failing outcome that
+ * recommends `snippets-dist` (whose dist-mode compilation needs no mapping at
+ * all: package self-reference through `exports` resolves the built types).
+ */
+export declare function deriveSrcPaths(opts: {
+    manifestName: string | null;
+    tsconfigPaths: Record<string, readonly string[]> | null;
+    hasSrcIndex: boolean;
+}): Record<string, string[]> | null;
+/**
+ * Run the `snippets` check against `cwd` in `mode` (D12: the `snippets` src
+ * adapter passes `'src'`, `snippets-dist` passes `'dist'`). Discovers the doc
+ * set, plans the checked snippets ({@link vacuousOptInError} applies first —
+ * zero tagged snippets is a hard error before anything is written), derives
+ * the mode's `paths` mapping, emits the scratch files plus a generated
+ * tsconfig under `.check/doc-snippets/`, and typechecks them through the
+ * injected `spawn`. A compile failure's `stderr` carries tsc's raw output plus
+ * the `snippet -> source map:` legend mapping each generated file back to
+ * `<doc>:<line>` (D11).
+ */
+export declare function checkSnippets(opts: {
+    cwd: string;
+    mode: SnippetMode;
+    pm: PackageManager;
+    spawn: SnippetSpawn;
+    timeoutSec?: number;
+}): Promise<CheckOutcome>;
+//# sourceMappingURL=snippets.d.ts.map

package/node_modules/checkride/dist/snippets.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"snippets.d.ts","sourceRoot":"","sources":["../src/snippets.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAMH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAGpD;;;;GAIG;AACH,eAAO,MAAM,eAAe,QAAkC,CAAC;AAE/D,oFAAoF;AACpF,eAAO,MAAM,aAAa,QAA4B,CAAC;AAEvD,0DAA0D;AAC1D,eAAO,MAAM,cAAc,QAAa,CAAC;AAEzC;;;;;GAKG;AACH,MAAM,MAAM,OAAO,GAAG;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,OAAO,CAAC;CAClB,CAAC;AAEF,gEAAgE;AAChE,MAAM,MAAM,QAAQ,GAAG;IACrB,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;CACd,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,gBAAgB,GAAG;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;CACd,CAAC;AAEF,iFAAiF;AACjF,MAAM,MAAM,YAAY,GAAG;IACzB,OAAO,EAAE,gBAAgB,EAAE,CAAC;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;CACjB,CAAC;AAEF,kGAAkG;AAClG,MAAM,MAAM,WAAW,GAAG,KAAK,GAAG,MAAM,CAAC;AAEzC,yFAAyF;AACzF,MAAM,MAAM,eAAe,GAAG;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,eAAe,EAAE;QACf,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QAChC,MAAM,EAAE,IAAI,CAAC;QACb,oBAAoB,EAAE,KAAK,CAAC;QAC5B,eAAe,EAAE,KAAK,CAAC;QACvB,kCAAkC,EAAE,KAAK,CAAC;QAC1C,OAAO,EAAE,OAAO,CAAC;QACjB,SAAS,EAAE,KAAK,CAAC;QACjB,WAAW,EAAE,KAAK,CAAC;QACnB,cAAc,EAAE,KAAK,CAAC;QACtB,WAAW,EAAE,KAAK,CAAC;KACpB,CAAC;IACF,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB,CAAC;AAEF;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,EAAE,CAMvE;AAED;;;;;;GAMG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,EAAE,CAmBvD;AAED;;;;;;GAMG;AACH,wBAAgB,UAAU,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAElD;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM,CAE3E;AAED;;;;;;GAMG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,SAAS,QAAQ,EAAE,GAAG,YAAY,CAoBpE;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,YAAY,GAAG,MAAM,GAAG,IAAI,CAGnE;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE;IAC5C,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;CACjC,GAAG,eAAe,CAkBlB;AAOD,8FAA8F;AAC9F,MAAM,MAAM,YAAY,GAAG,CACzB,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,MAAM,EAAE,EACd,GAAG,EAAE,MAAM,EACX,UAAU,CAAC,EAAE,MAAM,KAChB,OAAO,CAAC,YAAY,CAAC,CAAC;AAyE3B;;;;;;;;;GASG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE;IACnC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,GAAG,IAAI,CAAC;IACxD,WAAW,EAAE,OAAO,CAAC;CACtB,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,GAAG,IAAI,CAYlC;AAuBD;;;;;;;;;;GAUG;AACH,wBAAsB,aAAa,CAAC,IAAI,EAAE;IACxC,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,WAAW,CAAC;IAClB,EAAE,EAAE,cAAc,CAAC;IACnB,KAAK,EAAE,YAAY,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB,GAAG,OAAO,CAAC,YAAY,CAAC,CAqDxB"}