@bjoernrochel/sevro 0.1.0-rc.8 → 1.1.0

package/dist/src/cli/loading.js

@@ -0,0 +1,110 @@
+import { readFile } from "node:fs/promises";
+import { isAbsolute } from "node:path";
+import { pathToFileURL } from "node:url";
+import { isResolvedCase, resolvedCaseIssue } from "../case-validation.js";
+import { prepareInstrumentation } from "../instrumentation.js";
+import { isRecord, isStringArray, validQualifiedId } from "../value-guards.js";
+import { InvocationError } from "./invocation.js";
+export function parseCase(value) {
+    if (!isResolvedCase(value))
+        throw new InvocationError(`invalid resolved case file: ${resolvedCaseIssue(value) ?? "invalid case"}`);
+    return value;
+}
+export async function loadCase(path) {
+    try {
+        return parseCase(JSON.parse(await readFile(path, "utf8")));
+    }
+    catch (cause) {
+        const detail = cause instanceof InvocationError ? `: ${cause.message}` : "";
+        throw new InvocationError(`resolved case file is unreadable or invalid at ${path}${detail}; supply --case-file with readable JSON and correct the named field`, {
+            cause,
+        });
+    }
+}
+async function loadJson(path, label) {
+    try {
+        return JSON.parse(await readFile(path, "utf8"));
+    }
+    catch (cause) {
+        throw new InvocationError(`${label} is unreadable or invalid`, { cause });
+    }
+}
+function validExtensionCommand(value) {
+    return (isStringArray(value) &&
+        value.length > 0 &&
+        value.every((part) => part.length > 0) &&
+        isAbsolute(value[0] ?? ""));
+}
+async function loadExtensionCommand(path) {
+    const command = await loadJson(path, "extension command file");
+    if (!validExtensionCommand(command))
+        throw new InvocationError("extension command must be an absolute argv array");
+    return command;
+}
+export async function loadExtensionOptions(selected) {
+    const command = await loadExtensionCommand(selected.commandFile);
+    const configuration = selected.configurationFile
+        ? await loadJson(selected.configurationFile, "extension configuration file")
+        : {};
+    const redactedConfiguration = selected.redactedConfigurationFile
+        ? await loadJson(selected.redactedConfigurationFile, "redacted extension configuration file")
+        : {};
+    if (!isRecord(configuration) || !isRecord(redactedConfiguration))
+        throw new InvocationError("extension configuration must be JSON objects");
+    return { command, configuration, redactedConfiguration };
+}
+export async function loadPreparationSources(selected) {
+    if (!selected.caseSourceRoot || !selected.caseSourceMapFile)
+        return undefined;
+    const refs = await loadJson(selected.caseSourceMapFile, "case source map file");
+    if (!isRecord(refs) ||
+        !Object.values(refs).every((value) => typeof value === "string" && value.startsWith("file:///")))
+        throw new InvocationError("case source map must contain file URLs");
+    return {
+        root: selected.caseSourceRoot,
+        refs: refs,
+    };
+}
+async function adapterModule(path) {
+    try {
+        return await import(pathToFileURL(path).href);
+    }
+    catch (cause) {
+        throw new InvocationError(`host adapter module could not be loaded at ${path}; check that the module exists and imports successfully, then correct --adapter-module or the selected grading adapter option`, { cause });
+    }
+}
+export async function loadHost(path) {
+    const module = await adapterModule(path);
+    const host = isRecord(module) ? module.default : null;
+    if (!validHostAdapter(host))
+        throw new InvocationError(`host adapter module has no valid default adapter at ${path}; export a default adapter with string id, model, effort and a run function`);
+    validateHostInstrumentation(host);
+    validateHostCapabilities(host.hostCapabilities);
+    return host;
+}
+function validateHostInstrumentation(host) {
+    try {
+        prepareInstrumentation([], host.instrumentation ?? [], [], "passive");
+    }
+    catch (cause) {
+        throw new InvocationError("host adapter instrumentation is invalid", {
+            cause,
+        });
+    }
+}
+function validHostAdapter(value) {
+    return (isRecord(value) &&
+        typeof value.id === "string" &&
+        typeof value.model === "string" &&
+        typeof value.effort === "string" &&
+        typeof value.run === "function");
+}
+function validateHostCapabilities(value) {
+    if (value === undefined)
+        return;
+    if (!isStringArray(value) ||
+        value.some((id) => !validQualifiedId(id)) ||
+        new Set(value).size !== value.length)
+        throw new InvocationError("host adapter capabilities are invalid");
+}
+//# sourceMappingURL=loading.js.map

