agentskeptic 0.1.5 → 0.1.6

package/README.md

@@ -3,7 +3,7 @@
 <!-- discovery-readme-title:end -->
 
 <!-- discovery-acquisition-fold:start -->
-## Your workflow said it worked. Did the database actually change?
+## Ship with database truth, not trace color.
 
 AgentSkeptic answers with read-only SQL at verification time—not with trace success flags or chat narratives.
 
@@ -52,7 +52,7 @@ steps:
 }
 ```
 
-[Database truth vs traces](https://agentskeptic.com/database-truth-vs-traces)
+[Product brief (traces vs database)](https://agentskeptic.com/database-truth-vs-traces)
 <!-- discovery-acquisition-fold:end -->
 
 **One-sentence value:** Read-only SQL checks that your database **at verification time** matches **expectations derived from structured tool activity**—not whether a trace step “succeeded.”

package/dist/bootstrap/bootstrapReadmeTemplate.d.ts

@@ -0,0 +1,3 @@
+/** Fixed template for README.bootstrap.md (workflowId substituted). */
+export declare function buildBootstrapReadmeMarkdown(workflowId: string): string;
+//# sourceMappingURL=bootstrapReadmeTemplate.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"bootstrapReadmeTemplate.d.ts","sourceRoot":"","sources":["../../src/bootstrap/bootstrapReadmeTemplate.ts"],"names":[],"mappings":"AAAA,uEAAuE;AACvE,wBAAgB,4BAA4B,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAcvE"}

package/dist/bootstrap/bootstrapReadmeTemplate.js

@@ -0,0 +1,17 @@
+/** Fixed template for README.bootstrap.md (workflowId substituted). */
+export function buildBootstrapReadmeMarkdown(workflowId) {
+    return `# Bootstrap pack (generated)
+
+This directory was produced by \`agentskeptic bootstrap\`.
+
+\`quick-report.json\` is a full Quick Verify report and remains **provisional** (see \`productTruth\` in that JSON). For contract verification against the same database you used for bootstrap:
+
+\`\`\`bash
+agentskeptic verify --workflow-id ${workflowId} --events ./events.ndjson --registry ./tools.json --db <path-to-same-sqlite.db>
+\`\`\`
+
+Use \`--postgres-url\` instead of \`--db\` when verifying against Postgres.
+
+`;
+}
+//# sourceMappingURL=bootstrapReadmeTemplate.js.map

package/dist/bootstrap/bootstrapReadmeTemplate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bootstrapReadmeTemplate.js","sourceRoot":"","sources":["../../src/bootstrap/bootstrapReadmeTemplate.ts"],"names":[],"mappings":"AAAA,uEAAuE;AACvE,MAAM,UAAU,4BAA4B,CAAC,UAAkB;IAC7D,OAAO;;;;;;;oCAO2B,UAAU;;;;;CAK7C,CAAC;AACF,CAAC"}

package/dist/bootstrap/parseBootstrapPackInput.d.ts

@@ -0,0 +1,16 @@
+export type ParsedBootstrapPackInput = {
+    workflowId: string;
+    toolCalls: Array<{
+        id: string;
+        function: {
+            name: string;
+            arguments: string;
+        };
+    }>;
+};
+/**
+ * Parse and validate `BootstrapPackInput` v1 per docs/bootstrap-pack-normative.md.
+ * @throws TruthLayerError with BOOTSTRAP_* codes
+ */
+export declare function parseBootstrapPackInputJson(rawUtf8: string): ParsedBootstrapPackInput;
+//# sourceMappingURL=parseBootstrapPackInput.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"parseBootstrapPackInput.d.ts","sourceRoot":"","sources":["../../src/bootstrap/parseBootstrapPackInput.ts"],"names":[],"mappings":"AAIA,MAAM,MAAM,wBAAwB,GAAG;IACrC,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,KAAK,CAAC;QACf,EAAE,EAAE,MAAM,CAAC;QACX,QAAQ,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,SAAS,EAAE,MAAM,CAAA;SAAE,CAAC;KAC/C,CAAC,CAAC;CACJ,CAAC;AAMF;;;GAGG;AACH,wBAAgB,2BAA2B,CAAC,OAAO,EAAE,MAAM,GAAG,wBAAwB,CAoHrF"}

