agentskeptic 0.1.5 → 0.1.7

package/dist/bootstrap/runBootstrapSubcommand.js

@@ -0,0 +1,263 @@
+import { existsSync, mkdirSync, readFileSync, rmSync } from "node:fs";
+import path from "node:path";
+import { runLicensePreflightIfNeeded } from "../commercial/licensePreflight.js";
+import { CLI_OPERATIONAL_CODES } from "../cliOperationalCodes.js";
+import { cliErrorEnvelope, formatOperationalMessage, } from "../failureCatalog.js";
+import { verifyWorkflow } from "../pipeline.js";
+import { loadSchemaValidator } from "../schemaLoad.js";
+import { TruthLayerError } from "../truthLayerError.js";
+import { formatDistributionFooter } from "../distributionFooter.js";
+import { atomicWriteUtf8File } from "../quickVerify/atomicWrite.js";
+import { buildQuickContractEventsNdjson } from "../quickVerify/buildQuickContractEventsNdjson.js";
+import { stableStringify } from "../quickVerify/canonicalJson.js";
+import { runQuickVerifyToValidatedReport } from "../quickVerify/runQuickVerify.js";
+import { emitVerifyWorkflowCliJsonAndExitByStatus } from "../standardVerifyWorkflowCli.js";
+import { buildBootstrapReadmeMarkdown } from "./bootstrapReadmeTemplate.js";
+import { parseBootstrapPackInputJson } from "./parseBootstrapPackInput.js";
+import { synthesizeQuickInputUtf8FromOpenAiV1 } from "./synthesizeQuickInputFromOpenAiV1.js";
+import { argValue } from "../cliArgv.js";
+const ALLOWED_BOOTSTRAP_FLAGS = new Set([
+    "--input",
+    "--out",
+    "--db",
+    "--postgres-url",
+    "--help",
+    "-h",
+]);
+function usageBootstrap() {
+    return `Usage:
+  agentskeptic bootstrap --input <path> (--db <sqlitePath> | --postgres-url <url>) --out <path>
+
+Builds a contract pack (events.ndjson, tools.json, quick-report.json, README.bootstrap.md) from
+BootstrapPackInput v1 JSON + read-only SQL, then replays contract verify in-process.
+
+Exit codes:
+  0  Quick pass with exports and contract verify complete (stdout: bootstrap result envelope; stderr empty)
+  1  contract verify inconsistent (stdout/stderr: same as agentskeptic verify)
+  2  Quick not pass / no exports / contract verify incomplete (stderr: JSON envelope for quick-path; else same as verify)
+  3  operational failure (stderr: JSON envelope)
+
+  --help, -h  print this message and exit 0
+
+Normative: docs/bootstrap-pack-normative.md`;
+}
+function assertBootstrapArgsWellFormed(args) {
+    for (let i = 0; i < args.length; i++) {
+        const a = args[i];
+        if (a === "-h" || a === "--help")
+            continue;
+        if (!a.startsWith("--")) {
+            throw new TruthLayerError(CLI_OPERATIONAL_CODES.BOOTSTRAP_USAGE, `Unexpected argument: ${a}`);
+        }
+        if (!ALLOWED_BOOTSTRAP_FLAGS.has(a)) {
+            throw new TruthLayerError(CLI_OPERATIONAL_CODES.BOOTSTRAP_USAGE, `Unknown option: ${a}`);
+        }
+        if (a === "--input" || a === "--out" || a === "--db" || a === "--postgres-url") {
+            const v = args[i + 1];
+            if (v === undefined || v.startsWith("--")) {
+                throw new TruthLayerError(CLI_OPERATIONAL_CODES.BOOTSTRAP_USAGE, `Missing value after ${a}.`);
+            }
+            i++;
+        }
+    }
+}
+export function parseBootstrapCliArgs(args) {
+    assertBootstrapArgsWellFormed(args);
+    const inputPath = argValue(args, "--input");
+    const outPath = argValue(args, "--out");
+    const dbPath = argValue(args, "--db");
+    const postgresUrl = argValue(args, "--postgres-url");
+    if (!inputPath || !outPath) {
+        throw new TruthLayerError(CLI_OPERATIONAL_CODES.BOOTSTRAP_USAGE, "Missing --input or --out.");
+    }
+    const dbCount = (dbPath ? 1 : 0) + (postgresUrl ? 1 : 0);
+    if (dbCount !== 1) {
+        throw new TruthLayerError(CLI_OPERATIONAL_CODES.BOOTSTRAP_USAGE, "Provide exactly one of --db or --postgres-url.");
+    }
+    return { inputPath, outPath, dbPath, postgresUrl };
+}
+function writeBootstrapCliError(code, message) {
+    console.error(cliErrorEnvelope(code, formatOperationalMessage(message)));
+}
+function cleanupOutDir(outResolved) {
+    try {
+        rmSync(outResolved, { recursive: true, force: true });
+    }
+    catch {
+        /* best-effort */
+    }
+}
+export async function runBootstrapSubcommand(args) {
+    if (args.includes("--help") || args.includes("-h")) {
+        console.log(usageBootstrap());
+        process.exit(0);
+    }
+    let parsed;
+    try {
+        parsed = parseBootstrapCliArgs(args);
+    }
+    catch (e) {
+        if (e instanceof TruthLayerError) {
+            writeBootstrapCliError(e.code, e.message);
+            process.exit(3);
+        }
+        throw e;
+    }
+    const outResolved = path.resolve(parsed.outPath);
+    if (existsSync(outResolved)) {
+        writeBootstrapCliError(CLI_OPERATIONAL_CODES.BOOTSTRAP_OUT_EXISTS, `--out already exists: ${outResolved}`);
+        process.exit(3);
+    }
+    let rawInput;
+    try {
+        rawInput = readFileSync(path.resolve(parsed.inputPath), "utf8");
+    }
+    catch (e) {
+        const msg = e instanceof Error ? e.message : String(e);
+        writeBootstrapCliError(CLI_OPERATIONAL_CODES.BOOTSTRAP_USAGE, `Cannot read --input: ${msg}`);
+        process.exit(3);
+    }
+    let packInput;
+    try {
+        packInput = parseBootstrapPackInputJson(rawInput);
+    }
+    catch (e) {
+        if (e instanceof TruthLayerError) {
+            writeBootstrapCliError(e.code, e.message);
+            process.exit(3);
+        }
+        throw e;
+    }
+    try {
+        await runLicensePreflightIfNeeded("verify");
+    }
+    catch (e) {
+        if (e instanceof TruthLayerError) {
+            writeBootstrapCliError(e.code, e.message);
+            process.exit(3);
+        }
+        const msg = e instanceof Error ? e.message : String(e);
+        writeBootstrapCliError(CLI_OPERATIONAL_CODES.INTERNAL_ERROR, formatOperationalMessage(msg));
+        process.exit(3);
+    }
+    mkdirSync(outResolved, { recursive: false });
+    const database = parsed.postgresUrl
+        ? { kind: "postgres", connectionString: parsed.postgresUrl }
+        : { kind: "sqlite", path: path.resolve(parsed.dbPath) };
+    const inputUtf8 = synthesizeQuickInputUtf8FromOpenAiV1(packInput);
+    let report;
+    let registryUtf8;
+    let contractExports;
+    try {
+        const out = await runQuickVerifyToValidatedReport({
+            inputUtf8,
+            postgresUrl: parsed.postgresUrl ?? undefined,
+            sqlitePath: parsed.dbPath !== undefined ? path.resolve(parsed.dbPath) : undefined,
+        });
+        report = out.report;
+        registryUtf8 = out.registryUtf8;
+        contractExports = out.contractExports;
+    }
+    catch (e) {
+        cleanupOutDir(outResolved);
+        if (e instanceof TruthLayerError) {
+            writeBootstrapCliError(e.code, e.message);
+            process.exit(3);
+        }
+        const msg = e instanceof Error ? e.message : String(e);
+        writeBootstrapCliError(CLI_OPERATIONAL_CODES.INTERNAL_ERROR, formatOperationalMessage(msg));
+        process.exit(3);
+    }
+    if (report.verdict !== "pass") {
+        cleanupOutDir(outResolved);
+        writeBootstrapCliError(CLI_OPERATIONAL_CODES.BOOTSTRAP_QUICK_NOT_PASS, `Quick Verify verdict was "${report.verdict}" (expected pass).`);
+        process.exit(2);
+    }
+    if (contractExports.length === 0) {
+        cleanupOutDir(outResolved);
+        writeBootstrapCliError(CLI_OPERATIONAL_CODES.BOOTSTRAP_NO_EXPORTABLE_TOOLS, "Quick Verify produced zero exportable tools for contract replay.");
+        process.exit(2);
+    }
+    const eventsPath = path.join(outResolved, "events.ndjson");
+    const toolsPath = path.join(outResolved, "tools.json");
+    const quickReportPath = path.join(outResolved, "quick-report.json");
+    const readmePath = path.join(outResolved, "README.bootstrap.md");
+    try {
+        atomicWriteUtf8File(toolsPath, registryUtf8);
+        atomicWriteUtf8File(eventsPath, buildQuickContractEventsNdjson({
+            workflowId: packInput.workflowId,
+            exports: contractExports,
+        }));
+        atomicWriteUtf8File(quickReportPath, `${stableStringify(report)}\n`);
+        atomicWriteUtf8File(readmePath, buildBootstrapReadmeMarkdown(packInput.workflowId));
+    }
+    catch (e) {
+        cleanupOutDir(outResolved);
+        const msg = e instanceof Error ? e.message : String(e);
+        writeBootstrapCliError(CLI_OPERATIONAL_CODES.INTERNAL_ERROR, formatOperationalMessage(`pack write: ${msg}`));
+        process.exit(3);
+    }
+    let truthBuffered = "";
+    let result;
+    try {
+        result = await verifyWorkflow({
+            workflowId: packInput.workflowId,
+            eventsPath,
+            registryPath: toolsPath,
+            database,
+            truthReport: (r) => {
+                truthBuffered = r;
+            },
+        });
+    }
+    catch (e) {
+        cleanupOutDir(outResolved);
+        if (e instanceof TruthLayerError) {
+            writeBootstrapCliError(e.code, e.message);
+            process.exit(3);
+        }
+        const msg = e instanceof Error ? e.message : String(e);
+        writeBootstrapCliError(CLI_OPERATIONAL_CODES.INTERNAL_ERROR, formatOperationalMessage(msg));
+        process.exit(3);
+    }
+    const validateResult = loadSchemaValidator("workflow-result");
+    if (!validateResult(result)) {
+        cleanupOutDir(outResolved);
+        writeBootstrapCliError(CLI_OPERATIONAL_CODES.WORKFLOW_RESULT_SCHEMA_INVALID, JSON.stringify(validateResult.errors ?? []));
+        process.exit(3);
+    }
+    if (result.status === "complete") {
+        const envelope = {
+            schemaVersion: 1,
+            kind: "agentskeptic_bootstrap_result",
+            workflowId: packInput.workflowId,
+            outDir: outResolved,
+            quickVerdict: "pass",
+            verifyStatus: "complete",
+            exportedToolCount: contractExports.length,
+        };
+        try {
+            process.stdout.write(`${JSON.stringify(envelope)}\n`);
+        }
+        catch (e) {
+            cleanupOutDir(outResolved);
+            const msg = e instanceof Error ? e.message : String(e);
+            writeBootstrapCliError(CLI_OPERATIONAL_CODES.INTERNAL_ERROR, formatOperationalMessage(`stdout: ${msg}`));
+            process.exit(3);
+        }
+        process.exit(0);
+    }
+    process.stderr.write(`${truthBuffered}\n`);
+    process.stderr.write(formatDistributionFooter());
+    const exitWithCleanup = (code) => {
+        cleanupOutDir(outResolved);
+        process.exit(code);
+    };
+    emitVerifyWorkflowCliJsonAndExitByStatus(result, {
+        consoleLog: (line) => {
+            console.log(line);
+        },
+        exit: exitWithCleanup,
+    });
+}
+//# sourceMappingURL=runBootstrapSubcommand.js.map

