agentskeptic 0.1.1

package/dist/quickVerify/formatQuickVerifyHumanReport.js

@@ -0,0 +1,65 @@
+import { LINE_PREFIX_DECLARED, LINE_PREFIX_EXPECTED, LINE_PREFIX_OBSERVED_DATABASE, LINE_PREFIX_VERIFICATION_VERDICT, } from "../reconciliationPresentation.js";
+import { HUMAN_REPORT_BEGIN, HUMAN_REPORT_END, humanFragmentForReasonCode, humanLineForIngestReasonCode, verdictLine, } from "./quickVerifyHumanCopy.js";
+/** Banner after anchor lines (normative: fixed banner strings immediately after the three anchors). */
+export const QUICK_VERIFY_BANNER_LINE_1 = "Input must be structured tool activity (JSON describing tool calls and parameters)—not arbitrary logs or generic observability text.";
+export const QUICK_VERIFY_BANNER_LINE_2 = "Quick Verify is inference-only: mapping and expectations are provisional; uncertain is a normal outcome, not an edge case.";
+export const QUICK_VERIFY_BANNER_LINE_3 = "A rollup pass does not prove execution, does not prove a change occurred, and is not production safety—only that current state matched inferred expectations for the checked units.";
+/**
+ * Machine-testable anchors: first three lines exactly, in order. All other prose follows line 3.
+ */
+export function formatQuickVerifyHumanReport(report, ctx = {}) {
+    const body = [];
+    const seenIngest = new Set();
+    for (const code of report.ingest.reasonCodes) {
+        if (seenIngest.has(code))
+            continue;
+        seenIngest.add(code);
+        body.push(humanLineForIngestReasonCode(code));
+    }
+    if (report.ingest.malformedLineCount > 0) {
+        body.push(`Malformed JSON lines: ${report.ingest.malformedLineCount}.`);
+    }
+    if (report.runHeaderReasonCodes?.length) {
+        body.push(`Run notes: ${report.runHeaderReasonCodes.join(", ")}.`);
+    }
+    body.push("");
+    body.push("Units:");
+    body.push("Layer guide — Declared: tool activity in ingest (see sourceAction). Expected: inferred row/FK checks from declared params (quick mode). Observed: verification object (read-only SQL outcome).");
+    for (const u of report.units) {
+        const rc = u.reasonCodes.length ? u.reasonCodes.join(", ") : "none";
+        const frag = u.reasonCodes.map((c) => humanFragmentForReasonCode(c)).join(" ");
+        body.push(`- [${u.unitId}] ${u.kind} table=${u.inference.table} tool=${u.sourceAction.toolName} action#${u.sourceAction.actionIndex} verdict=${u.verdict} confidence=${u.confidence} contractEligible=${u.contractEligible}`);
+        body.push(`  ${u.explanation}`);
+        body.push(`  codes: ${rc}${frag ? ` — ${frag}` : ""}`);
+        body.push(`  ${LINE_PREFIX_DECLARED}${u.reconciliation.declared}`);
+        body.push(`  ${LINE_PREFIX_EXPECTED}${u.reconciliation.expected}`);
+        body.push(`  ${LINE_PREFIX_OBSERVED_DATABASE}${u.reconciliation.observed_database}`);
+        body.push(`  ${LINE_PREFIX_VERIFICATION_VERDICT}${u.reconciliation.verification_verdict}`);
+        if (u.correctnessDefinition !== undefined) {
+            const cd = u.correctnessDefinition;
+            body.push(`  correctness_definition: enforcement_kind=${cd.enforcementKind}`);
+            body.push(`    must_always_hold: ${cd.mustAlwaysHold}`);
+            for (const line of cd.enforceAs) {
+                body.push(`    enforce_as: ${line}`);
+            }
+            body.push(`    enforceable_projection: ${JSON.stringify(cd.enforceableProjection)}`);
+        }
+    }
+    if (report.units.length === 0) {
+        body.push("(none)");
+    }
+    body.push("");
+    const wf = ctx.workflowId ?? "<workflowId>";
+    const ev = ctx.eventsPath ?? "<events.ndjson>";
+    const reg = ctx.registryPath ?? "<registry.json>";
+    const dbPart = ctx.postgresUrl
+        ? `--postgres-url "<url>"`
+        : ctx.dbFlag
+            ? `--db ${ctx.dbFlag}`
+            : `--db <sqlitePath>`;
+    body.push(`Optional contract replay (partial coverage — exported row tools only; not full relational/multi-effect parity with quick scope): agentskeptic --workflow-id ${wf} --events ${ev} --registry ${reg} ${dbPart}`);
+    const anchors = [HUMAN_REPORT_BEGIN, verdictLine(report.verdict), HUMAN_REPORT_END];
+    const banner = [QUICK_VERIFY_BANNER_LINE_1, QUICK_VERIFY_BANNER_LINE_2, QUICK_VERIFY_BANNER_LINE_3];
+    return `${anchors.join("\n")}\n${banner.join("\n")}\n\n${body.join("\n")}\n`;
+}
+//# sourceMappingURL=formatQuickVerifyHumanReport.js.map

