@probemap/shared 0.1.0

package/dist/diagnosis/engine.js

@@ -0,0 +1,179 @@
+export const DIAGNOSIS_ALGORITHM_VERSION = "1.0.0";
+function hash32(value, seed) {
+    let hash = seed >>> 0;
+    for (let index = 0; index < value.length; index += 1) {
+        hash ^= value.charCodeAt(index);
+        hash = Math.imul(hash, 16_777_619);
+    }
+    return hash >>> 0;
+}
+function stableUuid(value) {
+    const hex = [
+        hash32(value, 2_166_136_261),
+        hash32(value, 2_166_136_261 ^ 0x9e3779b9),
+        hash32(value, 2_166_136_261 ^ 0x85ebca6b),
+        hash32(value, 2_166_136_261 ^ 0xc2b2ae35),
+    ]
+        .map((part) => part.toString(16).padStart(8, "0"))
+        .join("");
+    return `${hex.slice(0, 8)}-${hex.slice(8, 12)}-5${hex.slice(13, 16)}-a${hex.slice(17, 20)}-${hex.slice(20, 32)}`;
+}
+function eventPriority(event) {
+    if (event.type === "probe.observe")
+        return undefined;
+    if (event.type === "probe.assert" && event.status === "fail")
+        return 1;
+    if (event.type === "runtime.exception")
+        return 3;
+    if (event.type === "network.error" ||
+        (event.type === "network.response" &&
+            (event.status === "fail" ||
+                (typeof event.payload === "object" &&
+                    event.payload !== null &&
+                    "status" in event.payload &&
+                    typeof event.payload.status === "number" &&
+                    event.payload.status >= 400))))
+        return 4;
+    if (event.type === "console.error")
+        return 6;
+    if (event.status === "fail")
+        return 5;
+    return undefined;
+}
+function claim(type, statement, confidence, eventId, reason, limitations = [], fileHints = []) {
+    return {
+        id: stableUuid(`${type}:${statement}:${eventId ?? "none"}`),
+        type,
+        statement,
+        confidence,
+        evidence: [
+            { ...(eventId === undefined ? {} : { eventId }), reason },
+            ...fileHints.map((hint) => ({
+                ...(eventId === undefined ? {} : { eventId }),
+                filePath: hint.path,
+                reason: hint.reason,
+            })),
+        ],
+        limitations,
+    };
+}
+export function diagnoseFlow(input) {
+    const events = input.events
+        .filter((event) => input.scope?.flowId === undefined || event.flowId === input.scope.flowId)
+        .filter((event) => input.scope?.traceId === undefined || event.traceId === input.scope.traceId)
+        .filter((event) => input.scope?.fromServerSequence === undefined || event.serverSequence >= input.scope.fromServerSequence)
+        .filter((event) => input.scope?.toServerSequence === undefined || event.serverSequence <= input.scope.toServerSequence)
+        .sort((left, right) => left.serverSequence - right.serverSequence);
+    const definitionById = new Map((input.probeDefinitions ?? []).map((item) => [item.id, item]));
+    const checkpoints = input.contract.steps.map((step) => {
+        const matching = events.filter((event) => event.name !== undefined && step.expectedProbeKeys.includes(event.name));
+        const failed = matching.find((event) => event.type === "probe.assert" && event.status === "fail");
+        const verified = matching.find((event) => {
+            if (event.type !== "probe.assert" || event.status !== "pass")
+                return false;
+            if (input.probeDefinitions === undefined)
+                return true;
+            const definition = event.probeDefinitionId === undefined ? undefined : definitionById.get(event.probeDefinitionId);
+            return definition?.health === "active";
+        });
+        const state = failed !== undefined
+            ? "failed"
+            : verified !== undefined
+                ? "verified"
+                : matching.length > 0
+                    ? "observed"
+                    : "unknown";
+        return {
+            stepId: step.id,
+            stepName: step.name,
+            probeKeys: step.expectedProbeKeys,
+            state,
+            eventIds: matching.map((event) => event.id),
+        };
+    });
+    const rankedFailures = events
+        .flatMap((event) => {
+        const priority = eventPriority(event);
+        return priority === undefined ? [] : [{ event, priority }];
+    })
+        .sort((left, right) => left.priority - right.priority || left.event.serverSequence - right.event.serverSequence);
+    const divergenceEvent = rankedFailures[0]?.event;
+    const divergenceCheckpoint = checkpoints.find((item) => item.eventIds.includes(divergenceEvent?.id ?? ""));
+    const divergenceStepId = divergenceCheckpoint?.stepId;
+    const downstream = new Set();
+    if (divergenceStepId !== undefined) {
+        let changed = true;
+        while (changed) {
+            changed = false;
+            for (const step of input.contract.steps) {
+                if (!downstream.has(step.id) &&
+                    step.dependsOn.some((dependency) => dependency === divergenceStepId || downstream.has(dependency))) {
+                    downstream.add(step.id);
+                    changed = true;
+                }
+            }
+        }
+    }
+    const downstreamStepIds = [...downstream];
+    for (const checkpoint of checkpoints) {
+        if (downstreamStepIds.includes(checkpoint.stepId) && checkpoint.state === "unknown") {
+            checkpoint.state = "not_reached";
+        }
+    }
+    const divergenceSequence = divergenceEvent?.serverSequence ?? Number.POSITIVE_INFINITY;
+    const lastVerifiedEvent = events
+        .filter((event) => event.serverSequence < divergenceSequence)
+        .toReversed()
+        .find((event) => checkpoints.some((checkpoint) => checkpoint.state === "verified" && checkpoint.eventIds.includes(event.id)));
+    const lastVerifiedCheckpoint = checkpoints.find((item) => item.eventIds.includes(lastVerifiedEvent?.id ?? ""));
+    const coverageGaps = checkpoints.flatMap((checkpoint) => checkpoint.state === "observed" || checkpoint.state === "unknown"
+        ? [
+            claim("coverage_gap", `${checkpoint.stepName} semantic correctness is not deterministically asserted.`, checkpoint.state === "observed" ? 0.9 : 0.75, checkpoint.eventIds[0], checkpoint.state === "observed" ? "Checkpoint was observed without a passing assertion." : "Required checkpoint was not observed."),
+        ]
+        : []);
+    const safeAreas = checkpoints.flatMap((checkpoint) => checkpoint.state === "verified"
+        ? [claim("safe_area", `${checkpoint.stepName} was verified good.`, 1, checkpoint.eventIds.at(-1), "A deterministic assertion passed before the divergence.")]
+        : []);
+    const observedDivergences = divergenceEvent === undefined
+        ? []
+        : [claim("observed_divergence", `${divergenceCheckpoint?.stepName ?? divergenceEvent.name ?? divergenceEvent.type} is the highest-priority observed divergence.`, 1, divergenceEvent.id, "Selected by deterministic signal priority and server sequence.", [], divergenceEvent.fileHints)];
+    const limitations = [
+        ...(input.probeDefinitions === undefined ? ["Probe health was not supplied; passing assertions could not be checked for stale instrumentation."] : []),
+        ...(divergenceEvent === undefined ? ["No explicit divergence signal was observed in the supplied event window."] : []),
+    ];
+    const fingerprintSource = [
+        input.contract.stableKey,
+        input.contract.version,
+        divergenceCheckpoint?.probeKeys[0] ?? divergenceEvent?.name ?? divergenceEvent?.type ?? "none",
+    ].join(":");
+    return {
+        algorithmVersion: DIAGNOSIS_ALGORITHM_VERSION,
+        flowContractKey: input.contract.stableKey,
+        flowContractVersion: input.contract.version,
+        checkpoints,
+        lastVerifiedGood: lastVerifiedEvent === undefined || lastVerifiedCheckpoint === undefined
+            ? null
+            : {
+                eventId: lastVerifiedEvent.id,
+                checkpoint: lastVerifiedCheckpoint.stepName,
+                reason: "Latest passing deterministic assertion before the divergence.",
+                confidence: 1,
+            },
+        earliestObservedDivergence: divergenceEvent === undefined
+            ? null
+            : {
+                eventId: divergenceEvent.id,
+                checkpoint: divergenceCheckpoint?.stepName ?? divergenceEvent.name ?? divergenceEvent.type,
+                reason: "Highest-priority observed failure signal in causal server order.",
+                confidence: 1,
+            },
+        downstreamStepIds,
+        coverageGaps,
+        safeAreas,
+        observedDivergences,
+        limitations,
+        overallConfidence: divergenceEvent === undefined ? 0.4 : coverageGaps.length === 0 ? 1 : 0.85,
+        fingerprint: stableUuid(fingerprintSource),
+    };
+}
+//# sourceMappingURL=engine.js.map

