@beehexa/hexasync-template-model 2608.21.4 → 2610.3.1

package/dist/canonicalGraph.d.ts

@@ -0,0 +1,153 @@
+export declare const CANONICAL_GRAPH_SCHEMA_VERSION: 1;
+export type JsonPrimitive = string | number | boolean | null;
+export type JsonValue = JsonPrimitive | JsonObject | readonly JsonValue[];
+export interface JsonObject {
+    readonly [field: string]: JsonValue | undefined;
+}
+export type CanonicalContainerScope = 'top-level' | 'subprocess' | 'stage' | 'projection';
+export interface QualifiedStepReference {
+    readonly dialect: string;
+    readonly provider: string;
+    readonly registryRevision?: string;
+}
+export interface CanonicalContainer {
+    readonly documentId: string;
+    readonly workflowId: string;
+    readonly scope: CanonicalContainerScope;
+    readonly stage?: string;
+    readonly parentNodeId?: string;
+}
+export interface SourcePointer {
+    readonly adapterId: string;
+    readonly adapterVersion: string;
+    readonly path: string;
+    readonly derived: boolean;
+    readonly canonicalField?: string;
+}
+export interface GraphCapabilities {
+    readonly semanticEdit: boolean;
+    readonly presentationEdit: boolean;
+}
+export interface EdgeCapabilities {
+    readonly reconnect: boolean;
+    readonly delete: boolean;
+}
+export interface CanonicalPort {
+    readonly id: string;
+    readonly nodeId: string;
+    readonly direction: 'input' | 'output';
+    readonly kind: string;
+    readonly provenance: readonly SourcePointer[];
+}
+export interface CanonicalRoute {
+    readonly id: string;
+    readonly sourceNodeId: string;
+    readonly sourcePortId: string;
+    readonly kind: string;
+    readonly targetIdentity?: string;
+    readonly role?: string;
+    readonly label?: string;
+    readonly order?: number;
+    readonly expression?: CanonicalExpression;
+    readonly conditions?: readonly CanonicalRouteCondition[];
+    readonly potentialBranches?: readonly CanonicalPotentialBranch[];
+    readonly provenance: readonly SourcePointer[];
+}
+export interface CanonicalExpression {
+    readonly provider: string;
+    readonly source: string;
+}
+export interface CanonicalRouteCondition {
+    readonly expression: CanonicalExpression;
+    readonly outcome: boolean;
+    readonly provenance: readonly SourcePointer[];
+}
+export interface CanonicalPotentialBranch {
+    readonly role: string;
+    readonly label?: string;
+    readonly targetIdentity?: string;
+}
+export interface CanonicalEdge {
+    readonly id: string;
+    readonly source: {
+        readonly nodeId: string;
+        readonly portId: string;
+    };
+    readonly target: {
+        readonly nodeId: string;
+        readonly portId: string;
+    };
+    readonly kind: string;
+    readonly provenance: readonly SourcePointer[];
+    readonly capabilities: EdgeCapabilities;
+}
+export interface CanonicalNode {
+    readonly id: string;
+    readonly sourceIdentity: string;
+    readonly sourceAddress: string;
+    readonly stepRef: QualifiedStepReference;
+    readonly container: CanonicalContainer;
+    readonly kind: string;
+    readonly displayType: string;
+    readonly source: JsonObject;
+    readonly ports: readonly CanonicalPort[];
+    readonly provenance: readonly SourcePointer[];
+    readonly capabilities: GraphCapabilities;
+}
+export interface GraphDiagnostic {
+    readonly code: string;
+    readonly severity: 'info' | 'warning' | 'error';
+    readonly phase: 'compile';
+    readonly message: string;
+    readonly elementId?: string;
+    readonly graphId?: string;
+    readonly details?: Readonly<Record<string, JsonValue | undefined>>;
+    readonly causeCode?: string;
+    readonly source: SourcePointer;
+    readonly recoverable: boolean;
+}
+export interface WorkflowGraph {
+    readonly schemaVersion: typeof CANONICAL_GRAPH_SCHEMA_VERSION;
+    readonly graphId: string;
+    readonly dialect: string;
+    readonly sourceFingerprint: string;
+    readonly nodes: readonly CanonicalNode[];
+    readonly ports: readonly CanonicalPort[];
+    readonly routes: readonly CanonicalRoute[];
+    readonly edges: readonly CanonicalEdge[];
+    readonly capabilities: GraphCapabilities;
+    readonly provenance: readonly SourcePointer[];
+    readonly diagnostics: readonly GraphDiagnostic[];
+}
+export interface GenericWorkflowSource extends JsonObject {
+    readonly id?: JsonPrimitive;
+    readonly key?: JsonPrimitive;
+    readonly steps?: readonly JsonValue[];
+}
+export interface GenericWorkflowAdapterOptions {
+    readonly adapterId?: string;
+    readonly adapterVersion?: string;
+    readonly identityFields?: readonly string[];
+    readonly displayTypeFields?: readonly string[];
+    readonly supportedTypes?: readonly string[];
+    readonly dialect?: string;
+    readonly provider?: string;
+    readonly registryRevision?: string;
+    readonly container?: Partial<CanonicalContainer>;
+    readonly capabilities?: Partial<GraphCapabilities>;
+}
+export interface WorkflowSourceAdapter {
+    readonly id: string;
+    readonly version: string;
+    readonly identityFields: readonly string[];
+    readonly displayTypeFields: readonly string[];
+    readonly supportedTypes?: readonly string[];
+    readonly dialect: string;
+    readonly provider?: string;
+    readonly registryRevision?: string;
+    readonly container?: Partial<CanonicalContainer>;
+    readonly capabilities: GraphCapabilities;
+}
+export declare function genericWorkflowAdapter(options?: GenericWorkflowAdapterOptions): WorkflowSourceAdapter;
+export declare function compileWorkflowGraph(source: GenericWorkflowSource, adapter: WorkflowSourceAdapter): WorkflowGraph;
+//# sourceMappingURL=canonicalGraph.d.ts.map

