@adammcarter/use-cases 0.1.0

package/packages/core/dist/markers/validators.d.ts

@@ -0,0 +1,13 @@
+export interface MarkerValidationError {
+    instance_path: string;
+    message: string;
+}
+export interface MarkerValidationResult {
+    ok: boolean;
+    errors: MarkerValidationError[];
+}
+export declare function validateMarkerSchema(schemaId: string, value: unknown): MarkerValidationResult;
+export declare function validateBindingRegistryEvent(value: unknown): MarkerValidationResult;
+export declare function validateProofEvent(value: unknown): MarkerValidationResult;
+export declare function validateFreshnessStatus(value: unknown): MarkerValidationResult;
+//# sourceMappingURL=validators.d.ts.map

package/packages/core/dist/markers/validators.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validators.d.ts","sourceRoot":"","sources":["../../src/markers/validators.ts"],"names":[],"mappings":"AAUA,MAAM,WAAW,qBAAqB;IACpC,aAAa,EAAE,MAAM,CAAC;IACtB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,sBAAsB;IACrC,EAAE,EAAE,OAAO,CAAC;IACZ,MAAM,EAAE,qBAAqB,EAAE,CAAC;CACjC;AA2CD,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,sBAAsB,CAkB7F;AAED,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,OAAO,GAAG,sBAAsB,CAEnF;AAED,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,OAAO,GAAG,sBAAsB,CAEzE;AAED,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,OAAO,GAAG,sBAAsB,CAE9E"}

package/packages/core/dist/markers/validators.js

@@ -0,0 +1,64 @@
+import Ajv2020Module, {} from "ajv/dist/2020.js";
+import { existsSync, readFileSync } from "node:fs";
+import { join } from "node:path";
+import { fileURLToPath } from "node:url";
+import { BINDING_REGISTRY_SCHEMA_ID, EVIDENCE_SCHEMA_ID, STATUS_SCHEMA_ID } from "./constants.js";
+const SCHEMA_FILES = {
+    [BINDING_REGISTRY_SCHEMA_ID]: "binding-registry-event.schema.json",
+    [EVIDENCE_SCHEMA_ID]: "proof-event.schema.json",
+    [STATUS_SCHEMA_ID]: "freshness-status.schema.json"
+};
+let validatorCache;
+function findSchemasDir() {
+    const candidates = [
+        fileURLToPath(new URL("./schemas/", import.meta.url)),
+        fileURLToPath(new URL("../../src/markers/schemas/", import.meta.url))
+    ];
+    const found = candidates.find((candidate) => existsSync(join(candidate, "binding-registry-event.schema.json")));
+    if (!found) {
+        throw new Error(`unable to locate markers schemas from ${import.meta.url}`);
+    }
+    return found;
+}
+function buildValidators() {
+    if (validatorCache) {
+        return validatorCache;
+    }
+    const Ajv2020 = Ajv2020Module.default;
+    const ajv = new Ajv2020({ allErrors: true, strict: true });
+    const schemasDir = findSchemasDir();
+    validatorCache = new Map(Object.entries(SCHEMA_FILES).map(([schemaId, fileName]) => {
+        const schema = JSON.parse(readFileSync(join(schemasDir, fileName), "utf8"));
+        return [schemaId, ajv.compile(schema)];
+    }));
+    return validatorCache;
+}
+export function validateMarkerSchema(schemaId, value) {
+    const validator = buildValidators().get(schemaId);
+    if (!validator) {
+        return {
+            ok: false,
+            errors: [{ instance_path: "", message: `unknown schema: ${schemaId}` }]
+        };
+    }
+    const ok = validator(value);
+    return {
+        ok,
+        errors: ok
+            ? []
+            : (validator.errors ?? []).map((error) => ({
+                instance_path: error.instancePath,
+                message: error.message ?? "schema validation failed"
+            }))
+    };
+}
+export function validateBindingRegistryEvent(value) {
+    return validateMarkerSchema(BINDING_REGISTRY_SCHEMA_ID, value);
+}
+export function validateProofEvent(value) {
+    return validateMarkerSchema(EVIDENCE_SCHEMA_ID, value);
+}
+export function validateFreshnessStatus(value) {
+    return validateMarkerSchema(STATUS_SCHEMA_ID, value);
+}
+//# sourceMappingURL=validators.js.map

package/packages/core/dist/markers/validators.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validators.js","sourceRoot":"","sources":["../../src/markers/validators.ts"],"names":[],"mappings":"AAAA,OAAO,aAAa,EAAE,EAAyB,MAAM,kBAAkB,CAAC;AACxE,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EACL,0BAA0B,EAC1B,kBAAkB,EAClB,gBAAgB,EACjB,MAAM,gBAAgB,CAAC;AAYxB,MAAM,YAAY,GAA2B;IAC3C,CAAC,0BAA0B,CAAC,EAAE,oCAAoC;IAClE,CAAC,kBAAkB,CAAC,EAAE,yBAAyB;IAC/C,CAAC,gBAAgB,CAAC,EAAE,8BAA8B;CACnD,CAAC;AAEF,IAAI,cAAyD,CAAC;AAE9D,SAAS,cAAc;IACrB,MAAM,UAAU,GAAG;QACjB,aAAa,CAAC,IAAI,GAAG,CAAC,YAAY,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACrD,aAAa,CAAC,IAAI,GAAG,CAAC,4BAA4B,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;KACtE,CAAC;IACF,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAC1C,UAAU,CAAC,IAAI,CAAC,SAAS,EAAE,oCAAoC,CAAC,CAAC,CAClE,CAAC;IACF,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,MAAM,IAAI,KAAK,CAAC,yCAAyC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;IAC9E,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,eAAe;IACtB,IAAI,cAAc,EAAE,CAAC;QACnB,OAAO,cAAc,CAAC;IACxB,CAAC;IACD,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,CAAC;IACtC,MAAM,GAAG,GAAG,IAAI,OAAO,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IAC3D,MAAM,UAAU,GAAG,cAAc,EAAE,CAAC;IACpC,cAAc,GAAG,IAAI,GAAG,CACtB,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,EAAE;QACxD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,EAAE,MAAM,CAAC,CAGzE,CAAC;QACF,OAAO,CAAC,QAAQ,EAAE,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CACH,CAAC;IACF,OAAO,cAAc,CAAC;AACxB,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,QAAgB,EAAE,KAAc;IACnE,MAAM,SAAS,GAAG,eAAe,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAClD,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO;YACL,EAAE,EAAE,KAAK;YACT,MAAM,EAAE,CAAC,EAAE,aAAa,EAAE,EAAE,EAAE,OAAO,EAAE,mBAAmB,QAAQ,EAAE,EAAE,CAAC;SACxE,CAAC;IACJ,CAAC;IACD,MAAM,EAAE,GAAG,SAAS,CAAC,KAAK,CAAY,CAAC;IACvC,OAAO;QACL,EAAE;QACF,MAAM,EAAE,EAAE;YACR,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gBACvC,aAAa,EAAE,KAAK,CAAC,YAAY;gBACjC,OAAO,EAAE,KAAK,CAAC,OAAO,IAAI,0BAA0B;aACrD,CAAC,CAAC;KACR,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,4BAA4B,CAAC,KAAc;IACzD,OAAO,oBAAoB,CAAC,0BAA0B,EAAE,KAAK,CAAC,CAAC;AACjE,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,KAAc;IAC/C,OAAO,oBAAoB,CAAC,kBAAkB,EAAE,KAAK,CAAC,CAAC;AACzD,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,KAAc;IACpD,OAAO,oBAAoB,CAAC,gBAAgB,EAAE,KAAK,CAAC,CAAC;AACvD,CAAC"}