package/dist/src/cli/loading.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"loading.js","sourceRoot":"","sources":["loading.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,yBAAyB;AAC5C,OAAO,EAAE,UAAU,EAAE,kBAAkB;AACvC,OAAO,EAAE,aAAa,EAAE,iBAAiB;AACzC,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,8BAA2B;AAEvE,OAAO,EAAE,sBAAsB,EAAE,8BAA2B;AAC5D,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,gBAAgB,EAAE,2BAAwB;AAC5E,OAAO,EAAE,eAAe,EAAmB,wBAAqB;AAEhE,MAAM,UAAU,SAAS,CAAC,KAAc;IACtC,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC;QACxB,MAAM,IAAI,eAAe,CACvB,+BAA+B,iBAAiB,CAAC,KAAK,CAAC,IAAI,cAAc,EAAE,CAC5E,CAAC;IACJ,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,QAAQ,CAAC,IAAY;IACzC,IAAI,CAAC;QACH,OAAO,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IAC7D,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,MAAM,GAAG,KAAK,YAAY,eAAe,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5E,MAAM,IAAI,eAAe,CACvB,kDAAkD,IAAI,GAAG,MAAM,qEAAqE,EACpI;YACE,KAAK;SACN,CACF,CAAC;IACJ,CAAC;AACH,CAAC;AAED,KAAK,UAAU,QAAQ,CAAC,IAAY,EAAE,KAAa;IACjD,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;IAClD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,eAAe,CAAC,GAAG,KAAK,2BAA2B,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;IAC5E,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAc;IAC3C,OAAO,CACL,aAAa,CAAC,KAAK,CAAC;QACpB,KAAK,CAAC,MAAM,GAAG,CAAC;QAChB,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;QACtC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAC3B,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,oBAAoB,CAAC,IAAY;IAC9C,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,wBAAwB,CAAC,CAAC;IAC/D,IAAI,CAAC,qBAAqB,CAAC,OAAO,CAAC;QACjC,MAAM,IAAI,eAAe,CACvB,kDAAkD,CACnD,CAAC;IACJ,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,QAA8C;IAE9C,MAAM,OAAO,GAAG,MAAM,oBAAoB,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IACjE,MAAM,aAAa,GAAG,QAAQ,CAAC,iBAAiB;QAC9C,CAAC,CAAC,MAAM,QAAQ,CAAC,QAAQ,CAAC,iBAAiB,EAAE,8BAA8B,CAAC;QAC5E,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,qBAAqB,GAAG,QAAQ,CAAC,yBAAyB;QAC9D,CAAC,CAAC,MAAM,QAAQ,CACZ,QAAQ,CAAC,yBAAyB,EAClC,uCAAuC,CACxC;QACH,CAAC,CAAC,EAAE,CAAC;IACP,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,qBAAqB,CAAC;QAC9D,MAAM,IAAI,eAAe,CAAC,8CAA8C,CAAC,CAAC;IAC5E,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,qBAAqB,EAAE,CAAC;AAC3D,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAAC,QAAoB;IAC/D,IAAI,CAAC,QAAQ,CAAC,cAAc,IAAI,CAAC,QAAQ,CAAC,iBAAiB;QAAE,OAAO,SAAS,CAAC;IAC9E,MAAM,IAAI,GAAG,MAAM,QAAQ,CACzB,QAAQ,CAAC,iBAAiB,EAC1B,sBAAsB,CACvB,CAAC;IACF,IACE,CAAC,QAAQ,CAAC,IAAI,CAAC;QACf,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,CACxB,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,UAAU,CAAC,UAAU,CAAC,CACrE;QAED,MAAM,IAAI,eAAe,CAAC,wCAAwC,CAAC,CAAC;IACtE,OAAO;QACL,IAAI,EAAE,QAAQ,CAAC,cAAc;QAC7B,IAAI,EAAE,IAA8B;KACrC,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,aAAa,CAAC,IAAY;IACvC,IAAI,CAAC;QACH,OAAO,MAAM,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC;IAChD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,eAAe,CACvB,8CAA8C,IAAI,+HAA+H,EACjL,EAAE,KAAK,EAAE,CACV,CAAC;IACJ,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,QAAQ,CAAC,IAAY;IACzC,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,IAAI,CAAC,CAAC;IACzC,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;IACtD,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC;QACzB,MAAM,IAAI,eAAe,CACvB,uDAAuD,IAAI,6EAA6E,CACzI,CAAC;IACJ,2BAA2B,CAAC,IAAI,CAAC,CAAC;IAClC,wBAAwB,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAChD,OAAO,IAA8B,CAAC;AACxC,CAAC;AAED,SAAS,2BAA2B,CAAC,IAA6B;IAChE,IAAI,CAAC;QACH,sBAAsB,CACpB,EAAE,EACD,IAAI,CAAC,eAAkD,IAAI,EAAE,EAC9D,EAAE,EACF,SAAS,CACV,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,eAAe,CAAC,yCAAyC,EAAE;YACnE,KAAK;SACN,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAc;IACtC,OAAO,CACL,QAAQ,CAAC,KAAK,CAAC;QACf,OAAO,KAAK,CAAC,EAAE,KAAK,QAAQ;QAC5B,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ;QAC/B,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ;QAChC,OAAO,KAAK,CAAC,GAAG,KAAK,UAAU,CAChC,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAAC,KAAc;IAC9C,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO;IAChC,IACE,CAAC,aAAa,CAAC,KAAK,CAAC;QACrB,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC;QACzC,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM;QAEpC,MAAM,IAAI,eAAe,CAAC,uCAAuC,CAAC,CAAC;AACvE,CAAC","sourcesContent":["import { readFile } from \"node:fs/promises\";\nimport { isAbsolute } from \"node:path\";\nimport { pathToFileURL } from \"node:url\";\nimport { isResolvedCase, resolvedCaseIssue } from \"../case-validation\";\nimport type { HostAdapter, ResolvedCase } from \"../engine\";\nimport { prepareInstrumentation } from \"../instrumentation\";\nimport { isRecord, isStringArray, validQualifiedId } from \"../value-guards\";\nimport { InvocationError, type Invocation } from \"./invocation\";\n\nexport function parseCase(value: unknown): ResolvedCase {\n  if (!isResolvedCase(value))\n    throw new InvocationError(\n      `invalid resolved case file: ${resolvedCaseIssue(value) ?? \"invalid case\"}`,\n    );\n  return value;\n}\n\nexport async function loadCase(path: string): Promise<ResolvedCase> {\n  try {\n    return parseCase(JSON.parse(await readFile(path, \"utf8\")));\n  } catch (cause) {\n    const detail = cause instanceof InvocationError ? `: ${cause.message}` : \"\";\n    throw new InvocationError(\n      `resolved case file is unreadable or invalid at ${path}${detail}; supply --case-file with readable JSON and correct the named field`,\n      {\n        cause,\n      },\n    );\n  }\n}\n\nasync function loadJson(path: string, label: string): Promise<unknown> {\n  try {\n    return JSON.parse(await readFile(path, \"utf8\"));\n  } catch (cause) {\n    throw new InvocationError(`${label} is unreadable or invalid`, { cause });\n  }\n}\n\nfunction validExtensionCommand(value: unknown): value is string[] {\n  return (\n    isStringArray(value) &&\n    value.length > 0 &&\n    value.every((part) => part.length > 0) &&\n    isAbsolute(value[0] ?? \"\")\n  );\n}\n\nasync function loadExtensionCommand(path: string): Promise<string[]> {\n  const command = await loadJson(path, \"extension command file\");\n  if (!validExtensionCommand(command))\n    throw new InvocationError(\n      \"extension command must be an absolute argv array\",\n    );\n  return command;\n}\n\nexport async function loadExtensionOptions(\n  selected: NonNullable<Invocation[\"extension\"]>,\n) {\n  const command = await loadExtensionCommand(selected.commandFile);\n  const configuration = selected.configurationFile\n    ? await loadJson(selected.configurationFile, \"extension configuration file\")\n    : {};\n  const redactedConfiguration = selected.redactedConfigurationFile\n    ? await loadJson(\n        selected.redactedConfigurationFile,\n        \"redacted extension configuration file\",\n      )\n    : {};\n  if (!isRecord(configuration) || !isRecord(redactedConfiguration))\n    throw new InvocationError(\"extension configuration must be JSON objects\");\n  return { command, configuration, redactedConfiguration };\n}\n\nexport async function loadPreparationSources(selected: Invocation) {\n  if (!selected.caseSourceRoot || !selected.caseSourceMapFile) return undefined;\n  const refs = await loadJson(\n    selected.caseSourceMapFile,\n    \"case source map file\",\n  );\n  if (\n    !isRecord(refs) ||\n    !Object.values(refs).every(\n      (value) => typeof value === \"string\" && value.startsWith(\"file:///\"),\n    )\n  )\n    throw new InvocationError(\"case source map must contain file URLs\");\n  return {\n    root: selected.caseSourceRoot,\n    refs: refs as Record<string, string>,\n  };\n}\n\nasync function adapterModule(path: string): Promise<unknown> {\n  try {\n    return await import(pathToFileURL(path).href);\n  } catch (cause) {\n    throw new InvocationError(\n      `host adapter module could not be loaded at ${path}; check that the module exists and imports successfully, then correct --adapter-module or the selected grading adapter option`,\n      { cause },\n    );\n  }\n}\n\nexport async function loadHost(path: string): Promise<HostAdapter> {\n  const module = await adapterModule(path);\n  const host = isRecord(module) ? module.default : null;\n  if (!validHostAdapter(host))\n    throw new InvocationError(\n      `host adapter module has no valid default adapter at ${path}; export a default adapter with string id, model, effort and a run function`,\n    );\n  validateHostInstrumentation(host);\n  validateHostCapabilities(host.hostCapabilities);\n  return host as unknown as HostAdapter;\n}\n\nfunction validateHostInstrumentation(host: Record<string, unknown>): void {\n  try {\n    prepareInstrumentation(\n      [],\n      (host.instrumentation as HostAdapter[\"instrumentation\"]) ?? [],\n      [],\n      \"passive\",\n    );\n  } catch (cause) {\n    throw new InvocationError(\"host adapter instrumentation is invalid\", {\n      cause,\n    });\n  }\n}\n\nfunction validHostAdapter(value: unknown): value is Record<string, unknown> {\n  return (\n    isRecord(value) &&\n    typeof value.id === \"string\" &&\n    typeof value.model === \"string\" &&\n    typeof value.effort === \"string\" &&\n    typeof value.run === \"function\"\n  );\n}\n\nfunction validateHostCapabilities(value: unknown): void {\n  if (value === undefined) return;\n  if (\n    !isStringArray(value) ||\n    value.some((id) => !validQualifiedId(id)) ||\n    new Set(value).size !== value.length\n  )\n    throw new InvocationError(\"host adapter capabilities are invalid\");\n}\n"]}

