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

package/dist/src/lifecycle/types.js

@@ -0,0 +1,4 @@
+export const LIFECYCLE_EPOCH = 2;
+export const TRANSITION_DEFINITION_FORMAT_VERSION = 4;
+export const TRANSITION_CATALOG_FORMAT_VERSION = 4;
+//# sourceMappingURL=types.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/lifecycle/types.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,eAAe,GAAG,CAAU,CAAC;AAC1C,MAAM,CAAC,MAAM,oCAAoC,GAAG,CAAU,CAAC;AAC/D,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAAU,CAAC"}

package/dist/src/observation.d.ts

@@ -0,0 +1,20 @@
+import type { AdoptionPostureEvent, ProjectRecord, WorkflowObservation, WriterLease } from './contracts.js';
+import type { RepositoryIdentity } from './repository.js';
+import type { FileStateStore } from './state/store.js';
+export interface WorkflowObservationBoundary {
+    identity: RepositoryIdentity;
+    project: ProjectRecord | null;
+    currentAdoptionPosture: AdoptionPostureEvent | null;
+    leases: WriterLease[];
+    observation: WorkflowObservation;
+}
+/**
+ * Reads only the persistence boundary needed to decide whether a coherent lifecycle snapshot can
+ * be loaded. It deliberately does not register a project, recover a journal, initialize adoption,
+ * or construct a WriterLockManager.
+ */
+export declare function inspectWorkflowObservationBoundary(options: {
+    store: FileStateStore;
+    identity: RepositoryIdentity;
+    now: Date;
+}): WorkflowObservationBoundary;

package/dist/src/observation.js

