@gate-forge/core 0.1.0

package/dist/schemas/test-catalog.js

@@ -0,0 +1,311 @@
+/**
+ * Test-catalog schemas (plan 2026-09-13 §5.1 row 1 + §5.2): the derived
+ * inventory of a repository's existing tests.
+ *
+ * Identity rules (§5.2, hard):
+ * - The `logicalKey` is the stable manual-mapping identity: an explicit
+ *   slug when a mapping declares one, otherwise deterministically derived
+ *   from runner + project + repo-relative file + full title path
+ *   ({@link deriveLogicalKey}).
+ * - Line numbers are DIAGNOSTICS, never identity: adding a comment keeps
+ *   the logical key stable while `sourceDigest` changes.
+ * - Duplicate logical keys are a typed parse error listing BOTH sources —
+ *   never "bind the first match".
+ *
+ * Discovery is data, not a gate result: `unresolved` entries and
+ * `parseErrors` are first-class catalog rows so a failed scan can never
+ * be misread as "no tests".
+ */
+import { z } from 'zod';
+import { LocationSchema, SchemaVersionField } from './common.js';
+/** Runner names with an implemented adapter (plan phase 2 item 6). */
+export const SUPPORTED_TEST_RUNNERS = ['playwright', 'pytest'];
+/**
+ * A runner name. `playwright` and `pytest` are the adapters implemented
+ * so far; any other string is legal data (an adapter must exist before
+ * its entries drive gates — plan phase 2 item 6).
+ */
+export const TestRunnerSchema = z.string().min(1);
+/**
+ * What a test IS (plan §3.2). `unknown` is a kept, visible outcome.
+ *
+ * `server-e2e` (server-witnessed persistence channel) declares an
+ * existing test whose persistence evidence is witnessed SERVER-side:
+ * the engine's own adapter probe observes the app database directly,
+ * because the obligated state (e.g. a transactional outbox) can never
+ * honestly appear in a UI. Browser-kind tests never grade through it —
+ * the witness stamps the channel only for obligations registered
+ * `server-e2e` on the verifier-key supervisor surface, and the verdict
+ * engine admits `channel: 'server'` records only with that stamp.
+ */
+export const TestKindSchema = z.enum([
+    'browser-e2e',
+    'server-e2e',
+    'api-e2e',
+    'unit',
+    'integration',
+    'component',
+    'unknown',
+]);
+/** Catalog row discovery status (plan §5.1 row 1). */
+export const DiscoveryStatusSchema = z.enum(['discovered', 'unresolved', 'parse-error']);
+/** Reconciliation outcome against the runner's native enumeration. */
+export const ReconciliationStatusSchema = z.enum(['matched', 'static-only', 'list-only', 'unavailable']);
+/** One inference rule that fired, with the code location that fed it. */
+export const RuleEvidenceSchema = z
+    .object({
+    /** Stable rule id, e.g. `browser-fixture` or `category-keywords`. */
+    ruleId: z.string().min(1),
+    /** Single-cause explanation of what the rule observed. */
+    evidence: z.string().min(1),
+    /** Source location the rule's evidence came from. */
+    location: LocationSchema,
+})
+    .strict();
+/**
+ * A strong kind signal: a rule that proposes a {@link TestKind} with its
+ * code evidence. Conflicting proposals resolve to `unknown` — never to
+ * whichever rule ran last (plan phase 2 item 5: no opaque confidence).
+ */
+export const KindSignalSchema = RuleEvidenceSchema.extend({
+    /** The kind this rule proposes. */
+    kind: TestKindSchema,
+}).strict();
+/**
+ * A weak signal (title/folder hints). Weak signals are recorded for the
+ * agent but must NEVER decide a kind by themselves (plan §3.2).
+ */
+export const WeakSignalSchema = RuleEvidenceSchema.strict();
+/**
+ * A behavior-category hint (plan §3.2): extensible dotted labels such as
+ * `persistence.create`. Hints only — a label never creates or satisfies
+ * a contract.
+ */
+export const CategorySignalSchema = z
+    .object({
+    /** Dotted category label, e.g. `persistence.delete`. */
+    label: z.string().min(1),
+    /** The rule that produced the hint. */
+    ruleId: z.string().min(1),
+    /** Source location the hint came from. */
+    location: LocationSchema,
+})
+    .strict();
+/**
+ * Suppression/mock signals: skip, only, fixme, and known mock patterns.
+ * These qualify (and can disqualify) later proof; discovery only records
+ * them with locations (plan §3.2/§3.3).
+ */
+export const SuppressionSignalKindSchema = z.enum(['skip', 'only', 'fixme', 'mock']);
+/** One recorded suppression/mock signal with its location. */
+export const SuppressionSignalSchema = z
+    .object({
+    kind: SuppressionSignalKindSchema,
+    /** Single-cause explanation, e.g. `test.skip modifier` or `page.route`. */
+    detail: z.string().min(1),
+    location: LocationSchema,
+})
+    .strict();
+/**
+ * One catalog row (plan §5.1 row 1): what test exists, plus the signals
+ * discovery gathered. Rows are NEVER dropped — an unresolvable call is
+ * a row with `discoveryStatus: 'unresolved'`, not an omission.
+ */
+export const TestCatalogEntrySchema = z
+    .object({
+    /**
+     * Stable mapping identity (§5.2): explicit slug or the deterministic
+     * derivation of {@link deriveLogicalKey}. Unique across the catalog.
+     */
+    logicalKey: z.string().min(1),
+    /** Runner the test executes under, e.g. `playwright`. */
+    runner: TestRunnerSchema,
+    /**
+     * Runner project, e.g. `chromium`. `null` for rows no native
+     * enumeration has bound to a project yet (static-only rows).
+     */
+    project: z.string().min(1).nullable(),
+    /** Repo-root-relative posix path of the test file. */
+    file: z.string().min(1),
+    /** Full title path: enclosing describe titles, then the test title. */
+    titlePath: z.array(z.string().min(1)).min(1),
+    /** Last segment of {@link titlePath} (the test's own title). */
+    title: z.string().min(1),
+    /** Where the test is declared (file:startLine:startCol) — diagnostics. */
+    sourceLocation: LocationSchema,
+    /**
+     * Framework repeat/parameter identity, e.g. a `test.each` template
+     * slot or the native spec id. `null` when the case is not
+     * parameterized.
+     */
+    parameterIdentity: z.string().min(1).nullable(),
+    /** sha256 of the test file's bytes (stale-proof check input, §5.2). */
+    sourceDigest: z.string().regex(/^[0-9a-f]{64}$/, 'sourceDigest must be 64-char lowercase hex'),
+    /**
+     * Which enumeration resolved this row's identity (plan phase 2 item
+     * 4, static-first with native fallback): `'static'` when the static
+     * scan derived the case (the native list at most confirmed it);
+     * `'native-list'` when ONLY the runner's native enumeration produced
+     * it (the static scan could not or did not derive it). Absent for
+     * rows whose enumeration is neither (e.g. pytest collection).
+     * Honesty label: a `'native-list'` row's kind/category signals are
+     * necessarily weaker — its call-site facts were never read.
+     */
+    resolutionOrigin: z.enum(['static', 'native-list']).optional(),
+    discoveryStatus: DiscoveryStatusSchema,
+    /**
+     * Reconciliation verdict against the runner's native enumeration.
+     * `unavailable` = no native enumeration ran (e.g. no playwright
+     * config); recorded, not silent.
+     */
+    reconciliation: ReconciliationStatusSchema,
+    /** The kind inference concluded (default `unknown`; §3.2). */
+    inferredKind: TestKindSchema,
+    /** Strong kind rules that fired with their code evidence. */
+    kindSignals: z.array(KindSignalSchema),
+    /** Weak title/folder hints — never kind-deciding (§3.2). */
+    weakSignals: z.array(WeakSignalSchema),
+    /** Every inference rule that fired (rule id + source location). */
+    rulesFired: z.array(RuleEvidenceSchema),
+    /** Behavior-category hints (labels only, never proof; §3.2). */
+    categorySignals: z.array(CategorySignalSchema),
+    /** skip/only/fixme/mock signals with locations (§3.2). */
+    suppressionSignals: z.array(SuppressionSignalSchema),
+    /** Why the row is `unresolved` (required in that state). */
+    unresolvedReason: z
+        .object({ code: z.string().min(1), detail: z.string().min(1) })
+        .strict()
+        .optional(),
+})
+    .strict()
+    .superRefine((entry, ctx) => {
+    if (entry.discoveryStatus === 'unresolved' && entry.unresolvedReason === undefined) {
+        ctx.addIssue({
+            code: 'custom',
+            path: ['discoveryStatus'],
+            message: "unresolved entries require 'unresolvedReason' (fail closed: an unexplained gap is not data)",
+        });
+    }
+    if (entry.discoveryStatus !== 'unresolved' && entry.unresolvedReason !== undefined) {
+        ctx.addIssue({
+            code: 'custom',
+            path: ['unresolvedReason'],
+            message: "'unresolvedReason' is only valid with discoveryStatus 'unresolved'",
+        });
+    }
+    if (entry.title !== entry.titlePath[entry.titlePath.length - 1]) {
+        ctx.addIssue({
+            code: 'custom',
+            path: ['title'],
+            message: "title must equal the last segment of titlePath",
+        });
+    }
+});
+/** One parser failure with its source location (never swallowed). */
+export const CatalogParseErrorSchema = z
+    .object({
+    /** Repo-root-relative posix path of the file that failed to parse. */
+    file: z.string().min(1),
+    /** The parser's message, first line only (no stack dumps). */
+    message: z.string().min(1),
+    /** Where the parser failed. */
+    location: LocationSchema,
+})
+    .strict();
+/** One runner-level summary line (playwright reconciliation, pytest suites). */
+export const RunnerSummarySchema = z
+    .object({
+    /** Runner the summary is about, e.g. `playwright` or `pytest`. */
+    runner: TestRunnerSchema,
+    /** Suite/config name (`playwright` for the native reconciliation). */
+    name: z.string().min(1),
+    /** `discovered` = enumerated; `registered` = configured, not collected. */
+    status: z.enum(['discovered', 'registered', 'unavailable']),
+    /** Single-cause human detail (e.g. why enumeration is unavailable). */
+    detail: z.string().min(1),
+})
+    .strict();
+/**
+ * The derived test catalog (plan §5.1). Every case is a row in
+ * `entries`; `unresolved` and `parseErrors` are the typed roll-ups of
+ * the rows needing attention. `inventoryComplete` captures scan
+ * completeness SEPARATELY from classification uncertainty: `unknown`
+ * kinds do not make an inventory incomplete, a failed scan does.
+ */
+export const TestCatalogSchema = z
+    .object({
+    schemaVersion: SchemaVersionField,
+    /** Every discovered case, sorted by (file, titlePath, project). */
+    entries: z.array(TestCatalogEntrySchema),
+    /** Roll-up of entries with discoveryStatus `unresolved`. */
+    unresolved: z.array(z
+        .object({
+        /** Logical key of the corresponding entry row. */
+        logicalKey: z.string().min(1),
+        /** Stable reason code, e.g. `traversal-budget-exceeded`. */
+        code: z.string().min(1),
+        /** Single-cause human explanation. */
+        detail: z.string().min(1),
+        /** Call/import location the gap was detected at. */
+        location: LocationSchema,
+    })
+        .strict()),
+    /** Parser failures with locations — a failed scan is never "no tests". */
+    parseErrors: z.array(CatalogParseErrorSchema),
+    /** True only when every scan and reconciliation step completed. */
+    inventoryComplete: z.boolean(),
+    /** Per-runner status lines (native reconciliation, pytest suites). */
+    runnerSummaries: z.array(RunnerSummarySchema),
+})
+    .strict()
+    .superRefine((catalog, ctx) => {
+    // §5.2: validate uniqueness — duplicate keys list BOTH sources, and
+    // never bind the first match.
+    const seen = new Map();
+    for (let index = 0; index < catalog.entries.length; index += 1) {
+        const entry = catalog.entries[index];
+        if (entry === undefined)
+            continue;
+        const previous = seen.get(entry.logicalKey);
+        if (previous !== undefined) {
+            ctx.addIssue({
+                code: 'custom',
+                path: ['entries', index, 'logicalKey'],
+                message: `duplicate logical key '${entry.logicalKey}' — sources: ` +
+                    `${previous.file}:${String(previous.sourceLocation.line)} and ` +
+                    `${entry.file}:${String(entry.sourceLocation.line)}`,
+            });
+            continue;
+        }
+        seen.set(entry.logicalKey, entry);
+    }
+    // The roll-up arrays must agree with the entry rows (a mismatch would
+    // let a consumer read "no unresolved" while a row says otherwise).
+    const unresolvedKeys = new Set(catalog.unresolved.map((entry) => entry.logicalKey));
+    for (const entry of catalog.entries) {
+        const inRollup = unresolvedKeys.has(entry.logicalKey);
+        if (entry.discoveryStatus === 'unresolved' && !inRollup) {
+            ctx.addIssue({
+                code: 'custom',
+                path: ['unresolved'],
+                message: `entry '${entry.logicalKey}' is unresolved but missing from the unresolved roll-up`,
+            });
+        }
+    }
+});
+/**
+ * Derives the deterministic logical key for a test (§5.2): runner,
+ * project (`-` when unbound), repo-relative file, then the full title
+ * path joined with `>`. Pure string shaping — stable across line moves
+ * and comment edits (line numbers are never identity input).
+ *
+ * Args:
+ *   input: runner, project, file, and title path.
+ *
+ * Returns:
+ *   string: e.g. `playwright:chromium:e2e/accounts.spec.ts:Accounts>creates an account`.
+ */
+export function deriveLogicalKey(input) {
+    return `${input.runner}:${input.project ?? '-'}:${input.file}:${input.titlePath.join('>')}`;
+}
+//# sourceMappingURL=test-catalog.js.map