package/dist/src/cli/preparation.js

@@ -0,0 +1,88 @@
+import { runnerRoot } from "../runner-paths.js";
+import { fileURLToPath } from "node:url";
+import { configurationRoot } from "../hosts/codex-configuration.js";
+import { InvocationError, parseInvocation, nativeRoutes, } from "./invocation.js";
+import { loadRuntimeConfiguration, runtimeNativeGoalEnabled, } from "../runtime/config.js";
+import { canonicalRuntimeRoot, requireRuntimeReadRoots, } from "../runtime/paths.js";
+import { loadCase, loadPreparationSources } from "./loading.js";
+import { candidateHost, secondaryHost, selectedConcurrency } from "./hosts.js";
+function protectMappedSources(invocation, preparationSources) {
+    const sourceRoots = mappedSourceRoots(preparationSources);
+    for (const native of nativeRoutes(invocation)) {
+        native.additionalProtectedRoots = [
+            ...native.additionalProtectedRoots,
+            ...sourceRoots,
+        ];
+    }
+    invocation.shellIsolation?.protectedRoots.push(...sourceRoots);
+}
+export async function prepareRunInvocation(argv) {
+    const invocation = await parseInvocation(argv);
+    warnDeprecatedRuntimeOptions(invocation);
+    const preparationSources = await loadPreparationSources(invocation);
+    protectMappedSources(invocation, preparationSources);
+    const protectedRoots = await invocationProtectedRuntimeRoots(invocation);
+    const runtimePolicy = await loadRuntimeConfiguration(invocation.projectRoot, invocation.runtimeConfigFile, protectedRoots);
+    requireRuntimeOptionCompatibility(invocation, runtimePolicy);
+    selectRuntimeTransport(invocation, runtimePolicy);
+    const configRoot = await configurationRoot(invocation.configRoot);
+    validateInvocationRuntime(protectedRoots, runtimePolicy);
+    const agentConcurrencyLimit = await selectedConcurrency(invocation, configRoot);
+    const caseData = invocation.caseFile
+        ? await loadCase(invocation.caseFile)
+        : undefined;
+    const host = await candidateHost(invocation, agentConcurrencyLimit);
+    const semanticHost = await secondaryHost(invocation.semanticAdapterModule, invocation.semanticCodex, agentConcurrencyLimit);
+    const advisoryHost = await secondaryHost(invocation.advisoryAdapterModule, invocation.advisoryCodex, agentConcurrencyLimit);
+    return {
+        invocation,
+        runtimePolicy,
+        preparationSources,
+        caseData,
+        host,
+        semanticHost,
+        advisoryHost,
+        agentConcurrencyLimit,
+    };
+}
+function selectRuntimeTransport(invocation, policy) {
+    if (!runtimeNativeGoalEnabled(policy))
+        return;
+    if (invocation.codex)
+        selectCodexGoalTransport(invocation.codex);
+}
+function selectCodexGoalTransport(codex) {
+    if (codex.entrypoint === "exec")
+        throw new InvocationError("native-goal runtime policy requires Codex app-server");
+    codex.entrypoint = "app-server";
+}
+function warnDeprecatedRuntimeOptions(invocation) {
+    for (const option of invocation.deprecatedRuntimeOptions)
+        console.warn(`--${option} is deprecated; declare the runtime in sevro.json or --runtime-config-file instead`);
+}
+function requireRuntimeOptionCompatibility(invocation, policy) {
+    if (policy && invocation.deprecatedRuntimeOptions.length)
+        throw new InvocationError("runtime configuration cannot be combined with deprecated runtime options");
+}
+function validateInvocationRuntime(protectedRoots, policy) {
+    if (!policy)
+        return;
+    requireRuntimeReadRoots(policy.readOnlyRoots, protectedRoots);
+    requireRuntimeReadRoots((policy.seeds ?? []).map((seed) => seed.source), protectedRoots);
+}
+async function invocationProtectedRuntimeRoots(invocation) {
+    const protectedRoots = [
+        runnerRoot,
+        invocation.projectRoot,
+        invocation.configRoot,
+        invocation.resultsRoot,
+        invocation.runStateRoot,
+        ...nativeRoutes(invocation).flatMap((host) => host.additionalProtectedRoots),
+        ...(invocation.shellIsolation?.protectedRoots ?? []),
+    ];
+    return Promise.all(protectedRoots.map(canonicalRuntimeRoot));
+}
+function mappedSourceRoots(preparationSources) {
+    return Object.values(preparationSources?.refs ?? {}).map((url) => fileURLToPath(url));
+}
+//# sourceMappingURL=preparation.js.map

