agentskeptic 4.2.0 → 5.0.0

package/schemas/quick-verify-report.schema.json

@@ -12,10 +12,11 @@
     "ingest",
     "units",
     "exportableRegistry",
-    "productTruth"
+    "productTruth",
+    "evidenceCompleteness"
   ],
   "properties": {
-    "schemaVersion": { "type": "integer", "const": 4 },
+    "schemaVersion": { "type": "integer", "const": 5 },
     "verdict": { "type": "string", "enum": ["pass", "fail", "uncertain"] },
     "summary": { "type": "string", "minLength": 1 },
     "verificationMode": { "type": "string", "const": "inferred" },
@@ -246,6 +247,9 @@
         "quickVerifyProvisional": { "type": "boolean", "const": true },
         "contractReplayPartialCoverage": { "type": "boolean" }
       }
+    },
+    "evidenceCompleteness": {
+      "$ref": "https://agentskeptic.com/schemas/evidence-completeness-v1.schema.json"
     }
   }
 }

package/schemas/regression-artifact-v1.schema.json

@@ -82,7 +82,7 @@
             "enum": ["contract_sql", "contract_sql_langgraph_checkpoint_trust"]
           },
           "certificateCanonicalDigest": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
-          "certificate": { "$ref": "https://agentskeptic.com/schemas/outcome-certificate-v1.schema.json" }
+          "certificate": { "$ref": "https://agentskeptic.com/schemas/outcome-certificate-v2.schema.json" }
         }
       }
     },

package/schemas/trust-decision-record-v1.schema.json

@@ -64,9 +64,9 @@
     },
     "human_blocker_lines": {
       "type": "array",
-      "minItems": 6,
-      "maxItems": 6,
-      "items": { "type": "string", "maxLength": 4096 }
+      "minItems": 1,
+      "maxItems": 48,
+      "items": { "type": "string", "maxLength": 8192 }
     }
   }
 }

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

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

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"}