@cohesivesystems/processes 0.1.0-alpha.63 → 0.1.0-alpha.66

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

@@ -1,8 +1,72 @@
 /* <auto-generated/> */
 
-import type { AggregateExpr, AggregateOperator, AnnotationKey, AnnotationValue, ArrayTypeRef, BinaryExpr, BinaryOperator, BindingExpr, CallExpr, 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';
+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, 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 { 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;
 
@@ -24,6 +88,127 @@ export interface ExecutionDefinitionExtension {
   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 = {
@@ -265,12 +450,48 @@ export const processRecoveryPolicyLabels: Record<ProcessRecoveryPolicy, string>
   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 type ExecutionIrSchemaVersion = string;
-
 export interface ExecutionDefinitionFingerprint {
   algorithm: string;
   canonicalization: string;
@@ -298,10 +519,177 @@ export interface PortableValue {
   failure?: DocumentValidationDiagnostic | null;
 }
 
-export interface ExecutionDefinitionReference {
-  definitionId: ExecutionDefinitionId;
-  revisionId: ExecutionRevisionId;
-  fingerprint: ExecutionDefinitionFingerprint;
+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 {
@@ -565,6 +953,31 @@ export interface ProcessRecurrencePolicy {
   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;
@@ -596,6 +1009,32 @@ export const portableValueStateLabels: Record<PortableValueState, string> = {
   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;
@@ -695,10 +1134,74 @@ 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;
@@ -706,6 +1209,32 @@ export interface ExecutionDefinitionDocument {
   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;
@@ -713,3 +1242,11 @@ export interface ProcessDefinition {
   nodes: ProcessNode[];
   recoveryPolicy: ProcessRecoveryPolicy;
 }
+
+export interface ProcessExecutionTraceArtifact {
+  schemaVersion: ExecutionIrSchemaVersion;
+  definition: ExecutionDefinitionReference;
+  processInstanceId: ProcessInstanceId;
+  missingTracePrefixCount: number;
+  traces: NormalizedExecutionTrace[];
+}