@probemap/shared 0.1.0

package/dist/change-debug/runner.d.ts

@@ -0,0 +1,187 @@
+import { z } from "zod";
+export declare const CHANGE_DEBUG_PROTOCOL_VERSION: 1;
+export declare const sourceAccessModeSchema: z.ZodEnum<{
+    local_runner: "local_runner";
+    none: "none";
+    server_clone: "server_clone";
+}>;
+export declare const experimentExecutionModeSchema: z.ZodEnum<{
+    disabled: "disabled";
+    isolated_worker: "isolated_worker";
+    local_runner: "local_runner";
+}>;
+export declare const runnerStatusSchema: z.ZodEnum<{
+    draining: "draining";
+    incompatible: "incompatible";
+    offline: "offline";
+    online: "online";
+    registering: "registering";
+    revoked: "revoked";
+}>;
+export declare const runnerCapabilitySchema: z.ZodEnum<{
+    "change.capture": "change.capture";
+    "change.symbol_analysis.javascript": "change.symbol_analysis.javascript";
+    "change.symbol_analysis.typescript": "change.symbol_analysis.typescript";
+    "experiment.bisect": "experiment.bisect";
+    "experiment.container": "experiment.container";
+    "experiment.delta_debug": "experiment.delta_debug";
+    "experiment.file_isolation": "experiment.file_isolation";
+    "experiment.hunk_isolation": "experiment.hunk_isolation";
+    "experiment.network_isolation": "experiment.network_isolation";
+    "experiment.replay": "experiment.replay";
+    "experiment.symbol_isolation": "experiment.symbol_isolation";
+    "experiment.worktree": "experiment.worktree";
+}>;
+export declare const runnerRegistrationSchema: z.ZodObject<{
+    runnerId: z.ZodUUID;
+    expectedProjectId: z.ZodUUID;
+    protocolVersion: z.ZodLiteral<1>;
+    version: z.ZodString;
+    operatingSystem: z.ZodString;
+    architecture: z.ZodString;
+    repositoryId: z.ZodString;
+    sourceAccess: z.ZodEnum<{
+        local_runner: "local_runner";
+        none: "none";
+        server_clone: "server_clone";
+    }>;
+    executionMode: z.ZodEnum<{
+        disabled: "disabled";
+        isolated_worker: "isolated_worker";
+        local_runner: "local_runner";
+    }>;
+    capabilities: z.ZodArray<z.ZodEnum<{
+        "change.capture": "change.capture";
+        "change.symbol_analysis.javascript": "change.symbol_analysis.javascript";
+        "change.symbol_analysis.typescript": "change.symbol_analysis.typescript";
+        "experiment.bisect": "experiment.bisect";
+        "experiment.container": "experiment.container";
+        "experiment.delta_debug": "experiment.delta_debug";
+        "experiment.file_isolation": "experiment.file_isolation";
+        "experiment.hunk_isolation": "experiment.hunk_isolation";
+        "experiment.network_isolation": "experiment.network_isolation";
+        "experiment.replay": "experiment.replay";
+        "experiment.symbol_isolation": "experiment.symbol_isolation";
+        "experiment.worktree": "experiment.worktree";
+    }>>;
+    maxParallelJobs: z.ZodNumber;
+    profileKey: z.ZodString;
+    profileVersion: z.ZodNumber;
+    profileHash: z.ZodString;
+}, z.core.$strict>;
+export declare const runnerJobFailureCodeSchema: z.ZodEnum<{
+    artifact_too_large: "artifact_too_large";
+    artifact_upload_failed: "artifact_upload_failed";
+    build_failed: "build_failed";
+    bundle_hash_mismatch: "bundle_hash_mismatch";
+    canceled: "canceled";
+    capture_incomplete: "capture_incomplete";
+    cleanup_failed: "cleanup_failed";
+    dependency_break: "dependency_break";
+    graph_too_large: "graph_too_large";
+    internal_error: "internal_error";
+    lease_expired: "lease_expired";
+    network_policy_denied: "network_policy_denied";
+    oracle_inconclusive: "oracle_inconclusive";
+    patch_conflict: "patch_conflict";
+    runner_capability_mismatch: "runner_capability_mismatch";
+    runner_incompatible: "runner_incompatible";
+    runner_unavailable: "runner_unavailable";
+    sandbox_limit_exceeded: "sandbox_limit_exceeded";
+    secret_exposure_detected: "secret_exposure_detected";
+    secret_grant_denied: "secret_grant_denied";
+    source_state_mismatch: "source_state_mismatch";
+    timeout: "timeout";
+    unsupported_capability: "unsupported_capability";
+    unsupported_payload: "unsupported_payload";
+    upgrade_required: "upgrade_required";
+    verification_failed: "verification_failed";
+    verification_flaky: "verification_flaky";
+}>;
+export declare const runnerJobLeaseSchema: z.ZodObject<{
+    jobId: z.ZodUUID;
+    projectId: z.ZodUUID;
+    environmentId: z.ZodOptional<z.ZodUUID>;
+    runnerId: z.ZodUUID;
+    attempt: z.ZodNumber;
+    leaseToken: z.ZodString;
+    leasedUntil: z.ZodISODateTime;
+    payloadHash: z.ZodString;
+    type: z.ZodString;
+    schemaVersion: z.ZodNumber;
+    payload: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+    resumeState: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+}, z.core.$strict>;
+export declare const runnerHeartbeatSchema: z.ZodObject<{
+    leaseToken: z.ZodString;
+    progress: z.ZodObject<{
+        phase: z.ZodString;
+        percent: z.ZodNumber;
+        message: z.ZodOptional<z.ZodString>;
+        checkpoint: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    }, z.core.$strict>;
+}, z.core.$strict>;
+export declare const runnerJobCompleteSchema: z.ZodObject<{
+    leaseToken: z.ZodString;
+    resultHash: z.ZodString;
+    result: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+    metadata: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+}, z.core.$strict>;
+export declare const runnerJobFailSchema: z.ZodObject<{
+    leaseToken: z.ZodString;
+    code: z.ZodEnum<{
+        artifact_too_large: "artifact_too_large";
+        artifact_upload_failed: "artifact_upload_failed";
+        build_failed: "build_failed";
+        bundle_hash_mismatch: "bundle_hash_mismatch";
+        canceled: "canceled";
+        capture_incomplete: "capture_incomplete";
+        cleanup_failed: "cleanup_failed";
+        dependency_break: "dependency_break";
+        graph_too_large: "graph_too_large";
+        internal_error: "internal_error";
+        lease_expired: "lease_expired";
+        network_policy_denied: "network_policy_denied";
+        oracle_inconclusive: "oracle_inconclusive";
+        patch_conflict: "patch_conflict";
+        runner_capability_mismatch: "runner_capability_mismatch";
+        runner_incompatible: "runner_incompatible";
+        runner_unavailable: "runner_unavailable";
+        sandbox_limit_exceeded: "sandbox_limit_exceeded";
+        secret_exposure_detected: "secret_exposure_detected";
+        secret_grant_denied: "secret_grant_denied";
+        source_state_mismatch: "source_state_mismatch";
+        timeout: "timeout";
+        unsupported_capability: "unsupported_capability";
+        unsupported_payload: "unsupported_payload";
+        upgrade_required: "upgrade_required";
+        verification_failed: "verification_failed";
+        verification_flaky: "verification_flaky";
+    }>;
+    summary: z.ZodString;
+    retryable: z.ZodBoolean;
+    metadata: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+}, z.core.$strict>;
+export declare const onboardingExperimentSmokePayloadSchema: z.ZodObject<{
+    schemaVersion: z.ZodLiteral<1>;
+    projectId: z.ZodUUID;
+    environmentId: z.ZodUUID;
+    profileHash: z.ZodString;
+}, z.core.$strict>;
+export declare const onboardingExperimentSmokeResultSchema: z.ZodObject<{
+    schemaVersion: z.ZodLiteral<1>;
+    profileHash: z.ZodString;
+    commandRegistryBound: z.ZodLiteral<true>;
+    networkPolicyEnforced: z.ZodLiteral<true>;
+    worktreeSandboxed: z.ZodLiteral<true>;
+    mainTreeUnchanged: z.ZodLiteral<true>;
+    cleanupCompleted: z.ZodLiteral<true>;
+    sandboxFingerprintHash: z.ZodString;
+}, z.core.$strict>;
+export type RunnerRegistration = z.infer<typeof runnerRegistrationSchema>;
+export type RunnerJobLease = z.infer<typeof runnerJobLeaseSchema>;
+export type RunnerJobFailureCode = z.infer<typeof runnerJobFailureCodeSchema>;
+export type RunnerHeartbeat = z.infer<typeof runnerHeartbeatSchema>;
+export type RunnerJobComplete = z.infer<typeof runnerJobCompleteSchema>;
+export type RunnerJobFail = z.infer<typeof runnerJobFailSchema>;
+//# sourceMappingURL=runner.d.ts.map

