@lovrozagar/oat 0.10.0 → 0.11.0

package/dist/conformance/fuzz.js

@@ -0,0 +1,246 @@
+/**
+ * Combination fuzzing: many defects at once, chosen at random.
+ *
+ * The defect matrix injects one fault at a time, which is not how a backend fails. Real ones
+ * carry several simultaneously, and that interaction is where a tool quietly stops being useful:
+ * a broken listing makes every downstream check report a consequence, and a report of thirty
+ * findings with one root cause is nearly as useless as a report of none.
+ *
+ * So the oracle here is not "did every injected defect produce a finding". It is:
+ *
+ *   - **recall** — each injected defect's primary check fired, *or* was legitimately suppressed
+ *     because a check it depends on was itself broken by another injected defect;
+ *   - **precision** — no finding outside the union of what the injected set can justify.
+ *
+ * Suppression is the interesting half. Counting a suppressed check as a miss would push oat
+ * toward reporting cascades; counting any suppression as fine would let it hide real defects
+ * behind unrelated ones. The dependency graph is what separates those two, so it is consulted
+ * rather than assumed.
+ */
+import { CHECKS } from "../runtime/checks.js";
+import { run } from "../runtime/run.js";
+import { EXPECTED, PRINCIPALS, defectsFor } from "./suite.js";
+/** Deterministic PRNG so a failing case can be replayed from its seed alone. */
+function rng(seed) {
+    let state = seed >>> 0;
+    return () => {
+        state = (state * 1_664_525 + 1_013_904_223) >>> 0;
+        return state / 0x1_00_00_00_00;
+    };
+}
+function primary(defect) {
+    const expected = EXPECTED[defect];
+    return Array.isArray(expected) ? (expected[0] ?? "") : expected;
+}
+function acceptable(defect) {
+    const expected = EXPECTED[defect];
+    return Array.isArray(expected) ? expected : [expected];
+}
+/** Every check id reachable from `id` by following `dependsOn`, transitively. */
+function ancestorsOf(id, seen = new Set()) {
+    const check = CHECKS.find((candidate) => candidate.id === id);
+    for (const parent of check?.dependsOn ?? []) {
+        if (seen.has(parent))
+            continue;
+        seen.add(parent);
+        ancestorsOf(parent, seen);
+    }
+    return seen;
+}
+export async function runFuzz(options = {}) {
+    const { backend = "memory", cases = 25, dialect = "postgrest", maxDefects = 4, seed: rootSeed = 1 } = options;
+    const { createMemoryServer, createPostgresServer, createSqliteServer } = await import("../reference/http.js");
+    const factory = backend === "memory" ? createMemoryServer : backend === "sqlite" ? createSqliteServer : createPostgresServer;
+    /* Defects the chosen backend or dialect cannot express are excluded from the draw rather than
+     * excused afterwards — a case that cannot fail teaches nothing and still costs a run. */
+    const pool = defectsFor(backend, dialect);
+    const results = [];
+    const random = rng(rootSeed);
+    for (let index = 0; index < cases; index++) {
+        const caseSeed = Math.floor(random() * 1_000_000);
+        const draw = rng(caseSeed);
+        const count = 1 + Math.floor(draw() * maxDefects);
+        const injected = [];
+        while (injected.length < count) {
+            const pick = pool[Math.floor(draw() * pool.length)];
+            if (!injected.includes(pick))
+                injected.push(pick);
+        }
+        const result = await runOneCase(factory, injected, caseSeed, dialect);
+        results.push(result);
+        options.onCase?.(result);
+    }
+    return results;
+}
+async function runOneCase(factory, injected, seed, dialect) {
+    const base = {
+        cascaded: [],
+        findings: 0,
+        unresolved: [],
+        injected,
+        missed: [],
+        ok: false,
+        seed,
+        spurious: [],
+    };
+    const server = await factory({ defects: injected, dialect });
+    try {
+        const result = await run({
+            baseUrl: server.url,
+            principals: PRINCIPALS,
+            seed: 42,
+            spec: `${server.url}/v1/openapi/spec`,
+        });
+        /* Coverage gaps describe what oat could not test, not what the backend got wrong. */
+        const real = result.findings.filter((finding) => finding.verdict !== "COVERAGE_GAP");
+        const fired = new Set(real.map((finding) => finding.check));
+        base.findings = real.length;
+        /* Anything the injected set can justify — the primaries plus their documented
+         * consequences. A finding outside this union is oat inventing a defect. */
+        const justified = new Set(injected.flatMap(acceptable));
+        const stated = new Map(result.inconclusive.map((entry) => [entry.check, entry.reason]));
+        for (const defect of injected) {
+            const want = primary(defect);
+            if (fired.has(want))
+                continue;
+            /* Not fired. Acceptable in exactly two cases: something `want` depends on is itself
+             * broken — cascade suppression working — or the check ran and reported *why* it could
+             * not conclude. Anything else is oat going quiet, which is the real failure. */
+            const broken = [...ancestorsOf(want)].find((ancestor) => fired.has(ancestor));
+            if (broken !== undefined) {
+                base.cascaded.push({ because: broken, defect });
+                continue;
+            }
+            const reason = stated.get(want);
+            if (reason !== undefined) {
+                base.unresolved.push({ defect, reason });
+                continue;
+            }
+            base.missed.push({ defect, primary: want });
+        }
+        for (const finding of real) {
+            if (justified.has(finding.check))
+                continue;
+            base.spurious.push({
+                check: finding.check,
+                detail: finding.detail,
+                entity: finding.entity ?? "",
+                summary: finding.summary,
+            });
+        }
+        base.ok = base.missed.length === 0 && base.spurious.length === 0;
+        return base;
+    }
+    catch (error) {
+        base.error = error instanceof Error ? error.message : String(error);
+        return base;
+    }
+    finally {
+        await server.close();
+    }
+}
+export function renderFuzz(results) {
+    const lines = [];
+    const failed = results.filter((result) => !result.ok);
+    lines.push("");
+    lines.push("  combination fuzzing — random defect sets, one run each");
+    lines.push("  ─────────────────────────────────────────────────────────────────────────");
+    for (const result of failed) {
+        lines.push(`  ✗ seed ${result.seed}  [${result.injected.join(" + ")}]`);
+        if (result.error !== undefined)
+            lines.push(`      run failed: ${result.error}`);
+        for (const miss of result.missed) {
+            lines.push(`      missed   ${miss.defect} — expected ${miss.primary}, nothing fired`);
+        }
+        for (const extra of result.spurious) {
+            lines.push(`      spurious ${extra.check}${extra.entity === "" ? "" : ` (${extra.entity})`}`);
+            lines.push(`               ${extra.summary}`);
+            /* Truncated, not omitted: the evidence is what distinguishes a real regression from a
+             * timing artefact, and a rare case may never reproduce on demand. */
+            lines.push(`               ${extra.detail.replace(/\s+/g, " ").slice(0, 200)}`);
+        }
+    }
+    const cascaded = results.reduce((sum, result) => sum + result.cascaded.length, 0);
+    const unresolved = results.reduce((sum, result) => sum + result.unresolved.length, 0);
+    lines.push("");
+    lines.push(`  ${results.length - failed.length}/${results.length} combinations diagnosed correctly` +
+        ` · ${cascaded} suppressed as cascades` +
+        ` · ${unresolved} reported as inconclusive`);
+    lines.push("");
+    return { failures: failed.length, text: lines.join("\n") };
+}
+/**
+ * Precision under varied data, against a backend with no defects at all.
+ *
+ * The combination fuzzer varies the *faults*; this varies the *data*. Every check builds its
+ * cohort from a seed — empty strings, LIKE metacharacters, unicode, nulls, lexical extremes — and
+ * the conformance suite has only ever used seed 42. A property that holds at 42 and fails at 43
+ * was never a property of the contract; it was a property of that one fixture.
+ *
+ * Here the backend is correct by construction, so the bar is absolute: any finding at all is a
+ * false positive, and false positives are what make a tool get switched off.
+ */
+export async function runPrecision(options = {}) {
+    const { backend = "memory", cases = 50, dialect = "postgrest", seed: rootSeed = 1 } = options;
+    const { createMemoryServer, createPostgresServer, createSqliteServer } = await import("../reference/http.js");
+    const factory = backend === "memory" ? createMemoryServer : backend === "sqlite" ? createSqliteServer : createPostgresServer;
+    const results = [];
+    const random = rng(rootSeed);
+    for (let index = 0; index < cases; index++) {
+        const seed = Math.floor(random() * 1_000_000);
+        const server = await factory({ defects: [], dialect });
+        try {
+            const result = await run({
+                baseUrl: server.url,
+                principals: PRINCIPALS,
+                seed,
+                spec: `${server.url}/v1/openapi/spec`,
+            });
+            results.push({
+                findings: result.findings
+                    .filter((finding) => finding.verdict !== "COVERAGE_GAP")
+                    .map((finding) => ({
+                    check: finding.check,
+                    entity: finding.entity ?? "",
+                    summary: finding.summary,
+                })),
+                inconclusive: result.inconclusive.length,
+                seed,
+            });
+        }
+        catch (error) {
+            results.push({
+                error: error instanceof Error ? error.message : String(error),
+                findings: [],
+                inconclusive: 0,
+                seed,
+            });
+        }
+        finally {
+            await server.close();
+        }
+    }
+    return results;
+}
+export function renderPrecision(results) {
+    const lines = [];
+    const bad = results.filter((r) => r.findings.length > 0 || r.error !== undefined);
+    lines.push("");
+    lines.push("  precision stress — correct backend, varied cohort data");
+    lines.push("  ─────────────────────────────────────────────────────────────────────────");
+    for (const result of bad) {
+        lines.push(`  ✗ seed ${result.seed}`);
+        if (result.error !== undefined)
+            lines.push(`      run failed: ${result.error}`);
+        for (const finding of result.findings) {
+            lines.push(`      false positive ${finding.check} (${finding.entity}) — ${finding.summary}`);
+        }
+    }
+    const unresolved = results.reduce((sum, r) => sum + r.inconclusive, 0);
+    lines.push("");
+    lines.push(`  ${results.length - bad.length}/${results.length} cohorts produced no false positives` +
+        ` · ${unresolved} check(s) reported as inconclusive`);
+    lines.push("");
+    return { failures: bad.length, text: lines.join("\n") };
+}
+//# sourceMappingURL=fuzz.js.map

