@lovrozagar/oat 0.1.0

package/dist/runtime/finding.js

@@ -0,0 +1,50 @@
+/**
+ * Findings carry their verdict, not a severity guess made at report time. The verdict is derived
+ * from what the evidence shows, which is what lets the report collapse cascades and lets the
+ * conformance suite assert "exactly this defect was detected".
+ */
+export class FindingCollector {
+    findings = [];
+    inconclusive = [];
+    /**
+     * Records that a check ran without reaching a verdict. Returns `undefined` so a check can
+     * `return ctx.findings.unresolved(...)` at the point it gives up, which keeps the reason
+     * beside the condition that caused it rather than in a comment.
+     */
+    unresolved(check, entity, reason) {
+        this.inconclusive.push({ check, entity, reason });
+        return undefined;
+    }
+    report(finding) {
+        this.findings.push(finding);
+    }
+    backend(check, entity, summary, detail, evidence) {
+        this.report({ check, detail, entity, evidence, summary, verdict: "BACKEND_BUG" });
+    }
+    security(check, entity, summary, detail, evidence) {
+        this.report({ check, detail, entity, evidence, summary, verdict: "SECURITY" });
+    }
+    spec(check, entity, summary, detail, evidence) {
+        this.report({ check, detail, entity, evidence, summary, verdict: "SPEC_BUG" });
+    }
+    gap(check, entity, summary, detail) {
+        this.report({ check, detail, entity, evidence: [], summary, verdict: "COVERAGE_GAP" });
+    }
+    blocked(check, entity, summary, cause) {
+        this.report({
+            check,
+            detail: `blocked by ${cause}`,
+            entity,
+            evidence: [],
+            summary,
+            verdict: "BLOCKED",
+        });
+    }
+    checks() {
+        return [...new Set(this.findings.map((f) => f.check))].sort();
+    }
+    byVerdict(verdict) {
+        return this.findings.filter((f) => f.verdict === verdict);
+    }
+}
+//# sourceMappingURL=finding.js.map

package/dist/runtime/finding.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"finding.js","sourceRoot":"","sources":["../../src/runtime/finding.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAsCH,MAAM,OAAO,gBAAgB;IACnB,QAAQ,GAAc,EAAE,CAAA;IACxB,YAAY,GAAmB,EAAE,CAAA;IAE1C;;;;OAIG;IACH,UAAU,CAAC,KAAa,EAAE,MAAc,EAAE,MAAc;QACvD,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAA;QACjD,OAAO,SAAS,CAAA;IACjB,CAAC;IAED,MAAM,CAAC,OAAgB;QACtB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IAC5B,CAAC;IAED,OAAO,CACN,KAAa,EACb,MAAc,EACd,OAAe,EACf,MAAc,EACd,QAAoB;QAEpB,IAAI,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,CAAA;IAClF,CAAC;IAED,QAAQ,CACP,KAAa,EACb,MAAc,EACd,OAAe,EACf,MAAc,EACd,QAAoB;QAEpB,IAAI,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAA;IAC/E,CAAC;IAED,IAAI,CAAC,KAAa,EAAE,MAAc,EAAE,OAAe,EAAE,MAAc,EAAE,QAAoB;QACxF,IAAI,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAA;IAC/E,CAAC;IAED,GAAG,CAAC,KAAa,EAAE,MAAc,EAAE,OAAe,EAAE,MAAc;QACjE,IAAI,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,CAAC,CAAA;IACvF,CAAC;IAED,OAAO,CAAC,KAAa,EAAE,MAAc,EAAE,OAAe,EAAE,KAAa;QACpE,IAAI,CAAC,MAAM,CAAC;YACX,KAAK;YACL,MAAM,EAAE,cAAc,KAAK,EAAE;YAC7B,MAAM;YACN,QAAQ,EAAE,EAAE;YACZ,OAAO;YACP,OAAO,EAAE,SAAS;SAClB,CAAC,CAAA;IACH,CAAC;IAED,MAAM;QACL,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;IAC9D,CAAC;IAED,SAAS,CAAC,OAAgB;QACzB,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC,CAAA;IAC1D,CAAC;CACD"}

package/dist/runtime/fixture.d.ts

@@ -0,0 +1,20 @@
+/**
+ * Schema-driven fixture generation.
+ *
+ * Valid-random data cannot test a query engine: `ilike` needs a substring, `order` needs a total
+ * order, escaping needs metacharacters. oat seeds a *discriminating cohort* — instances shaped so
+ * that every query assertion has signal — and derives everything from a seed so a failing run is
+ * exactly reproducible.
+ */
+export type Variant = "baseline" | "lexical-first" | "lexical-last" | "null-heavy" | "unicode" | "metacharacter" | "boundary";
+export declare const COHORT: readonly Variant[];
+/** Deterministic PRNG — same seed, same cohort, every run. */
+export declare function mulberry32(seed: number): () => number;
+type Schema = Record<string, unknown>;
+export interface CohortMember {
+    variant: Variant;
+    body: Record<string, unknown>;
+}
+export declare function buildCohort(bodySchema: Schema, seed: number, variants?: readonly Variant[]): CohortMember[];
+export {};
+//# sourceMappingURL=fixture.d.ts.map

