repro-surgeon 0.1.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/CHANGELOG.md +15 -0
- package/CODE_OF_CONDUCT.md +7 -0
- package/CONTRIBUTING.md +31 -0
- package/LICENSE +21 -0
- package/README.md +159 -0
- package/SECURITY.md +15 -0
- package/dist/cli.d.ts +3 -0
- package/dist/cli.js +165 -0
- package/dist/cli.js.map +1 -0
- package/dist/config.d.ts +3 -0
- package/dist/config.js +177 -0
- package/dist/config.js.map +1 -0
- package/dist/dependencies.d.ts +37 -0
- package/dist/dependencies.js +237 -0
- package/dist/dependencies.js.map +1 -0
- package/dist/engine.d.ts +25 -0
- package/dist/engine.js +327 -0
- package/dist/engine.js.map +1 -0
- package/dist/export.d.ts +7 -0
- package/dist/export.js +520 -0
- package/dist/export.js.map +1 -0
- package/dist/graph.d.ts +3 -0
- package/dist/graph.js +247 -0
- package/dist/graph.js.map +1 -0
- package/dist/index.d.ts +7 -0
- package/dist/index.js +7 -0
- package/dist/index.js.map +1 -0
- package/dist/oracle.d.ts +2 -0
- package/dist/oracle.js +81 -0
- package/dist/oracle.js.map +1 -0
- package/dist/protection.d.ts +2 -0
- package/dist/protection.js +6 -0
- package/dist/protection.js.map +1 -0
- package/dist/report.d.ts +5 -0
- package/dist/report.js +539 -0
- package/dist/report.js.map +1 -0
- package/dist/runner.d.ts +3 -0
- package/dist/runner.js +195 -0
- package/dist/runner.js.map +1 -0
- package/dist/snapshot.d.ts +11 -0
- package/dist/snapshot.js +220 -0
- package/dist/snapshot.js.map +1 -0
- package/dist/state.d.ts +9 -0
- package/dist/state.js +143 -0
- package/dist/state.js.map +1 -0
- package/dist/transforms.d.ts +3 -0
- package/dist/transforms.js +188 -0
- package/dist/transforms.js.map +1 -0
- package/dist/types.d.ts +207 -0
- package/dist/types.js +2 -0
- package/dist/types.js.map +1 -0
- package/docs/architecture.md +91 -0
- package/docs/assets/report.png +0 -0
- package/docs/configuration.md +73 -0
- package/docs/evidence/dependency-removal.json +109 -0
- package/docs/evidence/next-frameworks.json +271 -0
- package/docs/evidence/next-pages.json +152 -0
- package/docs/evidence/rounding.json +46 -0
- package/docs/report-surface.md +22 -0
- package/docs/troubleshooting.md +47 -0
- package/docs/validation.md +103 -0
- package/examples/next-container/README.md +7 -0
- package/examples/next-container/app/about/page.jsx +1 -0
- package/examples/next-container/app/case.css +5 -0
- package/examples/next-container/app/layout.jsx +3 -0
- package/examples/next-container/app/page.jsx +4 -0
- package/examples/next-container/lib/catalog.js +2 -0
- package/examples/next-container/next.config.mjs +1 -0
- package/examples/next-container/package-lock.json +952 -0
- package/examples/next-container/package.json +13 -0
- package/examples/next-container/repro-surgeon.json +37 -0
- package/examples/next-css-bom/README.md +7 -0
- package/examples/next-css-bom/app/about/page.jsx +1 -0
- package/examples/next-css-bom/app/case.css +3 -0
- package/examples/next-css-bom/app/layout.jsx +3 -0
- package/examples/next-css-bom/app/page.jsx +4 -0
- package/examples/next-css-bom/lib/catalog.js +2 -0
- package/examples/next-css-bom/next.config.mjs +1 -0
- package/examples/next-css-bom/package-lock.json +952 -0
- package/examples/next-css-bom/package.json +13 -0
- package/examples/next-css-bom/repro-surgeon.json +36 -0
- package/examples/next-pages/README.md +14 -0
- package/examples/next-pages/lib/unused-catalog.js +5 -0
- package/examples/next-pages/next.config.mjs +1 -0
- package/examples/next-pages/package-lock.json +952 -0
- package/examples/next-pages/package.json +11 -0
- package/examples/next-pages/pages/health.jsx +3 -0
- package/examples/next-pages/pages/index.jsx +9 -0
- package/examples/next-pages/repro-surgeon.json +18 -0
- package/examples/next-root-param/README.md +7 -0
- package/examples/next-root-param/app/[lang-country]/about/page.jsx +1 -0
- package/examples/next-root-param/app/[lang-country]/layout.tsx +4 -0
- package/examples/next-root-param/app/[lang-country]/page.tsx +3 -0
- package/examples/next-root-param/lib/catalog.js +2 -0
- package/examples/next-root-param/next-env.d.ts +2 -0
- package/examples/next-root-param/next.config.mjs +1 -0
- package/examples/next-root-param/package-lock.json +1016 -0
- package/examples/next-root-param/package.json +19 -0
- package/examples/next-root-param/repro-surgeon.json +37 -0
- package/examples/next-root-param/tsconfig.json +35 -0
- package/examples/rounding/README.md +16 -0
- package/examples/rounding/check.mjs +6 -0
- package/examples/rounding/config/store.json +7 -0
- package/examples/rounding/fixtures/invoice.json +11 -0
- package/examples/rounding/package-lock.json +7 -0
- package/examples/rounding/package.json +7 -0
- package/examples/rounding/repro-surgeon.json +12 -0
- package/examples/rounding/src/catalog.mjs +9 -0
- package/examples/rounding/src/shipping.mjs +7 -0
- package/examples/rounding/src/totals.mjs +11 -0
- package/package.json +29 -0
package/dist/engine.js
ADDED
|
@@ -0,0 +1,327 @@
|
|
|
1
|
+
import { randomUUID } from 'node:crypto';
|
|
2
|
+
import { mkdir, realpath, stat } from 'node:fs/promises';
|
|
3
|
+
import path from 'node:path';
|
|
4
|
+
import { performance } from 'node:perf_hooks';
|
|
5
|
+
import { parseConfig } from "./config.js";
|
|
6
|
+
import { assertTemporaryDirectoryOutsideSource, dependencyCandidates, runtimeInfo, validateNpmProject, WorkspaceManager } from "./dependencies.js";
|
|
7
|
+
import { buildGraph, detectAdapter } from "./graph.js";
|
|
8
|
+
import { evaluateOracle } from "./oracle.js";
|
|
9
|
+
import { runCommand } from "./runner.js";
|
|
10
|
+
import { applyTransformation, assertDisjointPaths, hashValue, inventoryProject, matchesPath, metrics, scanForReview, snapshotHash } from "./snapshot.js";
|
|
11
|
+
import { acquireRunLock, assertCompatibleRuntime, atomicWrite, loadCheckpoint, saveCheckpoint } from "./state.js";
|
|
12
|
+
import { jsonCandidates, syntaxCandidates } from "./transforms.js";
|
|
13
|
+
function smaller(a, b) {
|
|
14
|
+
for (const key of ['sourceBytes', 'files', 'dependencies', 'bytes']) {
|
|
15
|
+
if (a[key] !== b[key])
|
|
16
|
+
return a[key] < b[key];
|
|
17
|
+
}
|
|
18
|
+
return false;
|
|
19
|
+
}
|
|
20
|
+
function* fileCandidates(snapshot, config) {
|
|
21
|
+
const adapter = detectAdapter(snapshot, config.adapter);
|
|
22
|
+
const protectedPaths = new Set(adapter.protectedPaths);
|
|
23
|
+
const names = [...snapshot.keys()].filter(name => !protectedPaths.has(name) && !matchesPath(name, config.preserve));
|
|
24
|
+
const graph = buildGraph(snapshot);
|
|
25
|
+
names.sort((a, b) => (graph.imports[b]?.length ?? 0) - (graph.imports[a]?.length ?? 0) || a.localeCompare(b, 'en'));
|
|
26
|
+
const seen = new Set();
|
|
27
|
+
function transform(paths, label) {
|
|
28
|
+
const sorted = [...paths].sort();
|
|
29
|
+
const id = 'files:' + hashValue(sorted);
|
|
30
|
+
if (!paths.length || seen.has(id))
|
|
31
|
+
return null;
|
|
32
|
+
seen.add(id);
|
|
33
|
+
return { id, kind: 'files', description: `Remove ${label} (${paths.length} file${paths.length === 1 ? '' : 's'})`, paths: sorted, edits: sorted.map(name => ({ path: name, content: null })) };
|
|
34
|
+
}
|
|
35
|
+
const everything = transform(names, 'all unpinned source');
|
|
36
|
+
if (everything)
|
|
37
|
+
yield everything;
|
|
38
|
+
const directories = new Map();
|
|
39
|
+
for (const name of names) {
|
|
40
|
+
const parts = name.split('/');
|
|
41
|
+
for (let i = 1; i < parts.length; i++) {
|
|
42
|
+
const prefix = parts.slice(0, i).join('/');
|
|
43
|
+
directories.set(prefix, [...(directories.get(prefix) ?? []), name]);
|
|
44
|
+
}
|
|
45
|
+
}
|
|
46
|
+
for (const [directory, files] of [...directories].sort((a, b) => b[1].length - a[1].length || a[0].localeCompare(b[0], 'en'))) {
|
|
47
|
+
const value = transform(files, directory);
|
|
48
|
+
if (value)
|
|
49
|
+
yield value;
|
|
50
|
+
}
|
|
51
|
+
for (let count = 2; names.length > 0;) {
|
|
52
|
+
const size = Math.ceil(names.length / count);
|
|
53
|
+
for (let start = 0; start < names.length; start += size) {
|
|
54
|
+
const chunk = names.slice(start, start + size);
|
|
55
|
+
const value = transform(chunk, chunk.length === 1 ? chunk[0] : 'source group');
|
|
56
|
+
if (value)
|
|
57
|
+
yield value;
|
|
58
|
+
const complement = transform(names.filter(name => !chunk.includes(name)), 'group complement');
|
|
59
|
+
if (complement)
|
|
60
|
+
yield complement;
|
|
61
|
+
}
|
|
62
|
+
if (count >= names.length)
|
|
63
|
+
break;
|
|
64
|
+
count = Math.min(names.length, count * 2);
|
|
65
|
+
}
|
|
66
|
+
}
|
|
67
|
+
function invalidObservation(reason) {
|
|
68
|
+
return { execution: { exitCode: null, signal: null, timedOut: false, aborted: false, outputLimitExceeded: false, stdout: '', stderr: '', durationMs: 0, error: reason }, oracle: { status: 'invalid', reason, matched: [], missing: [], forbidden: [], diagnostics: [] } };
|
|
69
|
+
}
|
|
70
|
+
async function continueReduction(runRoot, state, initial, options, resume) {
|
|
71
|
+
let best = initial;
|
|
72
|
+
const previousElapsed = state.elapsedMs;
|
|
73
|
+
const started = performance.now();
|
|
74
|
+
const deadline = new AbortController();
|
|
75
|
+
const signal = options.signal ? AbortSignal.any([options.signal, deadline.signal]) : deadline.signal;
|
|
76
|
+
const manager = new WorkspaceManager(runRoot, state.config, signal);
|
|
77
|
+
const remainingMs = () => state.config.budget.maxSeconds * 1000 - previousElapsed - (performance.now() - started);
|
|
78
|
+
let deadlineTimer;
|
|
79
|
+
const scheduleDeadline = () => {
|
|
80
|
+
const remaining = remainingMs();
|
|
81
|
+
if (remaining <= 0)
|
|
82
|
+
deadline.abort(new Error('Time budget reached'));
|
|
83
|
+
else
|
|
84
|
+
deadlineTimer = setTimeout(scheduleDeadline, Math.min(remaining, 2_147_483_647));
|
|
85
|
+
};
|
|
86
|
+
scheduleDeadline();
|
|
87
|
+
const rejected = new Set(state.rejectedHashes);
|
|
88
|
+
let sequence = state.evaluations;
|
|
89
|
+
const emit = (event) => options.onEvent?.(event);
|
|
90
|
+
const updateTime = () => { state.elapsedMs = previousElapsed + performance.now() - started; state.updatedAt = new Date().toISOString(); };
|
|
91
|
+
const checkpoint = async () => { updateTime(); state.bestHash = snapshotHash(best); state.current = metrics(best); state.rejectedHashes = [...rejected]; await saveCheckpoint(runRoot, state, best); };
|
|
92
|
+
const interruption = () => {
|
|
93
|
+
updateTime();
|
|
94
|
+
if (options.signal?.aborted)
|
|
95
|
+
return 'Interrupted; accepted state saved';
|
|
96
|
+
if (remainingMs() <= 0 && !deadline.signal.aborted)
|
|
97
|
+
deadline.abort(new Error('Time budget reached'));
|
|
98
|
+
if (deadline.signal.aborted)
|
|
99
|
+
return 'Time budget reached';
|
|
100
|
+
return null;
|
|
101
|
+
};
|
|
102
|
+
const stop = () => interruption() ?? (state.evaluations >= state.config.budget.maxEvaluations ? 'Search evaluation budget reached' : null);
|
|
103
|
+
const observe = async (snapshot, stage) => {
|
|
104
|
+
const stopped = interruption();
|
|
105
|
+
if (stopped)
|
|
106
|
+
return invalidObservation(stopped);
|
|
107
|
+
try {
|
|
108
|
+
const cwd = await manager.prepare(snapshot);
|
|
109
|
+
const execution = await runCommand(state.config.command, { cwd, timeoutMs: state.config.execution.timeoutMs, maxOutputBytes: state.config.execution.maxOutputBytes, env: await manager.environment(), signal });
|
|
110
|
+
const observation = { execution, oracle: evaluateOracle(execution, state.config.oracle) };
|
|
111
|
+
const logName = `${String(sequence++).padStart(6, '0')}-${stage}.json`;
|
|
112
|
+
await atomicWrite(path.join(runRoot, 'logs', logName), JSON.stringify(observation, null, 2));
|
|
113
|
+
return observation;
|
|
114
|
+
}
|
|
115
|
+
catch (error) {
|
|
116
|
+
return invalidObservation(error instanceof Error ? error.message : String(error));
|
|
117
|
+
}
|
|
118
|
+
};
|
|
119
|
+
try {
|
|
120
|
+
const alreadyStopped = stop();
|
|
121
|
+
if (alreadyStopped) {
|
|
122
|
+
if (options.signal?.aborted || state.baseline.length < state.config.runs.baseline || !['verifying', 'complete'].includes(state.status))
|
|
123
|
+
state.status = 'paused';
|
|
124
|
+
state.stopReason = alreadyStopped;
|
|
125
|
+
await checkpoint();
|
|
126
|
+
return { state, snapshot: best };
|
|
127
|
+
}
|
|
128
|
+
await assertTemporaryDirectoryOutsideSource(state.sourceRoot);
|
|
129
|
+
state.status = 'calibrating';
|
|
130
|
+
state.verification = { status: 'pending', runs: 0, reason: resume ? 'Resume calibration in progress' : 'Initial calibration in progress', snapshotHash: '', environment: 'fresh-directory' };
|
|
131
|
+
await checkpoint();
|
|
132
|
+
if (resume) {
|
|
133
|
+
try {
|
|
134
|
+
assertCompatibleRuntime(state.runtime, await runtimeInfo(runRoot, signal));
|
|
135
|
+
}
|
|
136
|
+
catch (error) {
|
|
137
|
+
const stopped = interruption();
|
|
138
|
+
if (!stopped)
|
|
139
|
+
throw error;
|
|
140
|
+
state.status = 'paused';
|
|
141
|
+
state.stopReason = stopped;
|
|
142
|
+
await checkpoint();
|
|
143
|
+
return { state, snapshot: best };
|
|
144
|
+
}
|
|
145
|
+
}
|
|
146
|
+
if (state.baseline.length < state.config.runs.baseline || resume) {
|
|
147
|
+
state.status = 'calibrating';
|
|
148
|
+
const establishingBaseline = state.baseline.length < state.config.runs.baseline;
|
|
149
|
+
if (establishingBaseline)
|
|
150
|
+
state.baseline = [];
|
|
151
|
+
for (let run = 0; run < state.config.runs.baseline; run++) {
|
|
152
|
+
const stopped = stop();
|
|
153
|
+
if (stopped) {
|
|
154
|
+
state.status = 'paused';
|
|
155
|
+
state.stopReason = stopped;
|
|
156
|
+
await checkpoint();
|
|
157
|
+
return { state, snapshot: best };
|
|
158
|
+
}
|
|
159
|
+
emit({ type: 'baseline', message: `${resume ? 'Resume check' : 'Baseline'} ${run + 1}/${state.config.runs.baseline}` });
|
|
160
|
+
const observation = await observe(best, resume ? 'resume' : 'baseline');
|
|
161
|
+
const interrupted = interruption();
|
|
162
|
+
if (interrupted) {
|
|
163
|
+
state.status = 'paused';
|
|
164
|
+
state.stopReason = interrupted;
|
|
165
|
+
await checkpoint();
|
|
166
|
+
return { state, snapshot: best };
|
|
167
|
+
}
|
|
168
|
+
if (observation.oracle.status !== 'reproduced') {
|
|
169
|
+
state.status = 'failed';
|
|
170
|
+
state.stopReason = `Baseline did not reproduce: ${observation.oracle.reason}`;
|
|
171
|
+
await checkpoint();
|
|
172
|
+
throw new Error(`${state.stopReason}. Inspect private logs and choose a stable, distinctive oracle.`);
|
|
173
|
+
}
|
|
174
|
+
if (establishingBaseline)
|
|
175
|
+
state.baseline.push(observation.oracle);
|
|
176
|
+
await checkpoint();
|
|
177
|
+
}
|
|
178
|
+
}
|
|
179
|
+
state.status = 'reducing';
|
|
180
|
+
state.verification = { status: 'pending', runs: 0, reason: 'Reduction in progress', snapshotHash: '', environment: 'fresh-directory' };
|
|
181
|
+
await checkpoint();
|
|
182
|
+
while (!stop()) {
|
|
183
|
+
let acceptedInPass = false;
|
|
184
|
+
const passes = [];
|
|
185
|
+
if (state.config.reduce.files)
|
|
186
|
+
passes.push(fileCandidates(best, state.config));
|
|
187
|
+
if (state.config.reduce.syntax)
|
|
188
|
+
passes.push(syntaxCandidates(best, state.config));
|
|
189
|
+
if (state.config.reduce.json)
|
|
190
|
+
passes.push(jsonCandidates(best, state.config));
|
|
191
|
+
if (state.config.reduce.dependencies)
|
|
192
|
+
passes.push(dependencyCandidates(best, state.config));
|
|
193
|
+
candidateLoop: for (const pass of passes) {
|
|
194
|
+
for (const transformation of pass) {
|
|
195
|
+
if (stop())
|
|
196
|
+
break candidateLoop;
|
|
197
|
+
let candidate = applyTransformation(best, transformation);
|
|
198
|
+
const preliminaryHash = snapshotHash(candidate);
|
|
199
|
+
if (rejected.has(preliminaryHash))
|
|
200
|
+
continue;
|
|
201
|
+
let preparationError = null;
|
|
202
|
+
if (transformation.kind === 'dependencies') {
|
|
203
|
+
try {
|
|
204
|
+
candidate = await manager.reconcile(candidate, best);
|
|
205
|
+
}
|
|
206
|
+
catch (error) {
|
|
207
|
+
preparationError = error instanceof Error ? error.message : String(error);
|
|
208
|
+
}
|
|
209
|
+
}
|
|
210
|
+
const candidateHash = snapshotHash(candidate);
|
|
211
|
+
if (rejected.has(candidateHash) || (!preparationError && !smaller(metrics(candidate), metrics(best))))
|
|
212
|
+
continue;
|
|
213
|
+
const trialStart = performance.now();
|
|
214
|
+
let last = invalidObservation(preparationError ?? 'No observation').oracle;
|
|
215
|
+
let confirmations = 0;
|
|
216
|
+
if (preparationError)
|
|
217
|
+
state.evaluations++;
|
|
218
|
+
else {
|
|
219
|
+
for (let run = 0; run < state.config.runs.candidate; run++) {
|
|
220
|
+
if (stop()) {
|
|
221
|
+
last = invalidObservation('Budget or interruption prevented confirmation').oracle;
|
|
222
|
+
break;
|
|
223
|
+
}
|
|
224
|
+
state.evaluations++;
|
|
225
|
+
last = (await observe(candidate, 'candidate')).oracle;
|
|
226
|
+
if (last.status !== 'reproduced')
|
|
227
|
+
break;
|
|
228
|
+
confirmations++;
|
|
229
|
+
}
|
|
230
|
+
}
|
|
231
|
+
const interrupted = interruption();
|
|
232
|
+
if (interrupted)
|
|
233
|
+
last = invalidObservation(interrupted).oracle;
|
|
234
|
+
const accepted = confirmations === state.config.runs.candidate && !interrupted;
|
|
235
|
+
const trial = { index: state.trials.length + 1, candidateHash, kind: transformation.kind, description: transformation.description, paths: transformation.paths, status: accepted ? 'reproduced' : last.status, accepted, reason: last.reason, durationMs: performance.now() - trialStart, before: metrics(best), after: metrics(candidate), confirmations, diagnostics: last.diagnostics };
|
|
236
|
+
state.trials.push(trial);
|
|
237
|
+
if (accepted) {
|
|
238
|
+
best = candidate;
|
|
239
|
+
acceptedInPass = true;
|
|
240
|
+
}
|
|
241
|
+
else if (!stop()) {
|
|
242
|
+
rejected.add(preliminaryHash);
|
|
243
|
+
rejected.add(candidateHash);
|
|
244
|
+
}
|
|
245
|
+
await checkpoint();
|
|
246
|
+
emit({ type: 'trial', message: `${accepted ? 'Accepted' : 'Kept original'}: ${trial.description}`, trial });
|
|
247
|
+
if (accepted)
|
|
248
|
+
break candidateLoop;
|
|
249
|
+
}
|
|
250
|
+
}
|
|
251
|
+
if (!acceptedInPass)
|
|
252
|
+
break;
|
|
253
|
+
}
|
|
254
|
+
state.stopReason = stop() ?? 'No further reduction found by the enabled passes';
|
|
255
|
+
state.status = options.signal?.aborted ? 'paused' : 'verifying';
|
|
256
|
+
state.reviewFindings = scanForReview(best);
|
|
257
|
+
emit({ type: 'status', message: state.stopReason });
|
|
258
|
+
await checkpoint();
|
|
259
|
+
return { state, snapshot: best };
|
|
260
|
+
}
|
|
261
|
+
catch (error) {
|
|
262
|
+
if (state.status !== 'failed') {
|
|
263
|
+
state.status = options.signal?.aborted ? 'paused' : 'failed';
|
|
264
|
+
state.stopReason = error instanceof Error ? error.message : String(error);
|
|
265
|
+
await checkpoint();
|
|
266
|
+
}
|
|
267
|
+
throw error;
|
|
268
|
+
}
|
|
269
|
+
finally {
|
|
270
|
+
if (deadlineTimer !== undefined)
|
|
271
|
+
clearTimeout(deadlineTimer);
|
|
272
|
+
await manager.dispose();
|
|
273
|
+
}
|
|
274
|
+
}
|
|
275
|
+
export async function reduceProject(options) {
|
|
276
|
+
const config = parseConfig(options.config);
|
|
277
|
+
const sourceRoot = await realpath(options.sourceRoot);
|
|
278
|
+
await assertTemporaryDirectoryOutsideSource(sourceRoot);
|
|
279
|
+
const runRoot = path.resolve(options.runRoot);
|
|
280
|
+
await assertDisjointPaths(sourceRoot, runRoot);
|
|
281
|
+
try {
|
|
282
|
+
await stat(runRoot);
|
|
283
|
+
throw new Error('Run output already exists. Choose a new directory or use resume.');
|
|
284
|
+
}
|
|
285
|
+
catch (error) {
|
|
286
|
+
if (error.code !== 'ENOENT')
|
|
287
|
+
throw error;
|
|
288
|
+
}
|
|
289
|
+
const inventory = await inventoryProject(sourceRoot, config);
|
|
290
|
+
validateNpmProject(inventory.snapshot);
|
|
291
|
+
const runtime = await runtimeInfo(sourceRoot);
|
|
292
|
+
const adapter = detectAdapter(inventory.snapshot, config.adapter);
|
|
293
|
+
const now = new Date().toISOString();
|
|
294
|
+
const hash = snapshotHash(inventory.snapshot);
|
|
295
|
+
const state = { version: 1, id: randomUUID(), sourceRoot, createdAt: now, updatedAt: now, config, configHash: hashValue(config), runtime, originalHash: hash, bestHash: hash, initial: metrics(inventory.snapshot), current: metrics(inventory.snapshot), adapter, status: 'calibrating', stopReason: '', evaluations: 0, elapsedMs: 0, baseline: [], trials: [], rejectedHashes: [], excluded: inventory.excluded, warnings: [...inventory.warnings, ...adapter.warnings], verification: { status: 'pending', runs: 0, reason: 'Not exported yet', snapshotHash: '', environment: 'fresh-directory' }, reviewFindings: [] };
|
|
296
|
+
await mkdir(runRoot, { mode: 0o700 });
|
|
297
|
+
const release = await acquireRunLock(runRoot);
|
|
298
|
+
try {
|
|
299
|
+
await saveCheckpoint(runRoot, state, inventory.snapshot);
|
|
300
|
+
return await continueReduction(runRoot, state, inventory.snapshot, options, false);
|
|
301
|
+
}
|
|
302
|
+
finally {
|
|
303
|
+
await release();
|
|
304
|
+
}
|
|
305
|
+
}
|
|
306
|
+
export async function resumeProject(options) {
|
|
307
|
+
const runRoot = await realpath(options.runRoot);
|
|
308
|
+
const release = await acquireRunLock(runRoot);
|
|
309
|
+
try {
|
|
310
|
+
const { state, snapshot } = await loadCheckpoint(runRoot);
|
|
311
|
+
const config = parseConfig(state.config);
|
|
312
|
+
if (hashValue(config) !== state.configHash)
|
|
313
|
+
throw new Error('Checkpoint configuration hash is corrupt.');
|
|
314
|
+
await assertDisjointPaths(state.sourceRoot, runRoot);
|
|
315
|
+
if (options.maxEvaluations !== undefined)
|
|
316
|
+
config.budget.maxEvaluations = options.maxEvaluations;
|
|
317
|
+
if (options.maxSeconds !== undefined)
|
|
318
|
+
config.budget.maxSeconds = options.maxSeconds;
|
|
319
|
+
state.config = parseConfig(config);
|
|
320
|
+
state.configHash = hashValue(state.config);
|
|
321
|
+
return await continueReduction(runRoot, state, snapshot, options, true);
|
|
322
|
+
}
|
|
323
|
+
finally {
|
|
324
|
+
await release();
|
|
325
|
+
}
|
|
326
|
+
}
|
|
327
|
+
//# sourceMappingURL=engine.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"engine.js","sourceRoot":"","sources":["../src/engine.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AACzD,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC1C,OAAO,EAAE,qCAAqC,EAAE,oBAAoB,EAAE,WAAW,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACnJ,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AACvD,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,SAAS,EAAE,gBAAgB,EAAE,WAAW,EAAE,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AACzJ,OAAO,EAAE,cAAc,EAAE,uBAAuB,EAAE,WAAW,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAClH,OAAO,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAQnE,SAAS,OAAO,CAAC,CAAU,EAAE,CAAU;IACrC,KAAK,MAAM,GAAG,IAAI,CAAC,aAAa,EAAE,OAAO,EAAE,cAAc,EAAE,OAAO,CAAU,EAAE,CAAC;QAC7E,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC;YAAE,OAAO,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;IAChD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,QAAQ,CAAC,CAAC,cAAc,CAAC,QAAkB,EAAE,MAAc;IACzD,MAAM,OAAO,GAAG,aAAa,CAAC,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;IACxD,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;IACvD,MAAM,KAAK,GAAG,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;IACpH,MAAM,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IACnC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;IACpH,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,SAAS,SAAS,CAAC,KAAe,EAAE,KAAa;QAC/C,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;QACjC,MAAM,EAAE,GAAG,QAAQ,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;QACxC,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO,IAAI,CAAC;QAC/C,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACb,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,UAAU,KAAK,KAAK,KAAK,CAAC,MAAM,QAAQ,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;IACjM,CAAC;IACD,MAAM,UAAU,GAAG,SAAS,CAAC,KAAK,EAAE,qBAAqB,CAAC,CAAC;IAC3D,IAAI,UAAU;QAAE,MAAM,UAAU,CAAC;IACjC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAoB,CAAC;IAChD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC9B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC3C,WAAW,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;QACtE,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC;QAC9H,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QAC1C,IAAI,KAAK;YAAE,MAAM,KAAK,CAAC;IACzB,CAAC;IACD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,GAAG,CAAC;QACtC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,CAAC;QAC7C,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,IAAI,EAAE,CAAC;YACxD,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,GAAG,IAAI,CAAC,CAAC;YAC/C,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;YAChF,IAAI,KAAK;gBAAE,MAAM,KAAK,CAAC;YACvB,MAAM,UAAU,GAAG,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC;YAC9F,IAAI,UAAU;gBAAE,MAAM,UAAU,CAAC;QACnC,CAAC;QACD,IAAI,KAAK,IAAI,KAAK,CAAC,MAAM;YAAE,MAAM;QACjC,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;IAC5C,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CAAC,MAAc;IACxC,OAAO,EAAE,SAAS,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,mBAAmB,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,EAAE,CAAC;AAC7Q,CAAC;AAED,KAAK,UAAU,iBAAiB,CAAC,OAAe,EAAE,KAAe,EAAE,OAAiB,EAAE,OAAsB,EAAE,MAAe;IAC3H,IAAI,IAAI,GAAG,OAAO,CAAC;IACnB,MAAM,eAAe,GAAG,KAAK,CAAC,SAAS,CAAC;IACxC,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;IAClC,MAAM,QAAQ,GAAG,IAAI,eAAe,EAAE,CAAC;IACvC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC;IACrG,MAAM,OAAO,GAAG,IAAI,gBAAgB,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACpE,MAAM,WAAW,GAAG,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,GAAG,IAAI,GAAG,eAAe,GAAG,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,OAAO,CAAC,CAAC;IAClH,IAAI,aAAyC,CAAC;IAC9C,MAAM,gBAAgB,GAAG,GAAG,EAAE;QAC5B,MAAM,SAAS,GAAG,WAAW,EAAE,CAAC;QAChC,IAAI,SAAS,IAAI,CAAC;YAAE,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAC,CAAC;;YAChE,aAAa,GAAG,UAAU,CAAC,gBAAgB,EAAE,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC,CAAC;IACxF,CAAC,CAAC;IACF,gBAAgB,EAAE,CAAC;IACnB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IAC/C,IAAI,QAAQ,GAAG,KAAK,CAAC,WAAW,CAAC;IACjC,MAAM,IAAI,GAAG,CAAC,KAAoB,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC;IAChE,MAAM,UAAU,GAAG,GAAG,EAAE,GAAG,KAAK,CAAC,SAAS,GAAG,eAAe,GAAG,WAAW,CAAC,GAAG,EAAE,GAAG,OAAO,CAAC,CAAC,KAAK,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1I,MAAM,UAAU,GAAG,KAAK,IAAI,EAAE,GAAG,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,cAAc,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,MAAM,cAAc,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACvM,MAAM,YAAY,GAAG,GAAkB,EAAE;QACvC,UAAU,EAAE,CAAC;QACb,IAAI,OAAO,CAAC,MAAM,EAAE,OAAO;YAAE,OAAO,mCAAmC,CAAC;QACxE,IAAI,WAAW,EAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO;YAAE,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAC,CAAC;QACrG,IAAI,QAAQ,CAAC,MAAM,CAAC,OAAO;YAAE,OAAO,qBAAqB,CAAC;QAC1D,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,GAAkB,EAAE,CAAC,YAAY,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,kCAAkC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC1J,MAAM,OAAO,GAAG,KAAK,EAAE,QAAkB,EAAE,KAAa,EAAwB,EAAE;QAChF,MAAM,OAAO,GAAG,YAAY,EAAE,CAAC;QAC/B,IAAI,OAAO;YAAE,OAAO,kBAAkB,CAAC,OAAO,CAAC,CAAC;QAChD,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;YAC5C,MAAM,SAAS,GAAG,MAAM,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,SAAS,EAAE,cAAc,EAAE,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,EAAE,GAAG,EAAE,MAAM,OAAO,CAAC,WAAW,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;YAChN,MAAM,WAAW,GAAG,EAAE,SAAS,EAAE,MAAM,EAAE,cAAc,CAAC,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1F,MAAM,OAAO,GAAG,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,KAAK,OAAO,CAAC;YACvE,MAAM,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YAC7F,OAAO,WAAW,CAAC;QACrB,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAAC,OAAO,kBAAkB,CAAC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QAAC,CAAC;IACxG,CAAC,CAAC;IAEF,IAAI,CAAC;QACH,MAAM,cAAc,GAAG,IAAI,EAAE,CAAC;QAC9B,IAAI,cAAc,EAAE,CAAC;YACnB,IAAI,OAAO,CAAC,MAAM,EAAE,OAAO,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC;gBAAE,KAAK,CAAC,MAAM,GAAG,QAAQ,CAAC;YAChK,KAAK,CAAC,UAAU,GAAG,cAAc,CAAC;YAClC,MAAM,UAAU,EAAE,CAAC;YACnB,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;QACnC,CAAC;QACD,MAAM,qCAAqC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QAC9D,KAAK,CAAC,MAAM,GAAG,aAAa,CAAC;QAC7B,KAAK,CAAC,YAAY,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,gCAAgC,CAAC,CAAC,CAAC,iCAAiC,EAAE,YAAY,EAAE,EAAE,EAAE,WAAW,EAAE,iBAAiB,EAAE,CAAC;QAC7L,MAAM,UAAU,EAAE,CAAC;QACnB,IAAI,MAAM,EAAE,CAAC;YACX,IAAI,CAAC;gBAAC,uBAAuB,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;YAAC,CAAC;YACnF,OAAO,KAAK,EAAE,CAAC;gBACb,MAAM,OAAO,GAAG,YAAY,EAAE,CAAC;gBAC/B,IAAI,CAAC,OAAO;oBAAE,MAAM,KAAK,CAAC;gBAC1B,KAAK,CAAC,MAAM,GAAG,QAAQ,CAAC;gBACxB,KAAK,CAAC,UAAU,GAAG,OAAO,CAAC;gBAC3B,MAAM,UAAU,EAAE,CAAC;gBACnB,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;YACnC,CAAC;QACH,CAAC;QACD,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,IAAI,MAAM,EAAE,CAAC;YACjE,KAAK,CAAC,MAAM,GAAG,aAAa,CAAC;YAC7B,MAAM,oBAAoB,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC;YAChF,IAAI,oBAAoB;gBAAE,KAAK,CAAC,QAAQ,GAAG,EAAE,CAAC;YAC9C,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,EAAE,CAAC;gBAC1D,MAAM,OAAO,GAAG,IAAI,EAAE,CAAC;gBACvB,IAAI,OAAO,EAAE,CAAC;oBAAC,KAAK,CAAC,MAAM,GAAG,QAAQ,CAAC;oBAAC,KAAK,CAAC,UAAU,GAAG,OAAO,CAAC;oBAAC,MAAM,UAAU,EAAE,CAAC;oBAAC,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;gBAAC,CAAC;gBAC3H,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,UAAU,IAAI,GAAG,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;gBACxH,MAAM,WAAW,GAAG,MAAM,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;gBACxE,MAAM,WAAW,GAAG,YAAY,EAAE,CAAC;gBACnC,IAAI,WAAW,EAAE,CAAC;oBAAC,KAAK,CAAC,MAAM,GAAG,QAAQ,CAAC;oBAAC,KAAK,CAAC,UAAU,GAAG,WAAW,CAAC;oBAAC,MAAM,UAAU,EAAE,CAAC;oBAAC,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;gBAAC,CAAC;gBACnI,IAAI,WAAW,CAAC,MAAM,CAAC,MAAM,KAAK,YAAY,EAAE,CAAC;oBAC/C,KAAK,CAAC,MAAM,GAAG,QAAQ,CAAC;oBACxB,KAAK,CAAC,UAAU,GAAG,+BAA+B,WAAW,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;oBAC9E,MAAM,UAAU,EAAE,CAAC;oBACnB,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,CAAC,UAAU,iEAAiE,CAAC,CAAC;gBACxG,CAAC;gBACD,IAAI,oBAAoB;oBAAE,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;gBAClE,MAAM,UAAU,EAAE,CAAC;YACrB,CAAC;QACH,CAAC;QACD,KAAK,CAAC,MAAM,GAAG,UAAU,CAAC;QAC1B,KAAK,CAAC,YAAY,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,uBAAuB,EAAE,YAAY,EAAE,EAAE,EAAE,WAAW,EAAE,iBAAiB,EAAE,CAAC;QACvI,MAAM,UAAU,EAAE,CAAC;QACnB,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;YACf,IAAI,cAAc,GAAG,KAAK,CAAC;YAC3B,MAAM,MAAM,GAA+B,EAAE,CAAC;YAC9C,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK;gBAAE,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;YAC/E,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM;gBAAE,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;YAClF,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI;gBAAE,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;YAC9E,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY;gBAAE,MAAM,CAAC,IAAI,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;YAC5F,aAAa,EAAE,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;gBACzC,KAAK,MAAM,cAAc,IAAI,IAAI,EAAE,CAAC;oBAClC,IAAI,IAAI,EAAE;wBAAE,MAAM,aAAa,CAAC;oBAChC,IAAI,SAAS,GAAG,mBAAmB,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;oBAC1D,MAAM,eAAe,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC;oBAChD,IAAI,QAAQ,CAAC,GAAG,CAAC,eAAe,CAAC;wBAAE,SAAS;oBAC5C,IAAI,gBAAgB,GAAkB,IAAI,CAAC;oBAC3C,IAAI,cAAc,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;wBAC3C,IAAI,CAAC;4BAAC,SAAS,GAAG,MAAM,OAAO,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;wBAAC,CAAC;wBAC7D,OAAO,KAAK,EAAE,CAAC;4BAAC,gBAAgB,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;wBAAC,CAAC;oBAC9F,CAAC;oBACD,MAAM,aAAa,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC;oBAC9C,IAAI,QAAQ,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,gBAAgB,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;wBAAE,SAAS;oBAChH,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;oBACrC,IAAI,IAAI,GAAiB,kBAAkB,CAAC,gBAAgB,IAAI,gBAAgB,CAAC,CAAC,MAAM,CAAC;oBACzF,IAAI,aAAa,GAAG,CAAC,CAAC;oBACtB,IAAI,gBAAgB;wBAAE,KAAK,CAAC,WAAW,EAAE,CAAC;yBACrC,CAAC;wBACJ,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,EAAE,CAAC;4BAC3D,IAAI,IAAI,EAAE,EAAE,CAAC;gCAAC,IAAI,GAAG,kBAAkB,CAAC,+CAA+C,CAAC,CAAC,MAAM,CAAC;gCAAC,MAAM;4BAAC,CAAC;4BACzG,KAAK,CAAC,WAAW,EAAE,CAAC;4BACpB,IAAI,GAAG,CAAC,MAAM,OAAO,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC;4BACtD,IAAI,IAAI,CAAC,MAAM,KAAK,YAAY;gCAAE,MAAM;4BACxC,aAAa,EAAE,CAAC;wBAClB,CAAC;oBACH,CAAC;oBACD,MAAM,WAAW,GAAG,YAAY,EAAE,CAAC;oBACnC,IAAI,WAAW;wBAAE,IAAI,GAAG,kBAAkB,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC;oBAC/D,MAAM,QAAQ,GAAG,aAAa,KAAK,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,WAAW,CAAC;oBAC/E,MAAM,KAAK,GAAU,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,cAAc,CAAC,IAAI,EAAE,WAAW,EAAE,cAAc,CAAC,WAAW,EAAE,KAAK,EAAE,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,UAAU,EAAE,WAAW,CAAC,GAAG,EAAE,GAAG,UAAU,EAAE,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,SAAS,CAAC,EAAE,aAAa,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC;oBAClY,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;oBACzB,IAAI,QAAQ,EAAE,CAAC;wBAAC,IAAI,GAAG,SAAS,CAAC;wBAAC,cAAc,GAAG,IAAI,CAAC;oBAAC,CAAC;yBACrD,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;wBAAC,QAAQ,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;wBAAC,QAAQ,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;oBAAC,CAAC;oBACjF,MAAM,UAAU,EAAE,CAAC;oBACnB,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,eAAe,KAAK,KAAK,CAAC,WAAW,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;oBAC5G,IAAI,QAAQ;wBAAE,MAAM,aAAa,CAAC;gBACpC,CAAC;YACH,CAAC;YACD,IAAI,CAAC,cAAc;gBAAE,MAAM;QAC7B,CAAC;QACD,KAAK,CAAC,UAAU,GAAG,IAAI,EAAE,IAAI,kDAAkD,CAAC;QAChF,KAAK,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC;QAChE,KAAK,CAAC,cAAc,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC;QACpD,MAAM,UAAU,EAAE,CAAC;QACnB,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IACnC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YAAC,KAAK,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;YAAC,KAAK,CAAC,UAAU,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAAC,MAAM,UAAU,EAAE,CAAC;QAAC,CAAC;QAC/L,MAAM,KAAK,CAAC;IACd,CAAC;YAAS,CAAC;QACT,IAAI,aAAa,KAAK,SAAS;YAAE,YAAY,CAAC,aAAa,CAAC,CAAC;QAC7D,MAAM,OAAO,CAAC,OAAO,EAAE,CAAC;IAC1B,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,OAAsB;IACxD,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC3C,MAAM,UAAU,GAAG,MAAM,QAAQ,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IACtD,MAAM,qCAAqC,CAAC,UAAU,CAAC,CAAC;IACxD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAC9C,MAAM,mBAAmB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC/C,IAAI,CAAC;QAAC,MAAM,IAAI,CAAC,OAAO,CAAC,CAAC;QAAC,MAAM,IAAI,KAAK,CAAC,kEAAkE,CAAC,CAAC;IAAC,CAAC;IACjH,OAAO,KAAK,EAAE,CAAC;QAAC,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ;YAAE,MAAM,KAAK,CAAC;IAAC,CAAC;IACtF,MAAM,SAAS,GAAG,MAAM,gBAAgB,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IAC7D,kBAAkB,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACvC,MAAM,OAAO,GAAG,MAAM,WAAW,CAAC,UAAU,CAAC,CAAC;IAC9C,MAAM,OAAO,GAAG,aAAa,CAAC,SAAS,CAAC,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;IAClE,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IACrC,MAAM,IAAI,GAAG,YAAY,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC9C,MAAM,KAAK,GAAa,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,UAAU,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,UAAU,EAAE,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,cAAc,EAAE,EAAE,EAAE,QAAQ,EAAE,SAAS,CAAC,QAAQ,EAAE,QAAQ,EAAE,CAAC,GAAG,SAAS,CAAC,QAAQ,EAAE,GAAG,OAAO,CAAC,QAAQ,CAAC,EAAE,YAAY,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,kBAAkB,EAAE,YAAY,EAAE,EAAE,EAAE,WAAW,EAAE,iBAAiB,EAAE,EAAE,cAAc,EAAE,EAAE,EAAE,CAAC;IACvmB,MAAM,KAAK,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IACtC,MAAM,OAAO,GAAG,MAAM,cAAc,CAAC,OAAO,CAAC,CAAC;IAC9C,IAAI,CAAC;QAAC,MAAM,cAAc,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC,QAAQ,CAAC,CAAC;QAAC,OAAO,MAAM,iBAAiB,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;IAAC,CAAC;YAC7I,CAAC;QAAC,MAAM,OAAO,EAAE,CAAC;IAAC,CAAC;AAC9B,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,OAA0F;IAC5H,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAChD,MAAM,OAAO,GAAG,MAAM,cAAc,CAAC,OAAO,CAAC,CAAC;IAC9C,IAAI,CAAC;QACH,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,MAAM,cAAc,CAAC,OAAO,CAAC,CAAC;QAC1D,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACzC,IAAI,SAAS,CAAC,MAAM,CAAC,KAAK,KAAK,CAAC,UAAU;YAAE,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;QACzG,MAAM,mBAAmB,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QACrD,IAAI,OAAO,CAAC,cAAc,KAAK,SAAS;YAAE,MAAM,CAAC,MAAM,CAAC,cAAc,GAAG,OAAO,CAAC,cAAc,CAAC;QAChG,IAAI,OAAO,CAAC,UAAU,KAAK,SAAS;YAAE,MAAM,CAAC,MAAM,CAAC,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC;QACpF,KAAK,CAAC,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;QACnC,KAAK,CAAC,UAAU,GAAG,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAC3C,OAAO,MAAM,iBAAiB,CAAC,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;IAC1E,CAAC;YAAS,CAAC;QAAC,MAAM,OAAO,EAAE,CAAC;IAAC,CAAC;AAChC,CAAC"}
|
package/dist/export.d.ts
ADDED
|
@@ -0,0 +1,7 @@
|
|
|
1
|
+
import type { RunState, Snapshot, Verification } from './types.ts';
|
|
2
|
+
export declare function verifyReproduction(exportRoot: string, options?: {
|
|
3
|
+
signal?: AbortSignal;
|
|
4
|
+
}): Promise<Verification>;
|
|
5
|
+
export declare function exportReproduction(runRoot: string, state: RunState, snapshot: Snapshot, options?: {
|
|
6
|
+
signal?: AbortSignal;
|
|
7
|
+
}): Promise<RunState>;
|