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

package/dist/src/lifecycle/corrective-replan.js

@@ -0,0 +1,548 @@
+import { createHash } from 'node:crypto';
+import { renderPlan } from '../artifacts.js';
+import { definitionManifestHash, runtimeSemanticFingerprint } from './fingerprint.js';
+import { deepFreeze } from './immutable.js';
+import { evaluateTransition } from './evaluator.js';
+import { correctiveReplanBindingManifest } from './corrective-replan-binding-manifest.js';
+import { LIFECYCLE_EPOCH, TRANSITION_DEFINITION_FORMAT_VERSION, } from './types.js';
+export const TASK_CORRECTIVE_REPLAN_TRANSITION_ID = 'task.plan.corrective-replan';
+export function identifyCorrectiveReplanPosture(task, guardedStepIds, decisions, remediations) {
+    const matches = decisions.filter((decision) => decision.taskId === task.id
+        && decision.decision === 'replan-required'
+        && decision.planHash === task.planHash
+        && guardedStepIds.includes(decision.stepId));
+    if (matches.length !== 1)
+        return null;
+    const decision = matches[0];
+    return {
+        posture: 'replan-required',
+        stepId: decision.stepId,
+        attemptCount: remediations.filter((event) => event.stepId === decision.stepId).length,
+        correctiveDecision: decision,
+    };
+}
+const bindingGuardMetadata = guardMetadata('task.corrective-replan.bindings-current', 'Task, revision, Plan, Step, and corrective-decision bindings match the evaluated snapshot.', 'availability', 'observation', ['field.corrective-decision-event-id', 'field.current-plan-hash', 'field.step-id', 'field.task-id', 'field.task-revision'], ['input.expected-revision', 'input.task-id'], 'external-race');
+const sourceGuardMetadata = guardMetadata('task.corrective-replan.source-posture', 'The exact guarded Step is failed and its Task is in a corrective replan source posture.', 'availability', 'observation', ['field.step-status', 'field.task-status'], [], 'lifecycle-blocker');
+const noStepInProgressGuardMetadata = guardMetadata('task.corrective-replan.no-step-in-progress', 'No Step in the Task is in progress while its Plan semantics are being replaced.', 'availability', 'observation', ['field.in-progress-step-ids'], [], 'lifecycle-blocker');
+const decisionGuardMetadata = guardMetadata('task.corrective-replan.active-decision', 'One active replan-required decision is bound to the current Plan and guarded Step.', 'availability', 'observation', ['field.corrective-decision-decision', 'field.corrective-decision-plan-hash', 'field.corrective-decision-step-id', 'field.corrective-posture'], [], 'lifecycle-blocker');
+const attemptGuardMetadata = guardMetadata('task.corrective-replan.attempt-threshold', 'At least two remediation failures exist and the decision is bound to the next attempt ordinal.', 'availability', 'observation', ['field.corrective-decision-triggering-attempt-count', 'field.remediation-attempt-count'], [], 'lifecycle-blocker');
+const semanticPlanChangeGuardMetadata = guardMetadata('task.corrective-replan.semantic-plan-change', 'The rendered candidate Plan has a new content-addressed semantic binding.', 'execution', 'candidate', ['field.candidate-plan-hash', 'field.current-plan-hash'], ['input.corrective-replacement-plan'], 'candidate-blocker');
+const guardedStepRetainedGuardMetadata = guardMetadata('task.corrective-replan.guarded-step-retained', 'The candidate Plan retains the exact guarded Step identity.', 'execution', 'candidate', ['field.candidate-step-ids', 'field.step-id'], ['input.corrective-replacement-plan'], 'candidate-blocker');
+const actorRoleEligibleGuardMetadata = guardMetadata('task.corrective-replan.actor-role-eligible', 'The receipt-bound actor has an eligible planning/coordinator role.', 'execution', 'authority', ['field.actor-role-eligible'], ['input.corrective-execution-receipt'], 'authority-blocker');
+const noC1ClaimGuardMetadata = guardMetadata('task.corrective-replan.no-c1-claim', 'No C1 claim remains when the exact Task operation lock is acquired.', 'execution', 'authority', ['field.c1-claim-absent'], ['input.corrective-execution-receipt'], 'external-race');
+const noWriterLeaseGuardMetadata = guardMetadata('task.corrective-replan.no-writer-lease', 'No Writer lease remains when the exact Task operation lock is acquired.', 'execution', 'authority', ['field.writer-lease-absent'], ['input.corrective-execution-receipt'], 'external-race');
+const planValidationPassedGuardMetadata = guardMetadata('task.corrective-replan.plan-validation-passed', 'A fresh independent Plan Validation is bound to the replacement candidate.', 'execution', 'candidate', ['field.plan-validation-passed'], ['input.corrective-plan-validation'], 'candidate-blocker');
+const receiptValidGuardMetadata = guardMetadata('task.corrective-replan.receipt-valid', 'The Human-confirmed receipt matches every current execution binding.', 'execution', 'authority', ['field.receipt-valid'], ['input.corrective-execution-receipt'], 'authority-blocker');
+const riskAuditPassedGuardMetadata = guardMetadata('task.corrective-replan.risk-audit-passed', 'The replacement Plan Risk Audit is approved and candidate-bound.', 'execution', 'candidate', ['field.risk-audit-passed'], ['input.corrective-plan-risk-audit'], 'candidate-blocker');
+const guards = [
+    {
+        metadata: bindingGuardMetadata,
+        evaluate(snapshot, bindings) {
+            const decision = snapshot.correctiveDecision;
+            const passed = snapshot.taskId === bindings.taskId
+                && snapshot.taskRevision === bindings.expectedRevision
+                && snapshot.currentPlanHash === bindings.currentPlanHash
+                && snapshot.stepId === bindings.stepId
+                && decision?.eventId === bindings.correctiveDecisionEventId;
+            return verdict(bindingGuardMetadata, passed, 'BINDINGS_STALE', 'Corrective replan bindings no longer match current state.');
+        },
+    },
+    {
+        metadata: sourceGuardMetadata,
+        evaluate(snapshot) {
+            const taskAllowed = ['ready', 'needs_fix', 'blocked'].includes(snapshot.taskStatus);
+            const passed = taskAllowed && snapshot.stepStatus === 'failed';
+            return verdict(sourceGuardMetadata, passed, 'SOURCE_POSTURE_BLOCKED', `Corrective replan requires the exact guarded Step to be failed; Task is ${snapshot.taskStatus} and Step is ${snapshot.stepStatus ?? 'missing'}.`);
+        },
+    },
+    {
+        metadata: noStepInProgressGuardMetadata,
+        evaluate(snapshot) {
+            return verdict(noStepInProgressGuardMetadata, snapshot.inProgressStepIds.length === 0, 'STEP_IN_PROGRESS', `Corrective replan is blocked while Steps are in progress: ${snapshot.inProgressStepIds.join(', ')}.`);
+        },
+    },
+    {
+        metadata: decisionGuardMetadata,
+        evaluate(snapshot) {
+            const decision = snapshot.correctiveDecision;
+            const passed = snapshot.correctivePosture === 'replan-required'
+                && decision?.decision === 'replan-required'
+                && decision.stepId === snapshot.stepId
+                && decision.planHash === snapshot.currentPlanHash;
+            return verdict(decisionGuardMetadata, passed, 'ACTIVE_REPLAN_DECISION_MISSING', 'The exact guarded Step does not have a replan-required decision for the current Plan.');
+        },
+    },
+    {
+        metadata: attemptGuardMetadata,
+        evaluate(snapshot) {
+            const decision = snapshot.correctiveDecision;
+            const passed = snapshot.remediationAttemptCount >= 2
+                && decision?.triggeringAttemptCount === snapshot.remediationAttemptCount + 1;
+            return verdict(attemptGuardMetadata, passed, 'ATTEMPT_BINDING_INVALID', 'Corrective replan requires two failed attempts and a decision bound to the next attempt ordinal.');
+        },
+    },
+    {
+        metadata: semanticPlanChangeGuardMetadata,
+        evaluate(snapshot, bindings) {
+            const candidateBindings = executionBindings(bindings);
+            const passed = candidateBindings !== null
+                && snapshot.candidatePlanHash !== null
+                && candidateBindings.candidatePlanHash === snapshot.candidatePlanHash
+                && snapshot.currentPlanHash !== snapshot.candidatePlanHash;
+            return verdict(semanticPlanChangeGuardMetadata, passed, 'SEMANTIC_PLAN_UNCHANGED', 'Corrective replan requires candidate Plan bytes whose semantic hash differs from the current Plan.');
+        },
+    },
+    {
+        metadata: guardedStepRetainedGuardMetadata,
+        evaluate(snapshot, bindings) {
+            const candidateBindings = executionBindings(bindings);
+            const passed = candidateBindings !== null
+                && snapshot.candidateStepIds !== null
+                && sameStrings(candidateBindings.candidateStepIds, snapshot.candidateStepIds)
+                && snapshot.candidateStepIds.includes(snapshot.stepId);
+            return verdict(guardedStepRetainedGuardMetadata, passed, 'GUARDED_STEP_REMOVED', `Candidate Plan must retain guarded Step ${snapshot.stepId}.`);
+        },
+    },
+    booleanGuard(actorRoleEligibleGuardMetadata, 'actorRoleEligible', 'ROLE_NOT_ELIGIBLE'),
+    booleanGuard(noC1ClaimGuardMetadata, 'c1ClaimAbsent', 'C1_CLAIM_ACTIVE'),
+    booleanGuard(noWriterLeaseGuardMetadata, 'writerLeaseAbsent', 'WRITER_LEASE_ACTIVE'),
+    booleanGuard(planValidationPassedGuardMetadata, 'planValidationPassed', 'PLAN_VALIDATION_REQUIRED'),
+    booleanGuard(receiptValidGuardMetadata, 'receiptValid', 'RECEIPT_INVALID'),
+    booleanGuard(riskAuditPassedGuardMetadata, 'riskAuditPassed', 'RISK_AUDIT_REQUIRED'),
+];
+const metadata = {
+    definitionFormatVersion: TRANSITION_DEFINITION_FORMAT_VERSION,
+    transitionId: TASK_CORRECTIVE_REPLAN_TRANSITION_ID,
+    guardNamespace: 'task.corrective-replan',
+    lifecycleEpoch: LIFECYCLE_EPOCH,
+    entity: 'task',
+    scope: 'task-step',
+    command: { command: 'task corrective-replan-execute', noun: 'task', action: 'corrective-replan-execute' },
+    sourcePosture: {
+        taskStatuses: ['ready', 'needs_fix', 'blocked'],
+        milestoneStatuses: [],
+        stepStatuses: ['failed'],
+        correctivePostures: ['replan-required'],
+    },
+    inputContract: [
+        { input: v1('input.task-id'), phase: 'availability', required: true, sensitivity: 'public' },
+        { input: v1('input.expected-revision'), phase: 'availability', required: true, sensitivity: 'public' },
+        { input: v1('input.corrective-replacement-plan'), phase: 'execution', required: true, sensitivity: 'public' },
+        { input: v1('input.corrective-plan-validation'), phase: 'execution', required: true, sensitivity: 'public' },
+        { input: v1('input.corrective-plan-risk-audit'), phase: 'execution', required: true, sensitivity: 'public' },
+        { input: v1('input.corrective-execution-receipt'), phase: 'execution', required: true, sensitivity: 'public' },
+    ],
+    snapshotContract: v1('projection.corrective-replan.snapshot'),
+    bindingContract: v1('projection.corrective-replan.bindings'),
+    outputContract: [
+        { outputId: 'output.navigation', channel: 'navigation', sensitivity: 'public', required: true },
+        { outputId: 'output.corrective-execution-receipt', channel: 'credential-receipt', sensitivity: 'redacted', required: true },
+        { outputId: 'output.task-state', channel: 'result', sensitivity: 'public', required: true },
+    ],
+    guards: guards.map((guard) => guard.metadata),
+    authority: {
+        eligibleRoles: ['delivery-coordinator', 'technical-planner'],
+        actor: {
+            identity: v1('identity.actor'),
+            principalBasis: v1('principal-basis.human-confirmation'),
+            required: true,
+        },
+        principal: {
+            identity: v1('identity.human-principal'),
+            principalBasis: v1('principal-basis.human-confirmation'),
+            issuer: v1('identity.human-principal'),
+            allowedKinds: ['human'],
+        },
+        capabilities: [{ capability: v1('capability.task.corrective-replan'), source: 'credential', required: true }],
+        credentials: [v1('credential-policy.corrective-execution-receipt')],
+        delegation: v1('delegation.forbidden'),
+        ownership: v1('ownership.corrective-replan-clear'),
+        executionBoundaries: ['human', 'coordinator', 'workflow-core'],
+        separationOfDuty: [
+            {
+                constraintId: 'sod.plan-author-plan-validator-distinct', left: v1('identity.plan-author'), right: v1('identity.plan-validator'),
+                relation: 'distinct', missingIdentity: 'block', comparator: v1('identity-comparator.corrective-replan.author-validator'),
+                enforcement: { kind: 'credential-verifier', verifier: v1('credential-verifier.corrective-replan.receipt') },
+            },
+            {
+                constraintId: 'sod.plan-author-risk-auditor-distinct', left: v1('identity.plan-author'), right: v1('identity.risk-auditor'),
+                relation: 'distinct', missingIdentity: 'block', comparator: v1('identity-comparator.corrective-replan.author-risk-auditor'),
+                enforcement: { kind: 'credential-verifier', verifier: v1('credential-verifier.corrective-replan.receipt') },
+            },
+        ],
+        forbiddenCombinations: [{
+                constraintId: 'forbidden.plan-author-human-principal-self-authorize',
+                subjects: [v1('identity.plan-author'), v1('identity.human-principal')], rule: 'cannot-authorize',
+                missingIdentity: 'block', comparator: v1('identity-comparator.corrective-replan.author-human-principal'),
+                enforcement: { kind: 'credential-verifier', verifier: v1('credential-verifier.corrective-replan.receipt') },
+            }],
+    },
+    effects: {
+        graphId: 'effect-graph.task-corrective-replan-journaled',
+        graphVersion: 2,
+        taskStatus: { from: ['ready', 'needs_fix', 'blocked'], to: 'awaiting_execution_authorization' },
+        milestoneStatus: { from: [], to: 'preserved' },
+        stepStatus: { from: ['failed'], to: 'input-dependent' },
+        supersession: {
+            executionAuthorization: 'supersede-approved',
+            finalAcceptance: 'preserve',
+            delegationGrants: 'preserve',
+            c1Claim: 'invalidate',
+            writerLease: 'invalidate',
+        },
+        orderedNodes: [
+            {
+                effectId: 'effect.task-state-write',
+                ordinal: 0,
+                adapter: v1('effect-adapter.journaled-corrective-replan'),
+                resource: v1('resource.task-state'),
+                operation: 'write',
+                conditions: [{ kind: 'guard-passed', guardId: 'task.corrective-replan.receipt-valid' }],
+                dependsOn: [],
+            },
+            {
+                effectId: 'effect.plan-artifact-publish',
+                ordinal: 1,
+                adapter: v1('effect-adapter.journaled-corrective-replan'),
+                resource: v1('resource.plan-artifact'),
+                operation: 'publish',
+                conditions: [],
+                dependsOn: ['effect.task-state-write'],
+            },
+            {
+                effectId: 'effect.plan-validation-append',
+                ordinal: 2,
+                adapter: v1('effect-adapter.journaled-corrective-replan'),
+                resource: v1('resource.plan-validation-sidecar'),
+                operation: 'append',
+                conditions: [{ kind: 'input-present', input: v1('input.corrective-plan-validation') }],
+                dependsOn: ['effect.plan-artifact-publish'],
+            },
+            {
+                effectId: 'effect.plan-risk-audit-append',
+                ordinal: 3,
+                adapter: v1('effect-adapter.journaled-corrective-replan'),
+                resource: v1('resource.plan-risk-audit-sidecar'),
+                operation: 'append',
+                conditions: [{ kind: 'input-present', input: v1('input.corrective-plan-risk-audit') }],
+                dependsOn: ['effect.plan-validation-append'],
+            },
+            {
+                effectId: 'effect.corrective-replan-execution-append',
+                ordinal: 4,
+                adapter: v1('effect-adapter.journaled-corrective-replan'),
+                resource: v1('resource.corrective-replan-execution-sidecar'),
+                operation: 'append',
+                conditions: [{ kind: 'input-present', input: v1('input.corrective-execution-receipt') }],
+                dependsOn: ['effect.plan-risk-audit-append'],
+            },
+        ],
+        postconditions: [
+            {
+                postconditionId: 'postcondition.plan-hash-equals-candidate',
+                assertion: 'hash-equals',
+                reads: [
+                    slice('projection.corrective-replan.candidate', ['field.candidate-plan-hash']),
+                    slice('projection.task-state.readback', ['field.task-plan-hash']),
+                ],
+                effectNodeIds: ['effect.task-state-write', 'effect.plan-artifact-publish'],
+            },
+            {
+                postconditionId: 'postcondition.task-revision-advanced',
+                assertion: 'revision-advanced',
+                reads: [
+                    slice('projection.corrective-replan.state', ['field.task-revision']),
+                    slice('projection.task-state.readback', ['field.task-revision']),
+                ],
+                effectNodeIds: ['effect.task-state-write'],
+            },
+            {
+                postconditionId: 'postcondition.task-status-awaits-authorization',
+                assertion: 'status-equals',
+                reads: [slice('projection.task-state.readback', ['field.task-status'])],
+                effectNodeIds: ['effect.task-state-write'],
+            },
+            {
+                postconditionId: 'postcondition.plan-validation-appended', assertion: 'event-appended',
+                reads: [slice('projection.corrective-replan.terminal-readback', ['field.plan-validation-hash'])],
+                effectNodeIds: ['effect.plan-validation-append'],
+            },
+            {
+                postconditionId: 'postcondition.plan-risk-audit-appended', assertion: 'event-appended',
+                reads: [slice('projection.corrective-replan.terminal-readback', ['field.risk-audit-hash'])],
+                effectNodeIds: ['effect.plan-risk-audit-append'],
+            },
+            {
+                postconditionId: 'postcondition.execution-evidence-appended', assertion: 'event-appended',
+                reads: [slice('projection.corrective-replan.terminal-readback', ['field.runtime-fingerprint', 'field.catalog-hash'])],
+                effectNodeIds: ['effect.corrective-replan-execution-append'],
+            },
+        ],
+    },
+    admissionBoundary: {
+        lock: {
+            policy: v1('lock-policy.corrective-replan-task-exclusive'),
+            scope: slice('projection.corrective-replan.state', ['field.task-id']),
+        },
+        orderedRevalidations: [
+            { revalidationId: 'revalidation.corrective-replan.state', ordinal: 0, raceId: 'race.corrective-replan.state',
+                guardId: bindingGuardMetadata.guardId, evaluator: bindingGuardMetadata.evaluator,
+                reads: [slice('projection.corrective-replan.state', manifestProjectionFields('projection.corrective-replan.state'))], underLock: true },
+            { revalidationId: 'revalidation.corrective-replan.authority', ordinal: 1, raceId: 'race.corrective-replan.authority',
+                guardId: receiptValidGuardMetadata.guardId, evaluator: receiptValidGuardMetadata.evaluator,
+                reads: [slice('projection.corrective-replan.authority', manifestProjectionFields('projection.corrective-replan.authority'))], underLock: true },
+            { revalidationId: 'revalidation.corrective-replan.protocol', ordinal: 2, raceId: 'race.corrective-replan.protocol',
+                guardId: noWriterLeaseGuardMetadata.guardId, evaluator: noWriterLeaseGuardMetadata.evaluator,
+                reads: [slice('projection.corrective-replan.protocol', manifestProjectionFields('projection.corrective-replan.protocol'))], underLock: true },
+        ],
+        firstEffectAfterRevalidation: true,
+        release: 'finally-after-readback',
+    },
+    atomicity: {
+        classification: 'journaled-multi-write',
+        nonMutatingFailureGuarantee: 'all-guards-before-effects',
+        executionKey: {
+            policy: v1('execution-key-policy.corrective-replan-exact'),
+            fields: correctiveReplanBindingManifest.rows.map(({ projection, fieldId }) => ({ projection, fieldId })),
+            hashPolicy: v1('hash-policy.canonical-json-sha256'),
+        },
+        replay: {
+            identicalCompleted: 'return-recorded-result',
+            identicalInProgress: 'resume-journal',
+            conflicting: 'reject-state-conflict',
+        },
+        journal: {
+            mode: 'required', schema: v1('journal-schema.corrective-replan-task'),
+            adapter: v1('journal-adapter.corrective-replan-task'), digestPolicy: v1('hash-policy.canonical-json-sha256'),
+            orderedPhases: [
+                { phaseId: 'journal-phase.corrective-replan.intent', ordinal: 0, allowedNextPhaseIds: ['journal-phase.corrective-replan.applying'], terminal: false, durable: true, effectNodeIds: [], digestFields: [] },
+                { phaseId: 'journal-phase.corrective-replan.applying', ordinal: 1, allowedNextPhaseIds: ['journal-phase.corrective-replan.published-pending-readback'], terminal: false, durable: true,
+                    effectNodeIds: ['effect.task-state-write', 'effect.plan-artifact-publish', 'effect.plan-validation-append', 'effect.plan-risk-audit-append', 'effect.corrective-replan-execution-append'],
+                    digestFields: correctiveReplanBindingManifest.rows.map(({ projection, fieldId }) => ({ projection, fieldId })) },
+                { phaseId: 'journal-phase.corrective-replan.published-pending-readback', ordinal: 2, allowedNextPhaseIds: ['journal-phase.corrective-replan.completed'], terminal: false, durable: true, effectNodeIds: [], digestFields: [] },
+                { phaseId: 'journal-phase.corrective-replan.completed', ordinal: 3, allowedNextPhaseIds: [], terminal: true, durable: true, effectNodeIds: [], digestFields: [] },
+            ],
+        },
+        recovery: {
+            mode: 'automatic-roll-forward', trigger: 'explicit-repair', adapter: v1('recovery-adapter.corrective-replan-roll-forward'),
+            fromPhaseIds: ['journal-phase.corrective-replan.intent', 'journal-phase.corrective-replan.applying', 'journal-phase.corrective-replan.published-pending-readback'],
+            orderedSteps: [
+                { stepId: 'recovery-step.corrective-replan.intent-to-applying', ordinal: 0, fromPhaseId: 'journal-phase.corrective-replan.intent', toPhaseId: 'journal-phase.corrective-replan.applying' },
+                { stepId: 'recovery-step.corrective-replan.applying-to-readback', ordinal: 1, fromPhaseId: 'journal-phase.corrective-replan.applying', toPhaseId: 'journal-phase.corrective-replan.published-pending-readback' },
+                { stepId: 'recovery-step.corrective-replan.readback-to-completed', ordinal: 2, fromPhaseId: 'journal-phase.corrective-replan.published-pending-readback', toPhaseId: 'journal-phase.corrective-replan.completed' },
+            ],
+        },
+        readback: {
+            adapter: v1('readback-adapter.corrective-replan-terminal'),
+            wiring: 'invoked-post-effect',
+            checkpoints: {
+                preCompletion: 'domain-readback',
+                postTerminal: 'terminal-readback',
+            },
+            projection: v1('projection.corrective-replan.terminal-readback'),
+            postconditionIds: [
+                'postcondition.plan-hash-equals-candidate',
+                'postcondition.task-revision-advanced',
+                'postcondition.task-status-awaits-authorization',
+                'postcondition.plan-validation-appended',
+                'postcondition.plan-risk-audit-appended',
+                'postcondition.execution-evidence-appended',
+            ],
+            resultDigestPolicy: v1('hash-policy.canonical-json-sha256'),
+        },
+    },
+    racePreconditions: [
+        { raceId: 'race.corrective-replan.state', reasonClass: 'external-race', guardId: bindingGuardMetadata.guardId,
+            revalidationId: 'revalidation.corrective-replan.state', reads: [slice('projection.corrective-replan.state', manifestProjectionFields('projection.corrective-replan.state'))],
+            allowedFailureCodes: ['STATE_CONFLICT', 'GIT_PRECONDITION_FAILED'] },
+        { raceId: 'race.corrective-replan.authority', reasonClass: 'external-race', guardId: receiptValidGuardMetadata.guardId,
+            revalidationId: 'revalidation.corrective-replan.authority', reads: [slice('projection.corrective-replan.authority', manifestProjectionFields('projection.corrective-replan.authority'))],
+            allowedFailureCodes: ['STATE_CONFLICT', 'CREDENTIAL_EXPIRED'] },
+        { raceId: 'race.corrective-replan.protocol', reasonClass: 'integrity-failure', guardId: noWriterLeaseGuardMetadata.guardId,
+            revalidationId: 'revalidation.corrective-replan.protocol', reads: [slice('projection.corrective-replan.protocol', manifestProjectionFields('projection.corrective-replan.protocol'))],
+            allowedFailureCodes: ['STATE_CONFLICT', 'STATE_CORRUPT'] },
+    ],
+    navigation: { kind: 'human-gate', mode: 'exact', priority: 800 },
+    executorAdapter: v1('effect-adapter.journaled-corrective-replan'),
+    readinessManifest: {
+        developmentStage: 'candidate',
+        releaseProfile: v1('release-profile.exact-mutation'),
+        coverageProfile: v1('coverage-profile.exact-transition'),
+        limitations: [v1('limitation.release-profile.verified-evidence-external')],
+        evidence: [],
+    },
+    traceability: {
+        defectIds: ['WF-STABLE-024', 'WF-REG-005'],
+        invariantIds: ['advertised-exact-transition-is-executable', 'journaled-corrective-replan-replay-safe', 'protocol-v2-human-gate'],
+        positiveEvidence: ['tests/transition-catalog.test.ts', 'tests/corrective-yield-executor-model.test.ts'],
+        hostileEvidence: ['tests/lifecycle-model.test.ts', 'tests/corrective-replan-executor-model.test.ts'],
+    },
+    documentation: {
+        summary: 'Protocol-v2 Human-gated, receipt-bound, journaled corrective Plan replacement.',
+    },
+};
+const frozenMetadata = deepFreeze(metadata);
+const frozenGuards = deepFreeze(guards);
+const runtimeFingerprint = runtimeSemanticFingerprint(frozenMetadata);
+export const taskCorrectiveReplanDefinition = deepFreeze({
+    metadata: frozenMetadata,
+    runtimeSemanticFingerprint: runtimeFingerprint,
+    semanticFingerprint: runtimeFingerprint,
+    definitionManifestHash: definitionManifestHash(frozenMetadata, runtimeFingerprint),
+    guards: frozenGuards,
+});
+export function prepareCorrectiveReplanCandidate(task, plan) {
+    const rendered = renderPlan(task, plan);
+    const planBytes = rendered.endsWith('\n') ? rendered : `${rendered}\n`;
+    return {
+        planBytes,
+        planHash: hashCorrectivePlanBytes(planBytes),
+        stepIds: plan.steps.map((step) => step.id),
+    };
+}
+export function hashCorrectivePlanBytes(planBytes) {
+    return createHash('sha256').update(planBytes).digest('hex');
+}
+export function evaluateTaskCorrectiveReplanAvailability(task, posture) {
+    const bindings = availabilityBindings(task, posture);
+    return evaluateTransition(taskCorrectiveReplanDefinition, correctiveReplanSnapshot(task, posture, null), bindings, 'availability');
+}
+export function evaluateTaskCorrectiveReplanCandidate(task, posture, candidate) {
+    const bindings = {
+        ...availabilityBindings(task, posture),
+        candidatePlanHash: candidate.planHash,
+        candidateStepIds: [...candidate.stepIds],
+    };
+    return evaluateGuardSubset(task, posture, candidate, bindings, 7);
+}
+export function evaluateTaskCorrectiveReplanAdmission(task, posture, candidate, facts) {
+    const bindings = {
+        ...availabilityBindings(task, posture), candidatePlanHash: candidate.planHash, candidateStepIds: [...candidate.stepIds],
+    };
+    return evaluateTransition(taskCorrectiveReplanDefinition, correctiveReplanSnapshot(task, posture, candidate, facts), bindings, 'execution');
+}
+export const evaluateTaskCorrectiveReplan = evaluateTaskCorrectiveReplanAvailability;
+export function correctiveReplanNavigation(evaluation) {
+    if (!evaluation.allowed || evaluation.phase !== 'availability') {
+        throw new TypeError(`Cannot advertise blocked transition ${evaluation.transitionId}.`);
+    }
+    return {
+        kind: 'human-gate',
+        transitionId: evaluation.transitionId,
+        semanticFingerprint: evaluation.semanticFingerprint,
+        command: 'task corrective-replan-prepare',
+        bindings: evaluation.bindings,
+        evaluationPhase: 'availability',
+        pendingInputGuardIds: evaluation.pendingGuardIds,
+    };
+}
+export function correctiveReplanBlockedNavigation(evaluation) {
+    if (evaluation.allowed || evaluation.phase !== 'availability') {
+        throw new TypeError(`Transition ${evaluation.transitionId} is not blocked during availability evaluation.`);
+    }
+    return {
+        kind: 'blocked',
+        transitionId: evaluation.transitionId,
+        semanticFingerprint: evaluation.semanticFingerprint,
+        command: 'task corrective-replan-prepare',
+        blockingGuardIds: evaluation.blockingGuardIds,
+        pendingInputGuardIds: evaluation.pendingGuardIds,
+        reasonCode: evaluation.blockingGuardIds.includes(noStepInProgressGuardMetadata.guardId)
+            ? 'RUNNING_STEP_BLOCKS_REPLAN'
+            : 'CORRECTIVE_REPLAN_UNAVAILABLE',
+    };
+}
+function correctiveReplanSnapshot(task, posture, candidate, facts = {
+    actorRoleEligible: false, c1ClaimAbsent: false, writerLeaseAbsent: false,
+    planValidationPassed: false, receiptValid: false, riskAuditPassed: false,
+}) {
+    return {
+        taskId: task.id,
+        taskRevision: task.revision,
+        taskStatus: task.status,
+        currentPlanHash: task.planHash,
+        stepId: posture.stepId,
+        stepStatus: task.steps.find((step) => step.id === posture.stepId)?.status ?? null,
+        inProgressStepIds: task.steps.filter((step) => step.status === 'in_progress').map((step) => step.id),
+        remediationAttemptCount: posture.attemptCount,
+        correctivePosture: posture.posture,
+        correctiveDecision: posture.correctiveDecision,
+        candidatePlanHash: candidate?.planHash ?? null,
+        candidateStepIds: candidate ? [...candidate.stepIds] : null,
+        ...facts,
+    };
+}
+function evaluateGuardSubset(task, posture, candidate, bindings, count) {
+    const snapshot = correctiveReplanSnapshot(task, posture, candidate);
+    const guardResults = taskCorrectiveReplanDefinition.guards.slice(0, count).map((guard) => guard.evaluate(snapshot, bindings));
+    const blockingGuardIds = guardResults.filter((result) => result.status === 'failed').map((result) => result.guardId);
+    return {
+        transitionId: TASK_CORRECTIVE_REPLAN_TRANSITION_ID,
+        semanticFingerprint: taskCorrectiveReplanDefinition.semanticFingerprint,
+        phase: 'execution', allowed: blockingGuardIds.length === 0, bindings,
+        guardResults, blockingGuardIds, pendingGuardIds: [],
+    };
+}
+function availabilityBindings(task, posture) {
+    return {
+        taskId: task.id,
+        expectedRevision: task.revision,
+        currentPlanHash: task.planHash ?? '',
+        stepId: posture.stepId,
+        correctiveDecisionEventId: posture.correctiveDecision?.eventId ?? '',
+    };
+}
+function executionBindings(bindings) {
+    return 'candidatePlanHash' in bindings && 'candidateStepIds' in bindings
+        ? bindings
+        : null;
+}
+function sameStrings(left, right) {
+    return left.length === right.length && left.every((value, index) => value === right[index]);
+}
+function guardMetadata(guardId, description, phase = 'availability', stage = 'observation', snapshotFieldIds = [], requiredInputIds = [], reasonClass = 'lifecycle-blocker') {
+    const suffix = guardId.slice('task.corrective-replan.'.length);
+    return {
+        guardId,
+        semanticVersion: 1,
+        phase,
+        stage,
+        reasonClass,
+        evaluator: v1(`guard-evaluator.task.corrective-replan.${suffix}`),
+        reads: [slice('projection.corrective-replan.snapshot', snapshotFieldIds)],
+        requiredInputs: requiredInputIds.map((id) => v1(id)),
+        description,
+    };
+}
+function v1(id) {
+    return { id, version: 1 };
+}
+function slice(projection, fieldIds) {
+    return { projection: v1(projection), fieldIds };
+}
+function field(projection, fieldId) {
+    return { projection: v1(projection), fieldId };
+}
+function manifestProjectionFields(projectionId) {
+    return correctiveReplanBindingManifest.rows
+        .filter((entry) => entry.projection.id === projectionId)
+        .map((entry) => entry.fieldId);
+}
+function verdict(metadata, passed, reasonCode, message) {
+    return {
+        guardId: metadata.guardId,
+        status: passed ? 'passed' : 'failed',
+        passed,
+        reasonCode: passed ? 'PASS' : reasonCode,
+        message: passed ? 'Guard passed.' : message,
+    };
+}
+function booleanGuard(metadata, fieldName, reasonCode) {
+    return {
+        metadata,
+        evaluate(snapshot) {
+            return verdict(metadata, snapshot[fieldName] === true, reasonCode, `${metadata.description}`);
+        },
+    };
+}
+//# sourceMappingURL=corrective-replan.js.map