package/packages/core/dist/markers/verificationContextHash.d.ts

@@ -0,0 +1,23 @@
+import { type VerifierResolution, type WorkspaceVerifierContext } from "./verifierResolver.js";
+export declare const VERIFICATION_CONTEXT_HASH_ID = "ucase-verification-context-hash-v1";
+export interface VerificationContextFs {
+    readText(path: string): string | null;
+}
+export interface VerificationContextHashArgs {
+    verificationPolicy: unknown;
+    verifiers: ReadonlyArray<VerifierResolution>;
+    rootDir: string;
+    fs: VerificationContextFs;
+    lockfileName?: string;
+}
+export declare function computeVerificationContextHash(args: VerificationContextHashArgs): string;
+export interface RowVerificationContextHashArgs {
+    slug: string;
+    verificationPolicy: unknown;
+    rootDir: string;
+    fs: VerificationContextFs;
+    lockfileName?: string;
+    workspaceVerifiers?: WorkspaceVerifierContext;
+}
+export declare function computeRowVerificationContextHash(args: RowVerificationContextHashArgs): string;
+//# sourceMappingURL=verificationContextHash.d.ts.map

package/packages/core/dist/markers/verificationContextHash.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verificationContextHash.d.ts","sourceRoot":"","sources":["../../src/markers/verificationContextHash.ts"],"names":[],"mappings":"AAqBA,OAAO,EAEL,KAAK,kBAAkB,EACvB,KAAK,wBAAwB,EAC9B,MAAM,uBAAuB,CAAC;AAG/B,eAAO,MAAM,4BAA4B,uCAAuC,CAAC;AAUjF,MAAM,WAAW,qBAAqB;IAEpC,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC;CACvC;AAED,MAAM,WAAW,2BAA2B;IAE1C,kBAAkB,EAAE,OAAO,CAAC;IAE5B,SAAS,EAAE,aAAa,CAAC,kBAAkB,CAAC,CAAC;IAE7C,OAAO,EAAE,MAAM,CAAC;IAChB,EAAE,EAAE,qBAAqB,CAAC;IAE1B,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AA8BD,wBAAgB,8BAA8B,CAAC,IAAI,EAAE,2BAA2B,GAAG,MAAM,CA+BxF;AAED,MAAM,WAAW,8BAA8B;IAE7C,IAAI,EAAE,MAAM,CAAC;IACb,kBAAkB,EAAE,OAAO,CAAC;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,EAAE,EAAE,qBAAqB,CAAC;IAC1B,YAAY,CAAC,EAAE,MAAM,CAAC;IAItB,kBAAkB,CAAC,EAAE,wBAAwB,CAAC;CAC/C;AAKD,wBAAgB,iCAAiC,CAAC,IAAI,EAAE,8BAA8B,GAAG,MAAM,CAY9F"}

package/packages/core/dist/markers/verificationContextHash.js