package/dist/bootstrap/parseBootstrapPackInput.js

@@ -0,0 +1,95 @@
+import { CLI_OPERATIONAL_CODES } from "../cliOperationalCodes.js";
+import { loadSchemaValidator } from "../schemaLoad.js";
+import { TruthLayerError } from "../truthLayerError.js";
+function isPlainObject(v) {
+    return v !== null && typeof v === "object" && !Array.isArray(v);
+}
+/**
+ * Parse and validate `BootstrapPackInput` v1 per docs/bootstrap-pack-normative.md.
+ * @throws TruthLayerError with BOOTSTRAP_* codes
+ */
+export function parseBootstrapPackInputJson(rawUtf8) {
+    let parsed;
+    try {
+        parsed = JSON.parse(rawUtf8);
+    }
+    catch (e) {
+        const msg = e instanceof Error ? e.message : String(e);
+        throw new TruthLayerError(CLI_OPERATIONAL_CODES.BOOTSTRAP_INPUT_INVALID, `Bootstrap input is not valid JSON: ${msg}`);
+    }
+    const validate = loadSchemaValidator("bootstrap-pack-input-v1");
+    if (!validate(parsed)) {
+        throw new TruthLayerError(CLI_OPERATIONAL_CODES.BOOTSTRAP_INPUT_INVALID, JSON.stringify(validate.errors ?? []));
+    }
+    const root = parsed;
+    const workflowId = root.workflowId;
+    if (typeof workflowId !== "string") {
+        throw new TruthLayerError(CLI_OPERATIONAL_CODES.BOOTSTRAP_INPUT_INVALID, "workflowId must be a string.");
+    }
+    const oc = root.openaiChatCompletion;
+    if (!isPlainObject(oc)) {
+        throw new TruthLayerError(CLI_OPERATIONAL_CODES.BOOTSTRAP_INPUT_INVALID, "openaiChatCompletion must be an object.");
+    }
+    const choices = oc.choices;
+    if (!Array.isArray(choices) || choices.length < 1) {
+        throw new TruthLayerError(CLI_OPERATIONAL_CODES.BOOTSTRAP_INPUT_INVALID, "choices must be a non-empty array.");
+    }
+    const c0 = choices[0];
+    if (!isPlainObject(c0)) {
+        throw new TruthLayerError(CLI_OPERATIONAL_CODES.BOOTSTRAP_INPUT_INVALID, "choices[0] must be an object.");
+    }
+    const message = c0.message;
+    if (!isPlainObject(message)) {
+        throw new TruthLayerError(CLI_OPERATIONAL_CODES.BOOTSTRAP_INPUT_INVALID, "choices[0].message must be an object.");
+    }
+    const toolCallsRaw = message.tool_calls;
+    if (!Array.isArray(toolCallsRaw)) {
+        throw new TruthLayerError(CLI_OPERATIONAL_CODES.BOOTSTRAP_INPUT_INVALID, "choices[0].message.tool_calls must be an array.");
+    }
+    if (toolCallsRaw.length === 0) {
+        throw new TruthLayerError(CLI_OPERATIONAL_CODES.BOOTSTRAP_NO_TOOL_CALLS, "tool_calls is empty.");
+    }
+    const toolCalls = [];
+    for (let i = 0; i < toolCallsRaw.length; i++) {
+        const tc = toolCallsRaw[i];
+        if (!isPlainObject(tc)) {
+            throw new TruthLayerError(CLI_OPERATIONAL_CODES.BOOTSTRAP_INPUT_INVALID, `tool_calls[${i}] must be an object.`);
+        }
+        if (tc.type !== "function") {
+            throw new TruthLayerError(CLI_OPERATIONAL_CODES.BOOTSTRAP_INPUT_INVALID, `tool_calls[${i}].type must be "function".`);
+        }
+        const id = tc.id;
+        if (typeof id !== "string" || id.length === 0) {
+            throw new TruthLayerError(CLI_OPERATIONAL_CODES.BOOTSTRAP_INPUT_INVALID, `tool_calls[${i}].id must be a non-empty string.`);
+        }
+        const fn = tc.function;
+        if (!isPlainObject(fn)) {
+            throw new TruthLayerError(CLI_OPERATIONAL_CODES.BOOTSTRAP_INPUT_INVALID, `tool_calls[${i}].function must be an object.`);
+        }
+        const name = fn.name;
+        const argsStr = fn.arguments;
+        if (typeof name !== "string" || name.length === 0) {
+            throw new TruthLayerError(CLI_OPERATIONAL_CODES.BOOTSTRAP_INPUT_INVALID, `tool_calls[${i}].function.name must be a non-empty string.`);
+        }
+        if (typeof argsStr !== "string") {
+            throw new TruthLayerError(CLI_OPERATIONAL_CODES.BOOTSTRAP_INPUT_INVALID, `tool_calls[${i}].function.arguments must be a string.`);
+        }
+        let argsParsed;
+        try {
+            argsParsed = JSON.parse(argsStr);
+        }
+        catch (e) {
+            const msg = e instanceof Error ? e.message : String(e);
+            throw new TruthLayerError(CLI_OPERATIONAL_CODES.BOOTSTRAP_TOOL_CALL_ARGUMENTS_INVALID, `JSON.parse(function.arguments) failed (tool_calls[i] i=${i}): ${msg}`);
+        }
+        if (argsParsed === null || typeof argsParsed !== "object" || Array.isArray(argsParsed)) {
+            throw new TruthLayerError(CLI_OPERATIONAL_CODES.BOOTSTRAP_TOOL_CALL_ARGUMENTS_INVALID, `function.arguments must parse to a JSON object, not array or primitive (tool_calls[i] i=${i}).`);
+        }
+        toolCalls.push({
+            id,
+            function: { name, arguments: argsStr },
+        });
+    }
+    return { workflowId, toolCalls };
+}
+//# sourceMappingURL=parseBootstrapPackInput.js.map