package/dist/conformance/fuzz.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fuzz.js","sourceRoot":"","sources":["../../src/conformance/fuzz.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAGH,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAA;AAC7C,OAAO,EAAsB,GAAG,EAAE,MAAM,mBAAmB,CAAA;AAC3D,OAAO,EAAgB,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,YAAY,CAAA;AA+B3E,gFAAgF;AAChF,SAAS,GAAG,CAAC,IAAY;IACxB,IAAI,KAAK,GAAG,IAAI,KAAK,CAAC,CAAA;IACtB,OAAO,GAAG,EAAE;QACX,KAAK,GAAG,CAAC,KAAK,GAAG,SAAS,GAAG,aAAa,CAAC,KAAK,CAAC,CAAA;QACjD,OAAO,KAAK,GAAG,eAAe,CAAA;IAC/B,CAAC,CAAA;AACF,CAAC;AAED,SAAS,OAAO,CAAC,MAAkB;IAClC,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAA;IACjC,OAAO,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAA;AAChE,CAAC;AAED,SAAS,UAAU,CAAC,MAAkB;IACrC,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAA;IACjC,OAAO,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAA;AACvD,CAAC;AAED,iFAAiF;AACjF,SAAS,WAAW,CAAC,EAAU,EAAE,OAAO,IAAI,GAAG,EAAU;IACxD,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,CAAC,CAAA;IAC7D,KAAK,MAAM,MAAM,IAAI,KAAK,EAAE,SAAS,IAAI,EAAE,EAAE,CAAC;QAC7C,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,SAAQ;QAC9B,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;QAChB,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;IAC1B,CAAC;IACD,OAAO,IAAI,CAAA;AACZ,CAAC;AAWD,MAAM,CAAC,KAAK,UAAU,OAAO,CAAC,UAAuB,EAAE;IACtD,MAAM,EAAE,OAAO,GAAG,QAAQ,EAAE,KAAK,GAAG,EAAE,EAAE,OAAO,GAAG,WAAW,EAAE,UAAU,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,GAAG,CAAC,EAAE,GAAG,OAAO,CAAA;IAE7G,MAAM,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,GAAG,MAAM,MAAM,CAAC,sBAAsB,CAAC,CAAA;IAC7G,MAAM,OAAO,GACZ,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,oBAAoB,CAAA;IAE7G;6FACyF;IACzF,MAAM,IAAI,GAAG,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,CAAA;IAEzC,MAAM,OAAO,GAAe,EAAE,CAAA;IAC9B,MAAM,MAAM,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAA;IAE5B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC;QAC5C,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,SAAS,CAAC,CAAA;QACjD,MAAM,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAA;QAC1B,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,UAAU,CAAC,CAAA;QAEjD,MAAM,QAAQ,GAAiB,EAAE,CAAA;QACjC,OAAO,QAAQ,CAAC,MAAM,GAAG,KAAK,EAAE,CAAC;YAChC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,CAAe,CAAA;YACjE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAClD,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAA;QACrE,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QACpB,OAAO,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,CAAA;IACzB,CAAC;IAED,OAAO,OAAO,CAAA;AACf,CAAC;AAOD,KAAK,UAAU,UAAU,CAAC,OAAgB,EAAE,QAAsB,EAAE,IAAY,EAAE,OAAe;IAChG,MAAM,IAAI,GAAa;QACtB,QAAQ,EAAE,EAAE;QACZ,QAAQ,EAAE,CAAC;QACX,UAAU,EAAE,EAAE;QACd,QAAQ;QACR,MAAM,EAAE,EAAE;QACV,EAAE,EAAE,KAAK;QACT,IAAI;QACJ,QAAQ,EAAE,EAAE;KACZ,CAAA;IAED,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAA;IAC5D,IAAI,CAAC;QACJ,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC;YACxB,OAAO,EAAE,MAAM,CAAC,GAAG;YACnB,UAAU,EAAE,UAA6B;YACzC,IAAI,EAAE,EAAE;YACR,IAAI,EAAE,GAAG,MAAM,CAAC,GAAG,kBAAkB;SACrC,CAAC,CAAA;QAEF,qFAAqF;QACrF,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,KAAK,cAAc,CAAC,CAAA;QACpF,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAA;QAC3D,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAA;QAE3B;mFAC2E;QAC3E,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAA;QAEvD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAU,CAAC,CAAC,CAAA;QAEhG,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;YAC/B,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,CAAA;YAC5B,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAQ;YAC7B;;4FAEgF;YAChF,MAAM,MAAM,GAAG,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAA;YAC7E,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBAC1B,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAA;gBAC/C,SAAQ;YACT,CAAC;YACD,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YAC/B,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBAC1B,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAA;gBACxC,SAAQ;YACT,CAAC;YACD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAA;QAC5C,CAAC;QAED,KAAK,MAAM,OAAO,IAAI,IAAI,EAAE,CAAC;YAC5B,IAAI,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC;gBAAE,SAAQ;YAC1C,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAClB,KAAK,EAAE,OAAO,CAAC,KAAK;gBACpB,MAAM,EAAE,OAAO,CAAC,MAAM;gBACtB,MAAM,EAAE,OAAO,CAAC,MAAM,IAAI,EAAE;gBAC5B,OAAO,EAAE,OAAO,CAAC,OAAO;aACxB,CAAC,CAAA;QACH,CAAC;QAED,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAA;QAChE,OAAO,IAAI,CAAA;IACZ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAChB,IAAI,CAAC,KAAK,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;QACnE,OAAO,IAAI,CAAA;IACZ,CAAC;YAAS,CAAC;QACV,MAAM,MAAM,CAAC,KAAK,EAAE,CAAA;IACrB,CAAC;AACF,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,OAAmB;IAC7C,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;IACrD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IACd,KAAK,CAAC,IAAI,CAAC,0DAA0D,CAAC,CAAA;IACtE,KAAK,CAAC,IAAI,CAAC,6EAA6E,CAAC,CAAA;IAEzF,KAAK,MAAM,MAAM,IAAI,MAAM,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,YAAY,MAAM,CAAC,IAAI,MAAM,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;QACvE,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,qBAAqB,MAAM,CAAC,KAAK,EAAE,CAAC,CAAA;QAC/E,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAClC,KAAK,CAAC,IAAI,CAAC,kBAAkB,IAAI,CAAC,MAAM,eAAe,IAAI,CAAC,OAAO,iBAAiB,CAAC,CAAA;QACtF,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YACrC,KAAK,CAAC,IAAI,CAAC,kBAAkB,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,MAAM,GAAG,EAAE,CAAC,CAAA;YAC7F,KAAK,CAAC,IAAI,CAAC,kBAAkB,KAAK,CAAC,OAAO,EAAE,CAAC,CAAA;YAC7C;iFACqE;YACrE,KAAK,CAAC,IAAI,CAAC,kBAAkB,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAA;QAChF,CAAC;IACF,CAAC;IAED,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAA;IACjF,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,GAAG,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,CAAA;IACrF,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IACd,KAAK,CAAC,IAAI,CACT,KAAK,OAAO,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,mCAAmC;QACvF,MAAM,QAAQ,yBAAyB;QACvC,MAAM,UAAU,2BAA2B,CAC5C,CAAA;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IACd,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAA;AAC3D,CAAC;AASD;;;;;;;;;;GAUG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CACjC,UAAkF,EAAE;IAEpF,MAAM,EAAE,OAAO,GAAG,QAAQ,EAAE,KAAK,GAAG,EAAE,EAAE,OAAO,GAAG,WAAW,EAAE,IAAI,EAAE,QAAQ,GAAG,CAAC,EAAE,GAAG,OAAO,CAAA;IAE7F,MAAM,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,GAAG,MAAM,MAAM,CAAC,sBAAsB,CAAC,CAAA;IAC7G,MAAM,OAAO,GACZ,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,oBAAoB,CAAA;IAE7G,MAAM,OAAO,GAAoB,EAAE,CAAA;IACnC,MAAM,MAAM,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAA;IAE5B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC;QAC5C,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,SAAS,CAAC,CAAA;QAC7C,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAA;QACtD,IAAI,CAAC;YACJ,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC;gBACxB,OAAO,EAAE,MAAM,CAAC,GAAG;gBACnB,UAAU,EAAE,UAA6B;gBACzC,IAAI;gBACJ,IAAI,EAAE,GAAG,MAAM,CAAC,GAAG,kBAAkB;aACrC,CAAC,CAAA;YACF,OAAO,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,MAAM,CAAC,QAAQ;qBACvB,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,KAAK,cAAc,CAAC;qBACvD,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;oBAClB,KAAK,EAAE,OAAO,CAAC,KAAK;oBACpB,MAAM,EAAE,OAAO,CAAC,MAAM,IAAI,EAAE;oBAC5B,OAAO,EAAE,OAAO,CAAC,OAAO;iBACxB,CAAC,CAAC;gBACJ,YAAY,EAAE,MAAM,CAAC,YAAY,CAAC,MAAM;gBACxC,IAAI;aACJ,CAAC,CAAA;QACH,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,OAAO,CAAC,IAAI,CAAC;gBACZ,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;gBAC7D,QAAQ,EAAE,EAAE;gBACZ,YAAY,EAAE,CAAC;gBACf,IAAI;aACJ,CAAC,CAAA;QACH,CAAC;gBAAS,CAAC;YACV,MAAM,MAAM,CAAC,KAAK,EAAE,CAAA;QACrB,CAAC;IACF,CAAC;IAED,OAAO,OAAO,CAAA;AACf,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,OAAwB;IACvD,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAA;IACjF,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IACd,KAAK,CAAC,IAAI,CAAC,0DAA0D,CAAC,CAAA;IACtE,KAAK,CAAC,IAAI,CAAC,6EAA6E,CAAC,CAAA;IACzF,KAAK,MAAM,MAAM,IAAI,GAAG,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAC,YAAY,MAAM,CAAC,IAAI,EAAE,CAAC,CAAA;QACrC,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,qBAAqB,MAAM,CAAC,KAAK,EAAE,CAAC,CAAA;QAC/E,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YACvC,KAAK,CAAC,IAAI,CAAC,wBAAwB,OAAO,CAAC,KAAK,KAAK,OAAO,CAAC,MAAM,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC,CAAA;QAC7F,CAAC;IACF,CAAC;IACD,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,CAAA;IACtE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IACd,KAAK,CAAC,IAAI,CACT,KAAK,OAAO,CAAC,MAAM,GAAG,GAAG,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,sCAAsC;QACvF,MAAM,UAAU,oCAAoC,CACrD,CAAA;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IACd,OAAO,EAAE,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAA;AACxD,CAAC"}