@@ -0,0 +1,96 @@
+// Verification context hash (closes the "weakened verifier" freshness hole).
+//
+// A proof event today certifies {row hash, policy hashes, binding-set hash, span
+// hashes} — i.e. WHAT was verified and against WHICH code. It says nothing about
+// HOW it was verified. So if someone later weakens or deletes the row's
+// acceptance test while the production spans are untouched, the old proof stays
+// FRESH even though the thing that proved it is gone.
+//
+// `computeVerificationContextHash` binds a proof to its verifier context: the
+// row's verification_policy, the RESOLVED verifier(s) it demands (id, kind,
+// evidence_kind, command argv, timeout), the byte contents of every declared
+// input file (e.g. the acceptance test itself), and the repo lockfile. The hash
+// is embedded in the proof and re-derived at scan time; if it drifts, the proof
+// is no longer FRESH.
+//
+// Pure + deterministic: file reads go through an injected seam, a missing input
+// is an explicit `absent` marker (never an error), inputs are sorted+deduped, and
+// the result depends ONLY on the declared inputs + lockfile + policy + verifiers —
+// never on unrelated files in the tree.
+import { isAbsolute, join } from "node:path";
+import { canonicalJsonSha256, sha256 } from "./canonicalJson.js";
+import { resolveRowVerifiers } from "./verifierResolver.js";
+// The id of this hashing algorithm, embedded alongside the hash in proof events.
+export const VERIFICATION_CONTEXT_HASH_ID = "ucase-verification-context-hash-v1";
+// Deterministic sentinel for a declared input (or lockfile) that does not exist.
+// Distinct from any real `sha256:...` value, so absent != present-but-empty.
+const ABSENT_CONTENT = "absent";
+// The repo lockfile whose contents pin the toolchain a verifier would run under.
+const DEFAULT_LOCKFILE = "pnpm-lock.yaml";
+// sha256 of a file's bytes, or the ABSENT sentinel when it does not exist.
+function contentMarker(fs, rootDir, relOrAbs) {
+    const path = isAbsolute(relOrAbs) ? relOrAbs : join(rootDir, relOrAbs);
+    const text = fs.readText(path);
+    return text === null ? ABSENT_CONTENT : sha256(text);
+}
+// Canonical, order-stable projection of one resolved/blocked verifier. Only the
+// fields that define HOW verification runs are hashed (line/format independent).
+function verifierToCanon(verifier) {
+    if (verifier.status === "resolved") {
+        const canon = {
+            verifier_id: verifier.verifier_id,
+            status: verifier.status,
+            kind: verifier.kind,
+            evidence_kind: verifier.evidence_kind,
+            command: verifier.command
+        };
+        if (verifier.timeout_seconds !== undefined) {
+            canon.timeout_seconds = verifier.timeout_seconds;
+        }
+        return canon;
+    }
+    return { verifier_id: verifier.verifier_id, status: verifier.status, reason: verifier.reason };
+}
+// Compute the verification context hash for a row given its already-resolved
+// verifiers. Returns "sha256:<hex>".
+export function computeVerificationContextHash(args) {
+    const lockfileName = args.lockfileName ?? DEFAULT_LOCKFILE;
+    // Verifiers sorted by id for stability (resolveRowVerifiers already sorts, but
+    // this keeps the hash independent of caller ordering).
+    const verifiers = [...args.verifiers]
+        .sort((left, right) => left.verifier_id < right.verifier_id ? -1 : left.verifier_id > right.verifier_id ? 1 : 0)
+        .map(verifierToCanon);
+    // Union of every resolved verifier's declared inputs, deduped + sorted, each
+    // paired with the sha256 of its current bytes (or the absent marker).
+    const inputPaths = new Set();
+    for (const verifier of args.verifiers) {
+        if (verifier.status === "resolved") {
+            for (const input of verifier.inputs) {
+                inputPaths.add(input);
+            }
+        }
+    }
+    const inputs = [...inputPaths]
+        .sort((left, right) => (left < right ? -1 : left > right ? 1 : 0))
+        .map((path) => ({ path, content_sha256: contentMarker(args.fs, args.rootDir, path) }));
+    return canonicalJsonSha256({
+        verification_policy: args.verificationPolicy ?? null,
+        verifiers,
+        inputs,
+        lockfile_sha256: contentMarker(args.fs, args.rootDir, lockfileName)
+    });
+}
+// Convenience: resolve a row's verifiers, then compute its context hash. This is
+// the single entry point both `prove` (to embed) and `scan` (to re-derive) use,
+// so the embedded and recomputed hashes are guaranteed to agree byte-for-byte.
+export function computeRowVerificationContextHash(args) {
+    const verifiers = resolveRowVerifiers({ slug: args.slug, verification_policy: args.verificationPolicy }, args.workspaceVerifiers ?? {});
+    return computeVerificationContextHash({
+        verificationPolicy: args.verificationPolicy,
+        verifiers,
+        rootDir: args.rootDir,
+        fs: args.fs,
+        lockfileName: args.lockfileName
+    });
+}
+//# sourceMappingURL=verificationContextHash.js.map

package/packages/core/dist/markers/verificationContextHash.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verificationContextHash.js","sourceRoot":"","sources":["../../src/markers/verificationContextHash.ts"],"names":[],"mappings":"AAAA,6EAA6E;AAC7E,EAAE;AACF,iFAAiF;AACjF,iFAAiF;AACjF,wEAAwE;AACxE,gFAAgF;AAChF,sDAAsD;AACtD,EAAE;AACF,8EAA8E;AAC9E,4EAA4E;AAC5E,6EAA6E;AAC7E,gFAAgF;AAChF,gFAAgF;AAChF,sBAAsB;AACtB,EAAE;AACF,gFAAgF;AAChF,kFAAkF;AAClF,mFAAmF;AACnF,wCAAwC;AACxC,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC7C,OAAO,EAAE,mBAAmB,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjE,OAAO,EACL,mBAAmB,EAGpB,MAAM,uBAAuB,CAAC;AAE/B,iFAAiF;AACjF,MAAM,CAAC,MAAM,4BAA4B,GAAG,oCAAoC,CAAC;AAEjF,iFAAiF;AACjF,6EAA6E;AAC7E,MAAM,cAAc,GAAG,QAAQ,CAAC;AAEhC,iFAAiF;AACjF,MAAM,gBAAgB,GAAG,gBAAgB,CAAC;AAoB1C,2EAA2E;AAC3E,SAAS,aAAa,CAAC,EAAyB,EAAE,OAAe,EAAE,QAAgB;IACjF,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACvE,MAAM,IAAI,GAAG,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC/B,OAAO,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;AACvD,CAAC;AAED,gFAAgF;AAChF,iFAAiF;AACjF,SAAS,eAAe,CAAC,QAA4B;IACnD,IAAI,QAAQ,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;QACnC,MAAM,KAAK,GAA4B;YACrC,WAAW,EAAE,QAAQ,CAAC,WAAW;YACjC,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,IAAI,EAAE,QAAQ,CAAC,IAAI;YACnB,aAAa,EAAE,QAAQ,CAAC,aAAa;YACrC,OAAO,EAAE,QAAQ,CAAC,OAAO;SAC1B,CAAC;QACF,IAAI,QAAQ,CAAC,eAAe,KAAK,SAAS,EAAE,CAAC;YAC3C,KAAK,CAAC,eAAe,GAAG,QAAQ,CAAC,eAAe,CAAC;QACnD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,EAAE,WAAW,EAAE,QAAQ,CAAC,WAAW,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC;AACjG,CAAC;AAED,6EAA6E;AAC7E,qCAAqC;AACrC,MAAM,UAAU,8BAA8B,CAAC,IAAiC;IAC9E,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,IAAI,gBAAgB,CAAC;IAE3D,+EAA+E;IAC/E,uDAAuD;IACvD,MAAM,SAAS,GAAG,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;SAClC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACpB,IAAI,CAAC,WAAW,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CACzF;SACA,GAAG,CAAC,eAAe,CAAC,CAAC;IAExB,6EAA6E;IAC7E,sEAAsE;IACtE,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QACtC,IAAI,QAAQ,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;YACnC,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;gBACpC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACxB,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG,CAAC,GAAG,UAAU,CAAC;SAC3B,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SACjE,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,aAAa,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAEzF,OAAO,mBAAmB,CAAC;QACzB,mBAAmB,EAAE,IAAI,CAAC,kBAAkB,IAAI,IAAI;QACpD,SAAS;QACT,MAAM;QACN,eAAe,EAAE,aAAa,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE,YAAY,CAAC;KACpE,CAAC,CAAC;AACL,CAAC;AAeD,iFAAiF;AACjF,gFAAgF;AAChF,+EAA+E;AAC/E,MAAM,UAAU,iCAAiC,CAAC,IAAoC;IACpF,MAAM,SAAS,GAAG,mBAAmB,CACnC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,mBAAmB,EAAE,IAAI,CAAC,kBAAkB,EAAE,EACjE,IAAI,CAAC,kBAAkB,IAAI,EAAE,CAC9B,CAAC;IACF,OAAO,8BAA8B,CAAC;QACpC,kBAAkB,EAAE,IAAI,CAAC,kBAAkB;QAC3C,SAAS;QACT,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,EAAE,EAAE,IAAI,CAAC,EAAE;QACX,YAAY,EAAE,IAAI,CAAC,YAAY;KAChC,CAAC,CAAC;AACL,CAAC"}

