@xoxoai/checkmate 0.4.28 → 0.5.0

package/dist/cli/reconcile-result.js

@@ -0,0 +1,300 @@
+import { readFile, stat } from 'node:fs/promises';
+import { basename, dirname, relative, resolve, sep } from 'node:path';
+import { serializeJson } from '../contracts/serialize.js';
+import { validateRunResult } from '../contracts/validator.js';
+import { driverEvidenceDirectory, evidenceExtension, harnessEvidencePath, safeSlug, toInvocationRelative, } from '../evidence/layout.js';
+const CATEGORY_BY_STEP_REASON = {
+    'met-expectation': 'app',
+    'failed-expectation': 'app',
+    'loop-detected': 'model',
+    'turn-cap-exceeded': 'model',
+    'step-timeout': 'model',
+    'scenario-timeout': 'infra',
+    'tool-error': 'infra',
+    'provider-error': 'infra',
+    'token-budget-exceeded': 'infra',
+    interrupted: 'infra',
+    'internal-error': 'infra',
+};
+const STARTUP_REASONS = new Set(['driver-load-failed', 'driver-start-failed', 'evidence-write-failed']);
+const FLEXIBLE_LIFECYCLE_REASONS = new Set(['interrupted', 'scenario-timeout', 'internal-error']);
+const OVERRIDE_REASONS = new Set(['driver-teardown-failed', 'result-write-failed']);
+const NOT_ATTEMPTED_REASONS = new Set([
+    'driver-start-failed',
+    'evidence-write-failed',
+    'result-write-failed',
+    'interrupted',
+    'scenario-timeout',
+]);
+export class ResultReconciliationError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = 'ResultReconciliationError';
+    }
+}
+export async function reconcileExecutionResult(bytes, identity, prepared) {
+    const result = parseExecutionResult(bytes);
+    if (serializeJson(result) !== bytes)
+        fail('result bytes are not deterministic Checkmate JSON');
+    assertPlanIdentity(result, identity, prepared);
+    assertSteps(result, prepared);
+    assertUsage(result);
+    await assertEvidence(result, identity, prepared);
+    return { result, bytes };
+}
+export async function readAllocatedResult(identity) {
+    const path = resolve(identity.runDirectory, 'result.json');
+    const information = await stat(path);
+    if (!information.isFile())
+        fail('allocated result path is not a regular file');
+    return readFile(path, 'utf8');
+}
+function parseExecutionResult(bytes) {
+    let input;
+    try {
+        input = JSON.parse(bytes);
+    }
+    catch {
+        return fail('result bytes are not valid JSON');
+    }
+    const validation = validateRunResult(input);
+    if (validation.ok === false) {
+        return fail(`result does not satisfy RunResultV1: ${validation.diagnostics[0]?.message ?? 'invalid result'}`);
+    }
+    if (!('runId' in validation.value) || 'source' in validation.value) {
+        return fail('worker result must use the execution result arm');
+    }
+    return validation.value;
+}
+function assertPlanIdentity(result, identity, prepared) {
+    if (result.runId !== identity.runId)
+        fail('result runId does not match the allocated run');
+    if (result.startedAt !== identity.startedAt)
+        fail('result startedAt does not match the allocated run');
+    if (result.scenarioId !== prepared.request.scenario.id)
+        fail('result scenarioId does not match the request');
+    if (result.driver.id !== prepared.driver.id ||
+        result.driver.contractVersion !== prepared.driver.descriptor.driverContractVersion) {
+        fail('result driver does not match the prepared driver');
+    }
+    if (result.policy.id !== prepared.policy.id)
+        fail('result policy does not match the prepared policy');
+    if (serializeJson(result.policy.effectiveLimits) !== serializeJson(prepared.effectiveLimits)) {
+        fail('result effective limits do not match the prepared limits');
+    }
+    if (result.targetMutation === 'not-attempted' && !NOT_ATTEMPTED_REASONS.has(result.reason)) {
+        fail('worker result has an inconsistent target mutation state');
+    }
+    if (result.reason === 'evidence-write-failed' && result.targetMutation !== 'not-attempted') {
+        fail('invocation evidence failure cannot claim target mutation');
+    }
+}
+function assertSteps(result, prepared) {
+    const declared = prepared.request.scenario.steps;
+    if (result.steps.length !== declared.length)
+        fail('result must contain every declared step exactly once');
+    let failedStep;
+    let notStarted = false;
+    let executedSteps = 0;
+    for (const [index, step] of result.steps.entries()) {
+        if (step.id !== declared[index].id)
+            fail('result step order does not match the request');
+        if (step.status === 'not-run') {
+            if (!failedStep) {
+                if (step.reason !== 'scenario-not-started')
+                    fail('not-run step has no valid blocker');
+                notStarted = true;
+            }
+            else if (step.reason !== 'prior-step-failed' || step.blockedBy !== failedStep.id) {
+                fail('not-run step does not identify the first failed step');
+            }
+            continue;
+        }
+        if (notStarted || failedStep)
+            fail('executed steps must form one contiguous prefix');
+        executedSteps++;
+        assertStep(step, prepared);
+        if (step.status === 'failed')
+            failedStep = step;
+    }
+    if (executedSteps > 0 && result.targetMutation !== 'possibly-mutated') {
+        fail('an executed step requires possible target mutation');
+    }
+    if (result.status === 'passed') {
+        if (result.category !== 'passed' || result.reason !== 'scenario-complete')
+            fail('passed result route is inconsistent');
+        if (failedStep || notStarted || result.steps.some((step) => step.status !== 'passed')) {
+            fail('passed result must contain only passed steps');
+        }
+        return;
+    }
+    if (result.reason === 'interrupted') {
+        if (result.status !== 'interrupted' || result.category !== 'infra')
+            fail('interrupted result route is inconsistent');
+        assertLifecycleShape(result.reason, failedStep, executedSteps, notStarted);
+        return;
+    }
+    if (result.status !== 'failed' || result.category === 'passed' || result.reason === 'scenario-complete') {
+        fail('failed result route is inconsistent');
+    }
+    if (STARTUP_REASONS.has(result.reason)) {
+        if (result.category !== 'infra' || executedSteps !== 0 || failedStep || !notStarted) {
+            fail('startup lifecycle result has executed semantic state');
+        }
+        return;
+    }
+    if (OVERRIDE_REASONS.has(result.reason)) {
+        if (result.category !== 'infra')
+            fail('lifecycle override must use the infrastructure category');
+        return;
+    }
+    if (FLEXIBLE_LIFECYCLE_REASONS.has(result.reason)) {
+        if (result.category !== 'infra')
+            fail('lifecycle result must use the infrastructure category');
+        assertLifecycleShape(result.reason, failedStep, executedSteps, notStarted);
+        return;
+    }
+    if (!failedStep || failedStep.reason !== result.reason || failedStep.category !== result.category) {
+        fail('top-level result route does not match the failed step');
+    }
+}
+function assertLifecycleShape(reason, failedStep, executedSteps, notStarted) {
+    if (failedStep && failedStep.reason !== reason && reason !== 'interrupted') {
+        fail('lifecycle result conflicts with the failed step');
+    }
+    if (!failedStep && !notStarted && executedSteps === 0)
+        fail('lifecycle result has no terminal step state');
+}
+function assertStep(step, prepared) {
+    if (step.category !== CATEGORY_BY_STEP_REASON[step.reason])
+        fail(`step '${step.id}' has an invalid category/reason pair`);
+    if (step.status === 'passed' && step.reason !== 'met-expectation')
+        fail(`passed step '${step.id}' has a failure reason`);
+    if (step.status === 'failed' && step.reason === 'met-expectation')
+        fail(`failed step '${step.id}' met its expectation`);
+    if (step.turns > prepared.effectiveLimits.turnsPerStep)
+        fail(`step '${step.id}' exceeds the prepared turn limit`);
+    assertUsageShape(step.usage, `step '${step.id}'`);
+    for (const call of step.toolCalls) {
+        if (call.turn > step.turns)
+            fail(`step '${step.id}' contains a tool call after its final turn`);
+        if (call.driverId !== prepared.driver.id && call.driverId !== 'harness') {
+            fail(`step '${step.id}' contains a tool call from another driver`);
+        }
+        if (call.driverId === 'harness' && !['pass_test_step', 'fail_test_step'].includes(call.name)) {
+            fail(`step '${step.id}' contains an unknown harness tool`);
+        }
+        if (call.driverId === prepared.driver.id &&
+            !prepared.driver.descriptor.tools.some((tool) => tool.name === call.name)) {
+            fail(`step '${step.id}' contains an undeclared driver tool`);
+        }
+    }
+}
+function assertUsage(result) {
+    assertUsageShape(result.usage, 'scenario');
+    const total = { promptTokens: 0, cachedPromptTokens: 0, completionTokens: 0, totalTokens: 0 };
+    for (const step of result.steps) {
+        if (step.status === 'not-run')
+            continue;
+        total.promptTokens += step.usage.promptTokens;
+        total.cachedPromptTokens += step.usage.cachedPromptTokens;
+        total.completionTokens += step.usage.completionTokens;
+        total.totalTokens += step.usage.totalTokens;
+    }
+    for (const key of Object.keys(total)) {
+        if (result.usage[key] !== total[key])
+            fail('scenario usage does not equal executed step usage');
+    }
+    if (result.usage.state === 'unavailable' && result.usage.totalTokens !== 0) {
+        fail('unavailable scenario usage must be empty');
+    }
+}
+function assertUsageShape(usage, owner) {
+    if (usage.totalTokens !== usage.promptTokens + usage.completionTokens) {
+        fail(`${owner} token total is inconsistent`);
+    }
+    if (usage.cachedPromptTokens > usage.promptTokens)
+        fail(`${owner} cached tokens exceed prompt tokens`);
+}
+async function assertEvidence(result, identity, prepared) {
+    const declaredSteps = new Set(prepared.request.scenario.steps.map((step) => step.id));
+    const seen = new Set();
+    for (const reference of result.evidence.references) {
+        assertEvidenceDeclaration(reference, identity, prepared, declaredSteps);
+        if (seen.has(reference.path))
+            fail('result contains a duplicate evidence path');
+        seen.add(reference.path);
+        const absolute = resolve(prepared.invocationRoot, reference.path);
+        assertInside(identity.runDirectory, absolute);
+        if (reference.path !== toInvocationRelative(prepared.invocationRoot, absolute) ||
+            reference.path.includes('\\')) {
+            fail('evidence path is not invocation-root-relative to the allocated run');
+        }
+        let information;
+        try {
+            information = await stat(absolute);
+        }
+        catch {
+            fail('evidence reference does not point at a committed artifact');
+        }
+        if (!information.isFile())
+            fail('evidence reference does not point at a regular file');
+    }
+}
+function assertEvidenceDeclaration(reference, identity, prepared, declaredSteps) {
+    if (reference.stepId !== undefined && !declaredSteps.has(reference.stepId)) {
+        fail('evidence reference names an unknown step');
+    }
+    if (reference.producer === 'harness') {
+        if (!reference.stepId)
+            fail('harness evidence must name its producing step');
+        const valid = (reference.kind === 'transcript' && reference.mediaType === 'text/markdown') ||
+            (reference.kind === 'turn-snapshot' && reference.mediaType === 'application/yaml');
+        if (!valid)
+            fail('harness evidence reference has an undeclared kind or media type');
+        const ordinal = prepared.request.scenario.steps.findIndex((step) => step.id === reference.stepId) + 1;
+        const absolute = resolve(prepared.invocationRoot, reference.path);
+        if (reference.kind === 'transcript') {
+            if (absolute !== harnessEvidencePath(identity, ordinal, reference.stepId, 'transcript')) {
+                fail('harness transcript does not use its canonical evidence path');
+            }
+        }
+        else {
+            const match = /^(\d{3,})\.yml$/.exec(basename(absolute));
+            const turn = match ? Number(match[1]) : 0;
+            if (!turn || absolute !== harnessEvidencePath(identity, ordinal, reference.stepId, 'turn-snapshot', turn)) {
+                fail('harness turn snapshot does not use its canonical evidence path');
+            }
+        }
+        return;
+    }
+    if (reference.producer !== prepared.driver.id)
+        fail('evidence producer does not match the selected driver');
+    const declaration = prepared.driver.descriptor.evidenceKinds.find((entry) => entry.kind === reference.kind);
+    if (!declaration || declaration.mediaType !== reference.mediaType) {
+        fail('driver evidence reference has an undeclared kind or media type');
+    }
+    const ordinal = reference.stepId
+        ? prepared.request.scenario.steps.findIndex((step) => step.id === reference.stepId) + 1
+        : undefined;
+    const expectedDirectory = driverEvidenceDirectory(identity, prepared.driver.id, ordinal, reference.stepId);
+    const filename = basename(resolve(prepared.invocationRoot, reference.path));
+    const match = /^(\d{3,})-(.+)\.([^.]+)$/.exec(filename);
+    if (dirname(resolve(prepared.invocationRoot, reference.path)) !== expectedDirectory ||
+        !match ||
+        Number(match[1]) < 1 ||
+        match[1] !== String(Number(match[1])).padStart(3, '0') ||
+        match[2] !== safeSlug(reference.kind) ||
+        match[3] !== evidenceExtension(reference.mediaType)) {
+        fail('driver evidence does not use its canonical attributed path');
+    }
+}
+function assertInside(root, candidate) {
+    const child = relative(resolve(root), resolve(candidate));
+    if (!child || child === '..' || child.startsWith(`..${sep}`))
+        fail('artifact path escapes the allocated run');
+}
+function fail(message) {
+    throw new ResultReconciliationError(message);
+}
+//# sourceMappingURL=reconcile-result.js.map