package/dist/bootstrap/parseBootstrapPackInput.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parseBootstrapPackInput.js","sourceRoot":"","sources":["../../src/bootstrap/parseBootstrapPackInput.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AAClE,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAUxD,SAAS,aAAa,CAAC,CAAU;IAC/B,OAAO,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAClE,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,2BAA2B,CAAC,OAAe;IACzD,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAY,CAAC;IAC1C,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,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,uBAAuB,EAC7C,sCAAsC,GAAG,EAAE,CAC5C,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,mBAAmB,CAAC,yBAAyB,CAAC,CAAC;IAChE,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QACtB,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,uBAAuB,EAC7C,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,IAAI,EAAE,CAAC,CACtC,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,GAAG,MAAiC,CAAC;IAC/C,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC;IACnC,IAAI,OAAO,UAAU,KAAK,QAAQ,EAAE,CAAC;QACnC,MAAM,IAAI,eAAe,CAAC,qBAAqB,CAAC,uBAAuB,EAAE,8BAA8B,CAAC,CAAC;IAC3G,CAAC;IAED,MAAM,EAAE,GAAG,IAAI,CAAC,oBAAoB,CAAC;IACrC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,eAAe,CAAC,qBAAqB,CAAC,uBAAuB,EAAE,yCAAyC,CAAC,CAAC;IACtH,CAAC;IACD,MAAM,OAAO,GAAG,EAAE,CAAC,OAAO,CAAC;IAC3B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,eAAe,CAAC,qBAAqB,CAAC,uBAAuB,EAAE,oCAAoC,CAAC,CAAC;IACjH,CAAC;IACD,MAAM,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IACtB,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,eAAe,CAAC,qBAAqB,CAAC,uBAAuB,EAAE,+BAA+B,CAAC,CAAC;IAC5G,CAAC;IACD,MAAM,OAAO,GAAG,EAAE,CAAC,OAAO,CAAC;IAC3B,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,eAAe,CAAC,qBAAqB,CAAC,uBAAuB,EAAE,uCAAuC,CAAC,CAAC;IACpH,CAAC;IACD,MAAM,YAAY,GAAG,OAAO,CAAC,UAAU,CAAC;IACxC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,eAAe,CAAC,qBAAqB,CAAC,uBAAuB,EAAE,iDAAiD,CAAC,CAAC;IAC9H,CAAC;IACD,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,MAAM,IAAI,eAAe,CAAC,qBAAqB,CAAC,uBAAuB,EAAE,sBAAsB,CAAC,CAAC;IACnG,CAAC;IAED,MAAM,SAAS,GAA0C,EAAE,CAAC;IAC5D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,EAAE,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC;YACvB,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,uBAAuB,EAC7C,cAAc,CAAC,sBAAsB,CACtC,CAAC;QACJ,CAAC;QACD,IAAI,EAAE,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC3B,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,uBAAuB,EAC7C,cAAc,CAAC,4BAA4B,CAC5C,CAAC;QACJ,CAAC;QACD,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;QACjB,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9C,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,uBAAuB,EAC7C,cAAc,CAAC,kCAAkC,CAClD,CAAC;QACJ,CAAC;QACD,MAAM,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC;QACvB,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC;YACvB,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,uBAAuB,EAC7C,cAAc,CAAC,+BAA+B,CAC/C,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC;QACrB,MAAM,OAAO,GAAG,EAAE,CAAC,SAAS,CAAC;QAC7B,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAClD,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,uBAAuB,EAC7C,cAAc,CAAC,6CAA6C,CAC7D,CAAC;QACJ,CAAC;QACD,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;YAChC,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,uBAAuB,EAC7C,cAAc,CAAC,wCAAwC,CACxD,CAAC;QACJ,CAAC;QACD,IAAI,UAAmB,CAAC;QACxB,IAAI,CAAC;YACH,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAY,CAAC;QAC9C,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACvD,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,qCAAqC,EAC3D,0DAA0D,CAAC,MAAM,GAAG,EAAE,CACvE,CAAC;QACJ,CAAC;QACD,IAAI,UAAU,KAAK,IAAI,IAAI,OAAO,UAAU,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;YACvF,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,qCAAqC,EAC3D,2FAA2F,CAAC,IAAI,CACjG,CAAC;QACJ,CAAC;QACD,SAAS,CAAC,IAAI,CAAC;YACb,EAAE;YACF,QAAQ,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE;SACvC,CAAC,CAAC;IACL,CAAC;IAED,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC;AACnC,CAAC"}