package/dist/runtime/fixture.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fixture.d.ts","sourceRoot":"","sources":["../../src/runtime/fixture.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,MAAM,MAAM,OAAO,GAChB,UAAU,GACV,eAAe,GACf,cAAc,GACd,YAAY,GACZ,SAAS,GACT,eAAe,GACf,UAAU,CAAA;AAEb,eAAO,MAAM,MAAM,EAAE,SAAS,OAAO,EAQpC,CAAA;AAED,8DAA8D;AAC9D,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,MAAM,CAQrD;AAED,KAAK,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;AAYrC,MAAM,WAAW,YAAY;IAC5B,OAAO,EAAE,OAAO,CAAA;IAChB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC7B;AAED,wBAAgB,WAAW,CAC1B,UAAU,EAAE,MAAM,EAClB,IAAI,EAAE,MAAM,EACZ,QAAQ,GAAE,SAAS,OAAO,EAAW,GACnC,YAAY,EAAE,CAKhB"}

package/dist/runtime/fixture.js

@@ -0,0 +1,175 @@
+/**
+ * Schema-driven fixture generation.
+ *
+ * Valid-random data cannot test a query engine: `ilike` needs a substring, `order` needs a total
+ * order, escaping needs metacharacters. oat seeds a *discriminating cohort* — instances shaped so
+ * that every query assertion has signal — and derives everything from a seed so a failing run is
+ * exactly reproducible.
+ */
+export const COHORT = [
+    "baseline",
+    "lexical-first",
+    "lexical-last",
+    "null-heavy",
+    "unicode",
+    "metacharacter",
+    "boundary",
+];
+/** Deterministic PRNG — same seed, same cohort, every run. */
+export function mulberry32(seed) {
+    let a = seed >>> 0;
+    return () => {
+        a = (a + 0x6d2b79f5) >>> 0;
+        let t = Math.imul(a ^ (a >>> 15), 1 | a);
+        t = (t + Math.imul(t ^ (t >>> 7), 61 | t)) ^ t;
+        return ((t ^ (t >>> 14)) >>> 0) / 4294967296;
+    };
+}
+const STRINGS = {
+    baseline: "Quarterly Report",
+    boundary: "",
+    "lexical-first": "aaa first alphabetically",
+    "lexical-last": "zzz last alphabetically",
+    metacharacter: "100% _off_ *everything*",
+    "null-heavy": "null heavy record",
+    unicode: "日本語 café ñandú",
+};
+export function buildCohort(bodySchema, seed, variants = COHORT) {
+    return variants.map((variant, index) => ({
+        body: generateObject(bodySchema, variant, mulberry32(seed + index * 7919), index),
+        variant,
+    }));
+}
+function generateObject(schema, variant, rand, index, depth = 0) {
+    if (depth > 4)
+        return {};
+    const properties = schema.properties;
+    if (properties === null || typeof properties !== "object")
+        return {};
+    const required = Array.isArray(schema.required) ? schema.required : [];
+    const out = {};
+    for (const [name, raw] of Object.entries(properties)) {
+        if (raw === null || typeof raw !== "object")
+            continue;
+        if (raw.readOnly === true)
+            continue;
+        const value = generateValue(name, raw, variant, rand, index, depth);
+        if (value === undefined) {
+            if (required.includes(name))
+                out[name] = fallbackFor(raw);
+            continue;
+        }
+        out[name] = value;
+    }
+    return out;
+}
+function generateValue(name, schema, variant, rand, index, depth = 0) {
+    /* Recursive schemas are shared objects after dereferencing, so generation must be bounded. */
+    if (depth > 4)
+        return undefined;
+    const nullable = isNullable(schema);
+    if (variant === "null-heavy" && nullable)
+        return null;
+    const concrete = concreteBranch(schema);
+    const type = typeOf(concrete);
+    if (Array.isArray(concrete.enum) && concrete.enum.length > 0) {
+        /* Walk the enum across the cohort so every value is represented and filters on it
+         * partition the set non-trivially. */
+        return concrete.enum[index % concrete.enum.length];
+    }
+    switch (type) {
+        case "string": {
+            const max = typeof concrete.maxLength === "number" ? concrete.maxLength : 64;
+            if (variant === "boundary")
+                return "B".repeat(Math.max(1, Math.min(max, 512)));
+            const base = STRINGS[variant];
+            /* Suffix keeps values distinct so equality filters select exactly one instance. */
+            const text = `${base} ${index}`;
+            return text.length > max ? text.slice(0, max) : text;
+        }
+        case "integer":
+        case "number": {
+            if (variant === "boundary" && typeof concrete.maximum === "number")
+                return concrete.maximum;
+            const min = typeof concrete.minimum === "number" ? concrete.minimum : 0;
+            /*
+             * A ladder whose lexical order differs from its numeric order: as text these sort
+             * 1, 10, 100, 2, 20, 5, 50 — nothing like their numeric order.
+             *
+             * An evenly spaced sequence (10, 20, 30…) sorts identically either way, so a backend
+             * comparing numbers as strings would look correct. Values have to disagree for the
+             * assertion to carry any signal.
+             */
+            const ladder = [1, 2, 5, 10, 20, 50, 100];
+            const step = ladder[index % ladder.length] ?? 1;
+            return type === "integer" ? min + step : min + step + Math.round(rand() * 9) / 10;
+        }
+        case "boolean":
+            return index % 2 === 0;
+        case "array": {
+            /* An empty array is not a safe default: `minItems` is common on required collections
+             * (column definitions, line items), and sending [] fails validation on exactly the
+             * endpoints most worth testing. */
+            const min = typeof concrete.minItems === "number" ? concrete.minItems : 0;
+            const count = Math.max(min, 1);
+            const items = concrete.items;
+            if (items === null || typeof items !== "object")
+                return [];
+            return Array.from({ length: count }, (_, position) => generateValue(`${name}_item`, items, variant, rand, index + position, depth + 1));
+        }
+        case "object":
+            return generateObject(concrete, variant, rand, index, depth + 1);
+        default:
+            return undefined;
+    }
+}
+function fallbackFor(schema) {
+    switch (typeOf(concreteBranch(schema))) {
+        case "integer":
+        case "number":
+            return 0;
+        case "boolean":
+            return false;
+        case "array":
+            return [];
+        case "object":
+            return {};
+        default:
+            return "value";
+    }
+}
+/** `oneOf: [{type: string}, {type: null}]` is the nullable idiom; pick the non-null branch. */
+function concreteBranch(schema) {
+    const union = schema.oneOf ?? schema.anyOf;
+    if (!Array.isArray(union))
+        return schema;
+    const branch = union.find((candidate) => candidate !== null && typeof candidate === "object" && candidate.type !== "null");
+    return branch ?? schema;
+}
+function isNullable(schema) {
+    if (schema.nullable === true)
+        return true;
+    const type = schema.type;
+    if (Array.isArray(type))
+        return type.includes("null");
+    const union = schema.oneOf ?? schema.anyOf;
+    if (!Array.isArray(union))
+        return false;
+    return union.some((candidate) => candidate !== null && typeof candidate === "object" && candidate.type === "null");
+}
+function typeOf(schema) {
+    const type = schema.type;
+    if (typeof type === "string")
+        return type;
+    if (Array.isArray(type)) {
+        const concrete = type.find((t) => t !== "null");
+        if (typeof concrete === "string")
+            return concrete;
+    }
+    if (schema.properties !== undefined)
+        return "object";
+    if (schema.items !== undefined)
+        return "array";
+    return "string";
+}
+//# sourceMappingURL=fixture.js.map