package/dist/src/lifecycle/corrective-replan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"corrective-replan.js","sourceRoot":"","sources":["../../../src/lifecycle/corrective-replan.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAS7C,OAAO,EAAE,sBAAsB,EAAE,0BAA0B,EAAE,MAAM,kBAAkB,CAAC;AACtF,OAAO,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAC5C,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AAcpD,OAAO,EAAE,+BAA+B,EAAE,MAAM,yCAAyC,CAAC;AAC1F,OAAO,EACL,eAAe,EACf,oCAAoC,GACrC,MAAM,YAAY,CAAC;AAEpB,MAAM,CAAC,MAAM,oCAAoC,GAAG,6BAAsC,CAAC;AAS3F,MAAM,UAAU,+BAA+B,CAC7C,IAAyB,EACzB,cAAiC,EACjC,SAA6C,EAC7C,YAAyC;IAEzC,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAC5C,QAAQ,CAAC,MAAM,KAAK,IAAI,CAAC,EAAE;WACxB,QAAQ,CAAC,QAAQ,KAAK,iBAAiB;WACvC,QAAQ,CAAC,QAAQ,KAAK,IAAI,CAAC,QAAQ;WACnC,cAAc,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;IAC/C,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACtC,MAAM,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC;IAC7B,OAAO;QACL,OAAO,EAAE,iBAAiB;QAC1B,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,YAAY,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,CAAC,CAAC,MAAM;QACrF,kBAAkB,EAAE,QAAQ;KAC7B,CAAC;AACJ,CAAC;AAuDD,MAAM,oBAAoB,GAAG,aAAa,CACxC,yCAAyC,EACzC,4FAA4F,EAC5F,cAAc,EACd,aAAa,EACb,CAAC,oCAAoC,EAAE,yBAAyB,EAAE,eAAe,EAAE,eAAe,EAAE,qBAAqB,CAAC,EAC1H,CAAC,yBAAyB,EAAE,eAAe,CAAC,EAC5C,eAAe,CAChB,CAAC;AACF,MAAM,mBAAmB,GAAG,aAAa,CACvC,uCAAuC,EACvC,yFAAyF,EACzF,cAAc,EACd,aAAa,EACb,CAAC,mBAAmB,EAAE,mBAAmB,CAAC,EAC1C,EAAE,EACF,mBAAmB,CACpB,CAAC;AACF,MAAM,6BAA6B,GAAG,aAAa,CACjD,4CAA4C,EAC5C,iFAAiF,EACjF,cAAc,EACd,aAAa,EACb,CAAC,4BAA4B,CAAC,EAC9B,EAAE,EACF,mBAAmB,CACpB,CAAC;AACF,MAAM,qBAAqB,GAAG,aAAa,CACzC,wCAAwC,EACxC,oFAAoF,EACpF,cAAc,EACd,aAAa,EACb,CAAC,oCAAoC,EAAE,qCAAqC,EAAE,mCAAmC,EAAE,0BAA0B,CAAC,EAC9I,EAAE,EACF,mBAAmB,CACpB,CAAC;AACF,MAAM,oBAAoB,GAAG,aAAa,CACxC,0CAA0C,EAC1C,gGAAgG,EAChG,cAAc,EACd,aAAa,EACb,CAAC,oDAAoD,EAAE,iCAAiC,CAAC,EACzF,EAAE,EACF,mBAAmB,CACpB,CAAC;AACF,MAAM,+BAA+B,GAAG,aAAa,CACnD,6CAA6C,EAC7C,2EAA2E,EAC3E,WAAW,EACX,WAAW,EACX,CAAC,2BAA2B,EAAE,yBAAyB,CAAC,EACxD,CAAC,mCAAmC,CAAC,EACrC,mBAAmB,CACpB,CAAC;AACF,MAAM,gCAAgC,GAAG,aAAa,CACpD,8CAA8C,EAC9C,6DAA6D,EAC7D,WAAW,EACX,WAAW,EACX,CAAC,0BAA0B,EAAE,eAAe,CAAC,EAC7C,CAAC,mCAAmC,CAAC,EACrC,mBAAmB,CACpB,CAAC;AACF,MAAM,8BAA8B,GAAG,aAAa,CAClD,4CAA4C,EAAE,oEAAoE,EAClH,WAAW,EAAE,WAAW,EAAE,CAAC,2BAA2B,CAAC,EAAE,CAAC,oCAAoC,CAAC,EAAE,mBAAmB,CACrH,CAAC;AACF,MAAM,sBAAsB,GAAG,aAAa,CAC1C,oCAAoC,EAAE,qEAAqE,EAC3G,WAAW,EAAE,WAAW,EAAE,CAAC,uBAAuB,CAAC,EAAE,CAAC,oCAAoC,CAAC,EAAE,eAAe,CAC7G,CAAC;AACF,MAAM,0BAA0B,GAAG,aAAa,CAC9C,wCAAwC,EAAE,yEAAyE,EACnH,WAAW,EAAE,WAAW,EAAE,CAAC,2BAA2B,CAAC,EAAE,CAAC,oCAAoC,CAAC,EAAE,eAAe,CACjH,CAAC;AACF,MAAM,iCAAiC,GAAG,aAAa,CACrD,+CAA+C,EAAE,4EAA4E,EAC7H,WAAW,EAAE,WAAW,EAAE,CAAC,8BAA8B,CAAC,EAAE,CAAC,kCAAkC,CAAC,EAAE,mBAAmB,CACtH,CAAC;AACF,MAAM,yBAAyB,GAAG,aAAa,CAC7C,sCAAsC,EAAE,sEAAsE,EAC9G,WAAW,EAAE,WAAW,EAAE,CAAC,qBAAqB,CAAC,EAAE,CAAC,oCAAoC,CAAC,EAAE,mBAAmB,CAC/G,CAAC;AACF,MAAM,4BAA4B,GAAG,aAAa,CAChD,0CAA0C,EAAE,kEAAkE,EAC9G,WAAW,EAAE,WAAW,EAAE,CAAC,yBAAyB,CAAC,EAAE,CAAC,kCAAkC,CAAC,EAAE,mBAAmB,CACjH,CAAC;AAEF,MAAM,MAAM,GAAmF;IAC7F;QACE,QAAQ,EAAE,oBAAoB;QAC9B,QAAQ,CAAC,QAAQ,EAAE,QAAQ;YACzB,MAAM,QAAQ,GAAG,QAAQ,CAAC,kBAAkB,CAAC;YAC7C,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM;mBAC7C,QAAQ,CAAC,YAAY,KAAK,QAAQ,CAAC,gBAAgB;mBACnD,QAAQ,CAAC,eAAe,KAAK,QAAQ,CAAC,eAAe;mBACrD,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM;mBACnC,QAAQ,EAAE,OAAO,KAAK,QAAQ,CAAC,yBAAyB,CAAC;YAC9D,OAAO,OAAO,CAAC,oBAAoB,EAAE,MAAM,EAAE,gBAAgB,EAAE,2DAA2D,CAAC,CAAC;QAC9H,CAAC;KACF;IACD;QACE,QAAQ,EAAE,mBAAmB;QAC7B,QAAQ,CAAC,QAAQ;YACf,MAAM,WAAW,GAAG,CAAC,OAAO,EAAE,WAAW,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;YACpF,MAAM,MAAM,GAAG,WAAW,IAAI,QAAQ,CAAC,UAAU,KAAK,QAAQ,CAAC;YAC/D,OAAO,OAAO,CACZ,mBAAmB,EACnB,MAAM,EACN,wBAAwB,EACxB,2EAA2E,QAAQ,CAAC,UAAU,gBAAgB,QAAQ,CAAC,UAAU,IAAI,SAAS,GAAG,CAClJ,CAAC;QACJ,CAAC;KACF;IACD;QACE,QAAQ,EAAE,6BAA6B;QACvC,QAAQ,CAAC,QAAQ;YACf,OAAO,OAAO,CACZ,6BAA6B,EAC7B,QAAQ,CAAC,iBAAiB,CAAC,MAAM,KAAK,CAAC,EACvC,kBAAkB,EAClB,6DAA6D,QAAQ,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACtG,CAAC;QACJ,CAAC;KACF;IACD;QACE,QAAQ,EAAE,qBAAqB;QAC/B,QAAQ,CAAC,QAAQ;YACf,MAAM,QAAQ,GAAG,QAAQ,CAAC,kBAAkB,CAAC;YAC7C,MAAM,MAAM,GAAG,QAAQ,CAAC,iBAAiB,KAAK,iBAAiB;mBAC1D,QAAQ,EAAE,QAAQ,KAAK,iBAAiB;mBACxC,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM;mBACnC,QAAQ,CAAC,QAAQ,KAAK,QAAQ,CAAC,eAAe,CAAC;YACpD,OAAO,OAAO,CACZ,qBAAqB,EACrB,MAAM,EACN,gCAAgC,EAChC,uFAAuF,CACxF,CAAC;QACJ,CAAC;KACF;IACD;QACE,QAAQ,EAAE,oBAAoB;QAC9B,QAAQ,CAAC,QAAQ;YACf,MAAM,QAAQ,GAAG,QAAQ,CAAC,kBAAkB,CAAC;YAC7C,MAAM,MAAM,GAAG,QAAQ,CAAC,uBAAuB,IAAI,CAAC;mBAC/C,QAAQ,EAAE,sBAAsB,KAAK,QAAQ,CAAC,uBAAuB,GAAG,CAAC,CAAC;YAC/E,OAAO,OAAO,CACZ,oBAAoB,EACpB,MAAM,EACN,yBAAyB,EACzB,kGAAkG,CACnG,CAAC;QACJ,CAAC;KACF;IACD;QACE,QAAQ,EAAE,+BAA+B;QACzC,QAAQ,CAAC,QAAQ,EAAE,QAAQ;YACzB,MAAM,iBAAiB,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;YACtD,MAAM,MAAM,GAAG,iBAAiB,KAAK,IAAI;mBACpC,QAAQ,CAAC,iBAAiB,KAAK,IAAI;mBACnC,iBAAiB,CAAC,iBAAiB,KAAK,QAAQ,CAAC,iBAAiB;mBAClE,QAAQ,CAAC,eAAe,KAAK,QAAQ,CAAC,iBAAiB,CAAC;YAC7D,OAAO,OAAO,CACZ,+BAA+B,EAC/B,MAAM,EACN,yBAAyB,EACzB,oGAAoG,CACrG,CAAC;QACJ,CAAC;KACF;IACD;QACE,QAAQ,EAAE,gCAAgC;QAC1C,QAAQ,CAAC,QAAQ,EAAE,QAAQ;YACzB,MAAM,iBAAiB,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;YACtD,MAAM,MAAM,GAAG,iBAAiB,KAAK,IAAI;mBACpC,QAAQ,CAAC,gBAAgB,KAAK,IAAI;mBAClC,WAAW,CAAC,iBAAiB,CAAC,gBAAgB,EAAE,QAAQ,CAAC,gBAAgB,CAAC;mBAC1E,QAAQ,CAAC,gBAAgB,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YACzD,OAAO,OAAO,CACZ,gCAAgC,EAChC,MAAM,EACN,sBAAsB,EACtB,2CAA2C,QAAQ,CAAC,MAAM,GAAG,CAC9D,CAAC;QACJ,CAAC;KACF;IACD,YAAY,CAAC,8BAA8B,EAAE,mBAAmB,EAAE,mBAAmB,CAAC;IACtF,YAAY,CAAC,sBAAsB,EAAE,eAAe,EAAE,iBAAiB,CAAC;IACxE,YAAY,CAAC,0BAA0B,EAAE,mBAAmB,EAAE,qBAAqB,CAAC;IACpF,YAAY,CAAC,iCAAiC,EAAE,sBAAsB,EAAE,0BAA0B,CAAC;IACnG,YAAY,CAAC,yBAAyB,EAAE,cAAc,EAAE,iBAAiB,CAAC;IAC1E,YAAY,CAAC,4BAA4B,EAAE,iBAAiB,EAAE,qBAAqB,CAAC;CACrF,CAAC;AAEF,MAAM,QAAQ,GAAiC;IAC7C,uBAAuB,EAAE,oCAAoC;IAC7D,YAAY,EAAE,oCAAoC;IAClD,cAAc,EAAE,wBAAwB;IACxC,cAAc,EAAE,eAAe;IAC/B,MAAM,EAAE,MAAM;IACd,KAAK,EAAE,WAAW;IAClB,OAAO,EAAE,EAAE,OAAO,EAAE,gCAAgC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,2BAA2B,EAAE;IACzG,aAAa,EAAE;QACb,YAAY,EAAE,CAAC,OAAO,EAAE,WAAW,EAAE,SAAS,CAAC;QAC/C,iBAAiB,EAAE,EAAE;QACrB,YAAY,EAAE,CAAC,QAAQ,CAAC;QACxB,kBAAkB,EAAE,CAAC,iBAAiB,CAAC;KACxC;IACD,aAAa,EAAE;QACb,EAAE,KAAK,EAAE,EAAE,CAAC,eAAe,CAAC,EAAE,KAAK,EAAE,cAAc,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE;QAC5F,EAAE,KAAK,EAAE,EAAE,CAAC,yBAAyB,CAAC,EAAE,KAAK,EAAE,cAAc,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE;QACtG,EAAE,KAAK,EAAE,EAAE,CAAC,mCAAmC,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE;QAC7G,EAAE,KAAK,EAAE,EAAE,CAAC,kCAAkC,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE;QAC5G,EAAE,KAAK,EAAE,EAAE,CAAC,kCAAkC,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE;QAC5G,EAAE,KAAK,EAAE,EAAE,CAAC,oCAAoC,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE;KAC/G;IACD,gBAAgB,EAAE,EAAE,CAAC,uCAAuC,CAAC;IAC7D,eAAe,EAAE,EAAE,CAAC,uCAAuC,CAAC;IAC5D,cAAc,EAAE;QACd,EAAE,QAAQ,EAAE,mBAAmB,EAAE,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE;QAC/F,EAAE,QAAQ,EAAE,qCAAqC,EAAE,OAAO,EAAE,oBAAoB,EAAE,WAAW,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE;QAC3H,EAAE,QAAQ,EAAE,mBAAmB,EAAE,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE;KAC5F;IACD,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC;IAC7C,SAAS,EAAE;QACT,aAAa,EAAE,CAAC,sBAAsB,EAAE,mBAAmB,CAAC;QAC5D,KAAK,EAAE;YACL,QAAQ,EAAE,EAAE,CAAC,gBAAgB,CAAC;YAC9B,cAAc,EAAE,EAAE,CAAC,oCAAoC,CAAC;YACxD,QAAQ,EAAE,IAAI;SACf;QACD,SAAS,EAAE;YACT,QAAQ,EAAE,EAAE,CAAC,0BAA0B,CAAC;YACxC,cAAc,EAAE,EAAE,CAAC,oCAAoC,CAAC;YACxD,MAAM,EAAE,EAAE,CAAC,0BAA0B,CAAC;YACtC,YAAY,EAAE,CAAC,OAAO,CAAC;SACxB;QACD,YAAY,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,CAAC,mCAAmC,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;QAC7G,WAAW,EAAE,CAAC,EAAE,CAAC,gDAAgD,CAAC,CAAC;QACnE,UAAU,EAAE,EAAE,CAAC,sBAAsB,CAAC;QACtC,SAAS,EAAE,EAAE,CAAC,mCAAmC,CAAC;QAClD,mBAAmB,EAAE,CAAC,OAAO,EAAE,aAAa,EAAE,eAAe,CAAC;QAC9D,gBAAgB,EAAE;YAChB;gBACE,YAAY,EAAE,yCAAyC,EAAE,IAAI,EAAE,EAAE,CAAC,sBAAsB,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,yBAAyB,CAAC;gBAC/H,QAAQ,EAAE,UAAU,EAAE,eAAe,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,CAAC,wDAAwD,CAAC;gBACxH,WAAW,EAAE,EAAE,IAAI,EAAE,qBAAqB,EAAE,QAAQ,EAAE,EAAE,CAAC,+CAA+C,CAAC,EAAE;aAC5G;YACD;gBACE,YAAY,EAAE,uCAAuC,EAAE,IAAI,EAAE,EAAE,CAAC,sBAAsB,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,uBAAuB,CAAC;gBAC3H,QAAQ,EAAE,UAAU,EAAE,eAAe,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,CAAC,2DAA2D,CAAC;gBAC3H,WAAW,EAAE,EAAE,IAAI,EAAE,qBAAqB,EAAE,QAAQ,EAAE,EAAE,CAAC,+CAA+C,CAAC,EAAE;aAC5G;SACF;QACD,qBAAqB,EAAE,CAAC;gBACtB,YAAY,EAAE,sDAAsD;gBACpE,QAAQ,EAAE,CAAC,EAAE,CAAC,sBAAsB,CAAC,EAAE,EAAE,CAAC,0BAA0B,CAAC,CAAC,EAAE,IAAI,EAAE,kBAAkB;gBAChG,eAAe,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,CAAC,8DAA8D,CAAC;gBACxG,WAAW,EAAE,EAAE,IAAI,EAAE,qBAAqB,EAAE,QAAQ,EAAE,EAAE,CAAC,+CAA+C,CAAC,EAAE;aAC5G,CAAC;KACH;IACD,OAAO,EAAE;QACP,OAAO,EAAE,+CAA+C;QACxD,YAAY,EAAE,CAAC;QACf,UAAU,EAAE,EAAE,IAAI,EAAE,CAAC,OAAO,EAAE,WAAW,EAAE,SAAS,CAAC,EAAE,EAAE,EAAE,kCAAkC,EAAE;QAC/F,eAAe,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,WAAW,EAAE;QAC9C,UAAU,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,iBAAiB,EAAE;QACvD,YAAY,EAAE;YACZ,sBAAsB,EAAE,oBAAoB;YAC5C,eAAe,EAAE,UAAU;YAC3B,gBAAgB,EAAE,UAAU;YAC5B,OAAO,EAAE,YAAY;YACrB,WAAW,EAAE,YAAY;SAC1B;QACD,YAAY,EAAE;YACZ;gBACE,QAAQ,EAAE,yBAAyB;gBACnC,OAAO,EAAE,CAAC;gBACV,OAAO,EAAE,EAAE,CAAC,4CAA4C,CAAC;gBACzD,QAAQ,EAAE,EAAE,CAAC,qBAAqB,CAAC;gBACnC,SAAS,EAAE,OAAO;gBAClB,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,sCAAsC,EAAE,CAAC;gBACvF,SAAS,EAAE,EAAE;aACd;YACD;gBACE,QAAQ,EAAE,8BAA8B;gBACxC,OAAO,EAAE,CAAC;gBACV,OAAO,EAAE,EAAE,CAAC,4CAA4C,CAAC;gBACzD,QAAQ,EAAE,EAAE,CAAC,wBAAwB,CAAC;gBACtC,SAAS,EAAE,SAAS;gBACpB,UAAU,EAAE,EAAE;gBACd,SAAS,EAAE,CAAC,yBAAyB,CAAC;aACvC;YACD;gBACE,QAAQ,EAAE,+BAA+B;gBACzC,OAAO,EAAE,CAAC;gBACV,OAAO,EAAE,EAAE,CAAC,4CAA4C,CAAC;gBACzD,QAAQ,EAAE,EAAE,CAAC,kCAAkC,CAAC;gBAChD,SAAS,EAAE,QAAQ;gBACnB,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,EAAE,CAAC,kCAAkC,CAAC,EAAE,CAAC;gBACtF,SAAS,EAAE,CAAC,8BAA8B,CAAC;aAC5C;YACD;gBACE,QAAQ,EAAE,+BAA+B;gBACzC,OAAO,EAAE,CAAC;gBACV,OAAO,EAAE,EAAE,CAAC,4CAA4C,CAAC;gBACzD,QAAQ,EAAE,EAAE,CAAC,kCAAkC,CAAC;gBAChD,SAAS,EAAE,QAAQ;gBACnB,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,EAAE,CAAC,kCAAkC,CAAC,EAAE,CAAC;gBACtF,SAAS,EAAE,CAAC,+BAA+B,CAAC;aAC7C;YACD;gBACE,QAAQ,EAAE,2CAA2C;gBACrD,OAAO,EAAE,CAAC;gBACV,OAAO,EAAE,EAAE,CAAC,4CAA4C,CAAC;gBACzD,QAAQ,EAAE,EAAE,CAAC,8CAA8C,CAAC;gBAC5D,SAAS,EAAE,QAAQ;gBACnB,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,EAAE,CAAC,oCAAoC,CAAC,EAAE,CAAC;gBACxF,SAAS,EAAE,CAAC,+BAA+B,CAAC;aAC7C;SACF;QACD,cAAc,EAAE;YACd;gBACE,eAAe,EAAE,0CAA0C;gBAC3D,SAAS,EAAE,aAAa;gBACxB,KAAK,EAAE;oBACL,KAAK,CAAC,wCAAwC,EAAE,CAAC,2BAA2B,CAAC,CAAC;oBAC9E,KAAK,CAAC,gCAAgC,EAAE,CAAC,sBAAsB,CAAC,CAAC;iBAClE;gBACD,aAAa,EAAE,CAAC,yBAAyB,EAAE,8BAA8B,CAAC;aAC3E;YACD;gBACE,eAAe,EAAE,sCAAsC;gBACvD,SAAS,EAAE,mBAAmB;gBAC9B,KAAK,EAAE;oBACL,KAAK,CAAC,oCAAoC,EAAE,CAAC,qBAAqB,CAAC,CAAC;oBACpE,KAAK,CAAC,gCAAgC,EAAE,CAAC,qBAAqB,CAAC,CAAC;iBACjE;gBACD,aAAa,EAAE,CAAC,yBAAyB,CAAC;aAC3C;YACD;gBACE,eAAe,EAAE,gDAAgD;gBACjE,SAAS,EAAE,eAAe;gBAC1B,KAAK,EAAE,CAAC,KAAK,CAAC,gCAAgC,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC;gBACvE,aAAa,EAAE,CAAC,yBAAyB,CAAC;aAC3C;YACD;gBACE,eAAe,EAAE,wCAAwC,EAAE,SAAS,EAAE,gBAAgB;gBACtF,KAAK,EAAE,CAAC,KAAK,CAAC,gDAAgD,EAAE,CAAC,4BAA4B,CAAC,CAAC,CAAC;gBAChG,aAAa,EAAE,CAAC,+BAA+B,CAAC;aACjD;YACD;gBACE,eAAe,EAAE,wCAAwC,EAAE,SAAS,EAAE,gBAAgB;gBACtF,KAAK,EAAE,CAAC,KAAK,CAAC,gDAAgD,EAAE,CAAC,uBAAuB,CAAC,CAAC,CAAC;gBAC3F,aAAa,EAAE,CAAC,+BAA+B,CAAC;aACjD;YACD;gBACE,eAAe,EAAE,2CAA2C,EAAE,SAAS,EAAE,gBAAgB;gBACzF,KAAK,EAAE,CAAC,KAAK,CAAC,gDAAgD,EAAE,CAAC,2BAA2B,EAAE,oBAAoB,CAAC,CAAC,CAAC;gBACrH,aAAa,EAAE,CAAC,2CAA2C,CAAC;aAC7D;SACF;KACF;IACD,iBAAiB,EAAE;QACjB,IAAI,EAAE;YACJ,MAAM,EAAE,EAAE,CAAC,8CAA8C,CAAC;YAC1D,KAAK,EAAE,KAAK,CAAC,oCAAoC,EAAE,CAAC,eAAe,CAAC,CAAC;SACtE;QACD,oBAAoB,EAAE;YACpB,EAAE,cAAc,EAAE,sCAAsC,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,8BAA8B;gBAC1G,OAAO,EAAE,oBAAoB,CAAC,OAAO,EAAE,SAAS,EAAE,oBAAoB,CAAC,SAAS;gBAChF,KAAK,EAAE,CAAC,KAAK,CAAC,oCAAoC,EAAE,wBAAwB,CAAC,oCAAoC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE;YACzI,EAAE,cAAc,EAAE,0CAA0C,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,kCAAkC;gBAClH,OAAO,EAAE,yBAAyB,CAAC,OAAO,EAAE,SAAS,EAAE,yBAAyB,CAAC,SAAS;gBAC1F,KAAK,EAAE,CAAC,KAAK,CAAC,wCAAwC,EAAE,wBAAwB,CAAC,wCAAwC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE;YACjJ,EAAE,cAAc,EAAE,yCAAyC,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,iCAAiC;gBAChH,OAAO,EAAE,0BAA0B,CAAC,OAAO,EAAE,SAAS,EAAE,0BAA0B,CAAC,SAAS;gBAC5F,KAAK,EAAE,CAAC,KAAK,CAAC,uCAAuC,EAAE,wBAAwB,CAAC,uCAAuC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE;SAChJ;QACD,4BAA4B,EAAE,IAAI;QAClC,OAAO,EAAE,wBAAwB;KAClC;IACD,SAAS,EAAE;QACT,cAAc,EAAE,uBAAuB;QACvC,2BAA2B,EAAE,2BAA2B;QACxD,YAAY,EAAE;YACZ,MAAM,EAAE,EAAE,CAAC,8CAA8C,CAAC;YAC1D,MAAM,EAAE,+BAA+B,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC,CAAC;YACxG,UAAU,EAAE,EAAE,CAAC,mCAAmC,CAAC;SACpD;QACD,MAAM,EAAE;YACN,kBAAkB,EAAE,wBAAwB;YAC5C,mBAAmB,EAAE,gBAAgB;YACrC,WAAW,EAAE,uBAAuB;SACrC;QACD,OAAO,EAAE;YACP,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,CAAC,uCAAuC,CAAC;YACrE,OAAO,EAAE,EAAE,CAAC,wCAAwC,CAAC,EAAE,YAAY,EAAE,EAAE,CAAC,mCAAmC,CAAC;YAC5G,aAAa,EAAE;gBACb,EAAE,OAAO,EAAE,wCAAwC,EAAE,OAAO,EAAE,CAAC,EAAE,mBAAmB,EAAE,CAAC,0CAA0C,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE;gBACzM,EAAE,OAAO,EAAE,0CAA0C,EAAE,OAAO,EAAE,CAAC,EAAE,mBAAmB,EAAE,CAAC,4DAA4D,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI;oBACpL,aAAa,EAAE,CAAC,yBAAyB,EAAE,8BAA8B,EAAE,+BAA+B,EAAE,+BAA+B,EAAE,2CAA2C,CAAC;oBACzL,YAAY,EAAE,+BAA+B,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE;gBAClH,EAAE,OAAO,EAAE,4DAA4D,EAAE,OAAO,EAAE,CAAC,EAAE,mBAAmB,EAAE,CAAC,2CAA2C,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE;gBAC9N,EAAE,OAAO,EAAE,2CAA2C,EAAE,OAAO,EAAE,CAAC,EAAE,mBAAmB,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE;aAClK;SACF;QACD,QAAQ,EAAE;YACR,IAAI,EAAE,wBAAwB,EAAE,OAAO,EAAE,iBAAiB,EAAE,OAAO,EAAE,EAAE,CAAC,iDAAiD,CAAC;YAC1H,YAAY,EAAE,CAAC,wCAAwC,EAAE,0CAA0C,EAAE,4DAA4D,CAAC;YAClK,YAAY,EAAE;gBACZ,EAAE,MAAM,EAAE,oDAAoD,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,wCAAwC,EAAE,SAAS,EAAE,0CAA0C,EAAE;gBAC1L,EAAE,MAAM,EAAE,sDAAsD,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,0CAA0C,EAAE,SAAS,EAAE,4DAA4D,EAAE;gBAChN,EAAE,MAAM,EAAE,uDAAuD,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,4DAA4D,EAAE,SAAS,EAAE,2CAA2C,EAAE;aACnN;SACF;QACD,QAAQ,EAAE;YACR,OAAO,EAAE,EAAE,CAAC,6CAA6C,CAAC;YAC1D,MAAM,EAAE,qBAAqB;YAC7B,WAAW,EAAE;gBACX,aAAa,EAAE,iBAAiB;gBAChC,YAAY,EAAE,mBAAmB;aAClC;YACD,UAAU,EAAE,EAAE,CAAC,gDAAgD,CAAC;YAChE,gBAAgB,EAAE;gBAChB,0CAA0C;gBAC1C,sCAAsC;gBACtC,gDAAgD;gBAChD,wCAAwC;gBACxC,wCAAwC;gBACxC,2CAA2C;aAC5C;YACD,kBAAkB,EAAE,EAAE,CAAC,mCAAmC,CAAC;SAC5D;KACF;IACD,iBAAiB,EAAE;QACjB,EAAE,MAAM,EAAE,8BAA8B,EAAE,WAAW,EAAE,eAAe,EAAE,OAAO,EAAE,oBAAoB,CAAC,OAAO;YAC3G,cAAc,EAAE,sCAAsC,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,oCAAoC,EAAE,wBAAwB,CAAC,oCAAoC,CAAC,CAAC,CAAC;YAC5K,mBAAmB,EAAE,CAAC,gBAAgB,EAAE,yBAAyB,CAAC,EAAE;QACtE,EAAE,MAAM,EAAE,kCAAkC,EAAE,WAAW,EAAE,eAAe,EAAE,OAAO,EAAE,yBAAyB,CAAC,OAAO;YACpH,cAAc,EAAE,0CAA0C,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,wCAAwC,EAAE,wBAAwB,CAAC,wCAAwC,CAAC,CAAC,CAAC;YACxL,mBAAmB,EAAE,CAAC,gBAAgB,EAAE,oBAAoB,CAAC,EAAE;QACjE,EAAE,MAAM,EAAE,iCAAiC,EAAE,WAAW,EAAE,mBAAmB,EAAE,OAAO,EAAE,0BAA0B,CAAC,OAAO;YACxH,cAAc,EAAE,yCAAyC,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,uCAAuC,EAAE,wBAAwB,CAAC,uCAAuC,CAAC,CAAC,CAAC;YACrL,mBAAmB,EAAE,CAAC,gBAAgB,EAAE,eAAe,CAAC,EAAE;KAC7D;IACD,UAAU,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE;IAChE,eAAe,EAAE,EAAE,CAAC,4CAA4C,CAAC;IACjE,iBAAiB,EAAE;QACjB,gBAAgB,EAAE,WAAW;QAC7B,cAAc,EAAE,EAAE,CAAC,gCAAgC,CAAC;QACpD,eAAe,EAAE,EAAE,CAAC,mCAAmC,CAAC;QACxD,WAAW,EAAE,CAAC,EAAE,CAAC,uDAAuD,CAAC,CAAC;QAC1E,QAAQ,EAAE,EAAE;KACb;IACD,YAAY,EAAE;QACZ,SAAS,EAAE,CAAC,eAAe,EAAE,YAAY,CAAC;QAC1C,YAAY,EAAE,CAAC,2CAA2C,EAAE,yCAAyC,EAAE,wBAAwB,CAAC;QAChI,gBAAgB,EAAE,CAAC,kCAAkC,EAAE,+CAA+C,CAAC;QACvG,eAAe,EAAE,CAAC,+BAA+B,EAAE,gDAAgD,CAAC;KACrG;IACD,aAAa,EAAE;QACb,OAAO,EAAE,gFAAgF;KAC1F;CACF,CAAC;AAEF,MAAM,cAAc,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;AAC5C,MAAM,YAAY,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;AACxC,MAAM,kBAAkB,GAAG,0BAA0B,CAAC,cAAc,CAAC,CAAC;AAEtE,MAAM,CAAC,MAAM,8BAA8B,GAGvC,UAAU,CAAC;IACb,QAAQ,EAAE,cAAc;IACxB,0BAA0B,EAAE,kBAAkB;IAC9C,mBAAmB,EAAE,kBAAkB;IACvC,sBAAsB,EAAE,sBAAsB,CAAC,cAAc,EAAE,kBAAkB,CAAC;IAClF,MAAM,EAAE,YAAY;CACrB,CAAC,CAAC;AAEH,MAAM,UAAU,gCAAgC,CAC9C,IAAyB,EACzB,IAA6B;IAE7B,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAiB,EAAE,IAAqB,CAAC,CAAC;IACtE,MAAM,SAAS,GAAG,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,QAAQ,IAAI,CAAC;IACvE,OAAO;QACL,SAAS;QACT,QAAQ,EAAE,uBAAuB,CAAC,SAAS,CAAC;QAC5C,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;KAC3C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,SAAiB;IACvD,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC9D,CAAC;AAED,MAAM,UAAU,wCAAwC,CACtD,IAAyB,EACzB,OAA0C;IAE1C,MAAM,QAAQ,GAAG,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACrD,OAAO,kBAAkB,CACvB,8BAA8B,EAC9B,wBAAwB,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,EAC7C,QAAQ,EACR,cAAc,CAC+C,CAAC;AAClE,CAAC;AAED,MAAM,UAAU,qCAAqC,CACnD,IAAyB,EACzB,OAA0C,EAC1C,SAAsD;IAEtD,MAAM,QAAQ,GAAsC;QAClD,GAAG,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC;QACtC,iBAAiB,EAAE,SAAS,CAAC,QAAQ;QACrC,gBAAgB,EAAE,CAAC,GAAG,SAAS,CAAC,OAAO,CAAC;KACzC,CAAC;IACF,OAAO,mBAAmB,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;AACpE,CAAC;AAED,MAAM,UAAU,qCAAqC,CACnD,IAAyB,EACzB,OAA0C,EAC1C,SAAsD,EACtD,KAA+C;IAE/C,MAAM,QAAQ,GAAsC;QAClD,GAAG,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,iBAAiB,EAAE,SAAS,CAAC,QAAQ,EAAE,gBAAgB,EAAE,CAAC,GAAG,SAAS,CAAC,OAAO,CAAC;KACxH,CAAC;IACF,OAAO,kBAAkB,CACvB,8BAA8B,EAAE,wBAAwB,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,KAAK,CAAC,EAAE,QAAQ,EAAE,WAAW,CACtD,CAAC;AAC/D,CAAC;AAED,MAAM,CAAC,MAAM,4BAA4B,GAAG,wCAAwC,CAAC;AAErF,MAAM,UAAU,0BAA0B,CACxC,UAAsE;IAEtE,IAAI,CAAC,UAAU,CAAC,OAAO,IAAI,UAAU,CAAC,KAAK,KAAK,cAAc,EAAE,CAAC;QAC/D,MAAM,IAAI,SAAS,CAAC,uCAAuC,UAAU,CAAC,YAAY,GAAG,CAAC,CAAC;IACzF,CAAC;IACD,OAAO;QACL,IAAI,EAAE,YAAY;QAClB,YAAY,EAAE,UAAU,CAAC,YAAY;QACrC,mBAAmB,EAAE,UAAU,CAAC,mBAAmB;QACnD,OAAO,EAAE,gCAAgC;QACzC,QAAQ,EAAE,UAAU,CAAC,QAAQ;QAC7B,eAAe,EAAE,cAAc;QAC/B,oBAAoB,EAAE,UAAU,CAAC,eAAe;KACjD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,iCAAiC,CAC/C,UAAsE;IAEtE,IAAI,UAAU,CAAC,OAAO,IAAI,UAAU,CAAC,KAAK,KAAK,cAAc,EAAE,CAAC;QAC9D,MAAM,IAAI,SAAS,CAAC,cAAc,UAAU,CAAC,YAAY,iDAAiD,CAAC,CAAC;IAC9G,CAAC;IACD,OAAO;QACL,IAAI,EAAE,SAAS;QACf,YAAY,EAAE,UAAU,CAAC,YAAY;QACrC,mBAAmB,EAAE,UAAU,CAAC,mBAAmB;QACnD,OAAO,EAAE,gCAAgC;QACzC,gBAAgB,EAAE,UAAU,CAAC,gBAAgB;QAC7C,oBAAoB,EAAE,UAAU,CAAC,eAAe;QAChD,UAAU,EAAE,UAAU,CAAC,gBAAgB,CAAC,QAAQ,CAAC,6BAA6B,CAAC,OAAO,CAAC;YACrF,CAAC,CAAC,4BAA4B;YAC9B,CAAC,CAAC,+BAA+B;KACpC,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAC/B,IAAyB,EACzB,OAA0C,EAC1C,SAA6D,EAC7D,QAAkD;IAChD,iBAAiB,EAAE,KAAK,EAAE,aAAa,EAAE,KAAK,EAAE,iBAAiB,EAAE,KAAK;IACxE,oBAAoB,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK;CACzE;IAED,OAAO;QACL,MAAM,EAAE,IAAI,CAAC,EAAE;QACf,YAAY,EAAE,IAAI,CAAC,QAAQ;QAC3B,UAAU,EAAE,IAAI,CAAC,MAAM;QACvB,eAAe,EAAE,IAAI,CAAC,QAAQ;QAC9B,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,IAAI,IAAI;QACjF,iBAAiB,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,aAAa,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACpG,uBAAuB,EAAE,OAAO,CAAC,YAAY;QAC7C,iBAAiB,EAAE,OAAO,CAAC,OAAO;QAClC,kBAAkB,EAAE,OAAO,CAAC,kBAAkB;QAC9C,iBAAiB,EAAE,SAAS,EAAE,QAAQ,IAAI,IAAI;QAC9C,gBAAgB,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI;QAC3D,GAAG,KAAK;KACT,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAC1B,IAAyB,EAAE,OAA0C,EAAE,SAAsD,EAC7H,QAA2C,EAAE,KAAa;IAE1D,MAAM,QAAQ,GAAG,wBAAwB,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;IACpE,MAAM,YAAY,GAAG,8BAA8B,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC9H,MAAM,gBAAgB,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACrH,OAAO;QACL,YAAY,EAAE,oCAAoC;QAClD,mBAAmB,EAAE,8BAA8B,CAAC,mBAAmB;QACvE,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,gBAAgB,CAAC,MAAM,KAAK,CAAC,EAAE,QAAQ;QACpE,YAAY,EAAE,gBAAgB,EAAE,eAAe,EAAE,EAAE;KACpD,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAC3B,IAAyB,EACzB,OAA0C;IAE1C,OAAO;QACL,MAAM,EAAE,IAAI,CAAC,EAAE;QACf,gBAAgB,EAAE,IAAI,CAAC,QAAQ;QAC/B,eAAe,EAAE,IAAI,CAAC,QAAQ,IAAI,EAAE;QACpC,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,yBAAyB,EAAE,OAAO,CAAC,kBAAkB,EAAE,OAAO,IAAI,EAAE;KACrE,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CACxB,QAA4C;IAE5C,OAAO,mBAAmB,IAAI,QAAQ,IAAI,kBAAkB,IAAI,QAAQ;QACtE,CAAC,CAAC,QAAQ;QACV,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,WAAW,CAAC,IAAuB,EAAE,KAAwB;IACpE,OAAO,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;AAC9F,CAAC;AAED,SAAS,aAAa,CACpB,OAA2C,EAC3C,WAAmB,EACnB,QAA8B,cAAc,EAC5C,QAA8B,aAAa,EAC3C,mBAAyE,EAAE,EAC3E,mBAAuF,EAAE,EACzF,cAA0C,mBAAmB;IAE7D,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,yBAAyB,CAAC,MAAM,CAAC,CAAC;IAC/D,OAAO;QACL,OAAO;QACP,eAAe,EAAE,CAAC;QAClB,KAAK;QACL,KAAK;QACL,WAAW;QACX,SAAS,EAAE,EAAE,CAAC,0CAA0C,MAAM,EAAE,CAAC;QACjE,KAAK,EAAE,CAAC,KAAK,CAAC,uCAAuC,EAAE,gBAAgB,CAAC,CAAC;QACzE,cAAc,EAAE,gBAAgB,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACpD,WAAW;KACZ,CAAC;AACJ,CAAC;AAED,SAAS,EAAE,CAAqB,EAAO;IACrC,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;AAC5B,CAAC;AAED,SAAS,KAAK,CACZ,UAAuB,EACvB,QAA8D;IAK9D,OAAO,EAAE,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,QAAQ,EAAE,CAAC;AAClD,CAAC;AAED,SAAS,KAAK,CACZ,UAAuB,EACvB,OAAe;IAKf,OAAO,EAAE,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,OAAO,EAAE,CAAC;AACjD,CAAC;AAED,SAAS,wBAAwB,CAAC,YAAoB;IACpD,OAAO,+BAA+B,CAAC,IAAI;SACxC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,KAAK,YAAY,CAAC;SACvD,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;AACnC,CAAC;AAED,SAAS,OAAO,CACd,QAAiC,EACjC,MAAe,EACf,UAAkB,EAClB,OAAe;IAEf,OAAO;QACL,OAAO,EAAE,QAAQ,CAAC,OAAO;QACzB,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ;QACpC,MAAM;QACN,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU;QACxC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,OAAO;KAC5C,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CACnB,QAAiC,EACjC,SAA+C,EAC/C,UAAkB;IAElB,OAAO;QACL,QAAQ;QACR,QAAQ,CAAC,QAAQ;YACf,OAAO,OAAO,CAAC,QAAQ,EAAE,QAAQ,CAAC,SAAS,CAAC,KAAK,IAAI,EAAE,UAAU,EAAE,GAAG,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC;QAChG,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/src/lifecycle/evaluator.d.ts

@@ -0,0 +1,2 @@
+import type { ExecutableTransitionDefinition, TransitionEvaluation, TransitionEvaluationPhase } from './types.js';
+export declare function evaluateTransition<TSnapshot, TBindings>(definition: ExecutableTransitionDefinition<TSnapshot, TBindings>, snapshot: Readonly<TSnapshot>, bindings: Readonly<TBindings>, phase: TransitionEvaluationPhase): TransitionEvaluation<TBindings>;

package/dist/src/lifecycle/evaluator.js

@@ -0,0 +1,35 @@
+export function evaluateTransition(definition, snapshot, bindings, phase) {
+    const guardResults = definition.guards.map((guard) => {
+        if (guard.metadata.phase === 'execution' && phase === 'availability') {
+            return {
+                guardId: guard.metadata.guardId,
+                status: 'pending',
+                passed: false,
+                reasonCode: 'PENDING_OPERATOR_INPUT',
+                message: 'Guard requires operator input and will be evaluated before effects.',
+            };
+        }
+        const result = guard.evaluate(snapshot, bindings);
+        if (result.guardId !== guard.metadata.guardId) {
+            throw new TypeError(`Guard ${guard.metadata.guardId} returned result for ${result.guardId}.`);
+        }
+        return result;
+    });
+    const blockingGuardIds = guardResults
+        .filter((result) => result.status === 'failed')
+        .map((result) => result.guardId);
+    const pendingGuardIds = guardResults
+        .filter((result) => result.status === 'pending')
+        .map((result) => result.guardId);
+    return {
+        transitionId: definition.metadata.transitionId,
+        semanticFingerprint: definition.semanticFingerprint,
+        phase,
+        allowed: blockingGuardIds.length === 0,
+        bindings,
+        guardResults,
+        blockingGuardIds,
+        pendingGuardIds,
+    };
+}
+//# sourceMappingURL=evaluator.js.map

package/dist/src/lifecycle/evaluator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluator.js","sourceRoot":"","sources":["../../../src/lifecycle/evaluator.ts"],"names":[],"mappings":"AAOA,MAAM,UAAU,kBAAkB,CAChC,UAAgE,EAChE,QAA6B,EAC7B,QAA6B,EAC7B,KAAgC;IAEhC,MAAM,YAAY,GAA4B,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QAC5E,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,KAAK,WAAW,IAAI,KAAK,KAAK,cAAc,EAAE,CAAC;YACrE,OAAO;gBACL,OAAO,EAAE,KAAK,CAAC,QAAQ,CAAC,OAAO;gBAC/B,MAAM,EAAE,SAAS;gBACjB,MAAM,EAAE,KAAK;gBACb,UAAU,EAAE,wBAAwB;gBACpC,OAAO,EAAE,qEAAqE;aAC/E,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAClD,IAAI,MAAM,CAAC,OAAO,KAAK,KAAK,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;YAC9C,MAAM,IAAI,SAAS,CACjB,SAAS,KAAK,CAAC,QAAQ,CAAC,OAAO,wBAAwB,MAAM,CAAC,OAAO,GAAG,CACzE,CAAC;QACJ,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC,CAAC;IACH,MAAM,gBAAgB,GAAG,YAAY;SAClC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC;SAC9C,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACnC,MAAM,eAAe,GAAG,YAAY;SACjC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,SAAS,CAAC;SAC/C,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACnC,OAAO;QACL,YAAY,EAAE,UAAU,CAAC,QAAQ,CAAC,YAAY;QAC9C,mBAAmB,EAAE,UAAU,CAAC,mBAAmB;QACnD,KAAK;QACL,OAAO,EAAE,gBAAgB,CAAC,MAAM,KAAK,CAAC;QACtC,QAAQ;QACR,YAAY;QACZ,gBAAgB;QAChB,eAAe;KAChB,CAAC;AACJ,CAAC"}