package/dist/conformance/leaks.d.ts

@@ -0,0 +1,10 @@
+/**
+ * What a run left behind, read from the backend itself rather than from oat's own bookkeeping.
+ *
+ * Counting `created − removed` trusts the ledger it is meant to audit: a record oat never ledgered
+ * is neither created nor removed, and the count reads zero while tables sit in the backend. Every
+ * live record present after the run and absent before it was left behind, whoever made it.
+ */
+export type StoreSnapshot = Record<string, Array<Record<string, unknown>>>;
+export declare function leftBehind(before: StoreSnapshot, after: StoreSnapshot): string[];
+//# sourceMappingURL=leaks.d.ts.map

package/dist/conformance/leaks.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"leaks.d.ts","sourceRoot":"","sources":["../../src/conformance/leaks.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAAA;AAE1E,wBAAgB,UAAU,CAAC,MAAM,EAAE,aAAa,EAAE,KAAK,EAAE,aAAa,GAAG,MAAM,EAAE,CAYhF"}

package/dist/conformance/leaks.js

@@ -0,0 +1,23 @@
+/**
+ * What a run left behind, read from the backend itself rather than from oat's own bookkeeping.
+ *
+ * Counting `created − removed` trusts the ledger it is meant to audit: a record oat never ledgered
+ * is neither created nor removed, and the count reads zero while tables sit in the backend. Every
+ * live record present after the run and absent before it was left behind, whoever made it.
+ */
+export function leftBehind(before, after) {
+    const out = [];
+    for (const [entity, rows] of Object.entries(after)) {
+        const existed = new Set((before[entity] ?? []).map((row) => JSON.stringify(row.id)));
+        for (const row of rows) {
+            if (existed.has(JSON.stringify(row.id)))
+                continue;
+            /* A tombstone is a removal: the API no longer serves it. */
+            if (row.deleted_at !== null && row.deleted_at !== undefined)
+                continue;
+            out.push(`${entity} ${String(row.id)}`);
+        }
+    }
+    return out;
+}
+//# sourceMappingURL=leaks.js.map