package/dist/bootstrap/runBootstrapSubcommand.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runBootstrapSubcommand.js","sourceRoot":"","sources":["../../src/bootstrap/runBootstrapSubcommand.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACtE,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,2BAA2B,EAAE,MAAM,mCAAmC,CAAC;AAChF,OAAO,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AAClE,OAAO,EACL,gBAAgB,EAChB,wBAAwB,GACzB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAGxD,OAAO,EAAE,wBAAwB,EAAE,MAAM,0BAA0B,CAAC;AACpE,OAAO,EAAE,mBAAmB,EAAE,MAAM,+BAA+B,CAAC;AACpE,OAAO,EAAE,8BAA8B,EAAE,MAAM,kDAAkD,CAAC;AAClG,OAAO,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAClE,OAAO,EAAE,+BAA+B,EAAE,MAAM,kCAAkC,CAAC;AACnF,OAAO,EAAE,wCAAwC,EAAE,MAAM,iCAAiC,CAAC;AAC3F,OAAO,EAAE,4BAA4B,EAAE,MAAM,8BAA8B,CAAC;AAC5E,OAAO,EAAE,2BAA2B,EAAE,MAAM,8BAA8B,CAAC;AAC3E,OAAO,EAAE,oCAAoC,EAAE,MAAM,uCAAuC,CAAC;AAC7F,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAEzC,MAAM,uBAAuB,GAAG,IAAI,GAAG,CAAC;IACtC,SAAS;IACT,OAAO;IACP,MAAM;IACN,gBAAgB;IAChB,QAAQ;IACR,IAAI;CACL,CAAC,CAAC;AAEH,SAAS,cAAc;IACrB,OAAO;;;;;;;;;;;;;;4CAcmC,CAAC;AAC7C,CAAC;AAED,SAAS,6BAA6B,CAAC,IAAc;IACnD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;QACnB,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,QAAQ;YAAE,SAAS;QAC3C,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,eAAe,CAAC,qBAAqB,CAAC,eAAe,EAAE,wBAAwB,CAAC,EAAE,CAAC,CAAC;QAChG,CAAC;QACD,IAAI,CAAC,uBAAuB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACpC,MAAM,IAAI,eAAe,CAAC,qBAAqB,CAAC,eAAe,EAAE,mBAAmB,CAAC,EAAE,CAAC,CAAC;QAC3F,CAAC;QACD,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,OAAO,IAAI,CAAC,KAAK,MAAM,IAAI,CAAC,KAAK,gBAAgB,EAAE,CAAC;YAC/E,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACtB,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC1C,MAAM,IAAI,eAAe,CAAC,qBAAqB,CAAC,eAAe,EAAE,uBAAuB,CAAC,GAAG,CAAC,CAAC;YAChG,CAAC;YACD,CAAC,EAAE,CAAC;QACN,CAAC;IACH,CAAC;AACH,CAAC;AASD,MAAM,UAAU,qBAAqB,CAAC,IAAc;IAClD,6BAA6B,CAAC,IAAI,CAAC,CAAC;IACpC,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAC5C,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACxC,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACtC,MAAM,WAAW,GAAG,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;IACrD,IAAI,CAAC,SAAS,IAAI,CAAC,OAAO,EAAE,CAAC;QAC3B,MAAM,IAAI,eAAe,CAAC,qBAAqB,CAAC,eAAe,EAAE,2BAA2B,CAAC,CAAC;IAChG,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzD,IAAI,OAAO,KAAK,CAAC,EAAE,CAAC;QAClB,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,eAAe,EACrC,gDAAgD,CACjD,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;AACrD,CAAC;AAED,SAAS,sBAAsB,CAAC,IAAY,EAAE,OAAe;IAC3D,OAAO,CAAC,KAAK,CAAC,gBAAgB,CAAC,IAAI,EAAE,wBAAwB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAC3E,CAAC;AAED,SAAS,aAAa,CAAC,WAAmB;IACxC,IAAI,CAAC;QACH,MAAM,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACxD,CAAC;IAAC,MAAM,CAAC;QACP,iBAAiB;IACnB,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAAC,IAAc;IACzD,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACnD,OAAO,CAAC,GAAG,CAAC,cAAc,EAAE,CAAC,CAAC;QAC9B,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,IAAI,MAA0B,CAAC;IAC/B,IAAI,CAAC;QACH,MAAM,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,eAAe,EAAE,CAAC;YACjC,sBAAsB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;YAC1C,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;QACD,MAAM,CAAC,CAAC;IACV,CAAC;IAED,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACjD,IAAI,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;QAC5B,sBAAsB,CACpB,qBAAqB,CAAC,oBAAoB,EAC1C,yBAAyB,WAAW,EAAE,CACvC,CAAC;QACF,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,IAAI,QAAgB,CAAC;IACrB,IAAI,CAAC;QACH,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,CAAC;IAClE,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,sBAAsB,CAAC,qBAAqB,CAAC,eAAe,EAAE,wBAAwB,GAAG,EAAE,CAAC,CAAC;QAC7F,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,IAAI,SAAyD,CAAC;IAC9D,IAAI,CAAC;QACH,SAAS,GAAG,2BAA2B,CAAC,QAAQ,CAAC,CAAC;IACpD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,eAAe,EAAE,CAAC;YACjC,sBAAsB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;YAC1C,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;QACD,MAAM,CAAC,CAAC;IACV,CAAC;IAED,IAAI,CAAC;QACH,MAAM,2BAA2B,CAAC,QAAQ,CAAC,CAAC;IAC9C,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,eAAe,EAAE,CAAC;YACjC,sBAAsB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;YAC1C,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;QACD,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,sBAAsB,CAAC,qBAAqB,CAAC,cAAc,EAAE,wBAAwB,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5F,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,SAAS,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;IAE7C,MAAM,QAAQ,GAAyB,MAAM,CAAC,WAAW;QACvD,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,CAAC,WAAW,EAAE;QAC5D,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,MAAO,CAAC,EAAE,CAAC;IAE3D,MAAM,SAAS,GAAG,oCAAoC,CAAC,SAAS,CAAC,CAAC;IAElE,IAAI,MAA6E,CAAC;IAClF,IAAI,YAAoB,CAAC;IACzB,IAAI,eAA+F,CAAC;IACpG,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,+BAA+B,CAAC;YAChD,SAAS;YACT,WAAW,EAAE,MAAM,CAAC,WAAW,IAAI,SAAS;YAC5C,UAAU,EAAE,MAAM,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS;SAClF,CAAC,CAAC;QACH,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC;QACpB,YAAY,GAAG,GAAG,CAAC,YAAY,CAAC;QAChC,eAAe,GAAG,GAAG,CAAC,eAAe,CAAC;IACxC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,aAAa,CAAC,WAAW,CAAC,CAAC;QAC3B,IAAI,CAAC,YAAY,eAAe,EAAE,CAAC;YACjC,sBAAsB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;YAC1C,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;QACD,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,sBAAsB,CAAC,qBAAqB,CAAC,cAAc,EAAE,wBAAwB,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5F,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,IAAI,MAAM,CAAC,OAAO,KAAK,MAAM,EAAE,CAAC;QAC9B,aAAa,CAAC,WAAW,CAAC,CAAC;QAC3B,sBAAsB,CACpB,qBAAqB,CAAC,wBAAwB,EAC9C,6BAA6B,MAAM,CAAC,OAAO,oBAAoB,CAChE,CAAC;QACF,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IACD,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjC,aAAa,CAAC,WAAW,CAAC,CAAC;QAC3B,sBAAsB,CACpB,qBAAqB,CAAC,6BAA6B,EACnD,kEAAkE,CACnE,CAAC;QACF,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,eAAe,CAAC,CAAC;IAC3D,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC;IACvD,MAAM,eAAe,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,mBAAmB,CAAC,CAAC;IACpE,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,qBAAqB,CAAC,CAAC;IAEjE,IAAI,CAAC;QACH,mBAAmB,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;QAC7C,mBAAmB,CACjB,UAAU,EACV,8BAA8B,CAAC;YAC7B,UAAU,EAAE,SAAS,CAAC,UAAU;YAChC,OAAO,EAAE,eAAe;SACzB,CAAC,CACH,CAAC;QACF,mBAAmB,CAAC,eAAe,EAAE,GAAG,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACrE,mBAAmB,CAAC,UAAU,EAAE,4BAA4B,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC;IACtF,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,aAAa,CAAC,WAAW,CAAC,CAAC;QAC3B,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,sBAAsB,CAAC,qBAAqB,CAAC,cAAc,EAAE,wBAAwB,CAAC,eAAe,GAAG,EAAE,CAAC,CAAC,CAAC;QAC7G,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,IAAI,aAAa,GAAG,EAAE,CAAC;IACvB,IAAI,MAAsB,CAAC;IAC3B,IAAI,CAAC;QACH,MAAM,GAAG,MAAM,cAAc,CAAC;YAC5B,UAAU,EAAE,SAAS,CAAC,UAAU;YAChC,UAAU;YACV,YAAY,EAAE,SAAS;YACvB,QAAQ;YACR,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE;gBACjB,aAAa,GAAG,CAAC,CAAC;YACpB,CAAC;SACF,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,aAAa,CAAC,WAAW,CAAC,CAAC;QAC3B,IAAI,CAAC,YAAY,eAAe,EAAE,CAAC;YACjC,sBAAsB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;YAC1C,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;QACD,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,sBAAsB,CAAC,qBAAqB,CAAC,cAAc,EAAE,wBAAwB,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5F,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,MAAM,cAAc,GAAG,mBAAmB,CAAC,iBAAiB,CAAC,CAAC;IAC9D,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5B,aAAa,CAAC,WAAW,CAAC,CAAC;QAC3B,sBAAsB,CACpB,qBAAqB,CAAC,8BAA8B,EACpD,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,MAAM,IAAI,EAAE,CAAC,CAC5C,CAAC;QACF,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;QACjC,MAAM,QAAQ,GAAG;YACf,aAAa,EAAE,CAAC;YAChB,IAAI,EAAE,+BAA+B;YACrC,UAAU,EAAE,SAAS,CAAC,UAAU;YAChC,MAAM,EAAE,WAAW;YACnB,YAAY,EAAE,MAAM;YACpB,YAAY,EAAE,UAAU;YACxB,iBAAiB,EAAE,eAAe,CAAC,MAAM;SAC1C,CAAC;QACF,IAAI,CAAC;YACH,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACxD,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,aAAa,CAAC,WAAW,CAAC,CAAC;YAC3B,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACvD,sBAAsB,CAAC,qBAAqB,CAAC,cAAc,EAAE,wBAAwB,CAAC,WAAW,GAAG,EAAE,CAAC,CAAC,CAAC;YACzG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,aAAa,IAAI,CAAC,CAAC;IAC3C,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,wBAAwB,EAAE,CAAC,CAAC;IACjD,MAAM,eAAe,GAAG,CAAC,IAAY,EAAQ,EAAE;QAC7C,aAAa,CAAC,WAAW,CAAC,CAAC;QAC3B,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrB,CAAC,CAAC;IACF,wCAAwC,CAAC,MAAM,EAAE;QAC/C,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;YACnB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACpB,CAAC;QACD,IAAI,EAAE,eAAe;KACtB,CAAC,CAAC;AACL,CAAC"}

