tracegrove 0.0.0-stage → 0.3.1

package/dist/protocol/schemas/capabilityLifecycle.d.ts

@@ -0,0 +1,509 @@
+/** Common lifecycle/reporting invariants; provider-specific mutations remain typed capabilities. */
+import { z } from 'zod';
+export declare const CapabilityRetryPolicy: z.ZodObject<{
+    maxAttempts: z.ZodNumber;
+    baseDelayMs: z.ZodNumber;
+    maxDelayMs: z.ZodNumber;
+    maxElapsedMs: z.ZodNumber;
+    maxRequests: z.ZodNumber;
+}, z.core.$strict>;
+export declare const CapabilityRetryState: z.ZodObject<{
+    attemptNumber: z.ZodNumber;
+    elapsedMs: z.ZodNumber;
+    requestsUsed: z.ZodNumber;
+    remainingDeadlineMs: z.ZodNumber;
+    retryAfterMs: z.ZodNullable<z.ZodNumber>;
+    failure: z.ZodEnum<{
+        unsupported: "unsupported";
+        cancelled: "cancelled";
+        transport: "transport";
+        setup: "setup";
+        assertion: "assertion";
+    }>;
+    effects: z.ZodEnum<{
+        none: "none";
+        acknowledged: "acknowledged";
+        ambiguous: "ambiguous";
+    }>;
+    mutating: z.ZodBoolean;
+    idempotency: z.ZodNullable<z.ZodObject<{
+        key: z.ZodString;
+        requestDigest: z.ZodObject<{
+            algorithm: z.ZodLiteral<"sha256">;
+            hex: z.ZodString;
+        }, z.core.$strict>;
+        authorityRef: z.ZodObject<{
+            id: z.ZodString;
+            revision: z.ZodString;
+            digest: z.ZodObject<{
+                algorithm: z.ZodLiteral<"sha256">;
+                hex: z.ZodString;
+            }, z.core.$strict>;
+        }, z.core.$strict>;
+    }, z.core.$strict>>;
+    priorAttemptRef: z.ZodObject<{
+        id: z.ZodString;
+        revision: z.ZodString;
+        digest: z.ZodObject<{
+            algorithm: z.ZodLiteral<"sha256">;
+            hex: z.ZodString;
+        }, z.core.$strict>;
+    }, z.core.$strict>;
+    retainedArtifactRefs: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        revision: z.ZodString;
+        digest: z.ZodObject<{
+            algorithm: z.ZodLiteral<"sha256">;
+            hex: z.ZodString;
+        }, z.core.$strict>;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export declare const CapabilityLifecycleCheckpoint: z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"workflow.capability-lifecycle-checkpoint/v1">;
+    binding: z.ZodObject<{
+        campaignId: z.ZodString;
+        executionId: z.ZodString;
+        attemptId: z.ZodString;
+        generation: z.ZodNumber;
+        requestRef: z.ZodObject<{
+            id: z.ZodString;
+            revision: z.ZodString;
+            digest: z.ZodObject<{
+                algorithm: z.ZodLiteral<"sha256">;
+                hex: z.ZodString;
+            }, z.core.$strict>;
+        }, z.core.$strict>;
+        sourceSelectionRef: z.ZodNullable<z.ZodObject<{
+            id: z.ZodString;
+            revision: z.ZodString;
+            digest: z.ZodObject<{
+                algorithm: z.ZodLiteral<"sha256">;
+                hex: z.ZodString;
+            }, z.core.$strict>;
+        }, z.core.$strict>>;
+        caseRef: z.ZodObject<{
+            id: z.ZodString;
+            revision: z.ZodString;
+            digest: z.ZodObject<{
+                algorithm: z.ZodLiteral<"sha256">;
+                hex: z.ZodString;
+            }, z.core.$strict>;
+        }, z.core.$strict>;
+        personaRef: z.ZodObject<{
+            id: z.ZodString;
+            revision: z.ZodString;
+            digest: z.ZodObject<{
+                algorithm: z.ZodLiteral<"sha256">;
+                hex: z.ZodString;
+            }, z.core.$strict>;
+        }, z.core.$strict>;
+        targetRef: z.ZodObject<{
+            id: z.ZodString;
+            revision: z.ZodString;
+            digest: z.ZodObject<{
+                algorithm: z.ZodLiteral<"sha256">;
+                hex: z.ZodString;
+            }, z.core.$strict>;
+        }, z.core.$strict>;
+        environmentRef: z.ZodObject<{
+            id: z.ZodString;
+            revision: z.ZodString;
+            digest: z.ZodObject<{
+                algorithm: z.ZodLiteral<"sha256">;
+                hex: z.ZodString;
+            }, z.core.$strict>;
+        }, z.core.$strict>;
+        scope: z.ZodObject<{
+            ownerId: z.ZodString;
+            tenantId: z.ZodNullable<z.ZodString>;
+            visibility: z.ZodEnum<{
+                public: "public";
+                owner_private: "owner_private";
+                tenant_private: "tenant_private";
+            }>;
+        }, z.core.$strict>;
+    }, z.core.$strict>;
+    operationId: z.ZodString;
+    inventory: z.ZodArray<z.ZodObject<{
+        resourceRef: z.ZodObject<{
+            id: z.ZodString;
+            revision: z.ZodString;
+            digest: z.ZodObject<{
+                algorithm: z.ZodLiteral<"sha256">;
+                hex: z.ZodString;
+            }, z.core.$strict>;
+        }, z.core.$strict>;
+        leaseRef: z.ZodObject<{
+            id: z.ZodString;
+            revision: z.ZodString;
+            digest: z.ZodObject<{
+                algorithm: z.ZodLiteral<"sha256">;
+                hex: z.ZodString;
+            }, z.core.$strict>;
+        }, z.core.$strict>;
+        state: z.ZodEnum<{
+            reserved: "reserved";
+            cleanup_pending: "cleanup_pending";
+            removed: "removed";
+            created: "created";
+            effect_unacknowledged: "effect_unacknowledged";
+            cleanup_failed: "cleanup_failed";
+        }>;
+        evidenceRefs: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            revision: z.ZodString;
+            digest: z.ZodObject<{
+                algorithm: z.ZodLiteral<"sha256">;
+                hex: z.ZodString;
+            }, z.core.$strict>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export type CapabilityLifecycleCheckpoint = z.infer<typeof CapabilityLifecycleCheckpoint>;
+export declare const CapabilityArtifactManifest: z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"workflow.capability-artifact-manifest/v1">;
+    binding: z.ZodObject<{
+        campaignId: z.ZodString;
+        executionId: z.ZodString;
+        attemptId: z.ZodString;
+        generation: z.ZodNumber;
+        requestRef: z.ZodObject<{
+            id: z.ZodString;
+            revision: z.ZodString;
+            digest: z.ZodObject<{
+                algorithm: z.ZodLiteral<"sha256">;
+                hex: z.ZodString;
+            }, z.core.$strict>;
+        }, z.core.$strict>;
+        sourceSelectionRef: z.ZodNullable<z.ZodObject<{
+            id: z.ZodString;
+            revision: z.ZodString;
+            digest: z.ZodObject<{
+                algorithm: z.ZodLiteral<"sha256">;
+                hex: z.ZodString;
+            }, z.core.$strict>;
+        }, z.core.$strict>>;
+        caseRef: z.ZodObject<{
+            id: z.ZodString;
+            revision: z.ZodString;
+            digest: z.ZodObject<{
+                algorithm: z.ZodLiteral<"sha256">;
+                hex: z.ZodString;
+            }, z.core.$strict>;
+        }, z.core.$strict>;
+        personaRef: z.ZodObject<{
+            id: z.ZodString;
+            revision: z.ZodString;
+            digest: z.ZodObject<{
+                algorithm: z.ZodLiteral<"sha256">;
+                hex: z.ZodString;
+            }, z.core.$strict>;
+        }, z.core.$strict>;
+        targetRef: z.ZodObject<{
+            id: z.ZodString;
+            revision: z.ZodString;
+            digest: z.ZodObject<{
+                algorithm: z.ZodLiteral<"sha256">;
+                hex: z.ZodString;
+            }, z.core.$strict>;
+        }, z.core.$strict>;
+        environmentRef: z.ZodObject<{
+            id: z.ZodString;
+            revision: z.ZodString;
+            digest: z.ZodObject<{
+                algorithm: z.ZodLiteral<"sha256">;
+                hex: z.ZodString;
+            }, z.core.$strict>;
+        }, z.core.$strict>;
+        scope: z.ZodObject<{
+            ownerId: z.ZodString;
+            tenantId: z.ZodNullable<z.ZodString>;
+            visibility: z.ZodEnum<{
+                public: "public";
+                owner_private: "owner_private";
+                tenant_private: "tenant_private";
+            }>;
+        }, z.core.$strict>;
+    }, z.core.$strict>;
+    publication: z.ZodEnum<{
+        incomplete: "incomplete";
+        committed: "committed";
+    }>;
+    artifacts: z.ZodArray<z.ZodObject<{
+        fileName: z.ZodString;
+        artifact: z.ZodObject<{
+            ref: z.ZodObject<{
+                id: z.ZodString;
+                revision: z.ZodString;
+                digest: z.ZodObject<{
+                    algorithm: z.ZodLiteral<"sha256">;
+                    hex: z.ZodString;
+                }, z.core.$strict>;
+            }, z.core.$strict>;
+            mediaType: z.ZodString;
+            byteCount: z.ZodNumber;
+            producer: z.ZodObject<{
+                adapterId: z.ZodString;
+                adapterVersion: z.ZodString;
+                tool: z.ZodString;
+                toolVersion: z.ZodString;
+            }, z.core.$strict>;
+            redaction: z.ZodEnum<{
+                not_required: "not_required";
+                applied: "applied";
+                unavailable: "unavailable";
+            }>;
+            redactionPolicyRef: z.ZodNullable<z.ZodObject<{
+                id: z.ZodString;
+                revision: z.ZodString;
+                digest: z.ZodObject<{
+                    algorithm: z.ZodLiteral<"sha256">;
+                    hex: z.ZodString;
+                }, z.core.$strict>;
+            }, z.core.$strict>>;
+        }, z.core.$strict>;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export type CapabilityArtifactManifest = z.infer<typeof CapabilityArtifactManifest>;
+export declare const CapabilityReplayPlan: z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"workflow.capability-replay-plan/v1">;
+    mode: z.ZodEnum<{
+        evidence_playback: "evidence_playback";
+        fixture_rerun: "fixture_rerun";
+        recorded_io_rerun: "recorded_io_rerun";
+        workflow_history_replay: "workflow_history_replay";
+    }>;
+    sourceReceiptRef: z.ZodObject<{
+        id: z.ZodString;
+        revision: z.ZodString;
+        digest: z.ZodObject<{
+            algorithm: z.ZodLiteral<"sha256">;
+            hex: z.ZodString;
+        }, z.core.$strict>;
+    }, z.core.$strict>;
+    sourceBinding: z.ZodObject<{
+        campaignId: z.ZodString;
+        executionId: z.ZodString;
+        attemptId: z.ZodString;
+        generation: z.ZodNumber;
+        requestRef: z.ZodObject<{
+            id: z.ZodString;
+            revision: z.ZodString;
+            digest: z.ZodObject<{
+                algorithm: z.ZodLiteral<"sha256">;
+                hex: z.ZodString;
+            }, z.core.$strict>;
+        }, z.core.$strict>;
+        sourceSelectionRef: z.ZodNullable<z.ZodObject<{
+            id: z.ZodString;
+            revision: z.ZodString;
+            digest: z.ZodObject<{
+                algorithm: z.ZodLiteral<"sha256">;
+                hex: z.ZodString;
+            }, z.core.$strict>;
+        }, z.core.$strict>>;
+        caseRef: z.ZodObject<{
+            id: z.ZodString;
+            revision: z.ZodString;
+            digest: z.ZodObject<{
+                algorithm: z.ZodLiteral<"sha256">;
+                hex: z.ZodString;
+            }, z.core.$strict>;
+        }, z.core.$strict>;
+        personaRef: z.ZodObject<{
+            id: z.ZodString;
+            revision: z.ZodString;
+            digest: z.ZodObject<{
+                algorithm: z.ZodLiteral<"sha256">;
+                hex: z.ZodString;
+            }, z.core.$strict>;
+        }, z.core.$strict>;
+        targetRef: z.ZodObject<{
+            id: z.ZodString;
+            revision: z.ZodString;
+            digest: z.ZodObject<{
+                algorithm: z.ZodLiteral<"sha256">;
+                hex: z.ZodString;
+            }, z.core.$strict>;
+        }, z.core.$strict>;
+        environmentRef: z.ZodObject<{
+            id: z.ZodString;
+            revision: z.ZodString;
+            digest: z.ZodObject<{
+                algorithm: z.ZodLiteral<"sha256">;
+                hex: z.ZodString;
+            }, z.core.$strict>;
+        }, z.core.$strict>;
+        scope: z.ZodObject<{
+            ownerId: z.ZodString;
+            tenantId: z.ZodNullable<z.ZodString>;
+            visibility: z.ZodEnum<{
+                public: "public";
+                owner_private: "owner_private";
+                tenant_private: "tenant_private";
+            }>;
+        }, z.core.$strict>;
+    }, z.core.$strict>;
+    targetBinding: z.ZodNullable<z.ZodObject<{
+        campaignId: z.ZodString;
+        executionId: z.ZodString;
+        attemptId: z.ZodString;
+        generation: z.ZodNumber;
+        requestRef: z.ZodObject<{
+            id: z.ZodString;
+            revision: z.ZodString;
+            digest: z.ZodObject<{
+                algorithm: z.ZodLiteral<"sha256">;
+                hex: z.ZodString;
+            }, z.core.$strict>;
+        }, z.core.$strict>;
+        sourceSelectionRef: z.ZodNullable<z.ZodObject<{
+            id: z.ZodString;
+            revision: z.ZodString;
+            digest: z.ZodObject<{
+                algorithm: z.ZodLiteral<"sha256">;
+                hex: z.ZodString;
+            }, z.core.$strict>;
+        }, z.core.$strict>>;
+        caseRef: z.ZodObject<{
+            id: z.ZodString;
+            revision: z.ZodString;
+            digest: z.ZodObject<{
+                algorithm: z.ZodLiteral<"sha256">;
+                hex: z.ZodString;
+            }, z.core.$strict>;
+        }, z.core.$strict>;
+        personaRef: z.ZodObject<{
+            id: z.ZodString;
+            revision: z.ZodString;
+            digest: z.ZodObject<{
+                algorithm: z.ZodLiteral<"sha256">;
+                hex: z.ZodString;
+            }, z.core.$strict>;
+        }, z.core.$strict>;
+        targetRef: z.ZodObject<{
+            id: z.ZodString;
+            revision: z.ZodString;
+            digest: z.ZodObject<{
+                algorithm: z.ZodLiteral<"sha256">;
+                hex: z.ZodString;
+            }, z.core.$strict>;
+        }, z.core.$strict>;
+        environmentRef: z.ZodObject<{
+            id: z.ZodString;
+            revision: z.ZodString;
+            digest: z.ZodObject<{
+                algorithm: z.ZodLiteral<"sha256">;
+                hex: z.ZodString;
+            }, z.core.$strict>;
+        }, z.core.$strict>;
+        scope: z.ZodObject<{
+            ownerId: z.ZodString;
+            tenantId: z.ZodNullable<z.ZodString>;
+            visibility: z.ZodEnum<{
+                public: "public";
+                owner_private: "owner_private";
+                tenant_private: "tenant_private";
+            }>;
+        }, z.core.$strict>;
+    }, z.core.$strict>>;
+    sourceCodeRef: z.ZodObject<{
+        id: z.ZodString;
+        revision: z.ZodString;
+        digest: z.ZodObject<{
+            algorithm: z.ZodLiteral<"sha256">;
+            hex: z.ZodString;
+        }, z.core.$strict>;
+    }, z.core.$strict>;
+    targetCodeRef: z.ZodObject<{
+        id: z.ZodString;
+        revision: z.ZodString;
+        digest: z.ZodObject<{
+            algorithm: z.ZodLiteral<"sha256">;
+            hex: z.ZodString;
+        }, z.core.$strict>;
+    }, z.core.$strict>;
+    compatibilityReviewRef: z.ZodNullable<z.ZodObject<{
+        id: z.ZodString;
+        revision: z.ZodString;
+        digest: z.ZodObject<{
+            algorithm: z.ZodLiteral<"sha256">;
+            hex: z.ZodString;
+        }, z.core.$strict>;
+    }, z.core.$strict>>;
+    pins: z.ZodObject<{
+        fixtureRef: z.ZodObject<{
+            id: z.ZodString;
+            revision: z.ZodString;
+            digest: z.ZodObject<{
+                algorithm: z.ZodLiteral<"sha256">;
+                hex: z.ZodString;
+            }, z.core.$strict>;
+        }, z.core.$strict>;
+        seedRef: z.ZodObject<{
+            id: z.ZodString;
+            revision: z.ZodString;
+            digest: z.ZodObject<{
+                algorithm: z.ZodLiteral<"sha256">;
+                hex: z.ZodString;
+            }, z.core.$strict>;
+        }, z.core.$strict>;
+        generatorRef: z.ZodObject<{
+            id: z.ZodString;
+            revision: z.ZodString;
+            digest: z.ZodObject<{
+                algorithm: z.ZodLiteral<"sha256">;
+                hex: z.ZodString;
+            }, z.core.$strict>;
+        }, z.core.$strict>;
+        runtimeRef: z.ZodObject<{
+            id: z.ZodString;
+            revision: z.ZodString;
+            digest: z.ZodObject<{
+                algorithm: z.ZodLiteral<"sha256">;
+                hex: z.ZodString;
+            }, z.core.$strict>;
+        }, z.core.$strict>;
+        configRef: z.ZodObject<{
+            id: z.ZodString;
+            revision: z.ZodString;
+            digest: z.ZodObject<{
+                algorithm: z.ZodLiteral<"sha256">;
+                hex: z.ZodString;
+            }, z.core.$strict>;
+        }, z.core.$strict>;
+        clockMode: z.ZodEnum<{
+            wall: "wall";
+            frozen: "frozen";
+            engine_virtual: "engine_virtual";
+        }>;
+        clockRef: z.ZodObject<{
+            id: z.ZodString;
+            revision: z.ZodString;
+            digest: z.ZodObject<{
+                algorithm: z.ZodLiteral<"sha256">;
+                hex: z.ZodString;
+            }, z.core.$strict>;
+        }, z.core.$strict>;
+    }, z.core.$strict>;
+    freshFixtureRefs: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        revision: z.ZodString;
+        digest: z.ZodObject<{
+            algorithm: z.ZodLiteral<"sha256">;
+            hex: z.ZodString;
+        }, z.core.$strict>;
+    }, z.core.$strict>>;
+    historyRef: z.ZodNullable<z.ZodObject<{
+        id: z.ZodString;
+        revision: z.ZodString;
+        digest: z.ZodObject<{
+            algorithm: z.ZodLiteral<"sha256">;
+            hex: z.ZodString;
+        }, z.core.$strict>;
+    }, z.core.$strict>>;
+    externalEffects: z.ZodEnum<{
+        none: "none";
+        declared_isolated: "declared_isolated";
+    }>;
+}, z.core.$strict>;

package/dist/protocol/schemas/capabilityLifecycle.js

@@ -0,0 +1,47 @@
+/** Common lifecycle/reporting invariants; provider-specific mutations remain typed capabilities. */
+import { z } from 'zod';
+import { IdString, RefSchema, PositiveInt, Millis, NonNegInt, DigestSchema } from "../primitives.js";
+import { CapabilityBinding, NativeEvidence } from "./capability.js";
+export const CapabilityRetryPolicy = z.object({ maxAttempts: PositiveInt.max(10), baseDelayMs: Millis, maxDelayMs: Millis,
+    maxElapsedMs: Millis, maxRequests: NonNegInt }).strict();
+export const CapabilityRetryState = z.object({ attemptNumber: PositiveInt, elapsedMs: Millis, requestsUsed: NonNegInt,
+    remainingDeadlineMs: Millis, retryAfterMs: Millis.nullable(),
+    failure: z.enum(['transport', 'setup', 'assertion', 'cancelled', 'unsupported']),
+    effects: z.enum(['none', 'acknowledged', 'ambiguous']), mutating: z.boolean(),
+    idempotency: z.object({ key: IdString, requestDigest: DigestSchema, authorityRef: RefSchema }).strict().nullable(),
+    priorAttemptRef: RefSchema, retainedArtifactRefs: z.array(RefSchema).max(500),
+}).strict();
+export const CapabilityLifecycleCheckpoint = z.object({ schemaVersion: z.literal('workflow.capability-lifecycle-checkpoint/v1'),
+    binding: CapabilityBinding, operationId: IdString, inventory: z.array(z.object({ resourceRef: RefSchema, leaseRef: RefSchema,
+        state: z.enum(['reserved', 'created', 'effect_unacknowledged', 'cleanup_pending', 'cleanup_failed', 'removed']),
+        evidenceRefs: z.array(RefSchema).max(32),
+    }).strict()).max(500),
+}).strict().superRefine((value, ctx) => {
+    if (new Set(value.inventory.map(item => JSON.stringify(item.resourceRef))).size !== value.inventory.length)
+        ctx.addIssue({ code: 'custom', message: 'duplicate owned inventory' });
+    if (value.inventory.some(item => item.state === 'removed' && !item.evidenceRefs.length))
+        ctx.addIssue({ code: 'custom', message: 'removed resources require cleanup evidence' });
+});
+export const CapabilityArtifactManifest = z.object({ schemaVersion: z.literal('workflow.capability-artifact-manifest/v1'),
+    binding: CapabilityBinding, publication: z.enum(['incomplete', 'committed']), artifacts: z.array(z.object({ fileName: z.string().regex(/^[a-f0-9]{64}\.(?:json|jsonl|xml|webm|png|zip|txt)$/),
+        artifact: NativeEvidence,
+    }).strict()).max(500),
+}).strict().superRefine((value, ctx) => {
+    if (value.publication === 'committed' && (!value.artifacts.length || value.artifacts.some(item => item.artifact.redaction === 'unavailable')))
+        ctx.addIssue({ code: 'custom', message: 'committed manifest requires available artifact evidence' });
+    const names = value.artifacts.map(item => item.fileName);
+    if (new Set(names).size !== names.length || names.join('\n') !== [...names].sort().join('\n'))
+        ctx.addIssue({ code: 'custom', message: 'artifact names must be unique and sorted' });
+    if (value.artifacts.some(item => !item.fileName.startsWith(`${item.artifact.ref.digest.hex}.`)))
+        ctx.addIssue({ code: 'custom', message: 'filename must bind content digest' });
+});
+export const CapabilityReplayPlan = z.object({ schemaVersion: z.literal('workflow.capability-replay-plan/v1'),
+    mode: z.enum(['evidence_playback', 'fixture_rerun', 'recorded_io_rerun', 'workflow_history_replay']),
+    sourceReceiptRef: RefSchema, sourceBinding: CapabilityBinding, targetBinding: CapabilityBinding.nullable(),
+    sourceCodeRef: RefSchema, targetCodeRef: RefSchema, compatibilityReviewRef: RefSchema.nullable(),
+    pins: z.object({ fixtureRef: RefSchema, seedRef: RefSchema, generatorRef: RefSchema, runtimeRef: RefSchema, configRef: RefSchema,
+        clockMode: z.enum(['wall', 'frozen', 'engine_virtual']), clockRef: RefSchema }).strict(),
+    freshFixtureRefs: z.array(RefSchema).max(64), historyRef: RefSchema.nullable(),
+    externalEffects: z.enum(['none', 'declared_isolated']),
+}).strict();
+//# sourceMappingURL=capabilityLifecycle.js.map

package/dist/protocol/schemas/capabilityLifecycle.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"capabilityLifecycle.js","sourceRoot":"","sources":["../../../src/protocol/schemas/capabilityLifecycle.ts"],"names":[],"mappings":"AAAA,oGAAoG;AACpG,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AACrG,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAEpE,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM;IACvH,YAAY,EAAE,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;AAC3D,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,aAAa,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,EAAE,YAAY,EAAE,SAAS;IACnH,mBAAmB,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,CAAC,QAAQ,EAAE;IAC5D,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,aAAa,CAAC,CAAC;IAChF,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,cAAc,EAAE,WAAW,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,OAAO,EAAE;IAC7E,WAAW,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,aAAa,EAAE,YAAY,EAAE,YAAY,EAAE,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAClH,eAAe,EAAE,SAAS,EAAE,oBAAoB,EAAE,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;CAC9E,CAAC,CAAC,MAAM,EAAE,CAAC;AACZ,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,OAAO,CAAC,6CAA6C,CAAC;IAC7H,OAAO,EAAE,iBAAiB,EAAE,WAAW,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS;QAC1H,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,SAAS,EAAE,uBAAuB,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,SAAS,CAAC,CAAC;QAC/G,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;KACzC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;CACtB,CAAC,CAAC,MAAM,EAAE,CAAC,WAAW,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE;IACrC,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,SAAS,CAAC,MAAM;QAAE,GAAG,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,2BAA2B,EAAE,CAAC,CAAC;IACnL,IAAI,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC;QAAE,GAAG,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,4CAA4C,EAAE,CAAC,CAAC;AACnL,CAAC,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,OAAO,CAAC,0CAA0C,CAAC;IACvH,OAAO,EAAE,iBAAiB,EAAE,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,qDAAqD,CAAC;QAC3L,QAAQ,EAAE,cAAc;KACzB,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;CACtB,CAAC,CAAC,MAAM,EAAE,CAAC,WAAW,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE;IACrC,IAAI,KAAK,CAAC,WAAW,KAAK,WAAW,IAAI,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,IAAI,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,KAAK,aAAa,CAAC,CAAC;QAAE,GAAG,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,yDAAyD,EAAE,CAAC,CAAC;IACpP,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACzD,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,GAAG,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,0CAA0C,EAAE,CAAC,CAAC;IACrL,IAAI,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC;QAAE,GAAG,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,mCAAmC,EAAE,CAAC,CAAC;AAClL,CAAC,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,OAAO,CAAC,oCAAoC,CAAC;IAC3G,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,mBAAmB,EAAE,eAAe,EAAE,mBAAmB,EAAE,yBAAyB,CAAC,CAAC;IACpG,gBAAgB,EAAE,SAAS,EAAE,aAAa,EAAE,iBAAiB,EAAE,aAAa,EAAE,iBAAiB,CAAC,QAAQ,EAAE;IAC1G,aAAa,EAAE,SAAS,EAAE,aAAa,EAAE,SAAS,EAAE,sBAAsB,EAAE,SAAS,CAAC,QAAQ,EAAE;IAChG,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS;QAC9H,SAAS,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,gBAAgB,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;IAC1F,gBAAgB,EAAE,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,UAAU,EAAE,SAAS,CAAC,QAAQ,EAAE;IAC9E,eAAe,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;CACvD,CAAC,CAAC,MAAM,EAAE,CAAC"}