package/dist/quickVerify/formatQuickVerifyHumanReport.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"formatQuickVerifyHumanReport.js","sourceRoot":"","sources":["../../src/quickVerify/formatQuickVerifyHumanReport.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,oBAAoB,EACpB,oBAAoB,EACpB,6BAA6B,EAC7B,gCAAgC,GACjC,MAAM,kCAAkC,CAAC;AAE1C,OAAO,EACL,kBAAkB,EAClB,gBAAgB,EAChB,0BAA0B,EAC1B,4BAA4B,EAC5B,WAAW,GACZ,MAAM,2BAA2B,CAAC;AAEnC,uGAAuG;AACvG,MAAM,CAAC,MAAM,0BAA0B,GACrC,sIAAsI,CAAC;AACzI,MAAM,CAAC,MAAM,0BAA0B,GACrC,4HAA4H,CAAC;AAC/H,MAAM,CAAC,MAAM,0BAA0B,GACrC,qLAAqL,CAAC;AAUxL;;GAEG;AACH,MAAM,UAAU,4BAA4B,CAC1C,MAAyB,EACzB,MAAkC,EAAE;IAEpC,MAAM,IAAI,GAAa,EAAE,CAAC;IAE1B,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC;QAC7C,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QACnC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrB,IAAI,CAAC,IAAI,CAAC,4BAA4B,CAAC,IAAI,CAAC,CAAC,CAAC;IAChD,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,CAAC,kBAAkB,GAAG,CAAC,EAAE,CAAC;QACzC,IAAI,CAAC,IAAI,CAAC,yBAAyB,MAAM,CAAC,MAAM,CAAC,kBAAkB,GAAG,CAAC,CAAC;IAC1E,CAAC;IACD,IAAI,MAAM,CAAC,oBAAoB,EAAE,MAAM,EAAE,CAAC;QACxC,IAAI,CAAC,IAAI,CAAC,cAAc,MAAM,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACrE,CAAC;IAED,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACd,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACpB,IAAI,CAAC,IAAI,CACP,gMAAgM,CACjM,CAAC;IAEF,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAC7B,MAAM,EAAE,GAAG,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QACpE,MAAM,IAAI,GAAG,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,0BAA0B,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC/E,IAAI,CAAC,IAAI,CACP,MAAM,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,IAAI,UAAU,CAAC,CAAC,SAAS,CAAC,KAAK,SAAS,CAAC,CAAC,YAAY,CAAC,QAAQ,WAAW,CAAC,CAAC,YAAY,CAAC,WAAW,YAAY,CAAC,CAAC,OAAO,eAAe,CAAC,CAAC,UAAU,qBAAqB,CAAC,CAAC,gBAAgB,EAAE,CACnN,CAAC;QACF,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;QAChC,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACvD,IAAI,CAAC,IAAI,CAAC,KAAK,oBAAoB,GAAG,CAAC,CAAC,cAAc,CAAC,QAAQ,EAAE,CAAC,CAAC;QACnE,IAAI,CAAC,IAAI,CAAC,KAAK,oBAAoB,GAAG,CAAC,CAAC,cAAc,CAAC,QAAQ,EAAE,CAAC,CAAC;QACnE,IAAI,CAAC,IAAI,CAAC,KAAK,6BAA6B,GAAG,CAAC,CAAC,cAAc,CAAC,iBAAiB,EAAE,CAAC,CAAC;QACrF,IAAI,CAAC,IAAI,CAAC,KAAK,gCAAgC,GAAG,CAAC,CAAC,cAAc,CAAC,oBAAoB,EAAE,CAAC,CAAC;QAC3F,IAAI,CAAC,CAAC,qBAAqB,KAAK,SAAS,EAAE,CAAC;YAC1C,MAAM,EAAE,GAAG,CAAC,CAAC,qBAAqB,CAAC;YACnC,IAAI,CAAC,IAAI,CAAC,8CAA8C,EAAE,CAAC,eAAe,EAAE,CAAC,CAAC;YAC9E,IAAI,CAAC,IAAI,CAAC,yBAAyB,EAAE,CAAC,cAAc,EAAE,CAAC,CAAC;YACxD,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC;gBAChC,IAAI,CAAC,IAAI,CAAC,mBAAmB,IAAI,EAAE,CAAC,CAAC;YACvC,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,+BAA+B,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,qBAAqB,CAAC,EAAE,CAAC,CAAC;QACvF,CAAC;IACH,CAAC;IAED,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACtB,CAAC;IAED,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACd,MAAM,EAAE,GAAG,GAAG,CAAC,UAAU,IAAI,cAAc,CAAC;IAC5C,MAAM,EAAE,GAAG,GAAG,CAAC,UAAU,IAAI,iBAAiB,CAAC;IAC/C,MAAM,GAAG,GAAG,GAAG,CAAC,YAAY,IAAI,iBAAiB,CAAC;IAClD,MAAM,MAAM,GAAG,GAAG,CAAC,WAAW;QAC5B,CAAC,CAAC,wBAAwB;QAC1B,CAAC,CAAC,GAAG,CAAC,MAAM;YACV,CAAC,CAAC,QAAQ,GAAG,CAAC,MAAM,EAAE;YACtB,CAAC,CAAC,mBAAmB,CAAC;IAC1B,IAAI,CAAC,IAAI,CACP,+JAA+J,EAAE,aAAa,EAAE,eAAe,GAAG,IAAI,MAAM,EAAE,CAC/M,CAAC;IAEF,MAAM,OAAO,GAAG,CAAC,kBAAkB,EAAE,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,gBAAgB,CAAC,CAAC;IACpF,MAAM,MAAM,GAAG,CAAC,0BAA0B,EAAE,0BAA0B,EAAE,0BAA0B,CAAC,CAAC;IAEpG,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;AAC/E,CAAC"}

package/dist/quickVerify/formatQuickVerifyHumanReport.test.d.ts

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

package/dist/quickVerify/formatQuickVerifyHumanReport.test.d.ts.map

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

package/dist/quickVerify/formatQuickVerifyHumanReport.test.js

