agentskeptic 4.2.0 → 6.0.0

package/dist/decisionBlocker.contract.test.d.ts.map

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

package/dist/decisionBlocker.contract.test.js

@@ -1,51 +0,0 @@
-import { readFileSync, mkdtempSync, rmSync } from "node:fs";
-import { join, dirname } from "node:path";
-import { tmpdir } from "node:os";
-import { fileURLToPath } from "node:url";
-import { DatabaseSync } from "node:sqlite";
-import { afterAll, beforeAll, describe, expect, it } from "vitest";
-import { buildOutcomeCertificateFromWorkflowResult } from "./outcomeCertificate.js";
-import { formatDecisionBlockerForHumans } from "./decisionBlocker.js";
-import { verifyWorkflow } from "./pipeline.js";
-const root = join(dirname(fileURLToPath(import.meta.url)), "..");
-describe("formatDecisionBlockerForHumans contract", () => {
-    /** Seeded SQLite under tmp — `examples/demo.db` is gitignored and absent on clean CI. */
-    let workDir;
-    let dbPath;
-    beforeAll(() => {
-        workDir = mkdtempSync(join(tmpdir(), "agentskeptic-decision-blocker-"));
-        dbPath = join(workDir, "demo.db");
-        const sql = readFileSync(join(root, "examples", "seed.sql"), "utf8");
-        const db = new DatabaseSync(dbPath);
-        db.exec(sql);
-        db.close();
-    });
-    afterAll(() => {
-        rmSync(workDir, { recursive: true, force: true });
-    });
-    it("emits exactly six lines with required tokens for wf_missing certificate", async () => {
-        const eventsPath = join(root, "examples", "events.ndjson");
-        const registryPath = join(root, "examples", "tools.json");
-        const result = await verifyWorkflow({
-            workflowId: "wf_missing",
-            eventsPath,
-            registryPath,
-            database: { kind: "sqlite", path: dbPath },
-            logStep: () => { },
-            truthReport: () => { },
-        });
-        const certificate = buildOutcomeCertificateFromWorkflowResult(result, "contract_sql");
-        const { lines, trustDecision } = formatDecisionBlockerForHumans(certificate);
-        expect(trustDecision).toBe("unsafe");
-        expect(lines).toHaveLength(6);
-        expect(lines[0]).toMatch(/^Trust: unsafe$/);
-        expect(lines[1]).toMatch(/^Workflow: wf_missing$/);
-        expect(lines[2]).toMatch(/^First problem step: seq=/);
-        expect(lines[2]).toContain("tool=crm.upsert_contact");
-        expect(lines[2]).toContain("status=missing");
-        expect(lines[3]).toContain("ROW_ABSENT");
-        expect(lines[4]).toMatch(/^Expected: /);
-        expect(lines[5]).toMatch(/^Observed: /);
-    });
-});
-//# sourceMappingURL=decisionBlocker.contract.test.js.map