package/packages/core/dist/markers/verifierPresets.d.ts

@@ -0,0 +1,18 @@
+export declare const VERIFIER_PRESET_IDS: readonly ["command.generic", "js.vitest", "js.npm-test", "python.pytest", "go.test", "make.target"];
+export type VerifierPresetId = (typeof VERIFIER_PRESET_IDS)[number];
+export interface ExpandedPreset {
+    kind: "script";
+    command: string[];
+    inputs: string[];
+}
+export type PresetExpansion = {
+    status: "resolved";
+    preset: VerifierPresetId;
+    expansion: ExpandedPreset;
+} | {
+    status: "blocked";
+    reason: string;
+};
+export declare function isVerifierPresetId(value: unknown): value is VerifierPresetId;
+export declare function expandPreset(presetId: string, slug: string): PresetExpansion;
+//# sourceMappingURL=verifierPresets.d.ts.map

package/packages/core/dist/markers/verifierPresets.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verifierPresets.d.ts","sourceRoot":"","sources":["../../src/markers/verifierPresets.ts"],"names":[],"mappings":"AAiBA,eAAO,MAAM,mBAAmB,qGAOtB,CAAC;AAEX,MAAM,MAAM,gBAAgB,GAAG,CAAC,OAAO,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEpE,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,QAAQ,CAAC;IACf,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB;AAED,MAAM,MAAM,eAAe,GACvB;IAAE,MAAM,EAAE,UAAU,CAAC;IAAC,MAAM,EAAE,gBAAgB,CAAC;IAAC,SAAS,EAAE,cAAc,CAAA;CAAE,GAC3E;IAAE,MAAM,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAwB1C,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,gBAAgB,CAE5E;AAID,wBAAgB,YAAY,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,eAAe,CAiB5E"}

package/packages/core/dist/markers/verifierPresets.js

@@ -0,0 +1,71 @@
+// Language-agnostic verifier presets.
+//
+// A preset is a named, reusable expansion of the "what command verifies this
+// row" question. Each preset expands — with `{slug}` substituted everywhere it
+// appears — to a `{ kind:"script", command, inputs }` triple. Presets let a
+// workspace adopt the matrix WITHOUT inheriting the historical pnpm/vitest
+// assumption: that convention now lives here as `js.vitest`, alongside npm,
+// pytest, go, make, and a bring-your-own-argv `command.generic`.
+//
+// Pure + deterministic: `expandPreset` substitutes `{slug}` and returns either a
+// resolved expansion or a BLOCKED result for an unknown preset id (never throws),
+// mirroring the resolver's return-blocked contract so the two compose cleanly.
+const SLUG_TOKEN = "{slug}";
+// The canonical preset id union. Keep in sync with the `verifier_preset_id`
+// enum in schemas/v1/common.schema.json.
+export const VERIFIER_PRESET_IDS = [
+    "command.generic",
+    "js.vitest",
+    "js.npm-test",
+    "python.pytest",
+    "go.test",
+    "make.target"
+];
+// Raw (un-substituted) preset templates. `command.generic` ships an empty
+// command on purpose: the caller supplies the argv, so there is no default.
+const PRESET_TEMPLATES = {
+    "command.generic": { command: [], inputs: [] },
+    "js.vitest": {
+        // Resolve the locally-installed vitest via `npx --no-install` so an
+        // npm-only machine with no global pnpm still verifies. pnpm installs
+        // vitest into node_modules/.bin, which npx resolves too, so pnpm users
+        // are unaffected. `--no-install` forbids any network fetch — if vitest
+        // is not installed locally, the command fails fast rather than hanging.
+        command: ["npx", "--no-install", "vitest", "run", "tests/use-cases/{slug}.test.ts"],
+        inputs: ["tests/use-cases/{slug}.test.ts"]
+    },
+    "js.npm-test": { command: ["npm", "test"], inputs: [] },
+    "python.pytest": {
+        command: ["pytest", "tests/use_cases/{slug}_test.py"],
+        inputs: ["tests/use_cases/{slug}_test.py"]
+    },
+    "go.test": { command: ["go", "test", "./..."], inputs: [] },
+    "make.target": { command: ["make", "test-use-case", "SLUG={slug}"], inputs: [] }
+};
+export function isVerifierPresetId(value) {
+    return typeof value === "string" && VERIFIER_PRESET_IDS.includes(value);
+}
+// Expand a preset id into its concrete `{ kind, command, inputs }`, substituting
+// `{slug}` throughout. Unknown ids return BLOCKED rather than throwing.
+export function expandPreset(presetId, slug) {
+    if (!isVerifierPresetId(presetId)) {
+        return {
+            status: "blocked",
+            reason: `unknown verifier preset '${presetId}'; known presets: ${VERIFIER_PRESET_IDS.join(", ")}`
+        };
+    }
+    const template = PRESET_TEMPLATES[presetId];
+    return {
+        status: "resolved",
+        preset: presetId,
+        expansion: {
+            kind: "script",
+            command: template.command.map((part) => substituteSlug(part, slug)),
+            inputs: template.inputs.map((part) => substituteSlug(part, slug))
+        }
+    };
+}
+function substituteSlug(value, slug) {
+    return value.split(SLUG_TOKEN).join(slug);
+}
+//# sourceMappingURL=verifierPresets.js.map