package/dist/schemas/test-catalog.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"test-catalog.js","sourceRoot":"","sources":["../../src/schemas/test-catalog.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AACH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAEjE,sEAAsE;AACtE,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,YAAY,EAAE,QAAQ,CAAU,CAAC;AAExE;;;;GAIG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AAKlD;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAC,IAAI,CAAC;IACnC,aAAa;IACb,YAAY;IACZ,SAAS;IACT,MAAM;IACN,aAAa;IACb,WAAW;IACX,SAAS;CACV,CAAC,CAAC;AAKH,sDAAsD;AACtD,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,YAAY,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC,CAAC;AAKzF,sEAAsE;AACtE,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,aAAa,EAAE,WAAW,EAAE,aAAa,CAAC,CAAC,CAAC;AAKzG,yEAAyE;AACzE,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC;KAChC,MAAM,CAAC;IACN,qEAAqE;IACrE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACzB,0DAA0D;IAC1D,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3B,qDAAqD;IACrD,QAAQ,EAAE,cAAc;CACzB,CAAC;KACD,MAAM,EAAE,CAAC;AAKZ;;;;GAIG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,kBAAkB,CAAC,MAAM,CAAC;IACxD,mCAAmC;IACnC,IAAI,EAAE,cAAc;CACrB,CAAC,CAAC,MAAM,EAAE,CAAC;AAKZ;;;GAGG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,kBAAkB,CAAC,MAAM,EAAE,CAAC;AAK5D;;;;GAIG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC;KAClC,MAAM,CAAC;IACN,wDAAwD;IACxD,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACxB,uCAAuC;IACvC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACzB,0CAA0C;IAC1C,QAAQ,EAAE,cAAc;CACzB,CAAC;KACD,MAAM,EAAE,CAAC;AAKZ;;;;GAIG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;AAKrF,8DAA8D;AAC9D,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC;KACrC,MAAM,CAAC;IACN,IAAI,EAAE,2BAA2B;IACjC,2EAA2E;IAC3E,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACzB,QAAQ,EAAE,cAAc;CACzB,CAAC;KACD,MAAM,EAAE,CAAC;AAKZ;;;;GAIG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC;KACpC,MAAM,CAAC;IACN;;;OAGG;IACH,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7B,yDAAyD;IACzD,MAAM,EAAE,gBAAgB;IACxB;;;OAGG;IACH,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IACrC,sDAAsD;IACtD,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvB,uEAAuE;IACvE,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5C,gEAAgE;IAChE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACxB,0EAA0E;IAC1E,cAAc,EAAE,cAAc;IAC9B;;;;OAIG;IACH,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAC/C,uEAAuE;IACvE,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,gBAAgB,EAAE,4CAA4C,CAAC;IAC9F;;;;;;;;;OASG;IACH,gBAAgB,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC,CAAC,QAAQ,EAAE;IAC9D,eAAe,EAAE,qBAAqB;IACtC;;;;OAIG;IACH,cAAc,EAAE,0BAA0B;IAC1C,8DAA8D;IAC9D,YAAY,EAAE,cAAc;IAC5B,6DAA6D;IAC7D,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC;IACtC,4DAA4D;IAC5D,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC;IACtC,mEAAmE;IACnE,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC;IACvC,gEAAgE;IAChE,eAAe,EAAE,CAAC,CAAC,KAAK,CAAC,oBAAoB,CAAC;IAC9C,0DAA0D;IAC1D,kBAAkB,EAAE,CAAC,CAAC,KAAK,CAAC,uBAAuB,CAAC;IACpD,4DAA4D;IAC5D,gBAAgB,EAAE,CAAC;SAChB,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;SAC9D,MAAM,EAAE;SACR,QAAQ,EAAE;CACd,CAAC;KACD,MAAM,EAAE;KACR,WAAW,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE;IAC1B,IAAI,KAAK,CAAC,eAAe,KAAK,YAAY,IAAI,KAAK,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;QACnF,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,iBAAiB,CAAC;YACzB,OAAO,EAAE,6FAA6F;SACvG,CAAC,CAAC;IACL,CAAC;IACD,IAAI,KAAK,CAAC,eAAe,KAAK,YAAY,IAAI,KAAK,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;QACnF,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,kBAAkB,CAAC;YAC1B,OAAO,EAAE,oEAAoE;SAC9E,CAAC,CAAC;IACL,CAAC;IACD,IAAI,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;QAChE,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,OAAO,CAAC;YACf,OAAO,EAAE,gDAAgD;SAC1D,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC;AAKL,qEAAqE;AACrE,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC;KACrC,MAAM,CAAC;IACN,sEAAsE;IACtE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvB,8DAA8D;IAC9D,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1B,+BAA+B;IAC/B,QAAQ,EAAE,cAAc;CACzB,CAAC;KACD,MAAM,EAAE,CAAC;AAKZ,gFAAgF;AAChF,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC;KACjC,MAAM,CAAC;IACN,kEAAkE;IAClE,MAAM,EAAE,gBAAgB;IACxB,sEAAsE;IACtE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvB,2EAA2E;IAC3E,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,YAAY,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;IAC3D,uEAAuE;IACvE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CAC1B,CAAC;KACD,MAAM,EAAE,CAAC;AAKZ;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC;KAC/B,MAAM,CAAC;IACN,aAAa,EAAE,kBAAkB;IACjC,mEAAmE;IACnE,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,sBAAsB,CAAC;IACxC,4DAA4D;IAC5D,UAAU,EAAE,CAAC,CAAC,KAAK,CACjB,CAAC;SACE,MAAM,CAAC;QACN,kDAAkD;QAClD,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7B,4DAA4D;QAC5D,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACvB,sCAAsC;QACtC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACzB,oDAAoD;QACpD,QAAQ,EAAE,cAAc;KACzB,CAAC;SACD,MAAM,EAAE,CACZ;IACD,0EAA0E;IAC1E,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,uBAAuB,CAAC;IAC7C,mEAAmE;IACnE,iBAAiB,EAAE,CAAC,CAAC,OAAO,EAAE;IAC9B,sEAAsE;IACtE,eAAe,EAAE,CAAC,CAAC,KAAK,CAAC,mBAAmB,CAAC;CAC9C,CAAC;KACD,MAAM,EAAE;KACR,WAAW,CAAC,CAAC,OAAO,EAAE,GAAG,EAAE,EAAE;IAC5B,oEAAoE;IACpE,8BAA8B;IAC9B,MAAM,IAAI,GAAG,IAAI,GAAG,EAA4B,CAAC;IACjD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC/D,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACrC,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAClC,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QAC5C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,CAAC,SAAS,EAAE,KAAK,EAAE,YAAY,CAAC;gBACtC,OAAO,EACL,0BAA0B,KAAK,CAAC,UAAU,eAAe;oBACzD,GAAG,QAAQ,CAAC,IAAI,IAAI,MAAM,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,CAAC,OAAO;oBAC/D,GAAG,KAAK,CAAC,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE;aACvD,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IACpC,CAAC;IACD,sEAAsE;IACtE,mEAAmE;IACnE,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;IACpF,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACpC,MAAM,QAAQ,GAAG,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QACtD,IAAI,KAAK,CAAC,eAAe,KAAK,YAAY,IAAI,CAAC,QAAQ,EAAE,CAAC;YACxD,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,CAAC,YAAY,CAAC;gBACpB,OAAO,EAAE,UAAU,KAAK,CAAC,UAAU,yDAAyD;aAC7F,CAAC,CAAC;QACL,CAAC;IACH,CAAC;AACH,CAAC,CAAC,CAAC;AAsBL;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAAsB;IACrD,OAAO,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,OAAO,IAAI,GAAG,IAAI,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;AAC9F,CAAC"}