package/dist/src/cli/preparation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"preparation.js","sourceRoot":"","sources":["preparation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,2BAAwB;AAC7C,OAAO,EAAE,aAAa,EAAE,iBAAiB;AACzC,OAAO,EAAE,iBAAiB,EAAE,wCAAqC;AACjE,OAAO,EACL,eAAe,EACf,eAAe,EACf,YAAY,GAEb,wBAAqB;AACtB,OAAO,EACL,wBAAwB,EACxB,wBAAwB,GACzB,6BAA0B;AAC3B,OAAO,EACL,oBAAoB,EACpB,uBAAuB,GACxB,4BAAyB;AAC1B,OAAO,EAAE,QAAQ,EAAE,sBAAsB,EAAE,qBAAkB;AAC7D,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,mBAAmB,EAAE,mBAAgB;AAI5E,SAAS,oBAAoB,CAC3B,UAAsB,EACtB,kBAAsC;IAEtC,MAAM,WAAW,GAAG,iBAAiB,CAAC,kBAAkB,CAAC,CAAC;IAC1D,KAAK,MAAM,MAAM,IAAI,YAAY,CAAC,UAAU,CAAC,EAAE,CAAC;QAC9C,MAAM,CAAC,wBAAwB,GAAG;YAChC,GAAG,MAAM,CAAC,wBAAwB;YAClC,GAAG,WAAW;SACf,CAAC;IACJ,CAAC;IACD,UAAU,CAAC,cAAc,EAAE,cAAc,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,CAAC;AACjE,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,oBAAoB,CAAC,IAAc;IACvD,MAAM,UAAU,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,CAAC;IAC/C,4BAA4B,CAAC,UAAU,CAAC,CAAC;IACzC,MAAM,kBAAkB,GAAG,MAAM,sBAAsB,CAAC,UAAU,CAAC,CAAC;IACpE,oBAAoB,CAAC,UAAU,EAAE,kBAAkB,CAAC,CAAC;IACrD,MAAM,cAAc,GAAG,MAAM,+BAA+B,CAAC,UAAU,CAAC,CAAC;IACzE,MAAM,aAAa,GAAG,MAAM,wBAAwB,CAClD,UAAU,CAAC,WAAW,EACtB,UAAU,CAAC,iBAAiB,EAC5B,cAAc,CACf,CAAC;IACF,iCAAiC,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;IAC7D,sBAAsB,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;IAClD,MAAM,UAAU,GAAG,MAAM,iBAAiB,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;IAClE,yBAAyB,CAAC,cAAc,EAAE,aAAa,CAAC,CAAC;IACzD,MAAM,qBAAqB,GAAG,MAAM,mBAAmB,CACrD,UAAU,EACV,UAAU,CACX,CAAC;IACF,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ;QAClC,CAAC,CAAC,MAAM,QAAQ,CAAC,UAAU,CAAC,QAAQ,CAAC;QACrC,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,IAAI,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,qBAAqB,CAAC,CAAC;IACpE,MAAM,YAAY,GAAG,MAAM,aAAa,CACtC,UAAU,CAAC,qBAAqB,EAChC,UAAU,CAAC,aAAa,EACxB,qBAAqB,CACtB,CAAC;IACF,MAAM,YAAY,GAAG,MAAM,aAAa,CACtC,UAAU,CAAC,qBAAqB,EAChC,UAAU,CAAC,aAAa,EACxB,qBAAqB,CACtB,CAAC;IACF,OAAO;QACL,UAAU;QACV,aAAa;QACb,kBAAkB;QAClB,QAAQ;QACR,IAAI;QACJ,YAAY;QACZ,YAAY;QACZ,qBAAqB;KACtB,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAC7B,UAAsB,EACtB,MAA4D;IAE5D,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC;QAAE,OAAO;IAC9C,IAAI,UAAU,CAAC,KAAK;QAAE,wBAAwB,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;AACnE,CAAC;AAED,SAAS,wBAAwB,CAC/B,KAAuC;IAEvC,IAAI,KAAK,CAAC,UAAU,KAAK,MAAM;QAC7B,MAAM,IAAI,eAAe,CACvB,sDAAsD,CACvD,CAAC;IACJ,KAAK,CAAC,UAAU,GAAG,YAAY,CAAC;AAClC,CAAC;AAED,SAAS,4BAA4B,CAAC,UAAsB;IAC1D,KAAK,MAAM,MAAM,IAAI,UAAU,CAAC,wBAAwB;QACtD,OAAO,CAAC,IAAI,CACV,KAAK,MAAM,oFAAoF,CAChG,CAAC;AACN,CAAC;AAED,SAAS,iCAAiC,CACxC,UAAsB,EACtB,MAA4D;IAE5D,IAAI,MAAM,IAAI,UAAU,CAAC,wBAAwB,CAAC,MAAM;QACtD,MAAM,IAAI,eAAe,CACvB,0EAA0E,CAC3E,CAAC;AACN,CAAC;AAMD,SAAS,yBAAyB,CAChC,cAAwB,EACxB,MAA4D;IAE5D,IAAI,CAAC,MAAM;QAAE,OAAO;IACpB,uBAAuB,CAAC,MAAM,CAAC,aAAa,EAAE,cAAc,CAAC,CAAC;IAC9D,uBAAuB,CACrB,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,EAC/C,cAAc,CACf,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,+BAA+B,CAC5C,UAAsB;IAEtB,MAAM,cAAc,GAAG;QACrB,UAAU;QACV,UAAU,CAAC,WAAW;QACtB,UAAU,CAAC,UAAU;QACrB,UAAU,CAAC,WAAW;QACtB,UAAU,CAAC,YAAY;QACvB,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC,OAAO,CACjC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,wBAAwB,CACxC;QACD,GAAG,CAAC,UAAU,CAAC,cAAc,EAAE,cAAc,IAAI,EAAE,CAAC;KACrD,CAAC;IACF,OAAO,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC,CAAC;AAC/D,CAAC;AAED,SAAS,iBAAiB,CAAC,kBAAsC;IAC/D,OAAO,MAAM,CAAC,MAAM,CAAC,kBAAkB,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAC/D,aAAa,CAAC,GAAG,CAAC,CACnB,CAAC;AACJ,CAAC","sourcesContent":["import { runnerRoot } from \"../runner-paths\";\nimport { fileURLToPath } from \"node:url\";\nimport { configurationRoot } from \"../hosts/codex-configuration\";\nimport {\n  InvocationError,\n  parseInvocation,\n  nativeRoutes,\n  type Invocation,\n} from \"./invocation\";\nimport {\n  loadRuntimeConfiguration,\n  runtimeNativeGoalEnabled,\n} from \"../runtime/config\";\nimport {\n  canonicalRuntimeRoot,\n  requireRuntimeReadRoots,\n} from \"../runtime/paths\";\nimport { loadCase, loadPreparationSources } from \"./loading\";\nimport { candidateHost, secondaryHost, selectedConcurrency } from \"./hosts\";\n\ntype PreparationSources = Awaited<ReturnType<typeof loadPreparationSources>>;\n\nfunction protectMappedSources(\n  invocation: Invocation,\n  preparationSources: PreparationSources,\n): void {\n  const sourceRoots = mappedSourceRoots(preparationSources);\n  for (const native of nativeRoutes(invocation)) {\n    native.additionalProtectedRoots = [\n      ...native.additionalProtectedRoots,\n      ...sourceRoots,\n    ];\n  }\n  invocation.shellIsolation?.protectedRoots.push(...sourceRoots);\n}\n\nexport async function prepareRunInvocation(argv: string[]) {\n  const invocation = await parseInvocation(argv);\n  warnDeprecatedRuntimeOptions(invocation);\n  const preparationSources = await loadPreparationSources(invocation);\n  protectMappedSources(invocation, preparationSources);\n  const protectedRoots = await invocationProtectedRuntimeRoots(invocation);\n  const runtimePolicy = await loadRuntimeConfiguration(\n    invocation.projectRoot,\n    invocation.runtimeConfigFile,\n    protectedRoots,\n  );\n  requireRuntimeOptionCompatibility(invocation, runtimePolicy);\n  selectRuntimeTransport(invocation, runtimePolicy);\n  const configRoot = await configurationRoot(invocation.configRoot);\n  validateInvocationRuntime(protectedRoots, runtimePolicy);\n  const agentConcurrencyLimit = await selectedConcurrency(\n    invocation,\n    configRoot,\n  );\n  const caseData = invocation.caseFile\n    ? await loadCase(invocation.caseFile)\n    : undefined;\n  const host = await candidateHost(invocation, agentConcurrencyLimit);\n  const semanticHost = await secondaryHost(\n    invocation.semanticAdapterModule,\n    invocation.semanticCodex,\n    agentConcurrencyLimit,\n  );\n  const advisoryHost = await secondaryHost(\n    invocation.advisoryAdapterModule,\n    invocation.advisoryCodex,\n    agentConcurrencyLimit,\n  );\n  return {\n    invocation,\n    runtimePolicy,\n    preparationSources,\n    caseData,\n    host,\n    semanticHost,\n    advisoryHost,\n    agentConcurrencyLimit,\n  };\n}\n\nfunction selectRuntimeTransport(\n  invocation: Invocation,\n  policy: Awaited<ReturnType<typeof loadRuntimeConfiguration>>,\n): void {\n  if (!runtimeNativeGoalEnabled(policy)) return;\n  if (invocation.codex) selectCodexGoalTransport(invocation.codex);\n}\n\nfunction selectCodexGoalTransport(\n  codex: NonNullable<Invocation[\"codex\"]>,\n): void {\n  if (codex.entrypoint === \"exec\")\n    throw new InvocationError(\n      \"native-goal runtime policy requires Codex app-server\",\n    );\n  codex.entrypoint = \"app-server\";\n}\n\nfunction warnDeprecatedRuntimeOptions(invocation: Invocation): void {\n  for (const option of invocation.deprecatedRuntimeOptions)\n    console.warn(\n      `--${option} is deprecated; declare the runtime in sevro.json or --runtime-config-file instead`,\n    );\n}\n\nfunction requireRuntimeOptionCompatibility(\n  invocation: Invocation,\n  policy: Awaited<ReturnType<typeof loadRuntimeConfiguration>>,\n): void {\n  if (policy && invocation.deprecatedRuntimeOptions.length)\n    throw new InvocationError(\n      \"runtime configuration cannot be combined with deprecated runtime options\",\n    );\n}\n\nexport type PreparedInvocation = Awaited<\n  ReturnType<typeof prepareRunInvocation>\n>;\n\nfunction validateInvocationRuntime(\n  protectedRoots: string[],\n  policy: Awaited<ReturnType<typeof loadRuntimeConfiguration>>,\n): void {\n  if (!policy) return;\n  requireRuntimeReadRoots(policy.readOnlyRoots, protectedRoots);\n  requireRuntimeReadRoots(\n    (policy.seeds ?? []).map((seed) => seed.source),\n    protectedRoots,\n  );\n}\n\nasync function invocationProtectedRuntimeRoots(\n  invocation: Invocation,\n): Promise<string[]> {\n  const protectedRoots = [\n    runnerRoot,\n    invocation.projectRoot,\n    invocation.configRoot,\n    invocation.resultsRoot,\n    invocation.runStateRoot,\n    ...nativeRoutes(invocation).flatMap(\n      (host) => host.additionalProtectedRoots,\n    ),\n    ...(invocation.shellIsolation?.protectedRoots ?? []),\n  ];\n  return Promise.all(protectedRoots.map(canonicalRuntimeRoot));\n}\n\nfunction mappedSourceRoots(preparationSources: PreparationSources): string[] {\n  return Object.values(preparationSources?.refs ?? {}).map((url) =>\n    fileURLToPath(url),\n  );\n}\n"]}

