codex-workflow-v2 2.0.0-beta.2 → 2.0.0-beta.4

package/dist/src/state/corrective-replan-executor.js

@@ -0,0 +1,598 @@
+import { createHash } from 'node:crypto';
+import { existsSync, readFileSync } from 'node:fs';
+import { types as utilTypes } from 'node:util';
+import { Ajv2020 } from 'ajv/dist/2020.js';
+import { validatePlan } from '../domain/validation.js';
+import { WorkflowError } from '../errors.js';
+import { computeSidecarEventHash, prepareSidecarAppend, } from '../alpha6/store-sidecars.js';
+import { validateCorrectiveReplanRiskAuditPayload } from '../alpha6/plan-risk.js';
+import { correctiveReplanBindingManifest } from '../lifecycle/corrective-replan-binding-manifest.js';
+import { correctiveReplanCredentialSchemaValidators } from '../lifecycle/corrective-replan-credential-schema.js';
+import { hashCorrectivePlanBytes, prepareCorrectiveReplanCandidate, } from '../lifecycle/corrective-replan.js';
+import { hashCanonical } from '../lifecycle/fingerprint.js';
+import { deepFreeze } from '../lifecycle/immutable.js';
+import { CoreTaskOperationLockManager, } from './lock.js';
+import { CORRECTIVE_REPLAN_TARGETS, CorrectiveReplanTaskTransactionStore, } from './corrective-replan-transaction.js';
+const HASH = /^[a-f0-9]{64}$/;
+const executionSchema = JSON.parse(readFileSync(new URL('../../../schemas/corrective-replan-execution-event.private.schema.json', import.meta.url), 'utf8'));
+const riskSchema = JSON.parse(readFileSync(new URL('../../../schemas/plan-risk-audit-event.schema.json', import.meta.url), 'utf8'));
+const taskSchema = JSON.parse(readFileSync(new URL('../../../schemas/task.schema.json', import.meta.url), 'utf8'));
+const canonicalDateTimeFormat = {
+    type: 'string',
+    validate(value) {
+        const parsed = Date.parse(value);
+        return Number.isFinite(parsed) && new Date(parsed).toISOString() === value;
+    },
+};
+const exactAjv = new Ajv2020({ allErrors: true, strict: true, formats: { 'date-time': canonicalDateTimeFormat } });
+const legacyAjv = new Ajv2020({
+    allErrors: true,
+    strict: false,
+    formats: { 'date-time': canonicalDateTimeFormat },
+});
+if (!exactAjv.validateSchema(executionSchema))
+    throw new TypeError(`Invalid CD-3 schema: ${exactAjv.errorsText(exactAjv.errors)}`);
+for (const candidate of [riskSchema, taskSchema]) {
+    if (!legacyAjv.validateSchema(candidate))
+        throw new TypeError(`Invalid legacy CD-3 input schema: ${legacyAjv.errorsText(legacyAjv.errors)}`);
+}
+const validateExecutionEvent = exactAjv.compile(executionSchema);
+const validateRiskEvent = legacyAjv.compile(riskSchema);
+const validateTask = legacyAjv.compile(taskSchema);
+const planValidationValidator = correctiveReplanCredentialSchemaValidators
+    .find((entry) => entry.id === 'schema.corrective-replan-stored-plan-validation-event');
+if (!planValidationValidator)
+    throw new TypeError('Installed Plan Validation event validator is missing.');
+const validatePlanValidationEvent = planValidationValidator.callable;
+export function createCorrectiveReplanExecutor(options) {
+    const now = options.now ?? (() => new Date());
+    const locks = new CoreTaskOperationLockManager(options.locksRoot, now, options.trustedRoot);
+    const transactions = new CorrectiveReplanTaskTransactionStore({
+        taskRoot: options.taskRoot,
+        locksRoot: options.locksRoot,
+        trustedRoot: options.trustedRoot,
+        now,
+    });
+    const fault = (boundary) => options.faultInjector?.(boundary);
+    const recover = (input) => {
+        assertExactRecord(input, ['taskId', 'transactionId'], 'Recovery input');
+        assertHash(input.transactionId, 'Recovery transaction id');
+        const journal = transactions.read(input.transactionId);
+        if (journal.taskId !== input.taskId)
+            throw new WorkflowError('STATE_CONFLICT', 'Recovery Task identity mismatch.');
+        const handle = locks.acquireForRecovery({
+            entityId: journal.taskId,
+            operationId: journal.executionKeyHash,
+            transitionId: journal.transitionId,
+        });
+        let succeeded = false;
+        try {
+            const result = driveCorrectiveReplanTransaction(transactions, handle, journal.transactionId, 'recovered', fault);
+            succeeded = true;
+            return result;
+        }
+        finally {
+            if (succeeded)
+                locks.release(handle);
+        }
+    };
+    const replay = (input) => {
+        assertExactRecord(input, ['receiptHash', 'taskId', 'transactionId'], 'Replay input');
+        assertHash(input.receiptHash, 'Replay receipt hash');
+        const journal = transactions.read(input.transactionId);
+        if (journal.taskId !== input.taskId || journal.receiptHash !== input.receiptHash) {
+            throw new WorkflowError('STATE_CONFLICT', 'Corrective-replan replay binding mismatch.');
+        }
+        const recovered = recover({ taskId: input.taskId, transactionId: input.transactionId });
+        return deepFreeze({ ...recovered, disposition: journal.phase === 'completed' ? 'replayed' : 'recovered' });
+    };
+    const execute = (input) => {
+        assertExactRecord(input, [
+            'candidatePlanValidationEvent', 'candidateReceipt', 'plan', 'planValidationEvent', 'projectId',
+            'receipt', 'riskAudit', 'taskId',
+        ], 'Execution input');
+        const plan = copyJsonInput(input.plan, 'Plan');
+        const riskAudit = copyJsonInput(input.riskAudit, 'Risk Audit');
+        validatePlan(plan);
+        const receiptVerification = options.credentialKernel.verifyReceipt({
+            receipt: input.receipt,
+            candidate: input.candidateReceipt,
+        });
+        if (!receiptVerification.valid)
+            throw credentialFailure('Receipt verification failed.', receiptVerification.issues);
+        const receipt = receiptVerification.projection;
+        const validationVerification = options.credentialKernel.verifyStoredEvent({
+            event: input.planValidationEvent,
+            candidate: input.candidatePlanValidationEvent,
+        });
+        if (!validationVerification.valid)
+            throw credentialFailure('Plan Validation event verification failed.', validationVerification.issues);
+        const validationEvent = validationVerification.projection;
+        const binding = record(receipt.binding);
+        const values = record(binding.values);
+        const transactionId = correctiveReplanExecutionKeyHash(binding);
+        assertReceiptExecutionIdentity(receipt, values, input, validationEvent, transactionId);
+        if (existsSync(transactions.journalPath(transactionId))) {
+            return replay({ taskId: input.taskId, transactionId, receiptHash: string(receipt.receiptHash) });
+        }
+        const handle = locks.acquire({
+            entityId: input.taskId,
+            operationId: transactionId,
+            transitionId: 'task.plan.corrective-replan',
+        });
+        let intentCreated = false;
+        let succeeded = false;
+        try {
+            const underLock = options.credentialKernel.verifyReceipt({ receipt: input.receipt, candidate: input.candidateReceipt });
+            if (!underLock.valid)
+                throw credentialFailure('Receipt revalidation failed under the Task lock.', underLock.issues);
+            const underLockValidation = options.credentialKernel.verifyStoredEvent({
+                event: input.planValidationEvent, candidate: input.candidatePlanValidationEvent,
+            });
+            if (!underLockValidation.valid)
+                throw credentialFailure('Plan Validation revalidation failed under the Task lock.', underLockValidation.issues);
+            const currentStateBytes = requiredCurrentTarget(transactions, handle, input.taskId, transactionId, 'task-state');
+            const currentTask = parseTask(currentStateBytes);
+            assertCurrentTaskBinding(currentTask, input.projectId, values);
+            const prepared = prepareCorrectiveReplanCandidate(currentTask, plan);
+            if (prepared.planHash !== values.candidatePlanHash
+                || correctiveReplanStepSetHash(prepared.stepIds) !== values.candidateStepSetHash) {
+                throw new WorkflowError('TRANSITION_BLOCKED', 'Replacement Plan does not match the admitted receipt candidate.');
+            }
+            options.admissionCheck?.({
+                task: currentTask, plan, riskAudit,
+                receiptVerified: true, validationEventVerified: true, taskOperationLockHeld: true,
+            });
+            const recordedAt = now().toISOString();
+            const resultTask = materializeResultTask(currentTask, plan, prepared.planHash, recordedAt);
+            const taskState = jsonBytes(resultTask);
+            const validationBytes = appendEventBytes(transactions.captureCurrentTarget(handle, { taskId: input.taskId, operationId: transactionId, targetId: 'plan-validation' }), validationEvent);
+            const risk = materializeRiskAuditEvent(transactions.captureCurrentTarget(handle, { taskId: input.taskId, operationId: transactionId, targetId: 'plan-risk-audit' }), resultTask, values, riskAudit, transactionId, recordedAt);
+            const execution = materializeExecutionEvent(transactions.captureCurrentTarget(handle, { taskId: input.taskId, operationId: transactionId, targetId: 'execution-evidence' }), receipt, values, validationEvent, risk.event, transactionId, resultTask.revision, sha256(taskState), hashCorrectivePlanBytes(prepared.planBytes), recordedAt);
+            transactions.createIntent(handle, {
+                projectId: input.projectId,
+                taskId: input.taskId,
+                transitionId: 'task.plan.corrective-replan',
+                executionKeyHash: transactionId,
+                runtimeFingerprint: string(values.runtimeFingerprint),
+                catalogHash: string(values.catalogHash),
+                lifecycleEpoch: number(values.lifecycleEpoch),
+                bindingManifest: {
+                    id: correctiveReplanBindingManifest.id,
+                    version: correctiveReplanBindingManifest.version,
+                    manifestSha256: correctiveReplanBindingManifest.manifestSha256,
+                },
+                bindingSha256: string(binding.bindingSha256),
+                receiptHash: string(receipt.receiptHash),
+                actorIdentityHash: string(values.actorIdentityHash),
+                humanPrincipalIdentityHash: string(values.humanPrincipalIdentityHash),
+                expectedTaskRevision: currentTask.revision,
+                resultTaskRevision: resultTask.revision,
+                postimages: {
+                    taskState,
+                    plan: Buffer.from(prepared.planBytes, 'utf8'),
+                    planValidation: validationBytes,
+                    planRiskAudit: risk.bytes,
+                    executionEvidence: execution.bytes,
+                },
+            });
+            intentCreated = true;
+            fault('after-intent');
+            const result = driveCorrectiveReplanTransaction(transactions, handle, transactionId, 'executed', fault);
+            succeeded = true;
+            return result;
+        }
+        finally {
+            if (succeeded || !intentCreated)
+                locks.release(handle);
+        }
+    };
+    return deepFreeze({ execute, recover, replay });
+}
+export function correctiveReplanStepSetHash(stepIds) {
+    return hashCanonical({
+        domain: 'codex-workflow/corrective-replan-step-set/v1',
+        stepIds: [...stepIds].sort(),
+    });
+}
+export function correctiveReplanRiskAuditHash(bindingValues, input) {
+    const values = record(bindingValues);
+    return hashCanonical({
+        domain: 'codex-workflow/corrective-replan-risk-audit/v1',
+        taskId: values.taskId,
+        taskRevision: number(values.revision) + 1,
+        briefHash: values.briefHash,
+        planHash: values.candidatePlanHash,
+        knowledgeMapRevision: values.knowledgeRevision,
+        knowledgeMapHash: values.knowledgeHash,
+        planner: values.planAuthorIdentityHash,
+        auditor: values.riskAuditorIdentityHash,
+        summary: input.summary,
+        decision: input.decision,
+        splitRationale: input.splitRationale,
+        stepClassifications: input.stepClassifications,
+    });
+}
+export function driveCorrectiveReplanTransaction(transactions, handle, transactionId, disposition, fault) {
+    let journal = transactions.read(transactionId);
+    if (journal.phase === 'intent') {
+        journal = transactions.compareAndSetPhase(handle, transactionId, {
+            expectedPhase: 'intent', expectedRevision: journal.phaseRevision,
+            nextPhase: 'applying', nextTargetOrdinal: 0,
+        });
+        fault('after-applying-phase');
+    }
+    while (journal.phase === 'applying' && journal.nextTargetOrdinal < CORRECTIVE_REPLAN_TARGETS.length) {
+        const ordinal = journal.nextTargetOrdinal;
+        transactions.applyTarget(handle, transactionId, CORRECTIVE_REPLAN_TARGETS[ordinal].targetId);
+        fault(`after-target-${ordinal}`);
+        journal = transactions.compareAndSetPhase(handle, transactionId, {
+            expectedPhase: 'applying', expectedRevision: journal.phaseRevision,
+            nextPhase: 'applying', nextTargetOrdinal: ordinal + 1,
+        });
+        fault(`after-target-phase-${ordinal}`);
+    }
+    if (journal.phase === 'applying') {
+        journal = transactions.compareAndSetPhase(handle, transactionId, {
+            expectedPhase: 'applying', expectedRevision: journal.phaseRevision,
+            nextPhase: 'published-pending-readback', nextTargetOrdinal: CORRECTIVE_REPLAN_TARGETS.length,
+        });
+        fault('after-published-phase');
+    }
+    if (journal.phase === 'published-pending-readback') {
+        const resultSha256 = domainReadback(transactions, handle, journal);
+        fault('after-domain-readback');
+        journal = transactions.compareAndSetPhase(handle, transactionId, {
+            expectedPhase: 'published-pending-readback', expectedRevision: journal.phaseRevision,
+            nextPhase: 'completed', nextTargetOrdinal: CORRECTIVE_REPLAN_TARGETS.length,
+            completedResultSha256: resultSha256,
+        });
+        fault('after-completed-phase');
+    }
+    const resultSha256 = correctiveReplanTerminalReadback(transactions, handle, journal);
+    fault('after-terminal-readback');
+    return deepFreeze({
+        kind: 'corrective-replan-execution-result',
+        disposition,
+        taskId: journal.taskId,
+        transactionId: journal.transactionId,
+        resultSha256,
+    });
+}
+function domainReadback(transactions, handle, journal) {
+    return validateReadback(journal, Object.fromEntries(CORRECTIVE_REPLAN_TARGETS.map((target) => [
+        target.targetId,
+        transactions.readCanonicalTarget(handle, journal.transactionId, target.targetId),
+    ])));
+}
+export function correctiveReplanTerminalReadback(transactions, handle, journal) {
+    const completed = transactions.read(journal.transactionId);
+    if (completed.phase !== 'completed' || !completed.completedResult) {
+        throw new WorkflowError('TASK_RECOVERY_REQUIRED', 'Corrective-replan transaction is not terminal.');
+    }
+    const result = domainReadback(transactions, handle, completed);
+    if (result !== completed.completedResult.resultSha256) {
+        throw new WorkflowError('STATE_CORRUPT', 'Completed corrective-replan result digest mismatch.');
+    }
+    return result;
+}
+function validateReadback(journal, targets) {
+    const task = parseTask(targets['task-state']);
+    const plan = targets.plan;
+    const validationEvents = parseSidecarBytes(targets['plan-validation']);
+    const riskEvents = parseSidecarBytes(targets['plan-risk-audit']);
+    const executionEvents = parseSidecarBytes(targets['execution-evidence']);
+    const validation = record(validationEvents.at(-1));
+    const risk = record(riskEvents.at(-1));
+    const execution = record(executionEvents.at(-1));
+    if (task.id !== journal.taskId || task.projectId !== journal.projectId
+        || task.revision !== journal.targets[0].taskCas.resultRevision
+        || task.status !== 'awaiting_execution_authorization'
+        || task.planHash !== sha256(plan)
+        || task.authorizations.some((authorization) => authorization.kind === 'execution' && authorization.decision === 'approved')) {
+        throw new WorkflowError('STATE_CORRUPT', 'Corrective-replan Task/Plan readback mismatch.');
+    }
+    if (validatePlanValidationEvent(validation) !== true || validation.receiptHash !== journal.receiptHash
+        || validation.taskId !== journal.taskId || validation.candidatePlanHash !== task.planHash) {
+        throw new WorkflowError('STATE_CORRUPT', 'Plan Validation readback mismatch.');
+    }
+    if (validateRiskEvent(risk) !== true)
+        throw new WorkflowError('STATE_CORRUPT', 'Plan Risk Audit readback schema mismatch.');
+    validateCorrectiveReplanRiskAuditPayload(task, risk, task.steps.map((step) => step.id));
+    if (risk.planHash !== task.planHash || risk.taskRevision !== task.revision) {
+        throw new WorkflowError('STATE_CORRUPT', 'Plan Risk Audit readback binding mismatch.');
+    }
+    if (validateExecutionEvent(execution) !== true
+        || execution.executionKeyHash !== journal.executionKeyHash
+        || execution.bindingSha256 !== journal.bindingSha256
+        || execution.receiptHash !== journal.receiptHash
+        || execution.taskId !== journal.taskId
+        || execution.taskRevision !== task.revision
+        || execution.candidatePlanHash !== task.planHash
+        || execution.planValidationEventHash !== validation.eventHash
+        || execution.planRiskAuditEventHash !== risk.eventHash
+        || execution.taskStateSha256 !== sha256(targets['task-state'])
+        || execution.planBytesSha256 !== sha256(plan)) {
+        throw new WorkflowError('STATE_CORRUPT', 'Execution evidence readback mismatch.');
+    }
+    return hashCanonical({
+        domain: 'codex-workflow/corrective-replan-execution-result/v1',
+        transactionId: journal.transactionId,
+        intentSha256: journal.intentSha256,
+        receiptHash: journal.receiptHash,
+        targets: journal.targets.map((target) => ({ targetId: target.targetId, contentSha256: target.postimage.contentSha256 })),
+        executionEventHash: execution.eventHash,
+    });
+}
+function materializeResultTask(task, plan, planHash, recordedAt) {
+    const completedIds = task.steps.filter((candidate) => candidate.status === 'completed').map((candidate) => candidate.id);
+    const plannedSteps = plan.steps.map((step) => preserveCompletedStep(task, step) ?? ({
+        ...step,
+        status: step.dependencies.every((dependency) => completedIds.includes(dependency)) ? 'planned' : 'blocked',
+        evidence: null,
+    }));
+    const result = {
+        ...task,
+        revision: task.revision + 1,
+        updatedAt: recordedAt,
+        status: 'awaiting_execution_authorization',
+        planHash,
+        planObjective: plan.objective,
+        requirements: [...plan.requirements],
+        acceptance: [...plan.acceptance],
+        risks: [...plan.risks],
+        knowledgeImpact: plan.knowledgeImpact,
+        knowledgeImpactReason: plan.knowledgeImpactReason,
+        knowledgeTargets: structuredClone(plan.knowledgeTargets),
+        knowledgeMapRevision: plan.knowledgeMapRevision,
+        knowledgeMapHash: plan.knowledgeMapHash,
+        graphUse: plan.graphUse,
+        steps: plannedSteps,
+        authorizations: task.authorizations.map((authorization) => authorization.kind === 'execution' && authorization.decision === 'approved'
+            ? { ...authorization, decision: 'superseded' }
+            : authorization),
+        review: emptyReview(),
+        resultHash: null,
+        evidenceHash: null,
+        blockReason: null,
+    };
+    if (validateTask(result) !== true)
+        throw new WorkflowError('STATE_CORRUPT', 'Materialized corrective-replan Task is invalid.');
+    return result;
+}
+function materializeRiskAuditEvent(current, task, values, input, executionKeyHashValue, recordedAt) {
+    if (correctiveReplanRiskAuditHash(values, input) !== values.riskAuditHash) {
+        throw new WorkflowError('TRANSITION_BLOCKED', 'Plan Risk Audit does not match the admitted receipt.');
+    }
+    const event = {
+        eventId: `PRA-${executionKeyHashValue}`,
+        recordedAt,
+        taskId: task.id,
+        taskRevision: task.revision,
+        briefHash: values.briefHash,
+        planHash: values.candidatePlanHash,
+        knowledgeMapRevision: values.knowledgeRevision,
+        knowledgeMapHash: values.knowledgeHash,
+        planner: values.planAuthorIdentityHash,
+        auditor: values.riskAuditorIdentityHash,
+        summary: input.summary,
+        decision: input.decision,
+        splitRationale: input.splitRationale,
+        stepClassifications: input.stepClassifications,
+    };
+    validateCorrectiveReplanRiskAuditPayload(task, event, task.steps.map((step) => step.id));
+    const prepared = appendEvent(current, event);
+    if (validateRiskEvent(prepared.event) !== true)
+        throw new WorkflowError('INVALID_ARGUMENT', 'Plan Risk Audit event schema is invalid.');
+    return prepared;
+}
+function materializeExecutionEvent(current, receipt, values, validationEvent, riskEvent, executionKeyHashValue, taskRevision, taskStateSha256, planBytesSha256, recordedAt) {
+    const binding = record(receipt.binding);
+    const event = {
+        schemaVersion: 1,
+        kind: 'corrective-replan-execution-recorded',
+        eventId: `CRE-${executionKeyHashValue}`,
+        recordedAt,
+        taskId: values.taskId,
+        taskRevision,
+        taskStatus: 'awaiting_execution_authorization',
+        transitionId: values.transitionId,
+        executionKeyHash: executionKeyHashValue,
+        runtimeFingerprint: values.runtimeFingerprint,
+        catalogHash: values.catalogHash,
+        lifecycleEpoch: values.lifecycleEpoch,
+        bindingManifest: {
+            id: correctiveReplanBindingManifest.id,
+            version: correctiveReplanBindingManifest.version,
+            manifestSha256: correctiveReplanBindingManifest.manifestSha256,
+        },
+        bindingSha256: binding.bindingSha256,
+        receiptId: receipt.receiptId,
+        receiptHash: receipt.receiptHash,
+        receiptDomainHash: receipt.domainHash,
+        candidatePlanHash: values.candidatePlanHash,
+        planValidationEventHash: validationEvent.eventHash,
+        planRiskAuditEventHash: riskEvent.eventHash,
+        actorIdentityHash: values.actorIdentityHash,
+        humanPrincipalIdentityHash: values.humanPrincipalIdentityHash,
+        priorGrantHash: get(receipt, '/supersession/priorGrantHash'),
+        taskStateSha256,
+        planBytesSha256,
+    };
+    const prepared = appendEvent(current, event);
+    if (validateExecutionEvent(prepared.event) !== true) {
+        throw new WorkflowError('STATE_CORRUPT', 'Execution evidence materialization failed schema validation.');
+    }
+    return prepared;
+}
+function appendEvent(current, event) {
+    const prepared = prepareSidecarAppend(parseSidecarBytes(current), event);
+    return { bytes: Buffer.from(prepared.content, 'utf8'), event: prepared.event };
+}
+function appendEventBytes(current, event) {
+    return appendEvent(current, event).bytes;
+}
+function parseSidecarBytes(content) {
+    if (content === null || content.byteLength === 0)
+        return [];
+    const text = content.toString('utf8');
+    if (!text.endsWith('\n'))
+        throw new WorkflowError('STATE_CORRUPT', 'Corrective-replan sidecar is not newline terminated.');
+    const events = [];
+    let previous = null;
+    for (const line of text.slice(0, -1).split('\n')) {
+        let parsed;
+        try {
+            parsed = JSON.parse(line);
+        }
+        catch {
+            throw new WorkflowError('STATE_CORRUPT', 'Corrective-replan sidecar contains invalid JSON.');
+        }
+        const event = record(parsed);
+        if (typeof event.eventId !== 'string' || typeof event.recordedAt !== 'string' || event.previousEventHash !== previous
+            || !HASH.test(event.eventHash) || computeSidecarEventHash(event) !== event.eventHash) {
+            throw new WorkflowError('STATE_CORRUPT', 'Corrective-replan sidecar chain is invalid.');
+        }
+        previous = event.eventHash;
+        events.push(event);
+    }
+    return events;
+}
+function assertReceiptExecutionIdentity(receipt, values, input, validationEvent, transactionId) {
+    const binding = record(receipt.binding);
+    if (values.transitionId !== 'task.plan.corrective-replan' || values.taskId !== input.taskId
+        || binding.manifestSha256 !== correctiveReplanBindingManifest.manifestSha256
+        || get(binding, '/manifestRef/id') !== correctiveReplanBindingManifest.id
+        || get(binding, '/manifestRef/version') !== correctiveReplanBindingManifest.version
+        || validationEvent.receiptHash !== receipt.receiptHash
+        || validationEvent.taskId !== values.taskId
+        || validationEvent.candidatePlanHash !== values.candidatePlanHash
+        || !HASH.test(transactionId)) {
+        throw new WorkflowError('TRANSITION_BLOCKED', 'Credential does not bind the exact corrective-replan execution.');
+    }
+}
+function assertCurrentTaskBinding(task, projectId, values) {
+    if (task.projectId !== projectId || task.id !== values.taskId || task.revision !== values.revision
+        || task.planHash !== values.currentPlanHash || task.briefHash !== values.briefHash
+        || task.knowledgeMapRevision !== values.knowledgeRevision || task.knowledgeMapHash !== values.knowledgeHash) {
+        throw new WorkflowError('STATE_CONFLICT', 'Current Task no longer matches the admitted corrective-replan binding.');
+    }
+}
+export function correctiveReplanExecutionKeyHash(binding) {
+    return hashCanonical({
+        domain: 'codex-workflow/corrective-replan-execution-key/v1',
+        manifestRef: binding.manifestRef,
+        manifestSha256: binding.manifestSha256,
+        values: binding.values,
+    });
+}
+function requiredCurrentTarget(transactions, handle, taskId, operationId, targetId) {
+    const value = transactions.captureCurrentTarget(handle, { taskId, operationId, targetId });
+    if (value === null)
+        throw new WorkflowError('STATE_CONFLICT', 'Corrective-replan Task state is missing.');
+    return value;
+}
+function parseTask(content) {
+    let value;
+    try {
+        value = JSON.parse(content.toString('utf8'));
+    }
+    catch {
+        throw new WorkflowError('STATE_CORRUPT', 'Task state is invalid JSON.');
+    }
+    if (validateTask(value) !== true)
+        throw new WorkflowError('STATE_CORRUPT', 'Task state schema is invalid.');
+    return value;
+}
+function preserveCompletedStep(task, next) {
+    const previous = task.steps.find((candidate) => candidate.id === next.id && candidate.status === 'completed');
+    if (!previous)
+        return null;
+    const { status: _status, evidence: _evidence, ...definition } = previous;
+    return JSON.stringify(definition) === JSON.stringify(next) ? previous : null;
+}
+function emptyReview() {
+    return { status: 'pending', reviewer: '', recordedAt: null, headCommit: null, briefHash: null,
+        planHash: null, evidenceHash: null, summary: '', findings: [] };
+}
+function credentialFailure(message, issues) {
+    return new WorkflowError('TRANSITION_BLOCKED', message, { credentialIssueIds: issues.map((candidate) => record(candidate).issueId) });
+}
+function copyJsonInput(value, label) {
+    const copied = copyJson(value, new Set(), 0, { nodes: 0, bytes: 0 });
+    if (copied === undefined)
+        throw new WorkflowError('INVALID_ARGUMENT', `${label} must be bounded plain JSON data.`);
+    return copied;
+}
+function copyJson(value, active, depth, budget) {
+    if (++budget.nodes > 4096 || (budget.bytes += 8) > 262_144 || depth > 32)
+        return undefined;
+    if (typeof value === 'string') {
+        budget.bytes += Buffer.byteLength(value, 'utf8');
+        return budget.bytes > 262_144 ? undefined : value;
+    }
+    if (value === null || typeof value === 'boolean')
+        return value;
+    if (typeof value === 'number')
+        return Number.isFinite(value) && Number.isSafeInteger(value) ? value : undefined;
+    if (typeof value !== 'object' || utilTypes.isProxy(value) || active.has(value))
+        return undefined;
+    const arrayValue = Array.isArray(value);
+    if (arrayValue && value.length > 4096)
+        return undefined;
+    const prototype = Object.getPrototypeOf(value);
+    if (prototype !== (arrayValue ? Array.prototype : Object.prototype) && prototype !== null)
+        return undefined;
+    const keys = Reflect.ownKeys(value);
+    if (keys.some((key) => typeof key !== 'string'))
+        return undefined;
+    const names = keys.filter((key) => !arrayValue || key !== 'length');
+    if (arrayValue && (names.length !== value.length || names.some((key, index) => key !== String(index))))
+        return undefined;
+    const descriptors = Object.getOwnPropertyDescriptors(value);
+    const result = arrayValue ? [] : Object.create(null);
+    active.add(value);
+    for (const key of names) {
+        const descriptor = descriptors[key];
+        budget.bytes += Buffer.byteLength(key, 'utf8');
+        if (budget.bytes > 262_144)
+            return undefined;
+        if (!descriptor?.enumerable || !('value' in descriptor))
+            return undefined;
+        const child = copyJson(descriptor.value, active, depth + 1, budget);
+        if (child === undefined)
+            return undefined;
+        result[key] = child;
+    }
+    active.delete(value);
+    return result;
+}
+function assertExactRecord(value, keys, label) {
+    if (!value || typeof value !== 'object' || Array.isArray(value) || utilTypes.isProxy(value)
+        || Object.getPrototypeOf(value) !== Object.prototype) {
+        throw new WorkflowError('INVALID_ARGUMENT', `${label} has unknown or missing fields.`);
+    }
+    const ownKeys = Reflect.ownKeys(value);
+    const descriptors = Object.getOwnPropertyDescriptors(value);
+    if (ownKeys.some((key) => typeof key !== 'string')
+        || ownKeys.map(String).sort().join('\0') !== [...keys].sort().join('\0')
+        || ownKeys.some((key) => {
+            const descriptor = descriptors[String(key)];
+            return !descriptor?.enumerable || !('value' in descriptor);
+        })) {
+        throw new WorkflowError('INVALID_ARGUMENT', `${label} has unknown or missing fields.`);
+    }
+}
+function jsonBytes(value) { return Buffer.from(`${JSON.stringify(value, null, 2)}\n`, 'utf8'); }
+function sha256(value) { return createHash('sha256').update(value).digest('hex'); }
+function assertHash(value, label) {
+    if (typeof value !== 'string' || !HASH.test(value))
+        throw new WorkflowError('INVALID_ARGUMENT', `${label} must be lowercase SHA-256.`);
+}
+function record(value) { return value !== null && typeof value === 'object' && !Array.isArray(value) ? value : {}; }
+function string(value) { return typeof value === 'string' ? value : ''; }
+function number(value) { return typeof value === 'number' && Number.isSafeInteger(value) ? value : Number.NaN; }
+function get(value, pointer) {
+    return pointer.split('/').filter(Boolean).reduce((current, key) => record(current)[key], value);
+}
+//# sourceMappingURL=corrective-replan-executor.js.map