package/dist/schemas/test-map.d.ts

@@ -0,0 +1,99 @@
+/**
+ * Test-mapping sidecar schema (plan 2026-09-13 §5.3): the versioned
+ * `.gateforge/test-map.yml` document an agent (or `tests mark`) writes
+ * to connect an EXISTING test to obligations without rewriting a test
+ * body.
+ *
+ * One declaration model (§5.3): native `{type: 'gateforge'}` annotations
+ * and sidecar entries normalize through one resolver into the same claim
+ * surface — a sidecar entry DECLARES INTENT and supplies no test result
+ * or trusted evidence. Rules enforced here (fail closed):
+ * - every entry claims at least one obligation (`claims` non-empty);
+ * - claim ids must already look like obligation ids
+ *   (`<resourceId>:<contract>`) — a `'*'` wildcard is not an obligation
+ *   id and never parses;
+ * - `kind` must be a supported {@link TestKind} value when present;
+ * - `reason` is required free text (a declaration without a why is not
+ *   reviewable);
+ * - duplicate entry keys are a typed parse error naming BOTH entries —
+ *   never "bind the first match".
+ *
+ * YAML stays OUT of this module: the CLI parses `.gateforge/test-map.yml`
+ * with the repository's `yaml` dependency and passes the plain document
+ * here, so core speaks only validated data.
+ */
+import { z } from 'zod';
+/**
+ * Which existing test an entry declares (plan §5.3 selector). `titlePath`
+ * is part of the identity rules (§5.2): a selector WITHOUT one would
+ * cover a whole file — the resolver treats that as the prohibited
+ * wildcard (unsafe declaration), so honest entries always carry it.
+ */
+export declare const TestSelectorSchema: z.ZodObject<{
+    runner: z.ZodString;
+    project: z.ZodOptional<z.ZodString>;
+    file: z.ZodString;
+    titlePath: z.ZodOptional<z.ZodArray<z.ZodString>>;
+}, z.core.$strict>;
+/** Inferred test-selector type. */
+export type TestSelector = z.infer<typeof TestSelectorSchema>;
+/**
+ * One sidecar mapping entry (plan §5.3): a stable logical key, the
+ * selector locating the existing test, the declared kind/categories, the
+ * claimed obligation ids, and the required human reason.
+ */
+export declare const TestMapEntrySchema: z.ZodObject<{
+    key: z.ZodString;
+    selector: z.ZodObject<{
+        runner: z.ZodString;
+        project: z.ZodOptional<z.ZodString>;
+        file: z.ZodString;
+        titlePath: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strict>;
+    kind: z.ZodOptional<z.ZodEnum<{
+        unknown: "unknown";
+        "browser-e2e": "browser-e2e";
+        "server-e2e": "server-e2e";
+        "api-e2e": "api-e2e";
+        unit: "unit";
+        integration: "integration";
+        component: "component";
+    }>>;
+    categories: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    claims: z.ZodArray<z.ZodString>;
+    reason: z.ZodString;
+}, z.core.$strict>;
+/** Inferred test-map-entry type. */
+export type TestMapEntry = z.infer<typeof TestMapEntrySchema>;
+/**
+ * The `.gateforge/test-map.yml` document (plan §5.3): a tracked,
+ * versioned sidecar of mapping declarations. Duplicate keys fail the
+ * parse naming both entries' keys and selectors.
+ */
+export declare const TestMapSchema: z.ZodObject<{
+    schemaVersion: z.ZodLiteral<1>;
+    tests: z.ZodArray<z.ZodObject<{
+        key: z.ZodString;
+        selector: z.ZodObject<{
+            runner: z.ZodString;
+            project: z.ZodOptional<z.ZodString>;
+            file: z.ZodString;
+            titlePath: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        }, z.core.$strict>;
+        kind: z.ZodOptional<z.ZodEnum<{
+            unknown: "unknown";
+            "browser-e2e": "browser-e2e";
+            "server-e2e": "server-e2e";
+            "api-e2e": "api-e2e";
+            unit: "unit";
+            integration: "integration";
+            component: "component";
+        }>>;
+        categories: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        claims: z.ZodArray<z.ZodString>;
+        reason: z.ZodString;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+/** Inferred test-map document type. */
+export type TestMap = z.infer<typeof TestMapSchema>;
+//# sourceMappingURL=test-map.d.ts.map

package/dist/schemas/test-map.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"test-map.d.ts","sourceRoot":"","sources":["../../src/schemas/test-map.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAKxB;;;;;GAKG;AACH,eAAO,MAAM,kBAAkB;;;;;kBAWpB,CAAC;AAEZ,mCAAmC;AACnC,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAE9D;;;;GAIG;AACH,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;kBAkBpB,CAAC;AAEZ,oCAAoC;AACpC,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAE9D;;;;GAIG;AACH,eAAO,MAAM,aAAa;;;;;;;;;;;;;;;;;;;;;;;kBA4BtB,CAAC;AAEL,uCAAuC;AACvC,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC"}

package/dist/schemas/test-map.js

@@ -0,0 +1,103 @@
+/**
+ * Test-mapping sidecar schema (plan 2026-09-13 §5.3): the versioned
+ * `.gateforge/test-map.yml` document an agent (or `tests mark`) writes
+ * to connect an EXISTING test to obligations without rewriting a test
+ * body.
+ *
+ * One declaration model (§5.3): native `{type: 'gateforge'}` annotations
+ * and sidecar entries normalize through one resolver into the same claim
+ * surface — a sidecar entry DECLARES INTENT and supplies no test result
+ * or trusted evidence. Rules enforced here (fail closed):
+ * - every entry claims at least one obligation (`claims` non-empty);
+ * - claim ids must already look like obligation ids
+ *   (`<resourceId>:<contract>`) — a `'*'` wildcard is not an obligation
+ *   id and never parses;
+ * - `kind` must be a supported {@link TestKind} value when present;
+ * - `reason` is required free text (a declaration without a why is not
+ *   reviewable);
+ * - duplicate entry keys are a typed parse error naming BOTH entries —
+ *   never "bind the first match".
+ *
+ * YAML stays OUT of this module: the CLI parses `.gateforge/test-map.yml`
+ * with the repository's `yaml` dependency and passes the plain document
+ * here, so core speaks only validated data.
+ */
+import { z } from 'zod';
+import { SchemaVersionField } from './common.js';
+import { ObligationIdSchema } from './claim.js';
+import { TestKindSchema } from './test-catalog.js';
+/**
+ * Which existing test an entry declares (plan §5.3 selector). `titlePath`
+ * is part of the identity rules (§5.2): a selector WITHOUT one would
+ * cover a whole file — the resolver treats that as the prohibited
+ * wildcard (unsafe declaration), so honest entries always carry it.
+ */
+export const TestSelectorSchema = z
+    .object({
+    /** Runner the test executes under, e.g. `playwright`. */
+    runner: z.string().min(1),
+    /** Runner project, e.g. `chromium`. Absent = every project of the file/title. */
+    project: z.string().min(1).optional(),
+    /** Repo-root-relative posix path of the test file. */
+    file: z.string().min(1),
+    /** Full title path (describe stack, then the test title). */
+    titlePath: z.array(z.string().min(1)).optional(),
+})
+    .strict();
+/**
+ * One sidecar mapping entry (plan §5.3): a stable logical key, the
+ * selector locating the existing test, the declared kind/categories, the
+ * claimed obligation ids, and the required human reason.
+ */
+export const TestMapEntrySchema = z
+    .object({
+    /** Stable logical key of the test (the catalog's `logicalKey`). */
+    key: z.string().min(1),
+    /** Selector locating the current test instance(s). */
+    selector: TestSelectorSchema,
+    /** Declared kind; resolves `unknown`, never observed mocking (§5.3). */
+    kind: TestKindSchema.optional(),
+    /** Behavior-category labels (hints only, never proof; §3.2). */
+    categories: z.array(z.string().min(1)).optional(),
+    /** Claimed obligation ids — at least one; `'*'` never parses. */
+    claims: z.array(ObligationIdSchema).min(1, 'every mapping entry must claim at least one obligation'),
+    /** Required free-text why (a declaration must be reviewable). */
+    reason: z
+        .string()
+        .trim()
+        .min(8, 'reason is required free text (at least 8 characters) explaining the declaration'),
+})
+    .strict();
+/**
+ * The `.gateforge/test-map.yml` document (plan §5.3): a tracked,
+ * versioned sidecar of mapping declarations. Duplicate keys fail the
+ * parse naming both entries' keys and selectors.
+ */
+export const TestMapSchema = z
+    .object({
+    schemaVersion: SchemaVersionField,
+    /** Mapping declarations, unique by `key` (order is data, not identity). */
+    tests: z.array(TestMapEntrySchema),
+})
+    .strict()
+    .superRefine((document, ctx) => {
+    // §5.2: validate uniqueness — duplicate keys list BOTH entries and
+    // never bind the first match.
+    const seen = new Map();
+    for (let index = 0; index < document.tests.length; index += 1) {
+        const entry = document.tests[index];
+        if (entry === undefined)
+            continue;
+        const previous = seen.get(entry.key);
+        if (previous !== undefined) {
+            ctx.addIssue({
+                code: 'custom',
+                path: ['tests', index, 'key'],
+                message: `duplicate sidecar key '${entry.key}' — entries at tests[${String(document.tests.indexOf(previous))}] (file ${previous.selector.file}) and tests[${String(index)}] (file ${entry.selector.file})`,
+            });
+            continue;
+        }
+        seen.set(entry.key, entry);
+    }
+});
+//# sourceMappingURL=test-map.js.map

package/dist/schemas/test-map.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"test-map.js","sourceRoot":"","sources":["../../src/schemas/test-map.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AACjD,OAAO,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAChD,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAEnD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC;KAChC,MAAM,CAAC;IACN,yDAAyD;IACzD,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACzB,iFAAiF;IACjF,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IACrC,sDAAsD;IACtD,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvB,6DAA6D;IAC7D,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;CACjD,CAAC;KACD,MAAM,EAAE,CAAC;AAKZ;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC;KAChC,MAAM,CAAC;IACN,mEAAmE;IACnE,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACtB,sDAAsD;IACtD,QAAQ,EAAE,kBAAkB;IAC5B,wEAAwE;IACxE,IAAI,EAAE,cAAc,CAAC,QAAQ,EAAE;IAC/B,gEAAgE;IAChE,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IACjD,iEAAiE;IACjE,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,wDAAwD,CAAC;IACpG,iEAAiE;IACjE,MAAM,EAAE,CAAC;SACN,MAAM,EAAE;SACR,IAAI,EAAE;SACN,GAAG,CAAC,CAAC,EAAE,iFAAiF,CAAC;CAC7F,CAAC;KACD,MAAM,EAAE,CAAC;AAKZ;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC;KAC3B,MAAM,CAAC;IACN,aAAa,EAAE,kBAAkB;IACjC,2EAA2E;IAC3E,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC;CACnC,CAAC;KACD,MAAM,EAAE;KACR,WAAW,CAAC,CAAC,QAAQ,EAAE,GAAG,EAAE,EAAE;IAC7B,mEAAmE;IACnE,8BAA8B;IAC9B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC7C,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC9D,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACpC,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAClC,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACrC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC;gBAC7B,OAAO,EACL,0BAA0B,KAAK,CAAC,GAAG,wBAAwB,MAAM,CAC/D,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CACjC,WAAW,QAAQ,CAAC,QAAQ,CAAC,IAAI,eAAe,MAAM,CAAC,KAAK,CAAC,WAAW,KAAK,CAAC,QAAQ,CAAC,IAAI,GAAG;aAClG,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAC7B,CAAC;AACH,CAAC,CAAC,CAAC"}

package/dist/schemas/verdict.d.ts

@@ -0,0 +1,73 @@
+/**
+ * Verdict + UnresolvedReason schemas (ADR 0001 seven verdicts, pin #5
+ * unresolved-entry shape). The pure evaluator itself lives in
+ * `src/verdict` (G3); these are the frozen data shapes it speaks.
+ */
+import { z } from 'zod';
+/**
+ * The seven verdicts. Blocking (non-clean) verdicts: `missing`,
+ * `invalid`, `unclassified`, `unresolved`, `stale`. Clean: `satisfied`,
+ * `waived`.
+ */
+export declare const VerdictSchema: z.ZodEnum<{
+    satisfied: "satisfied";
+    missing: "missing";
+    invalid: "invalid";
+    unclassified: "unclassified";
+    unresolved: "unresolved";
+    waived: "waived";
+    stale: "stale";
+}>;
+/** Inferred verdict shape. */
+export type Verdict = z.infer<typeof VerdictSchema>;
+/** Machine-readable reason attached to `unresolved` verdicts. */
+export declare const UnresolvedReasonSchema: z.ZodObject<{
+    code: z.ZodString;
+    detail: z.ZodString;
+    location: z.ZodObject<{
+        file: z.ZodString;
+        line: z.ZodNumber;
+        col: z.ZodNumber;
+    }, z.core.$strict>;
+}, z.core.$strict>;
+/** Inferred unresolved-reason shape. */
+export type UnresolvedReason = z.infer<typeof UnresolvedReasonSchema>;
+/**
+ * Stable cause codes for the shared report model (plan §5.4, ADR 0005).
+ * Blocking-obligation causes name WHY an obligation is not satisfied and
+ * select its next action; the three `DIAGNOSTIC_*` codes are advisory
+ * result causes for the separate diagnostic run (plan §3.5) — never
+ * obligation verdicts. The seven verdict VALUES are unchanged; causes
+ * enrich them without weakening any contract.
+ */
+export declare const CauseCodeSchema: z.ZodEnum<{
+    TEST_INVENTORY_INCOMPLETE: "TEST_INVENTORY_INCOMPLETE";
+    TEST_KIND_UNKNOWN: "TEST_KIND_UNKNOWN";
+    TEST_MAPPING_MISSING: "TEST_MAPPING_MISSING";
+    TEST_MAPPING_AMBIGUOUS: "TEST_MAPPING_AMBIGUOUS";
+    TEST_MAPPING_STALE: "TEST_MAPPING_STALE";
+    EVIDENCE_NOT_COLLECTED: "EVIDENCE_NOT_COLLECTED";
+    VERIFIER_UNSUPPORTED: "VERIFIER_UNSUPPORTED";
+    TEST_NOT_EXECUTED: "TEST_NOT_EXECUTED";
+    TEST_FAILED: "TEST_FAILED";
+    RUN_INCOMPLETE: "RUN_INCOMPLETE";
+    EVIDENCE_STALE: "EVIDENCE_STALE";
+    CHANGE_UNMAPPED: "CHANGE_UNMAPPED";
+    EVIDENCE_SCOPE_INCOMPLETE: "EVIDENCE_SCOPE_INCOMPLETE";
+    ENFORCEMENT_UNTRUSTED: "ENFORCEMENT_UNTRUSTED";
+    EVIDENCE_VALUE_MISMATCH: "EVIDENCE_VALUE_MISMATCH";
+    SERVER_PROBE_UNAVAILABLE: "SERVER_PROBE_UNAVAILABLE";
+    CRUD_COVERAGE_MISSING: "CRUD_COVERAGE_MISSING";
+    DIAGNOSTIC_TEST_FAILURE: "DIAGNOSTIC_TEST_FAILURE";
+    DIAGNOSTIC_RUN_INCOMPLETE: "DIAGNOSTIC_RUN_INCOMPLETE";
+    DIAGNOSTIC_RESULT_STALE: "DIAGNOSTIC_RESULT_STALE";
+}>;
+/** Inferred cause-code union. */
+export type CauseCode = z.infer<typeof CauseCodeSchema>;
+/**
+ * The plan §5.4 next action per cause code. Text, JSON, and SARIF
+ * renderings all carry the same strings so every surface agrees on what
+ * to do next.
+ */
+export declare const CAUSE_NEXT_ACTIONS: Readonly<Record<CauseCode, string>>;
+//# sourceMappingURL=verdict.d.ts.map

package/dist/schemas/verdict.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verdict.d.ts","sourceRoot":"","sources":["../../src/schemas/verdict.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB;;;;GAIG;AACH,eAAO,MAAM,aAAa;;;;;;;;EAQxB,CAAC;AAEH,8BAA8B;AAC9B,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AAEpD,iEAAiE;AACjE,eAAO,MAAM,sBAAsB;;;;;;;;kBASxB,CAAC;AAEZ,wCAAwC;AACxC,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAEtE;;;;;;;GAOG;AACH,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;;;;;;EAqB1B,CAAC;AAEH,iCAAiC;AACjC,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAExD;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,EAAE,QAAQ,CAAC,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,CA4BjE,CAAC"}