codex-orchestrator 0.1.46 → 0.1.48

package/dist/src/runner/mission-state-machine.js

@@ -0,0 +1,316 @@
+import { authorizeMissionCapability, } from './mission-capability-kernel.js';
+import { assertMissionApplyIntent, assertMissionApplyReceipt, missionApplyPermitFingerprint, validateMissionApplyPermit, } from './mission-git-contracts.js';
+export const missionStates = [
+    'created', 'claiming', 'evaluating', 'diagnosing', 'authorizing', 'executing',
+    'auditing', 'apply-authorizing', 'apply-prepared', 'applying', 'reconciling',
+    'candidate-ready', 'publication-prepared', 'integration-ready', 'resumable',
+    'cancelling', 'external-input-required', 'safety-stop', 'cancelled', 'completed',
+];
+export const safeResumeTargets = [
+    'claiming',
+    'diagnosing',
+    'authorizing',
+    'apply-authorizing',
+    'reconciling',
+    'publication-prepared',
+];
+export const missionEventTypes = [
+    'evaluation-completed',
+    'execution-transient-failure',
+    'resume-eligible',
+    'apply-reconciled-old-identity',
+    'claim-transient-failure',
+    'diagnosis-transient-failure',
+    'authorization-temporary',
+    'apply-authorization-temporary',
+    'reconciliation-transient-failure',
+    'publication-transient-failure',
+    'capability-authorized',
+    'claim-requested',
+    'claim-observed',
+    'diagnosis-valid',
+    'diagnosis-invalid',
+    'authorization-rejected',
+    'authorization-external',
+    'authorization-safety',
+    'patch-received',
+    'observation-received',
+    'execution-deterministic-failure',
+    'audit-rejected',
+    'audit-safety',
+    'audit-accepted',
+    'apply-authorized',
+    'apply-authorization-rejected',
+    'apply-started',
+    'apply-reconciled-new-identity',
+    'apply-reconciled-third-identity',
+    'reconciliation-satisfied',
+    'adapt-to-publication',
+    'adapt-to-integration',
+    'publication-review-ready',
+    'publication-external',
+    'publication-safety',
+    'publication-cancelled',
+    'integration-accepted',
+    'cancel-requested',
+    'cancellation-reconciled',
+];
+const missionEventTypesAreExhaustive = true;
+void missionEventTypesAreExhaustive;
+export const terminalMissionStates = new Set([
+    'external-input-required',
+    'safety-stop',
+    'cancelled',
+    'completed',
+]);
+const transitionTargets = {
+    created: {
+        'claim-requested': 'claiming',
+    },
+    claiming: {
+        'claim-observed': 'evaluating',
+    },
+    diagnosing: {
+        'diagnosis-valid': 'authorizing',
+        'diagnosis-invalid': 'diagnosing',
+    },
+    authorizing: {
+        'capability-authorized': 'executing',
+        'authorization-rejected': 'diagnosing',
+        'authorization-external': 'external-input-required',
+        'authorization-safety': 'safety-stop',
+    },
+    executing: {
+        'patch-received': 'auditing',
+        'observation-received': 'reconciling',
+        'execution-deterministic-failure': 'diagnosing',
+    },
+    auditing: {
+        'audit-rejected': 'diagnosing',
+        'audit-safety': 'safety-stop',
+        'audit-accepted': 'apply-authorizing',
+    },
+    'apply-authorizing': {
+        'apply-authorized': 'apply-prepared',
+        'apply-authorization-rejected': 'diagnosing',
+    },
+    'apply-prepared': {
+        'apply-started': 'applying',
+        'apply-reconciled-new-identity': 'reconciling',
+        'apply-reconciled-third-identity': 'safety-stop',
+    },
+    applying: {
+        'apply-reconciled-new-identity': 'reconciling',
+        'apply-reconciled-third-identity': 'safety-stop',
+    },
+    reconciling: {
+        'reconciliation-satisfied': 'evaluating',
+        'apply-reconciled-third-identity': 'safety-stop',
+    },
+    'candidate-ready': {
+        'adapt-to-publication': 'publication-prepared',
+        'adapt-to-integration': 'integration-ready',
+    },
+    'publication-prepared': {
+        'publication-review-ready': 'completed',
+        'publication-external': 'external-input-required',
+        'publication-safety': 'safety-stop',
+        'publication-cancelled': 'cancelled',
+    },
+    'integration-ready': {
+        'integration-accepted': 'completed',
+    },
+    cancelling: {
+        'cancellation-reconciled': 'cancelled',
+    },
+};
+const transientResumeTargets = {
+    'claim-transient-failure': 'claiming',
+    'diagnosis-transient-failure': 'diagnosing',
+    'authorization-temporary': 'authorizing',
+    'execution-transient-failure': 'authorizing',
+    'apply-authorization-temporary': 'apply-authorizing',
+    'reconciliation-transient-failure': 'reconciling',
+    'publication-transient-failure': 'publication-prepared',
+};
+export function transitionMission(record, event) {
+    let authorizedCapabilityPermit;
+    let authorizedApplyPermit;
+    if (event.type === 'capability-authorized') {
+        authorizedCapabilityPermit = authorizeMissionCapability(event.permit);
+        if (authorizedCapabilityPermit.missionId !== record.id
+            || authorizedCapabilityPermit.actionKey !== event.actionKey) {
+            throw new Error('Mission capability authorization does not match the aggregate identity.');
+        }
+    }
+    if (event.type === 'apply-authorized') {
+        authorizedApplyPermit = validateMissionApplyPermit(event.permit);
+        if (authorizedApplyPermit.missionId !== record.id
+            || authorizedApplyPermit.actionKey !== event.actionKey) {
+            throw new Error('Mission apply authorization does not match the aggregate identity.');
+        }
+        const fingerprint = missionApplyPermitFingerprint(authorizedApplyPermit);
+        if (record.applyHistory?.some((receipt) => receipt.permitFingerprint === fingerprint)) {
+            throw new Error('Mission apply authorization reuses an already completed permit.');
+        }
+    }
+    if (event.type === 'apply-started') {
+        assertMissionApplyIntent(event.intent);
+        if (!record.applyPermit
+            || event.intent.permitFingerprint !== missionApplyPermitFingerprint(record.applyPermit)) {
+            throw new Error('Mission apply intent does not match the authorized permit.');
+        }
+    }
+    if (event.type === 'apply-reconciled-new-identity') {
+        assertMissionApplyIntent(event.intent);
+        assertMissionApplyReceipt(event.receipt);
+        if (!record.applyPermit
+            || event.intent.permitFingerprint !== missionApplyPermitFingerprint(record.applyPermit)
+            || event.receipt.permitFingerprint !== event.intent.permitFingerprint) {
+            throw new Error('Mission apply receipt does not match the authorized intent.');
+        }
+    }
+    if (record.state === 'evaluating' && event.type === 'evaluation-completed') {
+        return {
+            ...record,
+            revision: record.revision + 1,
+            state: stateForEvaluation(event.result.blockingDisposition),
+            findingIds: event.result.findings.map((finding) => finding.id),
+            residualFindingIds: event.result.findings
+                .filter((finding) => finding.disposition === 'residual-warning')
+                .map((finding) => finding.id),
+        };
+    }
+    if (record.state === 'reconciling' && event.type === 'reconciliation-satisfied'
+        && record.applyReceipt) {
+        const { applyPermit: _applyPermit, applyIntent: _applyIntent, applyReceipt, ...rest } = record;
+        return {
+            ...rest,
+            revision: record.revision + 1,
+            state: 'evaluating',
+            applyHistory: [...(record.applyHistory ?? []), structuredClone(applyReceipt)],
+        };
+    }
+    if (record.state === 'executing' && event.type === 'execution-transient-failure') {
+        return resumable(record, 'authorizing', event.actionKey, event.nextEligibleAt);
+    }
+    if (record.state === 'executing' && (event.type === 'patch-received'
+        || event.type === 'observation-received'
+        || event.type === 'execution-deterministic-failure')) {
+        const { authorizedPermit: _authorizedPermit, ...rest } = record;
+        return {
+            ...rest,
+            revision: record.revision + 1,
+            state: event.type === 'patch-received' ? 'auditing'
+                : event.type === 'observation-received' ? 'reconciling' : 'diagnosing',
+        };
+    }
+    const transientTarget = transientResumeTargets[event.type];
+    if (transientTarget && 'actionKey' in event && 'nextEligibleAt' in event
+        && transientEventAllowed(record.state, event.type)) {
+        return resumable(record, transientTarget, event.actionKey, event.nextEligibleAt);
+    }
+    if (record.state === 'resumable' && event.type === 'resume-eligible') {
+        if (!record.resumeTarget || !record.nextEligibleAt || event.now < record.nextEligibleAt) {
+            throw new Error('Mission is not eligible to resume.');
+        }
+        const { resumeTarget, nextEligibleAt: _nextEligibleAt, resumableReason: _resumableReason, requiredPredicate: _requiredPredicate, ...rest } = record;
+        return {
+            ...rest,
+            revision: record.revision + 1,
+            state: resumeTarget,
+        };
+    }
+    if ((record.state === 'apply-prepared' || record.state === 'applying')
+        && event.type === 'apply-reconciled-old-identity') {
+        const { applyPermit: _applyPermit, applyIntent: _applyIntent, applyReceipt: _applyReceipt, ...rest } = record;
+        return {
+            ...rest,
+            revision: record.revision + 1,
+            state: 'apply-authorizing',
+        };
+    }
+    if (event.type === 'cancel-requested' && !terminalMissionStates.has(record.state) && record.state !== 'cancelling') {
+        const { resumeTarget: _resumeTarget, nextEligibleAt: _nextEligibleAt, resumableReason: _resumableReason, requiredPredicate: _requiredPredicate, authorizedPermit: _authorizedPermit, ...rest } = record;
+        return {
+            ...rest,
+            revision: record.revision + 1,
+            state: 'cancelling',
+        };
+    }
+    if (record.state === 'cancelling' && event.type === 'cancellation-reconciled') {
+        const { claim: _claim, authorizedPermit: _authorizedPermit, applyPermit: _applyPermit, applyIntent: _applyIntent, applyReceipt: _applyReceipt, ...rest } = record;
+        return {
+            ...rest,
+            revision: record.revision + 1,
+            state: 'cancelled',
+        };
+    }
+    if (record.state === 'cancelling' && event.type === 'apply-reconciled-third-identity') {
+        const { claim: _claim, authorizedPermit: _authorizedPermit, applyPermit: _applyPermit, applyIntent: _applyIntent, applyReceipt: _applyReceipt, ...rest } = record;
+        return {
+            ...rest,
+            revision: record.revision + 1,
+            state: 'safety-stop',
+        };
+    }
+    const target = transitionTargets[record.state]?.[event.type];
+    if (target) {
+        return {
+            ...record,
+            revision: record.revision + 1,
+            state: target,
+            ...('actionKey' in event ? { actionKey: event.actionKey } : {}),
+            ...(event.type === 'capability-authorized' ? {
+                authorizedPermit: authorizedCapabilityPermit,
+                inputSnapshot: authorizedCapabilityPermit.inputSnapshot,
+                fencingEpoch: authorizedCapabilityPermit.fencingEpoch,
+            } : {}),
+            ...(event.type === 'apply-authorized' ? {
+                actionKey: event.actionKey,
+                applyPermit: authorizedApplyPermit,
+                fencingEpoch: authorizedApplyPermit.fencingEpoch,
+            } : {}),
+            ...(event.type === 'apply-started' ? {
+                applyIntent: structuredClone(event.intent),
+            } : {}),
+            ...(event.type === 'apply-reconciled-new-identity' ? {
+                applyIntent: structuredClone(event.intent),
+                applyReceipt: structuredClone(event.receipt),
+            } : {}),
+        };
+    }
+    throw new Error(`Mission transition is not allowed: ${record.state} + ${event.type}`);
+}
+function resumable(record, resumeTarget, actionKey, nextEligibleAt) {
+    const { authorizedPermit: _authorizedPermit, claim: _claim, ...rest } = record;
+    return {
+        ...rest,
+        revision: record.revision + 1,
+        state: 'resumable',
+        resumeTarget,
+        nextEligibleAt,
+        actionKey,
+    };
+}
+function transientEventAllowed(state, type) {
+    return (state === 'claiming' && type === 'claim-transient-failure')
+        || (state === 'diagnosing' && type === 'diagnosis-transient-failure')
+        || (state === 'authorizing' && type === 'authorization-temporary')
+        || (state === 'apply-authorizing' && type === 'apply-authorization-temporary')
+        || (state === 'reconciling' && type === 'reconciliation-transient-failure')
+        || (state === 'publication-prepared' && type === 'publication-transient-failure');
+}
+function stateForEvaluation(disposition) {
+    switch (disposition) {
+        case 'none':
+            return 'candidate-ready';
+        case 'diagnose':
+            return 'diagnosing';
+        case 'external-input':
+            return 'external-input-required';
+        case 'safety-stop':
+            return 'safety-stop';
+    }
+}
+//# sourceMappingURL=mission-state-machine.js.map