package/dist/protocol/schemas/cleanup.d.ts

@@ -0,0 +1,109 @@
+import { z } from 'zod';
+/** Supplied by the trusted ownership/effect ledger, never by the worker report. */
+export declare const CleanupExpectationSchema: z.ZodObject<{
+    effectIds: z.ZodArray<z.ZodString>;
+    unresolvedEffectIds: z.ZodArray<z.ZodString>;
+    ownershipLedgerHeadDigest: z.ZodString;
+    resources: z.ZodArray<z.ZodObject<{
+        entityKey: z.ZodString;
+        physicalId: z.ZodString;
+        boundaryId: z.ZodString;
+        check: z.ZodEnum<{
+            http_absence: "http_absence";
+            host_stop: "host_stop";
+        }>;
+    }, z.core.$strict>>;
+    scopeId: z.ZodString;
+    attemptId: z.ZodString;
+    workerId: z.ZodString;
+    generation: z.ZodNumber;
+    coordinationVersion: z.ZodNumber;
+    schemaVersion: z.ZodLiteral<"workflow.cleanup-expectation/v1">;
+}, z.core.$strict>;
+export type CleanupExpectation = z.infer<typeof CleanupExpectationSchema>;
+export declare const WorkflowOwnershipSchema: z.ZodObject<{
+    hostReceiptDigest: z.ZodString;
+    hostResources: z.ZodArray<z.ZodObject<{
+        entityKey: z.ZodString;
+        physicalId: z.ZodString;
+        boundaryId: z.ZodString;
+        check: z.ZodEnum<{
+            http_absence: "http_absence";
+            host_stop: "host_stop";
+        }>;
+    }, z.core.$strict>>;
+    effects: z.ZodArray<z.ZodObject<{
+        effectId: z.ZodString;
+        receiptDigest: z.ZodString;
+        resources: z.ZodArray<z.ZodObject<{
+            entityKey: z.ZodString;
+            physicalId: z.ZodString;
+            boundaryId: z.ZodString;
+            check: z.ZodEnum<{
+                http_absence: "http_absence";
+                host_stop: "host_stop";
+            }>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export type WorkflowOwnership = z.infer<typeof WorkflowOwnershipSchema>;
+export declare const CleanupFollowupSchema: z.ZodObject<{
+    observerId: z.ZodString;
+    expectationDigest: z.ZodString;
+    observedAt: z.ZodNumber;
+    expiresAt: z.ZodNumber;
+    evidence: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"http_absence">;
+        entityKey: z.ZodString;
+        receiptDigest: z.ZodString;
+        method: z.ZodEnum<{
+            GET: "GET";
+            HEAD: "HEAD";
+        }>;
+        status: z.ZodUnion<readonly [z.ZodLiteral<404>, z.ZodLiteral<410>]>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"host_stop">;
+        entityKey: z.ZodString;
+        receiptDigest: z.ZodString;
+    }, z.core.$strict>], "kind">>;
+    scopeId: z.ZodString;
+    attemptId: z.ZodString;
+    workerId: z.ZodString;
+    generation: z.ZodNumber;
+    coordinationVersion: z.ZodNumber;
+    schemaVersion: z.ZodLiteral<"workflow.cleanup-followup/v1">;
+}, z.core.$strict>;
+export type CleanupFollowup = z.infer<typeof CleanupFollowupSchema>;
+export declare const SignedCleanupFollowupSchema: z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"workflow.signed-cleanup-followup/v1">;
+    algorithm: z.ZodLiteral<"ed25519">;
+    keyId: z.ZodString;
+    followup: z.ZodObject<{
+        observerId: z.ZodString;
+        expectationDigest: z.ZodString;
+        observedAt: z.ZodNumber;
+        expiresAt: z.ZodNumber;
+        evidence: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            kind: z.ZodLiteral<"http_absence">;
+            entityKey: z.ZodString;
+            receiptDigest: z.ZodString;
+            method: z.ZodEnum<{
+                GET: "GET";
+                HEAD: "HEAD";
+            }>;
+            status: z.ZodUnion<readonly [z.ZodLiteral<404>, z.ZodLiteral<410>]>;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"host_stop">;
+            entityKey: z.ZodString;
+            receiptDigest: z.ZodString;
+        }, z.core.$strict>], "kind">>;
+        scopeId: z.ZodString;
+        attemptId: z.ZodString;
+        workerId: z.ZodString;
+        generation: z.ZodNumber;
+        coordinationVersion: z.ZodNumber;
+        schemaVersion: z.ZodLiteral<"workflow.cleanup-followup/v1">;
+    }, z.core.$strict>;
+    signature: z.ZodString;
+}, z.core.$strict>;
+export type SignedCleanupFollowup = z.infer<typeof SignedCleanupFollowupSchema>;