package/dist/change-debug/runner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runner.d.ts","sourceRoot":"","sources":["../../src/change-debug/runner.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAIxB,eAAO,MAAM,6BAA6B,EAAG,CAAU,CAAC;AACxD,eAAO,MAAM,sBAAsB;;;;EAAmD,CAAC;AACvF,eAAO,MAAM,6BAA6B;;;;EAA0D,CAAC;AACrG,eAAO,MAAM,kBAAkB;;;;;;;EAAsF,CAAC;AAEtH,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;EAajC,CAAC;AAEH,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAenC,CAAC;AAEH,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAMrC,CAAC;AAEH,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;kBAa/B,CAAC;AAEH,eAAO,MAAM,qBAAqB;;;;;;;;kBAGhC,CAAC;AAEH,eAAO,MAAM,uBAAuB;;;;;kBAKlC,CAAC;AAEH,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAM9B,CAAC;AAEH,eAAO,MAAM,sCAAsC;;;;;kBAA2H,CAAC;AAC/K,eAAO,MAAM,qCAAqC;;;;;;;;;kBAA6S,CAAC;AAEhW,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAC;AAC1E,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAClE,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,0BAA0B,CAAC,CAAC;AAC9E,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AACpE,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AACxE,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC"}

package/dist/change-debug/runner.js

