@victframework/runtime 0.1.0

package/dist/orchestration-join-conformance.js

@@ -0,0 +1,542 @@
+import { neutralJsonContract } from '@victframework/sdk';
+/** Fork/join flow graph with optional join contract and downstream node. */
+function joinFlowGraph(options) {
+    const nodes = [
+        { id: 'start', capability: 'start' },
+        { id: 'f', kind: 'fork', join: 'j' },
+        { id: 'a', capability: 'branchA' },
+        { id: 'b', capability: 'branchB' },
+        {
+            id: 'j',
+            kind: 'join',
+            fork: 'f',
+            ...(options.joinContractId !== undefined ? { output: options.joinContractId } : {}),
+        },
+    ];
+    const edges = [
+        { from: 'start', to: 'f' },
+        { from: 'f', to: 'a', kind: 'branch', key: 'a' },
+        { from: 'f', to: 'b', kind: 'branch', key: 'b' },
+        { from: 'a', to: 'j' },
+        { from: 'b', to: 'j' },
+    ];
+    if (!options.terminal) {
+        nodes.push({
+            id: 'z',
+            capability: 'after',
+            ...(options.downstreamInputContractId !== undefined
+                ? { input: options.downstreamInputContractId }
+                : {}),
+        });
+        edges.push({ from: 'j', to: 'z' });
+    }
+    return {
+        id: options.terminal ? 'conf-join-terminal' : 'conf-join-flow',
+        entry: 'start',
+        nodes,
+        edges,
+    };
+}
+/** Distinctive payload values used as leakage canaries. */
+const CANARY_A = 'branch-alpha-payload-7f3a';
+const CANARY_B = 'branch-beta-payload-91cd';
+const REJECT_CANARY = 'raw-parser-canary-4e2b';
+export function runOrchestrationJoinSuite(runner, expect, factory) {
+    const t = runner.test;
+    t(`[${factory.name}] join boundary: accepting contract called exactly once, downstream runs`, async () => {
+        const fixture = await factory.create();
+        try {
+            const runtime = fixture.runtime;
+            let joinParseCalls = 0;
+            let downstreamCalls = 0;
+            registerFlow(runtime, {
+                joinContract: {
+                    id: 'conf-join-accept',
+                    revision: '1',
+                    expected: 'a record',
+                    parse: (input) => {
+                        joinParseCalls += 1;
+                        if (typeof input !== 'object' || input === null) {
+                            return {
+                                ok: false,
+                                issues: [{ code: 'TYPE', path: '$', message: 'record' }],
+                            };
+                        }
+                        return { ok: true, value: input, issues: [] };
+                    },
+                },
+                after: (input) => {
+                    downstreamCalls += 1;
+                    return `processed:${JSON.stringify(input)}`;
+                },
+            });
+            const activated = await runtime.activate(joinFlowGraph({ joinContractId: 'conf-join-accept' }));
+            expect(activated.ok).toBe(true);
+            const result = await runtime.run('seed');
+            expect(result.status).toBe('completed');
+            expect(joinParseCalls).toBe(1);
+            expect(downstreamCalls).toBe(1);
+            const events = await fixture.orchestration.listOrchestrationEvents(result.runId);
+            expect(events.filter((event) => event.type === 'join.completed').length).toBe(1);
+            expect(events.filter((event) => event.type === 'branch.completed').length).toBe(2);
+            const snapshot = await fixture.orchestration.getOrchestrationSnapshot(result.runId);
+            expect(snapshot?.attempts.filter((attempt) => attempt.nodeId === 'j').length).toBe(1);
+            void expect;
+        }
+        finally {
+            await fixture.dispose();
+        }
+    });
+    t(`[${factory.name}] join boundary: rejecting contract fails safely, no downstream, no leakage`, async () => {
+        const fixture = await factory.create();
+        try {
+            const runtime = fixture.runtime;
+            let joinParseCalls = 0;
+            let downstreamCalls = 0;
+            registerFlow(runtime, {
+                joinContract: {
+                    id: 'conf-join-reject',
+                    revision: '1',
+                    expected: 'never',
+                    parse: (input) => {
+                        joinParseCalls += 1;
+                        // Hostile parser: raw custom message + payload echo + nested
+                        // secret-shaped content that must never reach any event,
+                        // record, or safe error.
+                        return {
+                            ok: false,
+                            issues: [
+                                {
+                                    code: 'HOSTILE',
+                                    path: '$',
+                                    message: `${REJECT_CANARY}:${JSON.stringify(input)}`,
+                                },
+                            ],
+                        };
+                    },
+                },
+                after: () => {
+                    downstreamCalls += 1;
+                    return 'must-not-run';
+                },
+            });
+            const activated = await runtime.activate(joinFlowGraph({ joinContractId: 'conf-join-reject' }));
+            expect(activated.ok).toBe(true);
+            const result = await runtime.run('seed');
+            expect(result.status).toBe('failed');
+            expect(joinParseCalls).toBe(1);
+            expect(downstreamCalls).toBe(0);
+            const message = result.error ?? {};
+            expect(message.code).toBe('VICT_KERNEL_CONTRACT_REJECTED');
+            expect(String(message.message ?? '').includes(REJECT_CANARY)).toBe(false);
+            const events = await fixture.orchestration.listOrchestrationEvents(result.runId);
+            expect(events.filter((event) => event.type === 'join.completed').length).toBe(0);
+            const serialized = JSON.stringify(events);
+            expect(serialized.includes(REJECT_CANARY)).toBe(false);
+            expect(serialized.includes(CANARY_A)).toBe(false);
+            expect(serialized.includes(CANARY_B)).toBe(false);
+            // Default retained history never carries the rejected payload.
+            const record = await fixture.orchestration.getOrchestrationRun(result.runId);
+            expect(record).toBeDefined();
+            const recordJson = JSON.stringify(record);
+            expect(recordJson.includes(REJECT_CANARY)).toBe(false);
+            expect(recordJson.includes(CANARY_A)).toBe(false);
+            expect(recordJson.includes(CANARY_B)).toBe(false);
+        }
+        finally {
+            await fixture.dispose();
+        }
+    });
+    t(`[${factory.name}] join boundary: transforming contract feeds its validated value downstream`, async () => {
+        const fixture = await factory.create();
+        try {
+            const runtime = fixture.runtime;
+            let joinParseCalls = 0;
+            let downParseCalls = 0;
+            registerFlow(runtime, {
+                joinContract: {
+                    id: 'conf-join-upper',
+                    revision: '1',
+                    expected: 'a record of strings',
+                    parse: (input) => {
+                        joinParseCalls += 1;
+                        if (typeof input !== 'object' || input === null) {
+                            return {
+                                ok: false,
+                                issues: [{ code: 'TYPE', path: '$', message: 'record' }],
+                            };
+                        }
+                        const out = {};
+                        for (const [key, value] of Object.entries(input)) {
+                            out[key] = String(value).toUpperCase();
+                        }
+                        return { ok: true, value: out, issues: [] };
+                    },
+                },
+                after: (input) => {
+                    downParseCalls += 1;
+                    return `processed:${JSON.stringify(input)}`;
+                },
+            });
+            const activated = await runtime.activate(joinFlowGraph({ joinContractId: 'conf-join-upper' }));
+            expect(activated.ok).toBe(true);
+            const result = await runtime.run('seed');
+            expect(result.status).toBe('completed');
+            expect(joinParseCalls).toBe(1);
+            // The downstream capability observed the TRANSFORMED value: had the
+            // join's validated value not flowed downstream, the payload would
+            // be the raw canonical checkpoint instead.
+            expect(downParseCalls).toBe(1);
+            expect(result.output).toBe(`processed:${JSON.stringify({
+                a: CANARY_A.toUpperCase(),
+                b: CANARY_B.toUpperCase(),
+            })}`);
+        }
+        finally {
+            await fixture.dispose();
+        }
+    });
+    t(`[${factory.name}] join boundary: downstream input contract is an independent validating boundary`, async () => {
+        const fixture = await factory.create();
+        try {
+            const runtime = fixture.runtime;
+            let downParseCalls = 0;
+            registerFlow(runtime, {
+                // The join declares NO output contract: the raw canonical payload
+                // flows to the downstream node, whose INPUT contract is a separate
+                // boundary — and it rejects what the join passed through.
+                downstreamContract: {
+                    id: 'conf-down-strict',
+                    revision: '1',
+                    expected: 'a string payload',
+                    parse: (input) => {
+                        downParseCalls += 1;
+                        if (typeof input !== 'string') {
+                            return {
+                                ok: false,
+                                issues: [{ code: 'SHAPE', path: '$', message: 'expected a string' }],
+                            };
+                        }
+                        return { ok: true, value: input, issues: [] };
+                    },
+                },
+                after: () => 'must-not-run',
+            });
+            const activated = await runtime.activate(joinFlowGraph({ downstreamInputContractId: 'conf-down-strict' }));
+            expect(activated.ok).toBe(true);
+            const result = await runtime.run('seed');
+            // The join passed the canonical record; the downstream INPUT
+            // boundary rejected it independently.
+            expect(result.status).toBe('failed');
+            expect(downParseCalls).toBe(1);
+            const message = result.error ?? {};
+            expect(message.code).toBe('VICT_KERNEL_CONTRACT_REJECTED');
+            const events = await fixture.orchestration.listOrchestrationEvents(result.runId);
+            expect(events.filter((event) => event.type === 'join.completed').length).toBe(1);
+        }
+        finally {
+            await fixture.dispose();
+        }
+    });
+    t(`[${factory.name}] join boundary: reverse branch-completion order yields the same canonical join input`, async () => {
+        const outputs = [];
+        for (const reverse of [false, true]) {
+            const fixture = await factory.create();
+            const runtime = fixture.runtime;
+            let releaseA;
+            let releaseB;
+            const gateA = new Promise((resolve) => {
+                releaseA = resolve;
+            });
+            const gateB = new Promise((resolve) => {
+                releaseB = resolve;
+            });
+            registerFlow(runtime, {
+                joinContract: {
+                    id: `conf-join-order-${reverse ? 'r' : 'f'}`,
+                    revision: '1',
+                    expected: 'a record',
+                    parse: (input) => ({ ok: true, value: input, issues: [] }),
+                },
+                branchA: async () => {
+                    if (reverse) {
+                        await gateA; // a waits for b: reverse completion order
+                    }
+                    else {
+                        releaseB?.(); // forward: a completes first
+                    }
+                    return CANARY_A;
+                },
+                branchB: async () => {
+                    if (reverse) {
+                        releaseA?.();
+                    }
+                    else {
+                        await gateB;
+                    }
+                    return CANARY_B;
+                },
+                after: (input) => `processed:${JSON.stringify(input)}`,
+            });
+            const activated = await runtime.activate(joinFlowGraph({ joinContractId: `conf-join-order-${reverse ? 'r' : 'f'}` }));
+            expect(activated.ok).toBe(true);
+            const result = await runtime.run('seed');
+            expect(result.status).toBe('completed');
+            outputs.push(result.output);
+            void releaseA;
+            void releaseB;
+        }
+        // Both orders produce the identical canonical (branch-key-sorted) join.
+        expect(outputs[0]).toBe(outputs[1]);
+        expect(outputs[0]).toBe(`processed:${JSON.stringify({ a: CANARY_A, b: CANARY_B })}`);
+    });
+    t(`[${factory.name}] join boundary: concurrent final arrivals create one join token and one join.completed`, async () => {
+        const fixture = await factory.create();
+        try {
+            const runtime = fixture.runtime;
+            let joinParseCalls = 0;
+            let downstreamCalls = 0;
+            let active = 0;
+            let maxConcurrent = 0;
+            let release;
+            const barrier = new Promise((resolve) => {
+                release = resolve;
+            });
+            registerFlow(runtime, {
+                joinContract: {
+                    id: 'conf-join-race',
+                    revision: '1',
+                    expected: 'a record',
+                    parse: (input) => {
+                        joinParseCalls += 1;
+                        return { ok: true, value: input, issues: [] };
+                    },
+                },
+                branchA: async () => {
+                    active += 1;
+                    maxConcurrent = Math.max(maxConcurrent, active);
+                    await barrier;
+                    active -= 1;
+                    return CANARY_A;
+                },
+                branchB: async () => {
+                    active += 1;
+                    maxConcurrent = Math.max(maxConcurrent, active);
+                    await barrier;
+                    active -= 1;
+                    return CANARY_B;
+                },
+                after: (input) => {
+                    downstreamCalls += 1;
+                    return `processed:${JSON.stringify(input)}`;
+                },
+            });
+            const activated = await runtime.activate(joinFlowGraph({ joinContractId: 'conf-join-race' }));
+            expect(activated.ok).toBe(true);
+            // Both branches are released in the same tick: the store serializes
+            // the two final-arrival candidates; exactly one may fire the join.
+            const releaseNow = release;
+            setTimeout(releaseNow, 5);
+            const result = await runtime.run('seed', { concurrency: 4 });
+            expect(result.status).toBe('completed');
+            expect(maxConcurrent).toBe(2);
+            expect(joinParseCalls).toBe(1);
+            expect(downstreamCalls).toBe(1);
+            const events = await fixture.orchestration.listOrchestrationEvents(result.runId);
+            expect(events.filter((event) => event.type === 'join.completed').length).toBe(1);
+            expect(events.filter((event) => event.type === 'branch.completed').length).toBe(2);
+            const snapshot = await fixture.orchestration.getOrchestrationSnapshot(result.runId);
+            expect(snapshot?.attempts.filter((attempt) => attempt.nodeId === 'j').length).toBe(1);
+        }
+        finally {
+            await fixture.dispose();
+        }
+    });
+    t(`[${factory.name}] join boundary: duplicate and stale branch completions cannot revalidate or rejoin`, async () => {
+        const fixture = await factory.create();
+        try {
+            const runtime = fixture.runtime;
+            registerFlow(runtime, {
+                joinContract: {
+                    id: 'conf-join-replay',
+                    revision: '1',
+                    expected: 'a record',
+                    parse: (input) => ({ ok: true, value: input, issues: [] }),
+                },
+                after: (input) => `processed:${JSON.stringify(input)}`,
+            });
+            const activated = await runtime.activate(joinFlowGraph({ joinContractId: 'conf-join-replay' }));
+            expect(activated.ok).toBe(true);
+            const result = await runtime.run('seed');
+            expect(result.status).toBe('completed');
+            // The completed run has exactly one join completion and no ready
+            // tokens; a replayed branch arrival cannot resurrect anything.
+            const events = await fixture.orchestration.listOrchestrationEvents(result.runId);
+            expect(events.filter((event) => event.type === 'join.completed').length).toBe(1);
+            const beforeSeq = events.length;
+            void beforeSeq;
+            // A stale/fabricated branch arrival (unknown token, bogus fence)
+            // must be rejected by the store without mutating durable state.
+            let rejected = false;
+            try {
+                await fixture.orchestration.completeAttempt({
+                    runId: result.runId,
+                    attemptId: 'attempt_does_not_exist',
+                    ownerId: 'stale-owner',
+                    expectedAttemptFence: 999,
+                    now: Date.now(),
+                    outcome: { kind: 'completed', outputSummary: { shape: 'string', length: 3 } },
+                    continuation: {
+                        kind: 'branchArrival',
+                        forkId: 'f',
+                        joinId: 'j',
+                        branchKey: 'a',
+                        joinContinuation: { tokenId: 'token_forged', toNodeId: 'j', lineage: 'forged' },
+                    },
+                    events: [],
+                    run: { status: 'running' },
+                    branchOutput: CANARY_A,
+                    declaredBranchKeys: ['a', 'b'],
+                });
+            }
+            catch {
+                rejected = true;
+            }
+            expect(rejected).toBe(true);
+            const eventsAfter = await fixture.orchestration.listOrchestrationEvents(result.runId);
+            expect(eventsAfter.length).toBe(beforeSeq);
+            expect(eventsAfter.filter((event) => event.type === 'join.completed').length).toBe(1);
+            const snapshotAfter = await fixture.orchestration.getOrchestrationSnapshot(result.runId);
+            expect(snapshotAfter?.run.status).toBe('completed');
+        }
+        finally {
+            await fixture.dispose();
+        }
+    });
+    t(`[${factory.name}] terminal join: validating contract completes the run with the canonical output`, async () => {
+        const fixture = await factory.create();
+        try {
+            const runtime = fixture.runtime;
+            let joinParseCalls = 0;
+            registerFlow(runtime, {
+                joinContract: {
+                    id: 'conf-join-terminal',
+                    revision: '1',
+                    expected: 'a record of strings',
+                    parse: (input) => {
+                        joinParseCalls += 1;
+                        if (typeof input !== 'object' || input === null) {
+                            return {
+                                ok: false,
+                                issues: [{ code: 'TYPE', path: '$', message: 'record' }],
+                            };
+                        }
+                        const out = {};
+                        for (const [key, value] of Object.entries(input)) {
+                            out[key] = `v:${String(value)}`;
+                        }
+                        return { ok: true, value: out, issues: [] };
+                    },
+                },
+            });
+            const activated = await runtime.activate(joinFlowGraph({ joinContractId: 'conf-join-terminal', terminal: true }));
+            expect(activated.ok).toBe(true);
+            const result = await runtime.run('seed');
+            expect(result.status).toBe('completed');
+            expect(joinParseCalls).toBe(1);
+            // The validated, transformed canonical join output IS the run output.
+            expect(JSON.stringify(result.output)).toBe(JSON.stringify({ a: `v:${CANARY_A}`, b: `v:${CANARY_B}` }));
+            const events = await fixture.orchestration.listOrchestrationEvents(result.runId);
+            expect(events.filter((event) => event.type === 'join.completed').length).toBe(1);
+            expect(events.filter((event) => event.type === 'run.completed').length).toBe(1);
+        }
+        finally {
+            await fixture.dispose();
+        }
+    });
+    t(`[${factory.name}] terminal join: rejecting contract fails durably without an unhandled exception`, async () => {
+        const fixture = await factory.create();
+        try {
+            const runtime = fixture.runtime;
+            let joinParseCalls = 0;
+            registerFlow(runtime, {
+                joinContract: {
+                    id: 'conf-join-terminal-reject',
+                    revision: '1',
+                    expected: 'never',
+                    parse: (input) => {
+                        joinParseCalls += 1;
+                        return {
+                            ok: false,
+                            issues: [
+                                {
+                                    code: 'HOSTILE',
+                                    path: '$',
+                                    message: `${REJECT_CANARY}:${JSON.stringify(input)}`,
+                                },
+                            ],
+                        };
+                    },
+                },
+            });
+            const activated = await runtime.activate(joinFlowGraph({ joinContractId: 'conf-join-terminal-reject', terminal: true }));
+            expect(activated.ok).toBe(true);
+            const result = await runtime.run('seed');
+            expect(result.status).toBe('failed');
+            expect(joinParseCalls).toBe(1);
+            const message = result.error ?? {};
+            expect(message.code).toBe('VICT_KERNEL_CONTRACT_REJECTED');
+            expect(String(message.message ?? '').includes(REJECT_CANARY)).toBe(false);
+            const events = await fixture.orchestration.listOrchestrationEvents(result.runId);
+            expect(events.filter((event) => event.type === 'run.failed').length).toBe(1);
+            expect(events.filter((event) => event.type === 'join.completed').length).toBe(0);
+            expect(JSON.stringify(events).includes(REJECT_CANARY)).toBe(false);
+        }
+        finally {
+            await fixture.dispose();
+        }
+    });
+}
+/** Register the standard flow capabilities plus caller-provided contracts. */
+function registerFlow(runtime, options) {
+    runtime
+        .registerCapability({
+        id: 'start',
+        revision: '1',
+        effect: 'pure',
+        input: neutralJsonContract,
+        output: neutralJsonContract,
+        invoke: () => 'seed',
+    })
+        .registerCapability({
+        id: 'branchA',
+        revision: '1',
+        effect: 'pure',
+        input: neutralJsonContract,
+        output: neutralJsonContract,
+        invoke: options.branchA ?? (() => CANARY_A),
+    })
+        .registerCapability({
+        id: 'branchB',
+        revision: '1',
+        effect: 'pure',
+        input: neutralJsonContract,
+        output: neutralJsonContract,
+        invoke: options.branchB ?? (() => CANARY_B),
+    })
+        .registerCapability({
+        id: 'after',
+        revision: '1',
+        effect: 'pure',
+        input: neutralJsonContract,
+        output: neutralJsonContract,
+        invoke: options.after ?? ((input) => `processed:${JSON.stringify(input)}`),
+    });
+    if (options.joinContract !== undefined) {
+        runtime.registerContract(options.joinContract);
+    }
+    if (options.downstreamContract !== undefined) {
+        runtime.registerContract(options.downstreamContract);
+    }
+}
+//# sourceMappingURL=orchestration-join-conformance.js.map