package/dist/runtime/fixture.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fixture.js","sourceRoot":"","sources":["../../src/runtime/fixture.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAWH,MAAM,CAAC,MAAM,MAAM,GAAuB;IACzC,UAAU;IACV,eAAe;IACf,cAAc;IACd,YAAY;IACZ,SAAS;IACT,eAAe;IACf,UAAU;CACV,CAAA;AAED,8DAA8D;AAC9D,MAAM,UAAU,UAAU,CAAC,IAAY;IACtC,IAAI,CAAC,GAAG,IAAI,KAAK,CAAC,CAAA;IAClB,OAAO,GAAG,EAAE;QACX,CAAC,GAAG,CAAC,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,CAAA;QAC1B,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAA;QACxC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;QAC9C,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,UAAU,CAAA;IAC7C,CAAC,CAAA;AACF,CAAC;AAID,MAAM,OAAO,GAA4B;IACxC,QAAQ,EAAE,kBAAkB;IAC5B,QAAQ,EAAE,EAAE;IACZ,eAAe,EAAE,0BAA0B;IAC3C,cAAc,EAAE,yBAAyB;IACzC,aAAa,EAAE,yBAAyB;IACxC,YAAY,EAAE,mBAAmB;IACjC,OAAO,EAAE,gBAAgB;CACzB,CAAA;AAOD,MAAM,UAAU,WAAW,CAC1B,UAAkB,EAClB,IAAY,EACZ,WAA+B,MAAM;IAErC,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QACxC,IAAI,EAAE,cAAc,CAAC,UAAU,EAAE,OAAO,EAAE,UAAU,CAAC,IAAI,GAAG,KAAK,GAAG,IAAI,CAAC,EAAE,KAAK,CAAC;QACjF,OAAO;KACP,CAAC,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,cAAc,CACtB,MAAc,EACd,OAAgB,EAChB,IAAkB,EAClB,KAAa,EACb,KAAK,GAAG,CAAC;IAET,IAAI,KAAK,GAAG,CAAC;QAAE,OAAO,EAAE,CAAA;IACxB,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,CAAA;IACpC,IAAI,UAAU,KAAK,IAAI,IAAI,OAAO,UAAU,KAAK,QAAQ;QAAE,OAAO,EAAE,CAAA;IACpE,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAE,MAAM,CAAC,QAAqB,CAAC,CAAC,CAAC,EAAE,CAAA;IACpF,MAAM,GAAG,GAA4B,EAAE,CAAA;IAEvC,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAoC,CAAC,EAAE,CAAC;QAChF,IAAI,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,QAAQ;YAAE,SAAQ;QACrD,IAAI,GAAG,CAAC,QAAQ,KAAK,IAAI;YAAE,SAAQ;QACnC,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;QACnE,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACzB,IAAI,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,GAAG,CAAC,CAAA;YACzD,SAAQ;QACT,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK,CAAA;IAClB,CAAC;IACD,OAAO,GAAG,CAAA;AACX,CAAC;AAED,SAAS,aAAa,CACrB,IAAY,EACZ,MAAc,EACd,OAAgB,EAChB,IAAkB,EAClB,KAAa,EACb,KAAK,GAAG,CAAC;IAET,8FAA8F;IAC9F,IAAI,KAAK,GAAG,CAAC;QAAE,OAAO,SAAS,CAAA;IAC/B,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,CAAA;IACnC,IAAI,OAAO,KAAK,YAAY,IAAI,QAAQ;QAAE,OAAO,IAAI,CAAA;IAErD,MAAM,QAAQ,GAAG,cAAc,CAAC,MAAM,CAAC,CAAA;IACvC,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAA;IAE7B,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9D;8CACsC;QACtC,OAAO,QAAQ,CAAC,IAAI,CAAC,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;IACnD,CAAC;IAED,QAAQ,IAAI,EAAE,CAAC;QACd,KAAK,QAAQ,CAAC,CAAC,CAAC;YACf,MAAM,GAAG,GAAG,OAAO,QAAQ,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAA;YAC5E,IAAI,OAAO,KAAK,UAAU;gBAAE,OAAO,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAA;YAC9E,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,CAAA;YAC7B,mFAAmF;YACnF,MAAM,IAAI,GAAG,GAAG,IAAI,IAAI,KAAK,EAAE,CAAA;YAC/B,OAAO,IAAI,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;QACrD,CAAC;QACD,KAAK,SAAS,CAAC;QACf,KAAK,QAAQ,CAAC,CAAC,CAAC;YACf,IAAI,OAAO,KAAK,UAAU,IAAI,OAAO,QAAQ,CAAC,OAAO,KAAK,QAAQ;gBAAE,OAAO,QAAQ,CAAC,OAAO,CAAA;YAC3F,MAAM,GAAG,GAAG,OAAO,QAAQ,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAA;YACvE;;;;;;;eAOG;YACH,MAAM,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,CAAA;YACzC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;YAC/C,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,GAAG,EAAE,CAAA;QAClF,CAAC;QACD,KAAK,SAAS;YACb,OAAO,KAAK,GAAG,CAAC,KAAK,CAAC,CAAA;QACvB,KAAK,OAAO,CAAC,CAAC,CAAC;YACd;;+CAEmC;YACnC,MAAM,GAAG,GAAG,OAAO,QAAQ,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAA;YACzE,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAA;YAC9B,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAA;YAC5B,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;gBAAE,OAAO,EAAE,CAAA;YAC1D,OAAO,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,CACpD,aAAa,CAAC,GAAG,IAAI,OAAO,EAAE,KAAe,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,GAAG,QAAQ,EAAE,KAAK,GAAG,CAAC,CAAC,CAC1F,CAAA;QACF,CAAC;QACD,KAAK,QAAQ;YACZ,OAAO,cAAc,CAAC,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC,CAAA;QACjE;YACC,OAAO,SAAS,CAAA;IAClB,CAAC;AACF,CAAC;AAED,SAAS,WAAW,CAAC,MAAc;IAClC,QAAQ,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;QACxC,KAAK,SAAS,CAAC;QACf,KAAK,QAAQ;YACZ,OAAO,CAAC,CAAA;QACT,KAAK,SAAS;YACb,OAAO,KAAK,CAAA;QACb,KAAK,OAAO;YACX,OAAO,EAAE,CAAA;QACV,KAAK,QAAQ;YACZ,OAAO,EAAE,CAAA;QACV;YACC,OAAO,OAAO,CAAA;IAChB,CAAC;AACF,CAAC;AAED,+FAA+F;AAC/F,SAAS,cAAc,CAAC,MAAc;IACrC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK,CAAA;IAC1C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,MAAM,CAAA;IACxC,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CACxB,CAAC,SAAS,EAAE,EAAE,CACb,SAAS,KAAK,IAAI,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAK,SAAoB,CAAC,IAAI,KAAK,MAAM,CAC7F,CAAA;IACD,OAAQ,MAA6B,IAAI,MAAM,CAAA;AAChD,CAAC;AAED,SAAS,UAAU,CAAC,MAAc;IACjC,IAAI,MAAM,CAAC,QAAQ,KAAK,IAAI;QAAE,OAAO,IAAI,CAAA;IACzC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAA;IACxB,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAA;IACrD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK,CAAA;IAC1C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAA;IACvC,OAAO,KAAK,CAAC,IAAI,CAChB,CAAC,SAAS,EAAE,EAAE,CACb,SAAS,KAAK,IAAI,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAK,SAAoB,CAAC,IAAI,KAAK,MAAM,CAC7F,CAAA;AACF,CAAC;AAED,SAAS,MAAM,CAAC,MAAc;IAC7B,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAA;IACxB,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAA;IACzC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,CAAA;QAC/C,IAAI,OAAO,QAAQ,KAAK,QAAQ;YAAE,OAAO,QAAQ,CAAA;IAClD,CAAC;IACD,IAAI,MAAM,CAAC,UAAU,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAA;IACpD,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS;QAAE,OAAO,OAAO,CAAA;IAC9C,OAAO,QAAQ,CAAA;AAChB,CAAC"}