@@ -0,0 +1,77 @@
+import { z } from "zod";
+import { boundedMetadataSchema, jsonByteLength, sha256Schema } from "./common.js";
+export const CHANGE_DEBUG_PROTOCOL_VERSION = 1;
+export const sourceAccessModeSchema = z.enum(["none", "local_runner", "server_clone"]);
+export const experimentExecutionModeSchema = z.enum(["disabled", "local_runner", "isolated_worker"]);
+export const runnerStatusSchema = z.enum(["registering", "online", "draining", "offline", "incompatible", "revoked"]);
+export const runnerCapabilitySchema = z.enum([
+    "change.capture",
+    "change.symbol_analysis.typescript",
+    "change.symbol_analysis.javascript",
+    "experiment.worktree",
+    "experiment.container",
+    "experiment.network_isolation",
+    "experiment.replay",
+    "experiment.file_isolation",
+    "experiment.bisect",
+    "experiment.hunk_isolation",
+    "experiment.symbol_isolation",
+    "experiment.delta_debug",
+]);
+export const runnerRegistrationSchema = z.strictObject({
+    runnerId: z.uuid(),
+    expectedProjectId: z.uuid(),
+    protocolVersion: z.literal(CHANGE_DEBUG_PROTOCOL_VERSION),
+    version: z.string().min(1).max(128),
+    operatingSystem: z.string().min(1).max(128),
+    architecture: z.string().min(1).max(128),
+    repositoryId: z.string().min(1).max(512),
+    sourceAccess: sourceAccessModeSchema,
+    executionMode: experimentExecutionModeSchema,
+    capabilities: z.array(runnerCapabilitySchema).max(32),
+    maxParallelJobs: z.number().int().min(1).max(16),
+    profileKey: z.string().min(3).max(128),
+    profileVersion: z.number().int().positive(),
+    profileHash: sha256Schema,
+});
+export const runnerJobFailureCodeSchema = z.enum([
+    "runner_unavailable", "runner_capability_mismatch", "runner_incompatible", "upgrade_required", "unsupported_capability",
+    "lease_expired", "unsupported_payload", "source_state_mismatch", "capture_incomplete", "bundle_hash_mismatch",
+    "artifact_too_large", "graph_too_large", "patch_conflict", "dependency_break", "build_failed", "verification_failed",
+    "verification_flaky", "oracle_inconclusive", "timeout", "canceled", "sandbox_limit_exceeded", "secret_grant_denied",
+    "secret_exposure_detected", "network_policy_denied", "artifact_upload_failed", "cleanup_failed", "internal_error",
+]);
+export const runnerJobLeaseSchema = z.strictObject({
+    jobId: z.uuid(),
+    projectId: z.uuid(),
+    environmentId: z.uuid().optional(),
+    runnerId: z.uuid(),
+    attempt: z.number().int().positive(),
+    leaseToken: z.string().min(32).max(8_192),
+    leasedUntil: z.iso.datetime({ offset: true }),
+    payloadHash: sha256Schema,
+    type: z.string().min(1).max(128),
+    schemaVersion: z.number().int().positive(),
+    payload: z.record(z.string(), z.unknown()),
+    resumeState: z.record(z.string(), z.unknown()).refine((value) => jsonByteLength(value) <= 1024 * 1024, "Resume state exceeds 1 MiB.").optional(),
+});
+export const runnerHeartbeatSchema = z.strictObject({
+    leaseToken: z.string().min(32).max(8_192),
+    progress: z.strictObject({ phase: z.string().min(1).max(128), percent: z.number().min(0).max(100), message: z.string().max(2_048).optional(), checkpoint: z.record(z.string(), z.unknown()).refine((value) => jsonByteLength(value) <= 1024 * 1024, "Checkpoint exceeds 1 MiB.").optional() }),
+});
+export const runnerJobCompleteSchema = z.strictObject({
+    leaseToken: z.string().min(32).max(8_192),
+    resultHash: sha256Schema,
+    result: z.record(z.string(), z.unknown()).refine((value) => jsonByteLength(value) <= 1024 * 1024, "Result exceeds 1 MiB."),
+    metadata: boundedMetadataSchema.default({}),
+});
+export const runnerJobFailSchema = z.strictObject({
+    leaseToken: z.string().min(32).max(8_192),
+    code: runnerJobFailureCodeSchema,
+    summary: z.string().min(1).max(8_000),
+    retryable: z.boolean(),
+    metadata: boundedMetadataSchema.default({}),
+});
+export const onboardingExperimentSmokePayloadSchema = z.strictObject({ schemaVersion: z.literal(1), projectId: z.uuid(), environmentId: z.uuid(), profileHash: sha256Schema });
+export const onboardingExperimentSmokeResultSchema = z.strictObject({ schemaVersion: z.literal(1), profileHash: sha256Schema, commandRegistryBound: z.literal(true), networkPolicyEnforced: z.literal(true), worktreeSandboxed: z.literal(true), mainTreeUnchanged: z.literal(true), cleanupCompleted: z.literal(true), sandboxFingerprintHash: sha256Schema });
+//# sourceMappingURL=runner.js.map