package/dist/diagnosis/engine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"engine.js","sourceRoot":"","sources":["../../src/diagnosis/engine.ts"],"names":[],"mappings":"AAKA,MAAM,CAAC,MAAM,2BAA2B,GAAG,OAAO,CAAC;AAoBnD,SAAS,MAAM,CAAC,KAAa,EAAE,IAAY;IACzC,IAAI,IAAI,GAAG,IAAI,KAAK,CAAC,CAAC;IACtB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACrD,IAAI,IAAI,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAChC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,IAAI,KAAK,CAAC,CAAC;AACpB,CAAC;AAED,SAAS,UAAU,CAAC,KAAa;IAC/B,MAAM,GAAG,GAAG;QACV,MAAM,CAAC,KAAK,EAAE,aAAa,CAAC;QAC5B,MAAM,CAAC,KAAK,EAAE,aAAa,GAAG,UAAU,CAAC;QACzC,MAAM,CAAC,KAAK,EAAE,aAAa,GAAG,UAAU,CAAC;QACzC,MAAM,CAAC,KAAK,EAAE,aAAa,GAAG,UAAU,CAAC;KAC1C;SACE,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;SACjD,IAAI,CAAC,EAAE,CAAC,CAAC;IACZ,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;AACnH,CAAC;AAED,SAAS,aAAa,CAAC,KAA6B;IAClD,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,SAAS,CAAC;IACrD,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM;QAAE,OAAO,CAAC,CAAC;IACvE,IAAI,KAAK,CAAC,IAAI,KAAK,mBAAmB;QAAE,OAAO,CAAC,CAAC;IACjD,IACE,KAAK,CAAC,IAAI,KAAK,eAAe;QAC9B,CAAC,KAAK,CAAC,IAAI,KAAK,kBAAkB;YAChC,CAAC,KAAK,CAAC,MAAM,KAAK,MAAM;gBACtB,CAAC,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ;oBAChC,KAAK,CAAC,OAAO,KAAK,IAAI;oBACtB,QAAQ,IAAI,KAAK,CAAC,OAAO;oBACzB,OAAO,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,QAAQ;oBACxC,KAAK,CAAC,OAAO,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC;QACpC,OAAO,CAAC,CAAC;IACX,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,CAAC,CAAC;IAC7C,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM;QAAE,OAAO,CAAC,CAAC;IACtC,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,KAAK,CACZ,IAA4B,EAC5B,SAAiB,EACjB,UAAkB,EAClB,OAA2B,EAC3B,MAAc,EACd,WAAW,GAAa,EAAE,EAC1B,SAAS,GAAwC,EAAE;IAEnD,OAAO;QACL,EAAE,EAAE,UAAU,CAAC,GAAG,IAAI,IAAI,SAAS,IAAI,OAAO,IAAI,MAAM,EAAE,CAAC;QAC3D,IAAI;QACJ,SAAS;QACT,UAAU;QACV,QAAQ,EAAE;YACR,EAAE,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE;YACzD,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBAC1B,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC;gBAC7C,QAAQ,EAAE,IAAI,CAAC,IAAI;gBACnB,MAAM,EAAE,IAAI,CAAC,MAAM;aACpB,CAAC,CAAC;SACJ;QACD,WAAW;KACZ,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,KAAwB;IACnD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM;SACxB,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC;SAC3F,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,KAAK,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC;SAC9F,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,kBAAkB,KAAK,SAAS,IAAI,KAAK,CAAC,cAAc,IAAI,KAAK,CAAC,KAAK,CAAC,kBAAkB,CAAC;SAC1H,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,gBAAgB,KAAK,SAAS,IAAI,KAAK,CAAC,cAAc,IAAI,KAAK,CAAC,KAAK,CAAC,gBAAgB,CAAC;SACtH,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,cAAc,GAAG,KAAK,CAAC,cAAc,CAAC,CAAC;IACrE,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9F,MAAM,WAAW,GAA2B,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QAC5E,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAC5B,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CACnF,CAAC;QACF,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,cAAc,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;QAClG,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE;YACvC,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM;gBAAE,OAAO,KAAK,CAAC;YAC3E,IAAI,KAAK,CAAC,gBAAgB,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAC;YACtD,MAAM,UAAU,GAAG,KAAK,CAAC,iBAAiB,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;YACnH,OAAO,UAAU,EAAE,MAAM,KAAK,QAAQ,CAAC;QACzC,CAAC,CAAC,CAAC;QACH,MAAM,KAAK,GACT,MAAM,KAAK,SAAS;YAClB,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC,QAAQ,KAAK,SAAS;gBACtB,CAAC,CAAC,UAAU;gBACZ,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;oBACnB,CAAC,CAAC,UAAU;oBACZ,CAAC,CAAC,SAAS,CAAC;QACpB,OAAO;YACL,MAAM,EAAE,IAAI,CAAC,EAAE;YACf,QAAQ,EAAE,IAAI,CAAC,IAAI;YACnB,SAAS,EAAE,IAAI,CAAC,iBAAiB;YACjC,KAAK;YACL,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;SAC5C,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,cAAc,GAAG,MAAM;SAC1B,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;QACjB,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;QACtC,OAAO,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC7D,CAAC,CAAC;SACD,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC,QAAQ,IAAI,IAAI,CAAC,KAAK,CAAC,cAAc,GAAG,KAAK,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACnH,MAAM,eAAe,GAAG,cAAc,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC;IACjD,MAAM,oBAAoB,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CACrD,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,eAAe,EAAE,EAAE,IAAI,EAAE,CAAC,CAClD,CAAC;IACF,MAAM,gBAAgB,GAAG,oBAAoB,EAAE,MAAM,CAAC;IACtD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,IAAI,gBAAgB,KAAK,SAAS,EAAE,CAAC;QACnC,IAAI,OAAO,GAAG,IAAI,CAAC;QACnB,OAAO,OAAO,EAAE,CAAC;YACf,OAAO,GAAG,KAAK,CAAC;YAChB,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;gBACxC,IACE,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBACxB,IAAI,CAAC,SAAS,CAAC,IAAI,CACjB,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,KAAK,gBAAgB,IAAI,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,CAC9E,EACD,CAAC;oBACD,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;oBACxB,OAAO,GAAG,IAAI,CAAC;gBACjB,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,iBAAiB,GAAG,CAAC,GAAG,UAAU,CAAC,CAAC;IAC1C,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,IAAI,iBAAiB,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YACpF,UAAU,CAAC,KAAK,GAAG,aAAa,CAAC;QACnC,CAAC;IACH,CAAC;IAED,MAAM,kBAAkB,GAAG,eAAe,EAAE,cAAc,IAAI,MAAM,CAAC,iBAAiB,CAAC;IACvF,MAAM,iBAAiB,GAAG,MAAM;SAC7B,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,cAAc,GAAG,kBAAkB,CAAC;SAC5D,UAAU,EAAE;SACZ,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CACd,WAAW,CAAC,IAAI,CACd,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,KAAK,UAAU,IAAI,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAC1F,CACF,CAAC;IACJ,MAAM,sBAAsB,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CACvD,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,iBAAiB,EAAE,EAAE,IAAI,EAAE,CAAC,CACpD,CAAC;IAEF,MAAM,YAAY,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,EAAE,CACtD,UAAU,CAAC,KAAK,KAAK,UAAU,IAAI,UAAU,CAAC,KAAK,KAAK,SAAS;QAC/D,CAAC,CAAC;YACE,KAAK,CACH,cAAc,EACd,GAAG,UAAU,CAAC,QAAQ,0DAA0D,EAChF,UAAU,CAAC,KAAK,KAAK,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAC5C,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,EACtB,UAAU,CAAC,KAAK,KAAK,UAAU,CAAC,CAAC,CAAC,sDAAsD,CAAC,CAAC,CAAC,uCAAuC,CACnI;SACF;QACH,CAAC,CAAC,EAAE,CACP,CAAC;IACF,MAAM,SAAS,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,EAAE,CACnD,UAAU,CAAC,KAAK,KAAK,UAAU;QAC7B,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,EAAE,GAAG,UAAU,CAAC,QAAQ,qBAAqB,EAAE,CAAC,EAAE,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,yDAAyD,CAAC,CAAC;QAC7J,CAAC,CAAC,EAAE,CACP,CAAC;IACF,MAAM,mBAAmB,GACvB,eAAe,KAAK,SAAS;QAC3B,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,CAAC,KAAK,CAAC,qBAAqB,EAAE,GAAG,oBAAoB,EAAE,QAAQ,IAAI,eAAe,CAAC,IAAI,IAAI,eAAe,CAAC,IAAI,+CAA+C,EAAE,CAAC,EAAE,eAAe,CAAC,EAAE,EAAE,gEAAgE,EAAE,EAAE,EAAE,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC;IAC/R,MAAM,WAAW,GAAG;QAClB,GAAG,CAAC,KAAK,CAAC,gBAAgB,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,mGAAmG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACtJ,GAAG,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,0EAA0E,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KACvH,CAAC;IACF,MAAM,iBAAiB,GAAG;QACxB,KAAK,CAAC,QAAQ,CAAC,SAAS;QACxB,KAAK,CAAC,QAAQ,CAAC,OAAO;QACtB,oBAAoB,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,eAAe,EAAE,IAAI,IAAI,eAAe,EAAE,IAAI,IAAI,MAAM;KAC/F,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAEZ,OAAO;QACL,gBAAgB,EAAE,2BAA2B;QAC7C,eAAe,EAAE,KAAK,CAAC,QAAQ,CAAC,SAAS;QACzC,mBAAmB,EAAE,KAAK,CAAC,QAAQ,CAAC,OAAO;QAC3C,WAAW;QACX,gBAAgB,EACd,iBAAiB,KAAK,SAAS,IAAI,sBAAsB,KAAK,SAAS;YACrE,CAAC,CAAC,IAAI;YACN,CAAC,CAAC;gBACE,OAAO,EAAE,iBAAiB,CAAC,EAAE;gBAC7B,UAAU,EAAE,sBAAsB,CAAC,QAAQ;gBAC3C,MAAM,EAAE,+DAA+D;gBACvE,UAAU,EAAE,CAAC;aACd;QACP,0BAA0B,EACxB,eAAe,KAAK,SAAS;YAC3B,CAAC,CAAC,IAAI;YACN,CAAC,CAAC;gBACE,OAAO,EAAE,eAAe,CAAC,EAAE;gBAC3B,UAAU,EAAE,oBAAoB,EAAE,QAAQ,IAAI,eAAe,CAAC,IAAI,IAAI,eAAe,CAAC,IAAI;gBAC1F,MAAM,EAAE,kEAAkE;gBAC1E,UAAU,EAAE,CAAC;aACd;QACP,iBAAiB;QACjB,YAAY;QACZ,SAAS;QACT,mBAAmB;QACnB,WAAW;QACX,iBAAiB,EAAE,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI;QAC7F,WAAW,EAAE,UAAU,CAAC,iBAAiB,CAAC;KAC3C,CAAC;AACJ,CAAC"}