package/dist/canonicalGraph.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"canonicalGraph.d.ts","sourceRoot":"","sources":["../src/canonicalGraph.ts"],"names":[],"mappings":"AAEA,eAAO,MAAM,8BAA8B,EAAG,CAAU,CAAC;AACzD,MAAM,MAAM,aAAa,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAAC;AAC7D,MAAM,MAAM,SAAS,GAAG,aAAa,GAAG,UAAU,GAAG,SAAS,SAAS,EAAE,CAAC;AAC1E,MAAM,WAAW,UAAU;IACzB,QAAQ,EAAE,KAAK,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CAAC;CACjD;AACD,MAAM,MAAM,uBAAuB,GAAG,WAAW,GAAG,YAAY,GAAG,OAAO,GAAG,YAAY,CAAC;AAC1F,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;CACpC;AACD,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,uBAAuB,CAAC;IACxC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC;AACD,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;CAClC;AACD,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;IAC/B,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;CACpC;AACD,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;CAC1B;AACD,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,OAAO,GAAG,QAAQ,CAAC;IACvC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,SAAS,aAAa,EAAE,CAAC;CAC/C;AACD,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,CAAC,EAAE,mBAAmB,CAAC;IAC1C,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,uBAAuB,EAAE,CAAC;IACzD,QAAQ,CAAC,iBAAiB,CAAC,EAAE,SAAS,wBAAwB,EAAE,CAAC;IACjE,QAAQ,CAAC,UAAU,EAAE,SAAS,aAAa,EAAE,CAAC;CAC/C;AACD,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AACD,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,UAAU,EAAE,mBAAmB,CAAC;IACzC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,SAAS,aAAa,EAAE,CAAC;CAC/C;AACD,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;CAClC;AACD,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IACtE,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IACtE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,SAAS,aAAa,EAAE,CAAC;IAC9C,QAAQ,CAAC,YAAY,EAAE,gBAAgB,CAAC;CACzC;AACD,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,OAAO,EAAE,sBAAsB,CAAC;IACzC,QAAQ,CAAC,SAAS,EAAE,kBAAkB,CAAC;IACvC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,SAAS,aAAa,EAAE,CAAC;IACzC,QAAQ,CAAC,UAAU,EAAE,SAAS,aAAa,EAAE,CAAC;IAC9C,QAAQ,CAAC,YAAY,EAAE,iBAAiB,CAAC;CAC1C;AACD,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,GAAG,OAAO,CAAC;IAChD,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,GAAG,SAAS,CAAC,CAAC,CAAC;IACnE,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;CAC/B;AACD,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,aAAa,EAAE,OAAO,8BAA8B,CAAC;IAC9D,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,KAAK,EAAE,SAAS,aAAa,EAAE,CAAC;IACzC,QAAQ,CAAC,KAAK,EAAE,SAAS,aAAa,EAAE,CAAC;IACzC,QAAQ,CAAC,MAAM,EAAE,SAAS,cAAc,EAAE,CAAC;IAC3C,QAAQ,CAAC,KAAK,EAAE,SAAS,aAAa,EAAE,CAAC;IACzC,QAAQ,CAAC,YAAY,EAAE,iBAAiB,CAAC;IACzC,QAAQ,CAAC,UAAU,EAAE,SAAS,aAAa,EAAE,CAAC;IAC9C,QAAQ,CAAC,WAAW,EAAE,SAAS,eAAe,EAAE,CAAC;CAClD;AACD,MAAM,WAAW,qBAAsB,SAAQ,UAAU;IACvD,QAAQ,CAAC,EAAE,CAAC,EAAE,aAAa,CAAC;IAC5B,QAAQ,CAAC,GAAG,CAAC,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,SAAS,EAAE,CAAC;CACvC;AACD,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,QAAQ,CAAC,iBAAiB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/C,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC,kBAAkB,CAAC,CAAC;IACjD,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC,iBAAiB,CAAC,CAAC;CACpD;AACD,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC,kBAAkB,CAAC,CAAC;IACjD,QAAQ,CAAC,YAAY,EAAE,iBAAiB,CAAC;CAC1C;AAED,wBAAgB,sBAAsB,CACpC,OAAO,GAAE,6BAAkC,GAC1C,qBAAqB,CAuBvB;AA+ED,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,qBAAqB,EAC7B,OAAO,EAAE,qBAAqB,GAC7B,aAAa,CA6Pf"}

package/dist/canonicalGraph.js