package/dist/change-debug/runner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runner.js","sourceRoot":"","sources":["../../src/change-debug/runner.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,qBAAqB,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAElF,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAAU,CAAC;AACxD,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,cAAc,EAAE,cAAc,CAAC,CAAC,CAAC;AACvF,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,cAAc,EAAE,iBAAiB,CAAC,CAAC,CAAC;AACrG,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa,EAAE,QAAQ,EAAE,UAAU,EAAE,SAAS,EAAE,cAAc,EAAE,SAAS,CAAC,CAAC,CAAC;AAEtH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC,IAAI,CAAC;IAC3C,gBAAgB;IAChB,mCAAmC;IACnC,mCAAmC;IACnC,qBAAqB;IACrB,sBAAsB;IACtB,8BAA8B;IAC9B,mBAAmB;IACnB,2BAA2B;IAC3B,mBAAmB;IACnB,2BAA2B;IAC3B,6BAA6B;IAC7B,wBAAwB;CACzB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,CAAC,YAAY,CAAC;IACrD,QAAQ,EAAE,CAAC,CAAC,IAAI,EAAE;IAClB,iBAAiB,EAAE,CAAC,CAAC,IAAI,EAAE;IAC3B,eAAe,EAAE,CAAC,CAAC,OAAO,CAAC,6BAA6B,CAAC;IACzD,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;IACnC,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;IAC3C,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;IACxC,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;IACxC,YAAY,EAAE,sBAAsB;IACpC,aAAa,EAAE,6BAA6B;IAC5C,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;IACrD,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;IAChD,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;IACtC,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IAC3C,WAAW,EAAE,YAAY;CAC1B,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,CAAC,IAAI,CAAC;IAC/C,oBAAoB,EAAE,4BAA4B,EAAE,qBAAqB,EAAE,kBAAkB,EAAE,wBAAwB;IACvH,eAAe,EAAE,qBAAqB,EAAE,uBAAuB,EAAE,oBAAoB,EAAE,sBAAsB;IAC7G,oBAAoB,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,cAAc,EAAE,qBAAqB;IACpH,oBAAoB,EAAE,qBAAqB,EAAE,SAAS,EAAE,UAAU,EAAE,wBAAwB,EAAE,qBAAqB;IACnH,0BAA0B,EAAE,uBAAuB,EAAE,wBAAwB,EAAE,gBAAgB,EAAE,gBAAgB;CAClH,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,YAAY,CAAC;IACjD,KAAK,EAAE,CAAC,CAAC,IAAI,EAAE;IACf,SAAS,EAAE,CAAC,CAAC,IAAI,EAAE;IACnB,aAAa,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,QAAQ,EAAE;IAClC,QAAQ,EAAE,CAAC,CAAC,IAAI,EAAE;IAClB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IACpC,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC;IACzC,WAAW,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IAC7C,WAAW,EAAE,YAAY;IACzB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;IAChC,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IAC1C,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;IAC1C,WAAW,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,IAAI,GAAG,IAAI,EAAE,6BAA6B,CAAC,CAAC,QAAQ,EAAE;CACjJ,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,YAAY,CAAC;IAClD,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC;IACzC,QAAQ,EAAE,CAAC,CAAC,YAAY,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,IAAI,GAAG,IAAI,EAAE,2BAA2B,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC;CAC/R,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC,YAAY,CAAC;IACpD,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC;IACzC,UAAU,EAAE,YAAY;IACxB,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,IAAI,GAAG,IAAI,EAAE,uBAAuB,CAAC;IAC1H,QAAQ,EAAE,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;CAC5C,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,CAAC,YAAY,CAAC;IAChD,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC;IACzC,IAAI,EAAE,0BAA0B;IAChC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC;IACrC,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE;IACtB,QAAQ,EAAE,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;CAC5C,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,sCAAsC,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,aAAa,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,WAAW,EAAE,YAAY,EAAE,CAAC,CAAC;AAC/K,MAAM,CAAC,MAAM,qCAAqC,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,YAAY,EAAE,oBAAoB,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,qBAAqB,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,iBAAiB,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,iBAAiB,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,gBAAgB,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,sBAAsB,EAAE,YAAY,EAAE,CAAC,CAAC"}

