@overkill-dev/run 0.0.92 → 0.0.94

package/run/history-types.d.ts

@@ -0,0 +1,40 @@
+import type { Except } from 'type-fest';
+import type { NormalizedConfig } from '../config/types.ts';
+import type { HistoryRunSummary as StoredSummary } from './compact-history-schema.ts';
+export type HistoryOptions = {
+    readonly projectRoot: string;
+    readonly config: Pick<NormalizedConfig, 'history' | 'runtimeStateDir'>;
+};
+export type HistoryRepairResult = {
+    readonly rebuiltRunCount: number;
+    readonly diagnostics: readonly string[];
+    readonly dataLoss: boolean;
+};
+export type HistoryRunSummary = Except<StoredSummary, 'replayable'> & {
+    readonly replay: 'available' | 'available-interrupted' | 'pruned' | 'unavailable';
+};
+export type HistoryPruneResult = {
+    readonly diagnostics: readonly string[];
+    readonly kind: 'applied' | 'dry-run';
+    readonly paths: readonly string[];
+    readonly removedSummaries: number;
+    readonly removedCases: number;
+    readonly removedWorkEntries: number;
+};
+export type HistoryClearResult = {
+    readonly paths: readonly string[];
+    readonly diagnostics: readonly string[];
+};
+export type HistoryPruneRequest = {
+    readonly dryRun: boolean;
+};
+export type HistoryClearRequest = {
+    readonly confirmed: true;
+};
+export type History = {
+    readonly list: () => Promise<readonly HistoryRunSummary[]>;
+    readonly prune: (request: HistoryPruneRequest) => Promise<HistoryPruneResult>;
+    readonly clear: (request: HistoryClearRequest) => Promise<HistoryClearResult>;
+    readonly compact: () => Promise<HistoryRepairResult>;
+};
+//# sourceMappingURL=history-types.d.ts.map

package/run/history-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"history-types.d.ts","sourceRoot":"","sources":["../../../../source/run/history-types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AACxC,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAC3D,OAAO,KAAK,EAAE,iBAAiB,IAAI,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAEtF,MAAM,MAAM,cAAc,GAAG;IACzB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,gBAAgB,EAAE,SAAS,GAAG,iBAAiB,CAAC,CAAC;CAC1E,CAAC;AACF,MAAM,MAAM,mBAAmB,GAAG;IAC9B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC9B,CAAC;AACF,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,aAAa,EAAE,YAAY,CAAC,GAAG;IAClE,QAAQ,CAAC,MAAM,EAAE,WAAW,GAAG,uBAAuB,GAAG,QAAQ,GAAG,aAAa,CAAC;CACrF,CAAC;AACF,MAAM,MAAM,kBAAkB,GAAG;IAC7B,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,SAAS,CAAC;IACrC,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;CACvC,CAAC;AACF,MAAM,MAAM,kBAAkB,GAAG;IAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CAAE,CAAC;AACjH,MAAM,MAAM,mBAAmB,GAAG;IAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;CAAE,CAAC;AAChE,MAAM,MAAM,mBAAmB,GAAG;IAAE,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC;CAAE,CAAC;AAEhE,MAAM,MAAM,OAAO,GAAG;IAClB,QAAQ,CAAC,IAAI,EAAE,MAAM,OAAO,CAAC,SAAS,iBAAiB,EAAE,CAAC,CAAC;IAC3D,QAAQ,CAAC,KAAK,EAAE,CAAC,OAAO,EAAE,mBAAmB,KAAK,OAAO,CAAC,kBAAkB,CAAC,CAAC;IAC9E,QAAQ,CAAC,KAAK,EAAE,CAAC,OAAO,EAAE,mBAAmB,KAAK,OAAO,CAAC,kBAAkB,CAAC,CAAC;IAC9E,QAAQ,CAAC,OAAO,EAAE,MAAM,OAAO,CAAC,mBAAmB,CAAC,CAAC;CACxD,CAAC"}

package/run/history.d.ts

@@ -0,0 +1,3 @@
+import type { HistoryOptions, History } from './history-types.ts';
+export declare function createHistory(options: HistoryOptions): History;
+//# sourceMappingURL=history.d.ts.map

package/run/history.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"history.d.ts","sourceRoot":"","sources":["../../../../source/run/history.ts"],"names":[],"mappings":"AAcA,OAAO,KAAK,EACR,cAAc,EAOd,OAAO,EACV,MAAM,oBAAoB,CAAC;AAqB5B,wBAAgB,aAAa,CAAC,OAAO,EAAE,cAAc,GAAG,OAAO,CAsF9D"}

package/run/history.js

@@ -0,0 +1,97 @@
+import { rm } from 'node:fs/promises';
+import path from 'node:path';
+import { z } from 'zod';
+import { createHistoryAccess, compareHistoryRuns, assertHistoryRunId, detailedRecordState } from "./history-state-access.js";
+import { readCompactHistory } from "./history-storage.js";
+import { historyStateError, historySchemaVersion } from "./history-state-error.js";
+import { repairHistory } from "./history-repair.js";
+import { pruneHistory } from "./history-pruning.js";
+function replayAvailability(availability, replayable, status) {
+    if (availability === 'pruned') {
+        return 'pruned';
+    }
+    if (availability === 'unavailable' || !replayable) {
+        return 'unavailable';
+    }
+    return status === 'interrupted' ? 'available-interrupted' : 'available';
+}
+function currentTimestamp() {
+    const now = new Date();
+    return now.toISOString();
+}
+export function createHistory(options) {
+    const { directory, policy, store, runs, guarded, assertIdle, assertOwnedLocation, diagnostics, removeAbandonedOwners } = createHistoryAccess(options);
+    async function repair(mode) {
+        const result = await repairHistory({
+            ...store,
+            async withLock(operation) {
+                return await guarded(async function repairIdleHistory() {
+                    await assertOwnedLocation();
+                    await assertIdle();
+                    const operationResult = await operation();
+                    if (mode === 'explicit') {
+                        await removeAbandonedOwners();
+                    }
+                    return operationResult;
+                });
+            }
+        }, { directory, policy, now: currentTimestamp(), mode });
+        return { ...result, diagnostics: [...diagnostics(), ...result.diagnostics] };
+    }
+    return {
+        async list() {
+            const source = await guarded(async function readHistorySource() {
+                return await store.read(path.join(directory, 'history', 'index.json'));
+            });
+            if (source !== null && historySchemaVersion(source) === 0) {
+                await repair('automatic');
+            }
+            return await guarded(async function listHistory() {
+                const index = await readCompactHistory(store, directory);
+                if (index === null) {
+                    throw historyStateError('Compact history is missing.');
+                }
+                return await Promise.all(index
+                    .summaries
+                    .toSorted(compareHistoryRuns)
+                    .map(async function publicSummary(summary) {
+                    const { replayable, ...fields } = summary;
+                    assertHistoryRunId(summary.id);
+                    const availability = await detailedRecordState(path.join(runs, `${summary.id}.json`));
+                    const replay = replayAvailability(availability, replayable, summary.status);
+                    return { ...fields, replay };
+                }));
+            });
+        },
+        async compact() {
+            return await repair('explicit');
+        },
+        async clear(request) {
+            z.literal(true).parse(request.confirmed);
+            return await guarded(async function clearHistory() {
+                await assertOwnedLocation();
+                await assertIdle();
+                const paths = ['runs', 'history', 'duration-history', 'active-runs']
+                    .map(function ownedPath(name) {
+                    return path.join(directory, name);
+                });
+                for (const target of paths) {
+                    await rm(target, { recursive: true, force: true });
+                }
+                return { paths, diagnostics: diagnostics() };
+            });
+        },
+        async prune(request) {
+            return await guarded(async function pruneIdleHistory() {
+                await assertOwnedLocation();
+                await assertIdle();
+                const result = await pruneHistory({ directory, policy, store }, request);
+                if (!request.dryRun) {
+                    await removeAbandonedOwners();
+                }
+                return { ...result, diagnostics: diagnostics() };
+            });
+        }
+    };
+}
+//# sourceMappingURL=history.js.map