package/dist/diagnosis/reproduction-capsule.d.ts

@@ -0,0 +1,35 @@
+import { z } from "zod";
+export declare const reproductionCapsuleContextSchema: z.ZodObject<{
+    commitHash: z.ZodOptional<z.ZodString>;
+    dirtyDiffHash: z.ZodOptional<z.ZodString>;
+    lockfileHash: z.ZodOptional<z.ZodString>;
+    migrationVersion: z.ZodOptional<z.ZodString>;
+    browser: z.ZodOptional<z.ZodString>;
+    operatingSystem: z.ZodOptional<z.ZodString>;
+    locale: z.ZodOptional<z.ZodString>;
+    timezone: z.ZodOptional<z.ZodString>;
+    featureFlags: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    environmentFingerprint: z.ZodString;
+    randomSeed: z.ZodOptional<z.ZodString>;
+    fixtureIds: z.ZodDefault<z.ZodArray<z.ZodString>>;
+}, z.core.$strict>;
+export declare const reproductionCapsuleSchema: z.ZodObject<{
+    dirtyDiffHash: z.ZodOptional<z.ZodString>;
+    lockfileHash: z.ZodOptional<z.ZodString>;
+    migrationVersion: z.ZodOptional<z.ZodString>;
+    browser: z.ZodOptional<z.ZodString>;
+    operatingSystem: z.ZodOptional<z.ZodString>;
+    locale: z.ZodOptional<z.ZodString>;
+    timezone: z.ZodOptional<z.ZodString>;
+    featureFlags: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    environmentFingerprint: z.ZodString;
+    randomSeed: z.ZodOptional<z.ZodString>;
+    fixtureIds: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    commitHash: z.ZodString;
+    reproducibilityScore: z.ZodNumber;
+    missingContext: z.ZodArray<z.ZodString>;
+}, z.core.$strict>;
+export type ReproductionCapsuleContext = z.infer<typeof reproductionCapsuleContextSchema>;
+export type ReproductionCapsule = z.infer<typeof reproductionCapsuleSchema>;
+export declare function buildReproductionCapsule(context: ReproductionCapsuleContext): ReproductionCapsule;
+//# sourceMappingURL=reproduction-capsule.d.ts.map