package/dist/contracts/flow-contract.d.ts

@@ -0,0 +1,91 @@
+import { z } from "zod";
+declare const flowConditionSchema: z.ZodObject<{
+    id: z.ZodOptional<z.ZodString>;
+    evaluatorKey: z.ZodString;
+    evaluatorVersion: z.ZodNumber;
+    input: z.ZodOptional<z.ZodUnknown>;
+    negate: z.ZodOptional<z.ZodBoolean>;
+}, z.core.$strict>;
+declare const flowTriggerSchema: z.ZodObject<{
+    type: z.ZodString;
+    name: z.ZodOptional<z.ZodString>;
+    config: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+}, z.core.$strict>;
+export declare const flowContractFixtureSchema: z.ZodObject<{
+    name: z.ZodString;
+    input: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    expectedStatus: z.ZodEnum<{
+        fail: "fail";
+        pass: "pass";
+    }>;
+    expectedDivergenceStepId: z.ZodOptional<z.ZodString>;
+}, z.core.$strict>;
+export declare const flowContractSchema: z.ZodObject<{
+    stableKey: z.ZodString;
+    version: z.ZodNumber;
+    name: z.ZodString;
+    trigger: z.ZodObject<{
+        type: z.ZodString;
+        name: z.ZodOptional<z.ZodString>;
+        config: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    }, z.core.$strict>;
+    prerequisites: z.ZodArray<z.ZodObject<{
+        id: z.ZodOptional<z.ZodString>;
+        evaluatorKey: z.ZodString;
+        evaluatorVersion: z.ZodNumber;
+        input: z.ZodOptional<z.ZodUnknown>;
+        negate: z.ZodOptional<z.ZodBoolean>;
+    }, z.core.$strict>>;
+    steps: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        name: z.ZodString;
+        requirement: z.ZodEnum<{
+            conditional: "conditional";
+            optional: "optional";
+            required: "required";
+        }>;
+        dependsOn: z.ZodArray<z.ZodString>;
+        expectedProbeKeys: z.ZodArray<z.ZodString>;
+        completionPredicate: z.ZodOptional<z.ZodString>;
+        timeoutMs: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strict>>;
+    invariants: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        name: z.ZodString;
+        evaluatorKey: z.ZodString;
+        evaluatorVersion: z.ZodNumber;
+        severity: z.ZodEnum<{
+            critical: "critical";
+            error: "error";
+            warning: "warning";
+        }>;
+    }, z.core.$strict>>;
+    successConditions: z.ZodArray<z.ZodObject<{
+        id: z.ZodOptional<z.ZodString>;
+        evaluatorKey: z.ZodString;
+        evaluatorVersion: z.ZodNumber;
+        input: z.ZodOptional<z.ZodUnknown>;
+        negate: z.ZodOptional<z.ZodBoolean>;
+    }, z.core.$strict>>;
+    failureConditions: z.ZodArray<z.ZodObject<{
+        id: z.ZodOptional<z.ZodString>;
+        evaluatorKey: z.ZodString;
+        evaluatorVersion: z.ZodNumber;
+        input: z.ZodOptional<z.ZodUnknown>;
+        negate: z.ZodOptional<z.ZodBoolean>;
+    }, z.core.$strict>>;
+    fixtures: z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        input: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        expectedStatus: z.ZodEnum<{
+            fail: "fail";
+            pass: "pass";
+        }>;
+        expectedDivergenceStepId: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export type FlowCondition = z.infer<typeof flowConditionSchema>;
+export type FlowTrigger = z.infer<typeof flowTriggerSchema>;
+export type FlowContract = z.infer<typeof flowContractSchema>;
+export {};
+//# sourceMappingURL=flow-contract.d.ts.map

package/dist/contracts/flow-contract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"flow-contract.d.ts","sourceRoot":"","sources":["../../src/contracts/flow-contract.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,QAAA,MAAM,mBAAmB;;;;;;kBAMvB,CAAC;AAEH,QAAA,MAAM,iBAAiB;;;;kBAIrB,CAAC;AAoBH,eAAO,MAAM,yBAAyB;;;;;;;;kBAQpC,CAAC;AAEH,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAuF3B,CAAC;AAEL,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAChE,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAC5D,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC"}

package/dist/contracts/flow-contract.js