package/run/history.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"history.js","sourceRoot":"","sources":["../../../../source/run/history.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAC;AACtC,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EACH,mBAAmB,EACnB,kBAAkB,EAClB,kBAAkB,EAClB,mBAAmB,EAEtB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AACnF,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAYpD,SAAS,kBAAkB,CACvB,YAAiC,EACjC,UAAmB,EACnB,MAAmC;IAEnC,IAAI,YAAY,KAAK,QAAQ,EAAE,CAAC;QAC5B,OAAO,QAAQ,CAAC;IACpB,CAAC;IACD,IAAI,YAAY,KAAK,aAAa,IAAI,CAAC,UAAU,EAAE,CAAC;QAChD,OAAO,aAAa,CAAC;IACzB,CAAC;IACD,OAAO,MAAM,KAAK,aAAa,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAC,WAAW,CAAC;AAC5E,CAAC;AAED,SAAS,gBAAgB;IACrB,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC;IACvB,OAAO,GAAG,CAAC,WAAW,EAAE,CAAC;AAC7B,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,OAAuB;IACjD,MAAM,EACF,SAAS,EACT,MAAM,EACN,KAAK,EACL,IAAI,EACJ,OAAO,EACP,UAAU,EACV,mBAAmB,EACnB,WAAW,EACX,qBAAqB,EACxB,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;IACjC,KAAK,UAAU,MAAM,CAAC,IAA8B;QAChD,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC;YAC/B,GAAG,KAAK;YACR,KAAK,CAAC,QAAQ,CAAC,SAAS;gBACpB,OAAO,MAAM,OAAO,CAAC,KAAK,UAAU,iBAAiB;oBACjD,MAAM,mBAAmB,EAAE,CAAC;oBAC5B,MAAM,UAAU,EAAE,CAAC;oBACnB,MAAM,eAAe,GAAG,MAAM,SAAS,EAAE,CAAC;oBAC1C,IAAI,IAAI,KAAK,UAAU,EAAE,CAAC;wBACtB,MAAM,qBAAqB,EAAE,CAAC;oBAClC,CAAC;oBACD,OAAO,eAAe,CAAC;gBAC3B,CAAC,CAAC,CAAC;YACP,CAAC;SACJ,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,GAAG,EAAE,gBAAgB,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACzD,OAAO,EAAE,GAAG,MAAM,EAAE,WAAW,EAAE,CAAE,GAAG,WAAW,EAAE,EAAE,GAAG,MAAM,CAAC,WAAW,CAAE,EAAE,CAAC;IACnF,CAAC;IACD,OAAO;QACH,KAAK,CAAC,IAAI;YACN,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,KAAK,UAAU,iBAAiB;gBACzD,OAAO,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,SAAS,EAAE,YAAY,CAAC,CAAC,CAAC;YAC3E,CAAC,CAAC,CAAC;YACH,IAAI,MAAM,KAAK,IAAI,IAAI,oBAAoB,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;gBACxD,MAAM,MAAM,CAAC,WAAW,CAAC,CAAC;YAC9B,CAAC;YACD,OAAO,MAAM,OAAO,CAAC,KAAK,UAAU,WAAW;gBAC3C,MAAM,KAAK,GAAG,MAAM,kBAAkB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;gBACzD,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;oBACjB,MAAM,iBAAiB,CAAC,6BAA6B,CAAC,CAAC;gBAC3D,CAAC;gBACD,OAAO,MAAM,OAAO,CAAC,GAAG,CACpB,KAAK;qBACA,SAAS;qBACT,QAAQ,CAAC,kBAAkB,CAAC;qBAC5B,GAAG,CAAC,KAAK,UAAU,aAAa,CAAC,OAAO;oBACrC,MAAM,EAAE,UAAU,EAAE,GAAG,MAAM,EAAE,GAAG,OAAO,CAAC;oBAC1C,kBAAkB,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;oBAC/B,MAAM,YAAY,GAAG,MAAM,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;oBACtF,MAAM,MAAM,GAAG,kBAAkB,CAAC,YAAY,EAAE,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;oBAC5E,OAAO,EAAE,GAAG,MAAM,EAAE,MAAM,EAAE,CAAC;gBACjC,CAAC,CAAC,CACT,CAAC;YACN,CAAC,CAAC,CAAC;QACP,CAAC;QACD,KAAK,CAAC,OAAO;YACT,OAAO,MAAM,MAAM,CAAC,UAAU,CAAC,CAAC;QACpC,CAAC;QACD,KAAK,CAAC,KAAK,CAAC,OAA4B;YACpC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YACzC,OAAO,MAAM,OAAO,CAAC,KAAK,UAAU,YAAY;gBAC5C,MAAM,mBAAmB,EAAE,CAAC;gBAC5B,MAAM,UAAU,EAAE,CAAC;gBACnB,MAAM,KAAK,GAAG,CAAE,MAAM,EAAE,SAAS,EAAE,kBAAkB,EAAE,aAAa,CAAE;qBACjE,GAAG,CAAC,SAAS,SAAS,CAAC,IAAI;oBACxB,OAAO,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;gBACtC,CAAC,CAAC,CAAC;gBACP,KAAK,MAAM,MAAM,IAAI,KAAK,EAAE,CAAC;oBACzB,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;gBACvD,CAAC;gBACD,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,EAAE,CAAC;YACjD,CAAC,CAAC,CAAC;QACP,CAAC;QACD,KAAK,CAAC,KAAK,CAAC,OAA4B;YACpC,OAAO,MAAM,OAAO,CAAC,KAAK,UAAU,gBAAgB;gBAChD,MAAM,mBAAmB,EAAE,CAAC;gBAC5B,MAAM,UAAU,EAAE,CAAC;gBACnB,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,OAAO,CAAC,CAAC;gBACzE,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;oBAClB,MAAM,qBAAqB,EAAE,CAAC;gBAClC,CAAC;gBACD,OAAO,EAAE,GAAG,MAAM,EAAE,WAAW,EAAE,WAAW,EAAE,EAAE,CAAC;YACrD,CAAC,CAAC,CAAC;QACP,CAAC;KACJ,CAAC;AACN,CAAC"}

