@dailephd/my-dev-kit-lab 0.6.2 → 0.7.0

package/dist/src/experiments/plugins/incrementalChangeStaleness/indexClone.js

@@ -0,0 +1,76 @@
+import { existsSync } from "node:fs";
+import { cp, lstat, mkdir, readdir, readFile, realpath } from "node:fs/promises";
+import { createHash } from "node:crypto";
+import path from "node:path";
+import { resolveWithinRoot } from "../../../core/pathSafety.js";
+/**
+ * Narrow v0.6.3 lifecycle-preparation helper: copies one already-produced my-dev-kit index
+ * directory byte-for-byte to a new sibling directory so an upstream incremental refresh can run
+ * in place against the copy while the original baseline stays immutable change authority.
+ *
+ * Both paths must resolve inside `runOwnedRoot` (textually and, for the destination parent, by
+ * real path), the destination must not exist, symlinks in the source are refused, and the copy
+ * is verified file-for-file by SHA-256. Index contents are never edited. Any failure throws.
+ */
+export async function cloneIncrementalChangeStalenessIndexDirectory(runOwnedRoot, sourceDir, destinationDir) {
+    const root = path.resolve(runOwnedRoot);
+    const source = resolveWithinRoot(root, path.resolve(sourceDir));
+    const destination = resolveWithinRoot(root, path.resolve(destinationDir));
+    if (!existsSync(source)) {
+        throw new Error(`Index clone source does not exist: ${source}.`);
+    }
+    if (existsSync(destination)) {
+        throw new Error(`Index clone destination already exists; refusing to overwrite: ${destination}.`);
+    }
+    const relativeToSource = path.relative(source, destination);
+    if (relativeToSource === "" || (!relativeToSource.startsWith("..") && !path.isAbsolute(relativeToSource))) {
+        throw new Error(`Index clone destination ${destination} must not be inside the source ${source}.`);
+    }
+    const sourceFiles = await listRegularFiles(source);
+    // The destination parent must be real-path contained by the real run-owned root (no symlink escape).
+    const parent = path.dirname(destination);
+    await mkdir(parent, { recursive: true });
+    const [realParent, realRoot] = await Promise.all([realpath(parent), realpath(root)]);
+    const parentRelative = path.relative(realRoot, realParent);
+    if (parentRelative === ".." || parentRelative.startsWith(`..${path.sep}`) || path.isAbsolute(parentRelative)) {
+        throw new Error(`Index clone destination parent escapes the run-owned root via a symbolic link: ${parent}.`);
+    }
+    await cp(source, destination, { recursive: true, errorOnExist: true, force: false, dereference: false });
+    const copiedFiles = await listRegularFiles(destination);
+    if (copiedFiles.length !== sourceFiles.length || copiedFiles.some((file, index) => file !== sourceFiles[index])) {
+        throw new Error(`Index clone is incomplete: ${destination} does not contain exactly the files of ${source}.`);
+    }
+    for (const file of sourceFiles) {
+        const [left, right] = await Promise.all([sha256(path.join(source, file)), sha256(path.join(destination, file))]);
+        if (left !== right) {
+            throw new Error(`Index clone content differs for ${file}.`);
+        }
+    }
+}
+async function sha256(filePath) {
+    return createHash("sha256").update(await readFile(filePath)).digest("hex");
+}
+/** Sorted POSIX-relative regular files; refuses symlinks and other non-regular entries. */
+async function listRegularFiles(root) {
+    const files = [];
+    async function walk(dir) {
+        for (const entry of await readdir(dir, { withFileTypes: true })) {
+            const full = path.join(dir, entry.name);
+            const stat = await lstat(full);
+            if (stat.isSymbolicLink()) {
+                throw new Error(`Index directory contains a symbolic link, which is not copied: ${full}.`);
+            }
+            if (stat.isDirectory()) {
+                await walk(full);
+            }
+            else if (stat.isFile()) {
+                files.push(path.relative(root, full).replace(/\\/g, "/"));
+            }
+            else {
+                throw new Error(`Index directory contains a non-regular entry: ${full}.`);
+            }
+        }
+    }
+    await walk(root);
+    return files.sort();
+}

package/dist/src/experiments/plugins/incrementalChangeStaleness/lifecycle.js