@@ -0,0 +1,121 @@
+import { z } from "zod";
+const flowConditionSchema = z.strictObject({
+    id: z.string().min(1).optional(),
+    evaluatorKey: z.string().min(1),
+    evaluatorVersion: z.number().int().positive(),
+    input: z.unknown().optional(),
+    negate: z.boolean().optional(),
+});
+const flowTriggerSchema = z.strictObject({
+    type: z.string().min(1),
+    name: z.string().min(1).optional(),
+    config: z.record(z.string(), z.unknown()).optional(),
+});
+const flowStepSchema = z.strictObject({
+    id: z.string().min(1),
+    name: z.string().min(1),
+    requirement: z.enum(["required", "optional", "conditional"]),
+    dependsOn: z.array(z.string().min(1)),
+    expectedProbeKeys: z.array(z.string().min(1)).min(1),
+    completionPredicate: z.string().min(1).optional(),
+    timeoutMs: z.number().int().positive().optional(),
+});
+const flowInvariantSchema = z.strictObject({
+    id: z.string().min(1),
+    name: z.string().min(1),
+    evaluatorKey: z.string().min(1),
+    evaluatorVersion: z.number().int().positive(),
+    severity: z.enum(["warning", "error", "critical"]),
+});
+export const flowContractFixtureSchema = z.strictObject({
+    name: z.string().min(1).max(256),
+    input: z.record(z.string(), z.unknown()).default({}),
+    expectedStatus: z.enum(["pass", "fail"]),
+    expectedDivergenceStepId: z.string().min(1).optional(),
+}).superRefine((fixture, context) => {
+    if (fixture.expectedStatus === "pass" && fixture.expectedDivergenceStepId !== undefined)
+        context.addIssue({ code: "custom", path: ["expectedDivergenceStepId"], message: "Passing fixtures cannot declare a divergence step." });
+    if (fixture.expectedStatus === "fail" && fixture.expectedDivergenceStepId === undefined)
+        context.addIssue({ code: "custom", path: ["expectedDivergenceStepId"], message: "Failure fixtures must identify the expected divergence step." });
+});
+export const flowContractSchema = z
+    .strictObject({
+    stableKey: z.string().min(1),
+    version: z.number().int().positive(),
+    name: z.string().min(1),
+    trigger: flowTriggerSchema,
+    prerequisites: z.array(flowConditionSchema),
+    steps: z.array(flowStepSchema).min(1),
+    invariants: z.array(flowInvariantSchema),
+    successConditions: z.array(flowConditionSchema),
+    failureConditions: z.array(flowConditionSchema),
+    fixtures: z.array(flowContractFixtureSchema).min(2).max(256),
+})
+    .superRefine((contract, context) => {
+    const stepIds = new Set();
+    const invariantIds = new Set();
+    const dependencies = new Map();
+    contract.steps.forEach((step, index) => {
+        if (stepIds.has(step.id)) {
+            context.addIssue({
+                code: "custom",
+                path: ["steps", index, "id"],
+                message: "Flow step IDs must be unique.",
+            });
+        }
+        stepIds.add(step.id);
+        dependencies.set(step.id, step.dependsOn);
+    });
+    contract.steps.forEach((step, stepIndex) => {
+        step.dependsOn.forEach((dependency, dependencyIndex) => {
+            if (dependency === step.id || !stepIds.has(dependency)) {
+                context.addIssue({
+                    code: "custom",
+                    path: ["steps", stepIndex, "dependsOn", dependencyIndex],
+                    message: `Unknown or self-referencing flow dependency "${dependency}".`,
+                });
+            }
+        });
+    });
+    const visiting = new Set();
+    const visited = new Set();
+    const containsCycle = (stepId) => {
+        if (visiting.has(stepId)) {
+            return true;
+        }
+        if (visited.has(stepId)) {
+            return false;
+        }
+        visiting.add(stepId);
+        const hasCycle = (dependencies.get(stepId) ?? []).some((dependency) => stepIds.has(dependency) && containsCycle(dependency));
+        visiting.delete(stepId);
+        visited.add(stepId);
+        return hasCycle;
+    };
+    if (contract.steps.some((step) => containsCycle(step.id))) {
+        context.addIssue({
+            code: "custom",
+            path: ["steps"],
+            message: "Flow Contract dependencies must form a directed acyclic graph.",
+        });
+    }
+    contract.invariants.forEach((invariant, index) => {
+        if (invariantIds.has(invariant.id)) {
+            context.addIssue({
+                code: "custom",
+                path: ["invariants", index, "id"],
+                message: "Flow invariant IDs must be unique.",
+            });
+        }
+        invariantIds.add(invariant.id);
+    });
+    for (const status of ["pass", "fail"]) {
+        if (!contract.fixtures.some((fixture) => fixture.expectedStatus === status))
+            context.addIssue({ code: "custom", path: ["fixtures"], message: `Flow Contract requires at least one ${status} fixture.` });
+    }
+    contract.fixtures.forEach((fixture, index) => {
+        if (fixture.expectedDivergenceStepId !== undefined && !stepIds.has(fixture.expectedDivergenceStepId))
+            context.addIssue({ code: "custom", path: ["fixtures", index, "expectedDivergenceStepId"], message: "Fixture divergence must reference a contract step." });
+    });
+});
+//# sourceMappingURL=flow-contract.js.map

