@nekostack/schema 1.0.0

package/dist/src/registry/diff.js

@@ -0,0 +1,497 @@
+/**
+ * Schema diff classifier (Master plan Step 7).
+ *
+ * `diffNodes(before, after)` walks two `SchemaNode` trees and emits a
+ * list of `DiffChange`s with severity per the locked Master plan
+ * Decision #12 table. The **input-acceptance compatibility** lens is
+ * primary: severity reflects whether the new schema accepts every
+ * input the old one did (additive) or rejects some (breaking).
+ * Output-side caveats are reflected in `kind` / `message` where they
+ * matter (`default_removed`, etc.) but do not split the severity.
+ *
+ * **Pure.** No registry lookup, no `Issue[]` surface, no filesystem.
+ * The function returns `readonly DiffChange[]`; an empty array means
+ * the schemas are equivalent. `worstSeverity` aggregation lives in
+ * `diffHandler` (Step 9).
+ *
+ * Unsupported IR kinds (`date`, `union`, `recursiveRef`, `transform`)
+ * throw `UnsupportedNodeKindError({ generator: "diff", kind })` per
+ * Master plan Decision #14 — same fail-loud discipline as the v0.3 /
+ * v0.6 generators.
+ */
+import { UnsupportedNodeKindError } from "../generators/errors.js";
+const SUPPORTED_KINDS = new Set([
+    "string",
+    "number",
+    "boolean",
+    "literal",
+    "enum",
+    "array",
+    "object",
+]);
+export function diffNodes(before, after) {
+    ensureSupported(before);
+    ensureSupported(after);
+    return walk(before, after, []);
+}
+// =============================================================================
+// Walker
+// =============================================================================
+function walk(before, after, path) {
+    const out = [];
+    // Top-level kind mismatch: cannot meaningfully diff further.
+    if (before.kind !== after.kind) {
+        out.push({
+            severity: "breaking",
+            path,
+            kind: "type_changed",
+            before: before.kind,
+            after: after.kind,
+            message: `Type changed from \`${before.kind}\` to \`${after.kind}\``,
+        });
+        return out;
+    }
+    // Same-kind: diff each axis independently.
+    out.push(...diffMetadata(before.metadata, after.metadata, path));
+    out.push(...diffDefault(before.modifiers, after.modifiers, path));
+    out.push(...diffAbsence(before.modifiers, after.modifiers, path));
+    out.push(...diffRefinements(before.refinements, after.refinements, path));
+    switch (before.kind) {
+        case "object":
+            out.push(...diffObject(before, after, path));
+            break;
+        case "array":
+            out.push(...walk(before.element, after.element, [...path, "[]"]));
+            break;
+        case "enum":
+            out.push(...diffEnum(before, after, path));
+            break;
+        case "literal":
+            out.push(...diffLiteral(before, after, path));
+            break;
+        case "string":
+        case "number":
+        case "boolean":
+            // No kind-specific data beyond modifiers + refinements.
+            break;
+        default:
+            // Should not be reachable — ensureSupported() gated unsupported
+            // kinds at the entry point. Belt-and-suspenders.
+            throw new UnsupportedNodeKindError({
+                kind: before.kind,
+                generator: "diff",
+            });
+    }
+    return out;
+}
+// =============================================================================
+// Metadata (cosmetic)
+// =============================================================================
+function diffMetadata(before, after, path) {
+    const out = [];
+    const b = before ?? {};
+    const a = after ?? {};
+    if (b.version !== a.version) {
+        out.push({
+            severity: "cosmetic",
+            path,
+            kind: "schema_version_changed",
+            before: b.version ?? null,
+            after: a.version ?? null,
+            message: `schemaVersion changed from \`${b.version ?? "null"}\` to \`${a.version ?? "null"}\``,
+        });
+    }
+    if (b.description !== a.description) {
+        out.push({
+            severity: "cosmetic",
+            path,
+            kind: "metadata_changed",
+            before: b.description ?? null,
+            after: a.description ?? null,
+            message: "Description changed",
+        });
+    }
+    if ((b.deprecated ?? false) !== (a.deprecated ?? false)) {
+        out.push({
+            severity: "cosmetic",
+            path,
+            kind: "metadata_changed",
+            before: b.deprecated ?? false,
+            after: a.deprecated ?? false,
+            message: `Deprecated flag changed to ${a.deprecated ?? false}`,
+        });
+    }
+    if (b.id !== a.id) {
+        out.push({
+            severity: "cosmetic",
+            path,
+            kind: "metadata_changed",
+            before: b.id ?? null,
+            after: a.id ?? null,
+            message: `schemaId changed from \`${b.id ?? "null"}\` to \`${a.id ?? "null"}\``,
+        });
+    }
+    return out;
+}
+// =============================================================================
+// Default add / remove / value-change
+// =============================================================================
+function diffDefault(before, after, path) {
+    const beforeDefault = before?.default;
+    const afterDefault = after?.default;
+    if (beforeDefault === undefined && afterDefault === undefined)
+        return [];
+    if (beforeDefault === undefined && afterDefault !== undefined) {
+        return [
+            {
+                severity: "additive",
+                path,
+                kind: "default_added",
+                after: afterDefault.value,
+                message: `Default added (value: ${formatValue(afterDefault.value)})`,
+            },
+        ];
+    }
+    if (beforeDefault !== undefined && afterDefault === undefined) {
+        return [
+            {
+                severity: "breaking",
+                path,
+                kind: "default_removed",
+                before: beforeDefault.value,
+                message: `Default removed (was: ${formatValue(beforeDefault.value)})`,
+            },
+        ];
+    }
+    // Both have a default — compare values.
+    if (!jsonEqual(beforeDefault.value, afterDefault.value)) {
+        return [
+            {
+                severity: "breaking",
+                path,
+                kind: "default_value_changed",
+                before: beforeDefault.value,
+                after: afterDefault.value,
+                message: `Default value changed from ${formatValue(beforeDefault.value)} to ${formatValue(afterDefault.value)}`,
+            },
+        ];
+    }
+    return [];
+}
+function diffAbsence(before, after, path) {
+    // The `optional` flag set as a side effect of `default()` is masked
+    // here — default add/remove is the change being tracked, not the
+    // implicit optional flip. Per Decision #12, "Add default to existing
+    // required field" is one row, additive — not two rows.
+    const beforeState = absenceStateOf(before);
+    const afterState = absenceStateOf(after);
+    if (beforeState === afterState)
+        return [];
+    return [
+        {
+            severity: absenceSeverity(beforeState, afterState),
+            path,
+            kind: "absence_modifier_changed",
+            before: beforeState,
+            after: afterState,
+            message: `Absence modifier changed: ${beforeState} → ${afterState}`,
+        },
+    ];
+}
+function absenceStateOf(mod) {
+    // Mask optional-by-default; that's tracked by the default axis.
+    const opt = mod?.optional === true && mod?.default === undefined;
+    const nul = mod?.nullable === true;
+    if (opt && nul)
+        return "nullish";
+    if (opt)
+        return "optional";
+    if (nul)
+        return "nullable";
+    return "required";
+}
+/**
+ * Transition severity per the v0.7 input-acceptance lens. The new
+ * state's accepted set vs. the old: superset → additive, otherwise
+ * breaking. No-op (same state) is handled upstream.
+ */
+function absenceSeverity(from, to) {
+    // Required is the smallest accepted set; nullish is the largest.
+    // Anything that drops a previously-accepted shape is breaking.
+    const SUPERSET = {
+        required: new Set(["required"]),
+        optional: new Set(["required", "optional"]),
+        nullable: new Set(["required", "nullable"]),
+        nullish: new Set(["required", "optional", "nullable", "nullish"]),
+    };
+    return SUPERSET[to].has(from) ? "additive" : "breaking";
+}
+// =============================================================================
+// Refinements
+// =============================================================================
+function diffRefinements(before, after, path) {
+    const beforeRefs = (before ?? []).filter(isPortable);
+    const afterRefs = (after ?? []).filter(isPortable);
+    const beforeByName = new Map();
+    for (const r of beforeRefs)
+        beforeByName.set(r.name, r);
+    const afterByName = new Map();
+    for (const r of afterRefs)
+        afterByName.set(r.name, r);
+    const out = [];
+    // Refinements present in `before` but not in `after` → loosened →
+    // additive.
+    for (const [name, r] of beforeByName) {
+        if (!afterByName.has(name)) {
+            out.push({
+                severity: "additive",
+                path,
+                kind: "refinement_changed",
+                before: r,
+                message: `Refinement \`${name}\` removed (loosened)`,
+            });
+        }
+    }
+    // Refinements present in `after` but not in `before` → tightened →
+    // breaking.
+    for (const [name, r] of afterByName) {
+        if (!beforeByName.has(name)) {
+            out.push({
+                severity: "breaking",
+                path,
+                kind: "refinement_changed",
+                after: r,
+                message: `Refinement \`${name}\` added (tightened)`,
+            });
+        }
+    }
+    // Refinements present in both with different params.
+    for (const [name, beforeR] of beforeByName) {
+        const afterR = afterByName.get(name);
+        if (afterR === undefined)
+            continue;
+        if (!jsonEqual(beforeR.params ?? {}, afterR.params ?? {})) {
+            out.push({
+                severity: refinementParamSeverity(name, beforeR, afterR),
+                path,
+                kind: "refinement_changed",
+                before: beforeR,
+                after: afterR,
+                message: `Refinement \`${name}\` parameters changed`,
+            });
+        }
+    }
+    // If no changes detected so far, check for reorder (same set,
+    // different order). Cosmetic.
+    if (out.length === 0) {
+        const beforeOrder = beforeRefs.map((r) => r.name).join(",");
+        const afterOrder = afterRefs.map((r) => r.name).join(",");
+        if (beforeOrder !== afterOrder &&
+            [...beforeRefs.map((r) => r.name)].sort().join(",") ===
+                [...afterRefs.map((r) => r.name)].sort().join(",")) {
+            out.push({
+                severity: "cosmetic",
+                path,
+                kind: "refinements_reordered",
+                before: beforeOrder,
+                after: afterOrder,
+                message: "Refinements reordered (same set, different order)",
+            });
+        }
+    }
+    return out;
+}
+function isPortable(r) {
+    return r.kind === "portable";
+}
+/**
+ * For a refinement that exists on both sides with different params,
+ * decide whether the change tightens (breaking) or loosens (additive)
+ * the accepted set. Numeric bounds have a defined direction; literal-
+ * matching refinements (`regex`, `length`, `multipleOf`) are
+ * conservatively breaking on any value change.
+ */
+function refinementParamSeverity(name, before, after) {
+    const beforeValue = before.params?.value;
+    const afterValue = after.params?.value;
+    if (typeof beforeValue !== "number" || typeof afterValue !== "number") {
+        return "breaking";
+    }
+    switch (name) {
+        case "minLength":
+        case "min":
+        case "minItems":
+        case "gt":
+            return afterValue > beforeValue ? "breaking" : "additive";
+        case "maxLength":
+        case "max":
+        case "maxItems":
+        case "lt":
+            return afterValue < beforeValue ? "breaking" : "additive";
+        case "length":
+        case "multipleOf":
+        case "regex":
+        default:
+            return "breaking";
+    }
+}
+// =============================================================================
+// Object: fields + unknownKeys policy
+// =============================================================================
+function diffObject(before, after, path) {
+    const out = [];
+    // Unknown-keys policy
+    if (before.unknownKeys !== after.unknownKeys) {
+        out.push({
+            severity: unknownKeysSeverity(before.unknownKeys, after.unknownKeys),
+            path,
+            kind: "unknown_keys_changed",
+            before: before.unknownKeys,
+            after: after.unknownKeys,
+            message: `unknownKeys policy changed: ${before.unknownKeys} → ${after.unknownKeys}`,
+        });
+    }
+    // Field-level diff
+    const beforeKeys = Object.keys(before.fields);
+    const afterKeys = Object.keys(after.fields);
+    const allKeys = new Set([...beforeKeys, ...afterKeys]);
+    for (const key of allKeys) {
+        const beforeField = before.fields[key];
+        const afterField = after.fields[key];
+        const childPath = [...path, key];
+        if (beforeField === undefined && afterField !== undefined) {
+            // Field added — severity depends on the new field's modifiers.
+            out.push({
+                severity: newFieldSeverity(afterField),
+                path: childPath,
+                kind: "field_added",
+                after: afterField,
+                message: `Field \`${key}\` added (${absenceStateOf(afterField.modifiers)}${afterField.modifiers?.default !== undefined ? ", default-bearing" : ""})`,
+            });
+            continue;
+        }
+        if (beforeField !== undefined && afterField === undefined) {
+            out.push({
+                severity: "breaking",
+                path: childPath,
+                kind: "field_removed",
+                before: beforeField,
+                message: `Field \`${key}\` removed`,
+            });
+            continue;
+        }
+        if (beforeField !== undefined && afterField !== undefined) {
+            out.push(...walk(beforeField, afterField, childPath));
+        }
+    }
+    return out;
+}
+/**
+ * Per Master plan Decision #12: adding a new field's severity depends
+ * on whether that field accepts the *absence* of the value (i.e., old
+ * inputs lacking the key still validate).
+ */
+function newFieldSeverity(node) {
+    const mod = node.modifiers;
+    const hasDefault = mod?.default !== undefined;
+    const isOptional = mod?.optional === true;
+    const isNullable = mod?.nullable === true;
+    // additive: input-optional (the key may be absent and the schema
+    // still validates).
+    if (hasDefault)
+        return "additive";
+    if (isOptional && isNullable)
+        return "additive"; // nullish
+    if (isOptional)
+        return "additive";
+    // breaking: nullable-only is required-but-may-be-null (old inputs
+    // lacking the key fail); required is the same fail mode.
+    if (isNullable)
+        return "breaking";
+    return "breaking";
+}
+function unknownKeysSeverity(before, after) {
+    // strict accepts the smallest set (no unknown keys).
+    // passthrough / stripUnknown both accept arbitrary unknown keys.
+    // For input-acceptance: strict → passthrough/stripUnknown grows the
+    // accepted set (additive); the reverse shrinks it (breaking).
+    // passthrough ↔ stripUnknown both accept the same input set (the
+    // output behavior differs — preserve vs. drop — but at the
+    // input-acceptance lens this is cosmetic).
+    if (before === "strict" && after !== "strict")
+        return "additive";
+    if (after === "strict" && before !== "strict")
+        return "breaking";
+    return "cosmetic";
+}
+// =============================================================================
+// Enum
+// =============================================================================
+function diffEnum(before, after, path) {
+    const out = [];
+    const beforeSet = new Set(before.values.map((v) => JSON.stringify(v)));
+    const afterSet = new Set(after.values.map((v) => JSON.stringify(v)));
+    for (const v of after.values) {
+        if (!beforeSet.has(JSON.stringify(v))) {
+            out.push({
+                severity: "additive",
+                path,
+                kind: "enum_value_added",
+                after: v,
+                message: `Enum value added: ${formatValue(v)}`,
+            });
+        }
+    }
+    for (const v of before.values) {
+        if (!afterSet.has(JSON.stringify(v))) {
+            out.push({
+                severity: "breaking",
+                path,
+                kind: "enum_value_removed",
+                before: v,
+                message: `Enum value removed: ${formatValue(v)}`,
+            });
+        }
+    }
+    return out;
+}
+// =============================================================================
+// Literal
+// =============================================================================
+function diffLiteral(before, after, path) {
+    if (jsonEqual(before.value, after.value))
+        return [];
+    return [
+        {
+            severity: "breaking",
+            path,
+            kind: "literal_changed",
+            before: before.value,
+            after: after.value,
+            message: `Literal changed from ${formatValue(before.value)} to ${formatValue(after.value)}`,
+        },
+    ];
+}
+// =============================================================================
+// Helpers
+// =============================================================================
+function ensureSupported(node) {
+    if (!SUPPORTED_KINDS.has(node.kind)) {
+        throw new UnsupportedNodeKindError({
+            kind: node.kind,
+            generator: "diff",
+        });
+    }
+}
+function jsonEqual(a, b) {
+    return JSON.stringify(a) === JSON.stringify(b);
+}
+function formatValue(v) {
+    try {
+        return JSON.stringify(v);
+    }
+    catch {
+        return String(v);
+    }
+}
+//# sourceMappingURL=diff.js.map