package/dist/cli/reconcile-result.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reconcile-result.js","sourceRoot":"","sources":["../../src/cli/reconcile-result.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAA;AACjD,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,WAAW,CAAA;AAErE,OAAO,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAA;AASzD,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAA;AAC7D,OAAO,EACN,uBAAuB,EACvB,iBAAiB,EACjB,mBAAmB,EACnB,QAAQ,EACR,oBAAoB,GAEpB,MAAM,uBAAuB,CAAA;AAE9B,MAAM,uBAAuB,GAAuD;IACnF,iBAAiB,EAAE,KAAK;IACxB,oBAAoB,EAAE,KAAK;IAC3B,eAAe,EAAE,OAAO;IACxB,mBAAmB,EAAE,OAAO;IAC5B,cAAc,EAAE,OAAO;IACvB,kBAAkB,EAAE,OAAO;IAC3B,YAAY,EAAE,OAAO;IACrB,gBAAgB,EAAE,OAAO;IACzB,uBAAuB,EAAE,OAAO;IAChC,WAAW,EAAE,OAAO;IACpB,gBAAgB,EAAE,OAAO;CACzB,CAAA;AAED,MAAM,eAAe,GAAG,IAAI,GAAG,CAAY,CAAC,oBAAoB,EAAE,qBAAqB,EAAE,uBAAuB,CAAC,CAAC,CAAA;AAElH,MAAM,0BAA0B,GAAG,IAAI,GAAG,CAAY,CAAC,aAAa,EAAE,kBAAkB,EAAE,gBAAgB,CAAC,CAAC,CAAA;AAE5G,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAY,CAAC,wBAAwB,EAAE,qBAAqB,CAAC,CAAC,CAAA;AAE9F,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAAY;IAChD,qBAAqB;IACrB,uBAAuB;IACvB,qBAAqB;IACrB,aAAa;IACb,kBAAkB;CAClB,CAAC,CAAA;AAIF,MAAM,OAAO,yBAA0B,SAAQ,KAAK;IACnD,YAAY,OAAe;QAC1B,KAAK,CAAC,OAAO,CAAC,CAAA;QACd,IAAI,CAAC,IAAI,GAAG,2BAA2B,CAAA;IACxC,CAAC;CACD;AAED,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC7C,KAAa,EACb,QAAqB,EACrB,QAAqB;IAErB,MAAM,MAAM,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAA;IAC1C,IAAI,aAAa,CAAC,MAAM,CAAC,KAAK,KAAK;QAAE,IAAI,CAAC,mDAAmD,CAAC,CAAA;IAC9F,kBAAkB,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAA;IAC9C,WAAW,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;IAC7B,WAAW,CAAC,MAAM,CAAC,CAAA;IACnB,MAAM,cAAc,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAA;IAChD,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAA;AACzB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,mBAAmB,CAAC,QAAqB;IAC9D,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,CAAA;IAC1D,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,CAAA;IACpC,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE;QAAE,IAAI,CAAC,6CAA6C,CAAC,CAAA;IAC9E,OAAO,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;AAC9B,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAa;IAC1C,IAAI,KAAc,CAAA;IAClB,IAAI,CAAC;QACJ,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;IAC1B,CAAC;IAAC,MAAM,CAAC;QACR,OAAO,IAAI,CAAC,iCAAiC,CAAC,CAAA;IAC/C,CAAC;IACD,MAAM,UAAU,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAA;IAC3C,IAAI,UAAU,CAAC,EAAE,KAAK,KAAK,EAAE,CAAC;QAC7B,OAAO,IAAI,CAAC,wCAAwC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,OAAO,IAAI,gBAAgB,EAAE,CAAC,CAAA;IAC9G,CAAC;IACD,IAAI,CAAC,CAAC,OAAO,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,QAAQ,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;QACpE,OAAO,IAAI,CAAC,iDAAiD,CAAC,CAAA;IAC/D,CAAC;IACD,OAAO,UAAU,CAAC,KAAK,CAAA;AACxB,CAAC;AAED,SAAS,kBAAkB,CAAC,MAAyB,EAAE,QAAqB,EAAE,QAAqB;IAClG,IAAI,MAAM,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK;QAAE,IAAI,CAAC,+CAA+C,CAAC,CAAA;IAC1F,IAAI,MAAM,CAAC,SAAS,KAAK,QAAQ,CAAC,SAAS;QAAE,IAAI,CAAC,mDAAmD,CAAC,CAAA;IACtG,IAAI,MAAM,CAAC,UAAU,KAAK,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE;QAAE,IAAI,CAAC,8CAA8C,CAAC,CAAA;IAC5G,IACC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,QAAQ,CAAC,MAAM,CAAC,EAAE;QACvC,MAAM,CAAC,MAAM,CAAC,eAAe,KAAK,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,qBAAqB,EACjF,CAAC;QACF,IAAI,CAAC,kDAAkD,CAAC,CAAA;IACzD,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,QAAQ,CAAC,MAAM,CAAC,EAAE;QAAE,IAAI,CAAC,kDAAkD,CAAC,CAAA;IACrG,IAAI,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,KAAK,aAAa,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC;QAC9F,IAAI,CAAC,0DAA0D,CAAC,CAAA;IACjE,CAAC;IACD,IAAI,MAAM,CAAC,cAAc,KAAK,eAAe,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5F,IAAI,CAAC,yDAAyD,CAAC,CAAA;IAChE,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,KAAK,uBAAuB,IAAI,MAAM,CAAC,cAAc,KAAK,eAAe,EAAE,CAAC;QAC5F,IAAI,CAAC,0DAA0D,CAAC,CAAA;IACjE,CAAC;AACF,CAAC;AAED,SAAS,WAAW,CAAC,MAAyB,EAAE,QAAqB;IACpE,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAA;IAChD,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM;QAAE,IAAI,CAAC,sDAAsD,CAAC,CAAA;IAEzG,IAAI,UAA0C,CAAA;IAC9C,IAAI,UAAU,GAAG,KAAK,CAAA;IACtB,IAAI,aAAa,GAAG,CAAC,CAAA;IACrB,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QACpD,IAAI,IAAI,CAAC,EAAE,KAAK,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE;YAAE,IAAI,CAAC,8CAA8C,CAAC,CAAA;QACxF,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC/B,IAAI,CAAC,UAAU,EAAE,CAAC;gBACjB,IAAI,IAAI,CAAC,MAAM,KAAK,sBAAsB;oBAAE,IAAI,CAAC,mCAAmC,CAAC,CAAA;gBACrF,UAAU,GAAG,IAAI,CAAA;YAClB,CAAC;iBAAM,IAAI,IAAI,CAAC,MAAM,KAAK,mBAAmB,IAAI,IAAI,CAAC,SAAS,KAAK,UAAU,CAAC,EAAE,EAAE,CAAC;gBACpF,IAAI,CAAC,sDAAsD,CAAC,CAAA;YAC7D,CAAC;YACD,SAAQ;QACT,CAAC;QAED,IAAI,UAAU,IAAI,UAAU;YAAE,IAAI,CAAC,gDAAgD,CAAC,CAAA;QACpF,aAAa,EAAE,CAAA;QACf,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;QAC1B,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ;YAAE,UAAU,GAAG,IAAI,CAAA;IAChD,CAAC;IACD,IAAI,aAAa,GAAG,CAAC,IAAI,MAAM,CAAC,cAAc,KAAK,kBAAkB,EAAE,CAAC;QACvE,IAAI,CAAC,oDAAoD,CAAC,CAAA;IAC3D,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAChC,IAAI,MAAM,CAAC,QAAQ,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,KAAK,mBAAmB;YACxE,IAAI,CAAC,qCAAqC,CAAC,CAAA;QAC5C,IAAI,UAAU,IAAI,UAAU,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,QAAQ,CAAC,EAAE,CAAC;YACvF,IAAI,CAAC,8CAA8C,CAAC,CAAA;QACrD,CAAC;QACD,OAAM;IACP,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;QACrC,IAAI,MAAM,CAAC,MAAM,KAAK,aAAa,IAAI,MAAM,CAAC,QAAQ,KAAK,OAAO;YACjE,IAAI,CAAC,0CAA0C,CAAC,CAAA;QACjD,oBAAoB,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,EAAE,aAAa,EAAE,UAAU,CAAC,CAAA;QAC1E,OAAM;IACP,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,KAAK,mBAAmB,EAAE,CAAC;QACzG,IAAI,CAAC,qCAAqC,CAAC,CAAA;IAC5C,CAAC;IACD,IAAI,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QACxC,IAAI,MAAM,CAAC,QAAQ,KAAK,OAAO,IAAI,aAAa,KAAK,CAAC,IAAI,UAAU,IAAI,CAAC,UAAU,EAAE,CAAC;YACrF,IAAI,CAAC,sDAAsD,CAAC,CAAA;QAC7D,CAAC;QACD,OAAM;IACP,CAAC;IACD,IAAI,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QACzC,IAAI,MAAM,CAAC,QAAQ,KAAK,OAAO;YAAE,IAAI,CAAC,yDAAyD,CAAC,CAAA;QAChG,OAAM;IACP,CAAC;IACD,IAAI,0BAA0B,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QACnD,IAAI,MAAM,CAAC,QAAQ,KAAK,OAAO;YAAE,IAAI,CAAC,uDAAuD,CAAC,CAAA;QAC9F,oBAAoB,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,EAAE,aAAa,EAAE,UAAU,CAAC,CAAA;QAC1E,OAAM;IACP,CAAC;IACD,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,IAAI,UAAU,CAAC,QAAQ,KAAK,MAAM,CAAC,QAAQ,EAAE,CAAC;QACnG,IAAI,CAAC,uDAAuD,CAAC,CAAA;IAC9D,CAAC;AACF,CAAC;AAED,SAAS,oBAAoB,CAC5B,MAAiB,EACjB,UAA0C,EAC1C,aAAqB,EACrB,UAAmB;IAEnB,IAAI,UAAU,IAAI,UAAU,CAAC,MAAM,KAAK,MAAM,IAAI,MAAM,KAAK,aAAa,EAAE,CAAC;QAC5E,IAAI,CAAC,iDAAiD,CAAC,CAAA;IACxD,CAAC;IACD,IAAI,CAAC,UAAU,IAAI,CAAC,UAAU,IAAI,aAAa,KAAK,CAAC;QAAE,IAAI,CAAC,6CAA6C,CAAC,CAAA;AAC3G,CAAC;AAED,SAAS,UAAU,CAAC,IAAwB,EAAE,QAAqB;IAClE,IAAI,IAAI,CAAC,QAAQ,KAAK,uBAAuB,CAAC,IAAI,CAAC,MAAM,CAAC;QACzD,IAAI,CAAC,SAAS,IAAI,CAAC,EAAE,uCAAuC,CAAC,CAAA;IAC9D,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,KAAK,iBAAiB;QAChE,IAAI,CAAC,gBAAgB,IAAI,CAAC,EAAE,wBAAwB,CAAC,CAAA;IACtD,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,KAAK,iBAAiB;QAChE,IAAI,CAAC,gBAAgB,IAAI,CAAC,EAAE,uBAAuB,CAAC,CAAA;IACrD,IAAI,IAAI,CAAC,KAAK,GAAG,QAAQ,CAAC,eAAe,CAAC,YAAY;QAAE,IAAI,CAAC,SAAS,IAAI,CAAC,EAAE,mCAAmC,CAAC,CAAA;IACjH,gBAAgB,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,IAAI,CAAC,EAAE,GAAG,CAAC,CAAA;IACjD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QACnC,IAAI,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,KAAK;YAAE,IAAI,CAAC,SAAS,IAAI,CAAC,EAAE,6CAA6C,CAAC,CAAA;QAC/F,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ,CAAC,MAAM,CAAC,EAAE,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YACzE,IAAI,CAAC,SAAS,IAAI,CAAC,EAAE,4CAA4C,CAAC,CAAA;QACnE,CAAC;QACD,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,gBAAgB,EAAE,gBAAgB,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9F,IAAI,CAAC,SAAS,IAAI,CAAC,EAAE,oCAAoC,CAAC,CAAA;QAC3D,CAAC;QACD,IACC,IAAI,CAAC,QAAQ,KAAK,QAAQ,CAAC,MAAM,CAAC,EAAE;YACpC,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,EACxE,CAAC;YACF,IAAI,CAAC,SAAS,IAAI,CAAC,EAAE,sCAAsC,CAAC,CAAA;QAC7D,CAAC;IACF,CAAC;AACF,CAAC;AAED,SAAS,WAAW,CAAC,MAAyB;IAC7C,gBAAgB,CAAC,MAAM,CAAC,KAAK,EAAE,UAAU,CAAC,CAAA;IAC1C,MAAM,KAAK,GAAU,EAAE,YAAY,EAAE,CAAC,EAAE,kBAAkB,EAAE,CAAC,EAAE,gBAAgB,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,CAAA;IACpG,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QACjC,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;YAAE,SAAQ;QACvC,KAAK,CAAC,YAAY,IAAI,IAAI,CAAC,KAAK,CAAC,YAAY,CAAA;QAC7C,KAAK,CAAC,kBAAkB,IAAI,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAA;QACzD,KAAK,CAAC,gBAAgB,IAAI,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAA;QACrD,KAAK,CAAC,WAAW,IAAI,IAAI,CAAC,KAAK,CAAC,WAAW,CAAA;IAC5C,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAuB,EAAE,CAAC;QAC5D,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,GAAG,CAAC;YAAE,IAAI,CAAC,mDAAmD,CAAC,CAAA;IAChG,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,KAAK,aAAa,IAAI,MAAM,CAAC,KAAK,CAAC,WAAW,KAAK,CAAC,EAAE,CAAC;QAC5E,IAAI,CAAC,0CAA0C,CAAC,CAAA;IACjD,CAAC;AACF,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAY,EAAE,KAAa;IACpD,IAAI,KAAK,CAAC,WAAW,KAAK,KAAK,CAAC,YAAY,GAAG,KAAK,CAAC,gBAAgB,EAAE,CAAC;QACvE,IAAI,CAAC,GAAG,KAAK,8BAA8B,CAAC,CAAA;IAC7C,CAAC;IACD,IAAI,KAAK,CAAC,kBAAkB,GAAG,KAAK,CAAC,YAAY;QAAE,IAAI,CAAC,GAAG,KAAK,qCAAqC,CAAC,CAAA;AACvG,CAAC;AAED,KAAK,UAAU,cAAc,CAAC,MAAyB,EAAE,QAAqB,EAAE,QAAqB;IACpG,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAA;IACrF,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC;QACpD,yBAAyB,CAAC,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,aAAa,CAAC,CAAA;QACvE,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC;YAAE,IAAI,CAAC,2CAA2C,CAAC,CAAA;QAC/E,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAA;QAExB,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC,cAAc,EAAE,SAAS,CAAC,IAAI,CAAC,CAAA;QACjE,YAAY,CAAC,QAAQ,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAA;QAC7C,IACC,SAAS,CAAC,IAAI,KAAK,oBAAoB,CAAC,QAAQ,CAAC,cAAc,EAAE,QAAQ,CAAC;YAC1E,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAC5B,CAAC;YACF,IAAI,CAAC,oEAAoE,CAAC,CAAA;QAC3E,CAAC;QACD,IAAI,WAAW,CAAA;QACf,IAAI,CAAC;YACJ,WAAW,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,CAAA;QACnC,CAAC;QAAC,MAAM,CAAC;YACR,IAAI,CAAC,2DAA2D,CAAC,CAAA;QAClE,CAAC;QACD,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE;YAAE,IAAI,CAAC,qDAAqD,CAAC,CAAA;IACvF,CAAC;AACF,CAAC;AAED,SAAS,yBAAyB,CACjC,SAA4B,EAC5B,QAAqB,EACrB,QAAqB,EACrB,aAAkC;IAElC,IAAI,SAAS,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5E,IAAI,CAAC,0CAA0C,CAAC,CAAA;IACjD,CAAC;IACD,IAAI,SAAS,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACtC,IAAI,CAAC,SAAS,CAAC,MAAM;YAAE,IAAI,CAAC,+CAA+C,CAAC,CAAA;QAC5E,MAAM,KAAK,GACV,CAAC,SAAS,CAAC,IAAI,KAAK,YAAY,IAAI,SAAS,CAAC,SAAS,KAAK,eAAe,CAAC;YAC5E,CAAC,SAAS,CAAC,IAAI,KAAK,eAAe,IAAI,SAAS,CAAC,SAAS,KAAK,kBAAkB,CAAC,CAAA;QACnF,IAAI,CAAC,KAAK;YAAE,IAAI,CAAC,iEAAiE,CAAC,CAAA;QACnF,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;QACrG,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC,cAAc,EAAE,SAAS,CAAC,IAAI,CAAC,CAAA;QACjE,IAAI,SAAS,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACrC,IAAI,QAAQ,KAAK,mBAAmB,CAAC,QAAQ,EAAE,OAAO,EAAE,SAAS,CAAC,MAAM,EAAE,YAAY,CAAC,EAAE,CAAC;gBACzF,IAAI,CAAC,6DAA6D,CAAC,CAAA;YACpE,CAAC;QACF,CAAC;aAAM,CAAC;YACP,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAA;YACxD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;YACzC,IAAI,CAAC,IAAI,IAAI,QAAQ,KAAK,mBAAmB,CAAC,QAAQ,EAAE,OAAO,EAAE,SAAS,CAAC,MAAM,EAAE,eAAe,EAAE,IAAI,CAAC,EAAE,CAAC;gBAC3G,IAAI,CAAC,gEAAgE,CAAC,CAAA;YACvE,CAAC;QACF,CAAC;QACD,OAAM;IACP,CAAC;IACD,IAAI,SAAS,CAAC,QAAQ,KAAK,QAAQ,CAAC,MAAM,CAAC,EAAE;QAAE,IAAI,CAAC,sDAAsD,CAAC,CAAA;IAC3G,MAAM,WAAW,GAAG,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,CAAC,CAAA;IAC3G,IAAI,CAAC,WAAW,IAAI,WAAW,CAAC,SAAS,KAAK,SAAS,CAAC,SAAS,EAAE,CAAC;QACnE,IAAI,CAAC,gEAAgE,CAAC,CAAA;IACvE,CAAC;IACD,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM;QAC/B,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC;QACvF,CAAC,CAAC,SAAS,CAAA;IACZ,MAAM,iBAAiB,GAAG,uBAAuB,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,EAAE,OAAO,EAAE,SAAS,CAAC,MAAM,CAAC,CAAA;IAC1G,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,cAAc,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAA;IAC3E,MAAM,KAAK,GAAG,0BAA0B,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IACvD,IACC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,cAAc,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,KAAK,iBAAiB;QAC/E,CAAC,KAAK;QACN,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACpB,KAAK,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC;QACtD,KAAK,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC;QACrC,KAAK,CAAC,CAAC,CAAC,KAAK,iBAAiB,CAAC,SAAS,CAAC,SAAS,CAAC,EAClD,CAAC;QACF,IAAI,CAAC,4DAA4D,CAAC,CAAA;IACnE,CAAC;AACF,CAAC;AAED,SAAS,YAAY,CAAC,IAAY,EAAE,SAAiB;IACpD,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC,CAAA;IACzD,IAAI,CAAC,KAAK,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,UAAU,CAAC,KAAK,GAAG,EAAE,CAAC;QAAE,IAAI,CAAC,yCAAyC,CAAC,CAAA;AAC9G,CAAC;AAED,SAAS,IAAI,CAAC,OAAe;IAC5B,MAAM,IAAI,yBAAyB,CAAC,OAAO,CAAC,CAAA;AAC7C,CAAC"}

