@msn-control/liftoff 0.11.2 → 0.12.0

package/dist/application/state-migration/recovery.js

@@ -0,0 +1,145 @@
+import { stateAssert, stateContentMatches, stateFailure, stateObjectDigest, stateSnapshotMatches } from '../../domain/repair/stateful-invariants.js';
+import { hasQuarantinedStateOperation, migrationResult, StateMigrationProtocol } from './execution.js';
+import { StateMigrationRuntime, statePlanFingerprint } from './runtime.js';
+export function validateStateRecoveryObservation(journal, inspection, context, mode) {
+    const plan = journal.plan;
+    stateAssert(!journal.checkpoints.some((entry) => entry.code === 'process-tree-termination-unproven')
+        || hasQuarantinedStateOperation(journal.operationId), 'recovery-required');
+    stateAssert(journal.schemaVersion === 1 && journal.completedAt === null
+        && statePlanFingerprint(plan) === plan.fingerprint, 'recovery-conflict');
+    stateAssert(plan.intent.recovery.includes(mode) && (mode === 'forward' || mode === 'remove-new-destinations'), 'approval-mismatch');
+    stateAssert(stateObjectDigest({ ...context, configurationDigest: plan.context.configurationDigest }) === stateObjectDigest(plan.context), 'configuration-changed');
+    stateAssert(context.configurationDigest === plan.context.configurationDigest
+        || context.configurationDigest === plan.intent.targetConfigurationDigest, 'configuration-changed');
+    stateAssert(inspection.schemaVersion === 1 && inspection.live && stateObjectDigest(inspection.context) === stateObjectDigest(context)
+        && stateObjectDigest(inspection.bindings) === stateObjectDigest(plan.inspection.bindings)
+        && inspection.states.length === plan.inspection.states.length, 'approval-mismatch');
+    const seen = new Set();
+    for (const state of inspection.states) {
+        const id = state.snapshot.backendId;
+        stateAssert(!seen.has(id), 'mapping-conflict');
+        seen.add(id);
+        const before = plan.inspection.states.find((entry) => entry.snapshot.backendId === id);
+        stateAssert(before, 'mapping-conflict');
+        if (stateSnapshotMatches(before.snapshot, state.snapshot))
+            continue;
+        const candidate = journal.prepared?.candidates[id];
+        const intended = journal.checkpoints.some((entry) => entry.backendId === id
+            && (entry.kind === 'write-intent' || entry.kind === 'source-retirement-intent' || entry.kind === 'compensation-intent'));
+        stateAssert(intended && journal.prepared, 'recovery-conflict');
+        const isRetiredSource = id === plan.intent.sourceBackendId && !candidate && !state.snapshot.exists;
+        const isCompensatedDestination = mode === 'remove-new-destinations' && id !== plan.intent.sourceBackendId && !state.snapshot.exists;
+        stateAssert(isRetiredSource || isCompensatedDestination || (candidate && stateContentMatches(candidate.snapshot, state.snapshot)), 'recovery-conflict');
+    }
+    if (mode === 'remove-new-destinations') {
+        const source = inspection.states.find((entry) => entry.snapshot.backendId === plan.intent.sourceBackendId);
+        const before = plan.inspection.states.find((entry) => entry.snapshot.backendId === plan.intent.sourceBackendId);
+        stateAssert(journal.prepared && plan.intent.recipe !== 'address-refactor'
+            && context.configurationDigest === plan.context.configurationDigest
+            && stateSnapshotMatches(source.snapshot, before.snapshot), 'recovery-conflict');
+        for (const state of inspection.states) {
+            if (state.snapshot.backendId === plan.intent.sourceBackendId || !state.snapshot.exists)
+                continue;
+            const acknowledged = journal.checkpoints.some((entry) => entry.kind === 'destination-written'
+                && entry.backendId === state.snapshot.backendId && entry.snapshot && stateSnapshotMatches(entry.snapshot, state.snapshot));
+            stateAssert(state.snapshot.operationId === journal.operationId || acknowledged, 'ownership-mismatch');
+        }
+    }
+}
+export async function buildStateRecoveryPlan(dependencies, request) {
+    const runtime = new StateMigrationRuntime(dependencies);
+    const result = {
+        schemaVersion: 1, operationKind: 'state-recovery-plan', executable: false,
+        recoveryRef: null, fingerprint: null, mode: request.mode, blockers: [], expiresAt: runtime.now()
+    };
+    try {
+        await runtime.available(request.context);
+        const { value: journal, digest: journalDigest } = await runtime.load(request.journalRef, 'journal', request.context);
+        const { value: inspection } = await runtime.load(request.inspectionRef, 'inspection', request.context);
+        stateAssert(inspection.expiresAt > runtime.now(), 'expired');
+        validateStateRecoveryObservation(journal, inspection, request.context, request.mode);
+        const signal = runtime.signal(request.signal);
+        stateAssert(await runtime.writers.inspectConfiguration(request.context, signal) === request.context.configurationDigest, 'configuration-changed');
+        for (const binding of inspection.bindings) {
+            await runtime.checkState(binding, request.context, inspection.states.find((state) => state.snapshot.backendId === binding.id).snapshot, undefined, signal);
+        }
+        const plan = {
+            schemaVersion: 1, journalRef: request.journalRef, journalDigest, inspection,
+            mode: request.mode, context: structuredClone(request.context), fingerprint: '',
+            expiresAt: Math.min(inspection.expiresAt, runtime.now() + runtime.ttl)
+        };
+        plan.fingerprint = statePlanFingerprint(plan);
+        const saved = await runtime.save('recovery', request.context, plan);
+        return { ...result, executable: true, recoveryRef: saved.ref, fingerprint: plan.fingerprint, expiresAt: plan.expiresAt };
+    }
+    catch (error) {
+        return { ...result, blockers: [{ code: stateFailure(error) }] };
+    }
+}
+export async function executeStateRecovery(dependencies, request) {
+    const runtime = new StateMigrationRuntime(dependencies);
+    let journal = null;
+    let journalRef = null;
+    let fingerprint = request.approval?.fingerprint ?? '';
+    let protocol = null;
+    let failure;
+    try {
+        stateAssert(request.approval?.kind === 'state-recovery', 'approval-mismatch');
+        await runtime.available(request.context);
+        const { value: plan } = await runtime.load(request.recoveryRef, 'recovery', request.context);
+        stateAssert(plan.schemaVersion === 1 && statePlanFingerprint(plan) === plan.fingerprint, 'artifact-integrity');
+        runtime.sameContext(plan.context, request.context);
+        runtime.authority(request.approval, 'state-recovery', plan.fingerprint, plan.expiresAt);
+        const loaded = await runtime.load(plan.journalRef, 'journal', request.context);
+        stateAssert(loaded.digest === plan.journalDigest, 'recovery-conflict');
+        validateStateRecoveryObservation(loaded.value, plan.inspection, request.context, plan.mode);
+        journal = loaded.value;
+        journalRef = plan.journalRef;
+        fingerprint = journal.plan.fingerprint;
+        const descriptor = {
+            ref: journalRef, digest: loaded.digest, purpose: 'journal', scope: runtime.scope(request.context)
+        };
+        protocol = new StateMigrationProtocol(runtime, journal, descriptor, plan.inspection.states, () => runtime.authority(request.approval, 'state-recovery', plan.fingerprint, plan.expiresAt), runtime.signal(request.signal));
+        await protocol.acquire(true);
+        if (plan.mode === 'forward')
+            await protocol.forward();
+        else
+            await protocol.compensate();
+    }
+    catch (error) {
+        failure = stateFailure(error);
+        if (protocol) {
+            try {
+                await protocol.checkpoint('blocked', { code: failure });
+            }
+            catch { /* Preserve the last durable intent. */ }
+        }
+    }
+    finally {
+        try {
+            await protocol?.release();
+        }
+        catch (error) {
+            const code = stateFailure(error);
+            if (code === 'process-tree-termination-unproven')
+                failure = code;
+            else
+                failure ??= code;
+        }
+    }
+    return migrationResult(runtime, journal, journalRef, fingerprint, failure, true);
+}
+export async function inspectStateMigration(dependencies, request) {
+    const runtime = new StateMigrationRuntime(dependencies);
+    try {
+        await runtime.available(request.context);
+        const { value: journal } = await runtime.load(request.journalRef, 'journal', request.context);
+        stateAssert(journal.schemaVersion === 1 && statePlanFingerprint(journal.plan) === journal.plan.fingerprint, 'artifact-integrity');
+        // A historical checkpoint is not current backend/resource verification.
+        return migrationResult(runtime, journal, request.journalRef, journal.plan.fingerprint, 'verification-incomplete');
+    }
+    catch (error) {
+        return migrationResult(runtime, null, null, '', stateFailure(error));
+    }
+}
+//# sourceMappingURL=recovery.js.map