@@ -0,0 +1,171 @@
+import { existsSync, readdirSync, realpathSync } from 'node:fs';
+import path from 'node:path';
+import { readCurrentAdoptionPosture } from './alpha6/adoption.js';
+import { listMilestoneTransactionJournals } from './alpha6/journal.js';
+import { assertNoSymlinkPathComponents } from './alpha6/store-sidecars.js';
+import { listProjectTransactions } from './beta1/project-transaction.js';
+import { listCoreTaskOperationMutexes, listWriterLeases, toPublicCoreTaskOperation, toPublicWriterLease, } from './state/lock.js';
+import { inspectCorrectiveReplanTaskTransactions } from './state/corrective-replan-transaction.js';
+import { inspectCorrectiveYieldTaskTransactions } from './state/corrective-yield-transaction.js';
+/**
+ * Reads only the persistence boundary needed to decide whether a coherent lifecycle snapshot can
+ * be loaded. It deliberately does not register a project, recover a journal, initialize adoption,
+ * or construct a WriterLockManager.
+ */
+export function inspectWorkflowObservationBoundary(options) {
+    const { store, identity, now } = options;
+    const projectRoot = store.projectRoot(identity.projectId);
+    const projectFile = path.join(projectRoot, 'project.json');
+    const lockRoot = store.lockRoot(identity.projectId);
+    const stateRootPresent = existsSync(store.root);
+    const projectRootPresent = existsSync(projectRoot);
+    const lockRootPresent = existsSync(lockRoot);
+    const missingRegistration = !existsSync(projectFile);
+    const pendingProjectTransactions = observeProjectTransactions(projectRoot, identity.projectId);
+    const pendingMilestoneTransactions = observeMilestoneTransactions(store, identity.projectId);
+    const replanTransactions = inspectCorrectiveReplanTaskTransactions(projectRoot, store.root);
+    const yieldTransactions = inspectCorrectiveYieldTaskTransactions(projectRoot, store.root);
+    const taskTransactions = {
+        pending: [...replanTransactions.pending, ...yieldTransactions.pending]
+            .sort((left, right) => left.taskId.localeCompare(right.taskId) || left.transactionId.localeCompare(right.transactionId)),
+        corrupt: [...replanTransactions.corrupt, ...yieldTransactions.corrupt]
+            .sort((left, right) => left.taskId.localeCompare(right.taskId) || left.transactionId.localeCompare(right.transactionId)),
+    };
+    const pendingTaskTransitionIds = [...new Set(taskTransactions.pending.map((transaction) => transaction.transitionId))];
+    const mixedPendingTaskTransitions = pendingTaskTransitionIds.length > 1;
+    const leases = listWriterLeases(lockRoot);
+    const coreTaskOperations = listCoreTaskOperationMutexes(lockRoot, store.root)
+        .map((mutex) => toPublicCoreTaskOperation(mutex, now));
+    const orphanCoreTaskOperations = coreTaskOperations.filter((operation) => !taskTransactions.pending.some((transaction) => transaction.taskId === operation.entityId && transaction.transactionId === operation.operationId));
+    const project = !missingRegistration && pendingProjectTransactions.length === 0
+        ? store.readProject(identity.projectId)
+        : null;
+    const repositoryRootBound = project?.repositoryRoots.includes(identity.repositoryRoot) ?? false;
+    const adoptionAssessed = pendingProjectTransactions.length === 0
+        && pendingMilestoneTransactions.length === 0
+        && taskTransactions.pending.length === 0
+        && taskTransactions.corrupt.length === 0
+        && orphanCoreTaskOperations.length === 0;
+    const currentAdoptionPosture = adoptionAssessed && stateRootPresent
+        ? readCurrentAdoptionPosture(store, identity.projectId)
+        : null;
+    const missingAdoption = adoptionAssessed && currentAdoptionPosture === null;
+    const observedLeases = leases.map((lease) => toPublicWriterLease(lease, now));
+    const activeLeases = observedLeases.filter((lease) => !lease.stale);
+    const staleLeases = observedLeases.filter((lease) => lease.stale);
+    const reasonCodes = [];
+    if (missingRegistration)
+        reasonCodes.push('PROJECT_REGISTRATION_MISSING');
+    if (project && !repositoryRootBound)
+        reasonCodes.push('PROJECT_REPOSITORY_ROOT_UNBOUND');
+    if (pendingProjectTransactions.length > 0)
+        reasonCodes.push('PROJECT_RECOVERY_REQUIRED');
+    if (pendingMilestoneTransactions.length > 0)
+        reasonCodes.push('MILESTONE_RECOVERY_REQUIRED');
+    if (taskTransactions.pending.length > 0)
+        reasonCodes.push('TASK_RECOVERY_REQUIRED');
+    if (taskTransactions.corrupt.length > 0)
+        reasonCodes.push('TASK_TRANSACTION_INTEGRITY_FAILED');
+    if (orphanCoreTaskOperations.some((operation) => !operation.stale))
+        reasonCodes.push('TASK_OPERATION_IN_PROGRESS');
+    if (orphanCoreTaskOperations.some((operation) => operation.stale))
+        reasonCodes.push('STALE_TASK_OPERATION');
+    if (activeLeases.length > 0)
+        reasonCodes.push('ACTIVE_WRITER_LEASE');
+    if (staleLeases.length > 0)
+        reasonCodes.push('STALE_WRITER_LEASE');
+    if (missingAdoption)
+        reasonCodes.push('ADOPTION_MISSING');
+    const blocked = missingRegistration
+        || (project !== null && !repositoryRootBound)
+        || pendingProjectTransactions.length > 0
+        || taskTransactions.corrupt.length > 0
+        || mixedPendingTaskTransitions
+        || orphanCoreTaskOperations.length > 0;
+    const repairable = taskTransactions.pending.length > 0
+        || pendingMilestoneTransactions.length > 0
+        || staleLeases.length > 0;
+    const kind = blocked ? 'blocked' : repairable ? 'repair' : 'assessment';
+    const repair = kind !== 'repair'
+        ? null
+        : taskTransactions.pending.length > 0
+            ? {
+                command: pendingTaskTransitionIds[0] === 'task.coordination.corrective-yield'
+                    ? 'task corrective-yield-recover'
+                    : 'task corrective-replan-recover',
+                cataloged: false,
+                available: true,
+                projectId: identity.projectId,
+                taskIds: [...new Set(taskTransactions.pending.map((transaction) => transaction.taskId))].sort(),
+                transactionIds: taskTransactions.pending.map((transaction) => transaction.transactionId).sort(),
+            }
+            : pendingMilestoneTransactions.length > 0
+                ? {
+                    command: 'milestone recover',
+                    cataloged: false,
+                    projectId: identity.projectId,
+                    milestoneIds: [...new Set(pendingMilestoneTransactions.map((transaction) => transaction.milestoneId))].sort(),
+                    transactionIds: pendingMilestoneTransactions.map((transaction) => transaction.transactionId).sort(),
+                }
+                : {
+                    command: 'locks repair',
+                    cataloged: false,
+                    projectId: identity.projectId,
+                    entityIds: staleLeases.map((lease) => lease.entityId).sort(),
+                };
+    return {
+        identity,
+        project,
+        currentAdoptionPosture,
+        leases,
+        observation: {
+            kind,
+            reasonCodes,
+            stateRootPresent,
+            projectRootPresent,
+            lockRootPresent,
+            missingRegistration,
+            repositoryRootBound,
+            adoptionAssessed,
+            missingAdoption,
+            pendingProjectTransactions,
+            pendingMilestoneTransactions,
+            pendingTaskTransactions: taskTransactions.pending,
+            corruptTaskTransactions: taskTransactions.corrupt,
+            coreTaskOperations,
+            leases: observedLeases,
+            availableRepairTransitionId: null,
+            repair,
+        },
+    };
+}
+function observeProjectTransactions(projectRoot, projectId) {
+    return listProjectTransactions(projectRoot, projectId)
+        .map((transaction) => ({ ...transaction }))
+        .sort((left, right) => left.preparedAt.localeCompare(right.preparedAt)
+        || left.transactionId.localeCompare(right.transactionId));
+}
+function observeMilestoneTransactions(store, projectId) {
+    const milestonesRoot = path.join(store.projectRoot(projectId), 'milestones');
+    if (!existsSync(milestonesRoot))
+        return [];
+    assertNoSymlinkPathComponents(milestonesRoot, {
+        label: 'Milestones observation root',
+        requireLeaf: true,
+        trustedRoot: store.root,
+    });
+    return readdirSync(milestonesRoot, { withFileTypes: true })
+        .filter((entry) => entry.isDirectory())
+        .flatMap((entry) => listMilestoneTransactionJournals(realpathSync(path.join(milestonesRoot, entry.name)), {
+        expectedMilestoneId: entry.name,
+    }).map((journal) => ({
+        milestoneId: journal.milestoneId,
+        transactionId: journal.transactionId,
+        phase: journal.phase,
+        preparedAt: journal.preparedAt,
+        updatedAt: journal.updatedAt,
+    })))
+        .sort((left, right) => left.preparedAt.localeCompare(right.preparedAt)
+        || left.transactionId.localeCompare(right.transactionId));
+}
+//# sourceMappingURL=observation.js.map