package/dist/conformance/leaks.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"leaks.js","sourceRoot":"","sources":["../../src/conformance/leaks.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,MAAM,UAAU,UAAU,CAAC,MAAqB,EAAE,KAAoB;IACrE,MAAM,GAAG,GAAa,EAAE,CAAA;IACxB,KAAK,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACpD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;QACpF,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACxB,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBAAE,SAAQ;YACjD,4DAA4D;YAC5D,IAAI,GAAG,CAAC,UAAU,KAAK,IAAI,IAAI,GAAG,CAAC,UAAU,KAAK,SAAS;gBAAE,SAAQ;YACrE,GAAG,CAAC,IAAI,CAAC,GAAG,MAAM,IAAI,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAA;QACxC,CAAC;IACF,CAAC;IACD,OAAO,GAAG,CAAA;AACX,CAAC"}

package/dist/conformance/pool.d.ts

@@ -0,0 +1,49 @@
+/**
+ * Conformance cases on worker processes.
+ *
+ * Every case already owns its server, so cases share nothing but the CPU — and the suite is
+ * CPU-bound: oat and the reference backend run in one process, so concurrency inside it buys
+ * nothing. Separate processes do, each with its own heap and event loop. A task is a slice of a leg — a pass's baselines or a chunk of its defects,
+ * the shape suite, or the recall cases behind one shape — and comes back as plain data the parent
+ * assembles and prints in order.
+ */
+import type { ShapeCase } from "./shapes.ts";
+import type { DefectName } from "../reference/defects.ts";
+import type { Backend, CaseResult, ParserResult } from "./suite.ts";
+export type ConformanceTask = {
+    kind: "baselines";
+    backend: Backend;
+    dialect: string;
+} | {
+    kind: "defects";
+    backend: Backend;
+    dialect: string;
+    defects: DefectName[];
+} | {
+    kind: "shapes";
+} | {
+    kind: "recall";
+    shapes: ShapeCase[];
+} | {
+    kind: "scope";
+    defects: string[];
+    known: Record<string, string[]>;
+};
+export type ConformanceAnswer = {
+    kind: "cases";
+    cases: ShapeCase[];
+} | {
+    kind: "leg";
+    results: CaseResult[];
+} | {
+    kind: "results";
+    results: ParserResult[];
+};
+export interface ConformancePool {
+    run(task: ConformanceTask): Promise<ConformanceAnswer>;
+    close(): Promise<void>;
+}
+/** Threads used when `--jobs` is not given: most of the machine, never more than four. */
+export declare function defaultJobs(): number;
+export declare function createPool(jobs: number): ConformancePool;
+//# sourceMappingURL=pool.d.ts.map