package/run/local-run-collection.js

@@ -0,0 +1,31 @@
+import { createResultFromResolutionError } from "./run-collection-error-result.js";
+import { createLocalRunOrEmptySelectionResultFromInput } from "./run-local-resolution.js";
+import { emptyTimingSpanMetadata } from "./run-timing-collection.js";
+export function isRunResult(value) {
+    return Object.hasOwn(value, 'summary');
+}
+async function resolveRunWithRuntimePolicy(resolveRun, runtimePolicy) {
+    return runtimePolicy === null ? await resolveRun() : await runtimePolicy.runLoad(resolveRun);
+}
+export async function createLocalRunResult(command, dependencies, runtimePolicy, options) {
+    const resolveRun = async function resolveLocalRunInsidePolicy() {
+        return await options.timing.measureAsync('collection.resolve', emptyTimingSpanMetadata(), async function createTimedLocalRunOrEmptySelectionResult() {
+            const resolved = await createLocalRunOrEmptySelectionResultFromInput(command, dependencies, options.input, options.source);
+            await options.record?.recordFacts(resolved.facts);
+            return resolved.run;
+        });
+    };
+    try {
+        return await resolveRunWithRuntimePolicy(resolveRun, runtimePolicy);
+    }
+    catch (error) {
+        try {
+            return createResultFromResolutionError(error, runtimePolicy);
+        }
+        catch {
+            runtimePolicy?.takeRunErrors();
+            throw error;
+        }
+    }
+}
+//# sourceMappingURL=local-run-collection.js.map

package/run/local-run-collection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"local-run-collection.js","sourceRoot":"","sources":["../../../../source/run/local-run-collection.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,+BAA+B,EAAE,MAAM,kCAAkC,CAAC;AAEnF,OAAO,EACH,6CAA6C,EAEhD,MAAM,2BAA2B,CAAC;AAInC,OAAO,EAAE,uBAAuB,EAA6B,MAAM,4BAA4B,CAAC;AAYhG,MAAM,UAAU,WAAW,CAAC,KAA8B;IACtD,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;AAC3C,CAAC;AAED,KAAK,UAAU,2BAA2B,CACtC,UAAmC,EACnC,aAAsC;IAEtC,OAAO,aAAa,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,UAAU,EAAE,CAAC,CAAC,CAAC,MAAM,aAAa,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;AACjG,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACtC,OAAmB,EACnB,YAAyC,EACzC,aAAsC,EACtC,OAAwB;IAExB,MAAM,UAAU,GAAG,KAAK,UAAU,2BAA2B;QACzD,OAAO,MAAM,OAAO,CAAC,MAAM,CAAC,YAAY,CACpC,oBAAoB,EACpB,uBAAuB,EAAE,EACzB,KAAK,UAAU,yCAAyC;YACpD,MAAM,QAAQ,GAAG,MAAM,6CAA6C,CAChE,OAAO,EACP,YAAY,EACZ,OAAO,CAAC,KAAK,EACb,OAAO,CAAC,MAAM,CACjB,CAAC;YACF,MAAM,OAAO,CAAC,MAAM,EAAE,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YAClD,OAAO,QAAQ,CAAC,GAAG,CAAC;QACxB,CAAC,CACJ,CAAC;IACN,CAAC,CAAC;IAEF,IAAI,CAAC;QACD,OAAO,MAAM,2BAA2B,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;IACxE,CAAC;IAAC,OAAO,KAAc,EAAE,CAAC;QACtB,IAAI,CAAC;YACD,OAAO,+BAA+B,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;QACjE,CAAC;QAAC,MAAM,CAAC;YACL,aAAa,EAAE,aAAa,EAAE,CAAC;YAC/B,MAAM,KAAK,CAAC;QAChB,CAAC;IACL,CAAC;AACL,CAAC"}

package/run/node-history-storage.js

@@ -0,0 +1,107 @@
+import { mkdir, readdir, rm } from 'node:fs/promises';
+import path from 'node:path';
+import { hostname } from 'node:os';
+import lockfile from 'proper-lockfile';
+import { createNodeFileStore } from "../file-store.js";
+import { checkHistoryMaintenanceBudget } from "./history-maintenance-budget.js";
+import { acquireHistoryLock } from "./history-lock-acquisition.js";
+function createLockState() {
+    let error = null;
+    return {
+        error() {
+            return error;
+        },
+        record(value) {
+            error = value;
+        }
+    };
+}
+async function directoryNames(directory) {
+    try {
+        return await readdir(directory);
+    }
+    catch (error) {
+        if (error instanceof Error && Reflect.get(error, 'code') === 'ENOENT') {
+            return [];
+        }
+        throw error;
+    }
+}
+async function historyFiles(directory) {
+    const names = await directoryNames(directory);
+    return names
+        .filter(function jsonRecord(name) {
+        return name.endsWith('.json');
+    })
+        .map(function recordPath(name) {
+        return path.join(directory, name);
+    });
+}
+async function guardedHistoryOperation(operation, state) {
+    const result = await operation();
+    const error = state.error();
+    if (error !== null) {
+        throw error;
+    }
+    return result;
+}
+async function acquireRunLease(ownerPath, policy, state) {
+    try {
+        return await lockfile.lock(ownerPath, {
+            lockfilePath: `${ownerPath}.lease`,
+            stale: policy.staleLockMilliseconds,
+            onCompromised: state.record
+        });
+    }
+    catch (error) {
+        await rm(ownerPath, { force: true });
+        throw error;
+    }
+}
+export function createNodeHistoryStorage(directory, policy) {
+    const store = createNodeFileStore();
+    const history = {
+        async beginRun(id) {
+            const ownerPath = path.join(directory, 'active-runs', `${id}.json`);
+            const state = createLockState();
+            const release = await history.withLock(async function registerOwner() {
+                await store.create(ownerPath, JSON.stringify({ pid: process.pid, host: hostname() }));
+                return await acquireRunLease(ownerPath, policy, state);
+            });
+            return async function releaseOwner() {
+                await release();
+                await rm(ownerPath, { force: true });
+                const error = state.error();
+                if (error !== null) {
+                    throw error;
+                }
+            };
+        },
+        async read(target) {
+            checkHistoryMaintenanceBudget();
+            return await store.read(target);
+        },
+        async write(target, content) {
+            checkHistoryMaintenanceBudget();
+            await store.write(target, content);
+        },
+        async list(target) {
+            checkHistoryMaintenanceBudget();
+            return await historyFiles(target);
+        },
+        async withLock(operation) {
+            checkHistoryMaintenanceBudget();
+            await mkdir(directory, { recursive: true });
+            const state = createLockState();
+            const release = await acquireHistoryLock(directory, policy, state.record);
+            try {
+                return await guardedHistoryOperation(operation, state);
+            }
+            finally {
+                await release();
+            }
+        }
+    };
+    return history;
+}
+//# sourceMappingURL=node-history-storage.js.map