package/dist/diagnosis/reproduction-capsule.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reproduction-capsule.d.ts","sourceRoot":"","sources":["../../src/diagnosis/reproduction-capsule.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,eAAO,MAAM,gCAAgC;;;;;;;;;;;;;kBAa3C,CAAC;AAEH,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;kBAIpC,CAAC;AAEH,MAAM,MAAM,0BAA0B,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gCAAgC,CAAC,CAAC;AAC1F,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAC;AAE5E,wBAAgB,wBAAwB,CACtC,OAAO,EAAE,0BAA0B,GAClC,mBAAmB,CAuBrB"}

package/dist/diagnosis/reproduction-capsule.js

@@ -0,0 +1,42 @@
+import { z } from "zod";
+export const reproductionCapsuleContextSchema = z.strictObject({
+    commitHash: z.string().min(1).optional(),
+    dirtyDiffHash: z.string().min(1).optional(),
+    lockfileHash: z.string().min(1).optional(),
+    migrationVersion: z.string().min(1).optional(),
+    browser: z.string().min(1).max(2_048).optional(),
+    operatingSystem: z.string().min(1).max(512).optional(),
+    locale: z.string().min(1).max(128).optional(),
+    timezone: z.string().min(1).max(128).optional(),
+    featureFlags: z.record(z.string(), z.unknown()).default({}),
+    environmentFingerprint: z.string().min(1),
+    randomSeed: z.string().min(1).max(512).optional(),
+    fixtureIds: z.array(z.string().min(1).max(512)).max(256).default([]),
+});
+export const reproductionCapsuleSchema = reproductionCapsuleContextSchema.extend({
+    commitHash: z.string().min(1),
+    reproducibilityScore: z.number().min(0).max(1),
+    missingContext: z.array(z.string().min(1)),
+});
+export function buildReproductionCapsule(context) {
+    const checks = [
+        ["commitHash", context.commitHash !== undefined, 0.2],
+        ["dirtyDiffHash", context.dirtyDiffHash !== undefined, 0.1],
+        ["lockfileHash", context.lockfileHash !== undefined, 0.15],
+        ["migrationVersion", context.migrationVersion !== undefined, 0.1],
+        ["browser", context.browser !== undefined, 0.1],
+        ["operatingSystem", context.operatingSystem !== undefined, 0.1],
+        ["locale", context.locale !== undefined, 0.05],
+        ["timezone", context.timezone !== undefined, 0.05],
+        ["featureFlags", Object.keys(context.featureFlags).length > 0, 0.1],
+        ["fixtureOrSeed", context.randomSeed !== undefined || context.fixtureIds.length > 0, 0.05],
+    ];
+    const reproducibilityScore = Number(checks.reduce((total, [, present, weight]) => total + (present ? weight : 0), 0).toFixed(2));
+    return {
+        ...context,
+        commitHash: context.commitHash ?? "unknown",
+        reproducibilityScore,
+        missingContext: checks.filter(([, present]) => !present).map(([name]) => name),
+    };
+}
+//# sourceMappingURL=reproduction-capsule.js.map

package/dist/diagnosis/reproduction-capsule.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reproduction-capsule.js","sourceRoot":"","sources":["../../src/diagnosis/reproduction-capsule.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAAC,CAAC,YAAY,CAAC;IAC7D,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IACxC,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAC3C,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAC1C,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAC9C,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE;IAChD,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE;IACtD,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE;IAC7C,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE;IAC/C,YAAY,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IAC3D,sBAAsB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACzC,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE;IACjD,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;CACrE,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,yBAAyB,GAAG,gCAAgC,CAAC,MAAM,CAAC;IAC/E,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7B,oBAAoB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9C,cAAc,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAC3C,CAAC,CAAC;AAKH,MAAM,UAAU,wBAAwB,CACtC,OAAmC;IAEnC,MAAM,MAAM,GAAqC;QAC/C,CAAC,YAAY,EAAE,OAAO,CAAC,UAAU,KAAK,SAAS,EAAE,GAAG,CAAC;QACrD,CAAC,eAAe,EAAE,OAAO,CAAC,aAAa,KAAK,SAAS,EAAE,GAAG,CAAC;QAC3D,CAAC,cAAc,EAAE,OAAO,CAAC,YAAY,KAAK,SAAS,EAAE,IAAI,CAAC;QAC1D,CAAC,kBAAkB,EAAE,OAAO,CAAC,gBAAgB,KAAK,SAAS,EAAE,GAAG,CAAC;QACjE,CAAC,SAAS,EAAE,OAAO,CAAC,OAAO,KAAK,SAAS,EAAE,GAAG,CAAC;QAC/C,CAAC,iBAAiB,EAAE,OAAO,CAAC,eAAe,KAAK,SAAS,EAAE,GAAG,CAAC;QAC/D,CAAC,QAAQ,EAAE,OAAO,CAAC,MAAM,KAAK,SAAS,EAAE,IAAI,CAAC;QAC9C,CAAC,UAAU,EAAE,OAAO,CAAC,QAAQ,KAAK,SAAS,EAAE,IAAI,CAAC;QAClD,CAAC,cAAc,EAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,GAAG,CAAC;QACnE,CAAC,eAAe,EAAE,OAAO,CAAC,UAAU,KAAK,SAAS,IAAI,OAAO,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,IAAI,CAAC;KAC3F,CAAC;IACF,MAAM,oBAAoB,GAAG,MAAM,CACjC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAC5F,CAAC;IAEF,OAAO;QACL,GAAG,OAAO;QACV,UAAU,EAAE,OAAO,CAAC,UAAU,IAAI,SAAS;QAC3C,oBAAoB;QACpB,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC;KAC/E,CAAC;AACJ,CAAC"}

