@msn-control/liftoff 0.10.4 → 0.11.2

package/dist/governance-activation/identity.js

@@ -1,89 +1,2 @@
-import { exactGlobalInstallCommand } from '../package-identity.js';
-export const liftoffActivationPackageVersion = '0.10.0';
-export const liftoffManifestArtifactVersion = 7;
-export const governanceActivationPolicyVersion = '6';
-export const activationContractVersion = 1;
-export const phaseGraphSchemaVersion = 1;
-export const activationStateSchemaVersion = 1;
-export const evidenceHeaderSchemaVersion = 1;
-export const approvalEnvelopeSchemaVersion = 1;
-export const supersessionSchemaVersion = 1;
-export const credentialPolicySchemaVersion = 1;
-export const knownActivationVersions = {
-    liftoffVersion: [liftoffActivationPackageVersion],
-    manifestArtifactVersion: [liftoffManifestArtifactVersion],
-    policyVersion: ['5', governanceActivationPolicyVersion],
-    activationContractVersion: [activationContractVersion],
-    phaseGraphSchemaVersion: [phaseGraphSchemaVersion],
-    activationStateSchemaVersion: [activationStateSchemaVersion],
-    evidenceHeaderSchemaVersion: [evidenceHeaderSchemaVersion],
-    approvalEnvelopeSchemaVersion: [approvalEnvelopeSchemaVersion],
-    supersessionSchemaVersion: [supersessionSchemaVersion],
-    credentialPolicySchemaVersion: [credentialPolicySchemaVersion]
-};
-const tupleFields = [
-    'liftoffVersion',
-    'manifestArtifactVersion',
-    'policyVersion',
-    'activationContractVersion',
-    'phaseGraphSchemaVersion',
-    'phaseGraphHash',
-    'activationStateSchemaVersion',
-    'evidenceHeaderSchemaVersion',
-    'approvalEnvelopeSchemaVersion',
-    'supersessionSchemaVersion',
-    'credentialPolicySchemaVersion'
-];
-export function createActivationIdentity(phaseGraphHash) {
-    return {
-        liftoffVersion: liftoffActivationPackageVersion,
-        manifestArtifactVersion: liftoffManifestArtifactVersion,
-        policyVersion: governanceActivationPolicyVersion,
-        activationContractVersion,
-        phaseGraphSchemaVersion,
-        phaseGraphHash,
-        activationStateSchemaVersion,
-        evidenceHeaderSchemaVersion,
-        approvalEnvelopeSchemaVersion,
-        supersessionSchemaVersion,
-        credentialPolicySchemaVersion
-    };
-}
-export function activationCompatibilityKey(identity) {
-    return tupleFields.map((field) => `${field}=${identity[field]}`).join('|');
-}
-export function buildActivationCompatibilityMap(identities) {
-    return new Map(identities.map((identity) => [activationCompatibilityKey(identity), identity]));
-}
-function knownVersion(field, value) {
-    return knownActivationVersions[field].includes(value);
-}
-export function resolveActivationCompatibility(identity, compatibility) {
-    for (const field of Object.keys(knownActivationVersions)) {
-        if (!knownVersion(field, identity[field])) {
-            const supported = knownActivationVersions[field]
-                .map((value) => JSON.stringify(value))
-                .join(', ');
-            return {
-                compatible: false,
-                reason: `Unsupported activation identity field ${field}: found ${JSON.stringify(identity[field])}; ` +
-                    `supported values are ${supported}. Minimum Liftoff ${liftoffActivationPackageVersion} is required; ` +
-                    `upgrade/remediate with ${exactGlobalInstallCommand(liftoffActivationPackageVersion)}.`
-            };
-        }
-    }
-    const found = compatibility.get(activationCompatibilityKey(identity));
-    if (!found) {
-        const supportedTuples = [...compatibility.keys()].join('; ');
-        const graphHashes = [...new Set([...compatibility.values()].map((entry) => entry.phaseGraphHash))].join(', ');
-        return {
-            compatible: false,
-            reason: `Activation identity tuple is not present in the explicit compatibility map: found ${activationCompatibilityKey(identity)}; ` +
-                `supported tuples are ${supportedTuples}; recognized graph hashes are ${graphHashes}. ` +
-                `Minimum Liftoff ${liftoffActivationPackageVersion} is required; upgrade/remediate with ` +
-                `${exactGlobalInstallCommand(liftoffActivationPackageVersion)}.`
-        };
-    }
-    return { compatible: true, identity: found };
-}
+export * from '../domain/governance/policy/identity.js';
 //# sourceMappingURL=identity.js.map

package/dist/governance-activation/identity.js.map