package/dist/src/registry/diff.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diff.js","sourceRoot":"","sources":["../../../src/registry/diff.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAgBH,OAAO,EAAE,wBAAwB,EAAE,MAAM,yBAAyB,CAAC;AAEnE,MAAM,eAAe,GAAwB,IAAI,GAAG,CAAC;IACnD,QAAQ;IACR,QAAQ;IACR,SAAS;IACT,SAAS;IACT,MAAM;IACN,OAAO;IACP,QAAQ;CACT,CAAC,CAAC;AAEH,MAAM,UAAU,SAAS,CACvB,MAAkB,EAClB,KAAiB;IAEjB,eAAe,CAAC,MAAM,CAAC,CAAC;IACxB,eAAe,CAAC,KAAK,CAAC,CAAC;IACvB,OAAO,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;AACjC,CAAC;AAED,gFAAgF;AAChF,SAAS;AACT,gFAAgF;AAEhF,SAAS,IAAI,CACX,MAAkB,EAClB,KAAiB,EACjB,IAAe;IAEf,MAAM,GAAG,GAAiB,EAAE,CAAC;IAE7B,6DAA6D;IAC7D,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,EAAE,CAAC;QAC/B,GAAG,CAAC,IAAI,CAAC;YACP,QAAQ,EAAE,UAAU;YACpB,IAAI;YACJ,IAAI,EAAE,cAAc;YACpB,MAAM,EAAE,MAAM,CAAC,IAAI;YACnB,KAAK,EAAE,KAAK,CAAC,IAAI;YACjB,OAAO,EAAE,uBAAuB,MAAM,CAAC,IAAI,WAAW,KAAK,CAAC,IAAI,IAAI;SACrE,CAAC,CAAC;QACH,OAAO,GAAG,CAAC;IACb,CAAC;IAED,2CAA2C;IAC3C,GAAG,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;IACjE,GAAG,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC;IAClE,GAAG,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC;IAClE,GAAG,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,MAAM,CAAC,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC;IAE1E,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,QAAQ;YACX,GAAG,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,MAAoB,EAAE,KAAmB,EAAE,IAAI,CAAC,CAAC,CAAC;YACzE,MAAM;QACR,KAAK,OAAO;YACV,GAAG,CAAC,IAAI,CACN,GAAG,IAAI,CACJ,MAAoB,CAAC,OAAO,EAC5B,KAAmB,CAAC,OAAO,EAC5B,CAAC,GAAG,IAAI,EAAE,IAAI,CAAC,CAChB,CACF,CAAC;YACF,MAAM;QACR,KAAK,MAAM;YACT,GAAG,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,MAAkB,EAAE,KAAiB,EAAE,IAAI,CAAC,CAAC,CAAC;YACnE,MAAM;QACR,KAAK,SAAS;YACZ,GAAG,CAAC,IAAI,CACN,GAAG,WAAW,CAAC,MAAqB,EAAE,KAAoB,EAAE,IAAI,CAAC,CAClE,CAAC;YACF,MAAM;QACR,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS;YACZ,wDAAwD;YACxD,MAAM;QACR;YACE,gEAAgE;YAChE,iDAAiD;YACjD,MAAM,IAAI,wBAAwB,CAAC;gBACjC,IAAI,EAAG,MAA2B,CAAC,IAAI;gBACvC,SAAS,EAAE,MAAM;aAClB,CAAC,CAAC;IACP,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,gFAAgF;AAChF,sBAAsB;AACtB,gFAAgF;AAEhF,SAAS,YAAY,CACnB,MAAgC,EAChC,KAA+B,EAC/B,IAAe;IAEf,MAAM,GAAG,GAAiB,EAAE,CAAC;IAC7B,MAAM,CAAC,GAAG,MAAM,IAAI,EAAE,CAAC;IACvB,MAAM,CAAC,GAAG,KAAK,IAAI,EAAE,CAAC;IAEtB,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;QAC5B,GAAG,CAAC,IAAI,CAAC;YACP,QAAQ,EAAE,UAAU;YACpB,IAAI;YACJ,IAAI,EAAE,wBAAwB;YAC9B,MAAM,EAAE,CAAC,CAAC,OAAO,IAAI,IAAI;YACzB,KAAK,EAAE,CAAC,CAAC,OAAO,IAAI,IAAI;YACxB,OAAO,EAAE,gCAAgC,CAAC,CAAC,OAAO,IAAI,MAAM,WAAW,CAAC,CAAC,OAAO,IAAI,MAAM,IAAI;SAC/F,CAAC,CAAC;IACL,CAAC;IACD,IAAI,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;QACpC,GAAG,CAAC,IAAI,CAAC;YACP,QAAQ,EAAE,UAAU;YACpB,IAAI;YACJ,IAAI,EAAE,kBAAkB;YACxB,MAAM,EAAE,CAAC,CAAC,WAAW,IAAI,IAAI;YAC7B,KAAK,EAAE,CAAC,CAAC,WAAW,IAAI,IAAI;YAC5B,OAAO,EAAE,qBAAqB;SAC/B,CAAC,CAAC;IACL,CAAC;IACD,IAAI,CAAC,CAAC,CAAC,UAAU,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,IAAI,KAAK,CAAC,EAAE,CAAC;QACxD,GAAG,CAAC,IAAI,CAAC;YACP,QAAQ,EAAE,UAAU;YACpB,IAAI;YACJ,IAAI,EAAE,kBAAkB;YACxB,MAAM,EAAE,CAAC,CAAC,UAAU,IAAI,KAAK;YAC7B,KAAK,EAAE,CAAC,CAAC,UAAU,IAAI,KAAK;YAC5B,OAAO,EAAE,8BAA8B,CAAC,CAAC,UAAU,IAAI,KAAK,EAAE;SAC/D,CAAC,CAAC;IACL,CAAC;IACD,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;QAClB,GAAG,CAAC,IAAI,CAAC;YACP,QAAQ,EAAE,UAAU;YACpB,IAAI;YACJ,IAAI,EAAE,kBAAkB;YACxB,MAAM,EAAE,CAAC,CAAC,EAAE,IAAI,IAAI;YACpB,KAAK,EAAE,CAAC,CAAC,EAAE,IAAI,IAAI;YACnB,OAAO,EAAE,2BAA2B,CAAC,CAAC,EAAE,IAAI,MAAM,WAAW,CAAC,CAAC,EAAE,IAAI,MAAM,IAAI;SAChF,CAAC,CAAC;IACL,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,gFAAgF;AAChF,sCAAsC;AACtC,gFAAgF;AAEhF,SAAS,WAAW,CAClB,MAAiC,EACjC,KAAgC,EAChC,IAAe;IAEf,MAAM,aAAa,GAAG,MAAM,EAAE,OAAO,CAAC;IACtC,MAAM,YAAY,GAAG,KAAK,EAAE,OAAO,CAAC;IAEpC,IAAI,aAAa,KAAK,SAAS,IAAI,YAAY,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IAEzE,IAAI,aAAa,KAAK,SAAS,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;QAC9D,OAAO;YACL;gBACE,QAAQ,EAAE,UAAU;gBACpB,IAAI;gBACJ,IAAI,EAAE,eAAe;gBACrB,KAAK,EAAE,YAAY,CAAC,KAAK;gBACzB,OAAO,EAAE,yBAAyB,WAAW,CAAC,YAAY,CAAC,KAAK,CAAC,GAAG;aACrE;SACF,CAAC;IACJ,CAAC;IACD,IAAI,aAAa,KAAK,SAAS,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;QAC9D,OAAO;YACL;gBACE,QAAQ,EAAE,UAAU;gBACpB,IAAI;gBACJ,IAAI,EAAE,iBAAiB;gBACvB,MAAM,EAAE,aAAa,CAAC,KAAK;gBAC3B,OAAO,EAAE,yBAAyB,WAAW,CAAC,aAAa,CAAC,KAAK,CAAC,GAAG;aACtE;SACF,CAAC;IACJ,CAAC;IACD,wCAAwC;IACxC,IAAI,CAAC,SAAS,CAAC,aAAc,CAAC,KAAK,EAAE,YAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1D,OAAO;YACL;gBACE,QAAQ,EAAE,UAAU;gBACpB,IAAI;gBACJ,IAAI,EAAE,uBAAuB;gBAC7B,MAAM,EAAE,aAAc,CAAC,KAAK;gBAC5B,KAAK,EAAE,YAAa,CAAC,KAAK;gBAC1B,OAAO,EAAE,8BAA8B,WAAW,CAAC,aAAc,CAAC,KAAK,CAAC,OAAO,WAAW,CAAC,YAAa,CAAC,KAAK,CAAC,EAAE;aAClH;SACF,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAQD,SAAS,WAAW,CAClB,MAAiC,EACjC,KAAgC,EAChC,IAAe;IAEf,oEAAoE;IACpE,iEAAiE;IACjE,qEAAqE;IACrE,uDAAuD;IACvD,MAAM,WAAW,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;IAC3C,MAAM,UAAU,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;IACzC,IAAI,WAAW,KAAK,UAAU;QAAE,OAAO,EAAE,CAAC;IAE1C,OAAO;QACL;YACE,QAAQ,EAAE,eAAe,CAAC,WAAW,EAAE,UAAU,CAAC;YAClD,IAAI;YACJ,IAAI,EAAE,0BAA0B;YAChC,MAAM,EAAE,WAAW;YACnB,KAAK,EAAE,UAAU;YACjB,OAAO,EAAE,6BAA6B,WAAW,MAAM,UAAU,EAAE;SACpE;KACF,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,GAA8B;IACpD,gEAAgE;IAChE,MAAM,GAAG,GAAG,GAAG,EAAE,QAAQ,KAAK,IAAI,IAAI,GAAG,EAAE,OAAO,KAAK,SAAS,CAAC;IACjE,MAAM,GAAG,GAAG,GAAG,EAAE,QAAQ,KAAK,IAAI,CAAC;IACnC,IAAI,GAAG,IAAI,GAAG;QAAE,OAAO,SAAS,CAAC;IACjC,IAAI,GAAG;QAAE,OAAO,UAAU,CAAC;IAC3B,IAAI,GAAG;QAAE,OAAO,UAAU,CAAC;IAC3B,OAAO,UAAU,CAAC;AACpB,CAAC;AAED;;;;GAIG;AACH,SAAS,eAAe,CACtB,IAAkB,EAClB,EAAgB;IAEhB,iEAAiE;IACjE,+DAA+D;IAC/D,MAAM,QAAQ,GAAoD;QAChE,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC;QAC/B,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;QAC3C,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;QAC3C,OAAO,EAAE,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC;KAClE,CAAC;IACF,OAAO,QAAQ,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC;AAC1D,CAAC;AAED,gFAAgF;AAChF,cAAc;AACd,gFAAgF;AAEhF,SAAS,eAAe,CACtB,MAAyC,EACzC,KAAwC,EACxC,IAAe;IAEf,MAAM,UAAU,GAAG,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IACrD,MAAM,SAAS,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAEnD,MAAM,YAAY,GAAG,IAAI,GAAG,EAA8B,CAAC;IAC3D,KAAK,MAAM,CAAC,IAAI,UAAU;QAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACxD,MAAM,WAAW,GAAG,IAAI,GAAG,EAA8B,CAAC;IAC1D,KAAK,MAAM,CAAC,IAAI,SAAS;QAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAEtD,MAAM,GAAG,GAAiB,EAAE,CAAC;IAE7B,kEAAkE;IAClE,YAAY;IACZ,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,YAAY,EAAE,CAAC;QACrC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,GAAG,CAAC,IAAI,CAAC;gBACP,QAAQ,EAAE,UAAU;gBACpB,IAAI;gBACJ,IAAI,EAAE,oBAAoB;gBAC1B,MAAM,EAAE,CAAC;gBACT,OAAO,EAAE,gBAAgB,IAAI,uBAAuB;aACrD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,mEAAmE;IACnE,YAAY;IACZ,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,WAAW,EAAE,CAAC;QACpC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,GAAG,CAAC,IAAI,CAAC;gBACP,QAAQ,EAAE,UAAU;gBACpB,IAAI;gBACJ,IAAI,EAAE,oBAAoB;gBAC1B,KAAK,EAAE,CAAC;gBACR,OAAO,EAAE,gBAAgB,IAAI,sBAAsB;aACpD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,qDAAqD;IACrD,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,YAAY,EAAE,CAAC;QAC3C,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,MAAM,KAAK,SAAS;YAAE,SAAS;QACnC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,IAAI,EAAE,EAAE,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,EAAE,CAAC;YAC1D,GAAG,CAAC,IAAI,CAAC;gBACP,QAAQ,EAAE,uBAAuB,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC;gBACxD,IAAI;gBACJ,IAAI,EAAE,oBAAoB;gBAC1B,MAAM,EAAE,OAAO;gBACf,KAAK,EAAE,MAAM;gBACb,OAAO,EAAE,gBAAgB,IAAI,uBAAuB;aACrD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,8DAA8D;IAC9D,8BAA8B;IAC9B,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrB,MAAM,WAAW,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC5D,MAAM,UAAU,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC1D,IACE,WAAW,KAAK,UAAU;YAC1B,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC;gBACjD,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EACpD,CAAC;YACD,GAAG,CAAC,IAAI,CAAC;gBACP,QAAQ,EAAE,UAAU;gBACpB,IAAI;gBACJ,IAAI,EAAE,uBAAuB;gBAC7B,MAAM,EAAE,WAAW;gBACnB,KAAK,EAAE,UAAU;gBACjB,OAAO,EAAE,mDAAmD;aAC7D,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,UAAU,CAAC,CAAa;IAC/B,OAAO,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC;AAC/B,CAAC;AAED;;;;;;GAMG;AACH,SAAS,uBAAuB,CAC9B,IAAY,EACZ,MAA0B,EAC1B,KAAyB;IAEzB,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC;IACzC,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC;IACvC,IAAI,OAAO,WAAW,KAAK,QAAQ,IAAI,OAAO,UAAU,KAAK,QAAQ,EAAE,CAAC;QACtE,OAAO,UAAU,CAAC;IACpB,CAAC;IACD,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,WAAW,CAAC;QACjB,KAAK,KAAK,CAAC;QACX,KAAK,UAAU,CAAC;QAChB,KAAK,IAAI;YACP,OAAO,UAAU,GAAG,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC;QAC5D,KAAK,WAAW,CAAC;QACjB,KAAK,KAAK,CAAC;QACX,KAAK,UAAU,CAAC;QAChB,KAAK,IAAI;YACP,OAAO,UAAU,GAAG,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC;QAC5D,KAAK,QAAQ,CAAC;QACd,KAAK,YAAY,CAAC;QAClB,KAAK,OAAO,CAAC;QACb;YACE,OAAO,UAAU,CAAC;IACtB,CAAC;AACH,CAAC;AAED,gFAAgF;AAChF,sCAAsC;AACtC,gFAAgF;AAEhF,SAAS,UAAU,CACjB,MAAkB,EAClB,KAAiB,EACjB,IAAe;IAEf,MAAM,GAAG,GAAiB,EAAE,CAAC;IAE7B,sBAAsB;IACtB,IAAI,MAAM,CAAC,WAAW,KAAK,KAAK,CAAC,WAAW,EAAE,CAAC;QAC7C,GAAG,CAAC,IAAI,CAAC;YACP,QAAQ,EAAE,mBAAmB,CAAC,MAAM,CAAC,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC;YACpE,IAAI;YACJ,IAAI,EAAE,sBAAsB;YAC5B,MAAM,EAAE,MAAM,CAAC,WAAW;YAC1B,KAAK,EAAE,KAAK,CAAC,WAAW;YACxB,OAAO,EAAE,+BAA+B,MAAM,CAAC,WAAW,MAAM,KAAK,CAAC,WAAW,EAAE;SACpF,CAAC,CAAC;IACL,CAAC;IAED,mBAAmB;IACnB,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC9C,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC5C,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,UAAU,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC;IAEvD,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACvC,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACrC,MAAM,SAAS,GAAc,CAAC,GAAG,IAAI,EAAE,GAAG,CAAC,CAAC;QAE5C,IAAI,WAAW,KAAK,SAAS,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC1D,+DAA+D;YAC/D,GAAG,CAAC,IAAI,CAAC;gBACP,QAAQ,EAAE,gBAAgB,CAAC,UAAU,CAAC;gBACtC,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,aAAa;gBACnB,KAAK,EAAE,UAAU;gBACjB,OAAO,EAAE,WAAW,GAAG,aAAa,cAAc,CAAC,UAAU,CAAC,SAAS,CAAC,GAAG,UAAU,CAAC,SAAS,EAAE,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,EAAE,GAAG;aACrJ,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,IAAI,WAAW,KAAK,SAAS,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC1D,GAAG,CAAC,IAAI,CAAC;gBACP,QAAQ,EAAE,UAAU;gBACpB,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,eAAe;gBACrB,MAAM,EAAE,WAAW;gBACnB,OAAO,EAAE,WAAW,GAAG,YAAY;aACpC,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,IAAI,WAAW,KAAK,SAAS,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC1D,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,WAAW,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC;QACxD,CAAC;IACH,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;GAIG;AACH,SAAS,gBAAgB,CAAC,IAAgB;IACxC,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC;IAC3B,MAAM,UAAU,GAAG,GAAG,EAAE,OAAO,KAAK,SAAS,CAAC;IAC9C,MAAM,UAAU,GAAG,GAAG,EAAE,QAAQ,KAAK,IAAI,CAAC;IAC1C,MAAM,UAAU,GAAG,GAAG,EAAE,QAAQ,KAAK,IAAI,CAAC;IAE1C,iEAAiE;IACjE,oBAAoB;IACpB,IAAI,UAAU;QAAE,OAAO,UAAU,CAAC;IAClC,IAAI,UAAU,IAAI,UAAU;QAAE,OAAO,UAAU,CAAC,CAAC,UAAU;IAC3D,IAAI,UAAU;QAAE,OAAO,UAAU,CAAC;IAClC,kEAAkE;IAClE,yDAAyD;IACzD,IAAI,UAAU;QAAE,OAAO,UAAU,CAAC;IAClC,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,mBAAmB,CAC1B,MAAiC,EACjC,KAAgC;IAEhC,qDAAqD;IACrD,iEAAiE;IACjE,oEAAoE;IACpE,8DAA8D;IAC9D,iEAAiE;IACjE,2DAA2D;IAC3D,2CAA2C;IAC3C,IAAI,MAAM,KAAK,QAAQ,IAAI,KAAK,KAAK,QAAQ;QAAE,OAAO,UAAU,CAAC;IACjE,IAAI,KAAK,KAAK,QAAQ,IAAI,MAAM,KAAK,QAAQ;QAAE,OAAO,UAAU,CAAC;IACjE,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,gFAAgF;AAChF,OAAO;AACP,gFAAgF;AAEhF,SAAS,QAAQ,CACf,MAAgB,EAChB,KAAe,EACf,IAAe;IAEf,MAAM,GAAG,GAAiB,EAAE,CAAC;IAC7B,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACvE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAErE,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QAC7B,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACtC,GAAG,CAAC,IAAI,CAAC;gBACP,QAAQ,EAAE,UAAU;gBACpB,IAAI;gBACJ,IAAI,EAAE,kBAAkB;gBACxB,KAAK,EAAE,CAAC;gBACR,OAAO,EAAE,qBAAqB,WAAW,CAAC,CAAC,CAAC,EAAE;aAC/C,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAC9B,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACrC,GAAG,CAAC,IAAI,CAAC;gBACP,QAAQ,EAAE,UAAU;gBACpB,IAAI;gBACJ,IAAI,EAAE,oBAAoB;gBAC1B,MAAM,EAAE,CAAC;gBACT,OAAO,EAAE,uBAAuB,WAAW,CAAC,CAAC,CAAC,EAAE;aACjD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,gFAAgF;AAChF,UAAU;AACV,gFAAgF;AAEhF,SAAS,WAAW,CAClB,MAAmB,EACnB,KAAkB,EAClB,IAAe;IAEf,IAAI,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACpD,OAAO;QACL;YACE,QAAQ,EAAE,UAAU;YACpB,IAAI;YACJ,IAAI,EAAE,iBAAiB;YACvB,MAAM,EAAE,MAAM,CAAC,KAAK;YACpB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,OAAO,EAAE,wBAAwB,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE;SAC5F;KACF,CAAC;AACJ,CAAC;AAED,gFAAgF;AAChF,UAAU;AACV,gFAAgF;AAEhF,SAAS,eAAe,CAAC,IAAgB;IACvC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,MAAM,IAAI,wBAAwB,CAAC;YACjC,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,SAAS,EAAE,MAAM;SAClB,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAAC,CAAU,EAAE,CAAU;IACvC,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;AACjD,CAAC;AAED,SAAS,WAAW,CAAC,CAAsB;IACzC,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAC3B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;IACnB,CAAC;AACH,CAAC"}