package/dist/orchestration-join-conformance.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"orchestration-join-conformance.js","sourceRoot":"","sources":["../src/orchestration-join-conformance.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAuCzD,4EAA4E;AAC5E,SAAS,aAAa,CAAC,OAItB;IACC,MAAM,KAAK,GAA8B;QACvC,EAAE,EAAE,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE;QACpC,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE;QACpC,EAAE,EAAE,EAAE,GAAG,EAAE,UAAU,EAAE,SAAS,EAAE;QAClC,EAAE,EAAE,EAAE,GAAG,EAAE,UAAU,EAAE,SAAS,EAAE;QAClC;YACE,EAAE,EAAE,GAAG;YACP,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,GAAG;YACT,GAAG,CAAC,OAAO,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACpF;KACF,CAAC;IACF,MAAM,KAAK,GAA8B;QACvC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE;QAC1B,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,EAAE;QAChD,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,EAAE;QAChD,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE;QACtB,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE;KACvB,CAAC;IACF,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;QACtB,KAAK,CAAC,IAAI,CAAC;YACT,EAAE,EAAE,GAAG;YACP,UAAU,EAAE,OAAO;YACnB,GAAG,CAAC,OAAO,CAAC,yBAAyB,KAAK,SAAS;gBACjD,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,yBAAyB,EAAE;gBAC9C,CAAC,CAAC,EAAE,CAAC;SACR,CAAC,CAAC;QACH,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;IACrC,CAAC;IACD,OAAO;QACL,EAAE,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,gBAAgB;QAC9D,KAAK,EAAE,OAAO;QACd,KAAK;QACL,KAAK;KAC+C,CAAC;AACzD,CAAC;AAED,2DAA2D;AAC3D,MAAM,QAAQ,GAAG,2BAA2B,CAAC;AAC7C,MAAM,QAAQ,GAAG,0BAA0B,CAAC;AAC5C,MAAM,aAAa,GAAG,wBAAwB,CAAC;AAE/C,MAAM,UAAU,yBAAyB,CACvC,MAA6B,EAC7B,MAAyB,EACzB,OAAwC;IAExC,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC;IAEtB,CAAC,CACC,IAAI,OAAO,CAAC,IAAI,0EAA0E,EAC1F,KAAK,IAAI,EAAE;QACT,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,MAAM,EAAE,CAAC;QACvC,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC;YAChC,IAAI,cAAc,GAAG,CAAC,CAAC;YACvB,IAAI,eAAe,GAAG,CAAC,CAAC;YACxB,YAAY,CAAC,OAAO,EAAE;gBACpB,YAAY,EAAE;oBACZ,EAAE,EAAE,kBAAkB;oBACtB,QAAQ,EAAE,GAAG;oBACb,QAAQ,EAAE,UAAU;oBACpB,KAAK,EAAE,CAAC,KAAc,EAAE,EAAE;wBACxB,cAAc,IAAI,CAAC,CAAC;wBACpB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;4BAChD,OAAO;gCACL,EAAE,EAAE,KAAc;gCAClB,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;6BACzD,CAAC;wBACJ,CAAC;wBACD,OAAO,EAAE,EAAE,EAAE,IAAa,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;oBACzD,CAAC;iBACF;gBACD,KAAK,EAAE,CAAC,KAAc,EAAE,EAAE;oBACxB,eAAe,IAAI,CAAC,CAAC;oBACrB,OAAO,aAAa,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC9C,CAAC;aACF,CAAC,CAAC;YACH,MAAM,SAAS,GAAG,MAAM,OAAO,CAAC,QAAQ,CACtC,aAAa,CAAC,EAAE,cAAc,EAAE,kBAAkB,EAAE,CAAC,CACtD,CAAC;YACF,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChC,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACzC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YACxC,MAAM,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC/B,MAAM,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAChC,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,aAAa,CAAC,uBAAuB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACjF,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACjF,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,kBAAkB,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACnF,MAAM,QAAQ,GAAG,MAAM,OAAO,CAAC,aAAa,CAAC,wBAAwB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACpF,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACtF,KAAK,MAAM,CAAC;QACd,CAAC;gBAAS,CAAC;YACT,MAAM,OAAO,CAAC,OAAO,EAAE,CAAC;QAC1B,CAAC;IACH,CAAC,CACF,CAAC;IAEF,CAAC,CACC,IAAI,OAAO,CAAC,IAAI,6EAA6E,EAC7F,KAAK,IAAI,EAAE;QACT,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,MAAM,EAAE,CAAC;QACvC,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC;YAChC,IAAI,cAAc,GAAG,CAAC,CAAC;YACvB,IAAI,eAAe,GAAG,CAAC,CAAC;YACxB,YAAY,CAAC,OAAO,EAAE;gBACpB,YAAY,EAAE;oBACZ,EAAE,EAAE,kBAAkB;oBACtB,QAAQ,EAAE,GAAG;oBACb,QAAQ,EAAE,OAAO;oBACjB,KAAK,EAAE,CAAC,KAAc,EAAE,EAAE;wBACxB,cAAc,IAAI,CAAC,CAAC;wBACpB,6DAA6D;wBAC7D,yDAAyD;wBACzD,yBAAyB;wBACzB,OAAO;4BACL,EAAE,EAAE,KAAc;4BAClB,MAAM,EAAE;gCACN;oCACE,IAAI,EAAE,SAAS;oCACf,IAAI,EAAE,GAAG;oCACT,OAAO,EAAE,GAAG,aAAa,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE;iCACrD;6BACF;yBACF,CAAC;oBACJ,CAAC;iBACF;gBACD,KAAK,EAAE,GAAG,EAAE;oBACV,eAAe,IAAI,CAAC,CAAC;oBACrB,OAAO,cAAc,CAAC;gBACxB,CAAC;aACF,CAAC,CAAC;YACH,MAAM,SAAS,GAAG,MAAM,OAAO,CAAC,QAAQ,CACtC,aAAa,CAAC,EAAE,cAAc,EAAE,kBAAkB,EAAE,CAAC,CACtD,CAAC;YACF,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChC,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACzC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACrC,MAAM,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC/B,MAAM,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAChC,MAAM,OAAO,GAAI,MAA0D,CAAC,KAAK,IAAI,EAAE,CAAC;YACxF,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;YAC3D,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC1E,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,aAAa,CAAC,uBAAuB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACjF,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACjF,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACvD,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAClD,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAClD,+DAA+D;YAC/D,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,aAAa,CAAC,mBAAmB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAC7E,MAAM,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;YAC7B,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACvD,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAClD,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpD,CAAC;gBAAS,CAAC;YACT,MAAM,OAAO,CAAC,OAAO,EAAE,CAAC;QAC1B,CAAC;IACH,CAAC,CACF,CAAC;IAEF,CAAC,CACC,IAAI,OAAO,CAAC,IAAI,6EAA6E,EAC7F,KAAK,IAAI,EAAE;QACT,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,MAAM,EAAE,CAAC;QACvC,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC;YAChC,IAAI,cAAc,GAAG,CAAC,CAAC;YACvB,IAAI,cAAc,GAAG,CAAC,CAAC;YACvB,YAAY,CAAC,OAAO,EAAE;gBACpB,YAAY,EAAE;oBACZ,EAAE,EAAE,iBAAiB;oBACrB,QAAQ,EAAE,GAAG;oBACb,QAAQ,EAAE,qBAAqB;oBAC/B,KAAK,EAAE,CAAC,KAAc,EAAE,EAAE;wBACxB,cAAc,IAAI,CAAC,CAAC;wBACpB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;4BAChD,OAAO;gCACL,EAAE,EAAE,KAAc;gCAClB,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;6BACzD,CAAC;wBACJ,CAAC;wBACD,MAAM,GAAG,GAA4B,EAAE,CAAC;wBACxC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC,EAAE,CAAC;4BAC5E,GAAG,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;wBACzC,CAAC;wBACD,OAAO,EAAE,EAAE,EAAE,IAAa,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;oBACvD,CAAC;iBACF;gBACD,KAAK,EAAE,CAAC,KAAc,EAAE,EAAE;oBACxB,cAAc,IAAI,CAAC,CAAC;oBACpB,OAAO,aAAa,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC9C,CAAC;aACF,CAAC,CAAC;YACH,MAAM,SAAS,GAAG,MAAM,OAAO,CAAC,QAAQ,CACtC,aAAa,CAAC,EAAE,cAAc,EAAE,iBAAiB,EAAE,CAAC,CACrD,CAAC;YACF,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChC,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACzC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YACxC,MAAM,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC/B,oEAAoE;YACpE,kEAAkE;YAClE,2CAA2C;YAC3C,MAAM,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC/B,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CACxB,aAAa,IAAI,CAAC,SAAS,CAAC;gBAC1B,CAAC,EAAE,QAAQ,CAAC,WAAW,EAAE;gBACzB,CAAC,EAAE,QAAQ,CAAC,WAAW,EAAE;aAC1B,CAAC,EAAE,CACL,CAAC;QACJ,CAAC;gBAAS,CAAC;YACT,MAAM,OAAO,CAAC,OAAO,EAAE,CAAC;QAC1B,CAAC;IACH,CAAC,CACF,CAAC;IAEF,CAAC,CACC,IAAI,OAAO,CAAC,IAAI,kFAAkF,EAClG,KAAK,IAAI,EAAE;QACT,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,MAAM,EAAE,CAAC;QACvC,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC;YAChC,IAAI,cAAc,GAAG,CAAC,CAAC;YACvB,YAAY,CAAC,OAAO,EAAE;gBACpB,kEAAkE;gBAClE,mEAAmE;gBACnE,0DAA0D;gBAC1D,kBAAkB,EAAE;oBAClB,EAAE,EAAE,kBAAkB;oBACtB,QAAQ,EAAE,GAAG;oBACb,QAAQ,EAAE,kBAAkB;oBAC5B,KAAK,EAAE,CAAC,KAAc,EAAE,EAAE;wBACxB,cAAc,IAAI,CAAC,CAAC;wBACpB,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;4BAC9B,OAAO;gCACL,EAAE,EAAE,KAAc;gCAClB,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,mBAAmB,EAAE,CAAC;6BACrE,CAAC;wBACJ,CAAC;wBACD,OAAO,EAAE,EAAE,EAAE,IAAa,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;oBACzD,CAAC;iBACF;gBACD,KAAK,EAAE,GAAG,EAAE,CAAC,cAAc;aAC5B,CAAC,CAAC;YACH,MAAM,SAAS,GAAG,MAAM,OAAO,CAAC,QAAQ,CACtC,aAAa,CAAC,EAAE,yBAAyB,EAAE,kBAAkB,EAAE,CAAC,CACjE,CAAC;YACF,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChC,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACzC,6DAA6D;YAC7D,sCAAsC;YACtC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACrC,MAAM,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC/B,MAAM,OAAO,GAAI,MAAwC,CAAC,KAAK,IAAI,EAAE,CAAC;YACtE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;YAC3D,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,aAAa,CAAC,uBAAuB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACjF,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnF,CAAC;gBAAS,CAAC;YACT,MAAM,OAAO,CAAC,OAAO,EAAE,CAAC;QAC1B,CAAC;IACH,CAAC,CACF,CAAC;IAEF,CAAC,CACC,IAAI,OAAO,CAAC,IAAI,uFAAuF,EACvG,KAAK,IAAI,EAAE;QACT,MAAM,OAAO,GAAc,EAAE,CAAC;QAC9B,KAAK,MAAM,OAAO,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;YACpC,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,MAAM,EAAE,CAAC;YACvC,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC;YAChC,IAAI,QAAkC,CAAC;YACvC,IAAI,QAAkC,CAAC;YACvC,MAAM,KAAK,GAAG,IAAI,OAAO,CAAO,CAAC,OAAO,EAAE,EAAE;gBAC1C,QAAQ,GAAG,OAAO,CAAC;YACrB,CAAC,CAAC,CAAC;YACH,MAAM,KAAK,GAAG,IAAI,OAAO,CAAO,CAAC,OAAO,EAAE,EAAE;gBAC1C,QAAQ,GAAG,OAAO,CAAC;YACrB,CAAC,CAAC,CAAC;YACH,YAAY,CAAC,OAAO,EAAE;gBACpB,YAAY,EAAE;oBACZ,EAAE,EAAE,mBAAmB,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE;oBAC5C,QAAQ,EAAE,GAAG;oBACb,QAAQ,EAAE,UAAU;oBACpB,KAAK,EAAE,CAAC,KAAc,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAa,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;iBAC7E;gBACD,OAAO,EAAE,KAAK,IAAI,EAAE;oBAClB,IAAI,OAAO,EAAE,CAAC;wBACZ,MAAM,KAAK,CAAC,CAAC,0CAA0C;oBACzD,CAAC;yBAAM,CAAC;wBACN,QAAQ,EAAE,EAAE,CAAC,CAAC,6BAA6B;oBAC7C,CAAC;oBACD,OAAO,QAAQ,CAAC;gBAClB,CAAC;gBACD,OAAO,EAAE,KAAK,IAAI,EAAE;oBAClB,IAAI,OAAO,EAAE,CAAC;wBACZ,QAAQ,EAAE,EAAE,CAAC;oBACf,CAAC;yBAAM,CAAC;wBACN,MAAM,KAAK,CAAC;oBACd,CAAC;oBACD,OAAO,QAAQ,CAAC;gBAClB,CAAC;gBACD,KAAK,EAAE,CAAC,KAAc,EAAE,EAAE,CAAC,aAAa,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE;aAChE,CAAC,CAAC;YACH,MAAM,SAAS,GAAG,MAAM,OAAO,CAAC,QAAQ,CACtC,aAAa,CAAC,EAAE,cAAc,EAAE,mBAAmB,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAC5E,CAAC;YACF,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChC,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACzC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YACxC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAC5B,KAAK,QAAQ,CAAC;YACd,KAAK,QAAQ,CAAC;QAChB,CAAC;QACD,wEAAwE;QACxE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;IACvF,CAAC,CACF,CAAC;IAEF,CAAC,CACC,IAAI,OAAO,CAAC,IAAI,yFAAyF,EACzG,KAAK,IAAI,EAAE;QACT,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,MAAM,EAAE,CAAC;QACvC,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC;YAChC,IAAI,cAAc,GAAG,CAAC,CAAC;YACvB,IAAI,eAAe,GAAG,CAAC,CAAC;YACxB,IAAI,MAAM,GAAG,CAAC,CAAC;YACf,IAAI,aAAa,GAAG,CAAC,CAAC;YACtB,IAAI,OAAiC,CAAC;YACtC,MAAM,OAAO,GAAG,IAAI,OAAO,CAAO,CAAC,OAAO,EAAE,EAAE;gBAC5C,OAAO,GAAG,OAAO,CAAC;YACpB,CAAC,CAAC,CAAC;YACH,YAAY,CAAC,OAAO,EAAE;gBACpB,YAAY,EAAE;oBACZ,EAAE,EAAE,gBAAgB;oBACpB,QAAQ,EAAE,GAAG;oBACb,QAAQ,EAAE,UAAU;oBACpB,KAAK,EAAE,CAAC,KAAc,EAAE,EAAE;wBACxB,cAAc,IAAI,CAAC,CAAC;wBACpB,OAAO,EAAE,EAAE,EAAE,IAAa,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;oBACzD,CAAC;iBACF;gBACD,OAAO,EAAE,KAAK,IAAI,EAAE;oBAClB,MAAM,IAAI,CAAC,CAAC;oBACZ,aAAa,GAAG,IAAI,CAAC,GAAG,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;oBAChD,MAAM,OAAO,CAAC;oBACd,MAAM,IAAI,CAAC,CAAC;oBACZ,OAAO,QAAQ,CAAC;gBAClB,CAAC;gBACD,OAAO,EAAE,KAAK,IAAI,EAAE;oBAClB,MAAM,IAAI,CAAC,CAAC;oBACZ,aAAa,GAAG,IAAI,CAAC,GAAG,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;oBAChD,MAAM,OAAO,CAAC;oBACd,MAAM,IAAI,CAAC,CAAC;oBACZ,OAAO,QAAQ,CAAC;gBAClB,CAAC;gBACD,KAAK,EAAE,CAAC,KAAc,EAAE,EAAE;oBACxB,eAAe,IAAI,CAAC,CAAC;oBACrB,OAAO,aAAa,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC9C,CAAC;aACF,CAAC,CAAC;YACH,MAAM,SAAS,GAAG,MAAM,OAAO,CAAC,QAAQ,CACtC,aAAa,CAAC,EAAE,cAAc,EAAE,gBAAgB,EAAE,CAAC,CACpD,CAAC;YACF,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChC,oEAAoE;YACpE,mEAAmE;YACnE,MAAM,UAAU,GAAG,OAAqB,CAAC;YACzC,UAAU,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;YAC1B,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE,CAAC,CAAC;YAC7D,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YACxC,MAAM,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC9B,MAAM,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC/B,MAAM,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAChC,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,aAAa,CAAC,uBAAuB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACjF,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACjF,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,kBAAkB,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACnF,MAAM,QAAQ,GAAG,MAAM,OAAO,CAAC,aAAa,CAAC,wBAAwB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACpF,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACxF,CAAC;gBAAS,CAAC;YACT,MAAM,OAAO,CAAC,OAAO,EAAE,CAAC;QAC1B,CAAC;IACH,CAAC,CACF,CAAC;IAEF,CAAC,CACC,IAAI,OAAO,CAAC,IAAI,qFAAqF,EACrG,KAAK,IAAI,EAAE;QACT,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,MAAM,EAAE,CAAC;QACvC,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC;YAChC,YAAY,CAAC,OAAO,EAAE;gBACpB,YAAY,EAAE;oBACZ,EAAE,EAAE,kBAAkB;oBACtB,QAAQ,EAAE,GAAG;oBACb,QAAQ,EAAE,UAAU;oBACpB,KAAK,EAAE,CAAC,KAAc,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAa,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;iBAC7E;gBACD,KAAK,EAAE,CAAC,KAAc,EAAE,EAAE,CAAC,aAAa,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE;aAChE,CAAC,CAAC;YACH,MAAM,SAAS,GAAG,MAAM,OAAO,CAAC,QAAQ,CACtC,aAAa,CAAC,EAAE,cAAc,EAAE,kBAAkB,EAAE,CAAC,CACtD,CAAC;YACF,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChC,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACzC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAExC,iEAAiE;YACjE,+DAA+D;YAC/D,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,aAAa,CAAC,uBAAuB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACjF,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACjF,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC;YAChC,KAAK,SAAS,CAAC;YAEf,iEAAiE;YACjE,gEAAgE;YAChE,IAAI,QAAQ,GAAG,KAAK,CAAC;YACrB,IAAI,CAAC;gBACH,MAAM,OAAO,CAAC,aAAa,CAAC,eAAe,CAAC;oBAC1C,KAAK,EAAE,MAAM,CAAC,KAAK;oBACnB,SAAS,EAAE,wBAAwB;oBACnC,OAAO,EAAE,aAAa;oBACtB,oBAAoB,EAAE,GAAG;oBACzB,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE;oBACf,OAAO,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,aAAa,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE;oBAC7E,YAAY,EAAE;wBACZ,IAAI,EAAE,eAAe;wBACrB,MAAM,EAAE,GAAG;wBACX,MAAM,EAAE,GAAG;wBACX,SAAS,EAAE,GAAG;wBACd,gBAAgB,EAAE,EAAE,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,QAAQ,EAAE;qBAChF;oBACD,MAAM,EAAE,EAAE;oBACV,GAAG,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE;oBAC1B,YAAY,EAAE,QAAQ;oBACtB,kBAAkB,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;iBAC/B,CAAC,CAAC;YACL,CAAC;YAAC,MAAM,CAAC;gBACP,QAAQ,GAAG,IAAI,CAAC;YAClB,CAAC;YACD,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5B,MAAM,WAAW,GAAG,MAAM,OAAO,CAAC,aAAa,CAAC,uBAAuB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACtF,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAC3C,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACtF,MAAM,aAAa,GAAG,MAAM,OAAO,CAAC,aAAa,CAAC,wBAAwB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACzF,MAAM,CAAC,aAAa,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACtD,CAAC;gBAAS,CAAC;YACT,MAAM,OAAO,CAAC,OAAO,EAAE,CAAC;QAC1B,CAAC;IACH,CAAC,CACF,CAAC;IAEF,CAAC,CACC,IAAI,OAAO,CAAC,IAAI,kFAAkF,EAClG,KAAK,IAAI,EAAE;QACT,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,MAAM,EAAE,CAAC;QACvC,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC;YAChC,IAAI,cAAc,GAAG,CAAC,CAAC;YACvB,YAAY,CAAC,OAAO,EAAE;gBACpB,YAAY,EAAE;oBACZ,EAAE,EAAE,oBAAoB;oBACxB,QAAQ,EAAE,GAAG;oBACb,QAAQ,EAAE,qBAAqB;oBAC/B,KAAK,EAAE,CAAC,KAAc,EAAE,EAAE;wBACxB,cAAc,IAAI,CAAC,CAAC;wBACpB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;4BAChD,OAAO;gCACL,EAAE,EAAE,KAAc;gCAClB,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;6BACzD,CAAC;wBACJ,CAAC;wBACD,MAAM,GAAG,GAA4B,EAAE,CAAC;wBACxC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC,EAAE,CAAC;4BAC5E,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;wBAClC,CAAC;wBACD,OAAO,EAAE,EAAE,EAAE,IAAa,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;oBACvD,CAAC;iBACF;aACF,CAAC,CAAC;YACH,MAAM,SAAS,GAAG,MAAM,OAAO,CAAC,QAAQ,CACtC,aAAa,CAAC,EAAE,cAAc,EAAE,oBAAoB,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CACxE,CAAC;YACF,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChC,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACzC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YACxC,MAAM,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC/B,sEAAsE;YACtE,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CACxC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,KAAK,QAAQ,EAAE,EAAE,CAAC,EAAE,KAAK,QAAQ,EAAE,EAAE,CAAC,CAC3D,CAAC;YACF,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,aAAa,CAAC,uBAAuB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACjF,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACjF,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClF,CAAC;gBAAS,CAAC;YACT,MAAM,OAAO,CAAC,OAAO,EAAE,CAAC;QAC1B,CAAC;IACH,CAAC,CACF,CAAC;IAEF,CAAC,CACC,IAAI,OAAO,CAAC,IAAI,kFAAkF,EAClG,KAAK,IAAI,EAAE;QACT,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,MAAM,EAAE,CAAC;QACvC,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC;YAChC,IAAI,cAAc,GAAG,CAAC,CAAC;YACvB,YAAY,CAAC,OAAO,EAAE;gBACpB,YAAY,EAAE;oBACZ,EAAE,EAAE,2BAA2B;oBAC/B,QAAQ,EAAE,GAAG;oBACb,QAAQ,EAAE,OAAO;oBACjB,KAAK,EAAE,CAAC,KAAc,EAAE,EAAE;wBACxB,cAAc,IAAI,CAAC,CAAC;wBACpB,OAAO;4BACL,EAAE,EAAE,KAAc;4BAClB,MAAM,EAAE;gCACN;oCACE,IAAI,EAAE,SAAS;oCACf,IAAI,EAAE,GAAG;oCACT,OAAO,EAAE,GAAG,aAAa,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE;iCACrD;6BACF;yBACF,CAAC;oBACJ,CAAC;iBACF;aACF,CAAC,CAAC;YACH,MAAM,SAAS,GAAG,MAAM,OAAO,CAAC,QAAQ,CACtC,aAAa,CAAC,EAAE,cAAc,EAAE,2BAA2B,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAC/E,CAAC;YACF,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChC,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACzC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACrC,MAAM,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC/B,MAAM,OAAO,GAAI,MAA0D,CAAC,KAAK,IAAI,EAAE,CAAC;YACxF,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;YAC3D,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC1E,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,aAAa,CAAC,uBAAuB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACjF,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC7E,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACjF,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrE,CAAC;gBAAS,CAAC;YACT,MAAM,OAAO,CAAC,OAAO,EAAE,CAAC;QAC1B,CAAC;IACH,CAAC,CACF,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,SAAS,YAAY,CACnB,OAAoB,EACpB,OAMC;IAED,OAAO;SACJ,kBAAkB,CAAC;QAClB,EAAE,EAAE,OAAO;QACX,QAAQ,EAAE,GAAG;QACb,MAAM,EAAE,MAAM;QACd,KAAK,EAAE,mBAAmB;QAC1B,MAAM,EAAE,mBAAmB;QAC3B,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM;KACrB,CAAC;SACD,kBAAkB,CAAC;QAClB,EAAE,EAAE,SAAS;QACb,QAAQ,EAAE,GAAG;QACb,MAAM,EAAE,MAAM;QACd,KAAK,EAAE,mBAAmB;QAC1B,MAAM,EAAE,mBAAmB;QAC3B,MAAM,EAAE,OAAO,CAAC,OAAO,IAAI,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC;KAC5C,CAAC;SACD,kBAAkB,CAAC;QAClB,EAAE,EAAE,SAAS;QACb,QAAQ,EAAE,GAAG;QACb,MAAM,EAAE,MAAM;QACd,KAAK,EAAE,mBAAmB;QAC1B,MAAM,EAAE,mBAAmB;QAC3B,MAAM,EAAE,OAAO,CAAC,OAAO,IAAI,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC;KAC5C,CAAC;SACD,kBAAkB,CAAC;QAClB,EAAE,EAAE,OAAO;QACX,QAAQ,EAAE,GAAG;QACb,MAAM,EAAE,MAAM;QACd,KAAK,EAAE,mBAAmB;QAC1B,MAAM,EAAE,mBAAmB;QAC3B,MAAM,EAAE,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC,KAAc,EAAE,EAAE,CAAC,aAAa,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;KACpF,CAAC,CAAC;IACL,IAAI,OAAO,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;QACvC,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,YAAqB,CAAC,CAAC;IAC1D,CAAC;IACD,IAAI,OAAO,CAAC,kBAAkB,KAAK,SAAS,EAAE,CAAC;QAC7C,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,kBAA2B,CAAC,CAAC;IAChE,CAAC;AACH,CAAC"}