@@ -0,0 +1,41 @@
+import { describe, expect, it } from "vitest";
+import { formatQuickVerifyHumanReport, QUICK_VERIFY_BANNER_LINE_1, QUICK_VERIFY_BANNER_LINE_2, QUICK_VERIFY_BANNER_LINE_3, } from "./formatQuickVerifyHumanReport.js";
+import { HUMAN_REPORT_BEGIN, HUMAN_REPORT_END, verdictLine } from "./quickVerifyHumanCopy.js";
+import { DEFAULT_QUICK_VERIFY_SCOPE } from "./quickVerifyScope.js";
+import { DEFAULT_QUICK_VERIFY_PRODUCT_TRUTH } from "./quickVerifyProductTruth.js";
+function minimalReport(verdict) {
+    return {
+        schemaVersion: 4,
+        verdict,
+        summary: `Inferred provisional check — rollup ${verdict} is not a production-safety or audit-final verdict. 0 unit(s).`,
+        verificationMode: "inferred",
+        scope: { ...DEFAULT_QUICK_VERIFY_SCOPE },
+        productTruth: DEFAULT_QUICK_VERIFY_PRODUCT_TRUTH,
+        ingest: { reasonCodes: ["INGEST_NO_ACTIONS"], malformedLineCount: 0 },
+        units: [],
+        exportableRegistry: { tools: [] },
+    };
+}
+describe("formatQuickVerifyHumanReport", () => {
+    it("first three lines are exact anchors for uncertain", () => {
+        const out = formatQuickVerifyHumanReport(minimalReport("uncertain"));
+        const lines = out.split("\n");
+        expect(lines[0]).toBe(HUMAN_REPORT_BEGIN);
+        expect(lines[1]).toBe(verdictLine("uncertain"));
+        expect(lines[2]).toBe(HUMAN_REPORT_END);
+        expect(lines[3]).toBe(QUICK_VERIFY_BANNER_LINE_1);
+        expect(lines[4]).toBe(QUICK_VERIFY_BANNER_LINE_2);
+        expect(lines[5]).toBe(QUICK_VERIFY_BANNER_LINE_3);
+        expect(lines.length).toBeGreaterThan(6);
+    });
+    it("first three lines are exact anchors for pass and fail", () => {
+        for (const v of ["pass", "fail"]) {
+            const out = formatQuickVerifyHumanReport(minimalReport(v));
+            const lines = out.split("\n");
+            expect(lines[0]).toBe(HUMAN_REPORT_BEGIN);
+            expect(lines[1]).toBe(verdictLine(v));
+            expect(lines[2]).toBe(HUMAN_REPORT_END);
+        }
+    });
+});
+//# sourceMappingURL=formatQuickVerifyHumanReport.test.js.map