package/dist/runtime/progress.d.ts

@@ -0,0 +1,41 @@
+/**
+ * Live run status.
+ *
+ * Logs are logfmt (key=value, one event per line) — the usual shape for
+ * machines and people. Values are never truncated: a fixed-width table
+ * forced "…" on check names and URLs, and wrapped the header in a normal
+ * editor so the columns stopped lining up.
+ *
+ * stderr and progress.log are the same format. progress.jsonl is the same
+ * events as JSON. progress.tsv is the same columns, tab-separated.
+ */
+export interface ProgressLast {
+    method: string;
+    url: string;
+    status: number;
+    durationMs: number;
+    at: number;
+}
+export interface ProgressSnapshot {
+    phase: "load" | "auth" | "seed" | "test" | "teardown" | "done";
+    entity?: string;
+    entityIndex?: number;
+    entityTotal?: number;
+    check?: string;
+    requests: number;
+    findings: number;
+    last?: ProgressLast;
+    message?: string;
+    elapsedMs: number;
+}
+export type ProgressHandler = (snap: ProgressSnapshot) => void;
+export declare const PROGRESS_TSV_HEADER: string;
+export declare const PROGRESS_GLOSSARY: string;
+export declare function formatProgressLine(snap: ProgressSnapshot, now?: number): string;
+export declare function formatProgressTsv(snap: ProgressSnapshot, now?: number): string;
+export declare function formatProgressJsonl(snap: ProgressSnapshot, now?: number): string;
+export declare function createStderrProgress(startedAt?: number): {
+    emit: ProgressHandler;
+    stop: () => void;
+};
+//# sourceMappingURL=progress.d.ts.map