package/run/node-history-storage.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"node-history-storage.js","sourceRoot":"","sources":["../../../../source/run/node-history-storage.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAC;AACtD,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AACnC,OAAO,QAAQ,MAAM,iBAAiB,CAAC;AACvC,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAEvD,OAAO,EAAE,6BAA6B,EAAE,MAAM,iCAAiC,CAAC;AAChF,OAAO,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AAInE,SAAS,eAAe;IACpB,IAAI,KAAK,GAAiB,IAAI,CAAC;IAC/B,OAAO;QACH,KAAK;YACD,OAAO,KAAK,CAAC;QACjB,CAAC;QACD,MAAM,CAAC,KAAK;YACR,KAAK,GAAG,KAAK,CAAC;QAClB,CAAC;KACJ,CAAC;AACN,CAAC;AAED,KAAK,UAAU,cAAc,CAAC,SAAiB;IAC3C,IAAI,CAAC;QACD,OAAO,MAAM,OAAO,CAAC,SAAS,CAAC,CAAC;IACpC,CAAC;IAAC,OAAO,KAAc,EAAE,CAAC;QACtB,IAAI,KAAK,YAAY,KAAK,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,QAAQ,EAAE,CAAC;YACpE,OAAO,EAAE,CAAC;QACd,CAAC;QACD,MAAM,KAAK,CAAC;IAChB,CAAC;AACL,CAAC;AAED,KAAK,UAAU,YAAY,CAAC,SAAiB;IACzC,MAAM,KAAK,GAAG,MAAM,cAAc,CAAC,SAAS,CAAC,CAAC;IAC9C,OAAO,KAAK;SACP,MAAM,CAAC,SAAS,UAAU,CAAC,IAAI;QAC5B,OAAO,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAClC,CAAC,CAAC;SACD,GAAG,CAAC,SAAS,UAAU,CAAC,IAAI;QACzB,OAAO,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACX,CAAC;AAED,KAAK,UAAU,uBAAuB,CAAI,SAA2B,EAAE,KAAgB;IACnF,MAAM,MAAM,GAAG,MAAM,SAAS,EAAE,CAAC;IACjC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;IAC5B,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACjB,MAAM,KAAK,CAAC;IAChB,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,KAAK,UAAU,eAAe,CAC1B,SAAiB,EACjB,MAAqB,EACrB,KAAgB;IAEhB,IAAI,CAAC;QACD,OAAO,MAAM,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE;YAClC,YAAY,EAAE,GAAG,SAAS,QAAQ;YAClC,KAAK,EAAE,MAAM,CAAC,qBAAqB;YACnC,aAAa,EAAE,KAAK,CAAC,MAAM;SAC9B,CAAC,CAAC;IACP,CAAC;IAAC,OAAO,KAAc,EAAE,CAAC;QACtB,MAAM,EAAE,CAAC,SAAS,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACrC,MAAM,KAAK,CAAC;IAChB,CAAC;AACL,CAAC;AACD,MAAM,UAAU,wBAAwB,CAAC,SAAiB,EAAE,MAAqB;IAC7E,MAAM,KAAK,GAAG,mBAAmB,EAAE,CAAC;IACpC,MAAM,OAAO,GAAmB;QAC5B,KAAK,CAAC,QAAQ,CAAC,EAAE;YACb,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,aAAa,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;YACpE,MAAM,KAAK,GAAG,eAAe,EAAE,CAAC;YAChC,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,QAAQ,CAAC,KAAK,UAAU,aAAa;gBAC/D,MAAM,KAAK,CAAC,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC,CAAC;gBACtF,OAAO,MAAM,eAAe,CAAC,SAAS,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;YAC3D,CAAC,CAAC,CAAC;YACH,OAAO,KAAK,UAAU,YAAY;gBAC9B,MAAM,OAAO,EAAE,CAAC;gBAChB,MAAM,EAAE,CAAC,SAAS,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;gBACrC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;gBAC5B,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;oBACjB,MAAM,KAAK,CAAC;gBAChB,CAAC;YACL,CAAC,CAAC;QACN,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,MAAM;YACb,6BAA6B,EAAE,CAAC;YAChC,OAAO,MAAM,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACpC,CAAC;QACD,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,OAAO;YACvB,6BAA6B,EAAE,CAAC;YAChC,MAAM,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACvC,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,MAAM;YACb,6BAA6B,EAAE,CAAC;YAChC,OAAO,MAAM,YAAY,CAAC,MAAM,CAAC,CAAC;QACtC,CAAC;QACD,KAAK,CAAC,QAAQ,CAAC,SAAS;YACpB,6BAA6B,EAAE,CAAC;YAChC,MAAM,KAAK,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YAC5C,MAAM,KAAK,GAAG,eAAe,EAAE,CAAC;YAChC,MAAM,OAAO,GAAG,MAAM,kBAAkB,CAAC,SAAS,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;YAC1E,IAAI,CAAC;gBACD,OAAO,MAAM,uBAAuB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;YAC3D,CAAC;oBAAS,CAAC;gBACP,MAAM,OAAO,EAAE,CAAC;YACpB,CAAC;QACL,CAAC;KACJ,CAAC;IACF,OAAO,OAAO,CAAC;AACnB,CAAC"}

package/run/node-run-execution.js

@@ -1,5 +1,6 @@
 import { createExecute } from "@overkill-dev/engine/engine/execution.js";
 import { createNodeFileStore } from "../file-store.js";