package/dist/src/registry/handlers/check.d.ts

@@ -0,0 +1,57 @@
+/**
+ * `checkHandler({ registry, committedArtifacts })` — freshness check
+ * via the two-hash matrix from Master plan §"Freshness verdict —
+ * two-hash discipline".
+ *
+ * Pure. No filesystem, no `import()`, no `process.*`, no `console.*`.
+ * The CLI reads each artifact's bytes from disk and hands them in;
+ * this function parses provenance, looks up the matching
+ * `RegistryEntry`, and produces one `FreshnessVerdict` per artifact.
+ * Master plan Decision #1 boundary.
+ *
+ * ## Two-hash matrix
+ *
+ * | artifact irHash | artifact sourceHash | verdict |
+ * |---|---|---|
+ * | matches registry | matches registry | `clean` |
+ * | matches registry | **differs**      | `cosmetic_drift` |
+ * | **differs**     | **differs**       | `stale` |
+ * | **differs**     | matches registry  | `integrity_error` (the impossible row — should never happen unless the artifact was hand-edited or the recorded sourceHash was tampered with) |
+ *
+ * ## v0.6 backward compatibility (Master plan Decision #8)
+ *
+ * Artifacts emitted before Step 4 (`@nekostack/schema@0.6.0` and
+ * earlier) have no `sourceHash` field/line. `parseProvenanceFromText`
+ * returns `sourceHash: undefined` for those. Treat as:
+ *
+ * - `irHash` matches registry → `clean`
+ * - `irHash` differs from registry → `stale`
+ *
+ * Absent `sourceHash` is **never** an integrity error by itself — the
+ * artifact simply predates the two-hash discipline. Once the user
+ * regenerates the artifact at v0.7+, full matrix participation
+ * resumes.
+ *
+ * ## Failure paths (Result<...> failure)
+ *
+ * - **Malformed provenance** — `parseProvenanceFromText` already
+ *   returns an `integrity_error` Issue; this handler forwards those
+ *   issues with the artifact path attached.
+ * - **Anonymous artifact** (provenance `schemaId === null`) —
+ *   `schema_not_found` with `metadata.reason = "anonymous_artifact"`.
+ *   The registry never indexes anonymous schemas (Master plan
+ *   Decision #5), so there's nothing to validate against.
+ * - **schemaId not in registry** — `schema_not_found`. The user
+ *   likely deleted a schema source file but forgot to delete the
+ *   generated artifacts.
+ * - **schemaId present but version not in registry** —
+ *   `version_not_found`. Distinct code so the CLI can format
+ *   orphan-by-id vs. orphan-by-version differently.
+ *
+ * Any artifact failure surfaces as `Result.failure` for the whole
+ * check call. Per-artifact verdicts are returned only when EVERY
+ * artifact parses + resolves cleanly.
+ */
+import type { CheckOpts, CheckResult } from "../types.js";
+export declare function checkHandler(opts: CheckOpts): CheckResult;
+//# sourceMappingURL=check.d.ts.map

package/dist/src/registry/handlers/check.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../../../src/registry/handlers/check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqDG;AAKH,OAAO,KAAK,EACV,SAAS,EACT,WAAW,EAKZ,MAAM,aAAa,CAAC;AAErB,wBAAgB,YAAY,CAAC,IAAI,EAAE,SAAS,GAAG,WAAW,CAiBzD"}