@@ -0,0 +1,321 @@
+import { identitySegment, keySegment, nodeAddress } from './nodeAddress.js';
+export const CANONICAL_GRAPH_SCHEMA_VERSION = 1;
+export function genericWorkflowAdapter(options = {}) {
+    const identityFields = options.identityFields ?? ['id', 'key'];
+    const displayTypeFields = options.displayTypeFields ?? ['type', 'displayType'];
+    if (identityFields.length === 0 || displayTypeFields.length === 0) {
+        throw new Error('A workflow adapter requires identity and display-type fields.');
+    }
+    return {
+        id: options.adapterId ?? 'generic',
+        version: options.adapterVersion ?? '1',
+        identityFields: [...identityFields],
+        displayTypeFields: [...displayTypeFields],
+        ...(options.supportedTypes === undefined
+            ? {}
+            : { supportedTypes: [...options.supportedTypes] }),
+        dialect: options.dialect ?? 'generic/v1',
+        ...(options.provider === undefined ? {} : { provider: options.provider }),
+        ...(options.registryRevision === undefined ? {} : { registryRevision: options.registryRevision }),
+        ...(options.container === undefined ? {} : { container: options.container }),
+        capabilities: {
+            semanticEdit: options.capabilities?.semanticEdit ?? false,
+            presentationEdit: options.capabilities?.presentationEdit ?? true,
+        },
+    };
+}
+const objectOf = (value) => typeof value === 'object' && value !== null && !Array.isArray(value)
+    ? value
+    : undefined;
+const textOf = (value) => {
+    if (typeof value === 'string')
+        return value.trim() === '' ? undefined : value;
+    return typeof value === 'number' ? String(value) : undefined;
+};
+const firstField = (record, fields) => {
+    for (const field of fields) {
+        const value = textOf(record[field]);
+        if (value !== undefined)
+            return { field, value };
+    }
+    return undefined;
+};
+const stableValue = (value) => {
+    if (Array.isArray(value))
+        return value.map(stableValue);
+    const record = objectOf(value);
+    if (!record)
+        return value;
+    return Object.fromEntries(Object.keys(record).sort().map((key) => [key, stableValue(record[key])]));
+};
+const fingerprintOf = (source) => {
+    const input = JSON.stringify(stableValue(source));
+    let hash = 2166136261;
+    for (let index = 0; index < input.length; index += 1) {
+        hash ^= input.charCodeAt(index);
+        hash = Math.imul(hash, 16777619);
+    }
+    return 'fnv1a32:' + (hash >>> 0).toString(16).padStart(8, '0');
+};
+const pointer = (adapter, path, derived = false, canonicalField) => ({
+    adapterId: adapter.id,
+    adapterVersion: adapter.version,
+    path,
+    derived,
+    ...(canonicalField === undefined ? {} : { canonicalField }),
+});
+const fieldPath = (base, field) => /^[A-Za-z_$][A-Za-z0-9_$]*$/.test(field)
+    ? base + '.' + field
+    : base + '[' + JSON.stringify(field) + ']';
+const encodePart = (value) => {
+    if (value === undefined)
+        return 'u:';
+    return 's' + String(value.length) + ':' + value;
+};
+const qualifiedId = (adapter, container, provider, kind, identity) => [
+    adapter.id,
+    adapter.version,
+    adapter.dialect,
+    provider,
+    adapter.registryRevision,
+    container.documentId,
+    container.workflowId,
+    container.scope,
+    container.stage,
+    container.parentNodeId,
+    kind,
+    identity,
+].map(encodePart).join('|');
+export function compileWorkflowGraph(source, adapter) {
+    const workflowIdentity = firstField(source, adapter.identityFields)?.value ?? 'workflow';
+    const container = {
+        documentId: adapter.container?.documentId ?? workflowIdentity,
+        workflowId: adapter.container?.workflowId ?? workflowIdentity,
+        scope: adapter.container?.scope ?? 'top-level',
+        ...(adapter.container?.stage === undefined ? {} : { stage: adapter.container.stage }),
+        ...(adapter.container?.parentNodeId === undefined
+            ? {}
+            : { parentNodeId: adapter.container.parentNodeId }),
+    };
+    const graphProvider = adapter.provider ?? '*';
+    const graphId = qualifiedId(adapter, container, graphProvider, 'graph', workflowIdentity);
+    const diagnostics = [];
+    const nodes = [];
+    const ports = [];
+    const byIdentity = new Map();
+    const rawSteps = source.steps;
+    const steps = rawSteps === undefined || Array.isArray(rawSteps) ? rawSteps ?? [] : [];
+    if (rawSteps !== undefined && !Array.isArray(rawSteps)) {
+        diagnostics.push({
+            code: 'INVALID_STEPS_COLLECTION',
+            severity: 'error',
+            phase: 'compile',
+            message: 'The steps field must be an array.',
+            source: pointer(adapter, '$.steps'),
+            recoverable: true,
+        });
+    }
+    steps.forEach((rawStep, index) => {
+        const path = '$.steps[' + index + ']';
+        const step = objectOf(rawStep);
+        if (!step) {
+            diagnostics.push({
+                code: 'INVALID_STEP',
+                severity: 'error',
+                phase: 'compile',
+                message: 'The step must be an object.',
+                source: pointer(adapter, path),
+                recoverable: true,
+            });
+            return;
+        }
+        const identity = firstField(step, adapter.identityFields);
+        if (!identity) {
+            diagnostics.push({
+                code: 'MISSING_STEP_IDENTITY',
+                severity: 'error',
+                phase: 'compile',
+                message: 'The step has no configured identity.',
+                source: pointer(adapter, path),
+                recoverable: true,
+            });
+            return;
+        }
+        const addressSegment = identitySegment(identity.value, identity.field === 'id' ? 'id' : 'key');
+        if (!addressSegment) {
+            diagnostics.push({
+                code: 'INVALID_STEP_IDENTITY',
+                severity: 'error',
+                phase: 'compile',
+                message: 'The step identity cannot form an AD-33 address.',
+                source: pointer(adapter, fieldPath(path, identity.field)),
+                recoverable: true,
+            });
+            return;
+        }
+        const canonicalIdentity = 'value' in addressSegment
+            ? addressSegment.value
+            : identity.value;
+        if (byIdentity.has(canonicalIdentity)) {
+            diagnostics.push({
+                code: 'DUPLICATE_STEP_IDENTITY',
+                severity: 'error',
+                phase: 'compile',
+                message: 'Duplicate step identity: ' + canonicalIdentity + '.',
+                elementId: byIdentity.get(canonicalIdentity)?.id,
+                source: pointer(adapter, fieldPath(path, identity.field)),
+                recoverable: true,
+            });
+            return;
+        }
+        const displayTypeField = firstField(step, adapter.displayTypeFields);
+        const authoredDisplayType = displayTypeField?.value;
+        const unsupportedDisplayType = authoredDisplayType !== undefined
+            && adapter.supportedTypes !== undefined
+            && adapter.supportedTypes.length > 0
+            && !adapter.supportedTypes.includes(authoredDisplayType);
+        const displayType = authoredDisplayType === undefined || unsupportedDisplayType
+            ? 'UNKNOWN'
+            : authoredDisplayType;
+        const provider = adapter.provider ?? displayType;
+        const nodeId = qualifiedId(adapter, container, provider, 'node', canonicalIdentity);
+        const stepPointer = pointer(adapter, path);
+        const identityDerived = adapter.identityFields.indexOf(identity.field) > 0
+            || canonicalIdentity !== identity.value;
+        const fieldProvenance = Object.keys(step).map((field) => pointer(adapter, fieldPath(path, field), false, fieldPath('source', field)));
+        fieldProvenance.push(pointer(adapter, fieldPath(path, identity.field), identityDerived, 'sourceIdentity'), pointer(adapter, fieldPath(path, identity.field), identityDerived, 'sourceAddress'));
+        if (displayTypeField) {
+            const displayTypeDerived = adapter.displayTypeFields.indexOf(displayTypeField.field) > 0
+                || unsupportedDisplayType;
+            fieldProvenance.push(pointer(adapter, fieldPath(path, displayTypeField.field), displayTypeDerived, 'displayType'));
+        }
+        else {
+            fieldProvenance.push(pointer(adapter, path, true, 'displayType'));
+        }
+        const input = {
+            id: nodeId + '|4:port|5:input',
+            nodeId,
+            direction: 'input',
+            kind: 'input',
+            provenance: [stepPointer],
+        };
+        const output = {
+            id: nodeId + '|4:port|6:output',
+            nodeId,
+            direction: 'output',
+            kind: 'next',
+            provenance: [stepPointer],
+        };
+        const node = {
+            id: nodeId,
+            sourceIdentity: canonicalIdentity,
+            sourceAddress: nodeAddress([keySegment('steps'), addressSegment]),
+            stepRef: {
+                dialect: adapter.dialect,
+                provider,
+                ...(adapter.registryRevision === undefined
+                    ? {}
+                    : { registryRevision: adapter.registryRevision }),
+            },
+            container,
+            kind: displayType === 'UNKNOWN'
+                ? 'unknown'
+                : displayType === 'IF' || displayType === 'SWITCH'
+                    ? 'decision'
+                    : 'task',
+            displayType,
+            source: step,
+            ports: [input, output],
+            provenance: [stepPointer, ...fieldProvenance],
+            capabilities: adapter.capabilities,
+        };
+        nodes.push(node);
+        ports.push(input, output);
+        byIdentity.set(canonicalIdentity, node);
+        if (authoredDisplayType === undefined) {
+            diagnostics.push({
+                code: 'MISSING_STEP_TYPE',
+                severity: 'warning',
+                phase: 'compile',
+                message: 'The step has no configured display type.',
+                elementId: node.id,
+                source: pointer(adapter, path),
+                recoverable: true,
+            });
+        }
+        else if (unsupportedDisplayType && displayTypeField) {
+            diagnostics.push({
+                code: 'UNSUPPORTED_STEP_TYPE',
+                severity: 'warning',
+                phase: 'compile',
+                message: 'Unsupported step type: ' + authoredDisplayType + '.',
+                elementId: node.id,
+                source: pointer(adapter, fieldPath(path, displayTypeField.field)),
+                recoverable: true,
+            });
+        }
+    });
+    const routes = [];
+    const edges = [];
+    nodes.forEach((node) => {
+        const rawTargetIdentity = textOf(node.source.next);
+        const targetIdentity = rawTargetIdentity === undefined
+            ? undefined
+            : (() => {
+                const segment = identitySegment(rawTargetIdentity, 'id');
+                return segment && 'value' in segment ? segment.value : undefined;
+            })();
+        if (!targetIdentity)
+            return;
+        const sourcePort = node.ports.find((port) => port.direction === 'output');
+        const target = byIdentity.get(targetIdentity);
+        const targetPort = target?.ports.find((port) => port.direction === 'input');
+        const routePointer = pointer(adapter, node.provenance[0].path + '.next');
+        const routeId = node.id + '|5:route|4:next|' + encodePart(targetIdentity);
+        routes.push({
+            id: routeId,
+            sourceNodeId: node.id,
+            sourcePortId: sourcePort?.id ?? node.id + '|4:port|6:output',
+            kind: 'next',
+            targetIdentity,
+            provenance: [routePointer],
+        });
+        if (!target || !sourcePort || !targetPort) {
+            diagnostics.push({
+                code: 'MISSING_ROUTE_TARGET',
+                severity: 'error',
+                phase: 'compile',
+                message: 'Route target does not exist: ' + targetIdentity + '.',
+                elementId: node.id,
+                source: routePointer,
+                recoverable: true,
+            });
+            return;
+        }
+        edges.push({
+            id: routeId + '|4:edge|1:0',
+            source: { nodeId: node.id, portId: sourcePort.id },
+            target: { nodeId: target.id, portId: targetPort.id },
+            kind: 'next',
+            provenance: [routePointer],
+            capabilities: {
+                reconnect: adapter.capabilities.semanticEdit,
+                delete: adapter.capabilities.semanticEdit,
+            },
+        });
+    });
+    return {
+        schemaVersion: CANONICAL_GRAPH_SCHEMA_VERSION,
+        graphId,
+        dialect: adapter.dialect,
+        sourceFingerprint: fingerprintOf(source),
+        nodes,
+        ports,
+        routes,
+        edges,
+        capabilities: adapter.capabilities,
+        provenance: [pointer(adapter, '$')],
+        diagnostics,
+    };
+}
+//# sourceMappingURL=canonicalGraph.js.map