package/dist/src/runner/mission-state-machine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mission-state-machine.js","sourceRoot":"","sources":["../../../src/runner/mission-state-machine.ts"],"names":[],"mappings":"AACA,OAAO,EACL,0BAA0B,GAE3B,MAAM,gCAAgC,CAAC;AAMxC,OAAO,EACL,wBAAwB,EACxB,yBAAyB,EACzB,6BAA6B,EAC7B,0BAA0B,GAC3B,MAAM,4BAA4B,CAAC;AAEpC,MAAM,CAAC,MAAM,aAAa,GAAG;IAC3B,SAAS,EAAE,UAAU,EAAE,YAAY,EAAE,YAAY,EAAE,aAAa,EAAE,WAAW;IAC7E,UAAU,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,UAAU,EAAE,aAAa;IAC5E,iBAAiB,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,WAAW;IAC3E,YAAY,EAAE,yBAAyB,EAAE,aAAa,EAAE,WAAW,EAAE,WAAW;CACxE,CAAC;AA0DX,MAAM,CAAC,MAAM,iBAAiB,GAAG;IAC/B,UAAU;IACV,YAAY;IACZ,aAAa;IACb,mBAAmB;IACnB,aAAa;IACb,sBAAsB;CACd,CAAC;AAgFX,MAAM,CAAC,MAAM,iBAAiB,GAAG;IAC/B,sBAAsB;IACtB,6BAA6B;IAC7B,iBAAiB;IACjB,+BAA+B;IAC/B,yBAAyB;IACzB,6BAA6B;IAC7B,yBAAyB;IACzB,+BAA+B;IAC/B,kCAAkC;IAClC,+BAA+B;IAC/B,uBAAuB;IACvB,iBAAiB;IACjB,gBAAgB;IAChB,iBAAiB;IACjB,mBAAmB;IACnB,wBAAwB;IACxB,wBAAwB;IACxB,sBAAsB;IACtB,gBAAgB;IAChB,sBAAsB;IACtB,iCAAiC;IACjC,gBAAgB;IAChB,cAAc;IACd,gBAAgB;IAChB,kBAAkB;IAClB,8BAA8B;IAC9B,eAAe;IACf,+BAA+B;IAC/B,iCAAiC;IACjC,0BAA0B;IAC1B,sBAAsB;IACtB,sBAAsB;IACtB,0BAA0B;IAC1B,sBAAsB;IACtB,oBAAoB;IACpB,uBAAuB;IACvB,sBAAsB;IACtB,kBAAkB;IAClB,yBAAyB;CAC6B,CAAC;AAGzD,MAAM,8BAA8B,GAAyD,IAAI,CAAC;AAClG,KAAK,8BAA8B,CAAC;AASpC,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAAe;IACzD,yBAAyB;IACzB,aAAa;IACb,WAAW;IACX,WAAW;CACZ,CAAC,CAAC;AAEH,MAAM,iBAAiB,GAAuF;IAC5G,OAAO,EAAE;QACP,iBAAiB,EAAE,UAAU;KAC9B;IACD,QAAQ,EAAE;QACR,gBAAgB,EAAE,YAAY;KAC/B;IACD,UAAU,EAAE;QACV,iBAAiB,EAAE,aAAa;QAChC,mBAAmB,EAAE,YAAY;KAClC;IACD,WAAW,EAAE;QACX,uBAAuB,EAAE,WAAW;QACpC,wBAAwB,EAAE,YAAY;QACtC,wBAAwB,EAAE,yBAAyB;QACnD,sBAAsB,EAAE,aAAa;KACtC;IACD,SAAS,EAAE;QACT,gBAAgB,EAAE,UAAU;QAC5B,sBAAsB,EAAE,aAAa;QACrC,iCAAiC,EAAE,YAAY;KAChD;IACD,QAAQ,EAAE;QACR,gBAAgB,EAAE,YAAY;QAC9B,cAAc,EAAE,aAAa;QAC7B,gBAAgB,EAAE,mBAAmB;KACtC;IACD,mBAAmB,EAAE;QACnB,kBAAkB,EAAE,gBAAgB;QACpC,8BAA8B,EAAE,YAAY;KAC7C;IACD,gBAAgB,EAAE;QAChB,eAAe,EAAE,UAAU;QAC3B,+BAA+B,EAAE,aAAa;QAC9C,iCAAiC,EAAE,aAAa;KACjD;IACD,QAAQ,EAAE;QACR,+BAA+B,EAAE,aAAa;QAC9C,iCAAiC,EAAE,aAAa;KACjD;IACD,WAAW,EAAE;QACX,0BAA0B,EAAE,YAAY;QACxC,iCAAiC,EAAE,aAAa;KACjD;IACD,iBAAiB,EAAE;QACjB,sBAAsB,EAAE,sBAAsB;QAC9C,sBAAsB,EAAE,mBAAmB;KAC5C;IACD,sBAAsB,EAAE;QACtB,0BAA0B,EAAE,WAAW;QACvC,sBAAsB,EAAE,yBAAyB;QACjD,oBAAoB,EAAE,aAAa;QACnC,uBAAuB,EAAE,WAAW;KACrC;IACD,mBAAmB,EAAE;QACnB,sBAAsB,EAAE,WAAW;KACpC;IACD,UAAU,EAAE;QACV,yBAAyB,EAAE,WAAW;KACvC;CACF,CAAC;AAEF,MAAM,sBAAsB,GAA4D;IACtF,yBAAyB,EAAE,UAAU;IACrC,6BAA6B,EAAE,YAAY;IAC3C,yBAAyB,EAAE,aAAa;IACxC,6BAA6B,EAAE,aAAa;IAC5C,+BAA+B,EAAE,mBAAmB;IACpD,kCAAkC,EAAE,aAAa;IACjD,+BAA+B,EAAE,sBAAsB;CACxD,CAAC;AAEF,MAAM,UAAU,iBAAiB,CAAC,MAAqB,EAAE,KAAmB;IAC1E,IAAI,0BAA+D,CAAC;IACpE,IAAI,qBAAqD,CAAC;IAC1D,IAAI,KAAK,CAAC,IAAI,KAAK,uBAAuB,EAAE,CAAC;QAC3C,0BAA0B,GAAG,0BAA0B,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACtE,IAAI,0BAA0B,CAAC,SAAS,KAAK,MAAM,CAAC,EAAE;eACjD,0BAA0B,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS,EAAE,CAAC;YAC9D,MAAM,IAAI,KAAK,CAAC,yEAAyE,CAAC,CAAC;QAC7F,CAAC;IACH,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACtC,qBAAqB,GAAG,0BAA0B,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACjE,IAAI,qBAAqB,CAAC,SAAS,KAAK,MAAM,CAAC,EAAE;eAC5C,qBAAqB,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS,EAAE,CAAC;YACzD,MAAM,IAAI,KAAK,CAAC,oEAAoE,CAAC,CAAC;QACxF,CAAC;QACD,MAAM,WAAW,GAAG,6BAA6B,CAAC,qBAAqB,CAAC,CAAC;QACzE,IAAI,MAAM,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,iBAAiB,KAAK,WAAW,CAAC,EAAE,CAAC;YACtF,MAAM,IAAI,KAAK,CAAC,iEAAiE,CAAC,CAAC;QACrF,CAAC;IACH,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACnC,wBAAwB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACvC,IAAI,CAAC,MAAM,CAAC,WAAW;eAClB,KAAK,CAAC,MAAM,CAAC,iBAAiB,KAAK,6BAA6B,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC;YAC1F,MAAM,IAAI,KAAK,CAAC,4DAA4D,CAAC,CAAC;QAChF,CAAC;IACH,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,+BAA+B,EAAE,CAAC;QACnD,wBAAwB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACvC,yBAAyB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACzC,IAAI,CAAC,MAAM,CAAC,WAAW;eAClB,KAAK,CAAC,MAAM,CAAC,iBAAiB,KAAK,6BAA6B,CAAC,MAAM,CAAC,WAAW,CAAC;eACpF,KAAK,CAAC,OAAO,CAAC,iBAAiB,KAAK,KAAK,CAAC,MAAM,CAAC,iBAAiB,EAAE,CAAC;YACxE,MAAM,IAAI,KAAK,CAAC,6DAA6D,CAAC,CAAC;QACjF,CAAC;IACH,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,KAAK,YAAY,IAAI,KAAK,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;QAC3E,OAAO;YACL,GAAG,MAAM;YACT,QAAQ,EAAE,MAAM,CAAC,QAAQ,GAAG,CAAC;YAC7B,KAAK,EAAE,kBAAkB,CAAC,KAAK,CAAC,MAAM,CAAC,mBAAmB,CAAC;YAC3D,UAAU,EAAE,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;YAC9D,kBAAkB,EAAE,KAAK,CAAC,MAAM,CAAC,QAAQ;iBACtC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,WAAW,KAAK,kBAAkB,CAAC;iBAC/D,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;SAChC,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,CAAC,KAAK,KAAK,aAAa,IAAI,KAAK,CAAC,IAAI,KAAK,0BAA0B;WAC1E,MAAM,CAAC,YAAY,EAAE,CAAC;QACzB,MAAM,EACJ,WAAW,EAAE,YAAY,EACzB,WAAW,EAAE,YAAY,EACzB,YAAY,EACZ,GAAG,IAAI,EACR,GAAG,MAAM,CAAC;QACX,OAAO;YACL,GAAG,IAAI;YACP,QAAQ,EAAE,MAAM,CAAC,QAAQ,GAAG,CAAC;YAC7B,KAAK,EAAE,YAAY;YACnB,YAAY,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,YAAY,IAAI,EAAE,CAAC,EAAE,eAAe,CAAC,YAAY,CAAC,CAAC;SAC9E,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,CAAC,KAAK,KAAK,WAAW,IAAI,KAAK,CAAC,IAAI,KAAK,6BAA6B,EAAE,CAAC;QACjF,OAAO,SAAS,CAAC,MAAM,EAAE,aAAa,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,cAAc,CAAC,CAAC;IACjF,CAAC;IAED,IAAI,MAAM,CAAC,KAAK,KAAK,WAAW,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,gBAAgB;WAC/D,KAAK,CAAC,IAAI,KAAK,sBAAsB;WACrC,KAAK,CAAC,IAAI,KAAK,iCAAiC,CAAC,EAAE,CAAC;QACvD,MAAM,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,GAAG,IAAI,EAAE,GAAG,MAAM,CAAC;QAChE,OAAO;YACL,GAAG,IAAI;YACP,QAAQ,EAAE,MAAM,CAAC,QAAQ,GAAG,CAAC;YAC7B,KAAK,EAAE,KAAK,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC,CAAC,UAAU;gBACjD,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,sBAAsB,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,YAAY;SACzE,CAAC;IACJ,CAAC;IAED,MAAM,eAAe,GAAG,sBAAsB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC3D,IAAI,eAAe,IAAI,WAAW,IAAI,KAAK,IAAI,gBAAgB,IAAI,KAAK;WACnE,qBAAqB,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACrD,OAAO,SAAS,CAAC,MAAM,EAAE,eAAe,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,cAAc,CAAC,CAAC;IACnF,CAAC;IAED,IAAI,MAAM,CAAC,KAAK,KAAK,WAAW,IAAI,KAAK,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACrE,IAAI,CAAC,MAAM,CAAC,YAAY,IAAI,CAAC,MAAM,CAAC,cAAc,IAAI,KAAK,CAAC,GAAG,GAAG,MAAM,CAAC,cAAc,EAAE,CAAC;YACxF,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;QACxD,CAAC;QACD,MAAM,EACJ,YAAY,EACZ,cAAc,EAAE,eAAe,EAC/B,eAAe,EAAE,gBAAgB,EACjC,iBAAiB,EAAE,kBAAkB,EACrC,GAAG,IAAI,EACR,GAAG,MAAM,CAAC;QACX,OAAO;YACL,GAAG,IAAI;YACP,QAAQ,EAAE,MAAM,CAAC,QAAQ,GAAG,CAAC;YAC7B,KAAK,EAAE,YAAY;SACpB,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,MAAM,CAAC,KAAK,KAAK,gBAAgB,IAAI,MAAM,CAAC,KAAK,KAAK,UAAU,CAAC;WACjE,KAAK,CAAC,IAAI,KAAK,+BAA+B,EAAE,CAAC;QACpD,MAAM,EACJ,WAAW,EAAE,YAAY,EACzB,WAAW,EAAE,YAAY,EACzB,YAAY,EAAE,aAAa,EAC3B,GAAG,IAAI,EACR,GAAG,MAAM,CAAC;QACX,OAAO;YACL,GAAG,IAAI;YACP,QAAQ,EAAE,MAAM,CAAC,QAAQ,GAAG,CAAC;YAC7B,KAAK,EAAE,mBAAmB;SAC3B,CAAC;IACJ,CAAC;IAED,IAAI,KAAK,CAAC,IAAI,KAAK,kBAAkB,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,KAAK,YAAY,EAAE,CAAC;QACnH,MAAM,EACJ,YAAY,EAAE,aAAa,EAC3B,cAAc,EAAE,eAAe,EAC/B,eAAe,EAAE,gBAAgB,EACjC,iBAAiB,EAAE,kBAAkB,EACrC,gBAAgB,EAAE,iBAAiB,EACnC,GAAG,IAAI,EACR,GAAG,MAAM,CAAC;QACX,OAAO;YACL,GAAG,IAAI;YACP,QAAQ,EAAE,MAAM,CAAC,QAAQ,GAAG,CAAC;YAC7B,KAAK,EAAE,YAAY;SACpB,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,CAAC,KAAK,KAAK,YAAY,IAAI,KAAK,CAAC,IAAI,KAAK,yBAAyB,EAAE,CAAC;QAC9E,MAAM,EACJ,KAAK,EAAE,MAAM,EACb,gBAAgB,EAAE,iBAAiB,EACnC,WAAW,EAAE,YAAY,EACzB,WAAW,EAAE,YAAY,EACzB,YAAY,EAAE,aAAa,EAC3B,GAAG,IAAI,EACR,GAAG,MAAM,CAAC;QACX,OAAO;YACL,GAAG,IAAI;YACP,QAAQ,EAAE,MAAM,CAAC,QAAQ,GAAG,CAAC;YAC7B,KAAK,EAAE,WAAW;SACnB,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,CAAC,KAAK,KAAK,YAAY,IAAI,KAAK,CAAC,IAAI,KAAK,iCAAiC,EAAE,CAAC;QACtF,MAAM,EACJ,KAAK,EAAE,MAAM,EACb,gBAAgB,EAAE,iBAAiB,EACnC,WAAW,EAAE,YAAY,EACzB,WAAW,EAAE,YAAY,EACzB,YAAY,EAAE,aAAa,EAC3B,GAAG,IAAI,EACR,GAAG,MAAM,CAAC;QACX,OAAO;YACL,GAAG,IAAI;YACP,QAAQ,EAAE,MAAM,CAAC,QAAQ,GAAG,CAAC;YAC7B,KAAK,EAAE,aAAa;SACrB,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,iBAAiB,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC7D,IAAI,MAAM,EAAE,CAAC;QACX,OAAO;YACL,GAAG,MAAM;YACT,QAAQ,EAAE,MAAM,CAAC,QAAQ,GAAG,CAAC;YAC7B,KAAK,EAAE,MAAM;YACb,GAAG,CAAC,WAAW,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/D,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,uBAAuB,CAAC,CAAC,CAAC;gBAC3C,gBAAgB,EAAE,0BAA2B;gBAC7C,aAAa,EAAE,0BAA2B,CAAC,aAAa;gBACxD,YAAY,EAAE,0BAA2B,CAAC,YAAY;aACvD,CAAC,CAAC,CAAC,EAAE,CAAC;YACP,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,kBAAkB,CAAC,CAAC,CAAC;gBACtC,SAAS,EAAE,KAAK,CAAC,SAAS;gBAC1B,WAAW,EAAE,qBAAsB;gBACnC,YAAY,EAAE,qBAAsB,CAAC,YAAY;aAClD,CAAC,CAAC,CAAC,EAAE,CAAC;YACP,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC;gBACnC,WAAW,EAAE,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC;aAC3C,CAAC,CAAC,CAAC,EAAE,CAAC;YACP,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,+BAA+B,CAAC,CAAC,CAAC;gBACnD,WAAW,EAAE,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC;gBAC1C,YAAY,EAAE,eAAe,CAAC,KAAK,CAAC,OAAO,CAAC;aAC7C,CAAC,CAAC,CAAC,EAAE,CAAC;SACR,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,KAAK,CAAC,sCAAsC,MAAM,CAAC,KAAK,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;AACxF,CAAC;AAED,SAAS,SAAS,CAChB,MAAqB,EACrB,YAA8B,EAC9B,SAAiB,EACjB,cAAsB;IAEtB,MAAM,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI,EAAE,GAAG,MAAM,CAAC;IAC/E,OAAO;QACL,GAAG,IAAI;QACP,QAAQ,EAAE,MAAM,CAAC,QAAQ,GAAG,CAAC;QAC7B,KAAK,EAAE,WAAW;QAClB,YAAY;QACZ,cAAc;QACd,SAAS;KACV,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAmB,EAAE,IAA0B;IAC5E,OAAO,CAAC,KAAK,KAAK,UAAU,IAAI,IAAI,KAAK,yBAAyB,CAAC;WAC9D,CAAC,KAAK,KAAK,YAAY,IAAI,IAAI,KAAK,6BAA6B,CAAC;WAClE,CAAC,KAAK,KAAK,aAAa,IAAI,IAAI,KAAK,yBAAyB,CAAC;WAC/D,CAAC,KAAK,KAAK,mBAAmB,IAAI,IAAI,KAAK,+BAA+B,CAAC;WAC3E,CAAC,KAAK,KAAK,aAAa,IAAI,IAAI,KAAK,kCAAkC,CAAC;WACxE,CAAC,KAAK,KAAK,sBAAsB,IAAI,IAAI,KAAK,+BAA+B,CAAC,CAAC;AACtF,CAAC;AAED,SAAS,kBAAkB,CAAC,WAAoD;IAC9E,QAAQ,WAAW,EAAE,CAAC;QACpB,KAAK,MAAM;YACT,OAAO,iBAAiB,CAAC;QAC3B,KAAK,UAAU;YACb,OAAO,YAAY,CAAC;QACtB,KAAK,gBAAgB;YACnB,OAAO,yBAAyB,CAAC;QACnC,KAAK,aAAa;YAChB,OAAO,aAAa,CAAC;IACzB,CAAC;AACH,CAAC"}

