@cohesivesystems/processes 0.1.0-alpha.63

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

@@ -0,0 +1,715 @@
+/* <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';
+
+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 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 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;
+  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 type ExecutionDefinitionId = string;
+
+export type ExecutionRevisionId = string;
+
+export type ExecutionIrSchemaVersion = 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 ExecutionDefinitionReference {
+  definitionId: ExecutionDefinitionId;
+  revisionId: ExecutionRevisionId;
+  fingerprint: ExecutionDefinitionFingerprint;
+}
+
+export interface ProcessContinuation {
+  edge: ProcessEdge;
+  output?: ProcessOutputBinding | null;
+}
+
+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 interface ProcessOutputBinding {
+  binding: ValueBindingId;
+  contract: ValueContract;
+}
+
+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 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 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 interface ExecutionSemanticPath {
+  segments: string[];
+}
+
+export interface ExecutionDefinitionDocument {
+  kind: ExecutionDefinitionKind;
+  metadata: ExecutionDefinitionMetadata;
+  definition: unknown;
+  extensions: ExecutionDefinitionExtension[];
+}
+
+export interface ProcessDefinition {
+  input: ValueContract;
+  result: ValueContract;
+  entry: ExecutionNodeId;
+  nodes: ProcessNode[];
+  recoveryPolicy: ProcessRecoveryPolicy;
+}

package/src/index.ts

@@ -0,0 +1 @@
+export * from './generated/processes.shapes.generated'