package/dist/canonicalGraph.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"canonicalGraph.js","sourceRoot":"","sources":["../src/canonicalGraph.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAE5E,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAAU,CAAC;AAiJzD,MAAM,UAAU,sBAAsB,CACpC,OAAO,GAAkC,EAAE;IAE3C,MAAM,cAAc,GAAG,OAAO,CAAC,cAAc,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/D,MAAM,iBAAiB,GAAG,OAAO,CAAC,iBAAiB,IAAI,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IAC/E,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClE,MAAM,IAAI,KAAK,CAAC,+DAA+D,CAAC,CAAC;IACnF,CAAC;IACD,OAAO;QACL,EAAE,EAAE,OAAO,CAAC,SAAS,IAAI,SAAS;QAClC,OAAO,EAAE,OAAO,CAAC,cAAc,IAAI,GAAG;QACtC,cAAc,EAAE,CAAC,GAAG,cAAc,CAAC;QACnC,iBAAiB,EAAE,CAAC,GAAG,iBAAiB,CAAC;QACzC,GAAG,CAAC,OAAO,CAAC,cAAc,KAAK,SAAS;YACtC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC,GAAG,OAAO,CAAC,cAAc,CAAC,EAAE,CAAC;QACpD,OAAO,EAAE,OAAO,CAAC,OAAO,IAAI,YAAY;QACxC,GAAG,CAAC,OAAO,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC;QACzE,GAAG,CAAC,OAAO,CAAC,gBAAgB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,OAAO,CAAC,gBAAgB,EAAE,CAAC;QACjG,GAAG,CAAC,OAAO,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC;QAC5E,YAAY,EAAE;YACZ,YAAY,EAAE,OAAO,CAAC,YAAY,EAAE,YAAY,IAAI,KAAK;YACzD,gBAAgB,EAAE,OAAO,CAAC,YAAY,EAAE,gBAAgB,IAAI,IAAI;SACjE;KACF,CAAC;AACJ,CAAC;AAMD,MAAM,QAAQ,GAAG,CAAC,KAA4B,EAA0B,EAAE,CACxE,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;IAClE,CAAC,CAAC,KAAmB;IACrB,CAAC,CAAC,SAAS,CAAC;AAChB,MAAM,MAAM,GAAG,CAAC,KAA4B,EAAsB,EAAE;IAClE,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC;IAC9E,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAC/D,CAAC,CAAC;AACF,MAAM,UAAU,GAAG,CAAC,MAAkB,EAAE,MAAyB,EAA6B,EAAE;IAC9F,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QACpC,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IACnD,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AACF,MAAM,WAAW,GAAG,CAAC,KAA4B,EAAyB,EAAE;IAC1E,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,WAAW,CAAyB,CAAC;IAChF,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC/B,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC1B,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CACzE,CAAC;AACJ,CAAC,CAAC;AACF,MAAM,aAAa,GAAG,CAAC,MAA6B,EAAU,EAAE;IAC9D,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;IAClD,IAAI,IAAI,GAAG,UAAU,CAAC;IACtB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACrD,IAAI,IAAI,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAChC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,UAAU,GAAG,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AACjE,CAAC,CAAC;AACF,MAAM,OAAO,GAAG,CACd,OAA8B,EAC9B,IAAY,EACZ,OAAO,GAAG,KAAK,EACf,cAAuB,EACR,EAAE,CAAC,CAAC;IACnB,SAAS,EAAE,OAAO,CAAC,EAAE;IACrB,cAAc,EAAE,OAAO,CAAC,OAAO;IAC/B,IAAI;IACJ,OAAO;IACP,GAAG,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC;CAC5D,CAAC,CAAC;AACH,MAAM,SAAS,GAAG,CAAC,IAAY,EAAE,KAAa,EAAU,EAAE,CACxD,4BAA4B,CAAC,IAAI,CAAC,KAAK,CAAC;IACtC,CAAC,CAAC,IAAI,GAAG,GAAG,GAAG,KAAK;IACpB,CAAC,CAAC,IAAI,GAAG,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC;AAC/C,MAAM,UAAU,GAAG,CAAC,KAAyB,EAAU,EAAE;IACvD,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACrC,OAAO,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,GAAG,GAAG,KAAK,CAAC;AAClD,CAAC,CAAC;AACF,MAAM,WAAW,GAAG,CAClB,OAA8B,EAC9B,SAA6B,EAC7B,QAAgB,EAChB,IAAY,EACZ,QAAgB,EACR,EAAE,CAAC;IACX,OAAO,CAAC,EAAE;IACV,OAAO,CAAC,OAAO;IACf,OAAO,CAAC,OAAO;IACf,QAAQ;IACR,OAAO,CAAC,gBAAgB;IACxB,SAAS,CAAC,UAAU;IACpB,SAAS,CAAC,UAAU;IACpB,SAAS,CAAC,KAAK;IACf,SAAS,CAAC,KAAK;IACf,SAAS,CAAC,YAAY;IACtB,IAAI;IACJ,QAAQ;CACT,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAE5B,MAAM,UAAU,oBAAoB,CAClC,MAA6B,EAC7B,OAA8B;IAE9B,MAAM,gBAAgB,GAAG,UAAU,CAAC,MAAM,EAAE,OAAO,CAAC,cAAc,CAAC,EAAE,KAAK,IAAI,UAAU,CAAC;IACzF,MAAM,SAAS,GAAuB;QACpC,UAAU,EAAE,OAAO,CAAC,SAAS,EAAE,UAAU,IAAI,gBAAgB;QAC7D,UAAU,EAAE,OAAO,CAAC,SAAS,EAAE,UAAU,IAAI,gBAAgB;QAC7D,KAAK,EAAE,OAAO,CAAC,SAAS,EAAE,KAAK,IAAI,WAAW;QAC9C,GAAG,CAAC,OAAO,CAAC,SAAS,EAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;QACrF,GAAG,CAAC,OAAO,CAAC,SAAS,EAAE,YAAY,KAAK,SAAS;YAC/C,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,YAAY,EAAE,OAAO,CAAC,SAAS,CAAC,YAAY,EAAE,CAAC;KACtD,CAAC;IACF,MAAM,aAAa,GAAG,OAAO,CAAC,QAAQ,IAAI,GAAG,CAAC;IAC9C,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,OAAO,EAAE,gBAAgB,CAAC,CAAC;IAC1F,MAAM,WAAW,GAAsB,EAAE,CAAC;IAC1C,MAAM,KAAK,GAAoB,EAAE,CAAC;IAClC,MAAM,KAAK,GAAoB,EAAE,CAAC;IAClC,MAAM,UAAU,GAAG,IAAI,GAAG,EAAyB,CAAC;IACpD,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC;IAC9B,MAAM,KAAK,GAAG,QAAQ,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACtF,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvD,WAAW,CAAC,IAAI,CAAC;YACf,IAAI,EAAE,0BAA0B;YAChC,QAAQ,EAAE,OAAO;YACjB,KAAK,EAAE,SAAS;YAChB,OAAO,EAAE,mCAAmC;YAC5C,MAAM,EAAE,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC;YACnC,WAAW,EAAE,IAAI;SAClB,CAAC,CAAC;IACL,CAAC;IAED,KAAK,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;QAC/B,MAAM,IAAI,GAAG,UAAU,GAAG,KAAK,GAAG,GAAG,CAAC;QACtC,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC;QAC/B,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,WAAW,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,cAAc;gBACpB,QAAQ,EAAE,OAAO;gBACjB,KAAK,EAAE,SAAS;gBAChB,OAAO,EAAE,6BAA6B;gBACtC,MAAM,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC;gBAC9B,WAAW,EAAE,IAAI;aAClB,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QACD,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,cAAc,CAAC,CAAC;QAC1D,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,WAAW,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,uBAAuB;gBAC7B,QAAQ,EAAE,OAAO;gBACjB,KAAK,EAAE,SAAS;gBAChB,OAAO,EAAE,sCAAsC;gBAC/C,MAAM,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC;gBAC9B,WAAW,EAAE,IAAI;aAClB,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QACD,MAAM,cAAc,GAAG,eAAe,CACpC,QAAQ,CAAC,KAAK,EACd,QAAQ,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CACvC,CAAC;QACF,IAAI,CAAC,cAAc,EAAE,CAAC;YACpB,WAAW,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,uBAAuB;gBAC7B,QAAQ,EAAE,OAAO;gBACjB,KAAK,EAAE,SAAS;gBAChB,OAAO,EAAE,iDAAiD;gBAC1D,MAAM,EAAE,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;gBACzD,WAAW,EAAE,IAAI;aAClB,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QACD,MAAM,iBAAiB,GAAG,OAAO,IAAI,cAAc;YACjD,CAAC,CAAC,cAAc,CAAC,KAAK;YACtB,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC;QACnB,IAAI,UAAU,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAAE,CAAC;YACtC,WAAW,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,yBAAyB;gBAC/B,QAAQ,EAAE,OAAO;gBACjB,KAAK,EAAE,SAAS;gBAChB,OAAO,EAAE,2BAA2B,GAAG,iBAAiB,GAAG,GAAG;gBAC9D,SAAS,EAAE,UAAU,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAAE,EAAE;gBAChD,MAAM,EAAE,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;gBACzD,WAAW,EAAE,IAAI;aAClB,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QACD,MAAM,gBAAgB,GAAG,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,iBAAiB,CAAC,CAAC;QACrE,MAAM,mBAAmB,GAAG,gBAAgB,EAAE,KAAK,CAAC;QACpD,MAAM,sBAAsB,GAAG,mBAAmB,KAAK,SAAS;eAC3D,OAAO,CAAC,cAAc,KAAK,SAAS;eACpC,OAAO,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC;eACjC,CAAC,OAAO,CAAC,cAAc,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAAC;QAC3D,MAAM,WAAW,GAAG,mBAAmB,KAAK,SAAS,IAAI,sBAAsB;YAC7E,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,mBAAmB,CAAC;QACxB,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,WAAW,CAAC;QACjD,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,iBAAiB,CAAC,CAAC;QACpF,MAAM,WAAW,GAAG,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC3C,MAAM,eAAe,GAAG,OAAO,CAAC,cAAc,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC;eACrE,iBAAiB,KAAK,QAAQ,CAAC,KAAK,CAAC;QAC1C,MAAM,eAAe,GAAoB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CACvE,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QAC/E,eAAe,CAAC,IAAI,CAClB,OAAO,CACL,OAAO,EACP,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,EAC/B,eAAe,EACf,gBAAgB,CACjB,EACD,OAAO,CACL,OAAO,EACP,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,EAC/B,eAAe,EACf,eAAe,CAChB,CACF,CAAC;QACF,IAAI,gBAAgB,EAAE,CAAC;YACrB,MAAM,kBAAkB,GAAG,OAAO,CAAC,iBAAiB,CAAC,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC,GAAG,CAAC;mBACnF,sBAAsB,CAAC;YAC5B,eAAe,CAAC,IAAI,CAAC,OAAO,CAC1B,OAAO,EACP,SAAS,CAAC,IAAI,EAAE,gBAAgB,CAAC,KAAK,CAAC,EACvC,kBAAkB,EAClB,aAAa,CACd,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC;QACpE,CAAC;QACD,MAAM,KAAK,GAAkB;YAC3B,EAAE,EAAE,MAAM,GAAG,iBAAiB;YAC9B,MAAM;YACN,SAAS,EAAE,OAAO;YAClB,IAAI,EAAE,OAAO;YACb,UAAU,EAAE,CAAC,WAAW,CAAC;SAC1B,CAAC;QACF,MAAM,MAAM,GAAkB;YAC5B,EAAE,EAAE,MAAM,GAAG,kBAAkB;YAC/B,MAAM;YACN,SAAS,EAAE,QAAQ;YACnB,IAAI,EAAE,MAAM;YACZ,UAAU,EAAE,CAAC,WAAW,CAAC;SAC1B,CAAC;QACF,MAAM,IAAI,GAAkB;YAC1B,EAAE,EAAE,MAAM;YACV,cAAc,EAAE,iBAAiB;YACjC,aAAa,EAAE,WAAW,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,cAAc,CAAC,CAAC;YACjE,OAAO,EAAE;gBACP,OAAO,EAAE,OAAO,CAAC,OAAO;gBACxB,QAAQ;gBACR,GAAG,CAAC,OAAO,CAAC,gBAAgB,KAAK,SAAS;oBACxC,CAAC,CAAC,EAAE;oBACJ,CAAC,CAAC,EAAE,gBAAgB,EAAE,OAAO,CAAC,gBAAgB,EAAE,CAAC;aACpD;YACD,SAAS;YACT,IAAI,EAAE,WAAW,KAAK,SAAS;gBAC7B,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,WAAW,KAAK,IAAI,IAAI,WAAW,KAAK,QAAQ;oBAChD,CAAC,CAAC,UAAU;oBACZ,CAAC,CAAC,MAAM;YACZ,WAAW;YACX,MAAM,EAAE,IAAI;YACZ,KAAK,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC;YACtB,UAAU,EAAE,CAAC,WAAW,EAAE,GAAG,eAAe,CAAC;YAC7C,YAAY,EAAE,OAAO,CAAC,YAAY;SACnC,CAAC;QACF,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjB,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC1B,UAAU,CAAC,GAAG,CAAC,iBAAiB,EAAE,IAAI,CAAC,CAAC;QACxC,IAAI,mBAAmB,KAAK,SAAS,EAAE,CAAC;YACtC,WAAW,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,mBAAmB;gBACzB,QAAQ,EAAE,SAAS;gBACnB,KAAK,EAAE,SAAS;gBAChB,OAAO,EAAE,0CAA0C;gBACnD,SAAS,EAAE,IAAI,CAAC,EAAE;gBAClB,MAAM,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC;gBAC9B,WAAW,EAAE,IAAI;aAClB,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,sBAAsB,IAAI,gBAAgB,EAAE,CAAC;YACtD,WAAW,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,uBAAuB;gBAC7B,QAAQ,EAAE,SAAS;gBACnB,KAAK,EAAE,SAAS;gBAChB,OAAO,EAAE,yBAAyB,GAAG,mBAAmB,GAAG,GAAG;gBAC9D,SAAS,EAAE,IAAI,CAAC,EAAE;gBAClB,MAAM,EAAE,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,IAAI,EAAE,gBAAgB,CAAC,KAAK,CAAC,CAAC;gBACjE,WAAW,EAAE,IAAI;aAClB,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,MAAM,MAAM,GAAqB,EAAE,CAAC;IACpC,MAAM,KAAK,GAAoB,EAAE,CAAC;IAClC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QACrB,MAAM,iBAAiB,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACnD,MAAM,cAAc,GAAG,iBAAiB,KAAK,SAAS;YACpD,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,CAAC,GAAG,EAAE;gBACJ,MAAM,OAAO,GAAG,eAAe,CAAC,iBAAiB,EAAE,IAAI,CAAC,CAAC;gBACzD,OAAO,OAAO,IAAI,OAAO,IAAI,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;YACnE,CAAC,CAAC,EAAE,CAAC;QACT,IAAI,CAAC,cAAc;YAAE,OAAO;QAC5B,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC;QAC1E,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;QAC9C,MAAM,UAAU,GAAG,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,KAAK,OAAO,CAAC,CAAC;QAC5E,MAAM,YAAY,GAAG,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,OAAO,CAAC,CAAC;QACzE,MAAM,OAAO,GAAG,IAAI,CAAC,EAAE,GAAG,kBAAkB,GAAG,UAAU,CAAC,cAAc,CAAC,CAAC;QAC1E,MAAM,CAAC,IAAI,CAAC;YACV,EAAE,EAAE,OAAO;YACX,YAAY,EAAE,IAAI,CAAC,EAAE;YACrB,YAAY,EAAE,UAAU,EAAE,EAAE,IAAI,IAAI,CAAC,EAAE,GAAG,kBAAkB;YAC5D,IAAI,EAAE,MAAM;YACZ,cAAc;YACd,UAAU,EAAE,CAAC,YAAY,CAAC;SAC3B,CAAC,CAAC;QACH,IAAI,CAAC,MAAM,IAAI,CAAC,UAAU,IAAI,CAAC,UAAU,EAAE,CAAC;YAC1C,WAAW,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,sBAAsB;gBAC5B,QAAQ,EAAE,OAAO;gBACjB,KAAK,EAAE,SAAS;gBAChB,OAAO,EAAE,+BAA+B,GAAG,cAAc,GAAG,GAAG;gBAC/D,SAAS,EAAE,IAAI,CAAC,EAAE;gBAClB,MAAM,EAAE,YAAY;gBACpB,WAAW,EAAE,IAAI;aAClB,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QACD,KAAK,CAAC,IAAI,CAAC;YACT,EAAE,EAAE,OAAO,GAAG,aAAa;YAC3B,MAAM,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,UAAU,CAAC,EAAE,EAAE;YAClD,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,MAAM,EAAE,UAAU,CAAC,EAAE,EAAE;YACpD,IAAI,EAAE,MAAM;YACZ,UAAU,EAAE,CAAC,YAAY,CAAC;YAC1B,YAAY,EAAE;gBACZ,SAAS,EAAE,OAAO,CAAC,YAAY,CAAC,YAAY;gBAC5C,MAAM,EAAE,OAAO,CAAC,YAAY,CAAC,YAAY;aAC1C;SACF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,aAAa,EAAE,8BAA8B;QAC7C,OAAO;QACP,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,iBAAiB,EAAE,aAAa,CAAC,MAAM,CAAC;QACxC,KAAK;QACL,KAAK;QACL,MAAM;QACN,KAAK;QACL,YAAY,EAAE,OAAO,CAAC,YAAY;QAClC,UAAU,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QACnC,WAAW;KACZ,CAAC;AACJ,CAAC"}