package/packages/core/dist/markers/verifierPresets.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verifierPresets.js","sourceRoot":"","sources":["../../src/markers/verifierPresets.ts"],"names":[],"mappings":"AAAA,sCAAsC;AACtC,EAAE;AACF,6EAA6E;AAC7E,+EAA+E;AAC/E,4EAA4E;AAC5E,2EAA2E;AAC3E,4EAA4E;AAC5E,iEAAiE;AACjE,EAAE;AACF,iFAAiF;AACjF,kFAAkF;AAClF,+EAA+E;AAE/E,MAAM,UAAU,GAAG,QAAQ,CAAC;AAE5B,4EAA4E;AAC5E,yCAAyC;AACzC,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,iBAAiB;IACjB,WAAW;IACX,aAAa;IACb,eAAe;IACf,SAAS;IACT,aAAa;CACL,CAAC;AAcX,0EAA0E;AAC1E,4EAA4E;AAC5E,MAAM,gBAAgB,GAAsE;IAC1F,iBAAiB,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE;IAC9C,WAAW,EAAE;QACX,oEAAoE;QACpE,qEAAqE;QACrE,uEAAuE;QACvE,uEAAuE;QACvE,wEAAwE;QACxE,OAAO,EAAE,CAAC,KAAK,EAAE,cAAc,EAAE,QAAQ,EAAE,KAAK,EAAE,gCAAgC,CAAC;QACnF,MAAM,EAAE,CAAC,gCAAgC,CAAC;KAC3C;IACD,aAAa,EAAE,EAAE,OAAO,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE;IACvD,eAAe,EAAE;QACf,OAAO,EAAE,CAAC,QAAQ,EAAE,gCAAgC,CAAC;QACrD,MAAM,EAAE,CAAC,gCAAgC,CAAC;KAC3C;IACD,SAAS,EAAE,EAAE,OAAO,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE;IAC3D,aAAa,EAAE,EAAE,OAAO,EAAE,CAAC,MAAM,EAAE,eAAe,EAAE,aAAa,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE;CACjF,CAAC;AAEF,MAAM,UAAU,kBAAkB,CAAC,KAAc;IAC/C,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAK,mBAAyC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AACjG,CAAC;AAED,iFAAiF;AACjF,wEAAwE;AACxE,MAAM,UAAU,YAAY,CAAC,QAAgB,EAAE,IAAY;IACzD,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAClC,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE,4BAA4B,QAAQ,qBAAqB,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;SAClG,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IAC5C,OAAO;QACL,MAAM,EAAE,UAAU;QAClB,MAAM,EAAE,QAAQ;QAChB,SAAS,EAAE;YACT,IAAI,EAAE,QAAQ;YACd,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACnE,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;SAClE;KACF,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,KAAa,EAAE,IAAY;IACjD,OAAO,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC5C,CAAC"}

package/packages/core/dist/markers/verifierResolver.d.ts

@@ -0,0 +1,27 @@
+export declare const DEFAULT_CONVENTION_VERIFIER_ID = "acceptance";
+export interface VerifierResolverRow {
+    slug: string;
+    verification_policy: unknown;
+}
+export interface WorkspaceVerifierContext {
+    default?: string;
+    verifiers?: Record<string, unknown>;
+}
+export interface ResolvedVerifier {
+    verifier_id: string;
+    status: "resolved";
+    source: "policy" | "workspace_config" | "workspace_default";
+    kind: "script";
+    evidence_kind: string;
+    command: string[];
+    inputs: string[];
+    timeout_seconds?: number;
+}
+export interface BlockedVerifier {
+    verifier_id: string;
+    status: "blocked";
+    reason: string;
+}
+export type VerifierResolution = ResolvedVerifier | BlockedVerifier;
+export declare function resolveRowVerifiers(row: VerifierResolverRow, workspace?: WorkspaceVerifierContext): VerifierResolution[];
+//# sourceMappingURL=verifierResolver.d.ts.map

package/packages/core/dist/markers/verifierResolver.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verifierResolver.d.ts","sourceRoot":"","sources":["../../src/markers/verifierResolver.ts"],"names":[],"mappings":"AAyBA,eAAO,MAAM,8BAA8B,eAAe,CAAC;AAU3D,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,MAAM,CAAC;IACb,mBAAmB,EAAE,OAAO,CAAC;CAC9B;AAMD,MAAM,WAAW,wBAAwB;IACvC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACrC;AAED,MAAM,WAAW,gBAAgB;IAC/B,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,UAAU,CAAC;IACnB,MAAM,EAAE,QAAQ,GAAG,kBAAkB,GAAG,mBAAmB,CAAC;IAC5D,IAAI,EAAE,QAAQ,CAAC;IACf,aAAa,EAAE,MAAM,CAAC;IACtB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,eAAe,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,eAAe;IAC9B,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,SAAS,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,MAAM,kBAAkB,GAAG,gBAAgB,GAAG,eAAe,CAAC;AAIpE,wBAAgB,mBAAmB,CACjC,GAAG,EAAE,mBAAmB,EACxB,SAAS,GAAE,wBAA6B,GACvC,kBAAkB,EAAE,CAStB"}

package/packages/core/dist/markers/verifierResolver.js