package/dist/bootstrap/synthesizeQuickInputFromOpenAiV1.d.ts

@@ -0,0 +1,6 @@
+import type { ParsedBootstrapPackInput } from "./parseBootstrapPackInput.js";
+/**
+ * Deterministic NDJSON UTF-8 for Quick ingest (one wrapped tool_calls object per line).
+ */
+export declare function synthesizeQuickInputUtf8FromOpenAiV1(input: ParsedBootstrapPackInput): string;
+//# sourceMappingURL=synthesizeQuickInputFromOpenAiV1.d.ts.map

package/dist/bootstrap/synthesizeQuickInputFromOpenAiV1.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"synthesizeQuickInputFromOpenAiV1.d.ts","sourceRoot":"","sources":["../../src/bootstrap/synthesizeQuickInputFromOpenAiV1.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,8BAA8B,CAAC;AAE7E;;GAEG;AACH,wBAAgB,oCAAoC,CAAC,KAAK,EAAE,wBAAwB,GAAG,MAAM,CAa5F"}

package/dist/bootstrap/synthesizeQuickInputFromOpenAiV1.js

@@ -0,0 +1,16 @@
+/**
+ * Deterministic NDJSON UTF-8 for Quick ingest (one wrapped tool_calls object per line).
+ */
+export function synthesizeQuickInputUtf8FromOpenAiV1(input) {
+    const lines = input.toolCalls.map((tc) => JSON.stringify({
+        tool_calls: [
+            {
+                id: tc.id,
+                type: "function",
+                function: { name: tc.function.name, arguments: tc.function.arguments },
+            },
+        ],
+    }));
+    return `${lines.join("\n")}\n`;
+}
+//# sourceMappingURL=synthesizeQuickInputFromOpenAiV1.js.map