package/dist/cli/run-parent.d.ts

@@ -0,0 +1,37 @@
+import { type ChildProcess } from 'node:child_process';
+import { allocateRunIdentity } from '../api/allocate-run-identity.js';
+import { prepareRunSource, type PreparationOptions } from '../api/prepare-run.js';
+import { type JsonInputSource } from '../config/ingestion.js';
+import { type DiagnosticWriter } from './diagnostic-relay.js';
+import { readAllocatedResult, reconcileExecutionResult } from './reconcile-result.js';
+import { type ParentSignal } from './signals.js';
+export type RunParentInput = Readonly<{
+    source: JsonInputSource;
+    cwd: string;
+    configPath?: string;
+    stdout: {
+        write(value: string): unknown;
+    };
+    stderr: DiagnosticWriter;
+}>;
+export type SignalSource = Readonly<{
+    on(signal: ParentSignal, listener: () => void): unknown;
+    off(signal: ParentSignal, listener: () => void): unknown;
+}>;
+export type RunParentDependencies = Readonly<{
+    prepare?: typeof prepareRunSource;
+    allocate?: typeof allocateRunIdentity;
+    forkWorker?: () => ChildProcess;
+    preparation?: Omit<PreparationOptions, 'cwd' | 'configPath'>;
+    now?: () => number;
+    wallNow?: () => Date;
+    setTimer?: typeof setTimeout;
+    clearTimer?: typeof clearTimeout;
+    signals?: SignalSource;
+    workerExitGraceMs?: number;
+    workerKillGraceMs?: number;
+    reconcile?: typeof reconcileExecutionResult;
+    readResult?: typeof readAllocatedResult;
+}>;
+export declare function runFromParent(input: RunParentInput, dependencies?: RunParentDependencies): Promise<number>;
+//# sourceMappingURL=run-parent.d.ts.map