+import { createNodeHistoryStorage } from "./node-history-storage.js";
 import { createWorkerPoolWithHostProcess } from "./node-worker-pool-factory.js";
 import { createNodeProcessUsageTracker } from "./process-usage.js";
 function readActiveResourceTypes() {
@@ -7,6 +8,11 @@ function readActiveResourceTypes() {
 }
 export function createNodeExecutionDependencies(input) {
     return {
+        createHistoryStorage: createNodeHistoryStorage,
+        async maintainHistory(options) {
+            const { maintainHistory } = await import("./history-maintenance.js");
+            return await maintainHistory(options);
+        },
         createProcessUsageTracker(options) {
             return createNodeProcessUsageTracker(input.wallClock, options);
         },

package/run/node-run-execution.js.map

@@ -1 +1 @@
-{"version":3,"file":"node-run-execution.js","sourceRoot":"","sources":["../../../../source/run/node-run-execution.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,0CAAwB,CAAC;AACvD,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,+BAA+B,EAAE,MAAM,+BAA+B,CAAC;AAChF,OAAO,EAAE,6BAA6B,EAAE,MAAM,oBAAoB,CAAC;AAenE,SAAS,uBAAuB;IAC5B,OAAO,OAAO,CAAC,sBAAsB,EAAE,CAAC;AAC5C,CAAC;AAED,MAAM,UAAU,+BAA+B,CAAC,KAAyB;IACrE,OAAO;QACH,yBAAyB,CAAC,OAAO;YAC7B,OAAO,6BAA6B,CAAC,KAAK,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QACnE,CAAC;QACD,gBAAgB,CAAC,OAAO;YACpB,OAAO,+BAA+B,CAAC,OAAO,EAAE,KAAK,CAAC,eAAe,EAAE,EAAE,KAAK,CAAC,mBAAmB,CAAC,CAAC;QACxG,CAAC;QACD,OAAO,EAAE,aAAa,CAAC;YACnB,oBAAoB,EAAE,IAAI;YAC1B,oBAAoB,EAAE,SAAS;YAC/B,uBAAuB;YACvB,kBAAkB,EAAE,KAAK,CAAC,kBAAkB;YAC5C,SAAS,EAAE,KAAK,CAAC,SAAS;SAC7B,CAAC;QACF,iBAAiB,EAAE,mBAAmB,EAAE;KAC3C,CAAC;AACN,CAAC"}
+{"version":3,"file":"node-run-execution.js","sourceRoot":"","sources":["../../../../source/run/node-run-execution.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,0CAAwB,CAAC;AACvD,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,wBAAwB,EAAE,MAAM,2BAA2B,CAAC;AACrE,OAAO,EAAE,+BAA+B,EAAE,MAAM,+BAA+B,CAAC;AAChF,OAAO,EAAE,6BAA6B,EAAE,MAAM,oBAAoB,CAAC;AAoBnE,SAAS,uBAAuB;IAC5B,OAAO,OAAO,CAAC,sBAAsB,EAAE,CAAC;AAC5C,CAAC;AAED,MAAM,UAAU,+BAA+B,CAAC,KAAyB;IACrE,OAAO;QACH,oBAAoB,EAAE,wBAAwB;QAC9C,KAAK,CAAC,eAAe,CAAC,OAAO;YACzB,MAAM,EAAE,eAAe,EAAE,GAAG,MAAM,MAAM,CAAC,0BAA0B,CAAC,CAAC;YACrE,OAAO,MAAM,eAAe,CAAC,OAAO,CAAC,CAAC;QAC1C,CAAC;QACD,yBAAyB,CAAC,OAAO;YAC7B,OAAO,6BAA6B,CAAC,KAAK,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QACnE,CAAC;QACD,gBAAgB,CAAC,OAAO;YACpB,OAAO,+BAA+B,CAAC,OAAO,EAAE,KAAK,CAAC,eAAe,EAAE,EAAE,KAAK,CAAC,mBAAmB,CAAC,CAAC;QACxG,CAAC;QACD,OAAO,EAAE,aAAa,CAAC;YACnB,oBAAoB,EAAE,IAAI;YAC1B,oBAAoB,EAAE,SAAS;YAC/B,uBAAuB;YACvB,kBAAkB,EAAE,KAAK,CAAC,kBAAkB;YAC5C,SAAS,EAAE,KAAK,CAAC,SAAS;SAC7B,CAAC;QACF,iBAAiB,EAAE,mBAAmB,EAAE;KAC3C,CAAC;AACN,CAAC"}

package/run/prepared-run.js

@@ -0,0 +1,42 @@
+import { runIsolatedProcessCommand } from "./run-isolated-process.js";
+import { runLocalCommand } from "./run-local-command.js";
+async function prepareRun(invocation, options) {
+    if (invocation.namespace === 'test') {
+        return { input: options.input, session: null };
+    }
+    const { prepareBenchmarkExecution } = await import("./benchmark-baseline-run.js");
+    return await prepareBenchmarkExecution(options);
+}
+async function executePreparedRun(prepared, options) {
+    const { command: resolvedCommand, dependencies, source, timing } = options;
+    const { input, session: baseline } = prepared;
+    const executionDependencies = baseline === null ? dependencies : {
+        ...dependencies,
+        reporterDispatcher: baseline.reporterDispatcher
+    };
+    const isolatedResult = runIsolatedProcessCommand(resolvedCommand, executionDependencies, {
+        baseline,
+        record: options.record,
+        source,
+        timing,
+        signal: options.signal
+    }, input);
+    if (isolatedResult !== null) {
+        return await isolatedResult;
+    }
+    return await runLocalCommand(resolvedCommand, executionDependencies, {
+        baseline,
+        input,
+        source,
+        timing,
+        record: options.record
+    });
+}
+function isRunResult(value) {
+    return Object.hasOwn(value, 'summary');
+}
+export async function executePreparedInvocation(invocation, options) {
+    const prepared = await prepareRun(invocation, options);
+    return isRunResult(prepared) ? prepared : await executePreparedRun(prepared, options);
+}
+//# sourceMappingURL=prepared-run.js.map

package/run/prepared-run.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prepared-run.js","sourceRoot":"","sources":["../../../../source/run/prepared-run.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,yBAAyB,EAAE,MAAM,2BAA2B,CAAC;AACtE,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAczD,KAAK,UAAU,UAAU,CACrB,UAAyB,EACzB,OAA4B;IAE5B,IAAI,UAAU,CAAC,SAAS,KAAK,MAAM,EAAE,CAAC;QAClC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACnD,CAAC;IACD,MAAM,EAAE,yBAAyB,EAAE,GAAG,MAAM,MAAM,CAAC,6BAA6B,CAAC,CAAC;IAClF,OAAO,MAAM,yBAAyB,CAAC,OAAO,CAAC,CAAC;AACpD,CAAC;AAWD,KAAK,UAAU,kBAAkB,CAAC,QAA8B,EAAE,OAA0B;IACxF,MAAM,EAAE,OAAO,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC;IAC3E,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,QAAQ,CAAC;IAC9C,MAAM,qBAAqB,GAAG,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC;QAC7D,GAAG,YAAY;QACf,kBAAkB,EAAE,QAAQ,CAAC,kBAAkB;KAClD,CAAC;IACF,MAAM,cAAc,GAAG,yBAAyB,CAAC,eAAe,EAAE,qBAAqB,EAAE;QACrF,QAAQ;QACR,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,MAAM;QACN,MAAM;QACN,MAAM,EAAE,OAAO,CAAC,MAAM;KACzB,EAAE,KAAK,CAAC,CAAC;IAEV,IAAI,cAAc,KAAK,IAAI,EAAE,CAAC;QAC1B,OAAO,MAAM,cAAc,CAAC;IAChC,CAAC;IAED,OAAO,MAAM,eAAe,CAAC,eAAe,EAAE,qBAAqB,EAAE;QACjE,QAAQ;QACR,KAAK;QACL,MAAM;QACN,MAAM;QACN,MAAM,EAAE,OAAO,CAAC,MAAM;KACzB,CAAC,CAAC;AACP,CAAC;AAED,SAAS,WAAW,CAAC,KAAuC;IACxD,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;AAC3C,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC3C,UAAyB,EACzB,OAAkE;IAElE,MAAM,QAAQ,GAAG,MAAM,UAAU,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACvD,OAAO,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,kBAAkB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;AAC1F,CAAC"}

package/run/property-corpus-cache.js

@@ -0,0 +1,85 @@
+import { createHash } from 'node:crypto';
+import { z } from 'zod/v4';
+import { propertyWitnessSchema } from "@overkill-dev/engine/engine/property-corpus.js";
+const cachedEntrySchema = z.strictObject({ id: z.string(), savedAt: z.string(), entry: propertyWitnessSchema });
+const cacheSchema = z.strictObject({ version: z.literal(1), entries: z.array(z.unknown()) });
+function validatedEntries(candidates, file) {
+    const entries = [];
+    const diagnostics = [];
+    for (const candidate of candidates) {
+        const parsed = cachedEntrySchema.safeParse(candidate);
+        if (parsed.success) {
+            entries.push(parsed.data);
+        }
+        else {
+            diagnostics.push({ path: file, reason: parsed.error.message });
+        }
+    }
+    return { entries, diagnostics };
+}
+function decodedCache(content, file) {
+    return validatedEntries(cacheSchema.parse(JSON.parse(content)).entries, file);
+}
+export function parseCorpusCache(content, file) {
+    if (content === null) {
+        return { entries: [], diagnostics: [] };
+    }
+    try {
+        return decodedCache(content, file);
+    }
+    catch (error) {
+        return { entries: [], diagnostics: [{ path: file, reason: String(error) }] };
+    }
+}
+function entryIdentity(entry) {
+    return createHash('sha256')
+        .update(JSON.stringify([entry.case, entry.runtimes, entry.target, entry.counterexample]))
+        .digest('hex');
+}
+function refreshedCache(current, entries, context) {
+    const retained = new Map(current.entries.map(function pair(entry) {
+        return [entry.id, entry];
+    }));
+    const diagnostics = Array.from(current.diagnostics);
+    for (const candidate of entries) {
+        const entry = propertyWitnessSchema.parse(candidate);
+        if (Buffer.byteLength(JSON.stringify(entry)) > context.policy.localCache.maxEntryBytes) {
+            diagnostics.push({
+                path: context.file,
+                reason: 'Confirmed input exceeds the local corpus entry byte limit.'
+            });
+        }
+        else {
+            const id = entryIdentity(entry);
+            retained.set(id, { id, entry, savedAt: context.now });
+        }
+    }
+    return { entries: Array.from(retained.values()), diagnostics };
+}
+function encodeCache(entries) {
+    return JSON.stringify({ version: 1, entries });
+}
+export function boundedCorpusCache(current, entries, context) {
+    const refreshed = refreshedCache(current, entries, context);
+    const ordered = refreshed
+        .entries
+        .toSorted(function newest(left, right) {
+        const time = right.savedAt.localeCompare(left.savedAt);
+        return time === 0 ? left.id.localeCompare(right.id) : time;
+    })
+        .slice(0, context.policy.localCache.maxEntries);
+    while (ordered.length > 0 && Buffer.byteLength(encodeCache(ordered)) > context.policy.localCache.maxBytes) {
+        ordered.pop();
+    }
+    const content = encodeCache(ordered);
+    return Buffer.byteLength(content) <= context.policy.localCache.maxBytes
+        ? { content, diagnostics: refreshed.diagnostics }
+        : {
+            content: null,
+            diagnostics: [...refreshed.diagnostics, {
+                    path: context.file,
+                    reason: 'Local corpus byte limit is smaller than its empty envelope.'
+                }]
+        };
+}
+//# sourceMappingURL=property-corpus-cache.js.map

package/run/property-corpus-cache.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"property-corpus-cache.js","sourceRoot":"","sources":["../../../../source/run/property-corpus-cache.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,CAAC,EAAE,MAAM,QAAQ,CAAC;AAC3B,OAAO,EAAE,qBAAqB,EAA4B,MAAM,gDAA8B,CAAC;AAG/F,MAAM,iBAAiB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,qBAAqB,EAAE,CAAC,CAAC;AAChH,MAAM,WAAW,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;AAU7F,SAAS,gBAAgB,CAAC,UAA8B,EAAE,IAAY;IAClE,MAAM,OAAO,GAAkB,EAAE,CAAC;IAClC,MAAM,WAAW,GAAuB,EAAE,CAAC;IAC3C,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACjC,MAAM,MAAM,GAAG,iBAAiB,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACtD,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACjB,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC9B,CAAC;aAAM,CAAC;YACJ,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QACnE,CAAC;IACL,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC;AACpC,CAAC;AAED,SAAS,YAAY,CAAC,OAAe,EAAE,IAAY;IAC/C,OAAO,gBAAgB,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;AAClF,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,OAAsB,EAAE,IAAY;IACjE,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QACnB,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;IAC5C,CAAC;IACD,IAAI,CAAC;QACD,OAAO,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACvC,CAAC;IAAC,OAAO,KAAc,EAAE,CAAC;QACtB,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,WAAW,EAAE,CAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAE,EAAE,CAAC;IACnF,CAAC;AACL,CAAC;AAED,SAAS,aAAa,CAAC,KAA0B;IAC7C,OAAO,UAAU,CAAC,QAAQ,CAAC;SACtB,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,cAAc,CAAE,CAAC,CAAC;SAC1F,MAAM,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC;AAED,SAAS,cAAc,CACnB,OAAoB,EACpB,OAAuC,EACvC,OAAoB;IAEpB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,IAAI,CAAC,KAAK;QAC5D,OAAO,CAAE,KAAK,CAAC,EAAE,EAAE,KAAK,CAAW,CAAC;IACxC,CAAC,CAAC,CAAC,CAAC;IACJ,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IACpD,KAAK,MAAM,SAAS,IAAI,OAAO,EAAE,CAAC;QAC9B,MAAM,KAAK,GAAG,qBAAqB,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACrD,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC;YACrF,WAAW,CAAC,IAAI,CAAC;gBACb,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,MAAM,EAAE,4DAA4D;aACvE,CAAC,CAAC;QACP,CAAC;aAAM,CAAC;YACJ,MAAM,EAAE,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;YAChC,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;QAC1D,CAAC;IACL,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC;AACnE,CAAC;AAED,SAAS,WAAW,CAAC,OAA+B;IAChD,OAAO,IAAI,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC;AACnD,CAAC;AAED,MAAM,UAAU,kBAAkB,CAC9B,OAAoB,EACpB,OAAuC,EACvC,OAAoB;IAEpB,MAAM,SAAS,GAAG,cAAc,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IAC5D,MAAM,OAAO,GAAG,SAAS;SACpB,OAAO;SACP,QAAQ,CAAC,SAAS,MAAM,CAAC,IAAI,EAAE,KAAK;QACjC,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACvD,OAAO,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC/D,CAAC,CAAC;SACD,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;IACpD,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,UAAU,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC;QACxG,OAAO,CAAC,GAAG,EAAE,CAAC;IAClB,CAAC;IACD,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;IACrC,OAAO,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ;QACnE,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,SAAS,CAAC,WAAW,EAAE;QACjD,CAAC,CAAC;YACE,OAAO,EAAE,IAAI;YACb,WAAW,EAAE,CAAE,GAAG,SAAS,CAAC,WAAW,EAAE;oBACrC,IAAI,EAAE,OAAO,CAAC,IAAI;oBAClB,MAAM,EAAE,6DAA6D;iBACxE,CAAE;SACN,CAAC;AACV,CAAC"}

package/run/property-corpus-execution.js

@@ -0,0 +1,69 @@
+import path from 'node:path';
+import { emptyPropertyCorpus } from "@overkill-dev/engine/engine/property-corpus.js";
+import { runStatusFromSummary } from "@overkill-dev/engine/engine/run-result.js";
+import { readPropertyCorpus, savePropertyCorpus } from "./property-corpus-storage.js";
+export async function resolvedPropertyCorpus(run) {
+    const profile = run.config.profiles[run.request.profile];
+    if (profile?.testFamily !== 'property') {
+        return emptyPropertyCorpus;
+    }
+    return await readPropertyCorpus(run.facts.environment.projectRoot, path.resolve(run.facts.environment.projectRoot, run.config.runtimeStateDir), run.request.profile, profile.corpus);
+}
+function confirmedWitnesses(result) {
+    return result.perTest.flatMap(function caseWitnesses(testCase) {
+        return testCase.property?.invocations.flatMap(function confirmed(invocation) {
+            return invocation.confirmedWitness === null ? [] : [invocation.confirmedWitness];
+        }) ?? [];
+    });
+}
+async function writeConfirmedCorpus(run, result) {
+    const profile = run.config.profiles[run.request.profile];
+    if (profile?.testFamily !== 'property') {
+        return result;
+    }
+    const diagnostics = await savePropertyCorpus(path.resolve(run.facts.environment.projectRoot, run.config.runtimeStateDir), run.request.profile, profile.corpus, confirmedWitnesses(result));
+    if (diagnostics.length === 0) {
+        return result;
+    }
+    const perTest = result.perTest.map(function diagnosed(testCase) {
+        if (testCase.property === null) {
+            return testCase;
+        }
+        const property = {
+            invocations: testCase.property.invocations.map(function diagnosedInvocation(invocation) {
+                return {
+                    ...invocation,
+                    diagnostics: [
+                        ...invocation.diagnostics,
+                        ...diagnostics.map(function diagnostic(item) {
+                            return { reason: item.reason, observation: null };
+                        })
+                    ]
+                };
+            })
+        };
+        return { ...testCase, property };
+    });
+    return { ...result, perTest };
+}
+export async function persistPropertyCorpus(run, result) {
+    const profile = run.config.profiles[run.request.profile];
+    if (profile?.testFamily !== 'property') {
+        return result;
+    }
+    try {
+        return await writeConfirmedCorpus(run, result);
+    }
+    catch (error) {
+        const runnerErrors = [...result.runnerErrors, {
+                attributedToAttempt: null,
+                attributedTo: null,
+                cause: error,
+                diagnostics: [],
+                message: 'Failed to write property corpus.',
+                subtype: 'runtime-state'
+            }];
+        return { ...result, runnerErrors, status: runStatusFromSummary(result.summary, runnerErrors) };
+    }
+}
+//# sourceMappingURL=property-corpus-execution.js.map

package/run/property-corpus-execution.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"property-corpus-execution.js","sourceRoot":"","sources":["../../../../source/run/property-corpus-execution.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EACH,mBAAmB,EAGtB,MAAM,gDAA8B,CAAC;AACtC,OAAO,EAAE,oBAAoB,EAAkB,MAAM,2CAAyB,CAAC;AAC/E,OAAO,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,8BAA8B,CAAC;AAGtF,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAAC,GAAgB;IACzD,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACzD,IAAI,OAAO,EAAE,UAAU,KAAK,UAAU,EAAE,CAAC;QACrC,OAAO,mBAAmB,CAAC;IAC/B,CAAC;IACD,OAAO,MAAM,kBAAkB,CAC3B,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,WAAW,EACjC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,CAAC,eAAe,CAAC,EAC3E,GAAG,CAAC,OAAO,CAAC,OAAO,EACnB,OAAO,CAAC,MAAM,CACjB,CAAC;AACN,CAAC;AAED,SAAS,kBAAkB,CAAC,MAAiB;IACzC,OAAO,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,aAAa,CAAC,QAAQ;QACzD,OAAO,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,OAAO,CAAC,SAAS,SAAS,CAAC,UAAU;YACvE,OAAO,UAAU,CAAC,gBAAgB,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,UAAU,CAAC,gBAAgB,CAAE,CAAC;QACvF,CAAC,CAAC,IAAI,EAAE,CAAC;IACb,CAAC,CAAC,CAAC;AACP,CAAC;AAED,KAAK,UAAU,oBAAoB,CAAC,GAAgB,EAAE,MAAiB;IACnE,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACzD,IAAI,OAAO,EAAE,UAAU,KAAK,UAAU,EAAE,CAAC;QACrC,OAAO,MAAM,CAAC;IAClB,CAAC;IACD,MAAM,WAAW,GAAG,MAAM,kBAAkB,CACxC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,CAAC,eAAe,CAAC,EAC3E,GAAG,CAAC,OAAO,CAAC,OAAO,EACnB,OAAO,CAAC,MAAM,EACd,kBAAkB,CAAC,MAAM,CAAC,CAC7B,CAAC;IACF,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,MAAM,CAAC;IAClB,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,SAAS,CAAC,QAAQ;QAC1D,IAAI,QAAQ,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;YAC7B,OAAO,QAAQ,CAAC;QACpB,CAAC;QACD,MAAM,QAAQ,GAAG;YACb,WAAW,EAAE,QAAQ,CAAC,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,SAAS,mBAAmB,CAAC,UAAU;gBAClF,OAAO;oBACH,GAAG,UAAU;oBACb,WAAW,EAAE;wBACT,GAAG,UAAU,CAAC,WAAW;wBACzB,GAAG,WAAW,CAAC,GAAG,CAAC,SAAS,UAAU,CAAC,IAAI;4BACvC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;wBACtD,CAAC,CAAC;qBACL;iBACJ,CAAC;YACN,CAAC,CAAC;SACL,CAAC;QACF,OAAO,EAAE,GAAG,QAAQ,EAAE,QAAQ,EAAE,CAAC;IACrC,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,GAAG,MAAM,EAAE,OAAO,EAAE,CAAC;AAClC,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,qBAAqB,CAAC,GAAgB,EAAE,MAAiB;IAC3E,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACzD,IAAI,OAAO,EAAE,UAAU,KAAK,UAAU,EAAE,CAAC;QACrC,OAAO,MAAM,CAAC;IAClB,CAAC;IACD,IAAI,CAAC;QACD,OAAO,MAAM,oBAAoB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACnD,CAAC;IAAC,OAAO,KAAc,EAAE,CAAC;QACtB,MAAM,YAAY,GAAG,CAAE,GAAG,MAAM,CAAC,YAAY,EAAE;gBAC3C,mBAAmB,EAAE,IAAI;gBACzB,YAAY,EAAE,IAAI;gBAClB,KAAK,EAAE,KAAK;gBACZ,WAAW,EAAE,EAAE;gBACf,OAAO,EAAE,kCAAkC;gBAC3C,OAAO,EAAE,eAAwB;aACpC,CAAE,CAAC;QACJ,OAAO,EAAE,GAAG,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,oBAAoB,CAAC,MAAM,CAAC,OAAO,EAAE,YAAY,CAAC,EAAE,CAAC;IACnG,CAAC;AACL,CAAC"}

package/run/property-corpus-storage.js

@@ -0,0 +1,86 @@
+import { createHash } from 'node:crypto';
+import { mkdir, readdir, stat } from 'node:fs/promises';
+import path from 'node:path';
+import lockfile from 'proper-lockfile';
+import { createNodeFileStore } from "../file-store.js";
+import { propertyWitnessSchema } from "@overkill-dev/engine/engine/property-corpus.js";
+import { parseCorpusCache, boundedCorpusCache } from "./property-corpus-cache.js";
+function cachePath(directory, profile) {
+    const identity = createHash('sha256').update(profile).digest('hex');
+    return path.join(directory, 'corpus', identity, 'index.json');
+}
+async function entryPaths(target) {
+    const metadata = await stat(target);
+    if (!metadata.isDirectory()) {
+        return [target];
+    }
+    const entries = await readdir(target, { withFileTypes: true });
+    const paths = await Promise.all(entries.map(async function discover(entry) {
+        const child = path.join(target, entry.name);
+        if (entry.isDirectory()) {
+            return await entryPaths(child);
+        }
+        return entry.isFile() && entry.name.endsWith('.json') ? [child] : [];
+    }));
+    return paths.flat();
+}
+function parsedWitness(content) {
+    return propertyWitnessSchema.parse(JSON.parse(content ?? 'null'));
+}
+async function readCheckedInEntry(file) {
+    try {
+        return parsedWitness(await createNodeFileStore().read(file));
+    }
+    catch (error) {
+        throw new Error(`Cannot read checked-in corpus entry ${file}.`, { cause: error });
+    }
+}
+async function readCache(file) {
+    try {
+        return parseCorpusCache(await createNodeFileStore().read(file), file);
+    }
+    catch (error) {
+        return { entries: [], diagnostics: [{ path: file, reason: String(error) }] };
+    }
+}
+export async function readPropertyCorpus(projectRoot, directory, profile, policy) {
+    const files = await Promise.all(policy.checkedIn.map(async function discover(target) {
+        return await entryPaths(path.resolve(projectRoot, target));
+    }));
+    const paths = Array.from(new Set(files.flat())).toSorted(function alphabetic(left, right) {
+        return left.localeCompare(right);
+    });
+    const checkedIn = await Promise.all(paths.map(readCheckedInEntry));
+    const cache = await readCache(cachePath(directory, profile));
+    return {
+        checkedIn,
+        localCache: cache.entries.map(function input(entry) {
+            return entry.entry;
+        }),
+        diagnostics: cache.diagnostics
+    };
+}
+async function commitCache(file, policy, entries) {
+    const now = new Date();
+    const next = boundedCorpusCache(await readCache(file), entries, { file, policy, now: now.toISOString() });
+    if (next.content !== null) {
+        await createNodeFileStore().write(file, next.content);
+    }
+    return next.diagnostics;
+}
+export async function savePropertyCorpus(directory, profile, policy, entries) {
+    if (entries.length === 0) {
+        return [];
+    }
+    const file = cachePath(directory, profile);
+    const parent = path.dirname(file);
+    await mkdir(parent, { recursive: true });
+    const release = await lockfile.lock(parent, { retries: { retries: 50, minTimeout: 25, maxTimeout: 100 } });
+    try {
+        return await commitCache(file, policy, entries);
+    }
+    finally {
+        await release();
+    }
+}
+//# sourceMappingURL=property-corpus-storage.js.map