package/dist/decisionBlocker.contract.test.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"decisionBlocker.contract.test.js","sourceRoot":"","sources":["../src/decisionBlocker.contract.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AAC5D,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AACnE,OAAO,EAAE,yCAAyC,EAAE,MAAM,yBAAyB,CAAC;AACpF,OAAO,EAAE,8BAA8B,EAAE,MAAM,sBAAsB,CAAC;AACtE,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAE/C,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;AAEjE,QAAQ,CAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,yFAAyF;IACzF,IAAI,OAAe,CAAC;IACpB,IAAI,MAAc,CAAC;IAEnB,SAAS,CAAC,GAAG,EAAE;QACb,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,gCAAgC,CAAC,CAAC,CAAC;QACxE,MAAM,GAAG,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QAClC,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,UAAU,CAAC,EAAE,MAAM,CAAC,CAAC;QACrE,MAAM,EAAE,GAAG,IAAI,YAAY,CAAC,MAAM,CAAC,CAAC;QACpC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACb,EAAE,CAAC,KAAK,EAAE,CAAC;IACb,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,GAAG,EAAE;QACZ,MAAM,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yEAAyE,EAAE,KAAK,IAAI,EAAE;QACvF,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,eAAe,CAAC,CAAC;QAC3D,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;QAC1D,MAAM,MAAM,GAAG,MAAM,cAAc,CAAC;YAClC,UAAU,EAAE,YAAY;YACxB,UAAU;YACV,YAAY;YACZ,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE;YAC1C,OAAO,EAAE,GAAG,EAAE,GAAE,CAAC;YACjB,WAAW,EAAE,GAAG,EAAE,GAAE,CAAC;SACtB,CAAC,CAAC;QACH,MAAM,WAAW,GAAG,yCAAyC,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QACtF,MAAM,EAAE,KAAK,EAAE,aAAa,EAAE,GAAG,8BAA8B,CAAC,WAAW,CAAC,CAAC;QAC7E,MAAM,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACrC,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;QAC5C,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,wBAAwB,CAAC,CAAC;QACnD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,2BAA2B,CAAC,CAAC;QACtD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,yBAAyB,CAAC,CAAC;QACtD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;QAC7C,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QACzC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;QACxC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/loop/failureHints.d.ts

@@ -1,6 +0,0 @@
-import type { OutcomeCertificateV1 } from "../outcomeCertificate.js";
-export declare function buildFailureHint(certificate: OutcomeCertificateV1): {
-    likelyCause: string;
-    nextAction: string;
-};
-//# sourceMappingURL=failureHints.d.ts.map

package/dist/loop/failureHints.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"failureHints.d.ts","sourceRoot":"","sources":["../../src/loop/failureHints.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAyBrE,wBAAgB,gBAAgB,CAAC,WAAW,EAAE,oBAAoB,GAAG;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAE,CAW/G"}

package/dist/loop/failureHints.js

@@ -1,36 +0,0 @@
-const HINTS = [
-    {
-        codePrefix: "UNKNOWN_TOOL",
-        likelyCause: "Observed tool usage is missing from the registry mapping.",
-        nextAction: "Add or fix the tool mapping in your registry file, then rerun `agentskeptic loop`.",
-    },
-    {
-        codePrefix: "MISSING",
-        likelyCause: "Expected persisted row/effect was not found in the target data store.",
-        nextAction: "Verify your write path completed and committed to the expected database, then rerun.",
-    },
-    {
-        codePrefix: "INCONSISTENT",
-        likelyCause: "Persisted values differ from expected contract values.",
-        nextAction: "Inspect declared expected values vs stored values, fix the mismatch source, then rerun.",
-    },
-    {
-        codePrefix: "INCOMPLETE",
-        likelyCause: "Verification could not establish a complete, determinate state.",
-        nextAction: "Fix event completeness/registry coverage and rerun after a fresh workflow execution.",
-    },
-];
-export function buildFailureHint(certificate) {
-    const details = certificate.explanation.details ?? [];
-    for (const d of details) {
-        const code = String(d.code ?? "").toUpperCase();
-        const hit = HINTS.find((h) => code.startsWith(h.codePrefix));
-        if (hit)
-            return { likelyCause: hit.likelyCause, nextAction: hit.nextAction };
-    }
-    return {
-        likelyCause: certificate.relianceRationale,
-        nextAction: "Inspect the WHY section and fix the cited mismatch/incompleteness, then rerun `agentskeptic loop`.",
-    };
-}
-//# sourceMappingURL=failureHints.js.map

package/dist/loop/failureHints.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"failureHints.js","sourceRoot":"","sources":["../../src/loop/failureHints.ts"],"names":[],"mappings":"AAEA,MAAM,KAAK,GAA2E;IACpF;QACE,UAAU,EAAE,cAAc;QAC1B,WAAW,EAAE,2DAA2D;QACxE,UAAU,EAAE,oFAAoF;KACjG;IACD;QACE,UAAU,EAAE,SAAS;QACrB,WAAW,EAAE,uEAAuE;QACpF,UAAU,EAAE,sFAAsF;KACnG;IACD;QACE,UAAU,EAAE,cAAc;QAC1B,WAAW,EAAE,wDAAwD;QACrE,UAAU,EAAE,yFAAyF;KACtG;IACD;QACE,UAAU,EAAE,YAAY;QACxB,WAAW,EAAE,iEAAiE;QAC9E,UAAU,EAAE,sFAAsF;KACnG;CACF,CAAC;AAEF,MAAM,UAAU,gBAAgB,CAAC,WAAiC;IAChE,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW,CAAC,OAAO,IAAI,EAAE,CAAC;IACtD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;QAChD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;QAC7D,IAAI,GAAG;YAAE,OAAO,EAAE,WAAW,EAAE,GAAG,CAAC,WAAW,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,CAAC;IAC/E,CAAC;IACD,OAAO;QACL,WAAW,EAAE,WAAW,CAAC,iBAAiB;QAC1C,UAAU,EAAE,oGAAoG;KACjH,CAAC;AACJ,CAAC"}