package/dist/orchestration-plan.d.ts

@@ -0,0 +1,52 @@
+import type { VictError } from '@victframework/contracts';
+import { type CompiledGraph, type EffectClass } from '@victframework/kernel';
+import type { AttemptContinuation, AttemptOutcome, ClaimedAttempt } from './orchestration-store-types.js';
+/**
+ * Continuation planning for one completed attempt, derived purely from the
+ * pinned plan, the outcome, and the durable state the driver already read.
+ * The store validates every guard; a stale driver view surfaces as a
+ * structured conflict and the driver re-derives from fresh state.
+ *
+ * Effect-aware ambiguity rules for timed-out outcomes:
+ * - pure/read: retry when policy permits, else error-edge/fail;
+ * - keyed write: retry with the same key when policy permits, else block;
+ * - non-keyed write / irreversible: never replay — block.
+ */
+export interface PlanInput {
+    readonly graph: CompiledGraph;
+    readonly claim: ClaimedAttempt;
+    readonly now: number;
+    readonly outcome: AttemptOutcome;
+    /** For failed/timeout outcomes: the structured safe error. */
+    readonly error?: VictError;
+    /** For successful completions: the validated output (or decision result). */
+    readonly validatedOutput?: unknown;
+    /** The pinned descriptor of the node's capability (effect + idempotency). */
+    readonly descriptor?: {
+        readonly effect: EffectClass;
+        readonly idempotency?: 'keyed';
+    };
+    /** True when the claimed node is a fork/join-adjacent branch arrival. */
+    readonly isBranchArrival?: boolean;
+    /**
+     * True when the claimed wait node has ALREADY been resolved (wake path):
+     * the node must NOT park again; it advances along its success edge using
+     * the same routing as any other completion (including branch arrival
+     * when the success target is the fork's join).
+     */
+    readonly resolvedWait?: boolean;
+}
+export type PlannedCompletion = {
+    readonly kind: 'transition';
+    readonly continuation: AttemptContinuation;
+    readonly runStatus: 'running' | 'waiting' | 'blocked' | 'completed' | 'failed';
+} | {
+    readonly kind: 'invalid';
+    readonly error: VictError;
+};
+export declare function invalidOutcome(message: string): VictError;
+export declare function blockedOutcome(code: string, reason: string): {
+    continuation: AttemptContinuation;
+    runStatus: 'blocked';
+};
+export declare function planContinuation(input: PlanInput): PlannedCompletion;