taskflow-mcp-core 0.3.0-beta.1.1 → 1.0.0

package/dist/control/schema/commands.d.ts

@@ -0,0 +1,663 @@
+/**
+ * Command + event wire types (🟥 NEW) — the authoritative narrative.
+ *
+ * Decisions: P12 (immutable CommandRecord committed atomically with its
+ * ControlEvents; `(controlDomainId, commandId)` unique), P11 (commitSeq never
+ * renumbered; CompactionCheckpointEvent as the only authoritative cursor
+ * floor; cursor leases).
+ */
+import { Type, type Static } from "typebox";
+import { CONTROL_WIRE_SCHEMA_VERSION } from "./common.ts";
+import { type ArtifactRef } from "./evidence.ts";
+export declare const CommandKindSchema: import("typebox").TUnsafe<string>;
+export type CommandKind = "run.submit" | "run.cancel" | "approval.decide" | "coordinator.setMaxActiveRuns" | "coordinator.forceRelease";
+export declare const CommandStatusSchema: import("typebox").TUnsafe<string>;
+export type CommandStatus = "accepted" | "completed" | "failed";
+export declare const CommandRecordSchema: Type.TObject<{
+    commandId: Type.TString;
+    kind: import("typebox").TUnsafe<string>;
+    requestHash: Type.TString;
+    callerPrincipal: Type.TString;
+    authorizationContextHash: Type.TString;
+    projectId: Type.TString;
+    controlDomainId: Type.TString;
+    status: import("typebox").TUnsafe<string>;
+    firstCommitSeq: Type.TInteger;
+    lastCommitSeq: Type.TInteger;
+    responseArtifactRef: Type.TOptional<Type.TObject<{
+        digest: Type.TString;
+        size: Type.TInteger;
+        mediaType: Type.TString;
+        storageClass: Type.TString;
+        redactionClass: Type.TString;
+    }>>;
+    recordedAt: Type.TInteger;
+}>;
+export type CommandRecord = {
+    commandId: string;
+    kind: CommandKind;
+    requestHash: string;
+    callerPrincipal: string;
+    authorizationContextHash: string;
+    projectId: string;
+    controlDomainId: string;
+    status: CommandStatus;
+    firstCommitSeq: number;
+    lastCommitSeq: number;
+    responseArtifactRef?: ArtifactRef;
+    recordedAt: number;
+};
+export declare const LegacyControlEventPayloadSchema: Type.TUnion<[Type.TObject<{
+    kind: Type.TLiteral<"command.recorded">;
+    commandId: Type.TString;
+}>, Type.TObject<{
+    kind: Type.TLiteral<"reconcile.started">;
+    attempt: Type.TInteger;
+}>, Type.TObject<{
+    kind: Type.TLiteral<"reconcile.settled">;
+    outcome: import("typebox").TUnsafe<string>;
+    terminalStatus: Type.TOptional<import("typebox").TUnsafe<string>>;
+}>, Type.TObject<{
+    kind: Type.TLiteral<"dispatch.acknowledged">;
+    providerJobHandle: Type.TOptional<Type.TString>;
+}>, Type.TObject<{
+    kind: Type.TLiteral<"dispatch.rejected">;
+    reason: Type.TString;
+}>, Type.TObject<{
+    kind: Type.TLiteral<"dispatch.ambiguous">;
+}>, Type.TObject<{
+    kind: Type.TLiteral<"run.terminal">;
+    status: import("typebox").TUnsafe<string>;
+}>, Type.TObject<{
+    kind: Type.TLiteral<"approval.pending">;
+    approvalRequestId: Type.TString;
+}>, Type.TObject<{
+    kind: Type.TLiteral<"approval.settled">;
+    decision: import("typebox").TUnsafe<string>;
+}>, Type.TObject<{
+    kind: Type.TLiteral<"compaction.checkpoint">;
+    throughCommitSeq: Type.TInteger;
+}>]>;
+/** V2 carries complete approval and lifecycle facts. V1 remains read-only. */
+declare const LifecycleEventPayloadSchema: Type.TUnion<[Type.TObject<{
+    kind: Type.TLiteral<"approval.pending">;
+    approvalRequestId: Type.TString;
+    request: Type.TObject<{
+        approvalRequestId: Type.TString;
+        runId: Type.TString;
+        nodeInstanceId: Type.TString;
+        boundPlanHash: Type.TOptional<Type.TString>;
+        boundFragmentHash: Type.TOptional<Type.TString>;
+        expectedRunVersion: Type.TInteger;
+        allowedDecisions: Type.TArray<import("typebox").TUnsafe<string>>;
+        owner: Type.TString;
+        audience: Type.TOptional<Type.TArray<Type.TString>>;
+        requiredPrincipals: Type.TOptional<Type.TArray<Type.TString>>;
+        deadline: Type.TInteger;
+        timeoutPolicy: import("typebox").TUnsafe<string>;
+        status: import("typebox").TUnsafe<string>;
+        createdAt: Type.TInteger;
+        decidedAt: Type.TOptional<Type.TInteger>;
+        decisionCommandId: Type.TOptional<Type.TString>;
+        decisionEventId: Type.TOptional<Type.TString>;
+        decisionCommitSeq: Type.TOptional<Type.TInteger>;
+        editArtifactRef: Type.TOptional<Type.TObject<{
+            digest: Type.TString;
+            size: Type.TInteger;
+            mediaType: Type.TString;
+            storageClass: Type.TString;
+            redactionClass: Type.TString;
+        }>>;
+        editKind: Type.TOptional<import("typebox").TUnsafe<string>>;
+    }>;
+}>, Type.TObject<{
+    kind: Type.TLiteral<"approval.settled">;
+    approvalRequestId: Type.TString;
+    decision: import("typebox").TUnsafe<string>;
+}>, Type.TObject<{
+    kind: Type.TLiteral<"run.snapshot">;
+    run: Type.TObject<{
+        runId: Type.TString;
+        projectId: Type.TString;
+        controlDomainId: Type.TString;
+        status: import("typebox").TUnsafe<string>;
+        stage: import("typebox").TUnsafe<string>;
+        slot: import("typebox").TUnsafe<string>;
+        needsOperator: Type.TBoolean;
+        runVersion: Type.TInteger;
+        boundPlanHash: Type.TOptional<Type.TString>;
+        boundFragmentHash: Type.TOptional<Type.TString>;
+        reservationId: Type.TOptional<Type.TString>;
+        owner: Type.TOptional<Type.TObject<{
+            runId: Type.TString;
+            phaseId: Type.TString;
+            attemptId: Type.TString;
+            unitId: Type.TString;
+            ancestry: Type.TArray<Type.TString>;
+        }>>;
+        policyHash: Type.TOptional<Type.TString>;
+        authorityEpoch: Type.TOptional<Type.TInteger>;
+        requiresReadmission: Type.TOptional<Type.TBoolean>;
+        projectAdmitCommitSeq: Type.TOptional<Type.TInteger>;
+    }>;
+}>, Type.TObject<{
+    kind: Type.TLiteral<"approval.release.queued">;
+    approvalRequestId: Type.TString;
+    intentId: Type.TString;
+    reservationId: Type.TString;
+}>, Type.TObject<{
+    kind: Type.TLiteral<"approval.release.completed">;
+    approvalRequestId: Type.TString;
+    intentId: Type.TString;
+    reservationId: Type.TString;
+}>, Type.TObject<{
+    kind: Type.TLiteral<"approval.readmission.queued">;
+    approvalRequestId: Type.TString;
+    intentId: Type.TString;
+    reservationId: Type.TString;
+}>, Type.TObject<{
+    kind: Type.TLiteral<"approval.readmission.completed">;
+    approvalRequestId: Type.TString;
+    intentId: Type.TString;
+    reservationId: Type.TString;
+}>, Type.TObject<{
+    kind: Type.TLiteral<"receipt.issued">;
+    receipt: Type.TObject<{
+        schemaVersion: Type.TLiteral<2>;
+        controlDomainId: Type.TString;
+        runId: Type.TString;
+        boundPlanHash: Type.TOptional<Type.TString>;
+        boundFragmentHash: Type.TOptional<Type.TString>;
+        eventManifest: Type.TArray<Type.TString>;
+        manifestRoot: Type.TString;
+        startCommitSeq: Type.TInteger;
+        endCommitSeq: Type.TInteger;
+        artifactRefs: Type.TArray<Type.TObject<{
+            digest: Type.TString;
+            size: Type.TInteger;
+            mediaType: Type.TString;
+            storageClass: Type.TString;
+            redactionClass: Type.TString;
+        }>>;
+        assurance: Type.TObject<{
+            journalContinuity: Type.TBoolean;
+            providerOutcome: import("typebox").TUnsafe<string>;
+            artifactIntegrity: import("typebox").TUnsafe<string>;
+            provenance: Type.TObject<{
+                confidentiality: import("typebox").TUnsafe<string>;
+                integrity: import("typebox").TUnsafe<string>;
+            }>;
+            enforcement: Type.TObject<{
+                capabilities: Type.TObject<{
+                    resolution: import("typebox").TUnsafe<string>;
+                    mutationMediation: import("typebox").TUnsafe<string>;
+                    processIsolation: import("typebox").TUnsafe<string>;
+                    revocation: Type.TUnion<[Type.TLiteral<"admission-only">, Type.TLiteral<"per-mutation">, Type.TObject<{
+                        mode: Type.TLiteral<"bounded-latency">;
+                        maxLatencyMs: Type.TInteger;
+                    }>]>;
+                    baselinePolicyId: Type.TString;
+                    hostProbeSha256: Type.TString;
+                }>;
+                observedRevocationLatencyMs: Type.TOptional<Type.TInteger>;
+            }>;
+        }>;
+        buildInfo: Type.TObject<{
+            packageVersion: Type.TString;
+            gitCommit: Type.TString;
+            schemaVersion: Type.TInteger;
+            buildTime: Type.TOptional<Type.TInteger>;
+        }>;
+    }>;
+}>, Type.TObject<{
+    kind: Type.TLiteral<"artifact.recorded">;
+    runId: Type.TString;
+    commandKind: import("typebox").TUnsafe<string>;
+    artifact: Type.TObject<{
+        digest: Type.TString;
+        size: Type.TInteger;
+        mediaType: Type.TString;
+        storageClass: Type.TString;
+        redactionClass: Type.TString;
+    }>;
+}>]>;
+export declare const ControlEventPayloadSchema: Type.TUnion<[...(Type.TObject<{
+    kind: Type.TLiteral<"command.recorded">;
+    commandId: Type.TString;
+}> | Type.TObject<{
+    kind: Type.TLiteral<"reconcile.started">;
+    attempt: Type.TInteger;
+}> | Type.TObject<{
+    kind: Type.TLiteral<"reconcile.settled">;
+    outcome: import("typebox").TUnsafe<string>;
+    terminalStatus: Type.TOptional<import("typebox").TUnsafe<string>>;
+}> | Type.TObject<{
+    kind: Type.TLiteral<"dispatch.acknowledged">;
+    providerJobHandle: Type.TOptional<Type.TString>;
+}> | Type.TObject<{
+    kind: Type.TLiteral<"dispatch.rejected">;
+    reason: Type.TString;
+}> | Type.TObject<{
+    kind: Type.TLiteral<"dispatch.ambiguous">;
+}> | Type.TObject<{
+    kind: Type.TLiteral<"run.terminal">;
+    status: import("typebox").TUnsafe<string>;
+}> | Type.TObject<{
+    kind: Type.TLiteral<"approval.pending">;
+    approvalRequestId: Type.TString;
+}> | Type.TObject<{
+    kind: Type.TLiteral<"approval.settled">;
+    decision: import("typebox").TUnsafe<string>;
+}> | Type.TObject<{
+    kind: Type.TLiteral<"compaction.checkpoint">;
+    throughCommitSeq: Type.TInteger;
+}>)[], Type.TObject<{
+    kind: Type.TLiteral<"approval.pending">;
+    approvalRequestId: Type.TString;
+    request: Type.TObject<{
+        approvalRequestId: Type.TString;
+        runId: Type.TString;
+        nodeInstanceId: Type.TString;
+        boundPlanHash: Type.TOptional<Type.TString>;
+        boundFragmentHash: Type.TOptional<Type.TString>;
+        expectedRunVersion: Type.TInteger;
+        allowedDecisions: Type.TArray<import("typebox").TUnsafe<string>>;
+        owner: Type.TString;
+        audience: Type.TOptional<Type.TArray<Type.TString>>;
+        requiredPrincipals: Type.TOptional<Type.TArray<Type.TString>>;
+        deadline: Type.TInteger;
+        timeoutPolicy: import("typebox").TUnsafe<string>;
+        status: import("typebox").TUnsafe<string>;
+        createdAt: Type.TInteger;
+        decidedAt: Type.TOptional<Type.TInteger>;
+        decisionCommandId: Type.TOptional<Type.TString>;
+        decisionEventId: Type.TOptional<Type.TString>;
+        decisionCommitSeq: Type.TOptional<Type.TInteger>;
+        editArtifactRef: Type.TOptional<Type.TObject<{
+            digest: Type.TString;
+            size: Type.TInteger;
+            mediaType: Type.TString;
+            storageClass: Type.TString;
+            redactionClass: Type.TString;
+        }>>;
+        editKind: Type.TOptional<import("typebox").TUnsafe<string>>;
+    }>;
+}>, Type.TObject<{
+    kind: Type.TLiteral<"approval.settled">;
+    approvalRequestId: Type.TString;
+    decision: import("typebox").TUnsafe<string>;
+}>, Type.TObject<{
+    kind: Type.TLiteral<"run.snapshot">;
+    run: Type.TObject<{
+        runId: Type.TString;
+        projectId: Type.TString;
+        controlDomainId: Type.TString;
+        status: import("typebox").TUnsafe<string>;
+        stage: import("typebox").TUnsafe<string>;
+        slot: import("typebox").TUnsafe<string>;
+        needsOperator: Type.TBoolean;
+        runVersion: Type.TInteger;
+        boundPlanHash: Type.TOptional<Type.TString>;
+        boundFragmentHash: Type.TOptional<Type.TString>;
+        reservationId: Type.TOptional<Type.TString>;
+        owner: Type.TOptional<Type.TObject<{
+            runId: Type.TString;
+            phaseId: Type.TString;
+            attemptId: Type.TString;
+            unitId: Type.TString;
+            ancestry: Type.TArray<Type.TString>;
+        }>>;
+        policyHash: Type.TOptional<Type.TString>;
+        authorityEpoch: Type.TOptional<Type.TInteger>;
+        requiresReadmission: Type.TOptional<Type.TBoolean>;
+        projectAdmitCommitSeq: Type.TOptional<Type.TInteger>;
+    }>;
+}>, Type.TObject<{
+    kind: Type.TLiteral<"approval.release.queued">;
+    approvalRequestId: Type.TString;
+    intentId: Type.TString;
+    reservationId: Type.TString;
+}>, Type.TObject<{
+    kind: Type.TLiteral<"approval.release.completed">;
+    approvalRequestId: Type.TString;
+    intentId: Type.TString;
+    reservationId: Type.TString;
+}>, Type.TObject<{
+    kind: Type.TLiteral<"approval.readmission.queued">;
+    approvalRequestId: Type.TString;
+    intentId: Type.TString;
+    reservationId: Type.TString;
+}>, Type.TObject<{
+    kind: Type.TLiteral<"approval.readmission.completed">;
+    approvalRequestId: Type.TString;
+    intentId: Type.TString;
+    reservationId: Type.TString;
+}>, Type.TObject<{
+    kind: Type.TLiteral<"receipt.issued">;
+    receipt: Type.TObject<{
+        schemaVersion: Type.TLiteral<2>;
+        controlDomainId: Type.TString;
+        runId: Type.TString;
+        boundPlanHash: Type.TOptional<Type.TString>;
+        boundFragmentHash: Type.TOptional<Type.TString>;
+        eventManifest: Type.TArray<Type.TString>;
+        manifestRoot: Type.TString;
+        startCommitSeq: Type.TInteger;
+        endCommitSeq: Type.TInteger;
+        artifactRefs: Type.TArray<Type.TObject<{
+            digest: Type.TString;
+            size: Type.TInteger;
+            mediaType: Type.TString;
+            storageClass: Type.TString;
+            redactionClass: Type.TString;
+        }>>;
+        assurance: Type.TObject<{
+            journalContinuity: Type.TBoolean;
+            providerOutcome: import("typebox").TUnsafe<string>;
+            artifactIntegrity: import("typebox").TUnsafe<string>;
+            provenance: Type.TObject<{
+                confidentiality: import("typebox").TUnsafe<string>;
+                integrity: import("typebox").TUnsafe<string>;
+            }>;
+            enforcement: Type.TObject<{
+                capabilities: Type.TObject<{
+                    resolution: import("typebox").TUnsafe<string>;
+                    mutationMediation: import("typebox").TUnsafe<string>;
+                    processIsolation: import("typebox").TUnsafe<string>;
+                    revocation: Type.TUnion<[Type.TLiteral<"admission-only">, Type.TLiteral<"per-mutation">, Type.TObject<{
+                        mode: Type.TLiteral<"bounded-latency">;
+                        maxLatencyMs: Type.TInteger;
+                    }>]>;
+                    baselinePolicyId: Type.TString;
+                    hostProbeSha256: Type.TString;
+                }>;
+                observedRevocationLatencyMs: Type.TOptional<Type.TInteger>;
+            }>;
+        }>;
+        buildInfo: Type.TObject<{
+            packageVersion: Type.TString;
+            gitCommit: Type.TString;
+            schemaVersion: Type.TInteger;
+            buildTime: Type.TOptional<Type.TInteger>;
+        }>;
+    }>;
+}>, Type.TObject<{
+    kind: Type.TLiteral<"artifact.recorded">;
+    runId: Type.TString;
+    commandKind: import("typebox").TUnsafe<string>;
+    artifact: Type.TObject<{
+        digest: Type.TString;
+        size: Type.TInteger;
+        mediaType: Type.TString;
+        storageClass: Type.TString;
+        redactionClass: Type.TString;
+    }>;
+}>]>;
+export type ControlEventPayload = Static<typeof LifecycleEventPayloadSchema> | Static<typeof LegacyControlEventPayloadSchema>;
+export declare const ControlEventSchema: Type.TUnion<[Type.TObject<{
+    eventId: Type.TString;
+    schemaVersion: Type.TLiteral<2>;
+    controlDomainId: Type.TString;
+    streamId: Type.TString;
+    streamSeq: Type.TInteger;
+    commitSeq: Type.TInteger;
+    commandId: Type.TOptional<Type.TString>;
+    commandEventIndex: Type.TOptional<Type.TInteger>;
+    causationId: Type.TString;
+    correlationId: Type.TString;
+    projectId: Type.TString;
+    recordedAt: Type.TInteger;
+    payload: Type.TUnion<[...(Type.TObject<{
+        kind: Type.TLiteral<"command.recorded">;
+        commandId: Type.TString;
+    }> | Type.TObject<{
+        kind: Type.TLiteral<"reconcile.started">;
+        attempt: Type.TInteger;
+    }> | Type.TObject<{
+        kind: Type.TLiteral<"reconcile.settled">;
+        outcome: import("typebox").TUnsafe<string>;
+        terminalStatus: Type.TOptional<import("typebox").TUnsafe<string>>;
+    }> | Type.TObject<{
+        kind: Type.TLiteral<"dispatch.acknowledged">;
+        providerJobHandle: Type.TOptional<Type.TString>;
+    }> | Type.TObject<{
+        kind: Type.TLiteral<"dispatch.rejected">;
+        reason: Type.TString;
+    }> | Type.TObject<{
+        kind: Type.TLiteral<"dispatch.ambiguous">;
+    }> | Type.TObject<{
+        kind: Type.TLiteral<"run.terminal">;
+        status: import("typebox").TUnsafe<string>;
+    }> | Type.TObject<{
+        kind: Type.TLiteral<"approval.pending">;
+        approvalRequestId: Type.TString;
+    }> | Type.TObject<{
+        kind: Type.TLiteral<"approval.settled">;
+        decision: import("typebox").TUnsafe<string>;
+    }> | Type.TObject<{
+        kind: Type.TLiteral<"compaction.checkpoint">;
+        throughCommitSeq: Type.TInteger;
+    }>)[], Type.TObject<{
+        kind: Type.TLiteral<"approval.pending">;
+        approvalRequestId: Type.TString;
+        request: Type.TObject<{
+            approvalRequestId: Type.TString;
+            runId: Type.TString;
+            nodeInstanceId: Type.TString;
+            boundPlanHash: Type.TOptional<Type.TString>;
+            boundFragmentHash: Type.TOptional<Type.TString>;
+            expectedRunVersion: Type.TInteger;
+            allowedDecisions: Type.TArray<import("typebox").TUnsafe<string>>;
+            owner: Type.TString;
+            audience: Type.TOptional<Type.TArray<Type.TString>>;
+            requiredPrincipals: Type.TOptional<Type.TArray<Type.TString>>;
+            deadline: Type.TInteger;
+            timeoutPolicy: import("typebox").TUnsafe<string>;
+            status: import("typebox").TUnsafe<string>;
+            createdAt: Type.TInteger;
+            decidedAt: Type.TOptional<Type.TInteger>;
+            decisionCommandId: Type.TOptional<Type.TString>;
+            decisionEventId: Type.TOptional<Type.TString>;
+            decisionCommitSeq: Type.TOptional<Type.TInteger>;
+            editArtifactRef: Type.TOptional<Type.TObject<{
+                digest: Type.TString;
+                size: Type.TInteger;
+                mediaType: Type.TString;
+                storageClass: Type.TString;
+                redactionClass: Type.TString;
+            }>>;
+            editKind: Type.TOptional<import("typebox").TUnsafe<string>>;
+        }>;
+    }>, Type.TObject<{
+        kind: Type.TLiteral<"approval.settled">;
+        approvalRequestId: Type.TString;
+        decision: import("typebox").TUnsafe<string>;
+    }>, Type.TObject<{
+        kind: Type.TLiteral<"run.snapshot">;
+        run: Type.TObject<{
+            runId: Type.TString;
+            projectId: Type.TString;
+            controlDomainId: Type.TString;
+            status: import("typebox").TUnsafe<string>;
+            stage: import("typebox").TUnsafe<string>;
+            slot: import("typebox").TUnsafe<string>;
+            needsOperator: Type.TBoolean;
+            runVersion: Type.TInteger;
+            boundPlanHash: Type.TOptional<Type.TString>;
+            boundFragmentHash: Type.TOptional<Type.TString>;
+            reservationId: Type.TOptional<Type.TString>;
+            owner: Type.TOptional<Type.TObject<{
+                runId: Type.TString;
+                phaseId: Type.TString;
+                attemptId: Type.TString;
+                unitId: Type.TString;
+                ancestry: Type.TArray<Type.TString>;
+            }>>;
+            policyHash: Type.TOptional<Type.TString>;
+            authorityEpoch: Type.TOptional<Type.TInteger>;
+            requiresReadmission: Type.TOptional<Type.TBoolean>;
+            projectAdmitCommitSeq: Type.TOptional<Type.TInteger>;
+        }>;
+    }>, Type.TObject<{
+        kind: Type.TLiteral<"approval.release.queued">;
+        approvalRequestId: Type.TString;
+        intentId: Type.TString;
+        reservationId: Type.TString;
+    }>, Type.TObject<{
+        kind: Type.TLiteral<"approval.release.completed">;
+        approvalRequestId: Type.TString;
+        intentId: Type.TString;
+        reservationId: Type.TString;
+    }>, Type.TObject<{
+        kind: Type.TLiteral<"approval.readmission.queued">;
+        approvalRequestId: Type.TString;
+        intentId: Type.TString;
+        reservationId: Type.TString;
+    }>, Type.TObject<{
+        kind: Type.TLiteral<"approval.readmission.completed">;
+        approvalRequestId: Type.TString;
+        intentId: Type.TString;
+        reservationId: Type.TString;
+    }>, Type.TObject<{
+        kind: Type.TLiteral<"receipt.issued">;
+        receipt: Type.TObject<{
+            schemaVersion: Type.TLiteral<2>;
+            controlDomainId: Type.TString;
+            runId: Type.TString;
+            boundPlanHash: Type.TOptional<Type.TString>;
+            boundFragmentHash: Type.TOptional<Type.TString>;
+            eventManifest: Type.TArray<Type.TString>;
+            manifestRoot: Type.TString;
+            startCommitSeq: Type.TInteger;
+            endCommitSeq: Type.TInteger;
+            artifactRefs: Type.TArray<Type.TObject<{
+                digest: Type.TString;
+                size: Type.TInteger;
+                mediaType: Type.TString;
+                storageClass: Type.TString;
+                redactionClass: Type.TString;
+            }>>;
+            assurance: Type.TObject<{
+                journalContinuity: Type.TBoolean;
+                providerOutcome: import("typebox").TUnsafe<string>;
+                artifactIntegrity: import("typebox").TUnsafe<string>;
+                provenance: Type.TObject<{
+                    confidentiality: import("typebox").TUnsafe<string>;
+                    integrity: import("typebox").TUnsafe<string>;
+                }>;
+                enforcement: Type.TObject<{
+                    capabilities: Type.TObject<{
+                        resolution: import("typebox").TUnsafe<string>;
+                        mutationMediation: import("typebox").TUnsafe<string>;
+                        processIsolation: import("typebox").TUnsafe<string>;
+                        revocation: Type.TUnion<[Type.TLiteral<"admission-only">, Type.TLiteral<"per-mutation">, Type.TObject<{
+                            mode: Type.TLiteral<"bounded-latency">;
+                            maxLatencyMs: Type.TInteger;
+                        }>]>;
+                        baselinePolicyId: Type.TString;
+                        hostProbeSha256: Type.TString;
+                    }>;
+                    observedRevocationLatencyMs: Type.TOptional<Type.TInteger>;
+                }>;
+            }>;
+            buildInfo: Type.TObject<{
+                packageVersion: Type.TString;
+                gitCommit: Type.TString;
+                schemaVersion: Type.TInteger;
+                buildTime: Type.TOptional<Type.TInteger>;
+            }>;
+        }>;
+    }>, Type.TObject<{
+        kind: Type.TLiteral<"artifact.recorded">;
+        runId: Type.TString;
+        commandKind: import("typebox").TUnsafe<string>;
+        artifact: Type.TObject<{
+            digest: Type.TString;
+            size: Type.TInteger;
+            mediaType: Type.TString;
+            storageClass: Type.TString;
+            redactionClass: Type.TString;
+        }>;
+    }>]>;
+}>, Type.TObject<{
+    eventId: Type.TString;
+    controlDomainId: Type.TString;
+    streamId: Type.TString;
+    streamSeq: Type.TInteger;
+    commitSeq: Type.TInteger;
+    commandId: Type.TOptional<Type.TString>;
+    commandEventIndex: Type.TOptional<Type.TInteger>;
+    causationId: Type.TString;
+    correlationId: Type.TString;
+    projectId: Type.TString;
+    recordedAt: Type.TInteger;
+    schemaVersion: Type.TLiteral<1>;
+    payload: Type.TUnion<[Type.TObject<{
+        kind: Type.TLiteral<"command.recorded">;
+        commandId: Type.TString;
+    }>, Type.TObject<{
+        kind: Type.TLiteral<"reconcile.started">;
+        attempt: Type.TInteger;
+    }>, Type.TObject<{
+        kind: Type.TLiteral<"reconcile.settled">;
+        outcome: import("typebox").TUnsafe<string>;
+        terminalStatus: Type.TOptional<import("typebox").TUnsafe<string>>;
+    }>, Type.TObject<{
+        kind: Type.TLiteral<"dispatch.acknowledged">;
+        providerJobHandle: Type.TOptional<Type.TString>;
+    }>, Type.TObject<{
+        kind: Type.TLiteral<"dispatch.rejected">;
+        reason: Type.TString;
+    }>, Type.TObject<{
+        kind: Type.TLiteral<"dispatch.ambiguous">;
+    }>, Type.TObject<{
+        kind: Type.TLiteral<"run.terminal">;
+        status: import("typebox").TUnsafe<string>;
+    }>, Type.TObject<{
+        kind: Type.TLiteral<"approval.pending">;
+        approvalRequestId: Type.TString;
+    }>, Type.TObject<{
+        kind: Type.TLiteral<"approval.settled">;
+        decision: import("typebox").TUnsafe<string>;
+    }>, Type.TObject<{
+        kind: Type.TLiteral<"compaction.checkpoint">;
+        throughCommitSeq: Type.TInteger;
+    }>]>;
+}>]>;
+export type ControlEvent = {
+    eventId: string;
+    schemaVersion: 1 | typeof CONTROL_WIRE_SCHEMA_VERSION;
+    controlDomainId: string;
+    streamId: string;
+    streamSeq: number;
+    commitSeq: number;
+    commandId?: string;
+    commandEventIndex?: number;
+    causationId: string;
+    correlationId: string;
+    projectId: string;
+    recordedAt: number;
+    payload: ControlEventPayload;
+};
+export declare const CompactionCheckpointEventSchema: Type.TObject<{
+    kind: Type.TLiteral<"compaction.checkpoint">;
+    throughCommitSeq: Type.TInteger;
+}>;
+export type CompactionCheckpointEvent = {
+    kind: "compaction.checkpoint";
+    throughCommitSeq: number;
+};
+export declare const CursorStateSchema: Type.TObject<{
+    minAvailableCommitSeq: Type.TInteger;
+    cursorId: Type.TString;
+    leaseExpiresAt: Type.TInteger;
+}>;
+export type CursorState = {
+    minAvailableCommitSeq: number;
+    cursorId: string;
+    leaseExpiresAt: number;
+};
+/** Canonical request hash over the command body (P12 §9.4). */
+export declare function commandRequestHash(body: unknown): string;
+export {};
+//# sourceMappingURL=commands.d.ts.map