package/dist/application/state-migration/recovery.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"recovery.js","sourceRoot":"","sources":["../../../src/application/state-migration/recovery.ts"],"names":[],"mappings":"AAaA,OAAO,EACL,WAAW,EAAE,mBAAmB,EAAE,YAAY,EAAE,iBAAiB,EAAE,oBAAoB,EACxF,MAAM,4CAA4C,CAAC;AACpD,OAAO,EAAE,4BAA4B,EAAE,eAAe,EAAE,sBAAsB,EAAE,MAAM,gBAAgB,CAAC;AACvG,OAAO,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAC;AAE3E,MAAM,UAAU,gCAAgC,CAC9C,OAA8B,EAC9B,UAAiC,EACjC,OAA8B,EAC9B,IAA+B;IAE/B,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;IAC1B,WAAW,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,mCAAmC,CAAC;WAC/F,4BAA4B,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,mBAAmB,CAAC,CAAC;IAC7E,WAAW,CAAC,OAAO,CAAC,aAAa,KAAK,CAAC,IAAI,OAAO,CAAC,WAAW,KAAK,IAAI;WAClE,oBAAoB,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,WAAW,EAAE,mBAAmB,CAAC,CAAC;IAC3E,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,yBAAyB,CAAC,EAAE,mBAAmB,CAAC,CAAC;IACpI,WAAW,CAAC,iBAAiB,CAAC,EAAE,GAAG,OAAO,EAAE,mBAAmB,EAAE,IAAI,CAAC,OAAO,CAAC,mBAAmB,EAAE,CAAC,KAAK,iBAAiB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,uBAAuB,CAAC,CAAC;IACnK,WAAW,CAAC,OAAO,CAAC,mBAAmB,KAAK,IAAI,CAAC,OAAO,CAAC,mBAAmB;WACvE,OAAO,CAAC,mBAAmB,KAAK,IAAI,CAAC,MAAM,CAAC,yBAAyB,EAAE,uBAAuB,CAAC,CAAC;IACrG,WAAW,CAAC,UAAU,CAAC,aAAa,KAAK,CAAC,IAAI,UAAU,CAAC,IAAI,IAAI,iBAAiB,CAAC,UAAU,CAAC,OAAO,CAAC,KAAK,iBAAiB,CAAC,OAAO,CAAC;WAChI,iBAAiB,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC;WACtF,UAAU,CAAC,MAAM,CAAC,MAAM,KAAK,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;IACtF,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;QACtC,MAAM,EAAE,GAAG,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC;QACpC,WAAW,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,kBAAkB,CAAC,CAAC;QAC/C,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACb,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,KAAK,EAAE,CAAC,CAAC;QACvF,WAAW,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;QACxC,IAAI,oBAAoB,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC;YAAE,SAAS;QACpE,MAAM,SAAS,GAAG,OAAO,CAAC,QAAQ,EAAE,UAAU,CAAC,EAAE,CAAC,CAAC;QACnD,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,KAAK,EAAE;eACtE,CAAC,KAAK,CAAC,IAAI,KAAK,cAAc,IAAI,KAAK,CAAC,IAAI,KAAK,0BAA0B,IAAI,KAAK,CAAC,IAAI,KAAK,qBAAqB,CAAC,CAAC,CAAC;QAC3H,WAAW,CAAC,QAAQ,IAAI,OAAO,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAC;QAC/D,MAAM,eAAe,GAAG,EAAE,KAAK,IAAI,CAAC,MAAM,CAAC,eAAe,IAAI,CAAC,SAAS,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC;QACnG,MAAM,wBAAwB,GAAG,IAAI,KAAK,yBAAyB,IAAI,EAAE,KAAK,IAAI,CAAC,MAAM,CAAC,eAAe,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC;QACpI,WAAW,CAAC,eAAe,IAAI,wBAAwB,IAAI,CAAC,SAAS,IAAI,mBAAmB,CAAC,SAAS,CAAC,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,EAAE,mBAAmB,CAAC,CAAC;IAC1J,CAAC;IACD,IAAI,IAAI,KAAK,yBAAyB,EAAE,CAAC;QACvC,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,KAAK,IAAI,CAAC,MAAM,CAAC,eAAe,CAAE,CAAC;QAC5G,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,KAAK,IAAI,CAAC,MAAM,CAAC,eAAe,CAAE,CAAC;QACjH,WAAW,CAAC,OAAO,CAAC,QAAQ,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,kBAAkB;eACpE,OAAO,CAAC,mBAAmB,KAAK,IAAI,CAAC,OAAO,CAAC,mBAAmB;eAChE,oBAAoB,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,mBAAmB,CAAC,CAAC;QAClF,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;YACtC,IAAI,KAAK,CAAC,QAAQ,CAAC,SAAS,KAAK,IAAI,CAAC,MAAM,CAAC,eAAe,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM;gBAAE,SAAS;YACjG,MAAM,YAAY,GAAG,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,qBAAqB;mBACxF,KAAK,CAAC,SAAS,KAAK,KAAK,CAAC,QAAQ,CAAC,SAAS,IAAI,KAAK,CAAC,QAAQ,IAAI,oBAAoB,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC7H,WAAW,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,KAAK,OAAO,CAAC,WAAW,IAAI,YAAY,EAAE,oBAAoB,CAAC,CAAC;QACxG,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAC1C,YAAwC,EACxC,OAAsC;IAEtC,MAAM,OAAO,GAAG,IAAI,qBAAqB,CAAC,YAAY,CAAC,CAAC;IACxD,MAAM,MAAM,GAAwB;QAClC,aAAa,EAAE,CAAC,EAAE,aAAa,EAAE,qBAAqB,EAAE,UAAU,EAAE,KAAK;QACzE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,SAAS,EAAE,OAAO,CAAC,GAAG,EAAE;KACjG,CAAC;IACF,IAAI,CAAC;QACH,MAAM,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACzC,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,GAAG,MAAM,OAAO,CAAC,IAAI,CAAwB,OAAO,CAAC,UAAU,EAAE,SAAS,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QAC5I,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,MAAM,OAAO,CAAC,IAAI,CAAwB,OAAO,CAAC,aAAa,EAAE,YAAY,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QAC9H,WAAW,CAAC,UAAU,CAAC,SAAS,GAAG,OAAO,CAAC,GAAG,EAAE,EAAE,SAAS,CAAC,CAAC;QAC7D,gCAAgC,CAAC,OAAO,EAAE,UAAU,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;QACrF,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC9C,WAAW,CAAC,MAAM,OAAO,CAAC,OAAO,CAAC,oBAAoB,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,KAAK,OAAO,CAAC,OAAO,CAAC,mBAAmB,EAAE,uBAAuB,CAAC,CAAC;QAClJ,KAAK,MAAM,OAAO,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;YAC1C,MAAM,OAAO,CAAC,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,KAAK,OAAO,CAAC,EAAE,CAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;QAC9J,CAAC;QACD,MAAM,IAAI,GAAsB;YAC9B,aAAa,EAAE,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,aAAa,EAAE,UAAU;YAC3E,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,EAAE,eAAe,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,WAAW,EAAE,EAAE;YAC9E,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,SAAS,EAAE,OAAO,CAAC,GAAG,EAAE,GAAG,OAAO,CAAC,GAAG,CAAC;SACvE,CAAC;QACF,IAAI,CAAC,WAAW,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QACpE,OAAO,EAAE,GAAG,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,CAAC,GAAG,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC;IAC3H,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAAC,OAAO,EAAE,GAAG,MAAM,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;IAAC,CAAC;AACtF,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,YAAwC,EACxC,OAAoC;IAEpC,MAAM,OAAO,GAAG,IAAI,qBAAqB,CAAC,YAAY,CAAC,CAAC;IACxD,IAAI,OAAO,GAAiC,IAAI,CAAC;IACjD,IAAI,UAAU,GAAkB,IAAI,CAAC;IACrC,IAAI,WAAW,GAAG,OAAO,CAAC,QAAQ,EAAE,WAAW,IAAI,EAAE,CAAC;IACtD,IAAI,QAAQ,GAAkC,IAAI,CAAC;IACnD,IAAI,OAAoD,CAAC;IACzD,IAAI,CAAC;QACH,WAAW,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,KAAK,gBAAgB,EAAE,mBAAmB,CAAC,CAAC;QAC9E,MAAM,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACzC,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,MAAM,OAAO,CAAC,IAAI,CAAoB,OAAO,CAAC,WAAW,EAAE,UAAU,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QAChH,WAAW,CAAC,IAAI,CAAC,aAAa,KAAK,CAAC,IAAI,oBAAoB,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,WAAW,EAAE,oBAAoB,CAAC,CAAC;QAC/G,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QACnD,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,gBAAgB,EAAE,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;QACxF,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,IAAI,CAAwB,IAAI,CAAC,UAAU,EAAE,SAAS,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QACtG,WAAW,CAAC,MAAM,CAAC,MAAM,KAAK,IAAI,CAAC,aAAa,EAAE,mBAAmB,CAAC,CAAC;QACvE,gCAAgC,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5F,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC;QACvB,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC;QAC7B,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC;QACvC,MAAM,UAAU,GAA4B;YAC1C,GAAG,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;SAClG,CAAC;QACF,QAAQ,GAAG,IAAI,sBAAsB,CACnC,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,MAAM,EACpD,GAAG,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,gBAAgB,EAAE,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC,EAC7F,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAC/B,CAAC;QACF,MAAM,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;YAAE,MAAM,QAAQ,CAAC,OAAO,EAAE,CAAC;;YACjD,MAAM,QAAQ,CAAC,UAAU,EAAE,CAAC;IACnC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,QAAQ,EAAE,CAAC;YACb,IAAI,CAAC;gBAAC,MAAM,QAAQ,CAAC,UAAU,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;YAAC,CAAC;YAAC,MAAM,CAAC,CAAC,uCAAuC,CAAC,CAAC;QACpH,CAAC;IACH,CAAC;YAAS,CAAC;QACT,IAAI,CAAC;YAAC,MAAM,QAAQ,EAAE,OAAO,EAAE,CAAC;QAAC,CAAC;QAClC,OAAO,KAAK,EAAE,CAAC;YACb,MAAM,IAAI,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;YACjC,IAAI,IAAI,KAAK,mCAAmC;gBAAE,OAAO,GAAG,IAAI,CAAC;;gBAC5D,OAAO,KAAK,IAAI,CAAC;QACxB,CAAC;IACH,CAAC;IACD,OAAO,eAAe,CAAC,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;AACnF,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,YAAwC,EACxC,OAAqC;IAErC,MAAM,OAAO,GAAG,IAAI,qBAAqB,CAAC,YAAY,CAAC,CAAC;IACxD,IAAI,CAAC;QACH,MAAM,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACzC,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,MAAM,OAAO,CAAC,IAAI,CAAwB,OAAO,CAAC,UAAU,EAAE,SAAS,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QACrH,WAAW,CAAC,OAAO,CAAC,aAAa,KAAK,CAAC,IAAI,oBAAoB,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,oBAAoB,CAAC,CAAC;QAClI,wEAAwE;QACxE,OAAO,eAAe,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,yBAAyB,CAAC,CAAC;IACpH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAAC,OAAO,eAAe,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;IAAC,CAAC;AAC3F,CAAC"}