package/dist/bootstrap/synthesizeQuickInputFromOpenAiV1.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"synthesizeQuickInputFromOpenAiV1.js","sourceRoot":"","sources":["../../src/bootstrap/synthesizeQuickInputFromOpenAiV1.ts"],"names":[],"mappings":"AAEA;;GAEG;AACH,MAAM,UAAU,oCAAoC,CAAC,KAA+B;IAClF,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CACvC,IAAI,CAAC,SAAS,CAAC;QACb,UAAU,EAAE;YACV;gBACE,EAAE,EAAE,EAAE,CAAC,EAAE;gBACT,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE,CAAC,QAAQ,CAAC,SAAS,EAAE;aACvE;SACF;KACF,CAAC,CACH,CAAC;IACF,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;AACjC,CAAC"}

package/dist/cli.js

@@ -1,4 +1,5 @@
 #!/usr/bin/env node
+import { randomUUID } from "node:crypto";
 import { readFileSync, statSync } from "fs";
 import path from "path";
 import { CLI_OPERATIONAL_CODES, cliErrorEnvelope, formatOperationalMessage, } from "./failureCatalog.js";
@@ -8,7 +9,7 @@ import { loadEventsForWorkflow } from "./loadEvents.js";
 import { verifyWorkflow } from "./pipeline.js";
 import { argValue, argValues, parseBatchVerifyCliArgs, parseQuickCliArgs } from "./cliArgv.js";
 import { ENFORCE_OSS_GATE_MESSAGE, runEnforce } from "./enforceCli.js";