package/dist/bootstrap/parseBootstrapPackInput.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=parseBootstrapPackInput.test.d.ts.map

package/dist/bootstrap/parseBootstrapPackInput.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parseBootstrapPackInput.test.d.ts","sourceRoot":"","sources":["../../src/bootstrap/parseBootstrapPackInput.test.ts"],"names":[],"mappings":""}

package/dist/bootstrap/parseBootstrapPackInput.test.js

@@ -0,0 +1,46 @@
+import { readFileSync } from "node:fs";
+import path from "node:path";
+import { describe, expect, it } from "vitest";
+import { CLI_OPERATIONAL_CODES } from "../cliOperationalCodes.js";
+import { TruthLayerError } from "../truthLayerError.js";
+import { parseBootstrapPackInputJson } from "./parseBootstrapPackInput.js";
+import { synthesizeQuickInputUtf8FromOpenAiV1 } from "./synthesizeQuickInputFromOpenAiV1.js";
+const root = process.cwd();
+const goldenInput = readFileSync(path.join(root, "test", "fixtures", "bootstrap-pack", "input.json"), "utf8");
+describe("parseBootstrapPackInputJson", () => {
+    it("parses fixture and preserves tool call arguments verbatim", () => {
+        const p = parseBootstrapPackInputJson(goldenInput);
+        expect(p.workflowId).toBe("wf_bootstrap_fixture");
+        expect(p.toolCalls).toHaveLength(1);
+        expect(p.toolCalls[0].function.name).toBe("crm.upsert_contact");
+        expect(p.toolCalls[0].function.arguments).toBe('{"recordId":"c_ok","fields":{"name":"Alice","status":"active"}}');
+    });
+    it("rejects empty tool_calls", () => {
+        const raw = readFileSync(path.join(root, "test", "fixtures", "bootstrap-pack", "input-empty-tool-calls.json"), "utf8");
+        expect(() => parseBootstrapPackInputJson(raw)).toThrow(TruthLayerError);
+        try {
+            parseBootstrapPackInputJson(raw);
+        }
+        catch (e) {
+            expect(e.code).toBe(CLI_OPERATIONAL_CODES.BOOTSTRAP_NO_TOOL_CALLS);
+        }
+    });
+});
+describe("synthesizeQuickInputUtf8FromOpenAiV1", () => {
+    it("emits one NDJSON line per tool call with stable key order", () => {
+        const p = parseBootstrapPackInputJson(goldenInput);
+        const utf8 = synthesizeQuickInputUtf8FromOpenAiV1(p);
+        const lines = utf8.trim().split("\n");
+        expect(lines).toHaveLength(1);
+        const line = JSON.parse(lines[0]);
+        expect(line.tool_calls).toHaveLength(1);
+        expect(line.tool_calls[0].id).toBe("call_fixture_1");
+        expect(line.tool_calls[0].type).toBe("function");
+        expect(line.tool_calls[0].function.name).toBe("crm.upsert_contact");
+        expect(JSON.parse(line.tool_calls[0].function.arguments)).toEqual({
+            recordId: "c_ok",
+            fields: { name: "Alice", status: "active" },
+        });
+    });
+});
+//# sourceMappingURL=parseBootstrapPackInput.test.js.map