package/dist/src/cli/presentation.js

@@ -0,0 +1,61 @@
+import { EvaluationConfigurationError } from "../engine.js";
+import { InvocationError } from "./invocation.js";
+import { assertCliResult } from "../schema.js";
+import { displayMeasurements, displayTrialSummary } from "./summary.js";
+function failure(code, message) {
+    const result = {
+        format: "sevro.cli-result.v1",
+        runId: null,
+        execution: { status: "not_run" },
+        grading: { status: "not_requested" },
+        task: { verdict: "not_assessed" },
+        exitCode: code,
+        evidencePath: null,
+        cases: [],
+        diagnostic: {
+            code: code === 64 ? "sevro.invocation.invalid" : "sevro.runner.error",
+            message: message.slice(0, 4096),
+        },
+    };
+    assertCliResult(result);
+    return result;
+}
+export function display(result, json, completion) {
+    assertCliResult(result);
+    if (result.diagnostic)
+        process.stderr.write(`sevro: ${result.diagnostic.message}\n`);
+    if (json) {
+        process.stdout.write(`${JSON.stringify(result)}\n`);
+        return;
+    }
+    process.stdout.write(`execution=${result.execution.status} grading=${result.grading.status} task=${result.task.verdict}\n`);
+    displayTrialSummary(result);
+    displayDomainOutcomes(result.cases);
+    if (completion) {
+        displayMeasurements(completion.report);
+        process.stdout.write(`result=${completion.resultFile}\n`);
+    }
+    if (result.evidencePath)
+        process.stdout.write(`evidence=${result.evidencePath}\n`);
+}
+function displayDomainOutcomes(cases) {
+    for (const selected of cases)
+        for (const trial of selected.trials)
+            for (const outcome of trial.domainOutcomes ?? [])
+                process.stdout.write(`domain case=${selected.caseId} trial=${trial.trial} outcome=${outcome.id} status=${outcome.status}\n`);
+}
+export function runnerFailureCategory(error) {
+    return error instanceof EvaluationConfigurationError ||
+        error instanceof InvocationError
+        ? 64
+        : 70;
+}
+export function displayFailure(error, json, code, fallback, helpCommand = "run") {
+    display(failure(code, error instanceof Error ? error.message : fallback), json);
+    const help = helpCommand ? `sevro ${helpCommand} --help` : "sevro --help";
+    process.stderr.write(code === 64
+        ? `Correct the named option or input and retry. Run ${help} for examples and required options.\n`
+        : "Check the reported path and ensure --results-root and --run-state-root are writable directories, then retry.\n");
+    process.exitCode = code;
+}
+//# sourceMappingURL=presentation.js.map