package/dist/contracts/flow-contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"flow-contract.js","sourceRoot":"","sources":["../../src/contracts/flow-contract.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,MAAM,mBAAmB,GAAG,CAAC,CAAC,YAAY,CAAC;IACzC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAChC,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/B,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IAC7C,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IAC7B,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;CAC/B,CAAC,CAAC;AAEH,MAAM,iBAAiB,GAAG,CAAC,CAAC,YAAY,CAAC;IACvC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAClC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,QAAQ,EAAE;CACrD,CAAC,CAAC;AAEH,MAAM,cAAc,GAAG,CAAC,CAAC,YAAY,CAAC;IACpC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACrB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvB,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,UAAU,EAAE,aAAa,CAAC,CAAC;IAC5D,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACrC,iBAAiB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACpD,mBAAmB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IACjD,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE;CAClD,CAAC,CAAC;AAEH,MAAM,mBAAmB,GAAG,CAAC,CAAC,YAAY,CAAC;IACzC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACrB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvB,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/B,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IAC7C,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;CACnD,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC,YAAY,CAAC;IACtD,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;IAChC,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IACpD,cAAc,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACxC,wBAAwB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;CACvD,CAAC,CAAC,WAAW,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE;IAClC,IAAI,OAAO,CAAC,cAAc,KAAK,MAAM,IAAI,OAAO,CAAC,wBAAwB,KAAK,SAAS;QAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,0BAA0B,CAAC,EAAE,OAAO,EAAE,oDAAoD,EAAE,CAAC,CAAC;IACjO,IAAI,OAAO,CAAC,cAAc,KAAK,MAAM,IAAI,OAAO,CAAC,wBAAwB,KAAK,SAAS;QAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,0BAA0B,CAAC,EAAE,OAAO,EAAE,8DAA8D,EAAE,CAAC,CAAC;AAC7O,CAAC,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC;KAChC,YAAY,CAAC;IACZ,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IACpC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvB,OAAO,EAAE,iBAAiB;IAC1B,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,mBAAmB,CAAC;IAC3C,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACrC,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,mBAAmB,CAAC;IACxC,iBAAiB,EAAE,CAAC,CAAC,KAAK,CAAC,mBAAmB,CAAC;IAC/C,iBAAiB,EAAE,CAAC,CAAC,KAAK,CAAC,mBAAmB,CAAC;IAC/C,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,yBAAyB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;CAC7D,CAAC;KACD,WAAW,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE;IACjC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAoB,CAAC;IAEjD,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QACrC,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YACzB,OAAO,CAAC,QAAQ,CAAC;gBACf,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC;gBAC5B,OAAO,EAAE,+BAA+B;aACzC,CAAC,CAAC;QACL,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACrB,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE;QACzC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,eAAe,EAAE,EAAE;YACrD,IAAI,UAAU,KAAK,IAAI,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;gBACvD,OAAO,CAAC,QAAQ,CAAC;oBACf,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,CAAC,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,eAAe,CAAC;oBACxD,OAAO,EAAE,gDAAgD,UAAU,IAAI;iBACxE,CAAC,CAAC;YACL,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAElC,MAAM,aAAa,GAAG,CAAC,MAAc,EAAW,EAAE;QAChD,IAAI,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACzB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACxB,OAAO,KAAK,CAAC;QACf,CAAC;QAED,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACrB,MAAM,QAAQ,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CACpD,CAAC,UAAU,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,aAAa,CAAC,UAAU,CAAC,CACrE,CAAC;QACF,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACxB,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAEpB,OAAO,QAAQ,CAAC;IAClB,CAAC,CAAC;IAEF,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QAC1D,OAAO,CAAC,QAAQ,CAAC;YACf,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,OAAO,CAAC;YACf,OAAO,EAAE,gEAAgE;SAC1E,CAAC,CAAC;IACL,CAAC;IAED,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE;QAC/C,IAAI,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC;YACnC,OAAO,CAAC,QAAQ,CAAC;gBACf,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,CAAC,YAAY,EAAE,KAAK,EAAE,IAAI,CAAC;gBACjC,OAAO,EAAE,oCAAoC;aAC9C,CAAC,CAAC;QACL,CAAC;QACD,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IACH,KAAK,MAAM,MAAM,IAAI,CAAC,MAAM,EAAE,MAAM,CAAU,EAAE,CAAC;QAC/C,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,cAAc,KAAK,MAAM,CAAC;YAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,UAAU,CAAC,EAAE,OAAO,EAAE,uCAAuC,MAAM,WAAW,EAAE,CAAC,CAAC;IAC3M,CAAC;IACD,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;QAC3C,IAAI,OAAO,CAAC,wBAAwB,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,wBAAwB,CAAC;YAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,UAAU,EAAE,KAAK,EAAE,0BAA0B,CAAC,EAAE,OAAO,EAAE,oDAAoD,EAAE,CAAC,CAAC;IACnQ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/diagnosis/claim.d.ts

@@ -0,0 +1,28 @@
+import { z } from "zod";
+export declare const diagnosisClaimSchema: 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>;
+export type DiagnosisClaim = z.infer<typeof diagnosisClaimSchema>;
+//# sourceMappingURL=claim.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"claim.d.ts","sourceRoot":"","sources":["../../src/diagnosis/claim.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;kBA4B/B,CAAC;AAEH,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC"}

package/dist/diagnosis/claim.js

@@ -0,0 +1,29 @@
+import { z } from "zod";
+export const diagnosisClaimSchema = z.strictObject({
+    id: z.uuid(),
+    type: z.enum([
+        "observed_divergence",
+        "suspected_root_cause",
+        "downstream_effect",
+        "safe_area",
+        "file_suspicion",
+        "coverage_gap",
+    ]),
+    statement: z.string().min(1),
+    confidence: z.number().min(0).max(1),
+    evidence: z.array(z.strictObject({
+        eventId: z.uuid().optional(),
+        probeId: z.uuid().optional(),
+        artifactId: z.uuid().optional(),
+        filePath: z.string().min(1).optional(),
+        lineRange: z
+            .strictObject({
+            start: z.number().int().positive(),
+            end: z.number().int().positive(),
+        })
+            .optional(),
+        reason: z.string().min(1),
+    })),
+    limitations: z.array(z.string().min(1)),
+});
+//# sourceMappingURL=claim.js.map

package/dist/diagnosis/claim.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"claim.js","sourceRoot":"","sources":["../../src/diagnosis/claim.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,YAAY,CAAC;IACjD,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE;IACZ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;QACX,qBAAqB;QACrB,sBAAsB;QACtB,mBAAmB;QACnB,WAAW;QACX,gBAAgB;QAChB,cAAc;KACf,CAAC;IACF,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5B,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACpC,QAAQ,EAAE,CAAC,CAAC,KAAK,CACf,CAAC,CAAC,YAAY,CAAC;QACb,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,QAAQ,EAAE;QAC5B,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,QAAQ,EAAE;QAC5B,UAAU,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,QAAQ,EAAE;QAC/B,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;QACtC,SAAS,EAAE,CAAC;aACT,YAAY,CAAC;YACZ,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;YAClC,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;SACjC,CAAC;aACD,QAAQ,EAAE;QACb,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;KAC1B,CAAC,CACH;IACD,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CACxC,CAAC,CAAC"}

package/dist/diagnosis/engine.d.ts

@@ -0,0 +1,22 @@
+import type { FlowContract } from "../contracts/flow-contract.js";
+import type { CollectedProbeMapEvent } from "../protocol/event.js";
+import type { DeterministicDiagnosis } from "./result.js";
+export declare const DIAGNOSIS_ALGORITHM_VERSION = "1.0.0";
+export interface DiagnosisProbeDefinition {
+    id: string;
+    stableKey: string;
+    health: "active" | "never_seen" | "stale" | "broken" | "disabled";
+}
+export interface DiagnoseFlowInput {
+    contract: FlowContract;
+    events: CollectedProbeMapEvent[];
+    probeDefinitions?: DiagnosisProbeDefinition[];
+    scope?: {
+        flowId?: string;
+        traceId?: string;
+        fromServerSequence?: number;
+        toServerSequence?: number;
+    };
+}
+export declare function diagnoseFlow(input: DiagnoseFlowInput): DeterministicDiagnosis;
+//# sourceMappingURL=engine.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../../src/diagnosis/engine.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAClE,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAEnE,OAAO,KAAK,EAAwB,sBAAsB,EAAE,MAAM,aAAa,CAAC;AAEhF,eAAO,MAAM,2BAA2B,UAAU,CAAC;AAEnD,MAAM,WAAW,wBAAwB;IACvC,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,QAAQ,GAAG,YAAY,GAAG,OAAO,GAAG,QAAQ,GAAG,UAAU,CAAC;CACnE;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,EAAE,YAAY,CAAC;IACvB,MAAM,EAAE,sBAAsB,EAAE,CAAC;IACjC,gBAAgB,CAAC,EAAE,wBAAwB,EAAE,CAAC;IAC9C,KAAK,CAAC,EAAE;QACN,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,OAAO,CAAC,EAAE,MAAM,CAAC;QACjB,kBAAkB,CAAC,EAAE,MAAM,CAAC;QAC5B,gBAAgB,CAAC,EAAE,MAAM,CAAC;KAC3B,CAAC;CACH;AAoED,wBAAgB,YAAY,CAAC,KAAK,EAAE,iBAAiB,GAAG,sBAAsB,CAoJ7E"}