package/dist/src/observation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"observation.js","sourceRoot":"","sources":["../../src/observation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAChE,OAAO,IAAI,MAAM,WAAW,CAAC;AAW7B,OAAO,EAAE,0BAA0B,EAAE,MAAM,sBAAsB,CAAC;AAClE,OAAO,EAAE,gCAAgC,EAAE,MAAM,qBAAqB,CAAC;AACvE,OAAO,EAAE,6BAA6B,EAAE,MAAM,4BAA4B,CAAC;AAC3E,OAAO,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAC;AAEzE,OAAO,EACL,4BAA4B,EAC5B,gBAAgB,EAChB,yBAAyB,EACzB,mBAAmB,GACpB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,uCAAuC,EAAE,MAAM,0CAA0C,CAAC;AACnG,OAAO,EAAE,sCAAsC,EAAE,MAAM,yCAAyC,CAAC;AAWjG;;;;GAIG;AACH,MAAM,UAAU,kCAAkC,CAAC,OAIlD;IACC,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,OAAO,CAAC;IACzC,MAAM,WAAW,GAAG,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;IAC1D,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,cAAc,CAAC,CAAC;IAC3D,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;IACpD,MAAM,gBAAgB,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAChD,MAAM,kBAAkB,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC;IACnD,MAAM,eAAe,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IAC7C,MAAM,mBAAmB,GAAG,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;IACrD,MAAM,0BAA0B,GAAG,0BAA0B,CAAC,WAAW,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;IAC/F,MAAM,4BAA4B,GAAG,4BAA4B,CAAC,KAAK,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;IAC7F,MAAM,kBAAkB,GAAG,uCAAuC,CAAC,WAAW,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IAC5F,MAAM,iBAAiB,GAAG,sCAAsC,CAAC,WAAW,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IAC1F,MAAM,gBAAgB,GAAG;QACvB,OAAO,EAAE,CAAC,GAAG,kBAAkB,CAAC,OAAO,EAAE,GAAG,iBAAiB,CAAC,OAAO,CAAC;aACnE,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,aAAa,CAAC,aAAa,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;QAC1H,OAAO,EAAE,CAAC,GAAG,kBAAkB,CAAC,OAAO,EAAE,GAAG,iBAAiB,CAAC,OAAO,CAAC;aACnE,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,aAAa,CAAC,aAAa,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;KAC3H,CAAC;IACF,MAAM,wBAAwB,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACvH,MAAM,2BAA2B,GAAG,wBAAwB,CAAC,MAAM,GAAG,CAAC,CAAC;IACxE,MAAM,MAAM,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IAC1C,MAAM,kBAAkB,GAAG,4BAA4B,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC;SAC1E,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,yBAAyB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;IACzD,MAAM,wBAAwB,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,gBAAgB,CAAC,OAAO,CAAC,IAAI,CACtG,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,MAAM,KAAK,SAAS,CAAC,QAAQ,IAAI,WAAW,CAAC,aAAa,KAAK,SAAS,CAAC,WAAW,CAClH,CAAC,CAAC;IAEH,MAAM,OAAO,GAAG,CAAC,mBAAmB,IAAI,0BAA0B,CAAC,MAAM,KAAK,CAAC;QAC7E,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC,SAAS,CAAC;QACvC,CAAC,CAAC,IAAI,CAAC;IACT,MAAM,mBAAmB,GAAG,OAAO,EAAE,eAAe,CAAC,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,KAAK,CAAC;IAChG,MAAM,gBAAgB,GAAG,0BAA0B,CAAC,MAAM,KAAK,CAAC;WAC3D,4BAA4B,CAAC,MAAM,KAAK,CAAC;WACzC,gBAAgB,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;WACrC,gBAAgB,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;WACrC,wBAAwB,CAAC,MAAM,KAAK,CAAC,CAAC;IAC3C,MAAM,sBAAsB,GAAG,gBAAgB,IAAI,gBAAgB;QACjE,CAAC,CAAC,0BAA0B,CAAC,KAAK,EAAE,QAAQ,CAAC,SAAS,CAAC;QACvD,CAAC,CAAC,IAAI,CAAC;IACT,MAAM,eAAe,GAAG,gBAAgB,IAAI,sBAAsB,KAAK,IAAI,CAAC;IAC5E,MAAM,cAAc,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,mBAAmB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;IAC9E,MAAM,YAAY,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACpE,MAAM,WAAW,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAElE,MAAM,WAAW,GAA4B,EAAE,CAAC;IAChD,IAAI,mBAAmB;QAAE,WAAW,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;IAC1E,IAAI,OAAO,IAAI,CAAC,mBAAmB;QAAE,WAAW,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;IACzF,IAAI,0BAA0B,CAAC,MAAM,GAAG,CAAC;QAAE,WAAW,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;IACzF,IAAI,4BAA4B,CAAC,MAAM,GAAG,CAAC;QAAE,WAAW,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;IAC7F,IAAI,gBAAgB,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,WAAW,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;IACpF,IAAI,gBAAgB,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,WAAW,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;IAC/F,IAAI,wBAAwB,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC;QAAE,WAAW,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;IACnH,IAAI,wBAAwB,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC;QAAE,WAAW,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;IAC5G,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC;QAAE,WAAW,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IACrE,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC;QAAE,WAAW,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IACnE,IAAI,eAAe;QAAE,WAAW,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IAE1D,MAAM,OAAO,GAAG,mBAAmB;WAC9B,CAAC,OAAO,KAAK,IAAI,IAAI,CAAC,mBAAmB,CAAC;WAC1C,0BAA0B,CAAC,MAAM,GAAG,CAAC;WACrC,gBAAgB,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;WACnC,2BAA2B;WAC3B,wBAAwB,CAAC,MAAM,GAAG,CAAC,CAAC;IACzC,MAAM,UAAU,GAAG,gBAAgB,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;WACjD,4BAA4B,CAAC,MAAM,GAAG,CAAC;WACvC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC;IAC5B,MAAM,IAAI,GAAgC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC;IACrG,MAAM,MAAM,GAAG,IAAI,KAAK,QAAQ;QAC9B,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,gBAAgB,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;YACnC,CAAC,CAAC;gBACE,OAAO,EAAE,wBAAwB,CAAC,CAAC,CAAC,KAAK,oCAAoC;oBAC3E,CAAC,CAAC,+BAAwC;oBAC1C,CAAC,CAAC,gCAAyC;gBAC7C,SAAS,EAAE,KAAc;gBACzB,SAAS,EAAE,IAAa;gBACxB,SAAS,EAAE,QAAQ,CAAC,SAAS;gBAC7B,OAAO,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;gBAC/F,cAAc,EAAE,gBAAgB,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,IAAI,EAAE;aAChG;YACH,CAAC,CAAC,4BAA4B,CAAC,MAAM,GAAG,CAAC;gBACzC,CAAC,CAAC;oBACE,OAAO,EAAE,mBAA4B;oBACrC,SAAS,EAAE,KAAc;oBACzB,SAAS,EAAE,QAAQ,CAAC,SAAS;oBAC7B,YAAY,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,4BAA4B,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;oBAC7G,cAAc,EAAE,4BAA4B,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,IAAI,EAAE;iBACpG;gBACH,CAAC,CAAC;oBACE,OAAO,EAAE,cAAuB;oBAChC,SAAS,EAAE,KAAc;oBACzB,SAAS,EAAE,QAAQ,CAAC,SAAS;oBAC7B,SAAS,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE;iBAC7D,CAAC;IAER,OAAO;QACL,QAAQ;QACR,OAAO;QACP,sBAAsB;QACtB,MAAM;QACN,WAAW,EAAE;YACX,IAAI;YACJ,WAAW;YACX,gBAAgB;YAChB,kBAAkB;YAClB,eAAe;YACf,mBAAmB;YACnB,mBAAmB;YACnB,gBAAgB;YAChB,eAAe;YACf,0BAA0B;YAC1B,4BAA4B;YAC5B,uBAAuB,EAAE,gBAAgB,CAAC,OAAO;YACjD,uBAAuB,EAAE,gBAAgB,CAAC,OAAO;YACjD,kBAAkB;YAClB,MAAM,EAAE,cAAc;YACtB,2BAA2B,EAAE,IAAI;YACjC,MAAM;SACP;KACF,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CAAC,WAAmB,EAAE,SAAiB;IACxE,OAAO,uBAAuB,CAAC,WAAW,EAAE,SAAS,CAAC;SACnD,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,WAAW,EAAE,CAAC,CAAC;SAC1C,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,KAAK,CAAC,UAAU,CAAC;WACjE,IAAI,CAAC,aAAa,CAAC,aAAa,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,4BAA4B,CACnC,KAAqB,EACrB,SAAiB;IAEjB,MAAM,cAAc,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,SAAS,CAAC,EAAE,YAAY,CAAC,CAAC;IAC7E,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC;QAAE,OAAO,EAAE,CAAC;IAC3C,6BAA6B,CAAC,cAAc,EAAE;QAC5C,KAAK,EAAE,6BAA6B;QACpC,WAAW,EAAE,IAAI;QACjB,WAAW,EAAE,KAAK,CAAC,IAAI;KACxB,CAAC,CAAC;IACH,OAAO,WAAW,CAAC,cAAc,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC;SACxD,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC;SACtC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,gCAAgC,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE;QACxG,mBAAmB,EAAE,KAAK,CAAC,IAAI;KAChC,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QACnB,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,SAAS,EAAE,OAAO,CAAC,SAAS;KAC7B,CAAC,CAAC,CAAC;SACH,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,KAAK,CAAC,UAAU,CAAC;WACjE,IAAI,CAAC,aAAa,CAAC,aAAa,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC;AAChE,CAAC"}