package/dist/src/cli/presentation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"presentation.js","sourceRoot":"","sources":["presentation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,4BAA4B,EAAE,qBAAkB;AACzD,OAAO,EAAE,eAAe,EAAE,wBAAqB;AAC/C,OAAO,EAAE,eAAe,EAAE,qBAAkB;AAE5C,OAAO,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,qBAAkB;AAErE,SAAS,OAAO,CAAC,IAAa,EAAE,OAAe;IAC7C,MAAM,MAAM,GAAG;QACb,MAAM,EAAE,qBAAqB;QAC7B,KAAK,EAAE,IAAI;QACX,SAAS,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE;QAChC,OAAO,EAAE,EAAE,MAAM,EAAE,eAAe,EAAE;QACpC,IAAI,EAAE,EAAE,OAAO,EAAE,cAAc,EAAE;QACjC,QAAQ,EAAE,IAAI;QACd,YAAY,EAAE,IAAI;QAClB,KAAK,EAAE,EAAE;QACT,UAAU,EAAE;YACV,IAAI,EAAE,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC,CAAC,oBAAoB;YACrE,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC;SAChC;KACF,CAAC;IACF,eAAe,CAAC,MAAM,CAAC,CAAC;IACxB,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,OAAO,CACrB,MAAe,EACf,IAAa,EACb,UAAuD;IAEvD,eAAe,CAAC,MAAM,CAAC,CAAC;IACxB,IAAI,MAAM,CAAC,UAAU;QACnB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,MAAM,CAAC,UAAU,CAAC,OAAO,IAAI,CAAC,CAAC;IAChE,IAAI,IAAI,EAAE,CAAC;QACT,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACpD,OAAO;IACT,CAAC;IACD,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,aAAa,MAAM,CAAC,SAAS,CAAC,MAAM,YAAY,MAAM,CAAC,OAAO,CAAC,MAAM,SAAS,MAAM,CAAC,IAAI,CAAC,OAAO,IAAI,CACtG,CAAC;IACF,mBAAmB,CAAC,MAAM,CAAC,CAAC;IAC5B,qBAAqB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACpC,IAAI,UAAU,EAAE,CAAC;QACf,mBAAmB,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QACvC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,UAAU,CAAC,UAAU,IAAI,CAAC,CAAC;IAC5D,CAAC;IACD,IAAI,MAAM,CAAC,YAAY;QACrB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,MAAM,CAAC,YAAY,IAAI,CAAC,CAAC;AAC9D,CAAC;AAED,SAAS,qBAAqB,CAC5B,KAME;IAEF,KAAK,MAAM,QAAQ,IAAI,KAAK;QAC1B,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,MAAM;YACjC,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,cAAc,IAAI,EAAE;gBAC9C,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,eAAe,QAAQ,CAAC,MAAM,UAAU,KAAK,CAAC,KAAK,YAAY,OAAO,CAAC,EAAE,WAAW,OAAO,CAAC,MAAM,IAAI,CACvG,CAAC;AACV,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,KAAc;IAClD,OAAO,KAAK,YAAY,4BAA4B;QAClD,KAAK,YAAY,eAAe;QAChC,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,EAAE,CAAC;AACT,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,KAAc,EACd,IAAa,EACb,IAAa,EACb,QAAgB,EAChB,WAAW,GAAG,KAAK;IAEnB,OAAO,CACL,OAAO,CAAC,IAAI,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,EAChE,IAAI,CACL,CAAC;IACF,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,SAAS,WAAW,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC;IAC1E,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,IAAI,KAAK,EAAE;QACT,CAAC,CAAC,oDAAoD,IAAI,uCAAuC;QACjG,CAAC,CAAC,gHAAgH,CACrH,CAAC;IACF,OAAO,CAAC,QAAQ,GAAG,IAAI,CAAC;AAC1B,CAAC","sourcesContent":["import { EvaluationConfigurationError } from \"../engine\";\nimport { InvocationError } from \"./invocation\";\nimport { assertCliResult } from \"../schema\";\nimport type { ReportData } from \"../schema-types\";\nimport { displayMeasurements, displayTrialSummary } from \"./summary\";\n\nfunction failure(code: 64 | 70, message: string) {\n  const result = {\n    format: \"sevro.cli-result.v1\",\n    runId: null,\n    execution: { status: \"not_run\" },\n    grading: { status: \"not_requested\" },\n    task: { verdict: \"not_assessed\" },\n    exitCode: code,\n    evidencePath: null,\n    cases: [],\n    diagnostic: {\n      code: code === 64 ? \"sevro.invocation.invalid\" : \"sevro.runner.error\",\n      message: message.slice(0, 4096),\n    },\n  };\n  assertCliResult(result);\n  return result;\n}\n\nexport function display(\n  result: unknown,\n  json: boolean,\n  completion?: { resultFile: string; report: ReportData },\n): void {\n  assertCliResult(result);\n  if (result.diagnostic)\n    process.stderr.write(`sevro: ${result.diagnostic.message}\\n`);\n  if (json) {\n    process.stdout.write(`${JSON.stringify(result)}\\n`);\n    return;\n  }\n  process.stdout.write(\n    `execution=${result.execution.status} grading=${result.grading.status} task=${result.task.verdict}\\n`,\n  );\n  displayTrialSummary(result);\n  displayDomainOutcomes(result.cases);\n  if (completion) {\n    displayMeasurements(completion.report);\n    process.stdout.write(`result=${completion.resultFile}\\n`);\n  }\n  if (result.evidencePath)\n    process.stdout.write(`evidence=${result.evidencePath}\\n`);\n}\n\nfunction displayDomainOutcomes(\n  cases: Array<{\n    caseId: string;\n    trials: Array<{\n      trial: number;\n      domainOutcomes?: Array<{ id: string; status: string }>;\n    }>;\n  }>,\n): void {\n  for (const selected of cases)\n    for (const trial of selected.trials)\n      for (const outcome of trial.domainOutcomes ?? [])\n        process.stdout.write(\n          `domain case=${selected.caseId} trial=${trial.trial} outcome=${outcome.id} status=${outcome.status}\\n`,\n        );\n}\n\nexport function runnerFailureCategory(error: unknown): 64 | 70 {\n  return error instanceof EvaluationConfigurationError ||\n    error instanceof InvocationError\n    ? 64\n    : 70;\n}\n\nexport function displayFailure(\n  error: unknown,\n  json: boolean,\n  code: 64 | 70,\n  fallback: string,\n  helpCommand = \"run\",\n): void {\n  display(\n    failure(code, error instanceof Error ? error.message : fallback),\n    json,\n  );\n  const help = helpCommand ? `sevro ${helpCommand} --help` : \"sevro --help\";\n  process.stderr.write(\n    code === 64\n      ? `Correct the named option or input and retry. Run ${help} for examples and required options.\\n`\n      : \"Check the reported path and ensure --results-root and --run-state-root are writable directories, then retry.\\n\",\n  );\n  process.exitCode = code;\n}\n"]}

package/dist/src/cli/progress.js

@@ -0,0 +1,5 @@
+export function displayProgress(event) {
+    const trial = event.trial === undefined ? "" : ` trial=${event.trial}`;
+    process.stderr.write(`sevro: ${event.stage} ${event.status}${trial}\n`);
+}
+//# sourceMappingURL=progress.js.map

package/dist/src/cli/progress.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"progress.js","sourceRoot":"","sources":["progress.ts"],"names":[],"mappings":"AAEA,MAAM,UAAU,eAAe,CAAC,KAAyB;IACvD,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,CAAC,KAAK,EAAE,CAAC;IACvE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,GAAG,KAAK,IAAI,CAAC,CAAC;AAC1E,CAAC","sourcesContent":["import type { EvaluationProgress } from \"../evaluation/types\";\n\nexport function displayProgress(event: EvaluationProgress): void {\n  const trial = event.trial === undefined ? \"\" : ` trial=${event.trial}`;\n  process.stderr.write(`sevro: ${event.stage} ${event.status}${trial}\\n`);\n}\n"]}

package/dist/src/cli/run-manifest.js