package/dist/collapseRule.d.ts

@@ -0,0 +1,125 @@
+/**
+ * The loop-collapse retention rule, vendored from core.api — Story 8.9, AD-32(b).
+ *
+ * ### Why this file is a COPY and not an implementation
+ *
+ * `ExecutionEvidenceAccumulator` in core.api decides which occurrences of a step survive a run and which fold into a
+ * range. The canvas has to draw the same reading, or the inspector and the diagram describe two different runs. AD-32(b)
+ * says neither owner may decide that rule alone, and AD-28 bars a CI job spanning the two repositories — so the rule is
+ * published there as `hexasync.steps/Manifests/collapse-rule-manifest.json`, byte-copied here to
+ * `manifests/collapse-rule.json`, and pinned on both sides:
+ *
+ * | change | what fails |
+ * | --- | --- |
+ * | the accumulator's retention behaviour | `CollapseRuleManifestAtddTests` in core.api — it runs the accumulator and reads the numbers back out |
+ * | the constants below | `story89LoopCollapse.atdd.spec.ts` — it reads the vendored manifest off disk and compares |
+ * | the vendored manifest goes stale | the same spec, from the other direction |
+ *
+ * This is Story 7.2's `worker-step-roster.json` pattern, deliberately unchanged.
+ *
+ * ### Why the constants are NAMED here and not read at runtime
+ *
+ * `template-model` runs in a webview and in a browser bundle, so it cannot read a file, and a JSON import would put a
+ * bundler-specific assertion in a published library's entry point. The numbers are therefore declared as constants and
+ * the vendored JSON is the thing a TEST compares them against — which is also the only place a comparison is useful,
+ * because a mismatch is a build-time defect, never a runtime condition a caller can handle.
+ *
+ * ⚠️ The accumulator has **no named threshold constants at all** — `StepState` encodes retention structurally with a
+ * first-success flag plus a two-slot slide, so "the fourth success" is emergent behaviour rather than a number anyone
+ * typed there. That is exactly why these constants must be pinned to the manifest instead of "kept in sync by reading
+ * the C#": there is nothing in the C# to read.
+ */
+/** The evidence envelope schema these thresholds describe. */
+export declare const COLLAPSE_RULE_SCHEMA_VERSION = 2;
+/** The first success of a step key always stays full. */
+export declare const RETAINED_FIRST_SUCCESSES = 1;
+/** The trailing successes that stay full — the accumulator's two-slot slide. */
+export declare const RETAINED_LATEST_SUCCESSES = 2;
+/**
+ * The step-local success ordinal on which compaction FIRST fires.
+ *
+ * Not an independent number: the first success plus the latest two are already full, so the next success is the first
+ * one that can push an older body into a range. Stated as a constant because a renderer sizing a fixture needs it, and
+ * derived from the two above so it cannot drift from them.
+ */
+export declare const FIRST_COMPACTED_SUCCESS_ORDINAL: number;
+/** Every failure stays full. A failure never folds into a range, whatever its neighbours did. */
+export declare const FAILURES_RETAINED = true;
+/**
+ * How the six fields below are compared — ordinal (case-sensitive), with two nulls counting as equal.
+ *
+ * Mirrored from the manifest rather than left as prose, because a comparison rule the manifest publishes and neither
+ * side pins is a rule the accumulator can stop following with every test on both sides still green.
+ */
+export declare const RANGE_IDENTITY_COMPARISON = "ordinal";
+export declare const RANGE_IDENTITY_NULLS_EQUAL = true;
+/**
+ * What "adjacent" means when a range is extended rather than opened: the occurrence's global index is exactly one past
+ * the range's last, and its step-local occurrence is exactly one past the range's last.
+ */
+export declare const ADJACENCY_GLOBAL_INDEX_GAP = 1;
+export declare const ADJACENCY_STEP_LOCAL_OCCURRENCE_GAP = 1;
+/** A range id is minted once and does NOT change as the range extends — which is why an entry carries it. */
+export declare const RANGE_ID_STABLE_ON_EXTENSION = true;
+/**
+ * The six fields a range compares to decide whether an occurrence extends it, in the tuple's declared order.
+ *
+ * Case-sensitive (ordinal) with nulls equal, which is what `HasSameRoute` does. The renderer never compares these
+ * itself — the producer does, in core.api — but the list is what a fixture and a review have to agree on, and a plan
+ * whose ranges were folded on five fields is a different reading of the run.
+ */
+export declare const RANGE_IDENTITY_FIELDS: readonly ['stepKey', 'providerId', 'connectionId', 'flow', 'nextTarget', 'outcomeClass'];
+/** The two `orderedTimeline` kinds, in the manifest's order. There is no third. */
+export declare const TIMELINE_KINDS: readonly ['occurrence', 'range'];
+/** How the accumulator mints a range id, and never re-mints it once the range extends. */
+export declare const RANGE_ID_FORMAT = "range-{firstGlobalIndex}";
+/** Which of the two things an entry in the plan is. */
+export type OccurrenceKind = (typeof TIMELINE_KINDS)[number];
+/**
+ * One position in a step's timeline: a retained occurrence, or a range standing in for a folded run.
+ *
+ * The plan is a TYPED PARAMETER and never an evidence envelope (FR26). The generator does not parse the envelope, does
+ * not know its member names, and cannot be made to: one internal shape owns the occurrence facts, and a producer
+ * (Epic 10's) converts. So this type is the whole contract between the two.
+ */
+export type OccurrenceEntry = RetainedOccurrence | CollapsedRange;
+/** What both members share: where in the step's own run they sit, and how many occurrences they stand for. */
+interface OccurrenceEntryBase {
+    /**
+     * The step-local occurrence ordinal, 1-based — `stepLocalOccurrence` in the envelope. For a range it is the FIRST
+     * occurrence the range covers, which is what makes the drawn chain read in the run's order.
+     */
+    readonly ordinal: number;
+    /** Occurrences this entry stands for: `1` for a retained occurrence, the range's `count` for a range. */
+    readonly count: number;
+}
+/** One occurrence the accumulator kept in full. */
+export interface RetainedOccurrence extends OccurrenceEntryBase {
+    readonly kind: 'occurrence';
+}
+/**
+ * One folded run.
+ *
+ * ⚠️ `rangeId` is REQUIRED here, and the discriminated union is the whole reason this is two interfaces rather than one
+ * with an optional field. A range with no id has no spellable address segment, so the expansion throws — at runtime,
+ * from a producer's fixture, long after the mistake was made. As a union it is a compile error in the producer.
+ *
+ * The id is carried rather than re-derived because the accumulator mints it once and never re-mints it as the range
+ * extends; deriving an address from the range's CURRENT first index would move a node's identity as a run grew.
+ */
+export interface CollapsedRange extends OccurrenceEntryBase {
+    readonly kind: 'range';
+    readonly rangeId: string;
+}
+/**
+ * The plan: for each authored node address, what the run did there, in timeline order.
+ *
+ * Keyed by node ADDRESS and never by step key, for AD-22's reason — a step key is not unique across a profile, and the
+ * expansion has to know which drawn node it is talking about. An address no group drew is ignored in silence, which is
+ * what every other overlay here does.
+ */
+export type OccurrencePlan = Readonly<Record<string, readonly OccurrenceEntry[]>>;
+/** Does this entry describe a folded run rather than one retained occurrence? Narrows, so `rangeId` is reachable. */
+export declare function isCollapsedRange(entry: OccurrenceEntry): entry is CollapsedRange;
+export {};
+//# sourceMappingURL=collapseRule.d.ts.map