package/dist/conformance/pool.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pool.d.ts","sourceRoot":"","sources":["../../src/conformance/pool.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAIH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;AAC5C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAA;AACzD,OAAO,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,YAAY,CAAA;AAEnE,MAAM,MAAM,eAAe,GAGxB;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,OAAO,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GACxD;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,OAAO,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,UAAU,EAAE,CAAA;CAAE,GAC7E;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAClB;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,SAAS,EAAE,CAAA;CAAE,GACvC;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,MAAM,EAAE,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAA;CAAE,CAAA;AAExE,MAAM,MAAM,iBAAiB,GAC1B;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,SAAS,EAAE,CAAA;CAAE,GACrC;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,OAAO,EAAE,UAAU,EAAE,CAAA;CAAE,GACtC;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,OAAO,EAAE,YAAY,EAAE,CAAA;CAAE,CAAA;AAE/C,MAAM,WAAW,eAAe;IAC/B,GAAG,CAAC,IAAI,EAAE,eAAe,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAAA;IACtD,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CAAA;CACtB;AAED,0FAA0F;AAC1F,wBAAgB,WAAW,IAAI,MAAM,CAEpC;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,eAAe,CAmExD"}

package/dist/conformance/pool.js

@@ -0,0 +1,75 @@
+/**
+ * Conformance cases on worker processes.
+ *
+ * Every case already owns its server, so cases share nothing but the CPU — and the suite is
+ * CPU-bound: oat and the reference backend run in one process, so concurrency inside it buys
+ * nothing. Separate processes do, each with its own heap and event loop. A task is a slice of a leg — a pass's baselines or a chunk of its defects,
+ * the shape suite, or the recall cases behind one shape — and comes back as plain data the parent
+ * assembles and prints in order.
+ */
+import { availableParallelism } from "node:os";
+import { fork } from "node:child_process";
+/** Threads used when `--jobs` is not given: most of the machine, never more than four. */
+export function defaultJobs() {
+    return Math.max(1, Math.min(4, availableParallelism() - 1));
+}
+export function createPool(jobs) {
+    const script = new URL("./worker.js", import.meta.url);
+    const idle = [];
+    const all = [];
+    const queue = [];
+    const next = (worker) => {
+        const job = queue.shift();
+        if (job === undefined) {
+            idle.push(worker);
+            return;
+        }
+        const settle = (message) => {
+            worker.off("error", fail);
+            worker.off("exit", died);
+            const reply = message;
+            if (reply.ok && reply.answer !== undefined)
+                job.resolve(reply.answer);
+            else
+                job.reject(new Error(reply.error ?? "conformance worker failed"));
+            next(worker);
+        };
+        const fail = (error) => {
+            worker.off("message", settle);
+            worker.off("exit", died);
+            job.reject(error);
+        };
+        const died = (code, signal) => {
+            worker.off("message", settle);
+            worker.off("error", fail);
+            job.reject(new Error(`conformance worker exited (${signal ?? code}) during a task`));
+        };
+        worker.once("message", settle);
+        worker.once("error", fail);
+        worker.once("exit", died);
+        worker.send(job.task);
+    };
+    for (let index = 0; index < Math.max(1, jobs); index++) {
+        /* Structured clone, as between threads: results carry Maps and Sets. */
+        const worker = fork(script, { serialization: "advanced", stdio: ["ignore", "inherit", "inherit", "ipc"] });
+        all.push(worker);
+        idle.push(worker);
+    }
+    return {
+        close: async () => {
+            await Promise.all(all.map((worker) => new Promise((resolve) => {
+                if (worker.exitCode !== null || worker.signalCode !== null)
+                    return resolve();
+                worker.once("exit", () => resolve());
+                worker.kill();
+            })));
+        },
+        run: (task) => new Promise((resolve, reject) => {
+            queue.push({ reject, resolve, task });
+            const worker = idle.shift();
+            if (worker !== undefined)
+                next(worker);
+        }),
+    };
+}
+//# sourceMappingURL=pool.js.map