package/dist/application/state-migration/runtime.d.ts

@@ -0,0 +1,32 @@
+import { type InspectedState, type StateArtifactDescriptor, type StateArtifactPurpose, type StateAuthority, type StateAuthorityKind, type StateBackendAdapter, type StateBackendBinding, type StateBackendLease, type StateBackendMetadata, type StateExecutionContext, type StateMigrationDependencies, type StateNativeDriver, type StateWriterCoordinator, type StateSnapshot } from '../../domain/repair/stateful.js';
+export declare class StateMigrationRuntime {
+    #private;
+    readonly deps: StateMigrationDependencies;
+    readonly ttl: number;
+    readonly writers: StateWriterCoordinator;
+    readonly native: StateNativeDriver;
+    constructor(deps: StateMigrationDependencies);
+    now(): number;
+    scope(context: StateExecutionContext): string;
+    signal(signal?: AbortSignal): AbortSignal;
+    checkSignal(signal?: AbortSignal): void;
+    external<T>(signal: AbortSignal | undefined, action: (signal: AbortSignal) => Promise<T>, lateResult?: (value: T) => Promise<void>): Promise<T>;
+    quiesceNative(): Promise<void>;
+    private nativeCall;
+    available(context: StateExecutionContext, signal?: AbortSignal): Promise<void>;
+    authority(authority: StateAuthority | undefined, kind: StateAuthorityKind, fingerprint: string, expiresAt: number): void;
+    sameContext(expected: StateExecutionContext, current: StateExecutionContext): void;
+    backend(binding: StateBackendBinding): StateBackendAdapter;
+    publicMetadata(metadata: StateBackendMetadata, binding: StateBackendBinding): StateBackendMetadata;
+    observe(binding: StateBackendBinding, context: StateExecutionContext, signal?: AbortSignal): Promise<StateBackendMetadata>;
+    readState(binding: StateBackendBinding, context: StateExecutionContext, expected?: StateBackendMetadata, lease?: StateBackendLease, signal?: AbortSignal): Promise<InspectedState>;
+    checkState(binding: StateBackendBinding, context: StateExecutionContext, expected: StateSnapshot, lease?: StateBackendLease, signal?: AbortSignal): Promise<InspectedState>;
+    save<T>(purpose: StateArtifactPurpose, context: StateExecutionContext, value: T, id?: string): Promise<StateArtifactDescriptor>;
+    load<T>(ref: string, purpose: StateArtifactPurpose, context: StateExecutionContext): Promise<{
+        value: T;
+        digest: string;
+    }>;
+    replace<T>(descriptor: StateArtifactDescriptor, value: T): Promise<StateArtifactDescriptor>;
+}
+export declare function statePlanFingerprint(value: object): string;
+export declare function stateOperationId(fingerprint: string): string;

package/dist/application/state-migration/runtime.js