package/dist/src/runner/mission-state-store.d.ts

@@ -0,0 +1,70 @@
+import { type FileHandle } from 'node:fs/promises';
+import { type MissionRecord } from './mission-state-machine.js';
+import { type PlanParentRecord } from './mission-plan-parent.js';
+export type JsonValue = null | boolean | number | string | JsonValue[] | {
+    [key: string]: JsonValue;
+};
+export interface StoredAggregate {
+    revision: number;
+    value: JsonValue;
+}
+export interface MissionTombstone {
+    kind: 'mission' | 'plan-parent' | 'publication';
+    terminalState: string;
+    retainedAt: string;
+}
+export interface MissionBlobReference {
+    sha256: string;
+    size: number;
+}
+export interface MissionStateDraft {
+    missions: Record<string, MissionRecord>;
+    planParents: Record<string, PlanParentRecord>;
+    publications: Record<string, StoredAggregate>;
+    reservations: Record<string, StoredAggregate>;
+    nextEligibleAt: Record<string, string>;
+    tombstones: Record<string, MissionTombstone>;
+    blobs: Record<string, MissionBlobReference>;
+}
+export interface MissionStateSnapshot extends MissionStateDraft {
+    version: 1;
+    generation: number;
+    checksum: string;
+}
+export interface MissionStateStoreOptions {
+    maxStateBytes?: number;
+    atomicOperations?: Partial<MissionStateAtomicOperations>;
+}
+export interface MissionStateAtomicOperations {
+    syncFile(file: FileHandle, generation: number): Promise<void>;
+    rename(source: string, destination: string, generation: number): Promise<void>;
+    syncDirectory(directory: FileHandle, generation: number): Promise<void>;
+}
+export interface MissionStateExclusiveSession {
+    load(): Promise<MissionStateSnapshot>;
+    mutate(expectedGeneration: number, reducer: (draft: MissionStateDraft) => void): Promise<MissionStateSnapshot>;
+}
+export declare class MissionStateStore {
+    private readonly targetRoot;
+    private readonly stateDir;
+    private readonly maxStateBytes;
+    private readonly atomicOperations;
+    constructor(targetRoot: string, stateDir: string, options?: MissionStateStoreOptions);
+    statePath(): string;
+    stateDirectory(): string;
+    temporaryDirectory(name: string): Promise<string>;
+    load(): Promise<MissionStateSnapshot>;
+    mutate(expectedGeneration: number, reducer: (draft: MissionStateDraft) => void): Promise<MissionStateSnapshot>;
+    exclusive<T>(operation: (session: MissionStateExclusiveSession) => Promise<T>): Promise<T>;
+    mutateWithBlobs(expectedGeneration: number, contents: Uint8Array[], reducer: (draft: MissionStateDraft, references: MissionBlobReference[]) => void): Promise<MissionStateSnapshot>;
+    private putBlob;
+    private ensureDurableDirectory;
+    private ensureNoFollowDirectories;
+    private assertExistingStatePathSafe;
+    readBlob(reference: MissionBlobReference): Promise<Buffer>;
+    pruneUnreferencedBlobs(): Promise<string[]>;
+    private acquireCoordinator;
+    private commitMutation;
+    private atomicWrite;
+}
+//# sourceMappingURL=mission-state-store.d.ts.map