@@ -1 +1 @@
-{"version":3,"file":"identity.js","sourceRoot":"","sources":["../../src/governance-activation/identity.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,yBAAyB,EAAE,MAAM,wBAAwB,CAAC;AAEnE,MAAM,CAAC,MAAM,+BAA+B,GAAG,QAAiB,CAAC;AACjE,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAAU,CAAC;AACzD,MAAM,CAAC,MAAM,iCAAiC,GAAG,GAAY,CAAC;AAC9D,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAU,CAAC;AACpD,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAU,CAAC;AAClD,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAU,CAAC;AACvD,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAU,CAAC;AACtD,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAAU,CAAC;AACxD,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAU,CAAC;AACpD,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAAU,CAAC;AAExD,MAAM,CAAC,MAAM,uBAAuB,GAAG;IACrC,cAAc,EAAE,CAAC,+BAA+B,CAAC;IACjD,uBAAuB,EAAE,CAAC,8BAA8B,CAAC;IACzD,aAAa,EAAE,CAAC,GAAG,EAAE,iCAAiC,CAAC;IACvD,yBAAyB,EAAE,CAAC,yBAAyB,CAAC;IACtD,uBAAuB,EAAE,CAAC,uBAAuB,CAAC;IAClD,4BAA4B,EAAE,CAAC,4BAA4B,CAAC;IAC5D,2BAA2B,EAAE,CAAC,2BAA2B,CAAC;IAC1D,6BAA6B,EAAE,CAAC,6BAA6B,CAAC;IAC9D,yBAAyB,EAAE,CAAC,yBAAyB,CAAC;IACtD,6BAA6B,EAAE,CAAC,6BAA6B,CAAC;CACtD,CAAC;AAEX,MAAM,WAAW,GAAG;IAClB,gBAAgB;IAChB,yBAAyB;IACzB,eAAe;IACf,2BAA2B;IAC3B,yBAAyB;IACzB,gBAAgB;IAChB,8BAA8B;IAC9B,6BAA6B;IAC7B,+BAA+B;IAC/B,2BAA2B;IAC3B,+BAA+B;CACvB,CAAC;AAIX,MAAM,UAAU,wBAAwB,CAAC,cAAsB;IAC7D,OAAO;QACL,cAAc,EAAE,+BAA+B;QAC/C,uBAAuB,EAAE,8BAA8B;QACvD,aAAa,EAAE,iCAAiC;QAChD,yBAAyB;QACzB,uBAAuB;QACvB,cAAc;QACd,4BAA4B;QAC5B,2BAA2B;QAC3B,6BAA6B;QAC7B,yBAAyB;QACzB,6BAA6B;KAC9B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,QAA4B;IACrE,OAAO,WAAW,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,IAAI,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC7E,CAAC;AAED,MAAM,UAAU,+BAA+B,CAC7C,UAAyC;IAEzC,OAAO,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,0BAA0B,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;AACjG,CAAC;AAED,SAAS,YAAY,CAAC,KAA2C,EAAE,KAAsB;IACvF,OAAQ,uBAAuB,CAAC,KAAK,CAAkC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AAC1F,CAAC;AAMD,MAAM,UAAU,8BAA8B,CAC5C,QAA4B,EAC5B,aAAyC;IAEzC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,uBAAuB,CAA6C,EAAE,CAAC;QACrG,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;YAC1C,MAAM,SAAS,GAAI,uBAAuB,CAAC,KAAK,CAAkC;iBAC/E,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;iBACrC,IAAI,CAAC,IAAI,CAAC,CAAC;YACd,OAAO;gBACL,UAAU,EAAE,KAAK;gBACjB,MAAM,EACJ,yCAAyC,KAAK,WAAW,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,IAAI;oBAC5F,wBAAwB,SAAS,qBAAqB,+BAA+B,gBAAgB;oBACrG,0BAA0B,yBAAyB,CAAC,+BAA+B,CAAC,GAAG;aAC1F,CAAC;QACJ,CAAC;IACH,CAAC;IACD,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,0BAA0B,CAAC,QAAQ,CAAC,CAAC,CAAC;IACtE,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,MAAM,eAAe,GAAG,CAAC,GAAG,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7D,MAAM,WAAW,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,aAAa,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9G,OAAO;YACL,UAAU,EAAE,KAAK;YACjB,MAAM,EACJ,qFAAqF,0BAA0B,CAAC,QAAQ,CAAC,IAAI;gBAC7H,wBAAwB,eAAe,iCAAiC,WAAW,IAAI;gBACvF,mBAAmB,+BAA+B,uCAAuC;gBACzF,GAAG,yBAAyB,CAAC,+BAA+B,CAAC,GAAG;SACnE,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;AAC/C,CAAC"}
+{"version":3,"file":"identity.js","sourceRoot":"","sources":["../../src/governance-activation/identity.ts"],"names":[],"mappings":"AAAA,cAAc,yCAAyC,CAAC"}

package/dist/governance-activation/index.d.ts

@@ -16,3 +16,6 @@ export * from './task-projection.js';
 export * from './transitions.js';
 export * from './types.js';
 export * from './validators.js';
+export * from './inputs.js';
+export * from './spec-kit-seed.js';
+export * from '../domain/governance/activation/capabilities.js';

package/dist/governance-activation/index.js

@@ -16,4 +16,7 @@ export * from './task-projection.js';
 export * from './transitions.js';
 export * from './types.js';
 export * from './validators.js';
+export * from './inputs.js';
+export * from './spec-kit-seed.js';
+export * from '../domain/governance/activation/capabilities.js';
 //# sourceMappingURL=index.js.map

package/dist/governance-activation/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/governance-activation/index.ts"],"names":[],"mappings":"AAAA,cAAc,uBAAuB,CAAC;AACtC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,qBAAqB,CAAC;AACpC,cAAc,oBAAoB,CAAC;AACnC,cAAc,kBAAkB,CAAC;AACjC,cAAc,eAAe,CAAC;AAC9B,cAAc,YAAY,CAAC;AAC3B,cAAc,eAAe,CAAC;AAC9B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,qBAAqB,CAAC;AACpC,cAAc,wBAAwB,CAAC;AACvC,cAAc,qBAAqB,CAAC;AACpC,cAAc,sBAAsB,CAAC;AACrC,cAAc,sBAAsB,CAAC;AACrC,cAAc,kBAAkB,CAAC;AACjC,cAAc,YAAY,CAAC;AAC3B,cAAc,iBAAiB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/governance-activation/index.ts"],"names":[],"mappings":"AAAA,cAAc,uBAAuB,CAAC;AACtC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,qBAAqB,CAAC;AACpC,cAAc,oBAAoB,CAAC;AACnC,cAAc,kBAAkB,CAAC;AACjC,cAAc,eAAe,CAAC;AAC9B,cAAc,YAAY,CAAC;AAC3B,cAAc,eAAe,CAAC;AAC9B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,qBAAqB,CAAC;AACpC,cAAc,wBAAwB,CAAC;AACvC,cAAc,qBAAqB,CAAC;AACpC,cAAc,sBAAsB,CAAC;AACrC,cAAc,sBAAsB,CAAC;AACrC,cAAc,kBAAkB,CAAC;AACjC,cAAc,YAAY,CAAC;AAC3B,cAAc,iBAAiB,CAAC;AAChC,cAAc,aAAa,CAAC;AAC5B,cAAc,oBAAoB,CAAC;AACnC,cAAc,iDAAiD,CAAC"}

package/dist/governance-activation/inputs.d.ts

@@ -0,0 +1,10 @@
+import { type CommandRunner } from '../process-runner.js';
+import type { LiftoffManifest } from '../domain/project/contracts.js';
+import { type ActivationInputSnapshot } from '../domain/governance/activation/inputs.js';
+import { type EvidenceFreshnessContext } from '../domain/governance/activation/evidence.js';
+import type { ManagedPhaseGraph, PhaseId, UserActivationState } from '../domain/governance/activation/types.js';
+export * from '../domain/governance/activation/inputs.js';
+export declare function activationInputPathIsObserved(parts: readonly string[]): boolean;
+export declare function activationInputTextDigest(text: string): string;
+export declare function readActivationInputSnapshot(projectRoot: string, manifest: LiftoffManifest, runner?: CommandRunner): Promise<ActivationInputSnapshot>;
+export declare function activationEvidenceContexts(graph: ManagedPhaseGraph, state: UserActivationState, snapshot: ActivationInputSnapshot, now?: Date): Record<PhaseId, EvidenceFreshnessContext>;

package/dist/governance-activation/inputs.js

@@ -0,0 +1,158 @@
+import { lstat, readdir } from 'node:fs/promises';
+import path from 'node:path';
+import { readProjectFile } from '../adapters/filesystem/project-files.js';
+import { resolveProjectPath } from '../adapters/filesystem/project-paths.js';
+import { NodeCommandRunner } from '../process-runner.js';
+import { activationBaselineDigest, normalizedSeedInput, normalizedPublicEnvironment, isProjectMutationReservationName, phaseInputDigest, remoteBindingDigest } from '../domain/governance/activation/inputs.js';
+import { canonicalSha256 } from '../domain/governance/activation/canonical-json.js';
+import { evidenceContextForPhase } from '../domain/governance/activation/evidence.js';
+import { phaseContractDigests } from '../domain/governance/activation/graph.js';
+import { toSafeProjectName } from '../domain/project/planning.js';
+export * from '../domain/governance/activation/inputs.js';
+const sourceRoots = ['backend', 'frontend', 'functions', 'src', 'database', 'infrastructure', '.github/workflows', '.github/actions', '.github/rulesets', 'governance/rulesets', '.specify'];
+const publicFiles = ['.gitignore', '.dockerignore', '.env.example', 'runtime.config.example.json', 'Dockerfile', 'compose.yaml', 'compose.yml', 'docker-compose.yml', 'docker-compose.yaml', 'package.json', 'package-lock.json', 'pyproject.toml', 'uv.lock', 'go.mod', 'go.sum', '.liftoff/governance/policy.md', '.liftoff/governance/context.json', '.liftoff/governance/phase-graph.json'];
+const excludedDirectories = new Set(['node_modules', '.venv', 'venv', '.terraform', '.git', 'dist', 'build', 'out', '.next', 'coverage', '__pycache__', '.pytest_cache', '.mypy_cache', '.ruff_cache', '.cache']);
+const excludedFile = /(?:^\.env(?:\.|$)(?!example$|sample$)|\.tfstate(?:\.|$)|\.tfplan$|\.pem$|\.key$|\.pfx$|\.p12$|\.pyc$|\.log$|^\.liftoff.*(?:tmp|bak)$|^\.npmrc$|^terraform\.rc$|^credentials(?:\.|$)|^local\.settings\.json$)/i;
+export function activationInputPathIsObserved(parts) {
+    const relative = parts.join('/');
+    if (publicFiles.includes(relative))
+        return true;
+    const root = sourceRoots.find((candidate) => relative.startsWith(`${candidate}/`));
+    if (!root)
+        return false;
+    return parts.slice(root.split('/').length).every((part) => !isProjectMutationReservationName(part) && !excludedDirectories.has(part) && !excludedFile.test(part));
+}
+export function activationInputTextDigest(text) {
+    return canonicalSha256(text.replace(/\r\n/g, '\n'));
+}
+function code(error) {
+    return typeof error === 'object' && error !== null && 'code' in error ? error.code : undefined;
+}
+export async function readActivationInputSnapshot(projectRoot, manifest, runner = new NodeCommandRunner()) {
+    const files = new Map();
+    async function include(parts, logicalPath = parts.join('/'), seed = false) {
+        const bytes = await readProjectFile(projectRoot, [...parts]);
+        if (bytes === undefined)
+            return;
+        const text = bytes.toString('utf8');
+        const digest = seed ? canonicalSha256(normalizedSeedInput(text)) : activationInputTextDigest(text);
+        const prior = files.get(logicalPath);
+        if (prior !== undefined && prior !== digest)
+            throw new Error(`Conflicting activation input copies for ${logicalPath}.`);
+        files.set(logicalPath, digest);
+    }
+    async function walk(parts, logicalRoot = parts.join('/'), seed = false) {
+        const root = await resolveProjectPath(projectRoot, [...parts]);
+        let entries;
+        try {
+            entries = await readdir(root, { withFileTypes: true });
+        }
+        catch (error) {
+            if (code(error) === 'ENOENT')
+                return;
+            throw error;
+        }
+        for (const entry of entries.sort((a, b) => a.name.localeCompare(b.name, 'en'))) {
+            if (isProjectMutationReservationName(entry.name) || excludedDirectories.has(entry.name) || excludedFile.test(entry.name))
+                continue;
+            const child = [...parts, entry.name];
+            const logical = `${logicalRoot}/${entry.name}`;
+            if (entry.isDirectory())
+                await walk(child, logical, seed);
+            else if (entry.isFile())
+                await include(child, logical, seed);
+            else
+                throw new Error(`Activation input ${child.join('/')} must not be a symlink or special file.`);
+        }
+    }
+    for (const root of sourceRoots)
+        await walk(root.split('/'));
+    for (const file of publicFiles)
+        await include(file.split('/'));
+    const localEnvironment = await readProjectFile(projectRoot, ['.env']);
+    if (localEnvironment) {
+        const values = normalizedPublicEnvironment(localEnvironment.toString('utf8'));
+        if (Object.keys(values).length > 0)
+            files.set('public-local-environment', canonicalSha256(values));
+    }
+    const seedName = `bootstrap-${toSafeProjectName(manifest.project.name)}`;
+    let workflowSpecDigest;
+    if (manifest.project.specWorkflow === 'spec-kit') {
+        await walk(['specs', '000-liftoff-bootstrap'], 'seed', true);
+    }
+    else {
+        await walk(['openspec', 'changes', seedName], 'seed', true);
+        const archive = await resolveProjectPath(projectRoot, ['openspec', 'changes', 'archive']);
+        let entries;
+        try {
+            entries = await readdir(archive, { withFileTypes: true });
+        }
+        catch (error) {
+            if (code(error) !== 'ENOENT')
+                throw error;
+            entries = [];
+        }
+        for (const entry of entries) {
+            if (entry.name === seedName || entry.name.endsWith(`-${seedName}`)) {
+                await walk(['openspec', 'changes', 'archive', entry.name], 'seed', true);
+            }
+        }
+        await include(['openspec', 'config.yaml']);
+        const workload = manifest.project.workload;
+        const capability = `${workload.kind === 'standard' ? workload.apiStack : workload.pattern}-application-baseline`;
+        const mainSpec = await readProjectFile(projectRoot, ['openspec', 'specs', capability, 'spec.md']);
+        if (mainSpec !== undefined)
+            workflowSpecDigest = canonicalSha256(mainSpec.toString('utf8').replace(/\r\n/g, '\n'));
+    }
+    async function git(args, allowedMissing = false) {
+        const result = await runner.run({ executable: 'git', args }, { cwd: projectRoot });
+        if (result.status === 0 && !result.errorCode && !result.timedOut)
+            return result.stdout.trim() || null;
+        if (allowedMissing && (result.status === 1 || result.status === 128))
+            return null;
+        throw new Error(`Unable to inspect allowed Git metadata: git ${args.join(' ')}.`);
+    }
+    let hasGit = false;
+    try {
+        const marker = await lstat(path.join(projectRoot, '.git'));
+        if (marker.isSymbolicLink() || (!marker.isFile() && !marker.isDirectory()))
+            throw new Error('Activation Git marker must be a regular file or directory, not a symlink.');
+        hasGit = true;
+    }
+    catch (error) {
+        if (code(error) !== 'ENOENT')
+            throw error;
+    }
+    const foundRoot = hasGit ? await git(['rev-parse', '--show-toplevel']) : null;
+    const root = foundRoot && path.resolve(foundRoot) === path.resolve(projectRoot) ? foundRoot : null;
+    const head = root ? await git(['rev-parse', '--verify', 'HEAD'], true) : null;
+    const branch = root ? await git(['symbolic-ref', '--quiet', '--short', 'HEAD'], true) : null;
+    const remotes = root ? (await git(['remote']))?.split(/\r?\n/).filter(Boolean) ?? [] : [];
+    const pushUrls = remotes.includes('origin') ? (await git(['remote', 'get-url', '--push', '--all', 'origin']))?.split(/\r?\n/).filter(Boolean).sort() ?? [] : [];
+    if (pushUrls.some((url) => /https?:\/\/[^/]*@/i.test(url)))
+        throw new Error('Credential-bearing Git remote URLs cannot be activation inputs.');
+    const project = { project: manifest.project, framework: manifest.framework, governance: manifest.governance.profile };
+    const inventory = [...files].sort(([a], [b]) => a.localeCompare(b, 'en')).map(([path, digest]) => ({ path, digest }));
+    return { schemaVersion: 2, project, files: inventory, git: { head, branch, pushUrls }, baselineSha: activationBaselineDigest(project, inventory),
+        ...(workflowSpecDigest ? { workflowSpecDigest } : {}) };
+}
+export function activationEvidenceContexts(graph, state, snapshot, now = new Date()) {
+    const digests = phaseContractDigests(graph);
+    return Object.fromEntries(graph.phases.map((phase) => [phase.id, {
+            ...evidenceContextForPhase(phase.id, {
+                repositoryId: state.repository.id,
+                identity: state.identity,
+                phaseGraphHash: state.identity.phaseGraphHash,
+                baselineSha: snapshot.baselineSha,
+                inputDigest: phaseInputDigest(phase.id, snapshot),
+                liveReadbackProviders: phase.evidence.liveReadbackProviders,
+                remoteBindingDigest: remoteBindingDigest(state.remoteBinding),
+                now
+            }),
+            evidenceReferences: state.phases[phase.id].evidence,
+            ...(phase.id === 'seed-archived' && snapshot.workflowSpecDigest ? { workflowSpecDigest: snapshot.workflowSpecDigest } : {}),
+            ...(phase.id === 'pushed' && snapshot.git.pushUrls.length === 1 ? { publicationDestination: snapshot.git.pushUrls[0] } : {}),
+            phaseContractDigest: digests[phase.id]
+        }]));
+}
+//# sourceMappingURL=inputs.js.map

package/dist/governance-activation/inputs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"inputs.js","sourceRoot":"","sources":["../../src/governance-activation/inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAElD,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,eAAe,EAAE,MAAM,yCAAyC,CAAC;AAC1E,OAAO,EAAE,kBAAkB,EAAE,MAAM,yCAAyC,CAAC;AAC7E,OAAO,EAAE,iBAAiB,EAAsB,MAAM,sBAAsB,CAAC;AAE7E,OAAO,EACL,wBAAwB,EACxB,mBAAmB,EACnB,2BAA2B,EAC3B,gCAAgC,EAChC,gBAAgB,EAChB,mBAAmB,EAGpB,MAAM,2CAA2C,CAAC;AACnD,OAAO,EAAE,eAAe,EAAE,MAAM,mDAAmD,CAAC;AACpF,OAAO,EAAE,uBAAuB,EAAiC,MAAM,6CAA6C,CAAC;AACrH,OAAO,EAAE,oBAAoB,EAAE,MAAM,0CAA0C,CAAC;AAEhF,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAElE,cAAc,2CAA2C,CAAC;AAE1D,MAAM,WAAW,GAAG,CAAC,SAAS,EAAE,UAAU,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,UAAU,CAAU,CAAC;AACtM,MAAM,WAAW,GAAG,CAAC,YAAY,EAAE,eAAe,EAAE,cAAc,EAAE,6BAA6B,EAAE,YAAY,EAAE,cAAc,EAAE,aAAa,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,cAAc,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,+BAA+B,EAAE,kCAAkC,EAAE,sCAAsC,CAAU,CAAC;AACzY,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC,CAAC,cAAc,EAAE,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,eAAe,EAAE,aAAa,EAAE,aAAa,EAAE,QAAQ,CAAC,CAAC,CAAC;AAClN,MAAM,YAAY,GAAG,+MAA+M,CAAC;AAErO,MAAM,UAAU,6BAA6B,CAAC,KAAwB;IACpE,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjC,IAAK,WAAiC,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC;IACvE,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,SAAS,GAAG,CAAC,CAAC,CAAC;IACnF,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CACxD,CAAC,gCAAgC,CAAC,IAAI,CAAC,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CACtG,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,IAAY;IACpD,OAAO,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;AACtD,CAAC;AAED,SAAS,IAAI,CAAC,KAAc;IAC1B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,MAAM,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AACjG,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,2BAA2B,CAC/C,WAAmB,EACnB,QAAyB,EACzB,MAAM,GAAkB,IAAI,iBAAiB,EAAE;IAE/C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,KAAK,UAAU,OAAO,CAAC,KAAwB,EAAE,WAAW,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK;QAC1F,MAAM,KAAK,GAAG,MAAM,eAAe,CAAC,WAAW,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC;QAC7D,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO;QAChC,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QACpC,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,yBAAyB,CAAC,IAAI,CAAC,CAAC;QACnG,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QACrC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,2CAA2C,WAAW,GAAG,CAAC,CAAC;QACxH,KAAK,CAAC,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;IACjC,CAAC;IACD,KAAK,UAAU,IAAI,CAAC,KAAwB,EAAE,WAAW,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK;QACvF,MAAM,IAAI,GAAG,MAAM,kBAAkB,CAAC,WAAW,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC;QAC/D,IAAI,OAAiB,CAAC;QACtB,IAAI,CAAC;YAAC,OAAO,GAAG,MAAM,OAAO,CAAC,IAAI,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;QAAC,CAAC;QAC/D,OAAO,KAAK,EAAE,CAAC;YAAC,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,QAAQ;gBAAE,OAAO;YAAC,MAAM,KAAK,CAAC;QAAC,CAAC;QACpE,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC;YAC/E,IAAI,gCAAgC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;gBAAE,SAAS;YACnI,MAAM,KAAK,GAAG,CAAC,GAAG,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YACrC,MAAM,OAAO,GAAG,GAAG,WAAW,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;YAC/C,IAAI,KAAK,CAAC,WAAW,EAAE;gBAAE,MAAM,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;iBACrD,IAAI,KAAK,CAAC,MAAM,EAAE;gBAAE,MAAM,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;;gBACxD,MAAM,IAAI,KAAK,CAAC,oBAAoB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,yCAAyC,CAAC,CAAC;QACrG,CAAC;IACH,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,WAAW;QAAE,MAAM,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5D,KAAK,MAAM,IAAI,IAAI,WAAW;QAAE,MAAM,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/D,MAAM,gBAAgB,GAAG,MAAM,eAAe,CAAC,WAAW,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;IACtE,IAAI,gBAAgB,EAAE,CAAC;QACrB,MAAM,MAAM,GAAG,2BAA2B,CAAC,gBAAgB,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;QAC9E,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,GAAG,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,0BAA0B,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC;IACrG,CAAC;IACD,MAAM,QAAQ,GAAG,aAAa,iBAAiB,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;IACzE,IAAI,kBAAsC,CAAC;IAC3C,IAAI,QAAQ,CAAC,OAAO,CAAC,YAAY,KAAK,UAAU,EAAE,CAAC;QACjD,MAAM,IAAI,CAAC,CAAC,OAAO,EAAE,uBAAuB,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IAC/D,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,CAAC,CAAC,UAAU,EAAE,SAAS,EAAE,QAAQ,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;QAC5D,MAAM,OAAO,GAAG,MAAM,kBAAkB,CAAC,WAAW,EAAE,CAAC,UAAU,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;QAC1F,IAAI,OAAiB,CAAC;QACtB,IAAI,CAAC;YAAC,OAAO,GAAG,MAAM,OAAO,CAAC,OAAO,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;QAAC,CAAC;QAClE,OAAO,KAAK,EAAE,CAAC;YAAC,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,QAAQ;gBAAE,MAAM,KAAK,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;QAAC,CAAC;QAC1E,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC5B,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,QAAQ,EAAE,CAAC,EAAE,CAAC;gBACnE,MAAM,IAAI,CAAC,CAAC,UAAU,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;YAC3E,CAAC;QACH,CAAC;QACD,MAAM,OAAO,CAAC,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC,CAAC;QAC3C,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC;QAC3C,MAAM,UAAU,GAAG,GAAG,QAAQ,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,uBAAuB,CAAC;QACjH,MAAM,QAAQ,GAAG,MAAM,eAAe,CAAC,WAAW,EAAE,CAAC,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC;QAClG,IAAI,QAAQ,KAAK,SAAS;YAAE,kBAAkB,GAAG,eAAe,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;IACrH,CAAC;IACD,KAAK,UAAU,GAAG,CAAC,IAAc,EAAE,cAAc,GAAG,KAAK;QACvD,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC,CAAC;QACnF,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,IAAI,CAAC,MAAM,CAAC,QAAQ;YAAE,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,IAAI,CAAC;QACtG,IAAI,cAAc,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QAClF,MAAM,IAAI,KAAK,CAAC,+CAA+C,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACpF,CAAC;IACD,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC;QAC3D,IAAI,MAAM,CAAC,cAAc,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,2EAA2E,CAAC,CAAC;QACzK,MAAM,GAAG,IAAI,CAAC;IAChB,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,QAAQ;YAAE,MAAM,KAAK,CAAC;IAC5C,CAAC;IACD,MAAM,SAAS,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,WAAW,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC9E,MAAM,IAAI,GAAG,SAAS,IAAI,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;IACnG,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,WAAW,EAAE,UAAU,EAAE,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC9E,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,cAAc,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7F,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1F,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAChK,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,iEAAiE,CAAC,CAAC;IAC/I,MAAM,OAAO,GAAG,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,SAAS,EAAE,QAAQ,CAAC,SAAS,EAAE,UAAU,EAAE,QAAQ,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC;IACtH,MAAM,SAAS,GAA0B,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IAC7I,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,WAAW,EAAE,wBAAwB,CAAC,OAAO,EAAE,SAAS,CAAC;QAC9I,GAAG,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;AAC5D,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,KAAwB,EACxB,KAA0B,EAC1B,QAAiC,EACjC,GAAG,GAAG,IAAI,IAAI,EAAE;IAEhB,MAAM,OAAO,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAC5C,OAAO,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE;YAC/D,GAAG,uBAAuB,CAAC,KAAK,CAAC,EAAE,EAAE;gBACnC,YAAY,EAAE,KAAK,CAAC,UAAU,CAAC,EAAE;gBACjC,QAAQ,EAAE,KAAK,CAAC,QAAQ;gBACxB,cAAc,EAAE,KAAK,CAAC,QAAQ,CAAC,cAAc;gBAC7C,WAAW,EAAE,QAAQ,CAAC,WAAW;gBACjC,WAAW,EAAE,gBAAgB,CAAC,KAAK,CAAC,EAAE,EAAE,QAAQ,CAAC;gBACjD,qBAAqB,EAAE,KAAK,CAAC,QAAQ,CAAC,qBAAqB;gBAC3D,mBAAmB,EAAE,mBAAmB,CAAC,KAAK,CAAC,aAAa,CAAC;gBAC7D,GAAG;aACJ,CAAC;YACF,kBAAkB,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,QAAQ;YACnD,GAAG,CAAC,KAAK,CAAC,EAAE,KAAK,eAAe,IAAI,QAAQ,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,QAAQ,CAAC,kBAAkB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3H,GAAG,CAAC,KAAK,CAAC,EAAE,KAAK,QAAQ,IAAI,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,sBAAsB,EAAE,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5H,mBAAmB,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;SACvC,CAAC,CAAC,CAA8C,CAAC;AACpD,CAAC"}

package/dist/governance-activation/migration-history.d.ts

@@ -0,0 +1,97 @@
+import type { UserActivationState } from '../domain/governance/activation/types.js';
+import type { ProjectFileSnapshot } from '../adapters/filesystem/project-transaction.js';
+import { activationSuccessorMigrationId } from './compatibility.js';
+import { activationHistoryTargetModes, migrationRevalidationPhaseIds, type ActivationHistoryIndex, type MigrationJournal } from './history-contracts.js';
+import { type HistoricalActivationInventory, type HistoricalInventoryOptions } from './historical-state.js';
+export interface HistoricalRetirement {
+    pathParts: string[];
+    digest: string;
+    copyPathParts: string[];
+}
+export interface HistoryPreconditionIdentity {
+    pathParts: string[];
+    type: 'file' | 'absent';
+    digest: string | null;
+    mode: number | null;
+}
+export interface HistoricalMigrationSemanticPlan {
+    schemaVersion: 1;
+    kind: 'activation-history-successor';
+    projectRoot: string;
+    laneId: typeof activationSuccessorMigrationId;
+    sourceIdentity: ActivationHistoryIndex['sourceIdentity'];
+    targetIdentity: UserActivationState['identity'];
+    historyIndex: ActivationHistoryIndex;
+    historyIndexDigest: string;
+    historyDisposition: 'create' | 'reuse';
+    preconditions: HistoryPreconditionIdentity[];
+    requiredRetirements: HistoricalRetirement[];
+    revalidationPhaseIds: typeof migrationRevalidationPhaseIds;
+    targetModes: typeof activationHistoryTargetModes;
+    successor: {
+        statePathParts: string[];
+        journalPathParts: string[];
+        policy: 'fresh-local-anchor-no-inherited-proof';
+        projectName: string;
+        activeChange: UserActivationState['activeChange'];
+    };
+}
+export interface EligibleActivationHistoryMigration {
+    status: 'eligible';
+    planDigest: string;
+    semanticPlan: HistoricalMigrationSemanticPlan;
+    inventory: HistoricalActivationInventory;
+    index: ActivationHistoryIndex;
+    indexContent: Buffer;
+    indexDigest: string;
+    historyDisposition: 'create' | 'reuse';
+    preconditions: ProjectFileSnapshot[];
+    requiredRetirements: HistoricalRetirement[];
+}
+export type ActivationHistoryMigrationPlan = EligibleActivationHistoryMigration | {
+    status: 'not-present';
+} | {
+    status: 'current';
+    state: UserActivationState;
+    history: CommittedMigrationInspection;
+} | {
+    status: 'blocked';
+    reasonCode: string;
+    issues: string[];
+    unreviewedPathParts?: string[][];
+};
+export type ActivationHistoryMutation = {
+    type: 'write';
+    pathParts: string[];
+    content: string | Buffer;
+    mode: number;
+} | {
+    type: 'delete';
+    pathParts: string[];
+};
+export interface FinalizedActivationHistoryMigration {
+    successor: UserActivationState;
+    journal: MigrationJournal;
+    mutations: ActivationHistoryMutation[];
+    preconditions: ProjectFileSnapshot[];
+    requiredRetirements: HistoricalRetirement[];
+}
+export type CommittedMigrationInspection = {
+    status: 'none';
+} | {
+    status: 'committed';
+    journal: MigrationJournal;
+    index: ActivationHistoryIndex;
+    state: UserActivationState;
+};
+export declare function readActivationHistoryIndex(projectRoot: string, snapshotId: string): Promise<{
+    index: ActivationHistoryIndex;
+    content: Buffer;
+    digest: string;
+}>;
+export declare function readMigrationJournal(projectRoot: string): Promise<MigrationJournal | undefined>;
+export declare function inspectActivationMigrationHistory(projectRoot: string): Promise<CommittedMigrationInspection>;
+/** Project-read-only. This creates neither mutations nor approval, runtime IDs or timestamps. */
+export declare function planActivationHistoryMigration(projectRoot: string, options?: HistoricalInventoryOptions): Promise<ActivationHistoryMigrationPlan>;
+/** The caller must already have exact effective-plan approval. Returns data only; never writes. */
+export declare function finalizeActivationHistoryMigration(plan: EligibleActivationHistoryMigration, approvedPlanFingerprint: string, now: Date): FinalizedActivationHistoryMigration;