package/dist/conformance/pool.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pool.js","sourceRoot":"","sources":["../../src/conformance/pool.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,oBAAoB,EAAE,MAAM,SAAS,CAAA;AAC9C,OAAO,EAAqB,IAAI,EAAE,MAAM,oBAAoB,CAAA;AAwB5D,0FAA0F;AAC1F,MAAM,UAAU,WAAW;IAC1B,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,oBAAoB,EAAE,GAAG,CAAC,CAAC,CAAC,CAAA;AAC5D,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,IAAY;IACtC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,aAAa,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IACtD,MAAM,IAAI,GAAmB,EAAE,CAAA;IAC/B,MAAM,GAAG,GAAmB,EAAE,CAAA;IAC9B,MAAM,KAAK,GAIN,EAAE,CAAA;IAEP,MAAM,IAAI,GAAG,CAAC,MAAoB,EAAQ,EAAE;QAC3C,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,EAAE,CAAA;QACzB,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACvB,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;YACjB,OAAM;QACP,CAAC;QACD,MAAM,MAAM,GAAG,CAAC,OAAgB,EAAQ,EAAE;YACzC,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAA;YACzB,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;YACxB,MAAM,KAAK,GAAG,OAAsE,CAAA;YACpF,IAAI,KAAK,CAAC,EAAE,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;gBAAE,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;;gBAChE,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,IAAI,2BAA2B,CAAC,CAAC,CAAA;YACtE,IAAI,CAAC,MAAM,CAAC,CAAA;QACb,CAAC,CAAA;QACD,MAAM,IAAI,GAAG,CAAC,KAAY,EAAQ,EAAE;YACnC,MAAM,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,CAAA;YAC7B,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;YACxB,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;QAClB,CAAC,CAAA;QACD,MAAM,IAAI,GAAG,CAAC,IAAmB,EAAE,MAAqB,EAAQ,EAAE;YACjE,MAAM,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,CAAA;YAC7B,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAA;YACzB,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,8BAA8B,MAAM,IAAI,IAAI,iBAAiB,CAAC,CAAC,CAAA;QACrF,CAAC,CAAA;QACD,MAAM,CAAC,IAAI,CAAC,SAAS,EAAE,MAAM,CAAC,CAAA;QAC9B,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,CAAA;QAC1B,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;QACzB,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;IACtB,CAAC,CAAA;IAED,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;QACxD,wEAAwE;QACxE,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,EAAE,aAAa,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK,CAAC,EAAE,CAAC,CAAA;QAC1G,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QAChB,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;IAClB,CAAC;IAED,OAAO;QACN,KAAK,EAAE,KAAK,IAAI,EAAE;YACjB,MAAM,OAAO,CAAC,GAAG,CAChB,GAAG,CAAC,GAAG,CACN,CAAC,MAAM,EAAE,EAAE,CACV,IAAI,OAAO,CAAO,CAAC,OAAO,EAAE,EAAE;gBAC7B,IAAI,MAAM,CAAC,QAAQ,KAAK,IAAI,IAAI,MAAM,CAAC,UAAU,KAAK,IAAI;oBAAE,OAAO,OAAO,EAAE,CAAA;gBAC5E,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,OAAO,EAAE,CAAC,CAAA;gBACpC,MAAM,CAAC,IAAI,EAAE,CAAA;YACd,CAAC,CAAC,CACH,CACD,CAAA;QACF,CAAC;QACD,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,CACb,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;YAC/B,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAA;YACrC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,EAAE,CAAA;YAC3B,IAAI,MAAM,KAAK,SAAS;gBAAE,IAAI,CAAC,MAAM,CAAC,CAAA;QACvC,CAAC,CAAC;KACH,CAAA;AACF,CAAC"}

package/dist/conformance/rate-limit.d.ts

@@ -0,0 +1,7 @@
+/**
+ * Reactive 429 backoff and plan-limit adopt. Tags stay the proactive path; these cases prove
+ * the first 429 is not a seed failure and that a 402 does not invent a table.
+ */
+import type { ParserResult } from "./suite.ts";
+export declare function runRateLimitSuite(): Promise<ParserResult[]>;
+//# sourceMappingURL=rate-limit.d.ts.map

package/dist/conformance/rate-limit.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rate-limit.d.ts","sourceRoot":"","sources":["../../src/conformance/rate-limit.ts"],"names":[],"mappings":"AAAA;;;GAGG;AASH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAA;AAuH9C,wBAAsB,iBAAiB,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC,CAuRjE"}