package/dist/src/state/corrective-replan-executor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"corrective-replan-executor.js","sourceRoot":"","sources":["../../../src/state/corrective-replan-executor.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,KAAK,IAAI,SAAS,EAAE,MAAM,WAAW,CAAC;AAC/C,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAU3C,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EACL,uBAAuB,EACvB,oBAAoB,GACrB,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,wCAAwC,EAAE,MAAM,wBAAwB,CAAC;AAClF,OAAO,EAAE,+BAA+B,EAAE,MAAM,oDAAoD,CAAC;AAMrG,OAAO,EAAE,0CAA0C,EAAE,MAAM,qDAAqD,CAAC;AACjH,OAAO,EACL,uBAAuB,EACvB,gCAAgC,GACjC,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAC5D,OAAO,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AACvD,OAAO,EACL,4BAA4B,GAE7B,MAAM,WAAW,CAAC;AACnB,OAAO,EACL,yBAAyB,EACzB,oCAAoC,GAErC,MAAM,oCAAoC,CAAC;AAG5C,MAAM,IAAI,GAAG,gBAAgB,CAAC;AAC9B,MAAM,eAAe,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAC7C,IAAI,GAAG,CAAC,wEAAwE,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAClG,MAAM,CACP,CAAW,CAAC;AACb,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CACxC,IAAI,GAAG,CAAC,oDAAoD,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAC9E,MAAM,CACP,CAAW,CAAC;AACb,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CACxC,IAAI,GAAG,CAAC,mCAAmC,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAC7D,MAAM,CACP,CAAW,CAAC;AACb,MAAM,uBAAuB,GAAG;IAC9B,IAAI,EAAE,QAAiB;IACvB,QAAQ,CAAC,KAAa;QACpB,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACjC,OAAO,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,KAAK,KAAK,CAAC;IAC7E,CAAC;CACF,CAAC;AACF,MAAM,QAAQ,GAAG,IAAI,OAAO,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,WAAW,EAAE,uBAAuB,EAAE,EAAE,CAAC,CAAC;AACnH,MAAM,SAAS,GAAG,IAAI,OAAO,CAAC;IAC5B,SAAS,EAAE,IAAI;IACf,MAAM,EAAE,KAAK;IACb,OAAO,EAAE,EAAE,WAAW,EAAE,uBAAuB,EAAE;CAClD,CAAC,CAAC;AACH,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC,eAAe,CAAC;IAAE,MAAM,IAAI,SAAS,CAAC,wBAAwB,QAAQ,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AACnI,KAAK,MAAM,SAAS,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,CAAC;IACjD,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,SAAS,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,qCAAqC,SAAS,CAAC,UAAU,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AAC/I,CAAC;AACD,MAAM,sBAAsB,GAAG,QAAQ,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;AACjE,MAAM,iBAAiB,GAAG,SAAS,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;AACxD,MAAM,YAAY,GAAG,SAAS,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;AACnD,MAAM,uBAAuB,GAAG,0CAA0C;KACvE,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,uDAAuD,CAAC,CAAC;AACzF,IAAI,CAAC,uBAAuB;IAAE,MAAM,IAAI,SAAS,CAAC,uDAAuD,CAAC,CAAC;AAC3G,MAAM,2BAA2B,GAAG,uBAAuB,CAAC,QAAQ,CAAC;AA6DrE,MAAM,UAAU,8BAA8B,CAAC,OAAwB;IACrE,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;IAC9C,MAAM,KAAK,GAAG,IAAI,4BAA4B,CAAC,OAAO,CAAC,SAAS,EAAE,GAAG,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC;IAC5F,MAAM,YAAY,GAAG,IAAI,oCAAoC,CAAC;QAC5D,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,CAAC,QAAuC,EAAQ,EAAE,CAAC,OAAO,CAAC,aAAa,EAAE,CAAC,QAAQ,CAAC,CAAC;IAEnG,MAAM,OAAO,GAAG,CAAC,KAAgD,EAAmC,EAAE;QACpG,iBAAiB,CAAC,KAAK,EAAE,CAAC,QAAQ,EAAE,eAAe,CAAC,EAAE,gBAAgB,CAAC,CAAC;QACxE,UAAU,CAAC,KAAK,CAAC,aAAa,EAAE,yBAAyB,CAAC,CAAC;QAC3D,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;QACvD,IAAI,OAAO,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;YAAE,MAAM,IAAI,aAAa,CAAC,gBAAgB,EAAE,kCAAkC,CAAC,CAAC;QACnH,MAAM,MAAM,GAAG,KAAK,CAAC,kBAAkB,CAAC;YACtC,QAAQ,EAAE,OAAO,CAAC,MAAM;YACxB,WAAW,EAAE,OAAO,CAAC,gBAAgB;YACrC,YAAY,EAAE,OAAO,CAAC,YAAY;SACnC,CAAC,CAAC;QACH,IAAI,SAAS,GAAG,KAAK,CAAC;QACtB,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,gCAAgC,CAAC,YAAY,EAAE,MAAM,EAAE,OAAO,CAAC,aAAa,EAAE,WAAW,EAAE,KAAK,CAAC,CAAC;YACjH,SAAS,GAAG,IAAI,CAAC;YACjB,OAAO,MAAM,CAAC;QAChB,CAAC;gBAAS,CAAC;YACT,IAAI,SAAS;gBAAE,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACvC,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,MAAM,GAAG,CAAC,KAAqE,EAAmC,EAAE;QACxH,iBAAiB,CAAC,KAAK,EAAE,CAAC,aAAa,EAAE,QAAQ,EAAE,eAAe,CAAC,EAAE,cAAc,CAAC,CAAC;QACrF,UAAU,CAAC,KAAK,CAAC,WAAW,EAAE,qBAAqB,CAAC,CAAC;QACrD,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;QACvD,IAAI,OAAO,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,OAAO,CAAC,WAAW,KAAK,KAAK,CAAC,WAAW,EAAE,CAAC;YACjF,MAAM,IAAI,aAAa,CAAC,gBAAgB,EAAE,4CAA4C,CAAC,CAAC;QAC1F,CAAC;QACD,MAAM,SAAS,GAAG,OAAO,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,aAAa,EAAE,KAAK,CAAC,aAAa,EAAE,CAAC,CAAC;QACxF,OAAO,UAAU,CAAC,EAAE,GAAG,SAAS,EAAE,WAAW,EAAE,OAAO,CAAC,KAAK,KAAK,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;IAC7G,CAAC,CAAC;IAEF,MAAM,OAAO,GAAG,CAAC,KAAmC,EAAmC,EAAE;QACvF,iBAAiB,CAAC,KAAK,EAAE;YACvB,8BAA8B,EAAE,kBAAkB,EAAE,MAAM,EAAE,qBAAqB,EAAE,WAAW;YAC9F,SAAS,EAAE,WAAW,EAAE,QAAQ;SACjC,EAAE,iBAAiB,CAAC,CAAC;QACtB,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAkB,CAAC;QAChE,MAAM,SAAS,GAAG,aAAa,CAAC,KAAK,CAAC,SAAS,EAAE,YAAY,CAA8C,CAAC;QAC5G,YAAY,CAAC,IAAI,CAAC,CAAC;QACnB,MAAM,mBAAmB,GAAG,OAAO,CAAC,gBAAgB,CAAC,aAAa,CAAC;YACjE,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,SAAS,EAAE,KAAK,CAAC,gBAAgB;SAClC,CAAC,CAAC;QACH,IAAI,CAAC,mBAAmB,CAAC,KAAK;YAAE,MAAM,iBAAiB,CAAC,8BAA8B,EAAE,mBAAmB,CAAC,MAAM,CAAC,CAAC;QACpH,MAAM,OAAO,GAAG,mBAAmB,CAAC,UAAwB,CAAC;QAC7D,MAAM,sBAAsB,GAAG,OAAO,CAAC,gBAAgB,CAAC,iBAAiB,CAAC;YACxE,KAAK,EAAE,KAAK,CAAC,mBAAmB;YAChC,SAAS,EAAE,KAAK,CAAC,4BAA4B;SAC9C,CAAC,CAAC;QACH,IAAI,CAAC,sBAAsB,CAAC,KAAK;YAAE,MAAM,iBAAiB,CAAC,4CAA4C,EAAE,sBAAsB,CAAC,MAAM,CAAC,CAAC;QACxI,MAAM,eAAe,GAAG,sBAAsB,CAAC,UAAwB,CAAC;QACxE,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACxC,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACtC,MAAM,aAAa,GAAG,gCAAgC,CAAC,OAAO,CAAC,CAAC;QAChE,8BAA8B,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,eAAe,EAAE,aAAa,CAAC,CAAC;QACvF,IAAI,UAAU,CAAC,YAAY,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC;YACxD,OAAO,MAAM,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;QACnG,CAAC;QAED,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC;YAC3B,QAAQ,EAAE,KAAK,CAAC,MAAM;YACtB,WAAW,EAAE,aAAa;YAC1B,YAAY,EAAE,6BAA6B;SAC5C,CAAC,CAAC;QACH,IAAI,aAAa,GAAG,KAAK,CAAC;QAC1B,IAAI,SAAS,GAAG,KAAK,CAAC;QACtB,IAAI,CAAC;YACH,MAAM,SAAS,GAAG,OAAO,CAAC,gBAAgB,CAAC,aAAa,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,SAAS,EAAE,KAAK,CAAC,gBAAgB,EAAE,CAAC,CAAC;YACxH,IAAI,CAAC,SAAS,CAAC,KAAK;gBAAE,MAAM,iBAAiB,CAAC,kDAAkD,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC;YACpH,MAAM,mBAAmB,GAAG,OAAO,CAAC,gBAAgB,CAAC,iBAAiB,CAAC;gBACrE,KAAK,EAAE,KAAK,CAAC,mBAAmB,EAAE,SAAS,EAAE,KAAK,CAAC,4BAA4B;aAChF,CAAC,CAAC;YACH,IAAI,CAAC,mBAAmB,CAAC,KAAK;gBAAE,MAAM,iBAAiB,CAAC,0DAA0D,EAAE,mBAAmB,CAAC,MAAM,CAAC,CAAC;YAChJ,MAAM,iBAAiB,GAAG,qBAAqB,CAAC,YAAY,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,aAAa,EAAE,YAAY,CAAC,CAAC;YACjH,MAAM,WAAW,GAAG,SAAS,CAAC,iBAAiB,CAAC,CAAC;YACjD,wBAAwB,CAAC,WAAW,EAAE,KAAK,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;YAC/D,MAAM,QAAQ,GAAG,gCAAgC,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;YACrE,IAAI,QAAQ,CAAC,QAAQ,KAAK,MAAM,CAAC,iBAAiB;mBAC7C,2BAA2B,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,MAAM,CAAC,oBAAoB,EAAE,CAAC;gBACnF,MAAM,IAAI,aAAa,CAAC,oBAAoB,EAAE,iEAAiE,CAAC,CAAC;YACnH,CAAC;YACD,OAAO,CAAC,cAAc,EAAE,CAAC;gBACvB,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS;gBAClC,eAAe,EAAE,IAAI,EAAE,uBAAuB,EAAE,IAAI,EAAE,qBAAqB,EAAE,IAAI;aAClF,CAAC,CAAC;YACH,MAAM,UAAU,GAAG,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC;YACvC,MAAM,UAAU,GAAG,qBAAqB,CAAC,WAAW,EAAE,IAAI,EAAE,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;YAC3F,MAAM,SAAS,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC;YACxC,MAAM,eAAe,GAAG,gBAAgB,CACtC,YAAY,CAAC,oBAAoB,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,WAAW,EAAE,aAAa,EAAE,QAAQ,EAAE,iBAAiB,EAAE,CAAC,EAC5H,eAAe,CAChB,CAAC;YACF,MAAM,IAAI,GAAG,yBAAyB,CACpC,YAAY,CAAC,oBAAoB,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,WAAW,EAAE,aAAa,EAAE,QAAQ,EAAE,iBAAiB,EAAE,CAAC,EAC5H,UAAU,EACV,MAAM,EACN,SAAS,EACT,aAAa,EACb,UAAU,CACX,CAAC;YACF,MAAM,SAAS,GAAG,yBAAyB,CACzC,YAAY,CAAC,oBAAoB,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,WAAW,EAAE,aAAa,EAAE,QAAQ,EAAE,oBAAoB,EAAE,CAAC,EAC/H,OAAO,EACP,MAAM,EACN,eAAe,EACf,IAAI,CAAC,KAAK,EACV,aAAa,EACb,UAAU,CAAC,QAAQ,EACnB,MAAM,CAAC,SAAS,CAAC,EACjB,uBAAuB,CAAC,QAAQ,CAAC,SAAS,CAAC,EAC3C,UAAU,CACX,CAAC;YACF,YAAY,CAAC,YAAY,CAAC,MAAM,EAAE;gBAChC,SAAS,EAAE,KAAK,CAAC,SAAS;gBAC1B,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,YAAY,EAAE,6BAA6B;gBAC3C,gBAAgB,EAAE,aAAa;gBAC/B,kBAAkB,EAAE,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC;gBACrD,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC;gBACvC,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC;gBAC7C,eAAe,EAAE;oBACf,EAAE,EAAE,+BAA+B,CAAC,EAAE;oBACtC,OAAO,EAAE,+BAA+B,CAAC,OAAO;oBAChD,cAAc,EAAE,+BAA+B,CAAC,cAAc;iBAC/D;gBACD,aAAa,EAAE,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC;gBAC5C,WAAW,EAAE,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC;gBACxC,iBAAiB,EAAE,MAAM,CAAC,MAAM,CAAC,iBAAiB,CAAC;gBACnD,0BAA0B,EAAE,MAAM,CAAC,MAAM,CAAC,0BAA0B,CAAC;gBACrE,oBAAoB,EAAE,WAAW,CAAC,QAAQ;gBAC1C,kBAAkB,EAAE,UAAU,CAAC,QAAQ;gBACvC,UAAU,EAAE;oBACV,SAAS;oBACT,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;oBAC7C,cAAc,EAAE,eAAe;oBAC/B,aAAa,EAAE,IAAI,CAAC,KAAK;oBACzB,iBAAiB,EAAE,SAAS,CAAC,KAAK;iBACnC;aACF,CAAC,CAAC;YACH,aAAa,GAAG,IAAI,CAAC;YACrB,KAAK,CAAC,cAAc,CAAC,CAAC;YACtB,MAAM,MAAM,GAAG,gCAAgC,CAAC,YAAY,EAAE,MAAM,EAAE,aAAa,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC;YACxG,SAAS,GAAG,IAAI,CAAC;YACjB,OAAO,MAAM,CAAC;QAChB,CAAC;gBAAS,CAAC;YACT,IAAI,SAAS,IAAI,CAAC,aAAa;gBAAE,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACzD,CAAC;IACH,CAAC,CAAC;IAEF,OAAO,UAAU,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;AAClD,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,OAA0B;IACpE,OAAO,aAAa,CAAC;QACnB,MAAM,EAAE,8CAA8C;QACtD,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,EAAE;KAC7B,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,6BAA6B,CAC3C,aAAsB,EACtB,KAAqC;IAErC,MAAM,MAAM,GAAG,MAAM,CAAC,aAAa,CAAC,CAAC;IACrC,OAAO,aAAa,CAAC;QACnB,MAAM,EAAE,gDAAgD;QACxD,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC;QACzC,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,QAAQ,EAAE,MAAM,CAAC,iBAAiB;QAClC,oBAAoB,EAAE,MAAM,CAAC,iBAAiB;QAC9C,gBAAgB,EAAE,MAAM,CAAC,aAAa;QACtC,OAAO,EAAE,MAAM,CAAC,sBAAsB;QACtC,OAAO,EAAE,MAAM,CAAC,uBAAuB;QACvC,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,mBAAmB,EAAE,KAAK,CAAC,mBAAmB;KAC/C,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,gCAAgC,CAC9C,YAAkD,EAClD,MAA+B,EAC/B,aAAqB,EACrB,WAA2D,EAC3D,KAAwD;IAExD,IAAI,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC/C,IAAI,OAAO,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC/B,OAAO,GAAG,YAAY,CAAC,kBAAkB,CAAC,MAAM,EAAE,aAAa,EAAE;YAC/D,aAAa,EAAE,QAAQ,EAAE,gBAAgB,EAAE,OAAO,CAAC,aAAa;YAChE,SAAS,EAAE,UAAU,EAAE,iBAAiB,EAAE,CAAC;SAC5C,CAAC,CAAC;QACH,KAAK,CAAC,sBAAsB,CAAC,CAAC;IAChC,CAAC;IACD,OAAO,OAAO,CAAC,KAAK,KAAK,UAAU,IAAI,OAAO,CAAC,iBAAiB,GAAG,yBAAyB,CAAC,MAAM,EAAE,CAAC;QACpG,MAAM,OAAO,GAAG,OAAO,CAAC,iBAAsC,CAAC;QAC/D,YAAY,CAAC,WAAW,CAAC,MAAM,EAAE,aAAa,EAAE,yBAAyB,CAAC,OAAO,CAAE,CAAC,QAAQ,CAAC,CAAC;QAC9F,KAAK,CAAC,gBAAgB,OAAO,EAAE,CAAC,CAAC;QACjC,OAAO,GAAG,YAAY,CAAC,kBAAkB,CAAC,MAAM,EAAE,aAAa,EAAE;YAC/D,aAAa,EAAE,UAAU,EAAE,gBAAgB,EAAE,OAAO,CAAC,aAAa;YAClE,SAAS,EAAE,UAAU,EAAE,iBAAiB,EAAE,OAAO,GAAG,CAAC;SACtD,CAAC,CAAC;QACH,KAAK,CAAC,sBAAsB,OAAO,EAAE,CAAC,CAAC;IACzC,CAAC;IACD,IAAI,OAAO,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;QACjC,OAAO,GAAG,YAAY,CAAC,kBAAkB,CAAC,MAAM,EAAE,aAAa,EAAE;YAC/D,aAAa,EAAE,UAAU,EAAE,gBAAgB,EAAE,OAAO,CAAC,aAAa;YAClE,SAAS,EAAE,4BAA4B,EAAE,iBAAiB,EAAE,yBAAyB,CAAC,MAAM;SAC7F,CAAC,CAAC;QACH,KAAK,CAAC,uBAAuB,CAAC,CAAC;IACjC,CAAC;IACD,IAAI,OAAO,CAAC,KAAK,KAAK,4BAA4B,EAAE,CAAC;QACnD,MAAM,YAAY,GAAG,cAAc,CAAC,YAAY,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;QACnE,KAAK,CAAC,uBAAuB,CAAC,CAAC;QAC/B,OAAO,GAAG,YAAY,CAAC,kBAAkB,CAAC,MAAM,EAAE,aAAa,EAAE;YAC/D,aAAa,EAAE,4BAA4B,EAAE,gBAAgB,EAAE,OAAO,CAAC,aAAa;YACpF,SAAS,EAAE,WAAW,EAAE,iBAAiB,EAAE,yBAAyB,CAAC,MAAM;YAC3E,qBAAqB,EAAE,YAAY;SACpC,CAAC,CAAC;QACH,KAAK,CAAC,uBAAuB,CAAC,CAAC;IACjC,CAAC;IACD,MAAM,YAAY,GAAG,gCAAgC,CAAC,YAAY,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IACrF,KAAK,CAAC,yBAAyB,CAAC,CAAC;IACjC,OAAO,UAAU,CAAC;QAChB,IAAI,EAAE,oCAAoC;QAC1C,WAAW;QACX,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,YAAY;KACb,CAAC,CAAC;AACL,CAAC;AAED,SAAS,cAAc,CACrB,YAAkD,EAClD,MAA+B,EAC/B,OAA+C;IAE/C,OAAO,gBAAgB,CACrB,OAAO,EACP,MAAM,CAAC,WAAW,CAAC,yBAAyB,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;QAC3D,MAAM,CAAC,QAAQ;QACf,YAAY,CAAC,mBAAmB,CAAC,MAAM,EAAE,OAAO,CAAC,aAAa,EAAE,MAAM,CAAC,QAAQ,CAAC;KACjF,CAAC,CAAC,CACJ,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gCAAgC,CAC9C,YAAkD,EAClD,MAA+B,EAC/B,OAA+C;IAE/C,MAAM,SAAS,GAAG,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IAC3D,IAAI,SAAS,CAAC,KAAK,KAAK,WAAW,IAAI,CAAC,SAAS,CAAC,eAAe,EAAE,CAAC;QAClE,MAAM,IAAI,aAAa,CAAC,wBAAwB,EAAE,gDAAgD,CAAC,CAAC;IACtG,CAAC;IACD,MAAM,MAAM,GAAG,cAAc,CAAC,YAAY,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;IAC/D,IAAI,MAAM,KAAK,SAAS,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;QACtD,MAAM,IAAI,aAAa,CAAC,eAAe,EAAE,qDAAqD,CAAC,CAAC;IAClG,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,gBAAgB,CAAC,OAA+C,EAAE,OAA+B;IACxG,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,CAAC,YAAY,CAAE,CAAC,CAAC;IAC/C,MAAM,IAAI,GAAG,OAAO,CAAC,IAAK,CAAC;IAC3B,MAAM,gBAAgB,GAAG,iBAAiB,CAAC,OAAO,CAAC,iBAAiB,CAAE,CAAC,CAAC;IACxE,MAAM,UAAU,GAAG,iBAAiB,CAAC,OAAO,CAAC,iBAAiB,CAAE,CAAC,CAAC;IAClE,MAAM,eAAe,GAAG,iBAAiB,CAAC,OAAO,CAAC,oBAAoB,CAAE,CAAC,CAAC;IAC1E,MAAM,UAAU,GAAG,MAAM,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACnD,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACvC,MAAM,SAAS,GAAG,MAAM,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACjD,IAAI,IAAI,CAAC,EAAE,KAAK,OAAO,CAAC,MAAM,IAAI,IAAI,CAAC,SAAS,KAAK,OAAO,CAAC,SAAS;WACjE,IAAI,CAAC,QAAQ,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,OAAQ,CAAC,cAAc;WAC7D,IAAI,CAAC,MAAM,KAAK,kCAAkC;WAClD,IAAI,CAAC,QAAQ,KAAK,MAAM,CAAC,IAAI,CAAC;WAC9B,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,aAAa,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,KAAK,WAAW,IAAI,aAAa,CAAC,QAAQ,KAAK,UAAU,CAAC,EAAE,CAAC;QAC9H,MAAM,IAAI,aAAa,CAAC,eAAe,EAAE,gDAAgD,CAAC,CAAC;IAC7F,CAAC;IACD,IAAI,2BAA2B,CAAC,UAAU,CAAC,KAAK,IAAI,IAAI,UAAU,CAAC,WAAW,KAAK,OAAO,CAAC,WAAW;WACjG,UAAU,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM,IAAI,UAAU,CAAC,iBAAiB,KAAK,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC5F,MAAM,IAAI,aAAa,CAAC,eAAe,EAAE,oCAAoC,CAAC,CAAC;IACjF,CAAC;IACD,IAAI,iBAAiB,CAAC,IAAI,CAAC,KAAK,IAAI;QAAE,MAAM,IAAI,aAAa,CAAC,eAAe,EAAE,2CAA2C,CAAC,CAAC;IAC5H,wCAAwC,CAAC,IAAI,EAAE,IAAqC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IACzH,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,YAAY,KAAK,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC3E,MAAM,IAAI,aAAa,CAAC,eAAe,EAAE,4CAA4C,CAAC,CAAC;IACzF,CAAC;IACD,IAAI,sBAAsB,CAAC,SAAS,CAAC,KAAK,IAAI;WACzC,SAAS,CAAC,gBAAgB,KAAK,OAAO,CAAC,gBAAgB;WACvD,SAAS,CAAC,aAAa,KAAK,OAAO,CAAC,aAAa;WACjD,SAAS,CAAC,WAAW,KAAK,OAAO,CAAC,WAAW;WAC7C,SAAS,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM;WACnC,SAAS,CAAC,YAAY,KAAK,IAAI,CAAC,QAAQ;WACxC,SAAS,CAAC,iBAAiB,KAAK,IAAI,CAAC,QAAQ;WAC7C,SAAS,CAAC,uBAAuB,KAAK,UAAU,CAAC,SAAS;WAC1D,SAAS,CAAC,sBAAsB,KAAK,IAAI,CAAC,SAAS;WACnD,SAAS,CAAC,eAAe,KAAK,MAAM,CAAC,OAAO,CAAC,YAAY,CAAE,CAAC;WAC5D,SAAS,CAAC,eAAe,KAAK,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAChD,MAAM,IAAI,aAAa,CAAC,eAAe,EAAE,uCAAuC,CAAC,CAAC;IACpF,CAAC;IACD,OAAO,aAAa,CAAC;QACnB,MAAM,EAAE,sDAAsD;QAC9D,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,YAAY,EAAE,OAAO,CAAC,YAAY;QAClC,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,aAAa,EAAE,MAAM,CAAC,SAAS,CAAC,aAAa,EAAE,CAAC,CAAC;QACxH,kBAAkB,EAAE,SAAS,CAAC,SAAS;KACxC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAe,EAAE,IAAmB,EAAE,QAAgB,EAAE,UAAkB;IACvG,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IACzH,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,qBAAqB,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC;QAClF,GAAG,IAAI;QACP,MAAM,EAAE,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,SAAkB,CAAC,CAAC,CAAC,SAAkB;QAC5H,QAAQ,EAAE,IAAI;KACf,CAAC,CAAC,CAAC;IACJ,MAAM,MAAM,GAAc;QACxB,GAAG,IAAI;QACP,QAAQ,EAAE,IAAI,CAAC,QAAQ,GAAG,CAAC;QAC3B,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,kCAAkC;QAC1C,QAAQ;QACR,aAAa,EAAE,IAAI,CAAC,SAAS;QAC7B,YAAY,EAAE,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC;QACpC,UAAU,EAAE,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC;QAChC,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;QACtB,eAAe,EAAE,IAAI,CAAC,eAAe;QACrC,qBAAqB,EAAE,IAAI,CAAC,qBAAqB;QACjD,gBAAgB,EAAE,eAAe,CAAC,IAAI,CAAC,gBAAgB,CAAC;QACxD,oBAAoB,EAAE,IAAI,CAAC,oBAAoB;QAC/C,gBAAgB,EAAE,IAAI,CAAC,gBAAgB;QACvC,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,KAAK,EAAE,YAAY;QACnB,cAAc,EAAE,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,aAAa,EAAE,EAAE,CACxD,aAAa,CAAC,IAAI,KAAK,WAAW,IAAI,aAAa,CAAC,QAAQ,KAAK,UAAU;YACzE,CAAC,CAAC,EAAE,GAAG,aAAa,EAAE,QAAQ,EAAE,YAAqB,EAAE;YACvD,CAAC,CAAC,aAAa,CAAC;QACpB,MAAM,EAAE,WAAW,EAAE;QACrB,UAAU,EAAE,IAAI;QAChB,YAAY,EAAE,IAAI;QAClB,WAAW,EAAE,IAAI;KAClB,CAAC;IACF,IAAI,YAAY,CAAC,MAAM,CAAC,KAAK,IAAI;QAAE,MAAM,IAAI,aAAa,CAAC,eAAe,EAAE,iDAAiD,CAAC,CAAC;IAC/H,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,yBAAyB,CAChC,OAAsB,EACtB,IAAe,EACf,MAAkB,EAClB,KAAqC,EACrC,qBAA6B,EAC7B,UAAkB;IAElB,IAAI,6BAA6B,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,MAAM,CAAC,aAAa,EAAE,CAAC;QAC1E,MAAM,IAAI,aAAa,CAAC,oBAAoB,EAAE,sDAAsD,CAAC,CAAC;IACxG,CAAC;IACD,MAAM,KAAK,GAAG;QACZ,OAAO,EAAE,OAAO,qBAAqB,EAAE;QACvC,UAAU;QACV,MAAM,EAAE,IAAI,CAAC,EAAE;QACf,YAAY,EAAE,IAAI,CAAC,QAAQ;QAC3B,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,QAAQ,EAAE,MAAM,CAAC,iBAAiB;QAClC,oBAAoB,EAAE,MAAM,CAAC,iBAAiB;QAC9C,gBAAgB,EAAE,MAAM,CAAC,aAAa;QACtC,OAAO,EAAE,MAAM,CAAC,sBAAsB;QACtC,OAAO,EAAE,MAAM,CAAC,uBAAuB;QACvC,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,mBAAmB,EAAE,KAAK,CAAC,mBAAmB;KAC/C,CAAC;IACF,wCAAwC,CAAC,IAAI,EAAE,KAA2B,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/G,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAC7C,IAAI,iBAAiB,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,IAAI;QAAE,MAAM,IAAI,aAAa,CAAC,kBAAkB,EAAE,0CAA0C,CAAC,CAAC;IACxI,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,yBAAyB,CAChC,OAAsB,EACtB,OAAmB,EACnB,MAAkB,EAClB,eAA2B,EAC3B,SAAqB,EACrB,qBAA6B,EAC7B,YAAoB,EACpB,eAAuB,EACvB,eAAuB,EACvB,UAAkB;IAElB,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACxC,MAAM,KAAK,GAAG;QACZ,aAAa,EAAE,CAAC;QAChB,IAAI,EAAE,sCAAsC;QAC5C,OAAO,EAAE,OAAO,qBAAqB,EAAE;QACvC,UAAU;QACV,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,YAAY;QACZ,UAAU,EAAE,kCAAkC;QAC9C,YAAY,EAAE,MAAM,CAAC,YAAY;QACjC,gBAAgB,EAAE,qBAAqB;QACvC,kBAAkB,EAAE,MAAM,CAAC,kBAAkB;QAC7C,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,cAAc,EAAE,MAAM,CAAC,cAAc;QACrC,eAAe,EAAE;YACf,EAAE,EAAE,+BAA+B,CAAC,EAAE;YACtC,OAAO,EAAE,+BAA+B,CAAC,OAAO;YAChD,cAAc,EAAE,+BAA+B,CAAC,cAAc;SAC/D;QACD,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,iBAAiB,EAAE,OAAO,CAAC,UAAU;QACrC,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;QAC3C,uBAAuB,EAAE,eAAe,CAAC,SAAS;QAClD,sBAAsB,EAAE,SAAS,CAAC,SAAS;QAC3C,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;QAC3C,0BAA0B,EAAE,MAAM,CAAC,0BAA0B;QAC7D,cAAc,EAAE,GAAG,CAAC,OAAO,EAAE,8BAA8B,CAAC;QAC5D,eAAe;QACf,eAAe;KAChB,CAAC;IACF,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAC7C,IAAI,sBAAsB,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC;QACpD,MAAM,IAAI,aAAa,CAAC,eAAe,EAAE,8DAA8D,CAAC,CAAC;IAC3G,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,WAAW,CAAC,OAAsB,EAAE,KAAiB;IAC5D,MAAM,QAAQ,GAAG,oBAAoB,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,KAAc,CAAC,CAAC;IAClF,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,KAA8B,EAAE,CAAC;AAC1G,CAAC;AAED,SAAS,gBAAgB,CAAC,OAAsB,EAAE,KAAiB;IACjE,OAAO,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,KAAK,CAAC;AAC3C,CAAC;AAED,SAAS,iBAAiB,CAAC,OAAsB;IAC/C,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,CAAC,UAAU,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAC5D,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACtC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,MAAM,IAAI,aAAa,CAAC,eAAe,EAAE,sDAAsD,CAAC,CAAC;IAC3H,MAAM,MAAM,GAAyB,EAAE,CAAC;IACxC,IAAI,QAAQ,GAAkB,IAAI,CAAC;IACnC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACjD,IAAI,MAAe,CAAC;QACpB,IAAI,CAAC;YAAC,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC;YAAC,MAAM,IAAI,aAAa,CAAC,eAAe,EAAE,kDAAkD,CAAC,CAAC;QAAC,CAAC;QAC1I,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAkC,CAAC;QAC9D,IAAI,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,CAAC,UAAU,KAAK,QAAQ,IAAI,KAAK,CAAC,iBAAiB,KAAK,QAAQ;eAChH,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,uBAAuB,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,SAAS,EAAE,CAAC;YACvF,MAAM,IAAI,aAAa,CAAC,eAAe,EAAE,6CAA6C,CAAC,CAAC;QAC1F,CAAC;QACD,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC;QAC3B,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,8BAA8B,CACrC,OAAmB,EACnB,MAAkB,EAClB,KAAmC,EACnC,eAA2B,EAC3B,aAAqB;IAErB,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACxC,IAAI,MAAM,CAAC,YAAY,KAAK,6BAA6B,IAAI,MAAM,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;WACtF,OAAO,CAAC,cAAc,KAAK,+BAA+B,CAAC,cAAc;WACzE,GAAG,CAAC,OAAO,EAAE,iBAAiB,CAAC,KAAK,+BAA+B,CAAC,EAAE;WACtE,GAAG,CAAC,OAAO,EAAE,sBAAsB,CAAC,KAAK,+BAA+B,CAAC,OAAO;WAChF,eAAe,CAAC,WAAW,KAAK,OAAO,CAAC,WAAW;WACnD,eAAe,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM;WACxC,eAAe,CAAC,iBAAiB,KAAK,MAAM,CAAC,iBAAiB;WAC9D,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,aAAa,CAAC,oBAAoB,EAAE,iEAAiE,CAAC,CAAC;IACnH,CAAC;AACH,CAAC;AAED,SAAS,wBAAwB,CAAC,IAAe,EAAE,SAAiB,EAAE,MAAkB;IACtF,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,IAAI,IAAI,CAAC,EAAE,KAAK,MAAM,CAAC,MAAM,IAAI,IAAI,CAAC,QAAQ,KAAK,MAAM,CAAC,QAAQ;WAC7F,IAAI,CAAC,QAAQ,KAAK,MAAM,CAAC,eAAe,IAAI,IAAI,CAAC,SAAS,KAAK,MAAM,CAAC,SAAS;WAC/E,IAAI,CAAC,oBAAoB,KAAK,MAAM,CAAC,iBAAiB,IAAI,IAAI,CAAC,gBAAgB,KAAK,MAAM,CAAC,aAAa,EAAE,CAAC;QAC9G,MAAM,IAAI,aAAa,CAAC,gBAAgB,EAAE,wEAAwE,CAAC,CAAC;IACtH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,gCAAgC,CAAC,OAAmB;IAClE,OAAO,aAAa,CAAC;QACnB,MAAM,EAAE,mDAAmD;QAC3D,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,cAAc,EAAE,OAAO,CAAC,cAAc;QACtC,MAAM,EAAE,OAAO,CAAC,MAAM;KACvB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,qBAAqB,CAC5B,YAAkD,EAClD,MAA+B,EAC/B,MAAc,EACd,WAAmB,EACnB,QAAsB;IAEtB,MAAM,KAAK,GAAG,YAAY,CAAC,oBAAoB,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC3F,IAAI,KAAK,KAAK,IAAI;QAAE,MAAM,IAAI,aAAa,CAAC,gBAAgB,EAAE,0CAA0C,CAAC,CAAC;IAC1G,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,SAAS,CAAC,OAAe;IAChC,IAAI,KAAc,CAAC;IACnB,IAAI,CAAC;QAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC;QAAC,MAAM,IAAI,aAAa,CAAC,eAAe,EAAE,6BAA6B,CAAC,CAAC;IAAC,CAAC;IACxI,IAAI,YAAY,CAAC,KAAK,CAAC,KAAK,IAAI;QAAE,MAAM,IAAI,aAAa,CAAC,eAAe,EAAE,+BAA+B,CAAC,CAAC;IAC5G,OAAO,KAAkB,CAAC;AAC5B,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAe,EAAE,IAAoC;IAClF,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,IAAI,SAAS,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC;IAC9G,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3B,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,UAAU,EAAE,GAAG,QAAQ,CAAC;IACzE,OAAO,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;AAC/E,CAAC;AAED,SAAS,WAAW;IAClB,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI;QAC3F,QAAQ,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;AACpE,CAAC;AAED,SAAS,iBAAiB,CAAC,OAAe,EAAE,MAA0B;IACpE,OAAO,IAAI,aAAa,CAAC,oBAAoB,EAAE,OAAO,EAAE,EAAE,kBAAkB,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AACxI,CAAC;AAED,SAAS,aAAa,CAAC,KAAc,EAAE,KAAa;IAClD,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACrE,IAAI,MAAM,KAAK,SAAS;QAAE,MAAM,IAAI,aAAa,CAAC,kBAAkB,EAAE,GAAG,KAAK,mCAAmC,CAAC,CAAC;IACnH,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc,EAAE,MAAmB,EAAE,KAAa,EAAE,MAAwC;IAC5G,IAAI,EAAE,MAAM,CAAC,KAAK,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,OAAO,IAAI,KAAK,GAAG,EAAE;QAAE,OAAO,SAAS,CAAC;IAC3F,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACjD,OAAO,MAAM,CAAC,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC;IACpD,CAAC;IACD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAC/D,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;IAChH,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACjG,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACxC,IAAI,UAAU,IAAI,KAAK,CAAC,MAAM,GAAG,IAAI;QAAE,OAAO,SAAS,CAAC;IACxD,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;IAC/C,IAAI,SAAS,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,SAAS,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5G,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACpC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,GAAG,KAAK,QAAQ,CAAC;QAAE,OAAO,SAAS,CAAC;IAClE,MAAM,KAAK,GAAI,IAAiB,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,UAAU,IAAI,GAAG,KAAK,QAAQ,CAAC,CAAC;IAClF,IAAI,UAAU,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IACzH,MAAM,WAAW,GAAG,MAAM,CAAC,yBAAyB,CAAC,KAAK,CAAC,CAAC;IAC5D,MAAM,MAAM,GAA2B,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC7E,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAClB,KAAK,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;QACxB,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;QACpC,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAC/C,IAAI,MAAM,CAAC,KAAK,GAAG,OAAO;YAAE,OAAO,SAAS,CAAC;QAC7C,IAAI,CAAC,UAAU,EAAE,UAAU,IAAI,CAAC,CAAC,OAAO,IAAI,UAAU,CAAC;YAAE,OAAO,SAAS,CAAC;QAC1E,MAAM,KAAK,GAAG,QAAQ,CAAC,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;QACpE,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QACzC,MAAqB,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;IACtC,CAAC;IACD,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACrB,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAc,EAAE,IAAuB,EAAE,KAAa;IAC/E,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC;WACtF,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,SAAS,EAAE,CAAC;QACvD,MAAM,IAAI,aAAa,CAAC,kBAAkB,EAAE,GAAG,KAAK,iCAAiC,CAAC,CAAC;IACzF,CAAC;IACD,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACvC,MAAM,WAAW,GAAG,MAAM,CAAC,yBAAyB,CAAC,KAAK,CAAC,CAAC;IAC5D,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,GAAG,KAAK,QAAQ,CAAC;WAC7C,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;WACrE,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE;YACtB,MAAM,UAAU,GAAG,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;YAC5C,OAAO,CAAC,UAAU,EAAE,UAAU,IAAI,CAAC,CAAC,OAAO,IAAI,UAAU,CAAC,CAAC;QAC7D,CAAC,CAAC,EAAE,CAAC;QACL,MAAM,IAAI,aAAa,CAAC,kBAAkB,EAAE,GAAG,KAAK,iCAAiC,CAAC,CAAC;IACzF,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAAC,KAAc,IAAY,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;AACjH,SAAS,MAAM,CAAC,KAAsB,IAAY,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAC5G,SAAS,UAAU,CAAC,KAAc,EAAE,KAAa;IAC/C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,aAAa,CAAC,kBAAkB,EAAE,GAAG,KAAK,6BAA6B,CAAC,CAAC;AACzI,CAAC;AACD,SAAS,MAAM,CAAC,KAAc,IAAgB,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAmB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACvJ,SAAS,MAAM,CAAC,KAAc,IAAY,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAC1F,SAAS,MAAM,CAAC,KAAc,IAAY,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;AACjI,SAAS,GAAG,CAAC,KAAc,EAAE,OAAe;IAC1C,OAAO,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,OAAgB,EAAE,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;AAC3G,CAAC"}

package/dist/src/state/corrective-replan-public-schema.d.ts

@@ -0,0 +1,3 @@
+export type CorrectiveReplanPublicSchemaKind = 'candidate' | 'humanGate' | 'humanGateResult' | 'credential' | 'executionResult' | 'response';
+export declare function validateCorrectiveReplanPublicValue(kind: CorrectiveReplanPublicSchemaKind, value: unknown): boolean;
+export declare function assertCorrectiveReplanPublicOutput<T>(kind: CorrectiveReplanPublicSchemaKind, value: T): T;