package/dist/src/state/corrective-replan-executor.d.ts

@@ -0,0 +1,64 @@
+import type { PlanRiskAuditDecision, PlanRiskAuditStepClassification, TaskPlanInput, TaskState } from '../contracts.js';
+import type { CorrectiveReplanCredentialKernel, ReceiptHandle, StoredPlanValidationEventHandle } from '../lifecycle/corrective-replan-credential-core.js';
+import { type CoreTaskOperationHandle } from './lock.js';
+import { CorrectiveReplanTaskTransactionStore, type CorrectiveReplanTaskTransactionJournal } from './corrective-replan-transaction.js';
+type JsonRecord = Record<string, unknown>;
+export interface CorrectiveReplanRiskAuditInput {
+    readonly summary: string;
+    readonly decision: PlanRiskAuditDecision;
+    readonly splitRationale: string | null;
+    readonly stepClassifications: readonly PlanRiskAuditStepClassification[];
+}
+export type CorrectiveReplanCrashBoundary = 'after-intent' | 'after-applying-phase' | `after-target-${0 | 1 | 2 | 3 | 4}` | `after-target-phase-${0 | 1 | 2 | 3 | 4}` | 'after-published-phase' | 'after-domain-readback' | 'after-completed-phase' | 'after-terminal-readback';
+export interface ExecuteCorrectiveReplanInput {
+    readonly projectId: string;
+    readonly taskId: string;
+    readonly receipt: ReceiptHandle;
+    readonly candidateReceipt: unknown;
+    readonly planValidationEvent: StoredPlanValidationEventHandle;
+    readonly candidatePlanValidationEvent: unknown;
+    readonly plan: TaskPlanInput;
+    readonly riskAudit: CorrectiveReplanRiskAuditInput;
+}
+export interface CorrectiveReplanExecutionResult {
+    readonly kind: 'corrective-replan-execution-result';
+    readonly disposition: 'executed' | 'recovered' | 'replayed';
+    readonly taskId: string;
+    readonly transactionId: string;
+    readonly resultSha256: string;
+}
+export interface CorrectiveReplanExecutor {
+    execute(input: ExecuteCorrectiveReplanInput): CorrectiveReplanExecutionResult;
+    recover(input: {
+        taskId: string;
+        transactionId: string;
+    }): CorrectiveReplanExecutionResult;
+    replay(input: {
+        taskId: string;
+        transactionId: string;
+        receiptHash: string;
+    }): CorrectiveReplanExecutionResult;
+}
+interface ExecutorOptions {
+    readonly taskRoot: string;
+    readonly locksRoot: string;
+    readonly trustedRoot: string;
+    readonly credentialKernel: CorrectiveReplanCredentialKernel;
+    readonly admissionCheck?: (input: Readonly<{
+        task: TaskState;
+        plan: TaskPlanInput;
+        riskAudit: CorrectiveReplanRiskAuditInput;
+        receiptVerified: true;
+        validationEventVerified: true;
+        taskOperationLockHeld: true;
+    }>) => void;
+    readonly now?: () => Date;
+    readonly faultInjector?: (boundary: CorrectiveReplanCrashBoundary) => void;
+}
+export declare function createCorrectiveReplanExecutor(options: ExecutorOptions): CorrectiveReplanExecutor;
+export declare function correctiveReplanStepSetHash(stepIds: readonly string[]): string;
+export declare function correctiveReplanRiskAuditHash(bindingValues: unknown, input: CorrectiveReplanRiskAuditInput): string;
+export declare function driveCorrectiveReplanTransaction(transactions: CorrectiveReplanTaskTransactionStore, handle: CoreTaskOperationHandle, transactionId: string, disposition: CorrectiveReplanExecutionResult['disposition'], fault: (boundary: CorrectiveReplanCrashBoundary) => void): CorrectiveReplanExecutionResult;
+export declare function correctiveReplanTerminalReadback(transactions: CorrectiveReplanTaskTransactionStore, handle: CoreTaskOperationHandle, journal: CorrectiveReplanTaskTransactionJournal): string;
+export declare function correctiveReplanExecutionKeyHash(binding: JsonRecord): string;
+export {};