package/dist/cli/run-parent.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-parent.d.ts","sourceRoot":"","sources":["../../src/cli/run-parent.ts"],"names":[],"mappings":"AACA,OAAO,EAAQ,KAAK,YAAY,EAAE,MAAM,oBAAoB,CAAA;AAG5D,OAAO,EAAE,mBAAmB,EAAE,MAAM,iCAAiC,CAAA;AACrE,OAAO,EAAE,gBAAgB,EAAoB,KAAK,kBAAkB,EAAE,MAAM,uBAAuB,CAAA;AACnG,OAAO,EAAoB,KAAK,eAAe,EAAE,MAAM,wBAAwB,CAAA;AAW/E,OAAO,EAAmB,KAAK,gBAAgB,EAAE,MAAM,uBAAuB,CAAA;AAU9E,OAAO,EAAE,mBAAmB,EAAE,wBAAwB,EAAE,MAAM,uBAAuB,CAAA;AACrF,OAAO,EAAoB,KAAK,YAAY,EAAE,MAAM,cAAc,CAAA;AAGlE,MAAM,MAAM,cAAc,GAAG,QAAQ,CAAC;IACrC,MAAM,EAAE,eAAe,CAAA;IACvB,GAAG,EAAE,MAAM,CAAA;IACX,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,MAAM,EAAE;QAAE,KAAK,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAA;KAAE,CAAA;IACzC,MAAM,EAAE,gBAAgB,CAAA;CACxB,CAAC,CAAA;AAEF,MAAM,MAAM,YAAY,GAAG,QAAQ,CAAC;IACnC,EAAE,CAAC,MAAM,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,IAAI,GAAG,OAAO,CAAA;IACvD,GAAG,CAAC,MAAM,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,IAAI,GAAG,OAAO,CAAA;CACxD,CAAC,CAAA;AAEF,MAAM,MAAM,qBAAqB,GAAG,QAAQ,CAAC;IAC5C,OAAO,CAAC,EAAE,OAAO,gBAAgB,CAAA;IACjC,QAAQ,CAAC,EAAE,OAAO,mBAAmB,CAAA;IACrC,UAAU,CAAC,EAAE,MAAM,YAAY,CAAA;IAC/B,WAAW,CAAC,EAAE,IAAI,CAAC,kBAAkB,EAAE,KAAK,GAAG,YAAY,CAAC,CAAA;IAC5D,GAAG,CAAC,EAAE,MAAM,MAAM,CAAA;IAClB,OAAO,CAAC,EAAE,MAAM,IAAI,CAAA;IACpB,QAAQ,CAAC,EAAE,OAAO,UAAU,CAAA;IAC5B,UAAU,CAAC,EAAE,OAAO,YAAY,CAAA;IAChC,OAAO,CAAC,EAAE,YAAY,CAAA;IACtB,iBAAiB,CAAC,EAAE,MAAM,CAAA;IAC1B,iBAAiB,CAAC,EAAE,MAAM,CAAA;IAC1B,SAAS,CAAC,EAAE,OAAO,wBAAwB,CAAA;IAC3C,UAAU,CAAC,EAAE,OAAO,mBAAmB,CAAA;CACvC,CAAC,CAAA;AAKF,wBAAsB,aAAa,CAAC,KAAK,EAAE,cAAc,EAAE,YAAY,GAAE,qBAA0B,GAAG,OAAO,CAAC,MAAM,CAAC,CAoGpH"}