package/dist/bootstrap/parseBootstrapPackInput.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parseBootstrapPackInput.test.js","sourceRoot":"","sources":["../../src/bootstrap/parseBootstrapPackInput.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AAClE,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,2BAA2B,EAAE,MAAM,8BAA8B,CAAC;AAC3E,OAAO,EAAE,oCAAoC,EAAE,MAAM,uCAAuC,CAAC;AAE7F,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;AAC3B,MAAM,WAAW,GAAG,YAAY,CAC9B,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,gBAAgB,EAAE,YAAY,CAAC,EACnE,MAAM,CACP,CAAC;AAEF,QAAQ,CAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,CAAC,GAAG,2BAA2B,CAAC,WAAW,CAAC,CAAC;QACnD,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;QAClD,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QACjE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,IAAI,CAC7C,iEAAiE,CAClE,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,GAAG,GAAG,YAAY,CACtB,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,gBAAgB,EAAE,6BAA6B,CAAC,EACpF,MAAM,CACP,CAAC;QACF,MAAM,CAAC,GAAG,EAAE,CAAC,2BAA2B,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;QACxE,IAAI,CAAC;YACH,2BAA2B,CAAC,GAAG,CAAC,CAAC;QACnC,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,MAAM,CAAE,CAAqB,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,uBAAuB,CAAC,CAAC;QAC1F,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,CAAC,GAAG,2BAA2B,CAAC,WAAW,CAAC,CAAC;QACnD,MAAM,IAAI,GAAG,oCAAoC,CAAC,CAAC,CAAC,CAAC;QACrD,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACtC,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAE,CAEhC,CAAC;QACF,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACxC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QACtD,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAClD,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QACrE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC;YACjE,QAAQ,EAAE,MAAM;YAChB,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE;SAC5C,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/bootstrap/runBootstrapSubcommand.d.ts

@@ -0,0 +1,9 @@
+export type ParsedBootstrapCli = {
+    inputPath: string;
+    outPath: string;
+    dbPath: string | undefined;
+    postgresUrl: string | undefined;
+};
+export declare function parseBootstrapCliArgs(args: string[]): ParsedBootstrapCli;
+export declare function runBootstrapSubcommand(args: string[]): Promise<void>;
+//# sourceMappingURL=runBootstrapSubcommand.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"runBootstrapSubcommand.d.ts","sourceRoot":"","sources":["../../src/bootstrap/runBootstrapSubcommand.ts"],"names":[],"mappings":"AAuEA,MAAM,MAAM,kBAAkB,GAAG;IAC/B,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;IAC3B,WAAW,EAAE,MAAM,GAAG,SAAS,CAAC;CACjC,CAAC;AAEF,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,kBAAkB,CAiBxE;AAcD,wBAAsB,sBAAsB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAmM1E"}

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

@@ -34,6 +34,7 @@ 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";
 function usageQuick() {
     return `Usage:
   agentskeptic quick --input <path> (--postgres-url <url> | --db <sqlitePath>) --export-registry <path>
@@ -57,6 +58,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>
 
@@ -877,6 +881,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;