package/dist/src/runner/mission-state-store.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mission-state-store.d.ts","sourceRoot":"","sources":["../../../src/runner/mission-state-store.ts"],"names":[],"mappings":"AAEA,OAAO,EAEL,KAAK,UAAU,EAChB,MAAM,kBAAkB,CAAC;AAY1B,OAAO,EAIL,KAAK,aAAa,EACnB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAGL,KAAK,gBAAgB,EACtB,MAAM,0BAA0B,CAAC;AAElC,MAAM,MAAM,SAAS,GAAG,IAAI,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,SAAS,EAAE,GAAG;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,CAAC;AAEtG,MAAM,WAAW,eAAe;IAC9B,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,SAAS,CAAC;CAClB;AAED,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,SAAS,GAAG,aAAa,GAAG,aAAa,CAAC;IAChD,aAAa,EAAE,MAAM,CAAC;IACtB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,oBAAoB;IACnC,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IACxC,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAC9C,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IAC9C,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IAC9C,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACvC,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAC7C,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC;CAC7C;AAED,MAAM,WAAW,oBAAqB,SAAQ,iBAAiB;IAC7D,OAAO,EAAE,CAAC,CAAC;IACX,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,wBAAwB;IACvC,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,gBAAgB,CAAC,EAAE,OAAO,CAAC,4BAA4B,CAAC,CAAC;CAC1D;AAED,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9D,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC/E,aAAa,CAAC,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CACzE;AAED,MAAM,WAAW,4BAA4B;IAC3C,IAAI,IAAI,OAAO,CAAC,oBAAoB,CAAC,CAAC;IACtC,MAAM,CACJ,kBAAkB,EAAE,MAAM,EAC1B,OAAO,EAAE,CAAC,KAAK,EAAE,iBAAiB,KAAK,IAAI,GAC1C,OAAO,CAAC,oBAAoB,CAAC,CAAC;CAClC;AAKD,qBAAa,iBAAiB;IAK1B,OAAO,CAAC,QAAQ,CAAC,UAAU;IAC3B,OAAO,CAAC,QAAQ,CAAC,QAAQ;IAL3B,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAS;IACvC,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAA+B;gBAG7C,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,EACjC,OAAO,GAAE,wBAA6B;IAkBjC,SAAS,IAAI,MAAM;IAInB,cAAc,IAAI,MAAM;IAIlB,kBAAkB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IAOjD,IAAI,IAAI,OAAO,CAAC,oBAAoB,CAAC;IAmBrC,MAAM,CACjB,kBAAkB,EAAE,MAAM,EAC1B,OAAO,EAAE,CAAC,KAAK,EAAE,iBAAiB,KAAK,IAAI,GAC1C,OAAO,CAAC,oBAAoB,CAAC;IAInB,SAAS,CAAC,CAAC,EACtB,SAAS,EAAE,CAAC,OAAO,EAAE,4BAA4B,KAAK,OAAO,CAAC,CAAC,CAAC,GAC/D,OAAO,CAAC,CAAC,CAAC;IAcA,eAAe,CAC1B,kBAAkB,EAAE,MAAM,EAC1B,QAAQ,EAAE,UAAU,EAAE,EACtB,OAAO,EAAE,CAAC,KAAK,EAAE,iBAAiB,EAAE,UAAU,EAAE,oBAAoB,EAAE,KAAK,IAAI,GAC9E,OAAO,CAAC,oBAAoB,CAAC;YAelB,OAAO;YAoCP,sBAAsB;YAqBtB,yBAAyB;YAyCzB,2BAA2B;IAM5B,QAAQ,CAAC,SAAS,EAAE,oBAAoB,GAAG,OAAO,CAAC,MAAM,CAAC;IAwC1D,sBAAsB,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;YAuC1C,kBAAkB;YAWlB,cAAc;YAqBd,WAAW;CAkC1B"}