package/dist/control/schema/commands.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"commands.d.ts","sourceRoot":"","sources":["../../../../taskflow-control/src/schema/commands.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,EAAE,IAAI,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAC;AAG5C,OAAO,EACN,2BAA2B,EAG3B,MAAM,aAAa,CAAC;AACrB,OAAO,EAAoC,KAAK,WAAW,EAAE,MAAM,eAAe,CAAC;AAQnF,eAAO,MAAM,iBAAiB,mCAM5B,CAAC;AACH,MAAM,MAAM,WAAW,GAAG,YAAY,GAAG,YAAY,GAAG,iBAAiB,GAAG,8BAA8B,GAAG,0BAA0B,CAAC;AAExI,eAAO,MAAM,mBAAmB,mCAAkD,CAAC;AACnF,MAAM,MAAM,aAAa,GAAG,UAAU,GAAG,WAAW,GAAG,QAAQ,CAAC;AAMhE,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;EAgB/B,CAAC;AACF,MAAM,MAAM,aAAa,GAAG;IAC3B,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,WAAW,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,eAAe,EAAE,MAAM,CAAC;IACxB,wBAAwB,EAAE,MAAM,CAAC;IACjC,SAAS,EAAE,MAAM,CAAC;IAClB,eAAe,EAAE,MAAM,CAAC;IACxB,MAAM,EAAE,aAAa,CAAC;IACtB,cAAc,EAAE,MAAM,CAAC;IACvB,aAAa,EAAE,MAAM,CAAC;IACtB,mBAAmB,CAAC,EAAE,WAAW,CAAC;IAClC,UAAU,EAAE,MAAM,CAAC;CACnB,CAAC;AAQF,eAAO,MAAM,+BAA+B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IA+D1C,CAAC;AACH,8EAA8E;AAC9E,QAAA,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAU/B,CAAC;AAGH,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAGpC,CAAC;AACH,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,GAAG,MAAM,CAAC,OAAO,+BAA+B,CAAC,CAAC;AAwB9H,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAG7B,CAAC;AACH,MAAM,MAAM,YAAY,GAAG;IAC1B,OAAO,EAAE,MAAM,CAAC;IAChB,aAAa,EAAE,CAAC,GAAG,OAAO,2BAA2B,CAAC;IACtD,eAAe,EAAE,MAAM,CAAC;IACxB,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,WAAW,EAAE,MAAM,CAAC;IACpB,aAAa,EAAE,MAAM,CAAC;IACtB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,mBAAmB,CAAC;CAC7B,CAAC;AAMF,eAAO,MAAM,+BAA+B;;;EAM3C,CAAC;AACF,MAAM,MAAM,yBAAyB,GAAG;IAAE,IAAI,EAAE,uBAAuB,CAAC;IAAC,gBAAgB,EAAE,MAAM,CAAA;CAAE,CAAC;AAMpG,eAAO,MAAM,iBAAiB;;;;EAO7B,CAAC;AACF,MAAM,MAAM,WAAW,GAAG;IACzB,qBAAqB,EAAE,MAAM,CAAC;IAC9B,QAAQ,EAAE,MAAM,CAAC;IACjB,cAAc,EAAE,MAAM,CAAC;CACvB,CAAC;AAOF,+DAA+D;AAC/D,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,OAAO,GAAG,MAAM,CAExD"}