-import { runStandardVerifyWorkflowCliFlow } from "./standardVerifyWorkflowCli.js";
+import { CLI_EXITED_AFTER_ERROR, emitVerifyWorkflowCliJsonAndExitByStatus, runStandardVerifyWorkflowCliToTerminalResult, } from "./standardVerifyWorkflowCli.js";
 import { formatRegistryValidationHumanReport, validateToolsRegistry, } from "./registryValidation.js";
 import { loadSchemaValidator } from "./schemaLoad.js";
 import { TruthLayerError } from "./truthLayerError.js";
@@ -30,10 +31,16 @@ import { runQuickVerifyToValidatedReport } from "./quickVerify/runQuickVerify.js
 import { checkAssuranceReportStale } from "./assurance/checkStale.js";
 import { runAssuranceFromManifest } from "./assurance/runAssurance.js";
 import { runLicensePreflightIfNeeded } from "./commercial/licensePreflight.js";
+import { postVerifyOutcomeBeacon } from "./commercial/postVerifyOutcomeBeacon.js";
+import { quickVerifyVerdictToTerminalStatus } from "./commercial/quickVerifyFunnelTerminalStatus.js";
+import { classifyBatchVerifyWorkload, classifyQuickVerifyWorkload, } from "./commercial/verifyWorkloadClassify.js";
 import { LICENSE_PREFLIGHT_ENABLED } from "./generated/commercialBuildFlags.js";
 import { runBatchCiLockFromRestArgs, runQuickCiLockFromRestArgs } from "./ciLockWorkflow.js";
 import { formatDistributionFooter } from "./distributionFooter.js";
 import { postPublicVerificationReport } from "./shareReport/postPublicVerificationReport.js";