package/dist/quickVerify/formatQuickVerifyHumanReport.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"formatQuickVerifyHumanReport.test.js","sourceRoot":"","sources":["../../src/quickVerify/formatQuickVerifyHumanReport.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EACL,4BAA4B,EAC5B,0BAA0B,EAC1B,0BAA0B,EAC1B,0BAA0B,GAC3B,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AAC9F,OAAO,EAAE,0BAA0B,EAAE,MAAM,uBAAuB,CAAC;AACnE,OAAO,EAAE,kCAAkC,EAAE,MAAM,8BAA8B,CAAC;AAGlF,SAAS,aAAa,CAAC,OAAsC;IAC3D,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,OAAO;QACP,OAAO,EAAE,uCAAuC,OAAO,gEAAgE;QACvH,gBAAgB,EAAE,UAAU;QAC5B,KAAK,EAAE,EAAE,GAAG,0BAA0B,EAAE;QACxC,YAAY,EAAE,kCAAkC;QAChD,MAAM,EAAE,EAAE,WAAW,EAAE,CAAC,mBAAmB,CAAC,EAAE,kBAAkB,EAAE,CAAC,EAAE;QACrE,KAAK,EAAE,EAAE;QACT,kBAAkB,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE;KAClC,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,GAAG,GAAG,4BAA4B,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC,CAAC;QACrE,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QAC1C,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC;QAChD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QACxC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;QAClD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;QAClD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;QAClD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,KAAK,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAU,EAAE,CAAC;YAC1C,MAAM,GAAG,GAAG,4BAA4B,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3D,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC9B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;YAC1C,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;YACtC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/quickVerify/ingest.d.ts

@@ -0,0 +1,34 @@
+export type RawAction = {
+    toolName: string;
+    params: Record<string, unknown>;
+};
+export type IngestContext = {
+    actions: RawAction[];
+    reasonCodes: string[];
+    malformedLineCount: number;
+};
+export declare function createIngestContext(): IngestContext;
+export declare function extractActions(ctx: IngestContext, value: unknown): void;
+export type IngestResult = {
+    actions: RawAction[];
+    reasonCodes: string[];
+    malformedLineCount: number;
+    inputTooLarge: boolean;
+};
+/**
+ * Full ingest ladder per docs/quick-verify-normative.md A.5–A.6.
+ */
+export declare function ingestActivityUtf8(bufferUtf8: string): IngestResult;
+export type FlatScalar = string | number | boolean | null;
+export declare function flattenParams(params: Record<string, unknown>, maxDepth?: number, maxNodes?: number): {
+    flat: Record<string, FlatScalar>;
+    warnings: string[];
+};
+export declare function dedupeActions(actions: RawAction[]): {
+    unique: Array<{
+        toolName: string;
+        flat: Record<string, FlatScalar>;
+    }>;
+    droppedWarnings: string[];
+};
+//# sourceMappingURL=ingest.d.ts.map

package/dist/quickVerify/ingest.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ingest.d.ts","sourceRoot":"","sources":["../../src/quickVerify/ingest.ts"],"names":[],"mappings":"AAIA,MAAM,MAAM,SAAS,GAAG;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE,CAAC;AA+F9E,MAAM,MAAM,aAAa,GAAG;IAC1B,OAAO,EAAE,SAAS,EAAE,CAAC;IACrB,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,kBAAkB,EAAE,MAAM,CAAC;CAC5B,CAAC;AAEF,wBAAgB,mBAAmB,IAAI,aAAa,CAEnD;AAUD,wBAAgB,cAAc,CAAC,GAAG,EAAE,aAAa,EAAE,KAAK,EAAE,OAAO,GAAG,IAAI,CAevE;AA6CD,MAAM,MAAM,YAAY,GAAG;IACzB,OAAO,EAAE,SAAS,EAAE,CAAC;IACrB,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,aAAa,EAAE,OAAO,CAAC;CACxB,CAAC;AAEF;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,UAAU,EAAE,MAAM,GAAG,YAAY,CA2FnE;AAED,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAAC;AAE1D,wBAAgB,aAAa,CAC3B,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC/B,QAAQ,GAAE,MAA0B,EACpC,QAAQ,GAAE,MAA0B,GACnC;IAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;CAAE,CA6C1D;AAED,wBAAgB,aAAa,CAC3B,OAAO,EAAE,SAAS,EAAE,GACnB;IAAE,MAAM,EAAE,KAAK,CAAC;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;KAAE,CAAC,CAAC;IAAC,eAAe,EAAE,MAAM,EAAE,CAAA;CAAE,CAatG"}

package/dist/quickVerify/ingest.js

@@ -0,0 +1,327 @@
+import { compareUtf16Id } from "../resolveExpectation.js";
+import { MAX_ACTIONS, MAX_INPUT_BYTES, FLATTEN_MAX_DEPTH, FLATTEN_MAX_NODES } from "./thresholds.js";
+import { stableStringify } from "./canonicalJson.js";
+const TOOL_NAME_KEYS = ["toolId", "tool", "name", "function.name", "action"];
+function getToolNameKey(obj) {
+    for (const k of TOOL_NAME_KEYS) {
+        if (k === "function.name") {
+            const fn = obj.function;
+            if (fn && typeof fn === "object" && fn !== null && !Array.isArray(fn)) {
+                const name = fn.name;
+                if (typeof name === "string" && name.length > 0)
+                    return name;
+            }
+            continue;
+        }
+        const v = obj[k];
+        if (typeof v === "string" && v.length > 0)
+            return v;
+    }
+    return undefined;
+}
+function getParamsObject(obj) {
+    for (const k of ["params", "arguments", "input"]) {
+        const v = obj[k];
+        if (v && typeof v === "object" && !Array.isArray(v))
+            return v;
+        if (typeof v === "string") {
+            const u = v.trim();
+            if (u.length === 0)
+                continue;
+            if (u.startsWith("{") || u.startsWith("[")) {
+                try {
+                    const parsed = JSON.parse(u);
+                    if (parsed !== null && typeof parsed === "object" && !Array.isArray(parsed)) {
+                        return parsed;
+                    }
+                }
+                catch {
+                    /* ignore */
+                }
+            }
+        }
+    }
+    const out = {};
+    const skip = new Set(["tool_calls", "toolId", "tool", "name", "action", "function"]);
+    for (const k of Object.keys(obj)) {
+        if (skip.has(k))
+            continue;
+        if (k === "function")
+            continue;
+        out[k] = obj[k];
+    }
+    return out;
+}
+const RE_CSI = /\u001b\[[\d;?]*[\s-/]*[@-~]/g;
+const RE_LOG_P1 = /^\d{4}-\d{2}-\d{2}[T ]\d{2}:\d{2}:\d{2}(?:\.\d+)?(?:Z|[+-]\d{2}:?\d{2})?\s+/;
+const RE_LOG_P2 = /^(?:DEBUG|INFO|WARN|WARNING|ERROR|TRACE)\s+/i;
+const RE_LOG_P3 = /^\[[^\]]{1,64}\]\s+/;
+function stripAnsiCsi(buffer) {
+    return buffer.replace(RE_CSI, "");
+}
+/** L3: salvage timestamp / level / bracket prefixes, then JSON.parse (quick-verify-normative A.5). */
+function tryParseLineWithSalvage(line) {
+    const s0 = line.trim();
+    if (s0.length === 0)
+        return null;
+    let s1 = s0.replace(RE_LOG_P1, "").trim();
+    const tryParse = (s) => {
+        try {
+            return JSON.parse(s);
+        }
+        catch {
+            return null;
+        }
+    };
+    let v = tryParse(s1);
+    if (v !== null)
+        return v;
+    if (RE_LOG_P2.test(s1)) {
+        const s2 = s1.replace(RE_LOG_P2, "").trim();
+        v = tryParse(s2);
+        if (v !== null)
+            return v;
+    }
+    if (RE_LOG_P3.test(s1)) {
+        const s3 = s1.replace(RE_LOG_P3, "").trim();
+        v = tryParse(s3);
+        if (v !== null)
+            return v;
+    }
+    return null;
+}
+function stripMalformedFromReasonCodes(reasonCodes) {
+    return reasonCodes.filter((c) => c !== "MALFORMED_LINE");
+}
+export function createIngestContext() {
+    return { actions: [], reasonCodes: [], malformedLineCount: 0 };
+}
+function pushAction(ctx, toolName, params) {
+    if (ctx.actions.length >= MAX_ACTIONS) {
+        if (!ctx.reasonCodes.includes("INGEST_ACTION_CAP"))
+            ctx.reasonCodes.push("INGEST_ACTION_CAP");
+        return;
+    }
+    ctx.actions.push({ toolName, params });
+}
+export function extractActions(ctx, value) {
+    if (value === null || value === undefined)
+        return;
+    if (Array.isArray(value)) {
+        for (const el of value)
+            extractActions(ctx, el);
+        return;
+    }
+    if (typeof value !== "object")
+        return;
+    const obj = value;
+    if (Array.isArray(obj.tool_calls)) {
+        for (const c of obj.tool_calls)
+            extractActions(ctx, c);
+    }
+    const tn = getToolNameKey(obj);
+    if (tn !== undefined) {
+        pushAction(ctx, tn, getParamsObject(obj));
+    }
+}
+function scanBalancedJsonObjects(buffer) {
+    const out = [];
+    let i = 0;
+    while (i < buffer.length) {
+        const start = buffer.indexOf("{", i);
+        if (start === -1)
+            break;
+        let depth = 0;
+        let j = start;
+        let inStr = null;
+        let esc = false;
+        for (; j < buffer.length; j++) {
+            const ch = buffer[j];
+            if (inStr) {
+                if (esc) {
+                    esc = false;
+                    continue;
+                }
+                if (ch === "\\") {
+                    esc = true;
+                    continue;
+                }
+                if (ch === inStr)
+                    inStr = null;
+                continue;
+            }
+            if (ch === '"' || ch === "'") {
+                inStr = ch;
+                continue;
+            }
+            if (ch === "{")
+                depth++;
+            if (ch === "}") {
+                depth--;
+                if (depth === 0) {
+                    out.push(buffer.slice(start, j + 1));
+                    i = j + 1;
+                    break;
+                }
+            }
+        }
+        if (j >= buffer.length)
+            break;
+    }
+    return out;
+}
+/**
+ * Full ingest ladder per docs/quick-verify-normative.md A.5–A.6.
+ */
+export function ingestActivityUtf8(bufferUtf8) {
+    const bytes = Buffer.byteLength(bufferUtf8, "utf8");
+    if (bytes > MAX_INPUT_BYTES) {
+        return {
+            actions: [],
+            reasonCodes: ["INGEST_INPUT_TOO_LARGE"],
+            malformedLineCount: 0,
+            inputTooLarge: true,
+        };
+    }
+    let buf = bufferUtf8;
+    if (buf.charCodeAt(0) === 0xfeff)
+        buf = buf.slice(1);
+    buf = stripAnsiCsi(buf);
+    if (buf.trim().length === 0) {
+        return {
+            actions: [],
+            reasonCodes: ["INGEST_NO_ACTIONS"],
+            malformedLineCount: 0,
+            inputTooLarge: false,
+        };
+    }
+    try {
+        const root = JSON.parse(buf);
+        const ctx = createIngestContext();
+        extractActions(ctx, root);
+        if (ctx.actions.length >= 1) {
+            return {
+                actions: ctx.actions,
+                reasonCodes: ctx.reasonCodes,
+                malformedLineCount: ctx.malformedLineCount,
+                inputTooLarge: false,
+            };
+        }
+    }
+    catch {
+        /* L2 parse throws → L3 */
+    }
+    const lineCtx = createIngestContext();
+    const lines = buf.split("\n");
+    for (const line of lines) {
+        const t = line.trim();
+        if (t.length === 0)
+            continue;
+        const v = tryParseLineWithSalvage(line);
+        if (v !== null) {
+            extractActions(lineCtx, v);
+        }
+        else {
+            lineCtx.malformedLineCount++;
+            lineCtx.reasonCodes.push("MALFORMED_LINE");
+        }
+    }
+    if (lineCtx.actions.length >= 1) {
+        return {
+            actions: lineCtx.actions,
+            reasonCodes: stripMalformedFromReasonCodes(lineCtx.reasonCodes),
+            malformedLineCount: lineCtx.malformedLineCount,
+            inputTooLarge: false,
+        };
+    }
+    for (const slice of scanBalancedJsonObjects(buf)) {
+        try {
+            const v = JSON.parse(slice);
+            const c = createIngestContext();
+            extractActions(c, v);
+            if (c.actions.length >= 1) {
+                return {
+                    actions: c.actions,
+                    reasonCodes: stripMalformedFromReasonCodes(lineCtx.reasonCodes).concat(c.reasonCodes),
+                    malformedLineCount: lineCtx.malformedLineCount,
+                    inputTooLarge: false,
+                };
+            }
+        }
+        catch {
+            /* ignore */
+        }
+    }
+    const finalRc = [];
+    if (lineCtx.malformedLineCount > 0) {
+        for (let i = 0; i < lineCtx.malformedLineCount; i++)
+            finalRc.push("MALFORMED_LINE");
+    }
+    finalRc.push("INGEST_NO_STRUCTURED_TOOL_ACTIVITY");
+    return {
+        actions: [],
+        reasonCodes: finalRc,
+        malformedLineCount: lineCtx.malformedLineCount,
+        inputTooLarge: false,
+    };
+}
+export function flattenParams(params, maxDepth = FLATTEN_MAX_DEPTH, maxNodes = FLATTEN_MAX_NODES) {
+    const flat = {};
+    const warnings = [];
+    const seen = new WeakSet();
+    function walk(prefix, val, depth, counter) {
+        if (counter.n >= maxNodes) {
+            warnings.push("FLATTEN_NODE_CAP");
+            return;
+        }
+        counter.n++;
+        if (depth > maxDepth)
+            return;
+        if (val === null || typeof val === "string" || typeof val === "number" || typeof val === "boolean") {
+            const key = prefix || "value";
+            flat[key] = val;
+            return;
+        }
+        if (Array.isArray(val)) {
+            for (let i = 0; i < val.length; i++) {
+                const el = val[i];
+                if (el !== null && typeof el === "object") {
+                    walk(prefix ? `${prefix}[${i}]` : `[${i}]`, el, depth + 1, counter);
+                }
+            }
+            return;
+        }
+        if (typeof val === "object") {
+            if (seen.has(val)) {
+                const key = prefix || "value";
+                flat[key] = null;
+                return;
+            }
+            seen.add(val);
+            const o = val;
+            const keys = Object.keys(o).sort(compareUtf16Id);
+            for (const k of keys) {
+                const p = prefix ? `${prefix}.${k}` : k;
+                walk(p, o[k], depth + 1, counter);
+            }
+        }
+    }
+    const counter = { n: 0 };
+    walk("", params, 0, counter);
+    return { flat, warnings };
+}
+export function dedupeActions(actions) {
+    const droppedWarnings = [];
+    const seen = new Map();
+    for (const a of actions) {
+        const { flat } = flattenParams(a.params, FLATTEN_MAX_DEPTH, FLATTEN_MAX_NODES);
+        const key = stableStringify({ toolName: a.toolName, flat });
+        if (seen.has(key)) {
+            droppedWarnings.push("DEDUPE_DROPPED");
+            continue;
+        }
+        seen.set(key, { toolName: a.toolName, flat });
+    }
+    return { unique: [...seen.values()], droppedWarnings };
+}
+//# sourceMappingURL=ingest.js.map

package/dist/quickVerify/ingest.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ingest.js","sourceRoot":"","sources":["../../src/quickVerify/ingest.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,EAAE,WAAW,EAAE,eAAe,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACrG,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAIrD,MAAM,cAAc,GAAG,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,eAAe,EAAE,QAAQ,CAAU,CAAC;AAEtF,SAAS,cAAc,CAAC,GAA4B;IAClD,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;QAC/B,IAAI,CAAC,KAAK,eAAe,EAAE,CAAC;YAC1B,MAAM,EAAE,GAAG,GAAG,CAAC,QAAQ,CAAC;YACxB,IAAI,EAAE,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,EAAE,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;gBACtE,MAAM,IAAI,GAAI,EAA8B,CAAC,IAAI,CAAC;gBAClD,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;oBAAE,OAAO,IAAI,CAAC;YAC/D,CAAC;YACD,SAAS;QACX,CAAC;QACD,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QACjB,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,eAAe,CAAC,GAA4B;IACnD,KAAK,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,WAAW,EAAE,OAAO,CAAU,EAAE,CAAC;QAC1D,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QACjB,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;YAAE,OAAO,CAA4B,CAAC;QACzF,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YAC1B,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;YACnB,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YAC7B,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC3C,IAAI,CAAC;oBACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAY,CAAC;oBACxC,IAAI,MAAM,KAAK,IAAI,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;wBAC5E,OAAO,MAAiC,CAAC;oBAC3C,CAAC;gBACH,CAAC;gBAAC,MAAM,CAAC;oBACP,YAAY;gBACd,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,GAAG,GAA4B,EAAE,CAAC;IACxC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS,CAAC,YAAY,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;IAC7F,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACjC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,SAAS;QAC1B,IAAI,CAAC,KAAK,UAAU;YAAE,SAAS;QAC/B,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,MAAM,GAAG,8BAA8B,CAAC;AAE9C,MAAM,SAAS,GAAG,6EAA6E,CAAC;AAChG,MAAM,SAAS,GAAG,8CAA8C,CAAC;AACjE,MAAM,SAAS,GAAG,qBAAqB,CAAC;AAExC,SAAS,YAAY,CAAC,MAAc;IAClC,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;AACpC,CAAC;AAED,sGAAsG;AACtG,SAAS,uBAAuB,CAAC,IAAY;IAC3C,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IACvB,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAEjC,IAAI,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC1C,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAkB,EAAE;QAC7C,IAAI,CAAC;YACH,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAY,CAAC;QAClC,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC,CAAC;IAEF,IAAI,CAAC,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC;IACrB,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,CAAC,CAAC;IAEzB,IAAI,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;QACvB,MAAM,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QAC5C,CAAC,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC;QACjB,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,CAAC,CAAC;IAC3B,CAAC;IAED,IAAI,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;QACvB,MAAM,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QAC5C,CAAC,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC;QACjB,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,CAAC,CAAC;IAC3B,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,6BAA6B,CAAC,WAAqB;IAC1D,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,gBAAgB,CAAC,CAAC;AAC3D,CAAC;AAQD,MAAM,UAAU,mBAAmB;IACjC,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,kBAAkB,EAAE,CAAC,EAAE,CAAC;AACjE,CAAC;AAED,SAAS,UAAU,CAAC,GAAkB,EAAE,QAAgB,EAAE,MAA+B;IACvF,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,IAAI,WAAW,EAAE,CAAC;QACtC,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,QAAQ,CAAC,mBAAmB,CAAC;YAAE,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QAC9F,OAAO;IACT,CAAC;IACD,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;AACzC,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,GAAkB,EAAE,KAAc;IAC/D,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO;IAClD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,KAAK,MAAM,EAAE,IAAI,KAAK;YAAE,cAAc,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAChD,OAAO;IACT,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO;IACtC,MAAM,GAAG,GAAG,KAAgC,CAAC;IAC7C,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;QAClC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,UAAU;YAAE,cAAc,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACzD,CAAC;IACD,MAAM,EAAE,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IAC/B,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;QACrB,UAAU,CAAC,GAAG,EAAE,EAAE,EAAE,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5C,CAAC;AACH,CAAC;AAED,SAAS,uBAAuB,CAAC,MAAc;IAC7C,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACrC,IAAI,KAAK,KAAK,CAAC,CAAC;YAAE,MAAM;QACxB,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,IAAI,CAAC,GAAG,KAAK,CAAC;QACd,IAAI,KAAK,GAAkB,IAAI,CAAC;QAChC,IAAI,GAAG,GAAG,KAAK,CAAC;QAChB,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC9B,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;YACrB,IAAI,KAAK,EAAE,CAAC;gBACV,IAAI,GAAG,EAAE,CAAC;oBACR,GAAG,GAAG,KAAK,CAAC;oBACZ,SAAS;gBACX,CAAC;gBACD,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;oBAChB,GAAG,GAAG,IAAI,CAAC;oBACX,SAAS;gBACX,CAAC;gBACD,IAAI,EAAE,KAAK,KAAK;oBAAE,KAAK,GAAG,IAAI,CAAC;gBAC/B,SAAS;YACX,CAAC;YACD,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;gBAC7B,KAAK,GAAG,EAAE,CAAC;gBACX,SAAS;YACX,CAAC;YACD,IAAI,EAAE,KAAK,GAAG;gBAAE,KAAK,EAAE,CAAC;YACxB,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;gBACf,KAAK,EAAE,CAAC;gBACR,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;oBAChB,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;oBACrC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;oBACV,MAAM;gBACR,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,CAAC,IAAI,MAAM,CAAC,MAAM;YAAE,MAAM;IAChC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AASD;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAAC,UAAkB;IACnD,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IACpD,IAAI,KAAK,GAAG,eAAe,EAAE,CAAC;QAC5B,OAAO;YACL,OAAO,EAAE,EAAE;YACX,WAAW,EAAE,CAAC,wBAAwB,CAAC;YACvC,kBAAkB,EAAE,CAAC;YACrB,aAAa,EAAE,IAAI;SACpB,CAAC;IACJ,CAAC;IAED,IAAI,GAAG,GAAG,UAAU,CAAC;IACrB,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,MAAM;QAAE,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACrD,GAAG,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;IAExB,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO;YACL,OAAO,EAAE,EAAE;YACX,WAAW,EAAE,CAAC,mBAAmB,CAAC;YAClC,kBAAkB,EAAE,CAAC;YACrB,aAAa,EAAE,KAAK;SACrB,CAAC;IACJ,CAAC;IAED,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAY,CAAC;QACxC,MAAM,GAAG,GAAG,mBAAmB,EAAE,CAAC;QAClC,cAAc,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC1B,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YAC5B,OAAO;gBACL,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,WAAW,EAAE,GAAG,CAAC,WAAW;gBAC5B,kBAAkB,EAAE,GAAG,CAAC,kBAAkB;gBAC1C,aAAa,EAAE,KAAK;aACrB,CAAC;QACJ,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,0BAA0B;IAC5B,CAAC;IAED,MAAM,OAAO,GAAG,mBAAmB,EAAE,CAAC;IACtC,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC9B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAC7B,MAAM,CAAC,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YACf,cAAc,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QAC7B,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,kBAAkB,EAAE,CAAC;YAC7B,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;IACD,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QAChC,OAAO;YACL,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,WAAW,EAAE,6BAA6B,CAAC,OAAO,CAAC,WAAW,CAAC;YAC/D,kBAAkB,EAAE,OAAO,CAAC,kBAAkB;YAC9C,aAAa,EAAE,KAAK;SACrB,CAAC;IACJ,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,uBAAuB,CAAC,GAAG,CAAC,EAAE,CAAC;QACjD,IAAI,CAAC;YACH,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAY,CAAC;YACvC,MAAM,CAAC,GAAG,mBAAmB,EAAE,CAAC;YAChC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACrB,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBAC1B,OAAO;oBACL,OAAO,EAAE,CAAC,CAAC,OAAO;oBAClB,WAAW,EAAE,6BAA6B,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC;oBACrF,kBAAkB,EAAE,OAAO,CAAC,kBAAkB;oBAC9C,aAAa,EAAE,KAAK;iBACrB,CAAC;YACJ,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,YAAY;QACd,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,OAAO,CAAC,kBAAkB,GAAG,CAAC,EAAE,CAAC;QACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,kBAAkB,EAAE,CAAC,EAAE;YAAE,OAAO,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IACtF,CAAC;IACD,OAAO,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;IACnD,OAAO;QACL,OAAO,EAAE,EAAE;QACX,WAAW,EAAE,OAAO;QACpB,kBAAkB,EAAE,OAAO,CAAC,kBAAkB;QAC9C,aAAa,EAAE,KAAK;KACrB,CAAC;AACJ,CAAC;AAID,MAAM,UAAU,aAAa,CAC3B,MAA+B,EAC/B,WAAmB,iBAAiB,EACpC,WAAmB,iBAAiB;IAEpC,MAAM,IAAI,GAA+B,EAAE,CAAC;IAC5C,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,IAAI,GAAG,IAAI,OAAO,EAAU,CAAC;IAEnC,SAAS,IAAI,CAAC,MAAc,EAAE,GAAY,EAAE,KAAa,EAAE,OAAsB;QAC/E,IAAI,OAAO,CAAC,CAAC,IAAI,QAAQ,EAAE,CAAC;YAC1B,QAAQ,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;YAClC,OAAO;QACT,CAAC;QACD,OAAO,CAAC,CAAC,EAAE,CAAC;QACZ,IAAI,KAAK,GAAG,QAAQ;YAAE,OAAO;QAC7B,IAAI,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,OAAO,GAAG,KAAK,SAAS,EAAE,CAAC;YACnG,MAAM,GAAG,GAAG,MAAM,IAAI,OAAO,CAAC;YAC9B,IAAI,CAAC,GAAG,CAAC,GAAG,GAAiB,CAAC;YAC9B,OAAO;QACT,CAAC;QACD,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YACvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACpC,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;gBAClB,IAAI,EAAE,KAAK,IAAI,IAAI,OAAO,EAAE,KAAK,QAAQ,EAAE,CAAC;oBAC1C,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,EAAE,KAAK,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC;gBACtE,CAAC;YACH,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;YAC5B,IAAI,IAAI,CAAC,GAAG,CAAC,GAAa,CAAC,EAAE,CAAC;gBAC5B,MAAM,GAAG,GAAG,MAAM,IAAI,OAAO,CAAC;gBAC9B,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC;gBACjB,OAAO;YACT,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,GAAa,CAAC,CAAC;YACxB,MAAM,CAAC,GAAG,GAA8B,CAAC;YACzC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;YACjD,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;gBACrB,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;gBACxC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC;YACpC,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;IACzB,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC;IAC7B,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AAC5B,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,OAAoB;IAEpB,MAAM,eAAe,GAAa,EAAE,CAAC;IACrC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkE,CAAC;IACvF,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,MAAM,EAAE,IAAI,EAAE,GAAG,aAAa,CAAC,CAAC,CAAC,MAAM,EAAE,iBAAiB,EAAE,iBAAiB,CAAC,CAAC;QAC/E,MAAM,GAAG,GAAG,eAAe,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;QAC5D,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAClB,eAAe,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;YACvC,SAAS;QACX,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;IAChD,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC;AACzD,CAAC"}

package/dist/quickVerify/noMutatingSqlInSources.test.d.ts

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

package/dist/quickVerify/noMutatingSqlInSources.test.d.ts.map

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

package/dist/quickVerify/noMutatingSqlInSources.test.js

@@ -0,0 +1,34 @@
+import { describe, expect, it } from "vitest";
+import { readdirSync, readFileSync } from "node:fs";
+import path from "node:path";
+import { fileURLToPath } from "node:url";
+import { quickVerifySourceViolatesSqlPolicy } from "./forbiddenMutatingSql.js";
+const dir = path.join(path.dirname(fileURLToPath(import.meta.url)));
+describe("quickVerify sources SQL policy", () => {
+    it("no production quickVerify .ts file contains forbidden DML pattern", () => {
+        for (const f of readdirSync(dir)) {
+            if (!f.endsWith(".ts") || f.endsWith(".test.ts"))
+                continue;
+            const text = readFileSync(path.join(dir, f), "utf8");
+            expect(quickVerifySourceViolatesSqlPolicy(text), f).toBe(false);
+        }
+    });
+    describe("quickVerifySourceViolatesSqlPolicy negatives", () => {
+        it("flags INSERT INTO", () => {
+            expect(quickVerifySourceViolatesSqlPolicy("INSERT INTO t VALUES (1)")).toBe(true);
+        });
+        it("flags UPDATE ... SET", () => {
+            expect(quickVerifySourceViolatesSqlPolicy("UPDATE foo SET x = 1")).toBe(true);
+        });
+        it("flags DELETE FROM", () => {
+            expect(quickVerifySourceViolatesSqlPolicy("DELETE FROM bar")).toBe(true);
+        });
+        it("flags DROP TABLE", () => {
+            expect(quickVerifySourceViolatesSqlPolicy("DROP TABLE baz")).toBe(true);
+        });
+        it("flags TRUNCATE TABLE", () => {
+            expect(quickVerifySourceViolatesSqlPolicy("TRUNCATE TABLE qux")).toBe(true);
+        });
+    });
+});
+//# sourceMappingURL=noMutatingSqlInSources.test.js.map

package/dist/quickVerify/noMutatingSqlInSources.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"noMutatingSqlInSources.test.js","sourceRoot":"","sources":["../../src/quickVerify/noMutatingSqlInSources.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACpD,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,kCAAkC,EAAE,MAAM,2BAA2B,CAAC;AAE/E,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AAEpE,QAAQ,CAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,KAAK,MAAM,CAAC,IAAI,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;YACjC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC;gBAAE,SAAS;YAC3D,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;YACrD,MAAM,CAAC,kCAAkC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClE,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,8CAA8C,EAAE,GAAG,EAAE;QAC5D,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;YAC3B,MAAM,CAAC,kCAAkC,CAAC,0BAA0B,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpF,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;YAC9B,MAAM,CAAC,kCAAkC,CAAC,sBAAsB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChF,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;YAC3B,MAAM,CAAC,kCAAkC,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3E,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,kBAAkB,EAAE,GAAG,EAAE;YAC1B,MAAM,CAAC,kCAAkC,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1E,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;YAC9B,MAAM,CAAC,kCAAkC,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9E,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/quickVerify/postgresCatalog.d.ts

@@ -0,0 +1,19 @@
+import type pg from "pg";
+import type { ColumnInfo, FkEdge, SchemaCatalog, UniqueConstraint } from "./schemaCatalogTypes.js";
+/**
+ * Schema introspection for Quick Verify using pg_catalog + privilege checks.
+ * information_schema joins that omit `table_name` can mis-associate constraints across tables
+ * (PostgreSQL allows the same constraint name on different tables). SELECT-only roles also
+ * rely on stable visibility of tables they may read — pg_catalog + has_table_privilege matches that.
+ */
+export declare class PostgresSchemaCatalog implements SchemaCatalog {
+    private readonly client;
+    readonly dialect: "postgres";
+    constructor(client: pg.Client);
+    listTables(): Promise<string[]>;
+    listColumns(table: string): Promise<ColumnInfo[]>;
+    primaryKeyColumns(table: string): Promise<string[]>;
+    listUniqueConstraints(table: string): Promise<UniqueConstraint[]>;
+    listFkEdges(): Promise<FkEdge[]>;
+}
+//# sourceMappingURL=postgresCatalog.d.ts.map

package/dist/quickVerify/postgresCatalog.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"postgresCatalog.d.ts","sourceRoot":"","sources":["../../src/quickVerify/postgresCatalog.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC;AACzB,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAEnG;;;;;GAKG;AACH,qBAAa,qBAAsB,YAAW,aAAa;IAG7C,OAAO,CAAC,QAAQ,CAAC,MAAM;IAFnC,QAAQ,CAAC,OAAO,EAAG,UAAU,CAAU;gBAEV,MAAM,EAAE,EAAE,CAAC,MAAM;IAExC,UAAU,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;IAc/B,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,EAAE,CAAC;IAiBjD,iBAAiB,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;IAgBnD,qBAAqB,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,EAAE,CAAC;IAyBjE,WAAW,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;CA0CvC"}