@cohesivesystems/processes 0.1.0-alpha.129

package/src/generated/processes.shapes.generated.ts

@@ -0,0 +1,1253 @@
+/* <auto-generated/> */
+
+import type { AggregateExpr, AggregateOperator, AnnotationKey, AnnotationValue, ArrayTypeRef, BinaryExpr, BinaryOperator, BindingExpr, CallExpr, CapabilityRealizationKind, ConditionalExpr, ConstantExpr, CurrentItemExpr, DiagnosticSeverity, DocumentDiagnosticEvidence, DocumentOrigin, DocumentValidationDiagnostic, EntityReferenceTypeRef, EntityTypeName, EnumTypeRef, Expr, FieldCardinality, FieldExpr, FieldNullability, FieldPath, FieldPathSegment, FieldPresence, FieldRefExpr, GraphId, JsonTypeKind, JsonTypeRef, LiteralExpr, NamedTypeRef, ObjectFieldTypeDef, ObjectTypeRef, OpaqueRuntimeTypeRef, ParameterExpr, PrimitiveFormat, QualifiedShapeId, QuantityTypeRef, ScalarTypeKind, ScalarTypeRef, SegmentKind, ShapeId, TypeId, TypeInferenceDiagnostic, TypeRef, UnaryExpr, UnaryOperator, ValueBindingId, ValueContract } from '@cohesivesystems/relations';
+
+export type { AggregateExpr, AggregateOperator, AnnotationKey, AnnotationValue, ArrayTypeRef, BinaryExpr, BinaryOperator, BindingExpr, CallExpr, CapabilityRealizationKind, ConditionalExpr, ConstantExpr, CurrentItemExpr, DiagnosticSeverity, DocumentDiagnosticEvidence, DocumentOrigin, DocumentValidationDiagnostic, EntityReferenceTypeRef, EntityTypeName, EnumTypeRef, Expr, FieldCardinality, FieldExpr, FieldNullability, FieldPath, FieldPathSegment, FieldPresence, FieldRefExpr, GraphId, JsonTypeKind, JsonTypeRef, LiteralExpr, NamedTypeRef, ObjectFieldTypeDef, ObjectTypeRef, OpaqueRuntimeTypeRef, ParameterExpr, PrimitiveFormat, QualifiedShapeId, QuantityTypeRef, ScalarTypeKind, ScalarTypeRef, SegmentKind, ShapeId, TypeId, TypeInferenceDiagnostic, TypeRef, UnaryExpr, UnaryOperator, ValueBindingId, ValueContract };
+
+export type ProcessControlDecisionDisposition = 'Unspecified' | 'Inspected' | 'Applied' | 'DeferredToSafePoint' | 'Replayed' | 'AlreadySatisfied' | 'AlreadyRequested' | 'SignalAccepted' | 'SignalBuffered' | 'SignalDuplicate' | 'ActivationStarted' | 'SafePointReached' | 'AffinityBound' | 'Unauthorized' | 'TargetMismatch' | 'StaleAttempt' | 'StaleRevision' | 'IdentityConflict' | 'IdempotencyConflict' | 'SignalConflict' | 'AffinityConflict' | 'InvalidState' | 'InvalidCommand' | 'CancellationFinalized';
+
+export const processControlDecisionDispositions = {
+  unspecified: 'Unspecified',
+  inspected: 'Inspected',
+  applied: 'Applied',
+  deferredToSafePoint: 'DeferredToSafePoint',
+  replayed: 'Replayed',
+  alreadySatisfied: 'AlreadySatisfied',
+  alreadyRequested: 'AlreadyRequested',
+  signalAccepted: 'SignalAccepted',
+  signalBuffered: 'SignalBuffered',
+  signalDuplicate: 'SignalDuplicate',
+  activationStarted: 'ActivationStarted',
+  safePointReached: 'SafePointReached',
+  affinityBound: 'AffinityBound',
+  unauthorized: 'Unauthorized',
+  targetMismatch: 'TargetMismatch',
+  staleAttempt: 'StaleAttempt',
+  staleRevision: 'StaleRevision',
+  identityConflict: 'IdentityConflict',
+  idempotencyConflict: 'IdempotencyConflict',
+  signalConflict: 'SignalConflict',
+  affinityConflict: 'AffinityConflict',
+  invalidState: 'InvalidState',
+  invalidCommand: 'InvalidCommand',
+  cancellationFinalized: 'CancellationFinalized',
+} as const satisfies Record<string, ProcessControlDecisionDisposition>;
+
+export const processControlDecisionDispositionLabels: Record<ProcessControlDecisionDisposition, string> = {
+  Unspecified: 'Unspecified',
+  Inspected: 'Inspected',
+  Applied: 'Applied',
+  DeferredToSafePoint: 'DeferredToSafePoint',
+  Replayed: 'Replayed',
+  AlreadySatisfied: 'AlreadySatisfied',
+  AlreadyRequested: 'AlreadyRequested',
+  SignalAccepted: 'SignalAccepted',
+  SignalBuffered: 'SignalBuffered',
+  SignalDuplicate: 'SignalDuplicate',
+  ActivationStarted: 'ActivationStarted',
+  SafePointReached: 'SafePointReached',
+  AffinityBound: 'AffinityBound',
+  Unauthorized: 'Unauthorized',
+  TargetMismatch: 'TargetMismatch',
+  StaleAttempt: 'StaleAttempt',
+  StaleRevision: 'StaleRevision',
+  IdentityConflict: 'IdentityConflict',
+  IdempotencyConflict: 'IdempotencyConflict',
+  SignalConflict: 'SignalConflict',
+  AffinityConflict: 'AffinityConflict',
+  InvalidState: 'InvalidState',
+  InvalidCommand: 'InvalidCommand',
+  CancellationFinalized: 'CancellationFinalized',
+};
+
+export interface ExecutionControlReceiptSummary {
+  commandId: ProcessControlCommandId;
+  disposition: ProcessControlReceiptDisposition;
+  beforeRevision: ProcessControlRevision;
+  afterRevision: ProcessControlRevision;
+  recordedAtUtc: string;
+}
+
+export type ExecutionDefinitionKind = string;
+
+export interface ExecutionDefinitionMetadata {
+  definitionId: ExecutionDefinitionId;
+  revisionId: ExecutionRevisionId;
+  schemaVersion: ExecutionIrSchemaVersion;
+  fingerprint: ExecutionDefinitionFingerprint;
+  provenance: ExecutionProvenance;
+  displayName?: string | null;
+  description?: string | null;
+  sourceMap: ExecutionSourceMap;
+  diagnostics: DocumentValidationDiagnostic[];
+}
+
+export interface ExecutionDefinitionExtension {
+  id: ExecutionExtensionId;
+  schemaVersion: ExecutionExtensionSchemaVersion;
+  value: PortableValue;
+}
+
+export type ExecutionIrSchemaVersion = string;
+
+export interface ExecutionExplainDefinitionReference {
+  kind: ExecutionDefinitionKind;
+  schemaVersion: ExecutionIrSchemaVersion;
+  definition: ExecutionDefinitionReference;
+  provenance: ExecutionProvenance;
+  sourceMap: ExecutionSourceMap;
+}
+
+export interface ExecutionInterpreterProfileReference {
+  id: string;
+  version: string;
+  schemaCompatibility: ExecutionIrSchemaCompatibilityDeclaration;
+  definitionKinds: ExecutionDefinitionKind[];
+  provenance: ExecutionProvenance;
+}
+
+export interface ExecutionExplainEvidence {
+  stage: string;
+  kind: string;
+  subject: string;
+  authority: ExecutionExplainEvidenceAuthority;
+  status: string;
+  realization?: CapabilityRealizationKind | null;
+  relatedSubjects: string[];
+  sourceReferences: string[];
+}
+
+export interface ExecutionExplainTraceReference {
+  definition: ExecutionDefinitionReference;
+  continuation?: ProcessContinuationIdentity | null;
+  activation: ActivationId;
+  fingerprint: ExecutionTraceFingerprint;
+}
+
+export interface ExecutionExplainFingerprint {
+  algorithm: string;
+  canonicalization: string;
+  value: string;
+}
+
+export interface ExecutionDefinitionReference {
+  definitionId: ExecutionDefinitionId;
+  revisionId: ExecutionRevisionId;
+  fingerprint: ExecutionDefinitionFingerprint;
+}
+
+export type ProcessInstanceId = string;
+
+export type ProcessControlRevision = string;
+
+export type ProcessControlMode = 'Unspecified' | 'Running' | 'PauseRequested' | 'Paused' | 'RestartRequested' | 'CancellationRequested' | 'Cancelled' | 'Terminated' | 'Cancelling' | 'CancellationFailed';
+
+export const processControlModes = {
+  unspecified: 'Unspecified',
+  running: 'Running',
+  pauseRequested: 'PauseRequested',
+  paused: 'Paused',
+  restartRequested: 'RestartRequested',
+  cancellationRequested: 'CancellationRequested',
+  cancelled: 'Cancelled',
+  terminated: 'Terminated',
+  cancelling: 'Cancelling',
+  cancellationFailed: 'CancellationFailed',
+} as const satisfies Record<string, ProcessControlMode>;
+
+export const processControlModeLabels: Record<ProcessControlMode, string> = {
+  Unspecified: 'Unspecified',
+  Running: 'Running',
+  PauseRequested: 'PauseRequested',
+  Paused: 'Paused',
+  RestartRequested: 'RestartRequested',
+  CancellationRequested: 'CancellationRequested',
+  Cancelled: 'Cancelled',
+  Terminated: 'Terminated',
+  Cancelling: 'Cancelling',
+  CancellationFailed: 'CancellationFailed',
+};
+
+export interface ExecutionAttemptStatus {
+  attemptId: ProcessAttemptId;
+  startedAtUtc: string;
+  endedAtUtc?: string | null;
+  disposition: ExecutionAttemptDisposition;
+  phase: ProcessControlExecutionPhase;
+  completedActivationCount: string;
+  lastSafePointId?: ProcessSafePointId | null;
+  lastSafePointNode?: ExecutionNodeId | null;
+}
+
+export type ProcessAttemptId = string;
+
+export interface ExecutionActivationStatus {
+  activationId: ActivationId;
+  attemptId: ProcessAttemptId;
+  startedUnderRevision: ProcessControlRevision;
+  startedAtUtc: string;
+}
+
+export interface ExecutionRuntimeStatusDetails {
+  tokensDisclosure: ExecutionStatusDisclosure;
+  tokens: ExecutionTokenStatus[];
+  waitsDisclosure: ExecutionStatusDisclosure;
+  waits: ExecutionWaitStatus[];
+  progressDisclosure: ExecutionStatusDisclosure;
+  progress?: ExecutionProgressStatus | null;
+  demandDisclosure: ExecutionStatusDisclosure;
+  demand?: ExecutionDemandStatus | null;
+  capacityDisclosure: ExecutionStatusDisclosure;
+  capacity?: ExecutionCapacityStatus | null;
+  health: ExecutionHealthStatus;
+  extensions: ExecutionRuntimeStatusExtension[];
+}
+
+export interface ExecutionTerminalOutcome {
+  kind: ExecutionTerminalOutcomeKind;
+  occurredAtUtc?: string | null;
+  detail?: ExecutionStatusValue | null;
+}
+
+export type ExecutionNodeId = string;
+
+export type ProcessNode = {
+  readonly $node: 'invokeTransition';
+} & InvokeTransitionProcessNode | {
+  readonly $node: 'evaluateRelation';
+} & EvaluateRelationProcessNode | {
+  readonly $node: 'request';
+} & RequestProcessNode | {
+  readonly $node: 'emitEvent';
+} & EmitEventProcessNode | {
+  readonly $node: 'sendSignal';
+} & SendSignalProcessNode | {
+  readonly $node: 'choice';
+} & ChoiceProcessNode | {
+  readonly $node: 'match';
+} & MatchProcessNode | {
+  readonly $node: 'fork';
+} & ForkProcessNode | {
+  readonly $node: 'join';
+} & JoinProcessNode | {
+  readonly $node: 'awaitMatch';
+} & AwaitMatchProcessNode | {
+  readonly $node: 'timer';
+} & TimerProcessNode | {
+  readonly $node: 'reply';
+} & ReplyProcessNode | {
+  readonly $node: 'durableCut';
+} & DurableCutProcessNode | {
+  readonly $node: 'invokeProcess';
+} & InvokeProcessProcessNode | {
+  readonly $node: 'forEachPartition';
+} & ForEachPartitionProcessNode | {
+  readonly $node: 'repeatAcrossActivation';
+} & RepeatAcrossActivationProcessNode | {
+  readonly $node: 'cancellationFinalizer';
+} & CancellationFinalizerProcessNode | {
+  readonly $node: 'return';
+} & ReturnProcessNode | {
+  readonly $node: 'fail';
+} & FailProcessNode;
+
+export const canonicalProcessNodeKinds = [
+  'awaitMatch',
+  'cancellationFinalizer',
+  'choice',
+  'durableCut',
+  'emitEvent',
+  'evaluateRelation',
+  'fail',
+  'forEachPartition',
+  'fork',
+  'invokeProcess',
+  'invokeTransition',
+  'join',
+  'match',
+  'repeatAcrossActivation',
+  'reply',
+  'request',
+  'return',
+  'sendSignal',
+  'timer',
+] as const satisfies readonly ProcessNode["$node"][];
+
+export interface InvokeTransitionProcessNode {
+  transition: ExecutionDefinitionReference;
+  subject: Expr;
+  input: Expr;
+  continuation: ProcessContinuation;
+  receipt?: ProcessOutputBinding | null;
+  id: ExecutionNodeId;
+}
+
+export interface EvaluateRelationProcessNode {
+  relation: ExecutionDefinitionReference;
+  input: Expr;
+  continuation: ProcessContinuation;
+  id: ExecutionNodeId;
+}
+
+export interface RequestProcessNode {
+  id: ExecutionNodeId;
+  contract: RequestContractReference;
+  payload: Expr;
+  outcomes: ProcessRequestOutcomeBranch[];
+}
+
+export interface EmitEventProcessNode {
+  contract: DomainEventContractReference;
+  payload: Expr;
+  next: ProcessEdge;
+  id: ExecutionNodeId;
+}
+
+export interface SendSignalProcessNode {
+  id: ExecutionNodeId;
+  contract: SignalContractReference;
+  target: Expr;
+  payload: Expr;
+  next: ProcessEdge;
+}
+
+export interface ChoiceProcessNode {
+  selection: CaseSelection;
+  completeness: BranchCompleteness;
+  cases: ProcessChoiceCase[];
+  fallback?: ProcessFallback | null;
+  id: ExecutionNodeId;
+}
+
+export interface MatchProcessNode {
+  selection: CaseSelection;
+  completeness: BranchCompleteness;
+  value: Expr;
+  contract: ValueContract;
+  cases: ProcessMatchCase[];
+  fallback?: ProcessFallback | null;
+  id: ExecutionNodeId;
+}
+
+export interface ForkProcessNode {
+  branches: ProcessForkBranch[];
+  join: ExecutionNodeId;
+  limits: ProcessWorkLimits;
+  capacityDomains: ProcessCapacityDomainLimit[];
+  id: ExecutionNodeId;
+}
+
+export interface JoinProcessNode {
+  fork: ExecutionNodeId;
+  policy: ProcessJoinPolicy;
+  next: ProcessEdge;
+  result?: ProcessJoinResultProjection | null;
+  id: ExecutionNodeId;
+}
+
+export interface AwaitMatchProcessNode {
+  arbitration: ProcessAwaitArbitration;
+  clauses: ProcessAwaitClause[];
+  lateInput: ProcessAwaitInputDisposition;
+  staleInput: ProcessAwaitInputDisposition;
+  duplicateInput: ProcessAwaitInputDisposition;
+  missingTarget: ProcessAwaitMissingTargetDisposition;
+  retentionHorizon: TimeSpan;
+  id: ExecutionNodeId;
+}
+
+export interface TimerProcessNode {
+  id: ExecutionNodeId;
+  dueAt: Expr;
+  next: ProcessEdge;
+}
+
+export interface ReplyProcessNode {
+  id: ExecutionNodeId;
+  contract: ReplyContractReference;
+  request: RequestObligationBindingId;
+  payload: Expr;
+  next: ProcessEdge;
+}
+
+export interface DurableCutProcessNode {
+  resume: ProcessEdge;
+  id: ExecutionNodeId;
+}
+
+export interface InvokeProcessProcessNode {
+  process: ExecutionDefinitionReference;
+  contract: RequestContractReference;
+  outcomeMapping: ProcessChildOutcomeMapping;
+  input: Expr;
+  purpose: ProcessChildPurpose;
+  cancellation: ProcessChildCancellationPolicy;
+  outcomes: ProcessRequestOutcomeBranch[];
+  id: ExecutionNodeId;
+}
+
+export interface ForEachPartitionProcessNode {
+  partitions: Expr;
+  partition: ProcessOutputBinding;
+  progressIdentity: Expr;
+  process: ExecutionDefinitionReference;
+  contract: RequestContractReference;
+  outcomeMapping: ProcessChildOutcomeMapping;
+  childInput: Expr;
+  limits: ProcessWorkLimits;
+  failure: ProcessPartitionFailurePolicy;
+  capacityIdentity?: Expr | null;
+  capacityDomains: ProcessCapacityDomainLimit[];
+  cancellation: ProcessChildCancellationPolicy;
+  completed: ProcessEdge;
+  failed: ProcessEdge;
+  id: ExecutionNodeId;
+}
+
+export interface RepeatAcrossActivationProcessNode {
+  id: ExecutionNodeId;
+  continueWhen: Expr;
+  progress: Expr;
+  progressContract: ValueContract;
+  policy: ProcessRecurrencePolicy;
+  repeat: ProcessEdge;
+  completed: ProcessEdge;
+  exhausted: ProcessEdge;
+  stalled: ProcessEdge;
+  initialState?: Expr | null;
+  nextState?: Expr | null;
+  stateContract?: ValueContract | null;
+  stateOutput?: ProcessOutputBinding | null;
+}
+
+export interface CancellationFinalizerProcessNode {
+  process: ExecutionDefinitionReference;
+  contract: RequestContractReference;
+  outcomeMapping: ProcessChildOutcomeMapping;
+  id: ExecutionNodeId;
+}
+
+export interface ReturnProcessNode {
+  id: ExecutionNodeId;
+  result: Expr;
+}
+
+export interface FailProcessNode {
+  result: Expr;
+  id: ExecutionNodeId;
+}
+
+export type ProcessRecoveryPolicy = 'Unspecified' | 'ContinueAttempt' | 'RestartAttempt';
+
+export const processRecoveryPolicies = {
+  unspecified: 'Unspecified',
+  continueAttempt: 'ContinueAttempt',
+  restartAttempt: 'RestartAttempt',
+} as const satisfies Record<string, ProcessRecoveryPolicy>;
+
+export const processRecoveryPolicyLabels: Record<ProcessRecoveryPolicy, string> = {
+  Unspecified: 'Unspecified',
+  ContinueAttempt: 'ContinueAttempt',
+  RestartAttempt: 'RestartAttempt',
+};
+
+export interface NormalizedExecutionTrace {
+  schemaVersion: ExecutionIrSchemaVersion;
+  kind: ExecutionDefinitionKind;
+  definition: ExecutionDefinitionReference;
+  continuation?: ProcessContinuationIdentity | null;
+  activation: ActivationId;
+  disposition: string;
+  safePointNode?: ExecutionNodeId | null;
+  durableCommitSequence?: string | null;
+  events: NormalizedExecutionTraceEvent[];
+}
+
+export type ProcessControlCommandId = string;
+
+export type ProcessControlReceiptDisposition = 'Unspecified' | 'Applied' | 'DeferredToSafePoint' | 'AlreadySatisfied' | 'AlreadyRequested' | 'SignalAccepted' | 'SignalBuffered' | 'SignalDuplicate';
+
+export const processControlReceiptDispositions = {
+  unspecified: 'Unspecified',
+  applied: 'Applied',
+  deferredToSafePoint: 'DeferredToSafePoint',
+  alreadySatisfied: 'AlreadySatisfied',
+  alreadyRequested: 'AlreadyRequested',
+  signalAccepted: 'SignalAccepted',
+  signalBuffered: 'SignalBuffered',
+  signalDuplicate: 'SignalDuplicate',
+} as const satisfies Record<string, ProcessControlReceiptDisposition>;
+
+export const processControlReceiptDispositionLabels: Record<ProcessControlReceiptDisposition, string> = {
+  Unspecified: 'Unspecified',
+  Applied: 'Applied',
+  DeferredToSafePoint: 'DeferredToSafePoint',
+  AlreadySatisfied: 'AlreadySatisfied',
+  AlreadyRequested: 'AlreadyRequested',
+  SignalAccepted: 'SignalAccepted',
+  SignalBuffered: 'SignalBuffered',
+  SignalDuplicate: 'SignalDuplicate',
+};
+
+export type ExecutionDefinitionId = string;
+
+export type ExecutionRevisionId = string;
+
+export interface ExecutionDefinitionFingerprint {
+  algorithm: string;
+  canonicalization: string;
+  value: string;
+}
+
+export interface ExecutionProvenance {
+  producer: ExecutionProducerProvenance;
+  source: ExecutionSourceProvenance;
+  origin: DocumentOrigin;
+}
+
+export interface ExecutionSourceMap {
+  entries: ExecutionSourceProvenance[];
+}
+
+export type ExecutionExtensionId = string;
+
+export type ExecutionExtensionSchemaVersion = string;
+
+export interface PortableValue {
+  contract: ValueContract;
+  state: PortableValueState;
+  value?: unknown | null;
+  failure?: DocumentValidationDiagnostic | null;
+}
+
+export interface ExecutionIrSchemaCompatibilityDeclaration {
+  supportedSchemaVersions: ExecutionIrSchemaVersion[];
+}
+
+export type ExecutionExplainEvidenceAuthority = 'Declared' | 'Derived' | 'ConventionDerived' | 'AdapterSupplied' | 'Interpreted' | 'Measured' | 'Recommended' | 'Applied';
+
+export const executionExplainEvidenceAuthorities = {
+  declared: 'Declared',
+  derived: 'Derived',
+  conventionDerived: 'ConventionDerived',
+  adapterSupplied: 'AdapterSupplied',
+  interpreted: 'Interpreted',
+  measured: 'Measured',
+  recommended: 'Recommended',
+  applied: 'Applied',
+} as const satisfies Record<string, ExecutionExplainEvidenceAuthority>;
+
+export const executionExplainEvidenceAuthorityLabels: Record<ExecutionExplainEvidenceAuthority, string> = {
+  Declared: 'Declared',
+  Derived: 'Derived',
+  ConventionDerived: 'ConventionDerived',
+  AdapterSupplied: 'AdapterSupplied',
+  Interpreted: 'Interpreted',
+  Measured: 'Measured',
+  Recommended: 'Recommended',
+  Applied: 'Applied',
+};
+
+export interface ProcessContinuationIdentity {
+  processInstanceId: ProcessInstanceId;
+  processAttemptId: ProcessAttemptId;
+}
+
+export type ActivationId = string;
+
+export interface ExecutionTraceFingerprint {
+  algorithm: string;
+  canonicalization: string;
+  value: string;
+}
+
+export type ExecutionAttemptDisposition = 'Unspecified' | 'Current' | 'Abandoned' | 'Completed' | 'Failed' | 'Cancelled' | 'Terminated';
+
+export const executionAttemptDispositions = {
+  unspecified: 'Unspecified',
+  current: 'Current',
+  abandoned: 'Abandoned',
+  completed: 'Completed',
+  failed: 'Failed',
+  cancelled: 'Cancelled',
+  terminated: 'Terminated',
+} as const satisfies Record<string, ExecutionAttemptDisposition>;
+
+export const executionAttemptDispositionLabels: Record<ExecutionAttemptDisposition, string> = {
+  Unspecified: 'Unspecified',
+  Current: 'Current',
+  Abandoned: 'Abandoned',
+  Completed: 'Completed',
+  Failed: 'Failed',
+  Cancelled: 'Cancelled',
+  Terminated: 'Terminated',
+};
+
+export type ProcessControlExecutionPhase = 'Unspecified' | 'Ready' | 'InActivation' | 'AtSafePoint' | 'Stopped';
+
+export const processControlExecutionPhases = {
+  unspecified: 'Unspecified',
+  ready: 'Ready',
+  inActivation: 'InActivation',
+  atSafePoint: 'AtSafePoint',
+  stopped: 'Stopped',
+} as const satisfies Record<string, ProcessControlExecutionPhase>;
+
+export const processControlExecutionPhaseLabels: Record<ProcessControlExecutionPhase, string> = {
+  Unspecified: 'Unspecified',
+  Ready: 'Ready',
+  InActivation: 'InActivation',
+  AtSafePoint: 'AtSafePoint',
+  Stopped: 'Stopped',
+};
+
+export type ProcessSafePointId = string;
+
+export type ExecutionStatusDisclosure = 'Unknown' | 'Disclosed' | 'Redacted';
+
+export const executionStatusDisclosures = {
+  unknown: 'Unknown',
+  disclosed: 'Disclosed',
+  redacted: 'Redacted',
+} as const satisfies Record<string, ExecutionStatusDisclosure>;
+
+export const executionStatusDisclosureLabels: Record<ExecutionStatusDisclosure, string> = {
+  Unknown: 'Unknown',
+  Disclosed: 'Disclosed',
+  Redacted: 'Redacted',
+};
+
+export interface ExecutionTokenStatus {
+  tokenId: TokenId;
+  node: ExecutionNodeId;
+  disposition: ExecutionTokenDisposition;
+}
+
+export interface ExecutionWaitStatus {
+  tokenId: TokenId;
+  node: ExecutionNodeId;
+  waitingSinceUtc: string;
+  deadlineUtc?: string | null;
+}
+
+export interface ExecutionProgressStatus {
+  completed: string;
+  total?: string | null;
+  unit: string;
+}
+
+export interface ExecutionDemandStatus {
+  ready: string;
+  delayed: string;
+}
+
+export interface ExecutionCapacityStatus {
+  active: string;
+  limit: string;
+}
+
+export type ExecutionHealthStatus = 'Unknown' | 'Healthy' | 'Degraded' | 'Unhealthy';
+
+export const executionHealthStatuses = {
+  unknown: 'Unknown',
+  healthy: 'Healthy',
+  degraded: 'Degraded',
+  unhealthy: 'Unhealthy',
+} as const satisfies Record<string, ExecutionHealthStatus>;
+
+export const executionHealthStatusLabels: Record<ExecutionHealthStatus, string> = {
+  Unknown: 'Unknown',
+  Healthy: 'Healthy',
+  Degraded: 'Degraded',
+  Unhealthy: 'Unhealthy',
+};
+
+export interface ExecutionRuntimeStatusExtension {
+  id: ExecutionExtensionId;
+  schemaVersion: ExecutionExtensionSchemaVersion;
+  value: ExecutionStatusValue;
+  provenance: ExecutionProvenance;
+}
+
+export type ExecutionTerminalOutcomeKind = 'None' | 'Completed' | 'Failed' | 'Cancelled' | 'Terminated';
+
+export const executionTerminalOutcomeKinds = {
+  none: 'None',
+  completed: 'Completed',
+  failed: 'Failed',
+  cancelled: 'Cancelled',
+  terminated: 'Terminated',
+} as const satisfies Record<string, ExecutionTerminalOutcomeKind>;
+
+export const executionTerminalOutcomeKindLabels: Record<ExecutionTerminalOutcomeKind, string> = {
+  None: 'None',
+  Completed: 'Completed',
+  Failed: 'Failed',
+  Cancelled: 'Cancelled',
+  Terminated: 'Terminated',
+};
+
+export interface ExecutionStatusValue {
+  contract: ValueContract;
+  disclosure: ExecutionStatusDisclosure;
+  value?: PortableValue | null;
+}
+
+export interface ProcessContinuation {
+  edge: ProcessEdge;
+  output?: ProcessOutputBinding | null;
+}
+
+export interface ProcessOutputBinding {
+  binding: ValueBindingId;
+  contract: ValueContract;
+}
+
+export interface RequestContractReference {
+  definition: ExecutionDefinitionReference;
+}
+
+export interface ProcessRequestOutcomeBranch {
+  id: ExecutionNodeId;
+  outcome: RequestTerminalOutcomeId;
+  continuation: ProcessContinuation;
+}
+
+export interface DomainEventContractReference {
+  definition: ExecutionDefinitionReference;
+}
+
+export interface ProcessEdge {
+  id: ProcessEdgeId;
+  target: ExecutionNodeId;
+}
+
+export interface SignalContractReference {
+  definition: ExecutionDefinitionReference;
+}
+
+export type CaseSelection = 'Unspecified' | 'OrderedFirstMatch';
+
+export const caseSelections = {
+  unspecified: 'Unspecified',
+  orderedFirstMatch: 'OrderedFirstMatch',
+} as const satisfies Record<string, CaseSelection>;
+
+export const caseSelectionLabels: Record<CaseSelection, string> = {
+  Unspecified: 'Unspecified',
+  OrderedFirstMatch: 'OrderedFirstMatch',
+};
+
+export type BranchCompleteness = 'Unspecified' | 'Exhaustive' | 'Fallback';
+
+export const branchCompletenesses = {
+  unspecified: 'Unspecified',
+  exhaustive: 'Exhaustive',
+  fallback: 'Fallback',
+} as const satisfies Record<string, BranchCompleteness>;
+
+export const branchCompletenessLabels: Record<BranchCompleteness, string> = {
+  Unspecified: 'Unspecified',
+  Exhaustive: 'Exhaustive',
+  Fallback: 'Fallback',
+};
+
+export interface ProcessChoiceCase {
+  id: ExecutionNodeId;
+  predicate: Expr;
+  next: ProcessEdge;
+}
+
+export interface ProcessFallback {
+  id: ExecutionNodeId;
+  next: ProcessEdge;
+}
+
+export interface ProcessMatchCase {
+  id: ExecutionNodeId;
+  pattern: PortableValue;
+  next: ProcessEdge;
+}
+
+export interface ProcessForkBranch {
+  id: ExecutionNodeId;
+  start: ProcessEdge;
+  capacityDomain?: string | null;
+}
+
+export interface ProcessWorkLimits {
+  maximumItems: number;
+  maximumStartsPerActivation: number;
+  maximumParallelism: number;
+  minimumParallelism: number;
+}
+
+export interface ProcessCapacityDomainLimit {
+  identity: string;
+  maximumParallelism: number;
+}
+
+export interface ProcessJoinPolicy {
+  mode: ProcessJoinMode;
+  requiredCount: number;
+  failure: ProcessJoinFailurePolicy;
+  cancellation: ProcessJoinCancellationPolicy;
+  completionOrder: ProcessJoinCompletionOrder;
+  tieBreak: ProcessJoinTieBreak;
+}
+
+export interface ProcessJoinResultProjection {
+  output: ProcessOutputBinding;
+  resultContract: ValueContract;
+  branches: ProcessJoinBranchResult[];
+}
+
+export type ProcessAwaitArbitration = 'Unspecified' | 'ExclusivePriorityThenClauseId';
+
+export const processAwaitArbitrations = {
+  unspecified: 'Unspecified',
+  exclusivePriorityThenClauseId: 'ExclusivePriorityThenClauseId',
+} as const satisfies Record<string, ProcessAwaitArbitration>;
+
+export const processAwaitArbitrationLabels: Record<ProcessAwaitArbitration, string> = {
+  Unspecified: 'Unspecified',
+  ExclusivePriorityThenClauseId: 'ExclusivePriorityThenClauseId',
+};
+
+export type ProcessAwaitClause = {
+  readonly $clause: 'interaction';
+} & ProcessAwaitInteractionClause | {
+  readonly $clause: 'timer';
+} & ProcessAwaitTimerClause;
+
+export const canonicalProcessAwaitClauseKinds = [
+  'interaction',
+  'timer',
+] as const satisfies readonly ProcessAwaitClause["$clause"][];
+
+export interface ProcessAwaitInteractionClause {
+  id: ExecutionNodeId;
+  priority: number;
+  continuation: ProcessContinuation;
+  contract: InteractionContractReference;
+  input: ProcessOutputBinding;
+  requestObligation?: ProcessRequestObligationBinding | null;
+  guard?: Expr | null;
+}
+
+export interface ProcessAwaitTimerClause {
+  id: ExecutionNodeId;
+  priority: number;
+  continuation: ProcessContinuation;
+  dueAt: Expr;
+}
+
+export type ProcessAwaitInputDisposition = 'Unspecified' | 'Reject' | 'Observe' | 'ReusePriorDisposition';
+
+export const processAwaitInputDispositions = {
+  unspecified: 'Unspecified',
+  reject: 'Reject',
+  observe: 'Observe',
+  reusePriorDisposition: 'ReusePriorDisposition',
+} as const satisfies Record<string, ProcessAwaitInputDisposition>;
+
+export const processAwaitInputDispositionLabels: Record<ProcessAwaitInputDisposition, string> = {
+  Unspecified: 'Unspecified',
+  Reject: 'Reject',
+  Observe: 'Observe',
+  ReusePriorDisposition: 'ReusePriorDisposition',
+};
+
+export type ProcessAwaitMissingTargetDisposition = 'Unspecified' | 'Reject' | 'Observe' | 'DeadLetter';
+
+export const processAwaitMissingTargetDispositions = {
+  unspecified: 'Unspecified',
+  reject: 'Reject',
+  observe: 'Observe',
+  deadLetter: 'DeadLetter',
+} as const satisfies Record<string, ProcessAwaitMissingTargetDisposition>;
+
+export const processAwaitMissingTargetDispositionLabels: Record<ProcessAwaitMissingTargetDisposition, string> = {
+  Unspecified: 'Unspecified',
+  Reject: 'Reject',
+  Observe: 'Observe',
+  DeadLetter: 'DeadLetter',
+};
+
+export interface TimeSpan {
+  ticks: number;
+  days: number;
+  hours: number;
+  milliseconds: number;
+  microseconds: number;
+  nanoseconds: number;
+  minutes: number;
+  seconds: number;
+  totalDays: number;
+  totalHours: number;
+  totalMilliseconds: number;
+  totalMicroseconds: number;
+  totalNanoseconds: number;
+  totalMinutes: number;
+  totalSeconds: number;
+}
+
+export interface ReplyContractReference {
+  definition: ExecutionDefinitionReference;
+}
+
+export type RequestObligationBindingId = string;
+
+export interface ProcessChildOutcomeMapping {
+  completed: RequestTerminalOutcomeId;
+  failed: RequestTerminalOutcomeId;
+  cancelled: RequestTerminalOutcomeId;
+  terminated: RequestTerminalOutcomeId;
+}
+
+export type ProcessChildPurpose = 'Unspecified' | 'Work' | 'Compensation' | 'Reconciliation';
+
+export const processChildPurposes = {
+  unspecified: 'Unspecified',
+  work: 'Work',
+  compensation: 'Compensation',
+  reconciliation: 'Reconciliation',
+} as const satisfies Record<string, ProcessChildPurpose>;
+
+export const processChildPurposeLabels: Record<ProcessChildPurpose, string> = {
+  Unspecified: 'Unspecified',
+  Work: 'Work',
+  Compensation: 'Compensation',
+  Reconciliation: 'Reconciliation',
+};
+
+export type ProcessChildCancellationPolicy = 'Unspecified' | 'Propagate' | 'Detach';
+
+export const processChildCancellationPolicies = {
+  unspecified: 'Unspecified',
+  propagate: 'Propagate',
+  detach: 'Detach',
+} as const satisfies Record<string, ProcessChildCancellationPolicy>;
+
+export const processChildCancellationPolicyLabels: Record<ProcessChildCancellationPolicy, string> = {
+  Unspecified: 'Unspecified',
+  Propagate: 'Propagate',
+  Detach: 'Detach',
+};
+
+export type ProcessPartitionFailurePolicy = 'Unspecified' | 'FailFast' | 'AwaitAll';
+
+export const processPartitionFailurePolicies = {
+  unspecified: 'Unspecified',
+  failFast: 'FailFast',
+  awaitAll: 'AwaitAll',
+} as const satisfies Record<string, ProcessPartitionFailurePolicy>;
+
+export const processPartitionFailurePolicyLabels: Record<ProcessPartitionFailurePolicy, string> = {
+  Unspecified: 'Unspecified',
+  FailFast: 'FailFast',
+  AwaitAll: 'AwaitAll',
+};
+
+export interface ProcessRecurrencePolicy {
+  maximumOccurrences: number;
+  maximumUnchangedProgressOccurrences: number;
+}
+
+export interface NormalizedExecutionTraceEvent {
+  sequence: number;
+  kind: string;
+  node: ExecutionNodeId;
+  token?: TokenId | null;
+  branchOrClause?: ExecutionNodeId | null;
+  emission?: EmissionId | null;
+  correlation?: InteractionCorrelationId | null;
+  causation?: EmissionId | null;
+  idempotencyKey?: InteractionIdempotencyKey | null;
+  emissionFingerprint?: InteractionEnvelopeContentFingerprint | null;
+  relatedDefinition?: ExecutionDefinitionReference | null;
+  relatedNode?: ExecutionNodeId | null;
+  semanticPath?: FieldPath | null;
+  changed?: boolean | null;
+  operationOccurrence?: string | null;
+  inputDisposition?: string | null;
+  inputReason?: string | null;
+  waitRegistrationId?: ProcessWaitRegistrationId | null;
+  processOccurrence?: ProcessTraceOccurrenceEvidence | null;
+  requestOutcome?: RequestTerminalOutcomeId | null;
+  detail?: string | null;
+  sourceReferences: string[];
+}
+
+export interface ExecutionProducerProvenance {
+  producer: string;
+  version?: string | null;
+}
+
+export interface ExecutionSourceProvenance {
+  reference: string;
+  semanticPath?: ExecutionSemanticPath | null;
+  description?: string | null;
+}
+
+export type PortableValueState = 'Missing' | 'Absent' | 'Null' | 'Unknown' | 'Failed' | 'Concrete';
+
+export const portableValueStates = {
+  missing: 'Missing',
+  absent: 'Absent',
+  null: 'Null',
+  unknown: 'Unknown',
+  failed: 'Failed',
+  concrete: 'Concrete',
+} as const satisfies Record<string, PortableValueState>;
+
+export const portableValueStateLabels: Record<PortableValueState, string> = {
+  Missing: 'Missing',
+  Absent: 'Absent',
+  Null: 'Null',
+  Unknown: 'Unknown',
+  Failed: 'Failed',
+  Concrete: 'Concrete',
+};
+
+export type TokenId = string;
+
+export type ExecutionTokenDisposition = 'Unspecified' | 'Ready' | 'Active' | 'Waiting' | 'Completed' | 'Failed' | 'Cancelled' | 'Pending';
+
+export const executionTokenDispositions = {
+  unspecified: 'Unspecified',
+  ready: 'Ready',
+  active: 'Active',
+  waiting: 'Waiting',
+  completed: 'Completed',
+  failed: 'Failed',
+  cancelled: 'Cancelled',
+  pending: 'Pending',
+} as const satisfies Record<string, ExecutionTokenDisposition>;
+
+export const executionTokenDispositionLabels: Record<ExecutionTokenDisposition, string> = {
+  Unspecified: 'Unspecified',
+  Ready: 'Ready',
+  Active: 'Active',
+  Waiting: 'Waiting',
+  Completed: 'Completed',
+  Failed: 'Failed',
+  Cancelled: 'Cancelled',
+  Pending: 'Pending',
+};
+
+export type RequestTerminalOutcomeId = string;
+
+export type ProcessEdgeId = string;
+
+export type ProcessJoinMode = 'Unspecified' | 'All' | 'Any' | 'RequiredCount';
+
+export const processJoinModes = {
+  unspecified: 'Unspecified',
+  all: 'All',
+  any: 'Any',
+  requiredCount: 'RequiredCount',
+} as const satisfies Record<string, ProcessJoinMode>;
+
+export const processJoinModeLabels: Record<ProcessJoinMode, string> = {
+  Unspecified: 'Unspecified',
+  All: 'All',
+  Any: 'Any',
+  RequiredCount: 'RequiredCount',
+};
+
+export type ProcessJoinFailurePolicy = 'Unspecified' | 'FailFast' | 'WaitForRequired' | 'ExcludeFailed';
+
+export const processJoinFailurePolicies = {
+  unspecified: 'Unspecified',
+  failFast: 'FailFast',
+  waitForRequired: 'WaitForRequired',
+  excludeFailed: 'ExcludeFailed',
+} as const satisfies Record<string, ProcessJoinFailurePolicy>;
+
+export const processJoinFailurePolicyLabels: Record<ProcessJoinFailurePolicy, string> = {
+  Unspecified: 'Unspecified',
+  FailFast: 'FailFast',
+  WaitForRequired: 'WaitForRequired',
+  ExcludeFailed: 'ExcludeFailed',
+};
+
+export type ProcessJoinCancellationPolicy = 'Unspecified' | 'CancelRemaining' | 'AwaitRemaining' | 'ContinueRemaining';
+
+export const processJoinCancellationPolicies = {
+  unspecified: 'Unspecified',
+  cancelRemaining: 'CancelRemaining',
+  awaitRemaining: 'AwaitRemaining',
+  continueRemaining: 'ContinueRemaining',
+} as const satisfies Record<string, ProcessJoinCancellationPolicy>;
+
+export const processJoinCancellationPolicyLabels: Record<ProcessJoinCancellationPolicy, string> = {
+  Unspecified: 'Unspecified',
+  CancelRemaining: 'CancelRemaining',
+  AwaitRemaining: 'AwaitRemaining',
+  ContinueRemaining: 'ContinueRemaining',
+};
+
+export type ProcessJoinCompletionOrder = 'Unspecified' | 'Unobservable' | 'Observable';
+
+export const processJoinCompletionOrders = {
+  unspecified: 'Unspecified',
+  unobservable: 'Unobservable',
+  observable: 'Observable',
+} as const satisfies Record<string, ProcessJoinCompletionOrder>;
+
+export const processJoinCompletionOrderLabels: Record<ProcessJoinCompletionOrder, string> = {
+  Unspecified: 'Unspecified',
+  Unobservable: 'Unobservable',
+  Observable: 'Observable',
+};
+
+export type ProcessJoinTieBreak = 'Unspecified' | 'BranchIdentity' | 'CompletionThenBranchIdentity';
+
+export const processJoinTieBreaks = {
+  unspecified: 'Unspecified',
+  branchIdentity: 'BranchIdentity',
+  completionThenBranchIdentity: 'CompletionThenBranchIdentity',
+} as const satisfies Record<string, ProcessJoinTieBreak>;
+
+export const processJoinTieBreakLabels: Record<ProcessJoinTieBreak, string> = {
+  Unspecified: 'Unspecified',
+  BranchIdentity: 'BranchIdentity',
+  CompletionThenBranchIdentity: 'CompletionThenBranchIdentity',
+};
+
+export interface ProcessJoinBranchResult {
+  branch: ExecutionNodeId;
+  result: Expr;
+}
+
+export type InteractionContractReference = {
+  readonly $contract: 'domainEvent';
+} & DomainEventContractReference | {
+  readonly $contract: 'request';
+} & RequestContractReference | {
+  readonly $contract: 'signal';
+} & SignalContractReference | {
+  readonly $contract: 'reply';
+} & ReplyContractReference;
+
+export interface ProcessRequestObligationBinding {
+  binding: RequestObligationBindingId;
+}
+
+export type EmissionId = string;
+
+export type InteractionCorrelationId = string;
+
+export type InteractionIdempotencyKey = string;
+
+export type InteractionEnvelopeContentFingerprint = string;
+
+export type ProcessWaitRegistrationId = string;
+
+export interface ProcessTraceOccurrenceEvidence {
+  disclosure: ExecutionTraceEvidenceDisclosure;
+  kind: ProcessTraceOccurrenceKind;
+  registrationId?: string | null;
+  ownerToken?: TokenId | null;
+  occurrence?: string | null;
+  progressIdentity?: string | null;
+  definition?: ExecutionDefinitionReference | null;
+  continuation?: ProcessContinuationIdentity | null;
+  repeatCount?: number | null;
+  unchangedProgressCount?: number | null;
+}
+
+export interface ExecutionSemanticPath {
+  segments: string[];
+}
+
+export type ExecutionTraceEvidenceDisclosure = 'Unknown' | 'Disclosed' | 'Redacted' | 'Unavailable' | 'Unsupported';
+
+export const executionTraceEvidenceDisclosures = {
+  unknown: 'Unknown',
+  disclosed: 'Disclosed',
+  redacted: 'Redacted',
+  unavailable: 'Unavailable',
+  unsupported: 'Unsupported',
+} as const satisfies Record<string, ExecutionTraceEvidenceDisclosure>;
+
+export const executionTraceEvidenceDisclosureLabels: Record<ExecutionTraceEvidenceDisclosure, string> = {
+  Unknown: 'Unknown',
+  Disclosed: 'Disclosed',
+  Redacted: 'Redacted',
+  Unavailable: 'Unavailable',
+  Unsupported: 'Unsupported',
+};
+
+export type ProcessTraceOccurrenceKind = 'Unspecified' | 'Child' | 'Partition' | 'Recurrence';
+
+export const processTraceOccurrenceKinds = {
+  unspecified: 'Unspecified',
+  child: 'Child',
+  partition: 'Partition',
+  recurrence: 'Recurrence',
+} as const satisfies Record<string, ProcessTraceOccurrenceKind>;
+
+export const processTraceOccurrenceKindLabels: Record<ProcessTraceOccurrenceKind, string> = {
+  Unspecified: 'Unspecified',
+  Child: 'Child',
+  Partition: 'Partition',
+  Recurrence: 'Recurrence',
+};
+
+export interface ExecutionControlResult {
+  disposition: ProcessControlDecisionDisposition;
+  status: ExecutionStatus;
+  receipt?: ExecutionControlReceiptSummary | null;
+  diagnosticCodes: string[];
+}
+
+export interface ExecutionDefinitionDocument {
+  kind: ExecutionDefinitionKind;
+  metadata: ExecutionDefinitionMetadata;
+  definition: unknown;
+  extensions: ExecutionDefinitionExtension[];
+}
+
+export interface ExecutionExplainArtifact {
+  schemaVersion: ExecutionIrSchemaVersion;
+  definition: ExecutionExplainDefinitionReference;
+  interpreter: ExecutionInterpreterProfileReference;
+  evidence: ExecutionExplainEvidence[];
+  trace?: ExecutionExplainTraceReference | null;
+  runtimeStatus?: ExecutionStatus | null;
+  diagnostics: DocumentValidationDiagnostic[];
+  fingerprint: ExecutionExplainFingerprint;
+}
+
+export interface ExecutionStatus {
+  schemaVersion: ExecutionIrSchemaVersion;
+  definition: ExecutionDefinitionReference;
+  processInstanceId: ProcessInstanceId;
+  controlRevision: ProcessControlRevision;
+  controlMode: ProcessControlMode;
+  attempts: ExecutionAttemptStatus[];
+  currentAttemptId: ProcessAttemptId;
+  activeActivation?: ExecutionActivationStatus | null;
+  runtime: ExecutionRuntimeStatusDetails;
+  terminalOutcome: ExecutionTerminalOutcome;
+  createdAtUtc: string;
+  updatedAtUtc: string;
+}
+
+export interface ProcessDefinition {
+  input: ValueContract;
+  result: ValueContract;
+  entry: ExecutionNodeId;
+  nodes: ProcessNode[];
+  recoveryPolicy: ProcessRecoveryPolicy;
+}
+
+export interface ProcessExecutionTraceArtifact {
+  schemaVersion: ExecutionIrSchemaVersion;
+  definition: ExecutionDefinitionReference;
+  processInstanceId: ProcessInstanceId;
+  missingTracePrefixCount: number;
+  traces: NormalizedExecutionTrace[];
+}