@@ -0,0 +1,151 @@
+// Resolve the concrete verifier(s) a marker row's verification_policy demands.
+//
+// A verification_policy in "requirements" mode lists `required_verifiers` ids per
+// requirement. Each id resolves CONFIG-DRIVEN, in this order:
+//   1. the row's own `verification_policy.verifiers[id]`;
+//   2. the WORKSPACE CONFIG's `verifiers[id]`;
+//   3. if `id` is the default-convention id ("acceptance") and the workspace
+//      config declares `verifiers.default`, the entry that default names;
+//   4. otherwise BLOCKED — returned (never thrown) so callers can surface an
+//      actionable diagnostic instead of crashing.
+//
+// A verifier ENTRY (in either map) is either an explicit `{ kind:"script",
+// command, ... }` or a preset reference `{ preset, ... }` that resolves via
+// `expandPreset` (PIECE 1). There is NO hardcoded pnpm/vitest default any more —
+// that convention now lives ONLY in the `js.vitest` preset.
+//
+// Pure + deterministic: given a row + workspace verifiers the result is sorted by
+// verifier_id and deduped, and `{slug}` is substituted everywhere it appears in
+// command/inputs.
+import { expandPreset } from "./verifierPresets.js";
+// The convention id rows reference when they want "the workspace default verifier".
+// It carries no built-in command — it resolves ONLY via the workspace config's
+// `verifiers.default`. Absent that, it is BLOCKED.
+export const DEFAULT_CONVENTION_VERIFIER_ID = "acceptance";
+const SLUG_TOKEN = "{slug}";
+// The default evidence_kind for an entry that does not declare one (preset refs
+// may omit it). Matches the historical default-convention evidence kind.
+const DEFAULT_EVIDENCE_KIND = "test_result";
+// Resolve every required_verifier id referenced by the row's verification_policy.
+// The returned array is deduped by verifier_id and sorted ascending for stability.
+export function resolveRowVerifiers(row, workspace = {}) {
+    const ids = collectRequiredVerifierIds(row.verification_policy);
+    const rowVerifiers = extractVerifiers(row.verification_policy);
+    const workspaceVerifiers = isRecord(workspace.verifiers) ? workspace.verifiers : {};
+    return ids
+        .map((id) => resolveOne(id, row.slug, rowVerifiers, workspaceVerifiers, workspace.default))
+        .sort((left, right) => left.verifier_id < right.verifier_id ? -1 : left.verifier_id > right.verifier_id ? 1 : 0);
+}
+function resolveOne(id, slug, rowVerifiers, workspaceVerifiers, workspaceDefault) {
+    // 1. The row's own declared verifier.
+    if (isRecord(rowVerifiers[id])) {
+        return resolveEntry(id, slug, rowVerifiers[id], "policy");
+    }
+    // 2. The workspace config's verifier of the same id.
+    if (isRecord(workspaceVerifiers[id])) {
+        return resolveEntry(id, slug, workspaceVerifiers[id], "workspace_config");
+    }
+    // 3. The default-convention id, backed by the workspace's `verifiers.default`.
+    if (id === DEFAULT_CONVENTION_VERIFIER_ID && typeof workspaceDefault === "string") {
+        const target = workspaceVerifiers[workspaceDefault];
+        if (isRecord(target)) {
+            return resolveEntry(id, slug, target, "workspace_default");
+        }
+        return {
+            verifier_id: id,
+            status: "blocked",
+            reason: `workspace verifiers.default '${workspaceDefault}' does not name a declared verifier`
+        };
+    }
+    // 4. Unresolvable: actionable, never thrown.
+    return {
+        verifier_id: id,
+        status: "blocked",
+        reason: `no verifier '${id}' configured; declare it in the row's verification_policy.verifiers ` +
+            `or the workspace verifiers map, or set verifiers.default`
+    };
+}
+// Resolve one verifier ENTRY (explicit script or preset reference) to a concrete
+// ResolvedVerifier, substituting {slug}. A preset reference expands via PIECE 1's
+// expandPreset; an unknown preset id surfaces as BLOCKED.
+function resolveEntry(id, slug, entry, source) {
+    if (typeof entry.preset === "string") {
+        return resolvePresetEntry(id, slug, entry, source);
+    }
+    return resolveScriptEntry(id, slug, entry, source);
+}
+function resolvePresetEntry(id, slug, entry, source) {
+    const expansion = expandPreset(entry.preset, slug);
+    if (expansion.status === "blocked") {
+        return { verifier_id: id, status: "blocked", reason: expansion.reason };
+    }
+    // The entry may override inputs and supply evidence_kind / timeout_seconds.
+    const inputs = Array.isArray(entry.inputs)
+        ? toStringArray(entry.inputs).map((part) => substituteSlug(part, slug))
+        : expansion.expansion.inputs;
+    const resolved = {
+        verifier_id: id,
+        status: "resolved",
+        source,
+        kind: "script",
+        evidence_kind: typeof entry.evidence_kind === "string" ? entry.evidence_kind : DEFAULT_EVIDENCE_KIND,
+        command: expansion.expansion.command,
+        inputs
+    };
+    if (typeof entry.timeout_seconds === "number") {
+        resolved.timeout_seconds = entry.timeout_seconds;
+    }
+    return resolved;
+}
+function resolveScriptEntry(id, slug, entry, source) {
+    const resolved = {
+        verifier_id: id,
+        status: "resolved",
+        source,
+        kind: "script",
+        evidence_kind: typeof entry.evidence_kind === "string" ? entry.evidence_kind : DEFAULT_EVIDENCE_KIND,
+        command: toStringArray(entry.command).map((part) => substituteSlug(part, slug)),
+        inputs: toStringArray(entry.inputs).map((part) => substituteSlug(part, slug))
+    };
+    if (typeof entry.timeout_seconds === "number") {
+        resolved.timeout_seconds = entry.timeout_seconds;
+    }
+    return resolved;
+}
+function collectRequiredVerifierIds(policy) {
+    if (!isRecord(policy) || policy.mode !== "requirements" || !Array.isArray(policy.requirements)) {
+        return [];
+    }
+    const seen = new Set();
+    const ids = [];
+    for (const requirement of policy.requirements) {
+        if (!isRecord(requirement) || !Array.isArray(requirement.required_verifiers)) {
+            continue;
+        }
+        for (const id of requirement.required_verifiers) {
+            if (typeof id === "string" && !seen.has(id)) {
+                seen.add(id);
+                ids.push(id);
+            }
+        }
+    }
+    return ids;
+}
+function extractVerifiers(policy) {
+    if (isRecord(policy) && isRecord(policy.verifiers)) {
+        return policy.verifiers;
+    }
+    return {};
+}
+function substituteSlug(value, slug) {
+    return value.split(SLUG_TOKEN).join(slug);
+}
+function toStringArray(value) {
+    return Array.isArray(value)
+        ? value.filter((item) => typeof item === "string")
+        : [];
+}
+function isRecord(value) {
+    return typeof value === "object" && value !== null && !Array.isArray(value);
+}
+//# sourceMappingURL=verifierResolver.js.map