@@ -24,17 +24,69 @@ export function incrementalChangeStalenessIndexDir(runOwnedRoot, scenarioId, tre
 export function incrementalChangeStalenessCommandsDir(runOwnedRoot, scenarioId, treatmentId, role) {
     return resolveWithinRoot(path.resolve(runOwnedRoot), path.join("commands", scenarioId, treatmentId, role));
 }
-class LifecycleFailure extends Error {
+export class LifecycleFailure extends Error {
     failure;
     constructor(failure) {
         super(failure.message);
         this.failure = failure;
     }
 }
-function fail(failure) {
+export function fail(failure) {
     if (failure)
         throw new LifecycleFailure(failure);
 }
+/**
+ * Shared by the v0.6.2 and v0.6.3 lifecycles: runs the index through the established warm-index
+ * session owner (index -> version probe -> snapshot -> graph), then proves target/index identity.
+ * `mode` defaults to an ordinary full build. The index directory must be absent unless
+ * `existingIndexDir` is set (an in-place refresh of an already-cloned baseline).
+ */
+export async function prepareTreatmentIndexEvidence(params) {
+    const { deps, target, role, indexDir, sourceRoots } = params;
+    const treatmentId = target.treatmentId;
+    if (params.existingIndexDir ? !existsSync(indexDir) : existsSync(indexDir)) {
+        fail({
+            code: "index-directory-collision",
+            message: params.existingIndexDir
+                ? `Expected an existing cloned ${treatmentId} ${role} index directory: ${indexDir}.`
+                : `Refusing to overwrite existing ${treatmentId} ${role} index directory: ${indexDir}.`,
+            treatmentId
+        });
+    }
+    const commandsDir = incrementalChangeStalenessCommandsDir(params.runOwnedRoot, params.scenarioId, treatmentId, role);
+    const prepared = await deps.prepareIndexSession({
+        target: { absoluteTargetRoot: target.targetRoot, sourceRoots: [...sourceRoots] },
+        kitCommand: params.kitCommand,
+        indexDir,
+        commandsDir,
+        requireKit: false,
+        ...(params.mode ? { mode: params.mode } : {})
+    });
+    if (!prepared.ok) {
+        fail({
+            code: role === "baseline" ? "baseline-index-build-failed" : "refresh-index-build-failed",
+            message: `${treatmentId} ${role} my-dev-kit index build failed: ${prepared.warnings.join(" ") || `exit code ${prepared.build.command.exitCode}`}`,
+            treatmentId
+        });
+        throw new Error("unreachable");
+    }
+    params.onIndexPrepared?.();
+    const evidence = Object.freeze({
+        role,
+        treatmentId,
+        builtRelativeToMutation: role === "baseline" ? "pre-mutation" : "post-mutation",
+        indexDir: prepared.session.indexDir,
+        commandsDir,
+        targetRoot: prepared.session.targetRoot,
+        sourceRoots: prepared.session.sourceRoots,
+        buildDurationMs: prepared.session.buildDurationMs,
+        buildCommand: prepared.session.buildCommand,
+        snapshot: prepared.session.indexSnapshot,
+        graph: prepared.session.affectedNeighborhoodGraph
+    });
+    fail(evaluateIndexEvidence(evidence, { targetRoot: target.targetRoot, sourceRoots, indexDir }));
+    return { evidence, build: prepared.build };
+}
 /**
  * Owns the matched Batch 3 lifecycle for ONE frozen scenario:
  *
@@ -73,40 +125,20 @@ export async function prepareIncrementalChangeStalenessScenarioLifecycle(options
         if (existsSync(indexDir)) {
             fail({ code: "index-directory-collision", message: `Refusing to overwrite existing ${treatmentId} ${role} index directory: ${indexDir}.`, treatmentId });
         }
-        const commandsDir = incrementalChangeStalenessCommandsDir(runOwnedRoot, scenario.id, treatmentId, role);
         indexBuildCounts[treatmentId] += 1;
-        const prepared = await deps.prepareIndexSession({
-            target: { absoluteTargetRoot: target.targetRoot, sourceRoots: [...sourceRoots] },
+        const { evidence } = await prepareTreatmentIndexEvidence({
+            deps,
+            runOwnedRoot,
+            scenarioId: scenario.id,
             kitCommand,
-            indexDir,
-            commandsDir,
-            requireKit: false
-        });
-        if (!prepared.ok) {
-            fail({
-                code: role === "baseline" ? "baseline-index-build-failed" : "refresh-index-build-failed",
-                message: `${treatmentId} ${role} my-dev-kit index build failed: ${prepared.warnings.join(" ") || `exit code ${prepared.build.command.exitCode}`}`,
-                treatmentId
-            });
-            throw new Error("unreachable");
-        }
-        // prepareIndexSession resolves only after the index command, snapshot capture, and graph
-        // loading have all completed, in that order.
-        events.push(`${treatmentId}:${role}-index-built`, `${treatmentId}:${role}-snapshot-captured`, `${treatmentId}:${role}-graph-loaded`);
-        const evidence = Object.freeze({
+            sourceRoots,
+            target,
             role,
-            treatmentId,
-            builtRelativeToMutation: role === "baseline" ? "pre-mutation" : "post-mutation",
-            indexDir: prepared.session.indexDir,
-            commandsDir,
-            targetRoot: prepared.session.targetRoot,
-            sourceRoots: prepared.session.sourceRoots,
-            buildDurationMs: prepared.session.buildDurationMs,
-            buildCommand: prepared.session.buildCommand,
-            snapshot: prepared.session.indexSnapshot,
-            graph: prepared.session.affectedNeighborhoodGraph
+            indexDir,
+            // prepareIndexSession resolves only after the index command, snapshot capture, and graph
+            // loading have all completed, in that order.
+            onIndexPrepared: () => events.push(`${treatmentId}:${role}-index-built`, `${treatmentId}:${role}-snapshot-captured`, `${treatmentId}:${role}-graph-loaded`)
         });
-        fail(evaluateIndexEvidence(evidence, { targetRoot: target.targetRoot, sourceRoots, indexDir }));
         events.push(`${treatmentId}:${role}-identity-verified`);
         return evidence;
     }

package/dist/src/experiments/plugins/incrementalChangeStaleness/lifecyclePolicy.js

@@ -130,7 +130,7 @@ export function evaluateBaselineStaleFreshness(assessment, controlledChangedPath
  * baseline freshness change evidence must agree path-for-path, including
  * baseline and current content identity.
  */
-export function evaluateChangedPathSymmetry(stale, fullRefresh) {
+export function evaluateChangedPathSymmetry(stale, fullRefresh, labels = { reference: "stale-index", other: "full-refresh" }) {
     const key = (assessment) => assessment.changes
         .map((change) => `${normalizeRelativePath(change.path)}\t${change.changeType}\t${change.baselineSha256}\t${change.currentSha256 ?? "null"}`)
         .sort();
@@ -138,15 +138,17 @@ export function evaluateChangedPathSymmetry(stale, fullRefresh) {
     const right = key(fullRefresh);
     const same = left.length === right.length && left.every((value, index) => value === right[index]);
     if (!same) {
-        return failure("treatment-changed-paths-conflict", `stale-index and full-refresh baseline freshness disagree about the controlled change: stale=[${left.join("; ")}] full-refresh=[${right.join("; ")}].`, null);
+        return failure("treatment-changed-paths-conflict", `${labels.reference} and ${labels.other} baseline freshness disagree about the controlled change: ${labels.reference}=[${left.join("; ")}] ${labels.other}=[${right.join("; ")}].`, null);
     }
     return null;
 }
 /** The refreshed index must be proven complete `fresh` against the unchanged mutated target. */
-export function evaluateRefreshedFreshness(assessment) {
+export function evaluateRefreshedFreshness(assessment, treatmentId = "full-refresh") {
     const complete = assessment.baselineSnapshotStatus === "complete" && assessment.unresolvedFileCount === 0;
     if (assessment.status !== "fresh" || !complete || assessment.changedFileCount !== 0 || assessment.missingFileCount !== 0) {
-        return failure("refreshed-freshness-not-fresh", `full-refresh refreshed index freshness is ${assessment.status} (snapshot ${assessment.baselineSnapshotStatus}, ${assessment.changedFileCount} changed, ${assessment.missingFileCount} missing, ${assessment.unresolvedFileCount} unresolved); complete fresh is required.`, "full-refresh");
+        return failure("refreshed-freshness-not-fresh", `${treatmentId} refreshed index freshness is ${assessment.status} (snapshot ${assessment.baselineSnapshotStatus}, ${assessment.changedFileCount} changed, ${assessment.missingFileCount} missing, ${assessment.unresolvedFileCount} unresolved); complete fresh is required.`, treatmentId);
     }
     return null;
 }
+/** Shared failure constructor for the v0.6.3 lifecycle policy module. */
+export { failure as lifecycleFailure };

package/dist/src/experiments/plugins/incrementalChangeStaleness/lifecyclePolicyV2.js

@@ -0,0 +1,78 @@
+import { lifecycleFailure } from "./lifecyclePolicy.js";
+/** Pure v0.6.3 four-treatment lifecycle policy; inspects already-produced evidence only. */
+/**
+ * v0.6.3: every treatment baseline is bootstrapped with `--incremental --refresh-scope changed-files`
+ * against a brand-new index directory. Upstream must truthfully report the expected bootstrap full
+ * fallback (`cache-missing`); this is bootstrap evidence, never an experimental partial-refresh fallback.
+ */
+export function evaluateBaselineBootstrapEvidence(build, treatmentId) {
+    const evidence = build.incrementalRefresh;
+    const label = `${treatmentId} baseline bootstrap`;
+    if (build.mode.kind !== "incremental" || build.mode.refreshScope !== "changed-files") {
+        return lifecycleFailure("baseline-bootstrap-contract-mismatch", `${label} was not requested as incremental changed-files.`, treatmentId);
+    }
+    if (!evidence) {
+        return lifecycleFailure("baseline-bootstrap-contract-mismatch", `${label} returned no incrementalRefresh evidence.`, treatmentId);
+    }
+    if (evidence.requestedScope !== "changed-files" ||
+        evidence.appliedScope !== "full" ||
+        evidence.selectionStatus !== "fallback-full" ||
+        evidence.fallbackReason !== "cache-missing") {
+        return lifecycleFailure("baseline-bootstrap-contract-mismatch", `${label} expected requested=changed-files applied=full status=fallback-full reason=cache-missing but observed requested=${evidence.requestedScope} applied=${evidence.appliedScope} status=${evidence.selectionStatus} reason=${evidence.fallbackReason}.`, treatmentId);
+    }
+    return null;
+}
+/**
+ * v0.6.3: classifies a post-mutation partial-refresh build. A truthful `fallback-full` is a valid
+ * realization (FALLBACK_FULL), never collapsed to APPLIED_PARTIAL. `not-needed` after an already
+ * proven controlled mutation contradicts that mutation and fails the lifecycle. Missing or invalid
+ * evidence fails too.
+ */
+export function evaluatePartialRefreshRealization(build, requestedScope, treatmentId) {
+    const evidence = build.incrementalRefresh;
+    if (build.mode.kind !== "incremental" || build.mode.refreshScope !== requestedScope || !evidence || evidence.requestedScope !== requestedScope) {
+        return {
+            failure: lifecycleFailure("refresh-evidence-invalid", `${treatmentId} refresh did not carry valid ${requestedScope} incrementalRefresh evidence.`, treatmentId),
+            realization: null
+        };
+    }
+    if (evidence.selectionStatus === "not-needed" || evidence.appliedScope === "none") {
+        return {
+            failure: lifecycleFailure("refresh-not-needed-after-mutation", `${treatmentId} refresh reported not-needed (applied=${evidence.appliedScope}) although the controlled mutation was already proven.`, treatmentId),
+            realization: null
+        };
+    }
+    if (evidence.selectionStatus === "applied" && evidence.appliedScope === requestedScope) {
+        return { failure: null, realization: "APPLIED_PARTIAL" };
+    }
+    if (evidence.selectionStatus === "fallback-full" && evidence.appliedScope === "full") {
+        return { failure: null, realization: "FALLBACK_FULL" };
+    }
+    return {
+        failure: lifecycleFailure("refresh-evidence-invalid", `${treatmentId} refresh reported an unclassifiable outcome (status=${evidence.selectionStatus}, applied=${evidence.appliedScope}).`, treatmentId),
+        realization: null
+    };
+}
+/** v0.6.3 per-scenario counts: 7 index invocations and 7 freshness assessments. */
+export const INCREMENTAL_CHANGE_STALENESS_V2_EXPECTED_INDEX_INVOCATIONS = {
+    "stale-index": 1,
+    "changed-files-refresh": 2,
+    "affected-neighborhood-refresh": 2,
+    "full-refresh": 2
+};
+export const INCREMENTAL_CHANGE_STALENESS_V2_EXPECTED_FRESHNESS_ASSESSMENTS = {
+    "stale-index": 1,
+    "changed-files-refresh": 2,
+    "affected-neighborhood-refresh": 2,
+    "full-refresh": 2
+};
+export function evaluateV2InvocationCounts(indexInvocationCounts, freshnessAssessmentCounts) {
+    for (const treatmentId of Object.keys(INCREMENTAL_CHANGE_STALENESS_V2_EXPECTED_INDEX_INVOCATIONS)) {
+        const expectedIndex = INCREMENTAL_CHANGE_STALENESS_V2_EXPECTED_INDEX_INVOCATIONS[treatmentId];
+        const expectedFreshness = INCREMENTAL_CHANGE_STALENESS_V2_EXPECTED_FRESHNESS_ASSESSMENTS[treatmentId];
+        if (indexInvocationCounts[treatmentId] !== expectedIndex || freshnessAssessmentCounts[treatmentId] !== expectedFreshness) {
+            return lifecycleFailure("invocation-count-mismatch", `${treatmentId} performed ${indexInvocationCounts[treatmentId]} index invocation(s) and ${freshnessAssessmentCounts[treatmentId]} freshness assessment(s); expected ${expectedIndex} and ${expectedFreshness}.`, treatmentId);
+        }
+    }
+    return null;
+}

package/dist/src/experiments/plugins/incrementalChangeStaleness/lifecycleV2.js

@@ -0,0 +1,298 @@
+import path from "node:path";
+import { createDisposableTreatmentTarget, INCREMENTAL_CHANGE_STALENESS_V2_TREATMENT_IDS, INCREMENTAL_CHANGE_STALENESS_V2_TREATMENT_INTENTS } from "./disposableTarget.js";
+import { cloneIncrementalChangeStalenessIndexDirectory } from "./indexClone.js";
+import { defaultIncrementalChangeStalenessLifecycleDeps, fail, incrementalChangeStalenessIndexDir, incrementalChangeStalenessTargetsRoot, LifecycleFailure, prepareTreatmentIndexEvidence } from "./lifecycle.js";
+import { evaluateBaselineStaleFreshness, evaluateChangedPathSymmetry, evaluateRefreshedFreshness, evaluateToolIdentity, normalizeRelativePath, normalizeRootForComparison } from "./lifecyclePolicy.js";
+import { evaluateBaselineBootstrapEvidence, evaluatePartialRefreshRealization, evaluateV2InvocationCounts } from "./lifecyclePolicyV2.js";
+import { compareIncrementalChangeStalenessSourceStates } from "./sourceState.js";
+import { INCREMENTAL_CHANGE_STALENESS_LIFECYCLE_SESSION_V2_SCHEMA_VERSION } from "./treatmentSessionV2.js";
+const PARTIAL_REFRESH_SCOPES = {
+    "changed-files-refresh": "changed-files",
+    "affected-neighborhood-refresh": "affected-neighborhood"
+};
+/** Every baseline is bootstrapped incrementally so upstream writes the cache metadata a later partial refresh needs. */
+const BOOTSTRAP_MODE = { kind: "incremental", refreshScope: "changed-files" };
+const V2_TREATMENT_IDS = INCREMENTAL_CHANGE_STALENESS_V2_TREATMENT_IDS;
+function withRefreshEvidence(evidence, buildMode, incrementalRefresh) {
+    return Object.freeze({ ...evidence, buildMode, incrementalRefresh });
+}
+/**
+ * v0.6.3 internal four-treatment lifecycle for ONE frozen scenario (runtime only; not yet wired into the
+ * public plugin, execution artifact, comparison, or reports):
+ *
+ *  1. four independent disposable copies (stale-index, changed-files-refresh, affected-neighborhood-refresh,
+ *     full-refresh), all derived from the same immutable canonical benchmark;
+ *  2. pre-mutation controlled source-state equivalence of every treatment against the stale-index reference;
+ *  3. all four baselines bootstrapped with `--incremental --refresh-scope changed-files` into brand-new
+ *     index directories (expected bootstrap evidence: full fallback, `cache-missing`);
+ *  4. each partial treatment's untouched baseline is cloned byte-for-byte into its own refreshed directory;
+ *  5. BARRIER: only after every baseline + clone is ready is the same frozen mutation applied to all four;
+ *  6. post-mutation source-state equivalence and symmetric complete-stale baseline freshness;
+ *  7. stale-index keeps its baseline; each partial treatment refreshes its clone in place and full-refresh
+ *     builds a new full index; every refreshed index must be complete `fresh`.
+ *
+ * Seven index invocations and seven freshness assessments per scenario. Performs no retrieval,
+ * affected-neighborhood task traversal, or comparison classification. Sequential by design; deletes nothing.
+ */
+export async function prepareIncrementalChangeStalenessScenarioLifecycleV2(options) {
+    const cloneIndexDirectory = options.deps?.cloneIndexDirectory ?? cloneIncrementalChangeStalenessIndexDirectory;
+    const deps = { ...defaultIncrementalChangeStalenessLifecycleDeps, ...options.deps };
+    const { repoRoot, scenario, baseCase, kitCommand } = options;
+    const runOwnedRoot = path.resolve(options.runOwnedRoot);
+    const events = [];
+    const indexInvocationCounts = Object.fromEntries(V2_TREATMENT_IDS.map((id) => [id, 0]));
+    const freshnessAssessmentCounts = Object.fromEntries(V2_TREATMENT_IDS.map((id) => [id, 0]));
+    const sourceRoots = baseCase.sourceRoots;
+    const controlledChangedPaths = scenario.mutation.files.map((file) => normalizeRelativePath(file.path)).sort();
+    async function prepareIndex(target, role, indexDir, mode, existingIndexDir = false) {
+        const treatmentId = target.treatmentId;
+        indexInvocationCounts[treatmentId] += 1;
+        const { evidence, build } = await prepareTreatmentIndexEvidence({
+            deps,
+            runOwnedRoot,
+            scenarioId: scenario.id,
+            kitCommand,
+            sourceRoots,
+            target,
+            role,
+            indexDir,
+            mode,
+            existingIndexDir,
+            onIndexPrepared: () => events.push(`${treatmentId}:${role}-index-built`, `${treatmentId}:${role}-snapshot-captured`, `${treatmentId}:${role}-graph-loaded`)
+        });
+        events.push(`${treatmentId}:${role}-identity-verified`);
+        return { evidence, build };
+    }
+    async function captureState(target) {
+        return deps.captureSourceState(target.targetRoot, sourceRoots, target.treatmentId, baseCase.benchmarkProjectId);
+    }
+    async function mutate(target) {
+        const receipt = await deps.executeMutation(scenario, target, sourceRoots, repoRoot);
+        if (receipt.status !== "applied") {
+            fail({ code: "mutation-failed", message: `${target.treatmentId} mutation was rejected: ${receipt.errors.join(" ")}`, treatmentId: target.treatmentId });
+        }
+        events.push(`${target.treatmentId}:mutation-applied`);
+        return receipt;
+    }
+    async function assess(index, target) {
+        freshnessAssessmentCounts[target.treatmentId] += 1;
+        return deps.assessIndexFreshness({ snapshot: index.snapshot, targetRoot: target.targetRoot, sourceRoots });
+    }
+    function compareAgainstReference(reference, states, code, phase) {
+        const comparisons = {};
+        for (const treatmentId of V2_TREATMENT_IDS) {
+            if (treatmentId === "stale-index")
+                continue;
+            const comparison = compareIncrementalChangeStalenessSourceStates(reference, states[treatmentId]);
+            comparisons[treatmentId] = comparison;
+            if (comparison.result !== "equivalent") {
+                fail({
+                    code,
+                    message: `${treatmentId} is not ${phase} equivalent to the stale-index reference (${comparison.result}): ${comparison.reasons.join("; ")}`,
+                    treatmentId
+                });
+            }
+        }
+        return comparisons;
+    }
+    try {
+        const baselineDirs = {};
+        const refreshedDirs = {};
+        for (const treatmentId of V2_TREATMENT_IDS) {
+            baselineDirs[treatmentId] = incrementalChangeStalenessIndexDir(runOwnedRoot, scenario.id, treatmentId, "baseline");
+            refreshedDirs[treatmentId] = incrementalChangeStalenessIndexDir(runOwnedRoot, scenario.id, treatmentId, "refreshed");
+        }
+        const allDirs = [...Object.values(baselineDirs), ...Object.values(refreshedDirs)].map(normalizeRootForComparison);
+        if (new Set(allDirs).size !== allDirs.length) {
+            fail({ code: "index-directory-collision", message: "Treatment/phase index directories are not distinct.", treatmentId: null });
+        }
+        // 1. Four independent disposable copies through the established owner, in fixed order.
+        const targets = {};
+        for (const treatmentId of V2_TREATMENT_IDS) {
+            try {
+                targets[treatmentId] = await createDisposableTreatmentTarget({
+                    repoRoot,
+                    runRoot: incrementalChangeStalenessTargetsRoot(runOwnedRoot),
+                    scenarioId: scenario.id,
+                    treatmentId,
+                    benchmarkProjectId: baseCase.benchmarkProjectId,
+                    canonicalProjectRootRelative: baseCase.canonicalProjectRootRelative
+                });
+            }
+            catch (error) {
+                fail({ code: "treatment-target-creation-failed", message: `${treatmentId}: ${error.message}`, treatmentId });
+            }
+        }
+        const targetRootKeys = V2_TREATMENT_IDS.map((id) => normalizeRootForComparison(targets[id].targetRoot));
+        if (new Set(targetRootKeys).size !== targetRootKeys.length) {
+            fail({ code: "treatment-target-creation-failed", message: "Treatment target roots are not distinct.", treatmentId: null });
+        }
+        events.push("treatment-targets-created");
+        // 2. Pre-mutation equivalence gates all indexing and mutation; stale-index is only the comparison reference.
+        const preStates = {};
+        for (const treatmentId of V2_TREATMENT_IDS)
+            preStates[treatmentId] = await captureState(targets[treatmentId]);
+        events.push("pre-mutation-source-state-captured");
+        const preMutationEquivalence = compareAgainstReference(preStates["stale-index"], preStates, "pre-mutation-not-equivalent", "pre-mutation");
+        events.push("pre-mutation-equivalence-proven");
+        // 3. Baselines: every treatment bootstraps incrementally into a brand-new index directory.
+        const baselines = {};
+        const bootstraps = {};
+        for (const treatmentId of V2_TREATMENT_IDS) {
+            const { evidence, build } = await prepareIndex(targets[treatmentId], "baseline", baselineDirs[treatmentId], BOOTSTRAP_MODE);
+            fail(evaluateBaselineBootstrapEvidence(build, treatmentId));
+            bootstraps[treatmentId] = build.incrementalRefresh;
+            baselines[treatmentId] = withRefreshEvidence(evidence, build.mode, build.incrementalRefresh);
+            events.push(`${treatmentId}:baseline-bootstrap-verified`);
+        }
+        const baselineTools = evaluateToolIdentity(V2_TREATMENT_IDS.map((id) => baselines[id]));
+        fail(baselineTools.failure);
+        events.push("baseline-tool-identity-verified");
+        // 4. Preserve each partial treatment's immutable baseline; the refresh runs in place against a byte-for-byte clone.
+        for (const treatmentId of ["changed-files-refresh", "affected-neighborhood-refresh"]) {
+            try {
+                await cloneIndexDirectory(runOwnedRoot, baselineDirs[treatmentId], refreshedDirs[treatmentId]);
+            }
+            catch (error) {
+                fail({ code: "index-clone-failed", message: `${treatmentId} baseline index clone failed: ${error.message}`, treatmentId });
+            }
+            events.push(`${treatmentId}:baseline-index-cloned`);
+        }
+        // 5. Barrier: all four baselines are index + snapshot + graph READY and clones exist. Only now may mutation begin.
+        events.push("baseline-barrier-ready");
+        const receipts = {};
+        for (const treatmentId of V2_TREATMENT_IDS)
+            receipts[treatmentId] = await mutate(targets[treatmentId]);
+        // 6. Post-mutation equivalence.
+        const postStates = {};
+        for (const treatmentId of V2_TREATMENT_IDS)
+            postStates[treatmentId] = await captureState(targets[treatmentId]);
+        events.push("post-mutation-source-state-captured");
+        const postMutationEquivalence = compareAgainstReference(postStates["stale-index"], postStates, "post-mutation-not-equivalent", "post-mutation");
+        events.push("post-mutation-equivalence-proven");
+        // 7. Baseline (change-authority) freshness against each mutated target, symmetric with the reference.
+        const baselineFreshness = {};
+        for (const treatmentId of V2_TREATMENT_IDS) {
+            baselineFreshness[treatmentId] = await assess(baselines[treatmentId], targets[treatmentId]);
+            fail(evaluateBaselineStaleFreshness(baselineFreshness[treatmentId], controlledChangedPaths, treatmentId));
+            events.push(`${treatmentId}:baseline-freshness-stale`);
+        }
+        for (const treatmentId of V2_TREATMENT_IDS) {
+            if (treatmentId === "stale-index")
+                continue;
+            fail(evaluateChangedPathSymmetry(baselineFreshness["stale-index"], baselineFreshness[treatmentId], { reference: "stale-index", other: treatmentId }));
+        }
+        events.push("baseline-changed-paths-symmetric");
+        // 8. stale-index: no rebuild; baseline stays the active retrieval index.
+        events.push("stale-index:baseline-retained-as-active");
+        // 9. Partial treatments: refresh the cloned working index in place through the shared build owner.
+        const refreshed = {};
+        const refreshedFreshness = {};
+        const realizations = {};
+        for (const treatmentId of ["changed-files-refresh", "affected-neighborhood-refresh"]) {
+            const scope = PARTIAL_REFRESH_SCOPES[treatmentId];
+            const { evidence, build } = await prepareIndex(targets[treatmentId], "refreshed", refreshedDirs[treatmentId], { kind: "incremental", refreshScope: scope }, true);
+            const realization = evaluatePartialRefreshRealization(build, scope, treatmentId);
+            fail(realization.failure);
+            realizations[treatmentId] = realization.realization;
+            events.push(`${treatmentId}:refresh-realization-${realization.realization === "APPLIED_PARTIAL" ? "applied-partial" : "fallback-full"}`);
+            refreshed[treatmentId] = withRefreshEvidence(evidence, build.mode, build.incrementalRefresh);
+            refreshedFreshness[treatmentId] = await assess(evidence, targets[treatmentId]);
+            fail(evaluateRefreshedFreshness(refreshedFreshness[treatmentId], treatmentId));
+            events.push(`${treatmentId}:refreshed-freshness-fresh`);
+        }
+        // 10. full-refresh: a NEW complete post-mutation index in a separate directory (baseline is not cloned).
+        {
+            const { evidence, build } = await prepareIndex(targets["full-refresh"], "refreshed", refreshedDirs["full-refresh"], undefined);
+            refreshed["full-refresh"] = withRefreshEvidence(evidence, build.mode, build.incrementalRefresh);
+            refreshedFreshness["full-refresh"] = await assess(evidence, targets["full-refresh"]);
+            fail(evaluateRefreshedFreshness(refreshedFreshness["full-refresh"], "full-refresh"));
+            events.push("full-refresh:refreshed-freshness-fresh");
+        }
+        // 11. Scenario-level proofs.
+        const allTools = evaluateToolIdentity([...V2_TREATMENT_IDS.map((id) => baselines[id]), ...V2_TREATMENT_IDS.flatMap((id) => (refreshed[id] ? [refreshed[id]] : []))]);
+        fail(allTools.failure);
+        events.push("tool-identity-consistent");
+        fail(evaluateV2InvocationCounts(indexInvocationCounts, freshnessAssessmentCounts));
+        events.push("invocation-counts-verified");
+        events.push("lifecycle-ready");
+        const common = (treatmentId) => ({
+            treatmentIntent: INCREMENTAL_CHANGE_STALENESS_V2_TREATMENT_INTENTS[treatmentId],
+            target: targets[treatmentId],
+            preMutationSourceState: preStates[treatmentId],
+            postMutationSourceState: postStates[treatmentId],
+            mutationReceipt: receipts[treatmentId],
+            changeAuthority: Object.freeze({
+                baselineIndex: baselines[treatmentId],
+                baselineBootstrap: bootstraps[treatmentId],
+                postMutationBaselineFreshness: baselineFreshness[treatmentId]
+            }),
+            indexInvocationCount: indexInvocationCounts[treatmentId],
+            freshnessAssessmentCount: freshnessAssessmentCounts[treatmentId],
+            lifecycleStatus: "ready",
+            warnings: Object.freeze([])
+        });
+        const partialSession = (treatmentId) => Object.freeze({
+            ...common(treatmentId),
+            treatmentId,
+            activeRetrieval: Object.freeze({ role: "refreshed", index: refreshed[treatmentId] }),
+            postMutationIndexBuilt: true,
+            refreshedIndex: refreshed[treatmentId],
+            refreshedFreshness: refreshedFreshness[treatmentId],
+            refreshRealization: realizations[treatmentId]
+        });
+        const staleSession = Object.freeze({
+            ...common("stale-index"),
+            treatmentId: "stale-index",
+            activeRetrieval: Object.freeze({ role: "baseline", index: baselines["stale-index"] }),
+            postMutationIndexBuilt: false,
+            refreshedIndex: null,
+            refreshedFreshness: null,
+            refreshRealization: null
+        });
+        const fullSession = Object.freeze({
+            ...common("full-refresh"),
+            treatmentId: "full-refresh",
+            activeRetrieval: Object.freeze({ role: "refreshed", index: refreshed["full-refresh"] }),
+            postMutationIndexBuilt: true,
+            refreshedIndex: refreshed["full-refresh"],
+            refreshedFreshness: refreshedFreshness["full-refresh"],
+            refreshRealization: null
+        });
+        const session = Object.freeze({
+            schemaVersion: INCREMENTAL_CHANGE_STALENESS_LIFECYCLE_SESSION_V2_SCHEMA_VERSION,
+            scenarioId: scenario.id,
+            scenario,
+            baseCase,
+            runOwnedRoot,
+            kitCommand,
+            toolIdentity: allTools.tool,
+            controlledChangedPaths: Object.freeze(controlledChangedPaths),
+            preMutationEquivalence: Object.freeze(preMutationEquivalence),
+            postMutationEquivalence: Object.freeze(postMutationEquivalence),
+            treatments: Object.freeze({
+                "stale-index": staleSession,
+                "changed-files-refresh": partialSession("changed-files-refresh"),
+                "affected-neighborhood-refresh": partialSession("affected-neighborhood-refresh"),
+                "full-refresh": fullSession
+            }),
+            totalIndexInvocationCount: V2_TREATMENT_IDS.reduce((sum, id) => sum + indexInvocationCounts[id], 0),
+            totalFreshnessAssessmentCount: V2_TREATMENT_IDS.reduce((sum, id) => sum + freshnessAssessmentCounts[id], 0),
+            lifecycleEvents: Object.freeze([...events]),
+            status: "ready"
+        });
+        return { status: "ready", session };
+    }
+    catch (error) {
+        const failure = error instanceof LifecycleFailure
+            ? error.failure
+            : { code: "lifecycle-error", message: `Lifecycle failed unexpectedly: ${error instanceof Error ? error.message : String(error)}`, treatmentId: null };
+        return {
+            status: "failed",
+            scenarioId: scenario.id,
+            failure,
+            lifecycleEvents: Object.freeze([...events]),
+            indexInvocationCounts: Object.freeze({ ...indexInvocationCounts })
+        };
+    }
+}