@@ -0,0 +1,108 @@
+import { lstat, readFile, realpath } from "node:fs/promises";
+import { dirname, resolve } from "node:path";
+import { isRecord, isStringArray } from "../value-guards.js";
+import { CLI_ONLY, LIST_OPTIONS, NUMBER_OPTIONS, PATH_OPTIONS, PATH_LIST_OPTIONS, RUN_OPTIONS, } from "./run-options.js";
+import { overrideRunSelections } from "./run-overrides.js";
+const FILE_LIMIT = 64 * 1024;
+function fieldError(field, requirement) {
+    throw new Error(`run manifest ${field}: ${requirement}`);
+}
+function manifestSettings(value) {
+    if (!isRecord(value))
+        fieldError("$", "expected an object");
+    validateManifestFields(value);
+    if (value.format !== "sevro.run.v1")
+        fieldError("format", 'expected "sevro.run.v1"');
+    if (!isRecord(value.settings))
+        fieldError("settings", "expected an object of run options");
+    return value.settings;
+}
+function validateManifestFields(value) {
+    for (const key of Object.keys(value))
+        if (!["format", "settings"].includes(key))
+            fieldError(key, "unknown field; use format and settings");
+}
+function finiteNumber(value) {
+    return typeof value === "number" && Number.isFinite(value);
+}
+function nonemptyString(value) {
+    return typeof value === "string" && Boolean(value.trim());
+}
+function nonemptyStringList(value) {
+    return isStringArray(value) && value.every(nonemptyString);
+}
+function validateSetting(name, value) {
+    if (!Object.hasOwn(RUN_OPTIONS, name) || CLI_ONLY.has(name))
+        fieldError(`settings.${name}`, "unknown saved option; see sevro run --help");
+    if (NUMBER_OPTIONS.has(name)) {
+        if (!finiteNumber(value))
+            fieldError(`settings.${name}`, "expected a finite number");
+        return;
+    }
+    validateOrdinarySetting(name, value);
+}
+function validateOrdinarySetting(name, value) {
+    if (LIST_OPTIONS.has(name)) {
+        if (!nonemptyStringList(value))
+            fieldError(`settings.${name}`, "expected an array of nonempty strings");
+        return;
+    }
+    const option = RUN_OPTIONS[name];
+    validateScalar(name, value, option.type);
+}
+function validateScalar(name, value, type) {
+    if (type === "boolean") {
+        if (typeof value !== "boolean")
+            fieldError(`settings.${name}`, "expected a boolean");
+    }
+    else if (!nonemptyString(value))
+        fieldError(`settings.${name}`, "expected a nonempty string");
+}
+function resolvedSetting(name, value, base) {
+    const pathOption = PATH_OPTIONS.includes(name);
+    if (pathOption)
+        return resolve(base, value);
+    if (PATH_LIST_OPTIONS.includes(name))
+        return value.map((path) => resolve(base, path));
+    return NUMBER_OPTIONS.has(name) ? String(value) : value;
+}
+async function readManifest(path) {
+    const stat = await lstat(path);
+    if (!stat.isFile() || stat.size > FILE_LIMIT)
+        fieldError("$", "use a regular, non-symlink JSON file of at most 64 KiB");
+    const source = await readFile(path, "utf8");
+    let value;
+    try {
+        value = JSON.parse(source);
+    }
+    catch (cause) {
+        throw new Error("run manifest $: invalid JSON; check the JSON syntax", {
+            cause,
+        });
+    }
+    const settings = manifestSettings(value);
+    const base = dirname(await realpath(path));
+    const resolved = {};
+    for (const [name, setting] of Object.entries(settings)) {
+        validateSetting(name, setting);
+        resolved[name] = resolvedSetting(name, setting, base);
+    }
+    return resolved;
+}
+/** Explicit flags replace saved selections and lists; defaults are applied later. */
+export async function savedRunValues(explicit) {
+    const file = explicit["run-manifest-file"];
+    if (!file)
+        return explicit;
+    const path = resolve(file);
+    try {
+        const saved = await readManifest(path);
+        overrideRunSelections(saved, explicit);
+        return { ...saved, ...explicit };
+    }
+    catch (cause) {
+        const detail = cause instanceof Error ? cause.message : "cannot read file";
+        throw new Error(`--run-manifest-file ${path}: ${detail}; correct the named field or select a readable manifest`, { cause });
+    }
+}
+//# sourceMappingURL=run-manifest.js.map