package/dist/collapseRule.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"collapseRule.d.ts","sourceRoot":"","sources":["../src/collapseRule.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAEH,8DAA8D;AAC9D,eAAO,MAAM,4BAA4B,IAAI,CAAC;AAE9C,yDAAyD;AACzD,eAAO,MAAM,wBAAwB,IAAI,CAAC;AAE1C,gFAAgF;AAChF,eAAO,MAAM,yBAAyB,IAAI,CAAC;AAE3C;;;;;;GAMG;AACH,eAAO,MAAM,+BAA+B,QACc,CAAC;AAE3D,iGAAiG;AACjG,eAAO,MAAM,iBAAiB,OAAO,CAAC;AAEtC;;;;;GAKG;AACH,eAAO,MAAM,yBAAyB,YAAY,CAAC;AACnD,eAAO,MAAM,0BAA0B,OAAO,CAAC;AAE/C;;;GAGG;AACH,eAAO,MAAM,0BAA0B,IAAI,CAAC;AAC5C,eAAO,MAAM,mCAAmC,IAAI,CAAC;AAErD,6GAA6G;AAC7G,eAAO,MAAM,4BAA4B,OAAO,CAAC;AAEjD;;;;;;GAMG;AACH,eAAO,MAAM,qBAAqB,YAChC,SAAS,EACT,YAAY,EACZ,cAAc,EACd,MAAM,EACN,YAAY,EACZ,cAAc,CACN,CAAC;AAEX,mFAAmF;AACnF,eAAO,MAAM,cAAc,YAAI,YAAY,EAAE,OAAO,CAAU,CAAC;AAE/D,0FAA0F;AAC1F,eAAO,MAAM,eAAe,6BAA6B,CAAC;AAE1D,uDAAuD;AACvD,MAAM,MAAM,cAAc,GAAG,CAAC,OAAO,cAAc,CAAC,CAAC,MAAM,CAAC,CAAC;AAE7D;;;;;;GAMG;AACH,MAAM,MAAM,eAAe,GAAG,kBAAkB,GAAG,cAAc,CAAC;AAElE,8GAA8G;AAC9G,UAAU,mBAAmB;IAC3B;;;OAGG;IACH,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,yGAAyG;IACzG,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,mDAAmD;AACnD,MAAM,WAAW,kBAAmB,SAAQ,mBAAmB;IAC7D,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;CAC7B;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,cAAe,SAAQ,mBAAmB;IACzD,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED;;;;;;GAMG;AACH,MAAM,MAAM,cAAc,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,eAAe,EAAE,CAAC,CAAC,CAAC;AAElF,qHAAqH;AACrH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,eAAe,GAAG,KAAK,IAAI,cAAc,CAEhF"}