+import { runBootstrapSubcommand } from "./bootstrap/runBootstrapSubcommand.js";
+import { maybeEmitOssClaimTicketUrlToStderr } from "./telemetry/maybeEmitOssClaimTicketUrl.js";
+import { postProductActivationEvent } from "./telemetry/postProductActivationEvent.js";
 function usageQuick() {
     return `Usage:
   agentskeptic quick --input <path> (--postgres-url <url> | --db <sqlitePath>) --export-registry <path>
@@ -57,6 +64,9 @@ function usageVerify() {
   agentskeptic quick --input <path> (--postgres-url <url> | --db <sqlitePath>) --export-registry <path> [--emit-events <path>] [--workflow-id <id>]
     (zero-config path; structured tool activity + read-only SQL; see docs/quick-verify-normative.md)
 
+  agentskeptic bootstrap --input <path> (--db <sqlitePath> | --postgres-url <url>) --out <path>
+    (BootstrapPackInput v1 JSON → contract pack + in-process verify; see docs/bootstrap-pack-normative.md)
+
   agentskeptic --workflow-id <id> --events <path> --registry <path> --db <sqlitePath>
   agentskeptic --workflow-id <id> --events <path> --registry <path> --postgres-url <url>
 
@@ -409,8 +419,12 @@ async function runQuickSubcommand(args) {
         throw e;
     }
     const { inputPath, exportPath, emitEventsPath, workflowIdQuick, dbPath, postgresUrl, shareReportOrigin } = pq;
+    const activationRunId = process.env.AGENTSKEPTIC_RUN_ID?.trim() ||
+        process.env.WORKFLOW_VERIFIER_RUN_ID?.trim() ||
+        randomUUID();
+    let quickPreflight;
     try {
-        await runLicensePreflightIfNeeded("verify");
+        quickPreflight = await runLicensePreflightIfNeeded("verify", { runId: activationRunId });
     }
     catch (e) {
         if (e instanceof TruthLayerError) {
@@ -430,6 +444,20 @@ async function runQuickSubcommand(args) {
         writeCliError(CLI_OPERATIONAL_CODES.CLI_USAGE, `Cannot read --input: ${msg}`);
         process.exit(3);
     }
+    const quickBuildProfile = LICENSE_PREFLIGHT_ENABLED ? "commercial" : "oss";
+    const quickWorkloadClass = classifyQuickVerifyWorkload({
+        inputPath: inputPath,
+        sqlitePath: dbPath ?? undefined,
+        postgresUrl: postgresUrl ?? undefined,
+    });
+    await postProductActivationEvent({
+        phase: "verify_started",
+        run_id: activationRunId,
+        issued_at: new Date().toISOString(),
+        workload_class: quickWorkloadClass,
+        subcommand: "quick_verify",
+        build_profile: quickBuildProfile,
+    });
     let registryUtf8;
     let report;
     let contractExports = [];
@@ -452,6 +480,15 @@ async function runQuickSubcommand(args) {
         writeCliError(CLI_OPERATIONAL_CODES.INTERNAL_ERROR, formatOperationalMessage(msg));
         process.exit(3);
     }
+    await postProductActivationEvent({
+        phase: "verify_outcome",
+        run_id: activationRunId,
+        issued_at: new Date().toISOString(),
+        workload_class: quickWorkloadClass,
+        subcommand: "quick_verify",
+        build_profile: quickBuildProfile,
+        terminal_status: quickVerifyVerdictToTerminalStatus(report.verdict),
+    });
     try {
         atomicWriteUtf8File(path.resolve(exportPath), registryUtf8);
     }
@@ -504,6 +541,19 @@ async function runQuickSubcommand(args) {
     }
     console.error(human);
     process.stderr.write(formatDistributionFooter());
+    await maybeEmitOssClaimTicketUrlToStderr({
+        run_id: activationRunId,
+        terminal_status: quickVerifyVerdictToTerminalStatus(report.verdict),
+        workload_class: quickWorkloadClass,
+        subcommand: "quick_verify",
+        build_profile: quickBuildProfile,
+    });
+    await postVerifyOutcomeBeacon({
+        runId: quickPreflight.runId,
+        terminal_status: quickVerifyVerdictToTerminalStatus(report.verdict),
+        workload_class: quickWorkloadClass,
+        subcommand: "quick_verify",
+    });
     if (report.verdict === "pass")
         process.exit(0);
     if (report.verdict === "fail")
@@ -877,6 +927,10 @@ async function main() {
         await runQuickSubcommand(args.slice(1));
         return;
     }
+    if (args[0] === "bootstrap") {
+        await runBootstrapSubcommand(args.slice(1));
+        return;
+    }
     if (args[0] === "verify-bundle-signature") {
         runVerifyBundleSignatureSubcommand(args.slice(1));
         return;
@@ -946,8 +1000,12 @@ async function main() {
         }
         throw e;
     }
+    const batchActivationRunId = process.env.AGENTSKEPTIC_RUN_ID?.trim() ||
+        process.env.WORKFLOW_VERIFIER_RUN_ID?.trim() ||
+        randomUUID();
+    let batchPreflight;
     try {
-        await runLicensePreflightIfNeeded("verify");
+        batchPreflight = await runLicensePreflightIfNeeded("verify", { runId: batchActivationRunId });
     }
     catch (e) {
         if (e instanceof TruthLayerError) {
@@ -957,38 +1015,85 @@ async function main() {
         throw e;
     }
     const suppressTruthToStderr = parsedBatch.noTruthReport || parsedBatch.shareReportOrigin !== undefined;
-    await runStandardVerifyWorkflowCliFlow({
-        shareReportOrigin: parsedBatch.shareReportOrigin,
-        runVerify: () => verifyWorkflow({
-            workflowId: parsedBatch.workflowId,
-            eventsPath: parsedBatch.eventsPath,
-            registryPath: parsedBatch.registryPath,
-            database: parsedBatch.database,
-            verificationPolicy: parsedBatch.verificationPolicy,
-            ...(suppressTruthToStderr ?
-                { truthReport: () => { } }
-                : {
-                    truthReport: (report) => {
-                        process.stderr.write(`${report}\n`);
-                        process.stderr.write(formatDistributionFooter());
-                    },
-                }),
-        }),
-        maybeWriteBundle: parsedBatch.writeRunBundleDir === undefined
-            ? undefined
-            : (result) => writeRunBundleCli(parsedBatch.writeRunBundleDir, readFileSync(path.resolve(parsedBatch.eventsPath)), result, parsedBatch.signPrivateKeyPath),
-        io: {
-            consoleLog: (line) => {
-                console.log(line);
-            },
-            stderrLine: (line) => {
-                console.error(line);
-            },
-            exit: (code) => {
-                process.exit(code);
-            },
-        },
+    const batchBuildProfile = LICENSE_PREFLIGHT_ENABLED ? "commercial" : "oss";
+    const batchWorkloadClass = classifyBatchVerifyWorkload({
+        eventsPath: parsedBatch.eventsPath,
+        registryPath: parsedBatch.registryPath,
+        database: parsedBatch.database,
     });
+    await postProductActivationEvent({
+        phase: "verify_started",
+        run_id: batchActivationRunId,
+        issued_at: new Date().toISOString(),
+        workload_class: batchWorkloadClass,
+        subcommand: "batch_verify",
+        build_profile: batchBuildProfile,
+    });
+    const batchIo = {
+        consoleLog: (line) => {
+            console.log(line);
+        },
+        stderrLine: (line) => {
+            console.error(line);
+        },
+        exit: (code) => {
+            process.exit(code);
+        },
+    };
+    try {
+        const result = await runStandardVerifyWorkflowCliToTerminalResult({
+            shareReportOrigin: parsedBatch.shareReportOrigin,
+            runVerify: () => verifyWorkflow({
+                workflowId: parsedBatch.workflowId,
+                eventsPath: parsedBatch.eventsPath,
+                registryPath: parsedBatch.registryPath,
+                database: parsedBatch.database,
+                verificationPolicy: parsedBatch.verificationPolicy,
+                ...(suppressTruthToStderr ?
+                    { truthReport: () => { } }
+                    : {
+                        truthReport: (report) => {
+                            process.stderr.write(`${report}\n`);
+                            process.stderr.write(formatDistributionFooter());
+                        },
+                    }),
+            }),
+            maybeWriteBundle: parsedBatch.writeRunBundleDir === undefined
+                ? undefined
+                : (wfResult) => writeRunBundleCli(parsedBatch.writeRunBundleDir, readFileSync(path.resolve(parsedBatch.eventsPath)), wfResult, parsedBatch.signPrivateKeyPath),
+            io: batchIo,
+        });
+        await postProductActivationEvent({
+            phase: "verify_outcome",
+            run_id: batchActivationRunId,
+            issued_at: new Date().toISOString(),
+            workload_class: batchWorkloadClass,
+            subcommand: "batch_verify",
+            build_profile: batchBuildProfile,
+            terminal_status: result.status,
+        });
+        if (!parsedBatch.noTruthReport) {
+            await maybeEmitOssClaimTicketUrlToStderr({
+                run_id: batchActivationRunId,
+                terminal_status: result.status,
+                workload_class: batchWorkloadClass,
+                subcommand: "batch_verify",
+                build_profile: batchBuildProfile,
+            });
+        }
+        await postVerifyOutcomeBeacon({
+            runId: batchPreflight.runId,
+            terminal_status: result.status,
+            workload_class: batchWorkloadClass,
+            subcommand: "batch_verify",
+        });
+        emitVerifyWorkflowCliJsonAndExitByStatus(result, batchIo);
+    }
+    catch (e) {
+        if (e instanceof Error && e.message === CLI_EXITED_AFTER_ERROR)
+            return;
+        throw e;
+    }
 }
 void main().catch((e) => {
     const msg = e instanceof Error ? e.message : String(e);