@@ -0,0 +1,188 @@
+import { StateMigrationError } from '../../domain/repair/stateful.js';
+import { canonicalStateValue, inspectStateBytes, stateAssert, stateBindingDigest, stateDigest, stateMetadataMatches, stateObjectDigest, stateSnapshotMatches, validateStateContext } from '../../domain/repair/stateful-invariants.js';
+import { protectedStateScope } from '../../adapters/state/protected-workspace.js';
+import { boundedStateOperation } from '../../domain/repair/stateful-bounded.js';
+export class StateMigrationRuntime {
+    deps;
+    ttl;
+    writers;
+    native;
+    #backends = new Map();
+    constructor(deps) {
+        this.deps = deps;
+        this.ttl = deps.observationTtlMs ?? 300_000;
+        stateAssert(this.ttl > 0 && this.ttl <= 900_000, 'invalid-binding');
+        this.writers = {
+            inspectConfiguration: (context, signal) => this.external(signal, (bounded) => deps.writers.inspectConfiguration(context, bounded)),
+            quiesce: (request) => this.external(request.signal, (signal) => deps.writers.quiesce({ ...request, signal })),
+            assertQuiesced: (handle, digest, signal) => this.external(signal, (bounded) => deps.writers.assertQuiesced(handle, digest, bounded)),
+            commitConfiguration: (request) => this.external(request.signal, (signal) => deps.writers.commitConfiguration({ ...request, signal })),
+            verifyCutover: (request) => this.external(request.signal, (signal) => deps.writers.verifyCutover({ ...request, signal })),
+            publishInventory: (request) => this.external(request.signal, (signal) => deps.writers.publishInventory({ ...request, signal })),
+            resume: (request) => this.external(request.signal, (signal) => deps.writers.resume({ ...request, signal }))
+        };
+        this.native = {
+            quiesce: () => this.quiesceNative(),
+            review: (request) => this.nativeCall(request.signal, (signal) => deps.native.review({ ...request, signal })),
+            prepare: (plan, signal) => this.nativeCall(signal, (bounded) => deps.native.prepare(plan, bounded)),
+            verifyDestinations: (plan, current, signal) => this.nativeCall(signal, (bounded) => deps.native.verifyDestinations(plan, current, bounded)),
+            verify: (plan, current, signal) => this.nativeCall(signal, (bounded) => deps.native.verify(plan, current, bounded))
+        };
+    }
+    now() { return this.deps.now?.() ?? Date.now(); }
+    scope(context) { return protectedStateScope(context); }
+    signal(signal) {
+        const ms = this.deps.operationTimeoutMs ?? 300_000;
+        stateAssert(ms > 0 && ms <= 1_800_000, 'invalid-binding');
+        return AbortSignal.any([AbortSignal.timeout(ms), ...(signal ? [signal] : [])]);
+    }
+    checkSignal(signal) {
+        if (signal?.aborted)
+            throw new StateMigrationError(signal.reason?.name === 'TimeoutError' ? 'timeout' : 'cancelled');
+    }
+    external(signal, action, lateResult) {
+        const bounded = signal ?? this.signal();
+        return boundedStateOperation(bounded, () => action(bounded), lateResult);
+    }
+    async quiesceNative() {
+        stateAssert(this.deps.native.quiesce, 'process-tree-termination-unproven');
+        try {
+            await boundedStateOperation(AbortSignal.timeout(10_000), () => this.deps.native.quiesce());
+        }
+        catch (error) {
+            if (error instanceof StateMigrationError && error.code === 'process-tree-termination-unproven')
+                throw error;
+            throw new StateMigrationError('process-tree-termination-unproven');
+        }
+    }
+    async nativeCall(signal, action) {
+        let outcome;
+        try {
+            outcome = { value: await this.external(signal, action) };
+        }
+        catch (error) {
+            outcome = { error };
+        }
+        // Cancellation can settle the bounded operation before the child's own
+        // signal handler finishes. Do not cross the release/cleanup fence yet.
+        await this.quiesceNative();
+        if ('error' in outcome)
+            throw outcome.error;
+        return outcome.value;
+    }
+    async available(context, signal) {
+        validateStateContext(context);
+        await this.external(signal, () => this.deps.workspace.assertAvailable(context));
+    }
+    authority(authority, kind, fingerprint, expiresAt) {
+        stateAssert(authority?.kind === kind && authority.fingerprint === fingerprint, kind === 'state-read' ? 'state-read-approval-required' : 'approval-mismatch');
+        stateAssert(Number.isFinite(authority.expiresAt) && this.now() < authority.expiresAt
+            && authority.expiresAt <= expiresAt && this.now() < expiresAt, 'expired');
+    }
+    sameContext(expected, current) {
+        validateStateContext(current);
+        stateAssert(stateObjectDigest(expected) === stateObjectDigest(current), 'configuration-changed');
+    }
+    backend(binding) {
+        const digest = stateBindingDigest(binding);
+        let adapter = this.#backends.get(digest);
+        if (!adapter) {
+            const actual = this.deps.backend(structuredClone(binding));
+            stateAssert(stateBindingDigest(actual.binding) === digest, 'invalid-binding');
+            adapter = {
+                binding: structuredClone(binding),
+                metadata: (context, signal) => this.external(signal, (bounded) => actual.metadata(context, bounded)),
+                assertAccess: (context, write, signal) => this.external(signal, (bounded) => actual.assertAccess(context, write, bounded)),
+                readPrivate: (expected, context, lease, signal) => this.external(signal, (bounded) => actual.readPrivate(expected, context, lease, bounded)),
+                acquire: (expected, context, operationId, signal) => this.external(signal, (bounded) => actual.acquire(expected, context, operationId, bounded), (lease) => lease.release()),
+                writePrivate: (request) => this.external(request.signal, (signal) => actual.writePrivate({ ...request, signal })),
+                remove: (request) => this.external(request.signal, (signal) => actual.remove({ ...request, signal }))
+            };
+            this.#backends.set(digest, adapter);
+        }
+        return adapter;
+    }
+    publicMetadata(metadata, binding) {
+        stateAssert(metadata.backendId === binding.id && metadata.bindingDigest === stateBindingDigest(binding)
+            && typeof metadata.exists === 'boolean' && Number.isSafeInteger(metadata.size) && metadata.size >= 0
+            && Number.isFinite(metadata.observedAt) && metadata.observedAt <= this.now()
+            && this.now() - metadata.observedAt <= this.ttl, 'incomplete-observation');
+        stateAssert((metadata.exists && typeof metadata.version === 'string' && metadata.version.length <= 256
+            && /^[a-zA-Z0-9":._-]+$/.test(metadata.version))
+            || (!metadata.exists && metadata.version === null && metadata.etag === null && metadata.size === 0), 'incomplete-observation');
+        stateAssert(metadata.etag === null || (typeof metadata.etag === 'string' && /^"0x[a-fA-F0-9]+"$/.test(metadata.etag)), 'incomplete-observation');
+        return {
+            backendId: binding.id, bindingDigest: stateBindingDigest(binding), exists: metadata.exists,
+            version: metadata.version, etag: metadata.etag, size: metadata.size, observedAt: metadata.observedAt,
+            ...(metadata.operationId && /^[a-f0-9-]{36}$/.test(metadata.operationId) ? { operationId: metadata.operationId } : {})
+        };
+    }
+    async observe(binding, context, signal) {
+        this.checkSignal(signal);
+        return this.publicMetadata(await this.backend(binding).metadata(context, signal), binding);
+    }
+    async readState(binding, context, expected, lease, signal) {
+        const metadata = await this.observe(binding, context, signal);
+        if (expected)
+            stateAssert(stateMetadataMatches(expected, metadata), 'stale-state');
+        if (lease)
+            await this.external(signal, (bounded) => lease.assertHeld(bounded));
+        const bytes = metadata.exists ? await this.backend(binding).readPrivate(metadata, context, lease, signal) : null;
+        try {
+            const parsed = inspectStateBytes(metadata, bytes, this.deps.maxStateBytes);
+            stateAssert(stateMetadataMatches(metadata, await this.observe(binding, context, signal)), 'stale-state');
+            if (lease)
+                await this.external(signal, (bounded) => lease.assertHeld(bounded));
+            const stateRef = bytes ? (await this.deps.workspace.put('state', this.scope(context), bytes)).ref : null;
+            return { ...parsed, stateRef };
+        }
+        finally {
+            bytes?.fill(0);
+        }
+    }
+    async checkState(binding, context, expected, lease, signal) {
+        const state = await this.readState(binding, context, expected, lease, signal);
+        stateAssert(stateSnapshotMatches(expected, state.snapshot), 'stale-state');
+        return state;
+    }
+    async save(purpose, context, value, id) {
+        const bytes = Buffer.from(canonicalStateValue(value));
+        try {
+            return await this.deps.workspace.put(purpose, this.scope(context), bytes, id);
+        }
+        finally {
+            bytes.fill(0);
+        }
+    }
+    async load(ref, purpose, context) {
+        const bytes = await this.deps.workspace.get(ref, purpose, this.scope(context));
+        try {
+            const value = JSON.parse(Buffer.from(bytes).toString('utf8'));
+            return { value, digest: stateDigest(bytes) };
+        }
+        catch {
+            throw new StateMigrationError('artifact-integrity');
+        }
+        finally {
+            bytes.fill(0);
+        }
+    }
+    async replace(descriptor, value) {
+        const bytes = Buffer.from(canonicalStateValue(value));
+        try {
+            return await this.deps.workspace.replace(descriptor.ref, descriptor.purpose, descriptor.scope, descriptor.digest, bytes);
+        }
+        finally {
+            bytes.fill(0);
+        }
+    }
+}
+export function statePlanFingerprint(value) {
+    const { fingerprint: _fingerprint, ...body } = value;
+    return stateObjectDigest(body);
+}
+export function stateOperationId(fingerprint) {
+    const hex = stateDigest(`state-operation:${fingerprint}`);
+    return `${hex.slice(0, 8)}-${hex.slice(8, 12)}-4${hex.slice(13, 16)}-a${hex.slice(17, 20)}-${hex.slice(20, 32)}`;
+}
+//# sourceMappingURL=runtime.js.map

package/dist/application/state-migration/runtime.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime.js","sourceRoot":"","sources":["../../../src/application/state-migration/runtime.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,mBAAmB,EAepB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EACL,mBAAmB,EAAE,iBAAiB,EAAE,WAAW,EAAE,kBAAkB,EAAE,WAAW,EACpF,oBAAoB,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,oBAAoB,EACpF,MAAM,4CAA4C,CAAC;AACpD,OAAO,EAAE,mBAAmB,EAAE,MAAM,6CAA6C,CAAC;AAClF,OAAO,EAAE,qBAAqB,EAAE,MAAM,yCAAyC,CAAC;AAEhF,MAAM,OAAO,qBAAqB;IAKX,IAAI;IAJhB,GAAG,CAAS;IACZ,OAAO,CAAyB;IAChC,MAAM,CAAoB;IACnC,SAAS,GAAG,IAAI,GAAG,EAA+B,CAAC;IACnD,YAAqB,IAAgC;oBAAhC,IAAI;QACvB,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,gBAAgB,IAAI,OAAO,CAAC;QAC5C,WAAW,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,IAAI,IAAI,CAAC,GAAG,IAAI,OAAO,EAAE,iBAAiB,CAAC,CAAC;QACpE,IAAI,CAAC,OAAO,GAAG;YACb,oBAAoB,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;YAClI,OAAO,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;YAC7G,cAAc,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;YACpI,mBAAmB,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;YACrI,aAAa,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;YACzH,gBAAgB,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;YAC/H,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;SAC5G,CAAC;QACF,IAAI,CAAC,MAAM,GAAG;YACZ,OAAO,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,aAAa,EAAE;YACnC,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;YAC5G,OAAO,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YACnG,kBAAkB,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,kBAAkB,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAC3I,MAAM,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;SACpH,CAAC;IACJ,CAAC;IACD,GAAG,KAAa,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACzD,KAAK,CAAC,OAA8B,IAAY,OAAO,mBAAmB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IACtF,MAAM,CAAC,MAAoB;QACzB,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,kBAAkB,IAAI,OAAO,CAAC;QACnD,WAAW,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,SAAS,EAAE,iBAAiB,CAAC,CAAC;QAC1D,OAAO,WAAW,CAAC,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACjF,CAAC;IACD,WAAW,CAAC,MAAoB;QAC9B,IAAI,MAAM,EAAE,OAAO;YAAE,MAAM,IAAI,mBAAmB,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,KAAK,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;IACvH,CAAC;IACD,QAAQ,CAAI,MAA+B,EAAE,MAA2C,EAAE,UAAwC;QAChI,MAAM,OAAO,GAAG,MAAM,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QACxC,OAAO,qBAAqB,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,UAAU,CAAC,CAAC;IAC3E,CAAC;IACD,KAAK,CAAC,aAAa;QACjB,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,mCAAmC,CAAC,CAAC;QAC3E,IAAI,CAAC;YACH,MAAM,qBAAqB,CAAC,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,OAAQ,EAAE,CAAC,CAAC;QAC9F,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,KAAK,YAAY,mBAAmB,IAAI,KAAK,CAAC,IAAI,KAAK,mCAAmC;gBAAE,MAAM,KAAK,CAAC;YAC5G,MAAM,IAAI,mBAAmB,CAAC,mCAAmC,CAAC,CAAC;QACrE,CAAC;IACH,CAAC;IACO,KAAK,CAAC,UAAU,CAAI,MAA+B,EAAE,MAA2C;QACtG,IAAI,OAA0C,CAAC;QAC/C,IAAI,CAAC;YAAC,OAAO,GAAG,EAAE,KAAK,EAAE,MAAM,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;QAAC,CAAC;QACjE,OAAO,KAAK,EAAE,CAAC;YAAC,OAAO,GAAG,EAAE,KAAK,EAAE,CAAC;QAAC,CAAC;QACtC,uEAAuE;QACvE,uEAAuE;QACvE,MAAM,IAAI,CAAC,aAAa,EAAE,CAAC;QAC3B,IAAI,OAAO,IAAI,OAAO;YAAE,MAAM,OAAO,CAAC,KAAK,CAAC;QAC5C,OAAO,OAAO,CAAC,KAAK,CAAC;IACvB,CAAC;IACD,KAAK,CAAC,SAAS,CAAC,OAA8B,EAAE,MAAoB;QAClE,oBAAoB,CAAC,OAAO,CAAC,CAAC;QAC9B,MAAM,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC;IAClF,CAAC;IACD,SAAS,CAAC,SAAqC,EAAE,IAAwB,EAAE,WAAmB,EAAE,SAAiB;QAC/G,WAAW,CAAC,SAAS,EAAE,IAAI,KAAK,IAAI,IAAI,SAAS,CAAC,WAAW,KAAK,WAAW,EAC3E,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,8BAA8B,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC;QAChF,WAAW,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC,SAAS;eAC/E,SAAS,CAAC,SAAS,IAAI,SAAS,IAAI,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,EAAE,SAAS,CAAC,CAAC;IAC9E,CAAC;IACD,WAAW,CAAC,QAA+B,EAAE,OAA8B;QACzE,oBAAoB,CAAC,OAAO,CAAC,CAAC;QAC9B,WAAW,CAAC,iBAAiB,CAAC,QAAQ,CAAC,KAAK,iBAAiB,CAAC,OAAO,CAAC,EAAE,uBAAuB,CAAC,CAAC;IACnG,CAAC;IACD,OAAO,CAAC,OAA4B;QAClC,MAAM,MAAM,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;QAC3C,IAAI,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACzC,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC;YAC3D,WAAW,CAAC,kBAAkB,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,MAAM,EAAE,iBAAiB,CAAC,CAAC;YAC9E,OAAO,GAAG;gBACR,OAAO,EAAE,eAAe,CAAC,OAAO,CAAC;gBACjC,QAAQ,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;gBACpG,YAAY,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;gBAC1H,WAAW,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;gBAC5I,OAAO,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAChE,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,EAAE,WAAW,EAAE,OAAO,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,EAAE,CACzG;gBACD,YAAY,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;gBACjH,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;aACtG,CAAC;YACF,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACtC,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,cAAc,CAAC,QAA8B,EAAE,OAA4B;QACzE,WAAW,CAAC,QAAQ,CAAC,SAAS,KAAK,OAAO,CAAC,EAAE,IAAI,QAAQ,CAAC,aAAa,KAAK,kBAAkB,CAAC,OAAO,CAAC;eAClG,OAAO,QAAQ,CAAC,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,IAAI,IAAI,CAAC;eACjG,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,QAAQ,CAAC,UAAU,IAAI,IAAI,CAAC,GAAG,EAAE;eACzE,IAAI,CAAC,GAAG,EAAE,GAAG,QAAQ,CAAC,UAAU,IAAI,IAAI,CAAC,GAAG,EAAE,wBAAwB,CAAC,CAAC;QAC7E,WAAW,CAAC,CAAC,QAAQ,CAAC,MAAM,IAAI,OAAO,QAAQ,CAAC,OAAO,KAAK,QAAQ,IAAI,QAAQ,CAAC,OAAO,CAAC,MAAM,IAAI,GAAG;eACjG,qBAAqB,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;eAC7C,CAAC,CAAC,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,OAAO,KAAK,IAAI,IAAI,QAAQ,CAAC,IAAI,KAAK,IAAI,IAAI,QAAQ,CAAC,IAAI,KAAK,CAAC,CAAC,EAAE,wBAAwB,CAAC,CAAC;QACjI,WAAW,CAAC,QAAQ,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,OAAO,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,oBAAoB,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,wBAAwB,CAAC,CAAC;QACjJ,OAAO;YACL,SAAS,EAAE,OAAO,CAAC,EAAE,EAAE,aAAa,EAAE,kBAAkB,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM;YAC1F,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,EAAE,QAAQ,CAAC,UAAU;YACpG,GAAG,CAAC,QAAQ,CAAC,WAAW,IAAI,iBAAiB,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACvH,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,OAAO,CAAC,OAA4B,EAAE,OAA8B,EAAE,MAAoB;QAC9F,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;QACzB,OAAO,IAAI,CAAC,cAAc,CAAC,MAAM,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;IAC7F,CAAC;IAED,KAAK,CAAC,SAAS,CACb,OAA4B,EAAE,OAA8B,EAAE,QAA+B,EAC7F,KAAyB,EAAE,MAAoB;QAE/C,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QAC9D,IAAI,QAAQ;YAAE,WAAW,CAAC,oBAAoB,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,aAAa,CAAC,CAAC;QACnF,IAAI,KAAK;YAAE,MAAM,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;QAC/E,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,WAAW,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACjH,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,iBAAiB,CAAC,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;YAC3E,WAAW,CAAC,oBAAoB,CAAC,QAAQ,EAAE,MAAM,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC;YACzG,IAAI,KAAK;gBAAE,MAAM,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;YAC/E,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;YACzG,OAAO,EAAE,GAAG,MAAM,EAAE,QAAQ,EAAE,CAAC;QACjC,CAAC;gBAAS,CAAC;YAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;QAAC,CAAC;IAC/B,CAAC;IAED,KAAK,CAAC,UAAU,CACd,OAA4B,EAAE,OAA8B,EAAE,QAAuB,EACrF,KAAyB,EAAE,MAAoB;QAE/C,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;QAC9E,WAAW,CAAC,oBAAoB,CAAC,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,EAAE,aAAa,CAAC,CAAC;QAC3E,OAAO,KAAK,CAAC;IACf,CAAC;IAED,KAAK,CAAC,IAAI,CAAI,OAA6B,EAAE,OAA8B,EAAE,KAAQ,EAAE,EAAW;QAChG,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC;QACtD,IAAI,CAAC;YAAC,OAAO,MAAM,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QAAC,CAAC;gBAC9E,CAAC;YAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAAC,CAAC;IAC5B,CAAC;IAED,KAAK,CAAC,IAAI,CAAI,GAAW,EAAE,OAA6B,EAAE,OAA8B;QACtF,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAC/E,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAM,CAAC;YACnE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/C,CAAC;QAAC,MAAM,CAAC;YAAC,MAAM,IAAI,mBAAmB,CAAC,oBAAoB,CAAC,CAAC;QAAC,CAAC;gBACxD,CAAC;YAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAAC,CAAC;IAC5B,CAAC;IAED,KAAK,CAAC,OAAO,CAAI,UAAmC,EAAE,KAAQ;QAC5D,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC;QACtD,IAAI,CAAC;YAAC,OAAO,MAAM,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,EAAE,UAAU,CAAC,OAAO,EAAE,UAAU,CAAC,KAAK,EAAE,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAAC,CAAC;gBACzH,CAAC;YAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAAC,CAAC;IAC5B,CAAC;CACF;AAED,MAAM,UAAU,oBAAoB,CAAC,KAAa;IAChD,MAAM,EAAE,WAAW,EAAE,YAAY,EAAE,GAAG,IAAI,EAAE,GAAG,KAAgC,CAAC;IAChF,OAAO,iBAAiB,CAAC,IAAI,CAAC,CAAC;AACjC,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,WAAmB;IAClD,MAAM,GAAG,GAAG,WAAW,CAAC,mBAAmB,WAAW,EAAE,CAAC,CAAC;IAC1D,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;AACnH,CAAC"}

package/dist/application/state-migration/service.d.ts

@@ -0,0 +1,2 @@
+import type { RetainedStateKeyProvider, StateMigrationDependencies, StateMigrationService } from '../../domain/repair/stateful.js';
+export declare function createStateMigrationService(dependencies: StateMigrationDependencies, retainedKeys?: RetainedStateKeyProvider): StateMigrationService;

package/dist/application/state-migration/service.js

@@ -0,0 +1,20 @@
+import { observeStateMetadata, inspectApprovedState, buildStateMigrationPlan, validateStateMigrationPlan } from './planning.js';
+import { executeStateMigration } from './execution.js';
+import { buildStateRecoveryPlan, executeStateRecovery, inspectStateMigration } from './recovery.js';
+import { buildStateDisposalPlan, disposeRetainedState } from './lifecycle.js';
+export function createStateMigrationService(dependencies, retainedKeys) {
+    return Object.freeze({
+        workspaceRef: dependencies.workspace.workspaceRef,
+        observeMetadata: (request) => observeStateMetadata(dependencies, request),
+        inspect: (request) => inspectApprovedState(dependencies, request),
+        plan: (request) => buildStateMigrationPlan(dependencies, request),
+        validate: (request) => validateStateMigrationPlan(dependencies, request),
+        execute: (request) => executeStateMigration(dependencies, request),
+        inspectOperation: (request) => inspectStateMigration(dependencies, request),
+        planRecovery: (request) => buildStateRecoveryPlan(dependencies, request),
+        recover: (request) => executeStateRecovery(dependencies, request),
+        planDisposal: (request) => buildStateDisposalPlan(dependencies, request, retainedKeys),
+        dispose: (request) => disposeRetainedState(dependencies, request, retainedKeys)
+    });
+}
+//# sourceMappingURL=service.js.map

package/dist/application/state-migration/service.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"service.js","sourceRoot":"","sources":["../../../src/application/state-migration/service.ts"],"names":[],"mappings":"AAGA,OAAO,EACL,oBAAoB,EAAE,oBAAoB,EAAE,uBAAuB,EAAE,0BAA0B,EAChG,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,qBAAqB,EAAE,MAAM,gBAAgB,CAAC;AACvD,OAAO,EAAE,sBAAsB,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAC;AACpG,OAAO,EAAE,sBAAsB,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAE9E,MAAM,UAAU,2BAA2B,CACzC,YAAwC,EACxC,YAAuC;IAEvC,OAAO,MAAM,CAAC,MAAM,CAAwB;QAC1C,YAAY,EAAE,YAAY,CAAC,SAAS,CAAC,YAAY;QACjD,eAAe,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,oBAAoB,CAAC,YAAY,EAAE,OAAO,CAAC;QACzE,OAAO,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,oBAAoB,CAAC,YAAY,EAAE,OAAO,CAAC;QACjE,IAAI,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,uBAAuB,CAAC,YAAY,EAAE,OAAO,CAAC;QACjE,QAAQ,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,0BAA0B,CAAC,YAAY,EAAE,OAAO,CAAC;QACxE,OAAO,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,qBAAqB,CAAC,YAAY,EAAE,OAAO,CAAC;QAClE,gBAAgB,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,qBAAqB,CAAC,YAAY,EAAE,OAAO,CAAC;QAC3E,YAAY,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,sBAAsB,CAAC,YAAY,EAAE,OAAO,CAAC;QACxE,OAAO,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,oBAAoB,CAAC,YAAY,EAAE,OAAO,CAAC;QACjE,YAAY,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,sBAAsB,CAAC,YAAY,EAAE,OAAO,EAAE,YAAY,CAAC;QACtF,OAAO,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,oBAAoB,CAAC,YAAY,EAAE,OAAO,EAAE,YAAY,CAAC;KAChF,CAAC,CAAC;AACL,CAAC"}

package/dist/application/update/command-guidance.d.ts

@@ -1,2 +1,19 @@
-export declare function formatUpdateCommand(projectRoot: string, mode?: 'normal' | 'force' | 'check', platform?: NodeJS.Platform): string;
-export declare function formatUpdateValidationCommands(projectRoot: string, platform?: NodeJS.Platform): string;
+export type UpdateCommandMode = 'normal' | 'force' | 'check';
+export type UpdateGuidanceText = string | readonly (string | {
+    readonly projectRoot: string;
+    readonly mode?: UpdateCommandMode;
+})[];
+export interface ResolvedUpdateGuidanceContext {
+    readonly state: 'resolved';
+    readonly requestedProjectRoot: string;
+    readonly projectRoot: string;
+    readonly invocationDirectory: string;
+    readonly implicitProjectRoot?: string;
+}
+export type UpdateGuidanceContext = ResolvedUpdateGuidanceContext | {
+    readonly state: 'unresolved';
+    readonly detail: string;
+};
+export declare function formatUpdateCommand(projectRoot: string, mode?: UpdateCommandMode, platform?: NodeJS.Platform, context?: UpdateGuidanceContext): string;
+export declare function formatUpdateGuidanceText(text: UpdateGuidanceText, context?: UpdateGuidanceContext, platform?: NodeJS.Platform): string;
+export declare function formatUpdateValidationCommands(projectRoot: string, platform?: NodeJS.Platform, context?: UpdateGuidanceContext): string;

package/dist/application/update/command-guidance.js

@@ -1,14 +1,28 @@
-import { commandShellForPlatform, formatShellCommand, formatShellDirectoryCommands } from '../../adapters/process/shell-command.js';
-export function formatUpdateCommand(projectRoot, mode = 'normal', platform = process.platform) {
+import { commandShellForPlatform, formatShellCommand, formatShellCommands, formatShellDirectoryCommands } from '../../adapters/process/shell-command.js';
+function targetsProject(projectRoot, context) {
+    return context?.state === 'resolved' &&
+        (projectRoot === context.projectRoot || projectRoot === context.requestedProjectRoot);
+}
+export function formatUpdateCommand(projectRoot, mode = 'normal', platform = process.platform, context) {
+    const implicit = targetsProject(projectRoot, context) &&
+        context.implicitProjectRoot === context.projectRoot;
     return formatShellCommand({
         executable: 'liftoff',
-        args: ['update', ...(mode === 'normal' ? [] : [`--${mode}`]), '--project', projectRoot]
+        args: ['update', ...(mode === 'normal' ? [] : [`--${mode}`]),
+            ...(implicit ? [] : ['--project', projectRoot])]
     }, commandShellForPlatform(platform));
 }
-export function formatUpdateValidationCommands(projectRoot, platform = process.platform) {
-    return formatShellDirectoryCommands([
+export function formatUpdateGuidanceText(text, context, platform = process.platform) {
+    return typeof text === 'string' ? text : text.map((part) => typeof part === 'string' ? part : formatUpdateCommand(part.projectRoot, part.mode, platform, context)).join('');
+}
+export function formatUpdateValidationCommands(projectRoot, platform = process.platform, context) {
+    const commands = [
         { executable: 'liftoff', args: ['validate'] },
         { executable: 'liftoff', args: ['doctor'] }
-    ], projectRoot, commandShellForPlatform(platform));
+    ];
+    const shell = commandShellForPlatform(platform);
+    return targetsProject(projectRoot, context) && context.invocationDirectory === context.projectRoot
+        ? formatShellCommands(commands, shell)
+        : formatShellDirectoryCommands(commands, projectRoot, shell);
 }
 //# sourceMappingURL=command-guidance.js.map

package/dist/application/update/command-guidance.js.map

@@ -1 +1 @@
-{"version":3,"file":"command-guidance.js","sourceRoot":"","sources":["../../../src/application/update/command-guidance.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,uBAAuB,EACvB,kBAAkB,EAClB,4BAA4B,EAC7B,MAAM,yCAAyC,CAAC;AAEjD,MAAM,UAAU,mBAAmB,CACjC,WAAmB,EACnB,IAAI,GAAiC,QAAQ,EAC7C,QAAQ,GAAoB,OAAO,CAAC,QAAQ;IAE5C,OAAO,kBAAkB,CAAC;QACxB,UAAU,EAAE,SAAS;QACrB,IAAI,EAAE,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,EAAE,WAAW,EAAE,WAAW,CAAC;KACxF,EAAE,uBAAuB,CAAC,QAAQ,CAAC,CAAC,CAAC;AACxC,CAAC;AAED,MAAM,UAAU,8BAA8B,CAC5C,WAAmB,EACnB,QAAQ,GAAoB,OAAO,CAAC,QAAQ;IAE5C,OAAO,4BAA4B,CAAC;QAClC,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,UAAU,CAAC,EAAE;QAC7C,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE;KAC5C,EAAE,WAAW,EAAE,uBAAuB,CAAC,QAAQ,CAAC,CAAC,CAAC;AACrD,CAAC"}
+{"version":3,"file":"command-guidance.js","sourceRoot":"","sources":["../../../src/application/update/command-guidance.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,uBAAuB,EACvB,kBAAkB,EAClB,mBAAmB,EACnB,4BAA4B,EAC7B,MAAM,yCAAyC,CAAC;AAuBjD,SAAS,cAAc,CACrB,WAAmB,EACnB,OAA+B;IAE/B,OAAO,OAAO,EAAE,KAAK,KAAK,UAAU;QAClC,CAAC,WAAW,KAAK,OAAO,CAAC,WAAW,IAAI,WAAW,KAAK,OAAO,CAAC,oBAAoB,CAAC,CAAC;AAC1F,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,WAAmB,EACnB,IAAI,GAAsB,QAAQ,EAClC,QAAQ,GAAoB,OAAO,CAAC,QAAQ,EAC5C,OAA+B;IAE/B,MAAM,QAAQ,GAAG,cAAc,CAAC,WAAW,EAAE,OAAO,CAAC;QACnD,OAAO,CAAC,mBAAmB,KAAK,OAAO,CAAC,WAAW,CAAC;IACtD,OAAO,kBAAkB,CAAC;QACxB,UAAU,EAAE,SAAS;QACrB,IAAI,EAAE,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;YAC1D,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC;KACnD,EAAE,uBAAuB,CAAC,QAAQ,CAAC,CAAC,CAAC;AACxC,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,IAAwB,EACxB,OAA+B,EAC/B,QAAQ,GAAoB,OAAO,CAAC,QAAQ;IAE5C,OAAO,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CACzD,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,CACtG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACb,CAAC;AAED,MAAM,UAAU,8BAA8B,CAC5C,WAAmB,EACnB,QAAQ,GAAoB,OAAO,CAAC,QAAQ,EAC5C,OAA+B;IAE/B,MAAM,QAAQ,GAAqD;QACjE,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,UAAU,CAAC,EAAE;QAC7C,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE;KAC5C,CAAC;IACF,MAAM,KAAK,GAAG,uBAAuB,CAAC,QAAQ,CAAC,CAAC;IAChD,OAAO,cAAc,CAAC,WAAW,EAAE,OAAO,CAAC,IAAI,OAAO,CAAC,mBAAmB,KAAK,OAAO,CAAC,WAAW;QAChG,CAAC,CAAC,mBAAmB,CAAC,QAAQ,EAAE,KAAK,CAAC;QACtC,CAAC,CAAC,4BAA4B,CAAC,QAAQ,EAAE,WAAW,EAAE,KAAK,CAAC,CAAC;AACjE,CAAC"}

package/dist/application/update/guidance-context.d.ts

@@ -0,0 +1,2 @@
+import type { UpdateGuidanceContext } from './command-guidance.js';
+export declare function resolveUpdateGuidanceContext(cwd: string, projectRoot: string, discoveredProjectRoot?: string): Promise<UpdateGuidanceContext>;

package/dist/application/update/guidance-context.js

@@ -0,0 +1,35 @@
+import { lstat, realpath } from 'node:fs/promises';
+import path from 'node:path';
+import { errorCode, errorMessage } from '../../adapters/filesystem/errors.js';
+import { findProjectRoot } from '../../adapters/filesystem/project-discovery.js';
+import { FileSystemError } from '../../domain/project/errors.js';
+const unavailableContextCodes = new Set(['ENOENT', 'ENOTDIR', 'EACCES', 'EPERM', 'ELOOP']);
+export async function resolveUpdateGuidanceContext(cwd, projectRoot, discoveredProjectRoot) {
+    const requestedProjectRoot = path.resolve(projectRoot);
+    const canonicalProjectRoot = await realpath(requestedProjectRoot);
+    try {
+        const invocationDirectory = await realpath(cwd);
+        const discovered = discoveredProjectRoot ?? await findProjectRoot(cwd);
+        if (discovered) {
+            // Canonical equality must not hide a leaf alias rejected by the transaction boundary.
+            const directory = await lstat(discovered);
+            if (!directory.isDirectory() || directory.isSymbolicLink()) {
+                throw new FileSystemError(`Implicit project root must be a directory, not a symlink or junction: ${discovered}`);
+            }
+        }
+        return {
+            state: 'resolved',
+            requestedProjectRoot,
+            projectRoot: canonicalProjectRoot,
+            invocationDirectory,
+            ...(discovered ? { implicitProjectRoot: await realpath(discovered) } : {})
+        };
+    }
+    catch (error) {
+        if (!(error instanceof FileSystemError) && !unavailableContextCodes.has(errorCode(error) ?? '')) {
+            throw error;
+        }
+        return { state: 'unresolved', detail: errorMessage(error) };
+    }
+}
+//# sourceMappingURL=guidance-context.js.map

package/dist/application/update/guidance-context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"guidance-context.js","sourceRoot":"","sources":["../../../src/application/update/guidance-context.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,qCAAqC,CAAC;AAC9E,OAAO,EAAE,eAAe,EAAE,MAAM,gDAAgD,CAAC;AACjF,OAAO,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AAGjE,MAAM,uBAAuB,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;AAE3F,MAAM,CAAC,KAAK,UAAU,4BAA4B,CAChD,GAAW,EACX,WAAmB,EACnB,qBAA8B;IAE9B,MAAM,oBAAoB,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IACvD,MAAM,oBAAoB,GAAG,MAAM,QAAQ,CAAC,oBAAoB,CAAC,CAAC;IAClE,IAAI,CAAC;QACH,MAAM,mBAAmB,GAAG,MAAM,QAAQ,CAAC,GAAG,CAAC,CAAC;QAChD,MAAM,UAAU,GAAG,qBAAqB,IAAI,MAAM,eAAe,CAAC,GAAG,CAAC,CAAC;QACvE,IAAI,UAAU,EAAE,CAAC;YACf,sFAAsF;YACtF,MAAM,SAAS,GAAG,MAAM,KAAK,CAAC,UAAU,CAAC,CAAC;YAC1C,IAAI,CAAC,SAAS,CAAC,WAAW,EAAE,IAAI,SAAS,CAAC,cAAc,EAAE,EAAE,CAAC;gBAC3D,MAAM,IAAI,eAAe,CAAC,yEAAyE,UAAU,EAAE,CAAC,CAAC;YACnH,CAAC;QACH,CAAC;QACD,OAAO;YACL,KAAK,EAAE,UAAU;YACjB,oBAAoB;YACpB,WAAW,EAAE,oBAAoB;YACjC,mBAAmB;YACnB,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,mBAAmB,EAAE,MAAM,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC3E,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,CAAC,CAAC,KAAK,YAAY,eAAe,CAAC,IAAI,CAAC,uBAAuB,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;YAChG,MAAM,KAAK,CAAC;QACd,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;IAC9D,CAAC;AACH,CAAC"}

package/dist/application/update/inspection.d.ts

@@ -1,11 +1,26 @@
 import { type ProjectFileSnapshot } from '../../adapters/filesystem/project-transaction.js';
-import type { LiftoffManifest, ProjectPlan } from '../../domain/project/contracts.js';
+import type { CodingAgentId, ExternalCommand, LiftoffManifest, ProjectPlan } from '../../domain/project/contracts.js';
 import type { CommandRunner } from '../../process-runner.js';
+import { type UpdateGuidanceContext, type UpdateGuidanceText } from './command-guidance.js';
+import { type ProvisioningGroupPlan } from './planning.js';
 import { type ManagedUpdateReconciliationReport } from './reporting.js';
 export declare class UpdatePlanError extends Error {
     readonly reasonCode: string;
-    readonly remedy: string;
-    constructor(message: string, reasonCode: string, remedy: string);
+    private readonly remedyText;
+    constructor(message: string, reasonCode: string, remedyText: UpdateGuidanceText);
+    get remedy(): string;
+    formatRemedy(context?: UpdateGuidanceContext): string;
+}
+export interface DeferredAgentRepair {
+    kind: 'agent-integration';
+    status: 'separate-repair-required';
+    recordedAgents: readonly CodingAgentId[];
+    requestedAgents: readonly CodingAgentId[];
+    addAgents: readonly CodingAgentId[];
+    recordedDefaultAgent: CodingAgentId | null;
+    requestedDefaultAgent: CodingAgentId | null;
+    changesDefault: boolean;
+    command: ExternalCommand;
 }
 export declare function preserveDiagnosticGovernanceIdentity(target: LiftoffManifest, source: LiftoffManifest): void;
 export declare function findUpdateRepositoryBoundary(projectRoot: string): Promise<string | undefined>;
@@ -16,16 +31,18 @@ export declare function inspectProjectUpdate(projectDirectory: string, options?:
     repositoryRoot: string | undefined;
     manifest: LiftoffManifest;
     plan: ProjectPlan;
+    deferredAgentRepair: DeferredAgentRepair | null;
     renderPlan: ProjectPlan;
     render: import("../../domain/project/contracts.js").GeneratedArtifact[];
     entries: import("../../reconcile.js").ReconcileEntry[];
     oldByName: Map<string, import("../../domain/project/contracts.js").ManifestManagedArtifact>;
-    provisioningPlans: import("./planning.js").ProvisioningGroupPlan[];
+    provisioningPlans: ProvisioningGroupPlan[];
     snapshots: ProjectFileSnapshot[];
     stateMigration: import("../../governance-activation/migration.js").ActivationStateMigrationPlan;
     historyMigration: import("../../governance-activation/migration-history.js").ActivationHistoryMigrationPlan;
     revalidationSource: import("../../governance-activation/inputs.js").ActivationInputSnapshot | undefined;
     retainedSource: import("./protected-source.js").RetainedProjectInput[] | undefined;
+    sensitivePathExclusions: string[][];
     reconciliation: ManagedUpdateReconciliationReport;
     ownershipMigrationPending: boolean;
     workloadIntentChanged: boolean;