package/packages/core/dist/markers/verifierResolver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verifierResolver.js","sourceRoot":"","sources":["../../src/markers/verifierResolver.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAC/E,EAAE;AACF,kFAAkF;AAClF,8DAA8D;AAC9D,0DAA0D;AAC1D,+CAA+C;AAC/C,6EAA6E;AAC7E,0EAA0E;AAC1E,6EAA6E;AAC7E,kDAAkD;AAClD,EAAE;AACF,2EAA2E;AAC3E,4EAA4E;AAC5E,iFAAiF;AACjF,4DAA4D;AAC5D,EAAE;AACF,kFAAkF;AAClF,gFAAgF;AAChF,kBAAkB;AAElB,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAEpD,oFAAoF;AACpF,+EAA+E;AAC/E,mDAAmD;AACnD,MAAM,CAAC,MAAM,8BAA8B,GAAG,YAAY,CAAC;AAE3D,MAAM,UAAU,GAAG,QAAQ,CAAC;AAE5B,gFAAgF;AAChF,yEAAyE;AACzE,MAAM,qBAAqB,GAAG,aAAa,CAAC;AAqC5C,kFAAkF;AAClF,mFAAmF;AACnF,MAAM,UAAU,mBAAmB,CACjC,GAAwB,EACxB,YAAsC,EAAE;IAExC,MAAM,GAAG,GAAG,0BAA0B,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC;IAChE,MAAM,YAAY,GAAG,gBAAgB,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC;IAC/D,MAAM,kBAAkB,GAAG,QAAQ,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;IACpF,OAAO,GAAG;SACP,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,EAAE,YAAY,EAAE,kBAAkB,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC;SAC1F,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACpB,IAAI,CAAC,WAAW,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CACzF,CAAC;AACN,CAAC;AAED,SAAS,UAAU,CACjB,EAAU,EACV,IAAY,EACZ,YAAqC,EACrC,kBAA2C,EAC3C,gBAAoC;IAEpC,sCAAsC;IACtC,IAAI,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QAC/B,OAAO,YAAY,CAAC,EAAE,EAAE,IAAI,EAAE,YAAY,CAAC,EAAE,CAA4B,EAAE,QAAQ,CAAC,CAAC;IACvF,CAAC;IACD,qDAAqD;IACrD,IAAI,QAAQ,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QACrC,OAAO,YAAY,CAAC,EAAE,EAAE,IAAI,EAAE,kBAAkB,CAAC,EAAE,CAA4B,EAAE,kBAAkB,CAAC,CAAC;IACvG,CAAC;IACD,+EAA+E;IAC/E,IAAI,EAAE,KAAK,8BAA8B,IAAI,OAAO,gBAAgB,KAAK,QAAQ,EAAE,CAAC;QAClF,MAAM,MAAM,GAAG,kBAAkB,CAAC,gBAAgB,CAAC,CAAC;QACpD,IAAI,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YACrB,OAAO,YAAY,CAAC,EAAE,EAAE,IAAI,EAAE,MAAiC,EAAE,mBAAmB,CAAC,CAAC;QACxF,CAAC;QACD,OAAO;YACL,WAAW,EAAE,EAAE;YACf,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE,gCAAgC,gBAAgB,qCAAqC;SAC9F,CAAC;IACJ,CAAC;IACD,6CAA6C;IAC7C,OAAO;QACL,WAAW,EAAE,EAAE;QACf,MAAM,EAAE,SAAS;QACjB,MAAM,EACJ,gBAAgB,EAAE,sEAAsE;YACxF,0DAA0D;KAC7D,CAAC;AACJ,CAAC;AAED,iFAAiF;AACjF,kFAAkF;AAClF,0DAA0D;AAC1D,SAAS,YAAY,CACnB,EAAU,EACV,IAAY,EACZ,KAA8B,EAC9B,MAAkC;IAElC,IAAI,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QACrC,OAAO,kBAAkB,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IACrD,CAAC;IACD,OAAO,kBAAkB,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,kBAAkB,CACzB,EAAU,EACV,IAAY,EACZ,KAA8B,EAC9B,MAAkC;IAElC,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,CAAC,MAAgB,EAAE,IAAI,CAAC,CAAC;IAC7D,IAAI,SAAS,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QACnC,OAAO,EAAE,WAAW,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,CAAC;IAC1E,CAAC;IACD,4EAA4E;IAC5E,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC;QACxC,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACvE,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,MAAM,CAAC;IAC/B,MAAM,QAAQ,GAAqB;QACjC,WAAW,EAAE,EAAE;QACf,MAAM,EAAE,UAAU;QAClB,MAAM;QACN,IAAI,EAAE,QAAQ;QACd,aAAa,EACX,OAAO,KAAK,CAAC,aAAa,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,qBAAqB;QACvF,OAAO,EAAE,SAAS,CAAC,SAAS,CAAC,OAAO;QACpC,MAAM;KACP,CAAC;IACF,IAAI,OAAO,KAAK,CAAC,eAAe,KAAK,QAAQ,EAAE,CAAC;QAC9C,QAAQ,CAAC,eAAe,GAAG,KAAK,CAAC,eAAe,CAAC;IACnD,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,kBAAkB,CACzB,EAAU,EACV,IAAY,EACZ,KAA8B,EAC9B,MAAkC;IAElC,MAAM,QAAQ,GAAqB;QACjC,WAAW,EAAE,EAAE;QACf,MAAM,EAAE,UAAU;QAClB,MAAM;QACN,IAAI,EAAE,QAAQ;QACd,aAAa,EACX,OAAO,KAAK,CAAC,aAAa,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,qBAAqB;QACvF,OAAO,EAAE,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC/E,MAAM,EAAE,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;KAC9E,CAAC;IACF,IAAI,OAAO,KAAK,CAAC,eAAe,KAAK,QAAQ,EAAE,CAAC;QAC9C,QAAQ,CAAC,eAAe,GAAG,KAAK,CAAC,eAAe,CAAC;IACnD,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,0BAA0B,CAAC,MAAe;IACjD,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,cAAc,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC;QAC/F,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,WAAW,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;QAC9C,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,kBAAkB,CAAC,EAAE,CAAC;YAC7E,SAAS;QACX,CAAC;QACD,KAAK,MAAM,EAAE,IAAI,WAAW,CAAC,kBAAkB,EAAE,CAAC;YAChD,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC5C,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACb,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACf,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,gBAAgB,CAAC,MAAe;IACvC,IAAI,QAAQ,CAAC,MAAM,CAAC,IAAI,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;QACnD,OAAO,MAAM,CAAC,SAAS,CAAC;IAC1B,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,cAAc,CAAC,KAAa,EAAE,IAAY;IACjD,OAAO,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACzB,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAkB,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC;QAClE,CAAC,CAAC,EAAE,CAAC;AACT,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC"}