package/dist/runtime/progress.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"progress.d.ts","sourceRoot":"","sources":["../../src/runtime/progress.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,MAAM,WAAW,YAAY;IAC5B,MAAM,EAAE,MAAM,CAAA;IACd,GAAG,EAAE,MAAM,CAAA;IACX,MAAM,EAAE,MAAM,CAAA;IACd,UAAU,EAAE,MAAM,CAAA;IAClB,EAAE,EAAE,MAAM,CAAA;CACV;AAED,MAAM,WAAW,gBAAgB;IAChC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,UAAU,GAAG,MAAM,CAAA;IAC9D,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,QAAQ,EAAE,MAAM,CAAA;IAChB,QAAQ,EAAE,MAAM,CAAA;IAChB,IAAI,CAAC,EAAE,YAAY,CAAA;IACnB,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,SAAS,EAAE,MAAM,CAAA;CACjB;AAED,MAAM,MAAM,eAAe,GAAG,CAAC,IAAI,EAAE,gBAAgB,KAAK,IAAI,CAAA;AAK9D,eAAO,MAAM,mBAAmB,QAiBpB,CAAA;AAEZ,eAAO,MAAM,iBAAiB,QAWlB,CAAA;AAEZ,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,gBAAgB,EAAE,GAAG,SAAa,GAAG,MAAM,CAoBnF;AAED,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,gBAAgB,EAAE,GAAG,SAAa,GAAG,MAAM,CAoBlF;AAED,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,gBAAgB,EAAE,GAAG,SAAa,GAAG,MAAM,CAqBpF;AAED,wBAAgB,oBAAoB,CAAC,SAAS,SAAa,GAAG;IAC7D,IAAI,EAAE,eAAe,CAAA;IACrB,IAAI,EAAE,MAAM,IAAI,CAAA;CAChB,CAwCA"}

package/dist/runtime/progress.js