package/dist/diagnosis/result.d.ts

@@ -0,0 +1,126 @@
+import { z } from "zod";
+export declare const checkpointEvaluationSchema: z.ZodObject<{
+    stepId: z.ZodString;
+    stepName: z.ZodString;
+    probeKeys: z.ZodArray<z.ZodString>;
+    state: z.ZodEnum<{
+        failed: "failed";
+        not_reached: "not_reached";
+        observed: "observed";
+        unknown: "unknown";
+        verified: "verified";
+    }>;
+    eventIds: z.ZodArray<z.ZodUUID>;
+}, z.core.$strict>;
+export declare const deterministicDiagnosisSchema: z.ZodObject<{
+    algorithmVersion: z.ZodString;
+    flowContractKey: z.ZodString;
+    flowContractVersion: z.ZodNumber;
+    checkpoints: z.ZodArray<z.ZodObject<{
+        stepId: z.ZodString;
+        stepName: z.ZodString;
+        probeKeys: z.ZodArray<z.ZodString>;
+        state: z.ZodEnum<{
+            failed: "failed";
+            not_reached: "not_reached";
+            observed: "observed";
+            unknown: "unknown";
+            verified: "verified";
+        }>;
+        eventIds: z.ZodArray<z.ZodUUID>;
+    }, z.core.$strict>>;
+    lastVerifiedGood: z.ZodNullable<z.ZodObject<{
+        eventId: z.ZodUUID;
+        checkpoint: z.ZodString;
+        reason: z.ZodString;
+        confidence: z.ZodNumber;
+    }, z.core.$strict>>;
+    earliestObservedDivergence: z.ZodNullable<z.ZodObject<{
+        eventId: z.ZodUUID;
+        checkpoint: z.ZodString;
+        reason: z.ZodString;
+        confidence: z.ZodNumber;
+    }, z.core.$strict>>;
+    downstreamStepIds: z.ZodArray<z.ZodString>;
+    coverageGaps: z.ZodArray<z.ZodObject<{
+        id: z.ZodUUID;
+        type: z.ZodEnum<{
+            coverage_gap: "coverage_gap";
+            downstream_effect: "downstream_effect";
+            file_suspicion: "file_suspicion";
+            observed_divergence: "observed_divergence";
+            safe_area: "safe_area";
+            suspected_root_cause: "suspected_root_cause";
+        }>;
+        statement: z.ZodString;
+        confidence: z.ZodNumber;
+        evidence: z.ZodArray<z.ZodObject<{
+            eventId: z.ZodOptional<z.ZodUUID>;
+            probeId: z.ZodOptional<z.ZodUUID>;
+            artifactId: z.ZodOptional<z.ZodUUID>;
+            filePath: z.ZodOptional<z.ZodString>;
+            lineRange: z.ZodOptional<z.ZodObject<{
+                start: z.ZodNumber;
+                end: z.ZodNumber;
+            }, z.core.$strict>>;
+            reason: z.ZodString;
+        }, z.core.$strict>>;
+        limitations: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>>;
+    safeAreas: z.ZodArray<z.ZodObject<{
+        id: z.ZodUUID;
+        type: z.ZodEnum<{
+            coverage_gap: "coverage_gap";
+            downstream_effect: "downstream_effect";
+            file_suspicion: "file_suspicion";
+            observed_divergence: "observed_divergence";
+            safe_area: "safe_area";
+            suspected_root_cause: "suspected_root_cause";
+        }>;
+        statement: z.ZodString;
+        confidence: z.ZodNumber;
+        evidence: z.ZodArray<z.ZodObject<{
+            eventId: z.ZodOptional<z.ZodUUID>;
+            probeId: z.ZodOptional<z.ZodUUID>;
+            artifactId: z.ZodOptional<z.ZodUUID>;
+            filePath: z.ZodOptional<z.ZodString>;
+            lineRange: z.ZodOptional<z.ZodObject<{
+                start: z.ZodNumber;
+                end: z.ZodNumber;
+            }, z.core.$strict>>;
+            reason: z.ZodString;
+        }, z.core.$strict>>;
+        limitations: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>>;
+    observedDivergences: z.ZodArray<z.ZodObject<{
+        id: z.ZodUUID;
+        type: z.ZodEnum<{
+            coverage_gap: "coverage_gap";
+            downstream_effect: "downstream_effect";
+            file_suspicion: "file_suspicion";
+            observed_divergence: "observed_divergence";
+            safe_area: "safe_area";
+            suspected_root_cause: "suspected_root_cause";
+        }>;
+        statement: z.ZodString;
+        confidence: z.ZodNumber;
+        evidence: z.ZodArray<z.ZodObject<{
+            eventId: z.ZodOptional<z.ZodUUID>;
+            probeId: z.ZodOptional<z.ZodUUID>;
+            artifactId: z.ZodOptional<z.ZodUUID>;
+            filePath: z.ZodOptional<z.ZodString>;
+            lineRange: z.ZodOptional<z.ZodObject<{
+                start: z.ZodNumber;
+                end: z.ZodNumber;
+            }, z.core.$strict>>;
+            reason: z.ZodString;
+        }, z.core.$strict>>;
+        limitations: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>>;
+    limitations: z.ZodArray<z.ZodString>;
+    overallConfidence: z.ZodNumber;
+    fingerprint: z.ZodString;
+}, z.core.$strict>;
+export type CheckpointEvaluation = z.infer<typeof checkpointEvaluationSchema>;
+export type DeterministicDiagnosis = z.infer<typeof deterministicDiagnosisSchema>;
+//# sourceMappingURL=result.d.ts.map

package/dist/diagnosis/result.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"result.d.ts","sourceRoot":"","sources":["../../src/diagnosis/result.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAIxB,eAAO,MAAM,0BAA0B;;;;;;;;;;;;kBAMrC,CAAC;AASH,eAAO,MAAM,4BAA4B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAcvC,CAAC;AAEH,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,0BAA0B,CAAC,CAAC;AAC9E,MAAM,MAAM,sBAAsB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,4BAA4B,CAAC,CAAC"}

package/dist/diagnosis/result.js

@@ -0,0 +1,31 @@
+import { z } from "zod";
+import { diagnosisClaimSchema } from "./claim.js";
+export const checkpointEvaluationSchema = z.strictObject({
+    stepId: z.string().min(1),
+    stepName: z.string().min(1),
+    probeKeys: z.array(z.string().min(1)),
+    state: z.enum(["verified", "failed", "observed", "not_reached", "unknown"]),
+    eventIds: z.array(z.uuid()),
+});
+const diagnosticAnchorSchema = z.strictObject({
+    eventId: z.uuid(),
+    checkpoint: z.string().min(1),
+    reason: z.string().min(1),
+    confidence: z.number().min(0).max(1),
+});
+export const deterministicDiagnosisSchema = z.strictObject({
+    algorithmVersion: z.string().min(1),
+    flowContractKey: z.string().min(1),
+    flowContractVersion: z.number().int().positive(),
+    checkpoints: z.array(checkpointEvaluationSchema),
+    lastVerifiedGood: diagnosticAnchorSchema.nullable(),
+    earliestObservedDivergence: diagnosticAnchorSchema.nullable(),
+    downstreamStepIds: z.array(z.string().min(1)),
+    coverageGaps: z.array(diagnosisClaimSchema),
+    safeAreas: z.array(diagnosisClaimSchema),
+    observedDivergences: z.array(diagnosisClaimSchema),
+    limitations: z.array(z.string().min(1)),
+    overallConfidence: z.number().min(0).max(1),
+    fingerprint: z.string().min(1),
+});
+//# sourceMappingURL=result.js.map

package/dist/diagnosis/result.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"result.js","sourceRoot":"","sources":["../../src/diagnosis/result.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAElD,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,CAAC,YAAY,CAAC;IACvD,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACzB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3B,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACrC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,aAAa,EAAE,SAAS,CAAC,CAAC;IAC3E,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;CAC5B,CAAC,CAAC;AAEH,MAAM,sBAAsB,GAAG,CAAC,CAAC,YAAY,CAAC;IAC5C,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE;IACjB,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7B,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACzB,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;CACrC,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC,CAAC,YAAY,CAAC;IACzD,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACnC,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAClC,mBAAmB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IAChD,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,0BAA0B,CAAC;IAChD,gBAAgB,EAAE,sBAAsB,CAAC,QAAQ,EAAE;IACnD,0BAA0B,EAAE,sBAAsB,CAAC,QAAQ,EAAE;IAC7D,iBAAiB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC7C,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,oBAAoB,CAAC;IAC3C,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,oBAAoB,CAAC;IACxC,mBAAmB,EAAE,CAAC,CAAC,KAAK,CAAC,oBAAoB,CAAC;IAClD,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACvC,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3C,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CAC/B,CAAC,CAAC"}

package/dist/diagnosis/verification.d.ts

@@ -0,0 +1,35 @@
+import { z } from "zod";
+import { type DeterministicDiagnosis } from "./result.js";
+export declare const verificationConclusionSchema: z.ZodEnum<{
+    failure_moved: "failure_moved";
+    inconclusive: "inconclusive";
+    new_regression: "new_regression";
+    not_reproduced: "not_reproduced";
+    resolved: "resolved";
+}>;
+export declare const diagnosisComparisonSchema: z.ZodObject<{
+    conclusion: z.ZodEnum<{
+        failure_moved: "failure_moved";
+        inconclusive: "inconclusive";
+        new_regression: "new_regression";
+        not_reproduced: "not_reproduced";
+        resolved: "resolved";
+    }>;
+    originalDivergence: z.ZodNullable<z.ZodString>;
+    newDivergence: z.ZodNullable<z.ZodString>;
+    originalDivergenceStateAfter: z.ZodNullable<z.ZodEnum<{
+        failed: "failed";
+        not_reached: "not_reached";
+        observed: "observed";
+        unknown: "unknown";
+        verified: "verified";
+    }>>;
+    coverageBefore: z.ZodNumber;
+    coverageAfter: z.ZodNumber;
+    newRegressionStepIds: z.ZodArray<z.ZodString>;
+    limitations: z.ZodArray<z.ZodString>;
+    summary: z.ZodString;
+}, z.core.$strict>;
+export type DiagnosisComparison = z.infer<typeof diagnosisComparisonSchema>;
+export declare function compareDiagnoses(beforeRaw: DeterministicDiagnosis, afterRaw: DeterministicDiagnosis): DiagnosisComparison;
+//# sourceMappingURL=verification.d.ts.map

package/dist/diagnosis/verification.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification.d.ts","sourceRoot":"","sources":["../../src/diagnosis/verification.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAgC,KAAK,sBAAsB,EAAE,MAAM,aAAa,CAAC;AAExF,eAAO,MAAM,4BAA4B;;;;;;EAA4F,CAAC;AAEtI,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;;;;;;;;kBAUpC,CAAC;AAEH,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAC;AAO5E,wBAAgB,gBAAgB,CAAC,SAAS,EAAE,sBAAsB,EAAE,QAAQ,EAAE,sBAAsB,GAAG,mBAAmB,CA+DzH"}

package/dist/diagnosis/verification.js

@@ -0,0 +1,87 @@
+import { z } from "zod";
+import { deterministicDiagnosisSchema } from "./result.js";
+export const verificationConclusionSchema = z.enum(["resolved", "failure_moved", "new_regression", "inconclusive", "not_reproduced"]);
+export const diagnosisComparisonSchema = z.strictObject({
+    conclusion: verificationConclusionSchema,
+    originalDivergence: z.string().nullable(),
+    newDivergence: z.string().nullable(),
+    originalDivergenceStateAfter: z.enum(["verified", "failed", "observed", "not_reached", "unknown"]).nullable(),
+    coverageBefore: z.number().min(0).max(1),
+    coverageAfter: z.number().min(0).max(1),
+    newRegressionStepIds: z.array(z.string()),
+    limitations: z.array(z.string()),
+    summary: z.string().min(1),
+});
+function coverage(diagnosis) {
+    if (diagnosis.checkpoints.length === 0)
+        return 0;
+    return diagnosis.checkpoints.filter((checkpoint) => checkpoint.eventIds.length > 0 && (checkpoint.state === "verified" || checkpoint.state === "failed")).length / diagnosis.checkpoints.length;
+}
+export function compareDiagnoses(beforeRaw, afterRaw) {
+    const before = deterministicDiagnosisSchema.parse(beforeRaw);
+    const after = deterministicDiagnosisSchema.parse(afterRaw);
+    const limitations = [...after.limitations];
+    if (before.flowContractKey !== after.flowContractKey || before.flowContractVersion !== after.flowContractVersion) {
+        return diagnosisComparisonSchema.parse({ conclusion: "inconclusive", originalDivergence: before.earliestObservedDivergence?.checkpoint ?? null, newDivergence: after.earliestObservedDivergence?.checkpoint ?? null, originalDivergenceStateAfter: null, coverageBefore: coverage(before), coverageAfter: coverage(after), newRegressionStepIds: [], limitations: [...limitations, "Before and after diagnoses use different Flow Contract identities or versions."], summary: "Comparison is inconclusive because the Flow Contract version changed." });
+    }
+    const originalCheckpoint = before.checkpoints.find((checkpoint) => checkpoint.eventIds.includes(before.earliestObservedDivergence?.eventId ?? ""));
+    const afterOriginal = originalCheckpoint === undefined ? undefined : after.checkpoints.find((checkpoint) => checkpoint.stepId === originalCheckpoint.stepId);
+    const newCheckpoint = after.checkpoints.find((checkpoint) => checkpoint.eventIds.includes(after.earliestObservedDivergence?.eventId ?? ""));
+    const originalIndex = originalCheckpoint === undefined ? -1 : before.checkpoints.findIndex((checkpoint) => checkpoint.stepId === originalCheckpoint.stepId);
+    const newIndex = newCheckpoint === undefined ? -1 : before.checkpoints.findIndex((checkpoint) => checkpoint.stepId === newCheckpoint.stepId);
+    const coverageBefore = coverage(before);
+    const coverageAfter = coverage(after);
+    let conclusion;
+    let summary;
+    const newRegressionStepIds = [];
+    if (after.earliestObservedDivergence === null) {
+        if (afterOriginal?.state === "verified") {
+            conclusion = "resolved";
+            summary = `Original divergence at ${before.earliestObservedDivergence?.checkpoint ?? "unknown"} is now deterministically verified.`;
+        }
+        else if (after.checkpoints.some((checkpoint) => checkpoint.state === "verified" || checkpoint.state === "observed")) {
+            conclusion = "not_reproduced";
+            summary = "The original divergence was not observed, but its checkpoint was not deterministically verified.";
+            limitations.push("Absence of the original failure is not proof of resolution.");
+        }
+        else {
+            conclusion = "inconclusive";
+            summary = "The after session has insufficient checkpoint evidence for comparison.";
+            limitations.push("No comparable deterministic checkpoint was reached.");
+        }
+    }
+    else if (newCheckpoint?.stepId === originalCheckpoint?.stepId) {
+        conclusion = "inconclusive";
+        summary = `The same divergence at ${after.earliestObservedDivergence.checkpoint} remains; the fix is not verified.`;
+        limitations.push("The verification taxonomy does not mark an unresolved recurrence as a successful outcome.");
+    }
+    else if (newIndex >= 0 && originalIndex >= 0 && newIndex < originalIndex) {
+        conclusion = "new_regression";
+        newRegressionStepIds.push(newCheckpoint.stepId);
+        summary = `A new earlier divergence appeared at ${after.earliestObservedDivergence.checkpoint}.`;
+    }
+    else {
+        conclusion = "failure_moved";
+        summary = `The original failure moved to ${after.earliestObservedDivergence.checkpoint}.`;
+    }
+    if (coverageAfter < coverageBefore && conclusion === "resolved") {
+        conclusion = "inconclusive";
+        summary = "The original checkpoint passed, but reduced diagnostic coverage makes resolution inconclusive.";
+        limitations.push("After-session deterministic coverage is lower than before-session coverage.");
+    }
+    const relevantLimitations = conclusion === "resolved"
+        ? limitations.filter((limitation) => limitation !== "No explicit divergence signal observed.")
+        : limitations;
+    return diagnosisComparisonSchema.parse({
+        conclusion,
+        originalDivergence: before.earliestObservedDivergence?.checkpoint ?? null,
+        newDivergence: after.earliestObservedDivergence?.checkpoint ?? null,
+        originalDivergenceStateAfter: afterOriginal?.state ?? null,
+        coverageBefore,
+        coverageAfter,
+        newRegressionStepIds,
+        limitations: relevantLimitations.filter((value, index, all) => all.indexOf(value) === index),
+        summary,
+    });
+}
+//# sourceMappingURL=verification.js.map

package/dist/diagnosis/verification.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification.js","sourceRoot":"","sources":["../../src/diagnosis/verification.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,4BAA4B,EAA+B,MAAM,aAAa,CAAC;AAExF,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,eAAe,EAAE,gBAAgB,EAAE,cAAc,EAAE,gBAAgB,CAAC,CAAC,CAAC;AAEtI,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC,YAAY,CAAC;IACtD,UAAU,EAAE,4BAA4B;IACxC,kBAAkB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACzC,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACpC,4BAA4B,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,aAAa,EAAE,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE;IAC7G,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACxC,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACvC,oBAAoB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IACzC,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAChC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CAC3B,CAAC,CAAC;AAIH,SAAS,QAAQ,CAAC,SAAiC;IACjD,IAAI,SAAS,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACjD,OAAO,SAAS,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,KAAK,UAAU,IAAI,UAAU,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,GAAG,SAAS,CAAC,WAAW,CAAC,MAAM,CAAC;AAClM,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,SAAiC,EAAE,QAAgC;IAClG,MAAM,MAAM,GAAG,4BAA4B,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IAC7D,MAAM,KAAK,GAAG,4BAA4B,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC3D,MAAM,WAAW,GAAG,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC;IAC3C,IAAI,MAAM,CAAC,eAAe,KAAK,KAAK,CAAC,eAAe,IAAI,MAAM,CAAC,mBAAmB,KAAK,KAAK,CAAC,mBAAmB,EAAE,CAAC;QACjH,OAAO,yBAAyB,CAAC,KAAK,CAAC,EAAE,UAAU,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,CAAC,0BAA0B,EAAE,UAAU,IAAI,IAAI,EAAE,aAAa,EAAE,KAAK,CAAC,0BAA0B,EAAE,UAAU,IAAI,IAAI,EAAE,4BAA4B,EAAE,IAAI,EAAE,cAAc,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,aAAa,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,oBAAoB,EAAE,EAAE,EAAE,WAAW,EAAE,CAAC,GAAG,WAAW,EAAE,gFAAgF,CAAC,EAAE,OAAO,EAAE,uEAAuE,EAAE,CAAC,CAAC;IAC5hB,CAAC;IACD,MAAM,kBAAkB,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,0BAA0B,EAAE,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC;IACnJ,MAAM,aAAa,GAAG,kBAAkB,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM,KAAK,kBAAkB,CAAC,MAAM,CAAC,CAAC;IAC7J,MAAM,aAAa,GAAG,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,0BAA0B,EAAE,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC;IAC5I,MAAM,aAAa,GAAG,kBAAkB,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM,KAAK,kBAAkB,CAAC,MAAM,CAAC,CAAC;IAC5J,MAAM,QAAQ,GAAG,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM,KAAK,aAAa,CAAC,MAAM,CAAC,CAAC;IAC7I,MAAM,cAAc,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;IACxC,MAAM,aAAa,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IACtC,IAAI,UAAwD,CAAC;IAC7D,IAAI,OAAe,CAAC;IACpB,MAAM,oBAAoB,GAAa,EAAE,CAAC;IAE1C,IAAI,KAAK,CAAC,0BAA0B,KAAK,IAAI,EAAE,CAAC;QAC9C,IAAI,aAAa,EAAE,KAAK,KAAK,UAAU,EAAE,CAAC;YACxC,UAAU,GAAG,UAAU,CAAC;YACxB,OAAO,GAAG,0BAA0B,MAAM,CAAC,0BAA0B,EAAE,UAAU,IAAI,SAAS,qCAAqC,CAAC;QACtI,CAAC;aAAM,IAAI,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,KAAK,UAAU,IAAI,UAAU,CAAC,KAAK,KAAK,UAAU,CAAC,EAAE,CAAC;YACtH,UAAU,GAAG,gBAAgB,CAAC;YAC9B,OAAO,GAAG,kGAAkG,CAAC;YAC7G,WAAW,CAAC,IAAI,CAAC,6DAA6D,CAAC,CAAC;QAClF,CAAC;aAAM,CAAC;YACN,UAAU,GAAG,cAAc,CAAC;YAC5B,OAAO,GAAG,wEAAwE,CAAC;YACnF,WAAW,CAAC,IAAI,CAAC,qDAAqD,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC;SAAM,IAAI,aAAa,EAAE,MAAM,KAAK,kBAAkB,EAAE,MAAM,EAAE,CAAC;QAChE,UAAU,GAAG,cAAc,CAAC;QAC5B,OAAO,GAAG,0BAA0B,KAAK,CAAC,0BAA0B,CAAC,UAAU,oCAAoC,CAAC;QACpH,WAAW,CAAC,IAAI,CAAC,2FAA2F,CAAC,CAAC;IAChH,CAAC;SAAM,IAAI,QAAQ,IAAI,CAAC,IAAI,aAAa,IAAI,CAAC,IAAI,QAAQ,GAAG,aAAa,EAAE,CAAC;QAC3E,UAAU,GAAG,gBAAgB,CAAC;QAC9B,oBAAoB,CAAC,IAAI,CAAC,aAAc,CAAC,MAAM,CAAC,CAAC;QACjD,OAAO,GAAG,wCAAwC,KAAK,CAAC,0BAA0B,CAAC,UAAU,GAAG,CAAC;IACnG,CAAC;SAAM,CAAC;QACN,UAAU,GAAG,eAAe,CAAC;QAC7B,OAAO,GAAG,iCAAiC,KAAK,CAAC,0BAA0B,CAAC,UAAU,GAAG,CAAC;IAC5F,CAAC;IAED,IAAI,aAAa,GAAG,cAAc,IAAI,UAAU,KAAK,UAAU,EAAE,CAAC;QAChE,UAAU,GAAG,cAAc,CAAC;QAC5B,OAAO,GAAG,gGAAgG,CAAC;QAC3G,WAAW,CAAC,IAAI,CAAC,6EAA6E,CAAC,CAAC;IAClG,CAAC;IACD,MAAM,mBAAmB,GAAG,UAAU,KAAK,UAAU;QACnD,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,KAAK,yCAAyC,CAAC;QAC9F,CAAC,CAAC,WAAW,CAAC;IAChB,OAAO,yBAAyB,CAAC,KAAK,CAAC;QACrC,UAAU;QACV,kBAAkB,EAAE,MAAM,CAAC,0BAA0B,EAAE,UAAU,IAAI,IAAI;QACzE,aAAa,EAAE,KAAK,CAAC,0BAA0B,EAAE,UAAU,IAAI,IAAI;QACnE,4BAA4B,EAAE,aAAa,EAAE,KAAK,IAAI,IAAI;QAC1D,cAAc;QACd,aAAa;QACb,oBAAoB;QACpB,WAAW,EAAE,mBAAmB,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC;QAC5F,OAAO;KACR,CAAC,CAAC;AACL,CAAC"}

package/dist/evaluators/builtins.d.ts

@@ -0,0 +1,20 @@
+import type { ProbeStatus } from "../protocol/event.js";
+export interface EvaluatorReference {
+    key: string;
+    version: number;
+}
+export interface EvaluatorResult {
+    status: Extract<ProbeStatus, "pass" | "fail" | "unknown">;
+    message: string;
+}
+export interface BuiltInEvaluatorDefinition {
+    stableKey: string;
+    version: 1;
+    kind: "built_in";
+    inputSchema: Record<string, unknown>;
+    config: Record<string, unknown>;
+    implementationRef: string;
+}
+export declare const builtInEvaluatorDefinitions: readonly BuiltInEvaluatorDefinition[];
+export declare function evaluateBuiltIn(evaluator: EvaluatorReference, input: unknown, expected?: unknown): EvaluatorResult;
+//# sourceMappingURL=builtins.d.ts.map

package/dist/evaluators/builtins.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"builtins.d.ts","sourceRoot":"","sources":["../../src/evaluators/builtins.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAGxD,MAAM,WAAW,kBAAkB;IACjC,GAAG,EAAE,MAAM,CAAC;IACZ,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,eAAe;IAC9B,MAAM,EAAE,OAAO,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC,CAAC;IAC1D,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,0BAA0B;IACzC,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,CAAC,CAAC;IACX,IAAI,EAAE,UAAU,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACrC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAChC,iBAAiB,EAAE,MAAM,CAAC;CAC3B;AAgBD,eAAO,MAAM,2BAA2B,EAAE,SAAS,0BAA0B,EAS5E,CAAC;AAkEF,wBAAgB,eAAe,CAC7B,SAAS,EAAE,kBAAkB,EAC7B,KAAK,EAAE,OAAO,EACd,QAAQ,CAAC,EAAE,OAAO,GACjB,eAAe,CA+FjB"}