package/packages/core/dist/migration/index.d.ts

@@ -0,0 +1,2 @@
+export * from "./testMatrix.js";
+//# sourceMappingURL=index.d.ts.map

package/packages/core/dist/migration/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/migration/index.ts"],"names":[],"mappings":"AAAA,cAAc,iBAAiB,CAAC"}

package/packages/core/dist/migration/index.js

@@ -0,0 +1,2 @@
+export * from "./testMatrix.js";
+//# sourceMappingURL=index.js.map

package/packages/core/dist/migration/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/migration/index.ts"],"names":[],"mappings":"AAAA,cAAc,iBAAiB,CAAC"}

package/packages/core/dist/migration/testMatrix.d.ts

@@ -0,0 +1,42 @@
+import type { ResolvedWorkspaceContext } from "../roots.js";
+export type TestMatrixMigrationMode = "dry_run" | "write";
+export type TestMatrixMigrationWarning = {
+    code: string;
+    row_ref: string | null;
+    message: string;
+};
+export type TestMatrixMigrationResult = {
+    schema_version: 1;
+    source: {
+        path: string;
+        digest: string;
+        parser: string;
+    };
+    mode: TestMatrixMigrationMode;
+    summary: {
+        tables_found: number;
+        rows_seen: number;
+        rows_importable: number;
+        rows_needing_review: number;
+        files_planned: number;
+        files_written: number;
+    };
+    drafts: Array<{
+        output_path: string;
+        feature_id: string;
+        use_case_ids: string[];
+        content: string;
+    }>;
+    warnings: TestMatrixMigrationWarning[];
+    would_write: Array<{
+        path: string;
+        action: "create" | "update_generated" | "skip_unchanged" | "conflict";
+    }>;
+};
+export declare function migrateTestMatrix(options: {
+    context: ResolvedWorkspaceContext;
+    sourcePath: string;
+    outDir?: string;
+    mode: TestMatrixMigrationMode;
+}): TestMatrixMigrationResult;
+//# sourceMappingURL=testMatrix.d.ts.map

package/packages/core/dist/migration/testMatrix.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"testMatrix.d.ts","sourceRoot":"","sources":["../../src/migration/testMatrix.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAC;AA4B5D,MAAM,MAAM,uBAAuB,GAAG,SAAS,GAAG,OAAO,CAAC;AAE1D,MAAM,MAAM,0BAA0B,GAAG;IACvC,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,OAAO,EAAE,MAAM,CAAC;CACjB,CAAC;AAEF,MAAM,MAAM,yBAAyB,GAAG;IACtC,cAAc,EAAE,CAAC,CAAC;IAClB,MAAM,EAAE;QACN,IAAI,EAAE,MAAM,CAAC;QACb,MAAM,EAAE,MAAM,CAAC;QACf,MAAM,EAAE,MAAM,CAAC;KAChB,CAAC;IACF,IAAI,EAAE,uBAAuB,CAAC;IAC9B,OAAO,EAAE;QACP,YAAY,EAAE,MAAM,CAAC;QACrB,SAAS,EAAE,MAAM,CAAC;QAClB,eAAe,EAAE,MAAM,CAAC;QACxB,mBAAmB,EAAE,MAAM,CAAC;QAC5B,aAAa,EAAE,MAAM,CAAC;QACtB,aAAa,EAAE,MAAM,CAAC;KACvB,CAAC;IACF,MAAM,EAAE,KAAK,CAAC;QACZ,WAAW,EAAE,MAAM,CAAC;QACpB,UAAU,EAAE,MAAM,CAAC;QACnB,YAAY,EAAE,MAAM,EAAE,CAAC;QACvB,OAAO,EAAE,MAAM,CAAC;KACjB,CAAC,CAAC;IACH,QAAQ,EAAE,0BAA0B,EAAE,CAAC;IACvC,WAAW,EAAE,KAAK,CAAC;QACjB,IAAI,EAAE,MAAM,CAAC;QACb,MAAM,EAAE,QAAQ,GAAG,kBAAkB,GAAG,gBAAgB,GAAG,UAAU,CAAC;KACvE,CAAC,CAAC;CACJ,CAAC;AAEF,wBAAgB,iBAAiB,CAAC,OAAO,EAAE;IACzC,OAAO,EAAE,wBAAwB,CAAC;IAClC,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,uBAAuB,CAAC;CAC/B,GAAG,yBAAyB,CA2E5B"}