@@ -0,0 +1,186 @@
+/**
+ * Live run status.
+ *
+ * Logs are logfmt (key=value, one event per line) — the usual shape for
+ * machines and people. Values are never truncated: a fixed-width table
+ * forced "…" on check names and URLs, and wrapped the header in a normal
+ * editor so the columns stopped lining up.
+ *
+ * stderr and progress.log are the same format. progress.jsonl is the same
+ * events as JSON. progress.tsv is the same columns, tab-separated.
+ */
+const HEARTBEAT_MS = 5_000;
+const STALL_MS = 15_000;
+export const PROGRESS_TSV_HEADER = [
+    "ts_ms",
+    "status",
+    "done",
+    "total",
+    "phase",
+    "entity",
+    "check",
+    "msg",
+    "req",
+    "find",
+    "method",
+    "path",
+    "http",
+    "last_ms",
+    "idle_ms",
+    "elapsed_ms",
+].join("\t");
+export const PROGRESS_GLOSSARY = [
+    "# logfmt — one event per line, full values, no truncation",
+    "# ts               when this line was written (ISO-8601 UTC). ts_ms is the same instant as unix ms",
+    "# status=ok|stall  stall means idle_ms >= 15000 (last call finished, nothing since)",
+    "# done/total       entity index / how many entities",
+    "# phase            load|auth|seed|test|teardown|done",
+    "# check            check id (empty when not in a check)",
+    "# msg              phase note (seeding, spec URL, teardown count)",
+    "# last_ms          duration of the last HTTP call",
+    "# idle_ms          ms since that call returned — if this climbs, the run is stuck",
+    "# elapsed_ms       wall clock since oat started",
+].join("\n");
+export function formatProgressLine(snap, now = Date.now()) {
+    const f = fields(snap, now);
+    return logfmt({
+        ts: new Date(now).toISOString(),
+        status: f.status,
+        done: f.done,
+        total: f.total,
+        phase: f.phase,
+        entity: f.entity,
+        check: f.check,
+        msg: f.msg,
+        req: f.req,
+        find: f.find,
+        method: f.method,
+        path: f.path,
+        http: f.http,
+        last_ms: f.last_ms,
+        idle_ms: f.idle_ms,
+        elapsed_ms: f.elapsed_ms,
+    });
+}
+export function formatProgressTsv(snap, now = Date.now()) {
+    const f = fields(snap, now);
+    return [
+        now,
+        f.status,
+        f.done,
+        f.total,
+        f.phase,
+        f.entity,
+        f.check,
+        f.msg,
+        f.req,
+        f.find,
+        f.method,
+        f.path,
+        f.http,
+        f.last_ms,
+        f.idle_ms,
+        f.elapsed_ms,
+    ].join("\t");
+}
+export function formatProgressJsonl(snap, now = Date.now()) {
+    const f = fields(snap, now);
+    return JSON.stringify({
+        check: f.check === "-" ? null : f.check,
+        done: snap.entityIndex ?? null,
+        elapsed_ms: Number(f.elapsed_ms),
+        entity: snap.entity ?? null,
+        find: snap.findings,
+        http: snap.last?.status ?? null,
+        idle_ms: f.idle_ms === "-" ? null : Number(f.idle_ms),
+        last_ms: f.last_ms === "-" ? null : Number(f.last_ms),
+        method: f.method === "-" ? null : f.method,
+        msg: f.msg === "-" ? null : f.msg,
+        path: f.path === "-" ? null : f.path,
+        phase: snap.phase,
+        req: snap.requests,
+        status: f.status,
+        total: snap.entityTotal ?? null,
+        ts: new Date(now).toISOString(),
+        ts_ms: now,
+    });
+}
+export function createStderrProgress(startedAt = Date.now()) {
+    let latest;
+    let lastKey = "";
+    let lastWrite = 0;
+    let headed = false;
+    const write = (snap) => {
+        if (!headed) {
+            headed = true;
+            process.stderr.write(`${PROGRESS_GLOSSARY}\n`);
+        }
+        process.stderr.write(`${formatProgressLine(snap)}\n`);
+        lastWrite = Date.now();
+    };
+    const timer = setInterval(() => {
+        if (latest === undefined)
+            return;
+        write({ ...latest, elapsedMs: Date.now() - startedAt });
+    }, HEARTBEAT_MS);
+    timer.unref();
+    return {
+        emit(snap) {
+            latest = snap;
+            const key = `${snap.phase}|${snap.entity ?? ""}|${snap.check ?? ""}|${snap.message ?? ""}`;
+            const keyChanged = key !== lastKey;
+            lastKey = key;
+            const stalled = snap.last !== undefined && Date.now() - snap.last.at >= STALL_MS;
+            const force = snap.phase === "done"
+                || snap.phase === "load"
+                || snap.phase === "auth"
+                || (snap.phase === "seed" && snap.check === undefined);
+            const due = Date.now() - lastWrite >= 2_000;
+            if (force || keyChanged || stalled || due)
+                write(snap);
+        },
+        stop() {
+            clearInterval(timer);
+        },
+    };
+}
+function fields(snap, now) {
+    const stalled = snap.last !== undefined && now - snap.last.at >= STALL_MS;
+    return {
+        check: snap.check ?? "-",
+        done: snap.entityIndex === undefined ? "-" : String(snap.entityIndex),
+        elapsed_ms: String(Math.max(0, Math.round(snap.elapsedMs))),
+        entity: snap.entity ?? "-",
+        find: String(snap.findings),
+        http: snap.last === undefined ? "-" : String(snap.last.status),
+        idle_ms: snap.last === undefined ? "-" : String(Math.max(0, now - snap.last.at)),
+        last_ms: snap.last === undefined ? "-" : String(snap.last.durationMs),
+        method: snap.last === undefined ? "-" : snap.last.method,
+        msg: snap.message ?? "-",
+        path: snap.last === undefined ? "-" : requestPath(snap.last.url),
+        phase: snap.phase,
+        req: String(snap.requests),
+        status: stalled ? "stall" : "ok",
+        total: snap.entityTotal === undefined ? "-" : String(snap.entityTotal),
+    };
+}
+function logfmt(pairs) {
+    return Object.entries(pairs)
+        .map(([key, value]) => {
+        if (value !== "" && !/[\s="\\]/.test(value))
+            return `${key}=${value}`;
+        return `${key}=${JSON.stringify(value)}`;
+    })
+        .join(" ");
+}
+/** Path + query, never truncated. Origin is already in the report backend field. */
+function requestPath(url) {
+    try {
+        const parsed = new URL(url);
+        return `${parsed.pathname}${parsed.search}`;
+    }
+    catch {
+        return url;
+    }
+}
+//# sourceMappingURL=progress.js.map

package/dist/runtime/progress.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"progress.js","sourceRoot":"","sources":["../../src/runtime/progress.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAyBH,MAAM,YAAY,GAAG,KAAK,CAAA;AAC1B,MAAM,QAAQ,GAAG,MAAM,CAAA;AAEvB,MAAM,CAAC,MAAM,mBAAmB,GAAG;IAClC,OAAO;IACP,QAAQ;IACR,MAAM;IACN,OAAO;IACP,OAAO;IACP,QAAQ;IACR,OAAO;IACP,KAAK;IACL,KAAK;IACL,MAAM;IACN,QAAQ;IACR,MAAM;IACN,MAAM;IACN,SAAS;IACT,SAAS;IACT,YAAY;CACZ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AAEZ,MAAM,CAAC,MAAM,iBAAiB,GAAG;IAChC,2DAA2D;IAC3D,oGAAoG;IACpG,qFAAqF;IACrF,qDAAqD;IACrD,sDAAsD;IACtD,yDAAyD;IACzD,mEAAmE;IACnE,mDAAmD;IACnD,mFAAmF;IACnF,iDAAiD;CACjD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AAEZ,MAAM,UAAU,kBAAkB,CAAC,IAAsB,EAAE,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE;IAC1E,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;IAC3B,OAAO,MAAM,CAAC;QACb,EAAE,EAAE,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE;QAC/B,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,KAAK,EAAE,CAAC,CAAC,KAAK;QACd,KAAK,EAAE,CAAC,CAAC,KAAK;QACd,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,KAAK,EAAE,CAAC,CAAC,KAAK;QACd,GAAG,EAAE,CAAC,CAAC,GAAG;QACV,GAAG,EAAE,CAAC,CAAC,GAAG;QACV,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,UAAU,EAAE,CAAC,CAAC,UAAU;KACxB,CAAC,CAAA;AACH,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,IAAsB,EAAE,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE;IACzE,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;IAC3B,OAAO;QACN,GAAG;QACH,CAAC,CAAC,MAAM;QACR,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,KAAK;QACP,CAAC,CAAC,KAAK;QACP,CAAC,CAAC,MAAM;QACR,CAAC,CAAC,KAAK;QACP,CAAC,CAAC,GAAG;QACL,CAAC,CAAC,GAAG;QACL,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,MAAM;QACR,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,OAAO;QACT,CAAC,CAAC,OAAO;QACT,CAAC,CAAC,UAAU;KACZ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACb,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,IAAsB,EAAE,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE;IAC3E,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;IAC3B,OAAO,IAAI,CAAC,SAAS,CAAC;QACrB,KAAK,EAAE,CAAC,CAAC,KAAK,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK;QACvC,IAAI,EAAE,IAAI,CAAC,WAAW,IAAI,IAAI;QAC9B,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC;QAChC,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,IAAI;QAC3B,IAAI,EAAE,IAAI,CAAC,QAAQ;QACnB,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,IAAI,IAAI;QAC/B,OAAO,EAAE,CAAC,CAAC,OAAO,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;QACrD,OAAO,EAAE,CAAC,CAAC,OAAO,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;QACrD,MAAM,EAAE,CAAC,CAAC,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM;QAC1C,GAAG,EAAE,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG;QACjC,IAAI,EAAE,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI;QACpC,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,GAAG,EAAE,IAAI,CAAC,QAAQ;QAClB,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,KAAK,EAAE,IAAI,CAAC,WAAW,IAAI,IAAI;QAC/B,EAAE,EAAE,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE;QAC/B,KAAK,EAAE,GAAG;KACV,CAAC,CAAA;AACH,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE;IAI1D,IAAI,MAAoC,CAAA;IACxC,IAAI,OAAO,GAAG,EAAE,CAAA;IAChB,IAAI,SAAS,GAAG,CAAC,CAAA;IACjB,IAAI,MAAM,GAAG,KAAK,CAAA;IAElB,MAAM,KAAK,GAAG,CAAC,IAAsB,EAAQ,EAAE;QAC9C,IAAI,CAAC,MAAM,EAAE,CAAC;YACb,MAAM,GAAG,IAAI,CAAA;YACb,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,iBAAiB,IAAI,CAAC,CAAA;QAC/C,CAAC;QACD,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACrD,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAA;IACvB,CAAC,CAAA;IAED,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,EAAE;QAC9B,IAAI,MAAM,KAAK,SAAS;YAAE,OAAM;QAChC,KAAK,CAAC,EAAE,GAAG,MAAM,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,EAAE,CAAC,CAAA;IACxD,CAAC,EAAE,YAAY,CAAC,CAAA;IAChB,KAAK,CAAC,KAAK,EAAE,CAAA;IAEb,OAAO;QACN,IAAI,CAAC,IAAI;YACR,MAAM,GAAG,IAAI,CAAA;YACb,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,MAAM,IAAI,EAAE,IAAI,IAAI,CAAC,KAAK,IAAI,EAAE,IAAI,IAAI,CAAC,OAAO,IAAI,EAAE,EAAE,CAAA;YAC1F,MAAM,UAAU,GAAG,GAAG,KAAK,OAAO,CAAA;YAClC,OAAO,GAAG,GAAG,CAAA;YACb,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,QAAQ,CAAA;YAChF,MAAM,KAAK,GACV,IAAI,CAAC,KAAK,KAAK,MAAM;mBAClB,IAAI,CAAC,KAAK,KAAK,MAAM;mBACrB,IAAI,CAAC,KAAK,KAAK,MAAM;mBACrB,CAAC,IAAI,CAAC,KAAK,KAAK,MAAM,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAA;YACvD,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,IAAI,KAAK,CAAA;YAC3C,IAAI,KAAK,IAAI,UAAU,IAAI,OAAO,IAAI,GAAG;gBAAE,KAAK,CAAC,IAAI,CAAC,CAAA;QACvD,CAAC;QACD,IAAI;YACH,aAAa,CAAC,KAAK,CAAC,CAAA;QACrB,CAAC;KACD,CAAA;AACF,CAAC;AAED,SAAS,MAAM,CAAC,IAAsB,EAAE,GAAW;IAiBlD,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,QAAQ,CAAA;IACzE,OAAO;QACN,KAAK,EAAE,IAAI,CAAC,KAAK,IAAI,GAAG;QACxB,IAAI,EAAE,IAAI,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC;QACrE,UAAU,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;QAC3D,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,GAAG;QAC1B,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC;QAC3B,IAAI,EAAE,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC;QAC9D,OAAO,EAAE,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAChF,OAAO,EAAE,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC;QACrE,MAAM,EAAE,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM;QACxD,GAAG,EAAE,IAAI,CAAC,OAAO,IAAI,GAAG;QACxB,IAAI,EAAE,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QAChE,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC;QAC1B,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI;QAChC,KAAK,EAAE,IAAI,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC;KACtE,CAAA;AACF,CAAC;AAED,SAAS,MAAM,CAAC,KAA6B;IAC5C,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;SAC1B,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE;QACrB,IAAI,KAAK,KAAK,EAAE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO,GAAG,GAAG,IAAI,KAAK,EAAE,CAAA;QACrE,OAAO,GAAG,GAAG,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAA;IACzC,CAAC,CAAC;SACD,IAAI,CAAC,GAAG,CAAC,CAAA;AACZ,CAAC;AAED,oFAAoF;AACpF,SAAS,WAAW,CAAC,GAAW;IAC/B,IAAI,CAAC;QACJ,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAA;QAC3B,OAAO,GAAG,MAAM,CAAC,QAAQ,GAAG,MAAM,CAAC,MAAM,EAAE,CAAA;IAC5C,CAAC;IAAC,MAAM,CAAC;QACR,OAAO,GAAG,CAAA;IACX,CAAC;AACF,CAAC"}

package/dist/runtime/run.d.ts

@@ -0,0 +1,69 @@
+/**
+ * Run orchestrator: model → world → checks → findings.
+ *
+ * The world is seeded once and outlives every check. A seeding failure is recorded once and
+ * everything downstream is reported BLOCKED against that single cause, rather than re-failing
+ * per case — which is what made prior attempts produce dozens of failures from one broken fixture.
+ */
+import { type SpecModel } from "../spec/graph.ts";
+import type { Hooks, Principal } from "../config/define-config.ts";
+import { Client } from "./client.ts";
+import type { ProgressHandler } from "./progress.ts";
+import { type Finding, type Inconclusive } from "./finding.ts";
+import { type TeardownReport } from "./teardown.ts";
+export type PrincipalSpec = Principal;
+export interface RunOptions {
+    spec: string;
+    baseUrl: string;
+    principals: PrincipalSpec[];
+    hooks?: Hooks;
+    roots?: Record<string, string>;
+    seed?: number;
+    cohortSize?: number;
+    globalHeaders?: Record<string, string>;
+    only?: string[];
+    /** Leaves created records in place. Useful when inspecting a failure by hand. */
+    keepFixtures?: boolean;
+    /**
+     * Entities tested in parallel. Checks within one entity stay sequential — cascade suppression
+     * reads findings already reported for that entity, and ordering is what keeps one root cause
+     * from being reported as several.
+     */
+    concurrency?: number;
+    /** Requests allowed in flight at once, across the whole run. */
+    maxInFlight?: number;
+    /** Live status. Called on phase/entity/check/request; the CLI prints a heartbeat from this. */
+    onProgress?: ProgressHandler;
+}
+export interface RunResult {
+    findings: Finding[];
+    model: SpecModel;
+    client: Client;
+    entitiesTested: string[];
+    checksRun: string[];
+    /** Checks that never ran, and what each needed. A quiet run is only meaningful alongside it. */
+    checksSkipped: Array<{
+        check: string;
+        entity: string;
+        needs: string;
+    }>;
+    /**
+     * Checks that did not run because something they depend on was already reported broken.
+     *
+     * Recorded rather than dropped for the same reason skips are: suppression is correct — one
+     * root cause should produce one finding — but a suppressed check has *not* passed, and a
+     * report that shows only the root cause invites the reader to believe everything downstream
+     * was verified. It was not, and it must be re-run once the cause is fixed.
+     */
+    checksSuppressed: Array<{
+        check: string;
+        entity: string;
+        because: string;
+    }>;
+    /** Checks that ran but could not reach a verdict — see `Inconclusive`. */
+    inconclusive: Inconclusive[];
+    created: number;
+    teardown: TeardownReport | null;
+}
+export declare function run(options: RunOptions): Promise<RunResult>;
+//# sourceMappingURL=run.d.ts.map

package/dist/runtime/run.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"run.d.ts","sourceRoot":"","sources":["../../src/runtime/run.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAqD,KAAK,SAAS,EAAE,MAAM,kBAAkB,CAAA;AAEpG,OAAO,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAA;AAGlE,OAAO,EAAE,MAAM,EAAiB,MAAM,aAAa,CAAA;AACnD,OAAO,KAAK,EAAE,eAAe,EAAkC,MAAM,eAAe,CAAA;AACpF,OAAO,EAAE,KAAK,OAAO,EAAoB,KAAK,YAAY,EAAE,MAAM,cAAc,CAAA;AAChF,OAAO,EAAU,KAAK,cAAc,EAAE,MAAM,eAAe,CAAA;AAK3D,MAAM,MAAM,aAAa,GAAG,SAAS,CAAA;AAErC,MAAM,WAAW,UAAU;IAC1B,IAAI,EAAE,MAAM,CAAA;IACZ,OAAO,EAAE,MAAM,CAAA;IACf,UAAU,EAAE,aAAa,EAAE,CAAA;IAC3B,KAAK,CAAC,EAAE,KAAK,CAAA;IACb,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC9B,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,aAAa,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IACtC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAA;IACf,iFAAiF;IACjF,YAAY,CAAC,EAAE,OAAO,CAAA;IACtB;;;;OAIG;IACH,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,gEAAgE;IAChE,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,+FAA+F;IAC/F,UAAU,CAAC,EAAE,eAAe,CAAA;CAC5B;AAED,MAAM,WAAW,SAAS;IACzB,QAAQ,EAAE,OAAO,EAAE,CAAA;IACnB,KAAK,EAAE,SAAS,CAAA;IAChB,MAAM,EAAE,MAAM,CAAA;IACd,cAAc,EAAE,MAAM,EAAE,CAAA;IACxB,SAAS,EAAE,MAAM,EAAE,CAAA;IACnB,gGAAgG;IAChG,aAAa,EAAE,KAAK,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;IACtE;;;;;;;OAOG;IACH,gBAAgB,EAAE,KAAK,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;IAC3E,0EAA0E;IAC1E,YAAY,EAAE,YAAY,EAAE,CAAA;IAC5B,OAAO,EAAE,MAAM,CAAA;IACf,QAAQ,EAAE,cAAc,GAAG,IAAI,CAAA;CAC/B;AAkKD,wBAAsB,GAAG,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,SAAS,CAAC,CA4ejE"}