@lovrozagar/oat 0.10.0 → 0.12.0

package/dist/runtime/feature-gate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"feature-gate.d.ts","sourceRoot":"","sources":["../../src/runtime/feature-gate.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAA;AACvD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAA;AACtD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAA;AAC3C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AACpD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,eAAe,CAAA;AAEpD,8FAA8F;AAC9F,eAAO,MAAM,mBAAmB,MAAM,CAAA;AAEtC,wBAAgB,6BAA6B,CAC5C,EAAE,EAAE,IAAI,CAAC,cAAc,EAAE,aAAa,CAAC,EACvC,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,OAAO,GACX,OAAO,CAYT;AAED,wBAAgB,mBAAmB,CAAC,EAAE,EAAE,IAAI,CAAC,cAAc,EAAE,aAAa,CAAC,EAAE,IAAI,EAAE,OAAO,GAAG,MAAM,CAQlG;AAED,wBAAgB,eAAe,CAAC,IAAI,EAAE,OAAO,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAK7E;AAED;;;GAGG;AACH,wBAAgB,4BAA4B,CAC3C,QAAQ,EAAE,gBAAgB,EAC1B,SAAS,EAAE,eAAe,EAC1B,EAAE,EAAE,cAAc,EAClB,GAAG,EAAE,eAAe,GAAG,SAAS,EAChC,QAAQ,EAAE,QAAQ,EAClB,MAAM,EAAE,MAAM,GACZ,IAAI,CAwBN"}
+{"version":3,"file":"feature-gate.d.ts","sourceRoot":"","sources":["../../src/runtime/feature-gate.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAA;AAEtD,8FAA8F;AAC9F,eAAO,MAAM,mBAAmB,MAAM,CAAA;AAEtC,wBAAgB,6BAA6B,CAC5C,EAAE,EAAE,IAAI,CAAC,cAAc,EAAE,aAAa,CAAC,EACvC,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,OAAO,GACX,OAAO,CAYT;AAED,wBAAgB,mBAAmB,CAAC,EAAE,EAAE,IAAI,CAAC,cAAc,EAAE,aAAa,CAAC,EAAE,IAAI,EAAE,OAAO,GAAG,MAAM,CAQlG;AAED,wBAAgB,eAAe,CAAC,IAAI,EAAE,OAAO,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAK7E"}

package/dist/runtime/feature-gate.js

@@ -44,25 +44,4 @@ export function featureGateVars(body) {
         return null;
     return vars;
 }
-/**
- * A gate 403 still has to match the documented error schema. Coverage is "this 403 is
- * expected"; it is not a free pass for an undeclared body.
- */
-export function reportFeatureGateSchemaDrift(findings, validator, op, raw, exchange, entity) {
-    if (raw === undefined)
-        return;
-    if (!validator.documents(raw, exchange.status))
-        return;
-    const result = validator.validate(op.operationId, raw, exchange.status, exchange.responseBody);
-    if (result.ok)
-        return;
-    if (findings.findings.some((finding) => finding.check === "schema.error-response-matches-document" &&
-        finding.entity === entity &&
-        finding.evidence.some((prior) => prior.seq === exchange.seq))) {
-        return;
-    }
-    findings.spec("schema.error-response-matches-document", entity, `${exchange.status} error body does not match its documented schema`, `${op.operationId} returned ${exchange.status} with a body that fails the schema the ` +
-        `document declares for it: ${result.errors.join("; ")}. Clients that parse errors ` +
-        "from the spec will not understand this response.", [exchange]);
-}
 //# sourceMappingURL=feature-gate.js.map

package/dist/runtime/feature-gate.js.map

@@ -1 +1 @@
-{"version":3,"file":"feature-gate.js","sourceRoot":"","sources":["../../src/runtime/feature-gate.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAQH,8FAA8F;AAC9F,MAAM,CAAC,MAAM,mBAAmB,GAAG,GAAG,CAAA;AAEtC,MAAM,UAAU,6BAA6B,CAC5C,EAAuC,EACvC,MAAc,EACd,IAAa;IAEb,IAAI,EAAE,CAAC,WAAW,KAAK,IAAI;QAAE,OAAO,KAAK,CAAA;IACzC,IAAI,MAAM,KAAK,mBAAmB;QAAE,OAAO,KAAK,CAAA;IAChD,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAA;IAC3D,MAAM,IAAI,GAAI,IAAgC,CAAC,IAAI,CAAA;IACnD,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAA;IAC3D,MAAM,GAAG,GAAG,IAA+B,CAAA;IAC3C,IAAI,GAAG,CAAC,IAAI,KAAK,cAAc;QAAE,OAAO,KAAK,CAAA;IAC7C;kFAC8E;IAC9E,IAAI,OAAO,GAAG,CAAC,OAAO,KAAK,QAAQ,IAAI,GAAG,CAAC,OAAO,KAAK,EAAE,CAAC,WAAW;QAAE,OAAO,KAAK,CAAA;IACnF,OAAO,IAAI,CAAA;AACZ,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,EAAuC,EAAE,IAAa;IACzF,MAAM,GAAG,GAAG,EAAE,CAAC,WAAW,IAAI,SAAS,CAAA;IACvC,MAAM,IAAI,GAAG,eAAe,CAAC,IAAI,CAAC,CAAA;IAClC,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,mBAAmB,GAAG,EAAE,CAAA;IAClD,MAAM,MAAM,GAAG,CAAC,cAAc,EAAE,eAAe,EAAE,SAAS,CAAC;SACzD,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,QAAQ,CAAC;SAChD,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IACzC,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,mBAAmB,GAAG,EAAE,CAAC,CAAC,CAAC,mBAAmB,GAAG,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;AACxG,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,IAAa;IAC5C,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAA;IAC1D,MAAM,IAAI,GAAI,IAAgC,CAAC,IAAI,CAAA;IACnD,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAA;IAC1D,OAAO,IAA+B,CAAA;AACvC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,4BAA4B,CAC3C,QAA0B,EAC1B,SAA0B,EAC1B,EAAkB,EAClB,GAAgC,EAChC,QAAkB,EAClB,MAAc;IAEd,IAAI,GAAG,KAAK,SAAS;QAAE,OAAM;IAC7B,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,EAAE,QAAQ,CAAC,MAAM,CAAC;QAAE,OAAM;IACtD,MAAM,MAAM,GAAG,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,WAAW,EAAE,GAAG,EAAE,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,YAAY,CAAC,CAAA;IAC9F,IAAI,MAAM,CAAC,EAAE;QAAE,OAAM;IACrB,IACC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CACrB,CAAC,OAAO,EAAE,EAAE,CACX,OAAO,CAAC,KAAK,KAAK,wCAAwC;QAC1D,OAAO,CAAC,MAAM,KAAK,MAAM;QACzB,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,KAAK,QAAQ,CAAC,GAAG,CAAC,CAC7D,EACA,CAAC;QACF,OAAM;IACP,CAAC;IACD,QAAQ,CAAC,IAAI,CACZ,wCAAwC,EACxC,MAAM,EACN,GAAG,QAAQ,CAAC,MAAM,kDAAkD,EACpE,GAAG,EAAE,CAAC,WAAW,aAAa,QAAQ,CAAC,MAAM,yCAAyC;QACrF,6BAA6B,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,8BAA8B;QACnF,kDAAkD,EACnD,CAAC,QAAQ,CAAC,CACV,CAAA;AACF,CAAC"}
+{"version":3,"file":"feature-gate.js","sourceRoot":"","sources":["../../src/runtime/feature-gate.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,8FAA8F;AAC9F,MAAM,CAAC,MAAM,mBAAmB,GAAG,GAAG,CAAA;AAEtC,MAAM,UAAU,6BAA6B,CAC5C,EAAuC,EACvC,MAAc,EACd,IAAa;IAEb,IAAI,EAAE,CAAC,WAAW,KAAK,IAAI;QAAE,OAAO,KAAK,CAAA;IACzC,IAAI,MAAM,KAAK,mBAAmB;QAAE,OAAO,KAAK,CAAA;IAChD,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAA;IAC3D,MAAM,IAAI,GAAI,IAAgC,CAAC,IAAI,CAAA;IACnD,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAA;IAC3D,MAAM,GAAG,GAAG,IAA+B,CAAA;IAC3C,IAAI,GAAG,CAAC,IAAI,KAAK,cAAc;QAAE,OAAO,KAAK,CAAA;IAC7C;kFAC8E;IAC9E,IAAI,OAAO,GAAG,CAAC,OAAO,KAAK,QAAQ,IAAI,GAAG,CAAC,OAAO,KAAK,EAAE,CAAC,WAAW;QAAE,OAAO,KAAK,CAAA;IACnF,OAAO,IAAI,CAAA;AACZ,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,EAAuC,EAAE,IAAa;IACzF,MAAM,GAAG,GAAG,EAAE,CAAC,WAAW,IAAI,SAAS,CAAA;IACvC,MAAM,IAAI,GAAG,eAAe,CAAC,IAAI,CAAC,CAAA;IAClC,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,mBAAmB,GAAG,EAAE,CAAA;IAClD,MAAM,MAAM,GAAG,CAAC,cAAc,EAAE,eAAe,EAAE,SAAS,CAAC;SACzD,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,QAAQ,CAAC;SAChD,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IACzC,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,mBAAmB,GAAG,EAAE,CAAC,CAAC,CAAC,mBAAmB,GAAG,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;AACxG,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,IAAa;IAC5C,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAA;IAC1D,MAAM,IAAI,GAAI,IAAgC,CAAC,IAAI,CAAA;IACnD,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAA;IAC1D,OAAO,IAA+B,CAAA;AACvC,CAAC"}

package/dist/runtime/finding.d.ts

@@ -20,6 +20,41 @@ export interface Finding {
     /** Operations this finding judges. Absent on run-level findings (teardown, network, pacing). */
     operations?: string[];
 }
+/**
+ * Whether a finding is a root cause — what fails a run. Coverage gaps and blocks are what oat
+ * could not look at, not what it found. The console, the reports, the matrix and the exit code
+ * all ask this one question.
+ */
+export declare function isRootCause(finding: {
+    verdict: Verdict | string;
+}): boolean;
+/**
+ * How one run of a check ended. `run` returns one on every path, so a check cannot fall silent:
+ * it either asserted the property, reported a finding, could not reach a verdict, or stood down
+ * because what it tests is not there — and the last two say why.
+ */
+export type Outcome = {
+    kind: "asserted";
+    note?: string;
+} | {
+    kind: "finding";
+    verdict: Verdict;
+} | {
+    kind: "unresolved";
+    reason: string;
+} | {
+    kind: "stood-down";
+    reason: string;
+};
+/** The property was tested and held — or, if the check reported along the way, did not. */
+export declare const ASSERTED: Outcome;
+/**
+ * The property held, and how the backend behaved is worth saying — a policy the document leaves
+ * open, such as whether unknown query parameters are rejected or ignored.
+ */
+export declare function asserted(note: string): Outcome;
+/** The check does not apply here after all: what it tests is absent, for `reason`. */
+export declare function standDown(reason: string): Outcome;
 /**
  * A check that ran, could not reach a verdict, and stopped.
  *
@@ -40,7 +75,13 @@ export declare class FindingCollector {
     #private;
     readonly findings: Finding[];
     readonly inconclusive: Inconclusive[];
-    constructor(findings?: Finding[], inconclusive?: Inconclusive[], operations?: readonly string[]);
+    constructor(findings?: Finding[], inconclusive?: Inconclusive[], operations?: readonly string[], owner?: string);
+    /**
+     * A view that accepts findings only under `check`. Each check runs against one, so a check
+     * cannot report under another's id: a finding filed under the wrong id is proven by the wrong
+     * defect, and suppresses the wrong dependents.
+     */
+    ownedBy(check: string): FindingCollector;
     /**
      * A view over the same findings that attributes everything it records to `operations`.
      *
@@ -54,13 +95,13 @@ export declare class FindingCollector {
      * `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: string, entity: string, reason: string): undefined;
-    report(finding: Finding): void;
-    backend(check: string, entity: string, summary: string, detail: string, evidence: Exchange[], fixture?: string): void;
-    security(check: string, entity: string, summary: string, detail: string, evidence: Exchange[], fixture?: string): void;
-    spec(check: string, entity: string, summary: string, detail: string, evidence: Exchange[], fixture?: string): void;
-    gap(check: string, entity: string, summary: string, detail: string, fixture?: string): void;
-    blocked(check: string, entity: string, summary: string, cause: string, evidence?: Exchange[]): void;
+    unresolved(check: string, entity: string, reason: string): Outcome;
+    report(finding: Finding): Outcome;
+    backend(check: string, entity: string, summary: string, detail: string, evidence: Exchange[], fixture?: string): Outcome;
+    security(check: string, entity: string, summary: string, detail: string, evidence: Exchange[], fixture?: string): Outcome;
+    spec(check: string, entity: string, summary: string, detail: string, evidence: Exchange[], fixture?: string): Outcome;
+    gap(check: string, entity: string, summary: string, detail: string, fixture?: string): Outcome;
+    blocked(check: string, entity: string, summary: string, cause: string, evidence?: Exchange[]): Outcome;
     checks(): string[];
     byVerdict(verdict: Verdict): Finding[];
 }

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

@@ -1 +1 @@
-{"version":3,"file":"finding.d.ts","sourceRoot":"","sources":["../../src/runtime/finding.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAA;AAE3C,MAAM,MAAM,OAAO,GAAG,aAAa,GAAG,UAAU,GAAG,UAAU,GAAG,WAAW,GAAG,cAAc,GAAG,SAAS,CAAA;AAExG,MAAM,WAAW,OAAO;IACvB,gGAAgG;IAChG,KAAK,EAAE,MAAM,CAAA;IACb,OAAO,EAAE,OAAO,CAAA;IAChB,MAAM,EAAE,MAAM,CAAA;IACd,OAAO,EAAE,MAAM,CAAA;IACf,MAAM,EAAE,MAAM,CAAA;IACd,QAAQ,EAAE,QAAQ,EAAE,CAAA;IACpB,qEAAqE;IACrE,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,iEAAiE;IACjE,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,gGAAgG;IAChG,UAAU,CAAC,EAAE,MAAM,EAAE,CAAA;CACrB;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,YAAY;IAC5B,KAAK,EAAE,MAAM,CAAA;IACb,MAAM,EAAE,MAAM,CAAA;IACd,2DAA2D;IAC3D,MAAM,EAAE,MAAM,CAAA;IACd,UAAU,CAAC,EAAE,MAAM,EAAE,CAAA;CACrB;AAOD,qBAAa,gBAAgB;;IAC5B,QAAQ,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAA;IAC5B,QAAQ,CAAC,YAAY,EAAE,YAAY,EAAE,CAAA;gBAGzB,QAAQ,GAAE,OAAO,EAAO,EAAE,YAAY,GAAE,YAAY,EAAO,EAAE,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE;IAMvG;;;;;;OAMG;IACH,UAAU,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,GAAG,gBAAgB;IAQ3D;;;;OAIG;IACH,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,SAAS;IAKpE,MAAM,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI;IAI9B,OAAO,CACN,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,QAAQ,EAAE,EACpB,OAAO,CAAC,EAAE,MAAM,GACd,IAAI;IAIP,QAAQ,CACP,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,QAAQ,EAAE,EACpB,OAAO,CAAC,EAAE,MAAM,GACd,IAAI;IAIP,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI;IAIlH,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI;IAI3F,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,GAAE,QAAQ,EAAO,GAAG,IAAI;IAWvG,MAAM,IAAI,MAAM,EAAE;IAIlB,SAAS,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,EAAE;CAGtC"}
+{"version":3,"file":"finding.d.ts","sourceRoot":"","sources":["../../src/runtime/finding.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAA;AAE3C,MAAM,MAAM,OAAO,GAAG,aAAa,GAAG,UAAU,GAAG,UAAU,GAAG,WAAW,GAAG,cAAc,GAAG,SAAS,CAAA;AAExG,MAAM,WAAW,OAAO;IACvB,gGAAgG;IAChG,KAAK,EAAE,MAAM,CAAA;IACb,OAAO,EAAE,OAAO,CAAA;IAChB,MAAM,EAAE,MAAM,CAAA;IACd,OAAO,EAAE,MAAM,CAAA;IACf,MAAM,EAAE,MAAM,CAAA;IACd,QAAQ,EAAE,QAAQ,EAAE,CAAA;IACpB,qEAAqE;IACrE,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,iEAAiE;IACjE,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,gGAAgG;IAChG,UAAU,CAAC,EAAE,MAAM,EAAE,CAAA;CACrB;AAED;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,OAAO,EAAE;IAAE,OAAO,EAAE,OAAO,GAAG,MAAM,CAAA;CAAE,GAAG,OAAO,CAE3E;AAED;;;;GAIG;AACH,MAAM,MAAM,OAAO,GAChB;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GACnC;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,OAAO,EAAE,OAAO,CAAA;CAAE,GACrC;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GACtC;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAA;AAEzC,2FAA2F;AAC3F,eAAO,MAAM,QAAQ,EAAE,OAA6C,CAAA;AAEpE;;;GAGG;AACH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAE9C;AAED,sFAAsF;AACtF,wBAAgB,SAAS,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAEjD;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,YAAY;IAC5B,KAAK,EAAE,MAAM,CAAA;IACb,MAAM,EAAE,MAAM,CAAA;IACd,2DAA2D;IAC3D,MAAM,EAAE,MAAM,CAAA;IACd,UAAU,CAAC,EAAE,MAAM,EAAE,CAAA;CACrB;AAOD,qBAAa,gBAAgB;;IAC5B,QAAQ,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAA;IAC5B,QAAQ,CAAC,YAAY,EAAE,YAAY,EAAE,CAAA;gBAKpC,QAAQ,GAAE,OAAO,EAAO,EACxB,YAAY,GAAE,YAAY,EAAO,EACjC,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE,EAC9B,KAAK,CAAC,EAAE,MAAM;IAQf;;;;OAIG;IACH,OAAO,CAAC,KAAK,EAAE,MAAM,GAAG,gBAAgB;IAUxC;;;;;;OAMG;IACH,UAAU,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,GAAG,gBAAgB;IAQ3D;;;;OAIG;IACH,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO;IAMlE,MAAM,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO;IAQjC,OAAO,CACN,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,QAAQ,EAAE,EACpB,OAAO,CAAC,EAAE,MAAM,GACd,OAAO;IAIV,QAAQ,CACP,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,QAAQ,EAAE,EACpB,OAAO,CAAC,EAAE,MAAM,GACd,OAAO;IAIV,IAAI,CACH,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,QAAQ,EAAE,EACpB,OAAO,CAAC,EAAE,MAAM,GACd,OAAO;IAIV,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,GAAG,OAAO;IAI9F,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,GAAE,QAAQ,EAAO,GAAG,OAAO;IAW1G,MAAM,IAAI,MAAM,EAAE;IAIlB,SAAS,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,EAAE;CAGtC"}

package/dist/runtime/finding.js

@@ -3,6 +3,27 @@
  * from what the evidence shows, which is what lets the report collapse cascades and lets the
  * conformance suite assert "exactly this defect was detected".
  */
+/**
+ * Whether a finding is a root cause — what fails a run. Coverage gaps and blocks are what oat
+ * could not look at, not what it found. The console, the reports, the matrix and the exit code
+ * all ask this one question.
+ */
+export function isRootCause(finding) {
+    return finding.verdict !== "COVERAGE_GAP" && finding.verdict !== "BLOCKED";
+}
+/** The property was tested and held — or, if the check reported along the way, did not. */
+export const ASSERTED = Object.freeze({ kind: "asserted" });
+/**
+ * The property held, and how the backend behaved is worth saying — a policy the document leaves
+ * open, such as whether unknown query parameters are rejected or ignored.
+ */
+export function asserted(note) {
+    return { kind: "asserted", note };
+}
+/** The check does not apply here after all: what it tests is absent, for `reason`. */
+export function standDown(reason) {
+    return { kind: "stood-down", reason };
+}
 function withFixture(finding, fixture) {
     if (fixture === undefined || fixture === "")
         return finding;
@@ -12,10 +33,25 @@ export class FindingCollector {
     findings;
     inconclusive;
     #operations;
-    constructor(findings = [], inconclusive = [], operations) {
+    #owner;
+    constructor(findings = [], inconclusive = [], operations, owner) {
         this.findings = findings;
         this.inconclusive = inconclusive;
         this.#operations = operations;
+        this.#owner = owner;
+    }
+    /**
+     * A view that accepts findings only under `check`. Each check runs against one, so a check
+     * cannot report under another's id: a finding filed under the wrong id is proven by the wrong
+     * defect, and suppresses the wrong dependents.
+     */
+    ownedBy(check) {
+        return new FindingCollector(this.findings, this.inconclusive, this.#operations, check);
+    }
+    #own(check) {
+        if (this.#owner !== undefined && check !== this.#owner) {
+            throw new Error(`check "${this.#owner}" tried to report under "${check}"`);
+        }
     }
     /**
      * A view over the same findings that attributes everything it records to `operations`.
@@ -25,7 +61,7 @@ export class FindingCollector {
      * shared "current check" would attribute one check's finding to another.
      */
     attributed(operations) {
-        return new FindingCollector(this.findings, this.inconclusive, operations);
+        return new FindingCollector(this.findings, this.inconclusive, operations, this.#owner);
     }
     #stamp() {
         return this.#operations === undefined ? {} : { operations: [...this.#operations] };
@@ -36,26 +72,33 @@ export class FindingCollector {
      * beside the condition that caused it rather than in a comment.
      */
     unresolved(check, entity, reason) {
+        this.#own(check);
         this.inconclusive.push({ check, entity, reason, ...this.#stamp() });
-        return undefined;
+        return { kind: "unresolved", reason };
     }
     report(finding) {
+        this.#own(finding.check);
         this.findings.push(finding.operations === undefined ? { ...finding, ...this.#stamp() } : finding);
+        if (finding.verdict === "COVERAGE_GAP")
+            return standDown(finding.summary);
+        if (finding.verdict === "BLOCKED")
+            return { kind: "unresolved", reason: finding.summary };
+        return { kind: "finding", verdict: finding.verdict };
     }
     backend(check, entity, summary, detail, evidence, fixture) {
-        this.report(withFixture({ check, detail, entity, evidence, summary, verdict: "BACKEND_BUG" }, fixture));
+        return this.report(withFixture({ check, detail, entity, evidence, summary, verdict: "BACKEND_BUG" }, fixture));
     }
     security(check, entity, summary, detail, evidence, fixture) {
-        this.report(withFixture({ check, detail, entity, evidence, summary, verdict: "SECURITY" }, fixture));
+        return this.report(withFixture({ check, detail, entity, evidence, summary, verdict: "SECURITY" }, fixture));
     }
     spec(check, entity, summary, detail, evidence, fixture) {
-        this.report(withFixture({ check, detail, entity, evidence, summary, verdict: "SPEC_BUG" }, fixture));
+        return this.report(withFixture({ check, detail, entity, evidence, summary, verdict: "SPEC_BUG" }, fixture));
     }
     gap(check, entity, summary, detail, fixture) {
-        this.report(withFixture({ check, detail, entity, evidence: [], summary, verdict: "COVERAGE_GAP" }, fixture));
+        return this.report(withFixture({ check, detail, entity, evidence: [], summary, verdict: "COVERAGE_GAP" }, fixture));
     }
     blocked(check, entity, summary, cause, evidence = []) {
-        this.report({
+        return this.report({
             check,
             detail: `blocked by ${cause}`,
             entity,

package/dist/runtime/finding.js.map

@@ -1 +1 @@
-{"version":3,"file":"finding.js","sourceRoot":"","sources":["../../src/runtime/finding.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAuCH,SAAS,WAAW,CAAC,OAAgB,EAAE,OAAgB;IACtD,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,EAAE;QAAE,OAAO,OAAO,CAAA;IAC3D,OAAO,EAAE,GAAG,OAAO,EAAE,OAAO,EAAE,CAAA;AAC/B,CAAC;AAED,MAAM,OAAO,gBAAgB;IACnB,QAAQ,CAAW;IACnB,YAAY,CAAgB;IAC5B,WAAW,CAA+B;IAEnD,YAAY,WAAsB,EAAE,EAAE,eAA+B,EAAE,EAAE,UAA8B;QACtG,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAA;QACxB,IAAI,CAAC,YAAY,GAAG,YAAY,CAAA;QAChC,IAAI,CAAC,WAAW,GAAG,UAAU,CAAA;IAC9B,CAAC;IAED;;;;;;OAMG;IACH,UAAU,CAAC,UAA6B;QACvC,OAAO,IAAI,gBAAgB,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,YAAY,EAAE,UAAU,CAAC,CAAA;IAC1E,CAAC;IAED,MAAM;QACL,OAAO,IAAI,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,EAAE,CAAA;IACnF,CAAC;IAED;;;;OAIG;IACH,UAAU,CAAC,KAAa,EAAE,MAAc,EAAE,MAAc;QACvD,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC,CAAA;QACnE,OAAO,SAAS,CAAA;IACjB,CAAC;IAED,MAAM,CAAC,OAAgB;QACtB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;IAClG,CAAC;IAED,OAAO,CACN,KAAa,EACb,MAAc,EACd,OAAe,EACf,MAAc,EACd,QAAoB,EACpB,OAAgB;QAEhB,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,EAAE,OAAO,CAAC,CAAC,CAAA;IACxG,CAAC;IAED,QAAQ,CACP,KAAa,EACb,MAAc,EACd,OAAe,EACf,MAAc,EACd,QAAoB,EACpB,OAAgB;QAEhB,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,OAAO,CAAC,CAAC,CAAA;IACrG,CAAC;IAED,IAAI,CAAC,KAAa,EAAE,MAAc,EAAE,OAAe,EAAE,MAAc,EAAE,QAAoB,EAAE,OAAgB;QAC1G,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,OAAO,CAAC,CAAC,CAAA;IACrG,CAAC;IAED,GAAG,CAAC,KAAa,EAAE,MAAc,EAAE,OAAe,EAAE,MAAc,EAAE,OAAgB;QACnF,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,EAAE,OAAO,CAAC,CAAC,CAAA;IAC7G,CAAC;IAED,OAAO,CAAC,KAAa,EAAE,MAAc,EAAE,OAAe,EAAE,KAAa,EAAE,WAAuB,EAAE;QAC/F,IAAI,CAAC,MAAM,CAAC;YACX,KAAK;YACL,MAAM,EAAE,cAAc,KAAK,EAAE;YAC7B,MAAM;YACN,QAAQ;YACR,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"}
+{"version":3,"file":"finding.js","sourceRoot":"","sources":["../../src/runtime/finding.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAsBH;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,OAAsC;IACjE,OAAO,OAAO,CAAC,OAAO,KAAK,cAAc,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS,CAAA;AAC3E,CAAC;AAaD,2FAA2F;AAC3F,MAAM,CAAC,MAAM,QAAQ,GAAY,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAA;AAEpE;;;GAGG;AACH,MAAM,UAAU,QAAQ,CAAC,IAAY;IACpC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAA;AAClC,CAAC;AAED,sFAAsF;AACtF,MAAM,UAAU,SAAS,CAAC,MAAc;IACvC,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,CAAA;AACtC,CAAC;AAmBD,SAAS,WAAW,CAAC,OAAgB,EAAE,OAAgB;IACtD,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,EAAE;QAAE,OAAO,OAAO,CAAA;IAC3D,OAAO,EAAE,GAAG,OAAO,EAAE,OAAO,EAAE,CAAA;AAC/B,CAAC;AAED,MAAM,OAAO,gBAAgB;IACnB,QAAQ,CAAW;IACnB,YAAY,CAAgB;IAC5B,WAAW,CAA+B;IAC1C,MAAM,CAAoB;IAEnC,YACC,WAAsB,EAAE,EACxB,eAA+B,EAAE,EACjC,UAA8B,EAC9B,KAAc;QAEd,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAA;QACxB,IAAI,CAAC,YAAY,GAAG,YAAY,CAAA;QAChC,IAAI,CAAC,WAAW,GAAG,UAAU,CAAA;QAC7B,IAAI,CAAC,MAAM,GAAG,KAAK,CAAA;IACpB,CAAC;IAED;;;;OAIG;IACH,OAAO,CAAC,KAAa;QACpB,OAAO,IAAI,gBAAgB,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,CAAA;IACvF,CAAC;IAED,IAAI,CAAC,KAAa;QACjB,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;YACxD,MAAM,IAAI,KAAK,CAAC,UAAU,IAAI,CAAC,MAAM,4BAA4B,KAAK,GAAG,CAAC,CAAA;QAC3E,CAAC;IACF,CAAC;IAED;;;;;;OAMG;IACH,UAAU,CAAC,UAA6B;QACvC,OAAO,IAAI,gBAAgB,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,YAAY,EAAE,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,CAAA;IACvF,CAAC;IAED,MAAM;QACL,OAAO,IAAI,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,EAAE,CAAA;IACnF,CAAC;IAED;;;;OAIG;IACH,UAAU,CAAC,KAAa,EAAE,MAAc,EAAE,MAAc;QACvD,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAChB,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC,CAAA;QACnE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,CAAA;IACtC,CAAC;IAED,MAAM,CAAC,OAAgB;QACtB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;QACxB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;QACjG,IAAI,OAAO,CAAC,OAAO,KAAK,cAAc;YAAE,OAAO,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;QACzE,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS;YAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,OAAO,CAAC,OAAO,EAAE,CAAA;QACzF,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAA;IACrD,CAAC;IAED,OAAO,CACN,KAAa,EACb,MAAc,EACd,OAAe,EACf,MAAc,EACd,QAAoB,EACpB,OAAgB;QAEhB,OAAO,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,EAAE,OAAO,CAAC,CAAC,CAAA;IAC/G,CAAC;IAED,QAAQ,CACP,KAAa,EACb,MAAc,EACd,OAAe,EACf,MAAc,EACd,QAAoB,EACpB,OAAgB;QAEhB,OAAO,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,OAAO,CAAC,CAAC,CAAA;IAC5G,CAAC;IAED,IAAI,CACH,KAAa,EACb,MAAc,EACd,OAAe,EACf,MAAc,EACd,QAAoB,EACpB,OAAgB;QAEhB,OAAO,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,OAAO,CAAC,CAAC,CAAA;IAC5G,CAAC;IAED,GAAG,CAAC,KAAa,EAAE,MAAc,EAAE,OAAe,EAAE,MAAc,EAAE,OAAgB;QACnF,OAAO,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,EAAE,OAAO,CAAC,CAAC,CAAA;IACpH,CAAC;IAED,OAAO,CAAC,KAAa,EAAE,MAAc,EAAE,OAAe,EAAE,KAAa,EAAE,WAAuB,EAAE;QAC/F,OAAO,IAAI,CAAC,MAAM,CAAC;YAClB,KAAK;YACL,MAAM,EAAE,cAAc,KAAK,EAAE;YAC7B,MAAM;YACN,QAAQ;YACR,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

@@ -1,16 +1,19 @@
 /**
- * Schema-driven fixture generation.
+ * Schema-driven fixture generation: the discriminating cohort.
  *
  * 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
+ * order, escaping needs metacharacters. oat seeds a *cohort* — one record per variant, each shaped
+ * so some query assertion has signal — and derives everything from a seed so a failing run is
  * exactly reproducible.
  *
- * After `$ref` inlining the same object identity can cycle, and empty schemas (`{}`, `true`,
- * `additionalProperties: {}`) mean "any value", not "walk this object again". Generation therefore
- * keys a WeakSet on every node and treats those open shapes as a scalar or `{}`.
+ * The values themselves come from `generate.ts`, the one place oat invents data, from the request
+ * schema as `spec/schema.ts` normalizes it. Every body is checked against that schema before it
+ * leaves; one that cannot be made valid is a gap naming the operation and the field, never a
+ * request the document forbids.
  */
-export type Variant = "baseline" | "lexical-first" | "lexical-last" | "null-heavy" | "unicode" | "metacharacter" | "boundary";
+import { type Variant } from "./generate.ts";
+export type { Variant } from "./generate.ts";
+export { isVacuous } from "./generate.ts";
 export declare const COHORT: readonly Variant[];
 /** Deterministic PRNG — same seed, same cohort, every run. */
 export declare function mulberry32(seed: number): () => number;
@@ -19,39 +22,43 @@ export interface CohortMember {
     variant: Variant;
     body: Record<string, unknown>;
 }
-/** Thrown when a walk still overflows; the pointer names the node that blew the stack. */
+/**
+ * Thrown when no valid body can be built for an operation. The pointer names the field; the
+ * reason says why — and the fix is `hooks.resolveInput`, which can supply what the schema cannot.
+ */
 export declare class FixtureOverflow extends Error {
     readonly operationId: string;
     readonly pointer: string;
-    constructor(operationId: string, pointer: string);
+    readonly reason?: string | undefined;
+    constructor(operationId: string, pointer: string, reason?: string | undefined);
 }
 export declare function overflowFrom(error: unknown, operationId: string, pointer?: string): FixtureOverflow;
 export declare function isOverflowError(error: unknown): boolean;
+export interface CohortOptions {
+    /** Recursive schemas the document refers to as `oat-defs#/$defs/<name>`. */
+    defs?: Record<string, Schema>;
+    /** Per-run token for values that must not collide with an earlier run's. */
+    nonce?: string;
+    /** Top-level fields whose values must be distinct across runs too — the x-unique columns. */
+    distinct?: ReadonlySet<string>;
+}
+/** One body per variant, each valid for the schema — or a `FixtureOverflow` naming what is not. */
+export declare function buildCohort(bodySchema: Schema | boolean, seed: number, variants?: readonly Variant[], operationId?: string, options?: CohortOptions): CohortMember[];
 /**
- * Makes unique-set tuples differ across cohort members without relaxing `maxLength` / `pattern`.
- *
- * When the document cannot express two distinct values, extra variants are dropped and the
- * caller records a gap.
- */
-export declare function ensureDistinctUniqueValues(members: CohortMember[], sets: string[][], schema: Schema | boolean): {
-    members: CohortMember[];
-    gap: string | null;
-};
-export declare function buildCohort(bodySchema: Schema | boolean, seed: number, variants?: readonly Variant[], operationId?: string): CohortMember[];
-/**
- * One create body, or a gap if a required field cannot be honoured.
- *
- * Optional fields that cannot match `format`/`pattern` are omitted. Required ones must not fall
- * back to `"Quarterly Report N"` — that is what 400s every email/handle/url field.
+ * One body, with the required fields that could not be made rather than an exception — for
+ * callers that report each gap themselves. Optional fields that cannot be made are left out.
  */
 export declare function generateBody(bodySchema: Schema | boolean, variant: Variant, rand: () => number, index: number, operationId?: string): {
     body: Record<string, unknown>;
     missingRequired: string[];
 };
 /**
- * `{}` / `true` / a lone `additionalProperties: {}` is "any JSON", not an object to descend.
- * Walking it again is what turns `z.unknown()` into a stack overflow.
+ * Makes unique-set tuples differ across cohort members, by drawing new values from each
+ * column's schema. When the document cannot express two distinct values — a two-value enum and
+ * seven members — the extra members are dropped and the caller records a gap.
  */
-export declare function isVacuous(schema: unknown): boolean;
-export {};
+export declare function ensureDistinctUniqueValues(members: CohortMember[], sets: string[][], schema: Schema | boolean, options?: CohortOptions): {
+    members: CohortMember[];
+    gap: string | null;
+};
 //# sourceMappingURL=fixture.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"fixture.d.ts","sourceRoot":"","sources":["../../src/runtime/fixture.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH,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;AAgBrC,MAAM,WAAW,YAAY;IAC5B,OAAO,EAAE,OAAO,CAAA;IAChB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC7B;AAED,0FAA0F;AAC1F,qBAAa,eAAgB,SAAQ,KAAK;IAExC,QAAQ,CAAC,WAAW,EAAE,MAAM;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM;gBADf,WAAW,EAAE,MAAM,EACnB,OAAO,EAAE,MAAM;CAKzB;AAED,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,OAAO,SAAM,GAAG,eAAe,CAKhG;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAGvD;AAED;;;;;GAKG;AACH,wBAAgB,0BAA0B,CACzC,OAAO,EAAE,YAAY,EAAE,EACvB,IAAI,EAAE,MAAM,EAAE,EAAE,EAChB,MAAM,EAAE,MAAM,GAAG,OAAO,GACtB;IAAE,OAAO,EAAE,YAAY,EAAE,CAAC;IAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,CAwBjD;AAuED,wBAAgB,WAAW,CAC1B,UAAU,EAAE,MAAM,GAAG,OAAO,EAC5B,IAAI,EAAE,MAAM,EACZ,QAAQ,GAAE,SAAS,OAAO,EAAW,EACrC,WAAW,SAAY,GACrB,YAAY,EAAE,CAmBhB;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAC3B,UAAU,EAAE,MAAM,GAAG,OAAO,EAC5B,OAAO,EAAE,OAAO,EAChB,IAAI,EAAE,MAAM,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,WAAW,SAAY,GACrB;IAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAAC,eAAe,EAAE,MAAM,EAAE,CAAA;CAAE,CAc9D;AAkgBD;;;GAGG;AACH,wBAAgB,SAAS,CAAC,MAAM,EAAE,OAAO,GAAG,OAAO,CAgBlD"}
+{"version":3,"file":"fixture.d.ts","sourceRoot":"","sources":["../../src/runtime/fixture.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,EAAE,KAAK,OAAO,EAAuB,MAAM,eAAe,CAAA;AAGjE,YAAY,EAAE,OAAO,EAAE,MAAM,eAAe,CAAA;AAC5C,OAAO,EAAE,SAAS,EAAE,MAAM,eAAe,CAAA;AAEzC,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;AAErC,MAAM,WAAW,YAAY;IAC5B,OAAO,EAAE,OAAO,CAAA;IAChB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAC7B;AAED;;;GAGG;AACH,qBAAa,eAAgB,SAAQ,KAAK;IAExC,QAAQ,CAAC,WAAW,EAAE,MAAM;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM;IACxB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM;gBAFf,WAAW,EAAE,MAAM,EACnB,OAAO,EAAE,MAAM,EACf,MAAM,CAAC,EAAE,MAAM,YAAA;CASzB;AAED,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,OAAO,SAAM,GAAG,eAAe,CAKhG;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAGvD;AAED,MAAM,WAAW,aAAa;IAC7B,4EAA4E;IAC5E,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC7B,4EAA4E;IAC5E,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,6FAA6F;IAC7F,QAAQ,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;CAC9B;AAMD,mGAAmG;AACnG,wBAAgB,WAAW,CAC1B,UAAU,EAAE,MAAM,GAAG,OAAO,EAC5B,IAAI,EAAE,MAAM,EACZ,QAAQ,GAAE,SAAS,OAAO,EAAW,EACrC,WAAW,SAAY,EACvB,OAAO,GAAE,aAAkB,GACzB,YAAY,EAAE,CAoBhB;AAED;;;GAGG;AACH,wBAAgB,YAAY,CAC3B,UAAU,EAAE,MAAM,GAAG,OAAO,EAC5B,OAAO,EAAE,OAAO,EAChB,IAAI,EAAE,MAAM,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,WAAW,SAAY,GACrB;IAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAAC,eAAe,EAAE,MAAM,EAAE,CAAA;CAAE,CAe9D;AAMD;;;;GAIG;AACH,wBAAgB,0BAA0B,CACzC,OAAO,EAAE,YAAY,EAAE,EACvB,IAAI,EAAE,MAAM,EAAE,EAAE,EAChB,MAAM,EAAE,MAAM,GAAG,OAAO,EACxB,OAAO,GAAE,aAAkB,GACzB;IAAE,OAAO,EAAE,YAAY,EAAE,CAAC;IAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,CAgCjD"}