package/dist/src/cli/run-manifest.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-manifest.js","sourceRoot":"","sources":["run-manifest.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,yBAAyB;AAC7D,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,kBAAkB;AAC7C,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,2BAAwB;AAC1D,OAAO,EACL,QAAQ,EACR,YAAY,EACZ,cAAc,EACd,YAAY,EACZ,iBAAiB,EACjB,WAAW,GAEZ,yBAAsB;AACvB,OAAO,EAAE,qBAAqB,EAAE,2BAAwB;AAExD,MAAM,UAAU,GAAG,EAAE,GAAG,IAAI,CAAC;AAE7B,SAAS,UAAU,CAAC,KAAa,EAAE,WAAmB;IACpD,MAAM,IAAI,KAAK,CAAC,gBAAgB,KAAK,KAAK,WAAW,EAAE,CAAC,CAAC;AAC3D,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAc;IACtC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,UAAU,CAAC,GAAG,EAAE,oBAAoB,CAAC,CAAC;IAC5D,sBAAsB,CAAC,KAAK,CAAC,CAAC;IAC9B,IAAI,KAAK,CAAC,MAAM,KAAK,cAAc;QACjC,UAAU,CAAC,QAAQ,EAAE,yBAAyB,CAAC,CAAC;IAClD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC;QAC3B,UAAU,CAAC,UAAU,EAAE,mCAAmC,CAAC,CAAC;IAC9D,OAAO,KAAK,CAAC,QAAQ,CAAC;AACxB,CAAC;AAED,SAAS,sBAAsB,CAAC,KAA8B;IAC5D,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;QAClC,IAAI,CAAC,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC;YACvC,UAAU,CAAC,GAAG,EAAE,wCAAwC,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AAC7D,CAAC;AAED,SAAS,cAAc,CAAC,KAAc;IACpC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;AAC5D,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAc;IACxC,OAAO,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;AAC7D,CAAC;AAED,SAAS,eAAe,CAAC,IAAY,EAAE,KAAc;IACnD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;QACzD,UAAU,CACR,YAAY,IAAI,EAAE,EAClB,4CAA4C,CAC7C,CAAC;IACJ,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC;YACtB,UAAU,CAAC,YAAY,IAAI,EAAE,EAAE,0BAA0B,CAAC,CAAC;QAC7D,OAAO;IACT,CAAC;IACD,uBAAuB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AACvC,CAAC;AAED,SAAS,uBAAuB,CAAC,IAAY,EAAE,KAAc;IAC3D,IAAI,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3B,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC;YAC5B,UAAU,CAAC,YAAY,IAAI,EAAE,EAAE,uCAAuC,CAAC,CAAC;QAC1E,OAAO;IACT,CAAC;IACD,MAAM,MAAM,GAAG,WAAW,CAAC,IAAgC,CAAC,CAAC;IAC7D,cAAc,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;AAC3C,CAAC;AAED,SAAS,cAAc,CAAC,IAAY,EAAE,KAAc,EAAE,IAAY;IAChE,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,IAAI,OAAO,KAAK,KAAK,SAAS;YAC5B,UAAU,CAAC,YAAY,IAAI,EAAE,EAAE,oBAAoB,CAAC,CAAC;IACzD,CAAC;SAAM,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC;QAC/B,UAAU,CAAC,YAAY,IAAI,EAAE,EAAE,4BAA4B,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,eAAe,CAAC,IAAY,EAAE,KAAc,EAAE,IAAY;IACjE,MAAM,UAAU,GAAI,YAAkC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACtE,IAAI,UAAU;QAAE,OAAO,OAAO,CAAC,IAAI,EAAE,KAAe,CAAC,CAAC;IACtD,IAAK,iBAAuC,CAAC,QAAQ,CAAC,IAAI,CAAC;QACzD,OAAQ,KAAkB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IAChE,OAAO,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AAC1D,CAAC;AAED,KAAK,UAAU,YAAY,CAAC,IAAY;IACtC,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC;IAC/B,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,IAAI,CAAC,IAAI,GAAG,UAAU;QAC1C,UAAU,CAAC,GAAG,EAAE,wDAAwD,CAAC,CAAC;IAC5E,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC5C,IAAI,KAAc,CAAC;IACnB,IAAI,CAAC;QACH,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC7B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CAAC,qDAAqD,EAAE;YACrE,KAAK;SACN,CAAC,CAAC;IACL,CAAC;IACD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;IACzC,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3C,MAAM,QAAQ,GAA4B,EAAE,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvD,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC/B,QAAQ,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;IACxD,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,qFAAqF;AACrF,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,QAAmB;IACtD,MAAM,IAAI,GAAG,QAAQ,CAAC,mBAAmB,CAAC,CAAC;IAC3C,IAAI,CAAC,IAAI;QAAE,OAAO,QAAQ,CAAC;IAC3B,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC3B,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,MAAM,YAAY,CAAC,IAAI,CAAC,CAAC;QACvC,qBAAqB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QACvC,OAAO,EAAE,GAAG,KAAK,EAAE,GAAG,QAAQ,EAAE,CAAC;IACnC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,MAAM,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,kBAAkB,CAAC;QAC3E,MAAM,IAAI,KAAK,CACb,uBAAuB,IAAI,KAAK,MAAM,yDAAyD,EAC/F,EAAE,KAAK,EAAE,CACV,CAAC;IACJ,CAAC;AACH,CAAC","sourcesContent":["import { lstat, readFile, realpath } from \"node:fs/promises\";\nimport { dirname, resolve } from \"node:path\";\nimport { isRecord, isStringArray } from \"../value-guards\";\nimport {\n  CLI_ONLY,\n  LIST_OPTIONS,\n  NUMBER_OPTIONS,\n  PATH_OPTIONS,\n  PATH_LIST_OPTIONS,\n  RUN_OPTIONS,\n  type RunValues,\n} from \"./run-options\";\nimport { overrideRunSelections } from \"./run-overrides\";\n\nconst FILE_LIMIT = 64 * 1024;\n\nfunction fieldError(field: string, requirement: string): never {\n  throw new Error(`run manifest ${field}: ${requirement}`);\n}\n\nfunction manifestSettings(value: unknown): Record<string, unknown> {\n  if (!isRecord(value)) fieldError(\"$\", \"expected an object\");\n  validateManifestFields(value);\n  if (value.format !== \"sevro.run.v1\")\n    fieldError(\"format\", 'expected \"sevro.run.v1\"');\n  if (!isRecord(value.settings))\n    fieldError(\"settings\", \"expected an object of run options\");\n  return value.settings;\n}\n\nfunction validateManifestFields(value: Record<string, unknown>): void {\n  for (const key of Object.keys(value))\n    if (![\"format\", \"settings\"].includes(key))\n      fieldError(key, \"unknown field; use format and settings\");\n}\n\nfunction finiteNumber(value: unknown): boolean {\n  return typeof value === \"number\" && Number.isFinite(value);\n}\n\nfunction nonemptyString(value: unknown): boolean {\n  return typeof value === \"string\" && Boolean(value.trim());\n}\n\nfunction nonemptyStringList(value: unknown): boolean {\n  return isStringArray(value) && value.every(nonemptyString);\n}\n\nfunction validateSetting(name: string, value: unknown): void {\n  if (!Object.hasOwn(RUN_OPTIONS, name) || CLI_ONLY.has(name))\n    fieldError(\n      `settings.${name}`,\n      \"unknown saved option; see sevro run --help\",\n    );\n  if (NUMBER_OPTIONS.has(name)) {\n    if (!finiteNumber(value))\n      fieldError(`settings.${name}`, \"expected a finite number\");\n    return;\n  }\n  validateOrdinarySetting(name, value);\n}\n\nfunction validateOrdinarySetting(name: string, value: unknown): void {\n  if (LIST_OPTIONS.has(name)) {\n    if (!nonemptyStringList(value))\n      fieldError(`settings.${name}`, \"expected an array of nonempty strings\");\n    return;\n  }\n  const option = RUN_OPTIONS[name as keyof typeof RUN_OPTIONS];\n  validateScalar(name, value, option.type);\n}\n\nfunction validateScalar(name: string, value: unknown, type: string): void {\n  if (type === \"boolean\") {\n    if (typeof value !== \"boolean\")\n      fieldError(`settings.${name}`, \"expected a boolean\");\n  } else if (!nonemptyString(value))\n    fieldError(`settings.${name}`, \"expected a nonempty string\");\n}\n\nfunction resolvedSetting(name: string, value: unknown, base: string) {\n  const pathOption = (PATH_OPTIONS as readonly string[]).includes(name);\n  if (pathOption) return resolve(base, value as string);\n  if ((PATH_LIST_OPTIONS as readonly string[]).includes(name))\n    return (value as string[]).map((path) => resolve(base, path));\n  return NUMBER_OPTIONS.has(name) ? String(value) : value;\n}\n\nasync function readManifest(path: string): Promise<RunValues> {\n  const stat = await lstat(path);\n  if (!stat.isFile() || stat.size > FILE_LIMIT)\n    fieldError(\"$\", \"use a regular, non-symlink JSON file of at most 64 KiB\");\n  const source = await readFile(path, \"utf8\");\n  let value: unknown;\n  try {\n    value = JSON.parse(source);\n  } catch (cause) {\n    throw new Error(\"run manifest $: invalid JSON; check the JSON syntax\", {\n      cause,\n    });\n  }\n  const settings = manifestSettings(value);\n  const base = dirname(await realpath(path));\n  const resolved: Record<string, unknown> = {};\n  for (const [name, setting] of Object.entries(settings)) {\n    validateSetting(name, setting);\n    resolved[name] = resolvedSetting(name, setting, base);\n  }\n  return resolved;\n}\n\n/** Explicit flags replace saved selections and lists; defaults are applied later. */\nexport async function savedRunValues(explicit: RunValues): Promise<RunValues> {\n  const file = explicit[\"run-manifest-file\"];\n  if (!file) return explicit;\n  const path = resolve(file);\n  try {\n    const saved = await readManifest(path);\n    overrideRunSelections(saved, explicit);\n    return { ...saved, ...explicit };\n  } catch (cause) {\n    const detail = cause instanceof Error ? cause.message : \"cannot read file\";\n    throw new Error(\n      `--run-manifest-file ${path}: ${detail}; correct the named field or select a readable manifest`,\n      { cause },\n    );\n  }\n}\n"]}