agentskeptic 0.1.1

package/dist/planTransitionPathHarvest.test.js

@@ -0,0 +1,232 @@
+import { readFileSync } from "node:fs";
+import path from "node:path";
+import { fileURLToPath } from "node:url";
+import YAML from "yaml";
+import { describe, expect, it } from "vitest";
+import { harvestQualifyingPathsFromPlan } from "./planTransitionPathHarvest.js";
+const repoRoot = path.join(path.dirname(fileURLToPath(import.meta.url)), "..");
+const PLAN_FIXTURE_DIR = path.join(repoRoot, "test/fixtures/plan-derived-citations");
+const EXPECTED_HARVEST_PATH = path.join(PLAN_FIXTURE_DIR, "expected-harvest.json");
+function readPlanFixtureMarkdown(logicalKey) {
+    return readFileSync(path.join(PLAN_FIXTURE_DIR, path.basename(logicalKey)), "utf8");
+}
+function fmFromPlanMarkdown(md) {
+    const rest = md.slice(3).replace(/^\r?\n/, "");
+    const end = rest.search(/\n---\s*(?:\r?\n|$)/);
+    const doc = YAML.parse(rest.slice(0, end));
+    return doc && typeof doc === "object" && doc !== null ? doc : {};
+}
+describe("harvestQualifyingPathsFromPlan", () => {
+    it("CORPUS: matches test/fixtures/plan-derived-citations/expected-harvest.json for all five plans", () => {
+        const raw = readFileSync(EXPECTED_HARVEST_PATH, "utf8");
+        const expected = JSON.parse(raw);
+        const keys = Object.keys(expected).sort((a, b) => a.localeCompare(b));
+        expect(keys).toEqual([
+            "plans/compare_and_trust_3d5ea6c8.plan.md",
+            "plans/outcome_verification_107174c5.plan.md",
+            "plans/partial_effects_feedback_730cddce.plan.md",
+            "plans/plan-transition_validation_91ae04db.plan.md",
+            "plans/verdict_audit_ec74ff93.plan.md",
+        ]);
+        for (const k of keys) {
+            const md = readPlanFixtureMarkdown(k);
+            expect(harvestQualifyingPathsFromPlan(md, fmFromPlanMarkdown(md))).toEqual(expected[k]);
+        }
+    });
+    it("PIN_PLAN_TRANSITION_VALIDATION: plan does not harvest narrative-only rename paths", () => {
+        const md = readPlanFixtureMarkdown("plans/plan-transition_validation_91ae04db.plan.md");
+        const result = harvestQualifyingPathsFromPlan(md, fmFromPlanMarkdown(md));
+        expect(result).not.toContain("src/copy.ts");
+        expect(result).not.toContain("src/original.ts");
+    });
+    it("GOLD_OUTCOME_VERIFICATION: outcome verification plan does not harvest pipeline or reconciler citations", () => {
+        const md = readPlanFixtureMarkdown("plans/outcome_verification_107174c5.plan.md");
+        const result = harvestQualifyingPathsFromPlan(md, fmFromPlanMarkdown(md));
+        expect(result).not.toContain("src/pipeline.ts");
+        expect(result).not.toContain("src/reconciler.ts");
+    });
+    it("GOLD_COMPARE_TRUST: compare/trust plan does not harvest runComparison schema or implementation-only citations", () => {
+        const md = readPlanFixtureMarkdown("plans/compare_and_trust_3d5ea6c8.plan.md");
+        const result = harvestQualifyingPathsFromPlan(md, fmFromPlanMarkdown(md));
+        expect(result).not.toContain("schemas/run-comparison-report.schema.json");
+        expect(result).not.toContain("src/runComparison.ts");
+    });
+    it("ISO-LINK: strong-action required for links in obligation section", () => {
+        const md = `---
+name: x
+---
+
+## Implementation
+
+Add [x](src/a.ts) and update [y](./schemas/b.json).
+`;
+        expect(harvestQualifyingPathsFromPlan(md, {})).toEqual(["schemas/b.json", "src/a.ts"]);
+    });
+    it("ISO-TICK: strong-action required for docs/ and examples/ backticks", () => {
+        const md = `---
+name: x
+---
+
+## Implementation
+
+Add \`docs/x.md\` and extend \`examples/y.sql\`.
+`;
+        expect(harvestQualifyingPathsFromPlan(md, {})).toEqual(["docs/x.md", "examples/y.sql"]);
+    });
+    it("DELIVERABLES: harvests from ## Deliverables section", () => {
+        const md = `---
+name: x
+todos: []
+---
+
+## Deliverables
+
+Touch \`src/from-deliverables.ts\`.
+`;
+        expect(harvestQualifyingPathsFromPlan(md, fmFromPlanMarkdown(md))).toEqual(["src/from-deliverables.ts"]);
+    });
+    it("ISO-TODO: extracts from todos[].content via link parser", () => {
+        const md = `---
+name: x
+---
+
+`;
+        const fm = { todos: [{ id: "t", content: "Touch [legacy](C:/fake/prefix/src/z.ts)" }] };
+        expect(harvestQualifyingPathsFromPlan(md, fm)).toEqual(["src/z.ts"]);
+    });
+    it("TODO-REF: semicolon segments; reference-only segment does not harvest", () => {
+        const md = `---
+name: x
+todos:
+  - id: t
+    content: 'Add [a](src/a.ts); same shape as [x](src/b.ts)'
+---
+
+`;
+        expect(harvestQualifyingPathsFromPlan(md, fmFromPlanMarkdown(md))).toEqual(["src/a.ts"]);
+    });
+    it("does not harvest paths that appear only inside fenced code blocks in obligation section", () => {
+        const md = `---
+name: x
+---
+
+## Implementation
+
+\`\`\`text
+src/hidden.ts
+\`\`\`
+
+Touch \`src/visible.ts\`.
+`;
+        expect(harvestQualifyingPathsFromPlan(md, fmFromPlanMarkdown(md))).toEqual(["src/visible.ts"]);
+    });
+    it("rejects backtick candidates with .. in path", () => {
+        const md = `---
+name: x
+---
+
+## Implementation
+
+\`src/../x.ts\`
+`;
+        expect(harvestQualifyingPathsFromPlan(md, {})).toEqual([]);
+    });
+    it("does not harvest from non-obligation sections when todos empty", () => {
+        const md = `---
+name: x
+todos: []
+---
+
+## Analysis
+
+Touch [orphan](src/orphan.ts).
+`;
+        expect(harvestQualifyingPathsFromPlan(md, fmFromPlanMarkdown(md))).toEqual([]);
+    });
+    it("skips reference-only lines in obligation sections", () => {
+        const md = `---
+name: x
+---
+
+## Testing
+
+Like (same shape as [\`test/ref.mjs\`](c:/x/y/test/ref.mjs)) for comparison.
+`;
+        expect(harvestQualifyingPathsFromPlan(md, {})).toEqual([]);
+    });
+    it("EG_BACKTICK: e.g. before backtick path skips harvest on that line", () => {
+        const md = `---
+name: x
+todos: []
+---
+
+## Testing
+
+Illustrative only e.g. \`src/only-example.ts\`
+`;
+        expect(harvestQualifyingPathsFromPlan(md, fmFromPlanMarkdown(md))).toEqual([]);
+    });
+    it("FIXTURE_PHRASE: chosen in fixture skips harvest on that line", () => {
+        const md = `---
+name: x
+todos: []
+---
+
+## Testing
+
+Old/new paths chosen in fixture, see \`src/fixture-example.ts\`.
+`;
+        expect(harvestQualifyingPathsFromPlan(md, fmFromPlanMarkdown(md))).toEqual([]);
+    });
+    it("ISO-IMPL: implementation line without reference-only markers still harvests", () => {
+        const md = `---
+name: x
+todos: []
+---
+
+## Implementation
+
+Touch \`src/required.ts\`.
+`;
+        expect(harvestQualifyingPathsFromPlan(md, fmFromPlanMarkdown(md))).toEqual(["src/required.ts"]);
+    });
+    it("ADV-REF: seeded-from line yields no paths", () => {
+        const md = `---
+name: x
+todos: []
+---
+
+## Implementation
+
+seeded from examples/seed.sql
+`;
+        expect(harvestQualifyingPathsFromPlan(md, fmFromPlanMarkdown(md))).toEqual([]);
+    });
+    it("ADV-EXPECT: Testing section line containing Expect: yields no paths", () => {
+        const md = `---
+name: x
+todos: []
+---
+
+## Testing
+
+**Expect:** load from \`src/x.ts\` for the check.
+`;
+        expect(harvestQualifyingPathsFromPlan(md, fmFromPlanMarkdown(md))).toEqual([]);
+    });
+    it("ADV-FRAG: reference-only line after obligation line does not harvest second path", () => {
+        const md = `---
+name: x
+todos: []
+---
+
+## Implementation
+
+Improve \`src/a.ts\`.
+
+Same pattern as \`src/b.ts\`.
+`;
+        expect(harvestQualifyingPathsFromPlan(md, fmFromPlanMarkdown(md))).toEqual(["src/a.ts"]);
+    });
+});
+//# sourceMappingURL=planTransitionPathHarvest.test.js.map

package/dist/planTransitionPathHarvest.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"planTransitionPathHarvest.test.js","sourceRoot":"","sources":["../src/planTransitionPathHarvest.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,IAAI,MAAM,MAAM,CAAC;AACxB,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,8BAA8B,EAAE,MAAM,gCAAgC,CAAC;AAEhF,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;AAE/E,MAAM,gBAAgB,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,sCAAsC,CAAC,CAAC;AAErF,MAAM,qBAAqB,GAAG,IAAI,CAAC,IAAI,CAAC,gBAAgB,EAAE,uBAAuB,CAAC,CAAC;AAEnF,SAAS,uBAAuB,CAAC,UAAkB;IACjD,OAAO,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;AACtF,CAAC;AAED,SAAS,kBAAkB,CAAC,EAAU;IACpC,MAAM,IAAI,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IAC/C,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,qBAAqB,CAAC,CAAC;IAC/C,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;IAC3C,OAAO,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,CAAC,CAAC,CAAE,GAA+B,CAAC,CAAC,CAAC,EAAE,CAAC;AAChG,CAAC;AAED,QAAQ,CAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,EAAE,CAAC,+FAA+F,EAAE,GAAG,EAAE;QACvG,MAAM,GAAG,GAAG,YAAY,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;QACxD,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAA6B,CAAC;QAC7D,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;QACtE,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC;YACnB,0CAA0C;YAC1C,6CAA6C;YAC7C,iDAAiD;YACjD,mDAAmD;YACnD,sCAAsC;SACvC,CAAC,CAAC;QACH,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,MAAM,EAAE,GAAG,uBAAuB,CAAC,CAAC,CAAC,CAAC;YACtC,MAAM,CAAC,8BAA8B,CAAC,EAAE,EAAE,kBAAkB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1F,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mFAAmF,EAAE,GAAG,EAAE;QAC3F,MAAM,EAAE,GAAG,uBAAuB,CAAC,mDAAmD,CAAC,CAAC;QACxF,MAAM,MAAM,GAAG,8BAA8B,CAAC,EAAE,EAAE,kBAAkB,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1E,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QAC5C,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wGAAwG,EAAE,GAAG,EAAE;QAChH,MAAM,EAAE,GAAG,uBAAuB,CAAC,6CAA6C,CAAC,CAAC;QAClF,MAAM,MAAM,GAAG,8BAA8B,CAAC,EAAE,EAAE,kBAAkB,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1E,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;QAChD,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+GAA+G,EAAE,GAAG,EAAE;QACvH,MAAM,EAAE,GAAG,uBAAuB,CAAC,0CAA0C,CAAC,CAAC;QAC/E,MAAM,MAAM,GAAG,8BAA8B,CAAC,EAAE,EAAE,kBAAkB,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1E,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,2CAA2C,CAAC,CAAC;QAC1E,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,sBAAsB,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,EAAE,GAAG;;;;;;;CAOd,CAAC;QACE,MAAM,CAAC,8BAA8B,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,gBAAgB,EAAE,UAAU,CAAC,CAAC,CAAC;IACzF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,EAAE,GAAG;;;;;;;CAOd,CAAC;QACE,MAAM,CAAC,8BAA8B,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,gBAAgB,CAAC,CAAC,CAAC;IAC1F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,EAAE,GAAG;;;;;;;;CAQd,CAAC;QACE,MAAM,CAAC,8BAA8B,CAAC,EAAE,EAAE,kBAAkB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,0BAA0B,CAAC,CAAC,CAAC;IAC3G,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,EAAE,GAAG;;;;CAId,CAAC;QACE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,yCAAyC,EAAE,CAAC,EAAE,CAAC;QACxF,MAAM,CAAC,8BAA8B,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,EAAE,GAAG;;;;;;;CAOd,CAAC;QACE,MAAM,CAAC,8BAA8B,CAAC,EAAE,EAAE,kBAAkB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;IAC3F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yFAAyF,EAAE,GAAG,EAAE;QACjG,MAAM,EAAE,GAAG;;;;;;;;;;;CAWd,CAAC;QACE,MAAM,CAAC,8BAA8B,CAAC,EAAE,EAAE,kBAAkB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC;IACjG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,EAAE,GAAG;;;;;;;CAOd,CAAC;QACE,MAAM,CAAC,8BAA8B,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,EAAE,GAAG;;;;;;;;CAQd,CAAC;QACE,MAAM,CAAC,8BAA8B,CAAC,EAAE,EAAE,kBAAkB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACjF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,EAAE,GAAG;;;;;;;CAOd,CAAC;QACE,MAAM,CAAC,8BAA8B,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,EAAE,GAAG;;;;;;;;CAQd,CAAC;QACE,MAAM,CAAC,8BAA8B,CAAC,EAAE,EAAE,kBAAkB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACjF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,EAAE,GAAG;;;;;;;;CAQd,CAAC;QACE,MAAM,CAAC,8BAA8B,CAAC,EAAE,EAAE,kBAAkB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACjF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6EAA6E,EAAE,GAAG,EAAE;QACrF,MAAM,EAAE,GAAG;;;;;;;;CAQd,CAAC;QACE,MAAM,CAAC,8BAA8B,CAAC,EAAE,EAAE,kBAAkB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC;IAClG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,EAAE,GAAG;;;;;;;;CAQd,CAAC;QACE,MAAM,CAAC,8BAA8B,CAAC,EAAE,EAAE,kBAAkB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACjF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,MAAM,EAAE,GAAG;;;;;;;;CAQd,CAAC;QACE,MAAM,CAAC,8BAA8B,CAAC,EAAE,EAAE,kBAAkB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACjF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kFAAkF,EAAE,GAAG,EAAE;QAC1F,MAAM,EAAE,GAAG;;;;;;;;;;CAUd,CAAC;QACE,MAAM,CAAC,8BAA8B,CAAC,EAAE,EAAE,kBAAkB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;IAC3F,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/prepareWorkflowEvents.d.ts

@@ -0,0 +1,6 @@
+import type { EventSequenceIntegrity, ToolObservedEvent } from "./types.js";
+export declare function prepareWorkflowEvents(captureOrder: ToolObservedEvent[]): {
+    eventsSorted: ToolObservedEvent[];
+    eventSequenceIntegrity: EventSequenceIntegrity;
+};
+//# sourceMappingURL=prepareWorkflowEvents.d.ts.map

package/dist/prepareWorkflowEvents.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"prepareWorkflowEvents.d.ts","sourceRoot":"","sources":["../src/prepareWorkflowEvents.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,sBAAsB,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAE5E,wBAAgB,qBAAqB,CAAC,YAAY,EAAE,iBAAiB,EAAE,GAAG;IACxE,YAAY,EAAE,iBAAiB,EAAE,CAAC;IAClC,sBAAsB,EAAE,sBAAsB,CAAC;CAChD,CAIA"}

package/dist/prepareWorkflowEvents.js

@@ -0,0 +1,8 @@
+import { analyzeEventSequenceIntegrity } from "./eventSequenceIntegrity.js";
+import { stableSortEventsBySeq } from "./planLogicalSteps.js";
+export function prepareWorkflowEvents(captureOrder) {
+    const eventSequenceIntegrity = analyzeEventSequenceIntegrity(captureOrder);
+    const eventsSorted = stableSortEventsBySeq(captureOrder);
+    return { eventsSorted, eventSequenceIntegrity };
+}
+//# sourceMappingURL=prepareWorkflowEvents.js.map

package/dist/prepareWorkflowEvents.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prepareWorkflowEvents.js","sourceRoot":"","sources":["../src/prepareWorkflowEvents.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,6BAA6B,EAAE,MAAM,6BAA6B,CAAC;AAC5E,OAAO,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AAG9D,MAAM,UAAU,qBAAqB,CAAC,YAAiC;IAIrE,MAAM,sBAAsB,GAAG,6BAA6B,CAAC,YAAY,CAAC,CAAC;IAC3E,MAAM,YAAY,GAAG,qBAAqB,CAAC,YAAY,CAAC,CAAC;IACzD,OAAO,EAAE,YAAY,EAAE,sBAAsB,EAAE,CAAC;AAClD,CAAC"}

package/dist/publicDistribution.generated.d.ts

@@ -0,0 +1,3 @@
+export declare const PUBLIC_DISTRIBUTION_SSOT_BLOB_URL = "https://github.com/jwekavanagh/agentskeptic/blob/main/docs/public-distribution-ssot.md";
+export declare function formatDistributionFooter(): string;
+//# sourceMappingURL=publicDistribution.generated.d.ts.map

package/dist/publicDistribution.generated.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"publicDistribution.generated.d.ts","sourceRoot":"","sources":["../src/publicDistribution.generated.ts"],"names":[],"mappings":"AAEA,eAAO,MAAM,iCAAiC,2FAA2F,CAAC;AAE1I,wBAAgB,wBAAwB,IAAI,MAAM,CAKjD"}

package/dist/publicDistribution.generated.js

@@ -0,0 +1,9 @@
+// Generated by npm run sync:public-product-anchors — do not hand edit.
+export const PUBLIC_DISTRIBUTION_SSOT_BLOB_URL = "https://github.com/jwekavanagh/agentskeptic/blob/main/docs/public-distribution-ssot.md";
+export function formatDistributionFooter() {
+    return "More context (green trace vs database): https://agentskeptic.com/database-truth-vs-traces\n"
+        + "First-run on your database: https://agentskeptic.com/integrate\n"
+        + "Canonical site: https://agentskeptic.com/\n"
+        + "Distribution contract (SSOT): https://github.com/jwekavanagh/agentskeptic/blob/main/docs/public-distribution-ssot.md\n";
+}
+//# sourceMappingURL=publicDistribution.generated.js.map

package/dist/publicDistribution.generated.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"publicDistribution.generated.js","sourceRoot":"","sources":["../src/publicDistribution.generated.ts"],"names":[],"mappings":"AAAA,uEAAuE;AAEvE,MAAM,CAAC,MAAM,iCAAiC,GAAG,wFAAwF,CAAC;AAE1I,MAAM,UAAU,wBAAwB;IACtC,OAAO,6FAA6F;UAChG,kEAAkE;UAClE,6CAA6C;UAC7C,wHAAwH,CAAC;AAC/H,CAAC"}

package/dist/quickVerify/atomicWrite.d.ts

@@ -0,0 +1,6 @@
+/**
+ * Atomic write per quick-verify-normative.md: temp in same dir, fsync, rename, read-back verify.
+ * @throws Error on any failure
+ */
+export declare function atomicWriteUtf8File(targetPath: string, utf8: string): void;
+//# sourceMappingURL=atomicWrite.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"atomicWrite.d.ts","sourceRoot":"","sources":["../../src/quickVerify/atomicWrite.ts"],"names":[],"mappings":"AAIA;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,CAsB1E"}

package/dist/quickVerify/atomicWrite.js

@@ -0,0 +1,33 @@
+import { closeSync, fsyncSync, mkdirSync, openSync, readFileSync, renameSync, unlinkSync, writeSync } from "fs";
+import { dirname } from "path";
+import { randomBytes } from "crypto";
+/**
+ * Atomic write per quick-verify-normative.md: temp in same dir, fsync, rename, read-back verify.
+ * @throws Error on any failure
+ */
+export function atomicWriteUtf8File(targetPath, utf8) {
+    const dir = dirname(targetPath);
+    mkdirSync(dir, { recursive: true });
+    const tmp = `${targetPath}.tmp.${randomBytes(8).toString("hex")}`;
+    const buf = Buffer.from(utf8, "utf8");
+    const fd = openSync(tmp, "w");
+    try {
+        writeSync(fd, buf, 0, buf.length);
+        fsyncSync(fd);
+    }
+    finally {
+        closeSync(fd);
+    }
+    renameSync(tmp, targetPath);
+    const readBack = readFileSync(targetPath, "utf8");
+    if (readBack !== utf8) {
+        try {
+            unlinkSync(targetPath);
+        }
+        catch {
+            /* best effort */
+        }
+        throw new Error("Registry read-back mismatch after atomic write");
+    }
+}
+//# sourceMappingURL=atomicWrite.js.map

package/dist/quickVerify/atomicWrite.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"atomicWrite.js","sourceRoot":"","sources":["../../src/quickVerify/atomicWrite.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,YAAY,EAAE,UAAU,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,IAAI,CAAC;AAChH,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAC/B,OAAO,EAAE,WAAW,EAAE,MAAM,QAAQ,CAAC;AAErC;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CAAC,UAAkB,EAAE,IAAY;IAClE,MAAM,GAAG,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;IAChC,SAAS,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACpC,MAAM,GAAG,GAAG,GAAG,UAAU,QAAQ,WAAW,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;IAClE,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACtC,MAAM,EAAE,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAC9B,IAAI,CAAC;QACH,SAAS,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;QAClC,SAAS,CAAC,EAAE,CAAC,CAAC;IAChB,CAAC;YAAS,CAAC;QACT,SAAS,CAAC,EAAE,CAAC,CAAC;IAChB,CAAC;IACD,UAAU,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;IAC5B,MAAM,QAAQ,GAAG,YAAY,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IAClD,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,IAAI,CAAC;YACH,UAAU,CAAC,UAAU,CAAC,CAAC;QACzB,CAAC;QAAC,MAAM,CAAC;YACP,iBAAiB;QACnB,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;IACpE,CAAC;AACH,CAAC"}

package/dist/quickVerify/buildQuickContractEventsNdjson.d.ts

@@ -0,0 +1,14 @@
+import type { VerificationRequest } from "../types.js";
+export type QuickContractExport = {
+    toolId: string;
+    request: VerificationRequest;
+};
+/**
+ * Synthetic tool_observed NDJSON (schemaVersion 1) for contract replay.
+ * Empty exports → caller writes a zero-byte file (no trailing newline).
+ */
+export declare function buildQuickContractEventsNdjson(input: {
+    workflowId: string;
+    exports: QuickContractExport[];
+}): string;
+//# sourceMappingURL=buildQuickContractEventsNdjson.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"buildQuickContractEventsNdjson.d.ts","sourceRoot":"","sources":["../../src/quickVerify/buildQuickContractEventsNdjson.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAEvD,MAAM,MAAM,mBAAmB,GAAG;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,mBAAmB,CAAA;CAAE,CAAC;AAEnF;;;GAGG;AACH,wBAAgB,8BAA8B,CAAC,KAAK,EAAE;IACpD,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,mBAAmB,EAAE,CAAC;CAChC,GAAG,MAAM,CAoBT"}

package/dist/quickVerify/buildQuickContractEventsNdjson.js

@@ -0,0 +1,28 @@
+import { compareUtf16Id } from "../resolveExpectation.js";
+/**
+ * Synthetic tool_observed NDJSON (schemaVersion 1) for contract replay.
+ * Empty exports → caller writes a zero-byte file (no trailing newline).
+ */
+export function buildQuickContractEventsNdjson(input) {
+    if (input.exports.length === 0)
+        return "";
+    const lines = [];
+    for (let seq = 0; seq < input.exports.length; seq++) {
+        const { toolId, request } = input.exports[seq];
+        const __qvFields = {};
+        for (const k of Object.keys(request.requiredFields).sort(compareUtf16Id)) {
+            __qvFields[k] = request.requiredFields[k];
+        }
+        const line = {
+            schemaVersion: 1,
+            workflowId: input.workflowId,
+            seq,
+            type: "tool_observed",
+            toolId,
+            params: { __qvFields },
+        };
+        lines.push(JSON.stringify(line));
+    }
+    return `${lines.join("\n")}\n`;
+}
+//# sourceMappingURL=buildQuickContractEventsNdjson.js.map

package/dist/quickVerify/buildQuickContractEventsNdjson.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"buildQuickContractEventsNdjson.js","sourceRoot":"","sources":["../../src/quickVerify/buildQuickContractEventsNdjson.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAK1D;;;GAGG;AACH,MAAM,UAAU,8BAA8B,CAAC,KAG9C;IACC,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAC1C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC;QACpD,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAE,CAAC;QAChD,MAAM,UAAU,GAAqD,EAAE,CAAC;QACxE,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;YACzE,UAAU,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,cAAc,CAAC,CAAC,CAAE,CAAC;QAC7C,CAAC;QACD,MAAM,IAAI,GAAG;YACX,aAAa,EAAE,CAAC;YAChB,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,GAAG;YACH,IAAI,EAAE,eAAe;YACrB,MAAM;YACN,MAAM,EAAE,EAAE,UAAU,EAAE;SACvB,CAAC;QACF,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;AACjC,CAAC"}

package/dist/quickVerify/canonicalJson.d.ts

@@ -0,0 +1,5 @@
+/** UTF-16 key sort for stable JSON objects (same as canonical params). */
+export declare function stableStringify(value: unknown): string;
+/** Canonical UTF-8 string for export file === canonicalToolsArrayUtf8(tools). */
+export declare function canonicalToolsArrayUtf8(tools: object[]): string;
+//# sourceMappingURL=canonicalJson.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"canonicalJson.d.ts","sourceRoot":"","sources":["../../src/quickVerify/canonicalJson.ts"],"names":[],"mappings":"AAEA,0EAA0E;AAC1E,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAUtD;AAED,iFAAiF;AACjF,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,CAO/D"}

package/dist/quickVerify/canonicalJson.js

@@ -0,0 +1,23 @@
+import { compareUtf16Id } from "../resolveExpectation.js";
+/** UTF-16 key sort for stable JSON objects (same as canonical params). */
+export function stableStringify(value) {
+    if (value === null || typeof value !== "object") {
+        return JSON.stringify(value);
+    }
+    if (Array.isArray(value)) {
+        return `[${value.map((x) => stableStringify(x)).join(",")}]`;
+    }
+    const obj = value;
+    const keys = Object.keys(obj).sort(compareUtf16Id);
+    return `{${keys.map((k) => `${JSON.stringify(k)}:${stableStringify(obj[k])}`).join(",")}}`;
+}
+/** Canonical UTF-8 string for export file === canonicalToolsArrayUtf8(tools). */
+export function canonicalToolsArrayUtf8(tools) {
+    const sorted = [...tools].sort((a, b) => {
+        const ta = a.toolId;
+        const tb = b.toolId;
+        return compareUtf16Id(ta, tb);
+    });
+    return stableStringify(sorted);
+}
+//# sourceMappingURL=canonicalJson.js.map

package/dist/quickVerify/canonicalJson.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"canonicalJson.js","sourceRoot":"","sources":["../../src/quickVerify/canonicalJson.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAE1D,0EAA0E;AAC1E,MAAM,UAAU,eAAe,CAAC,KAAc;IAC5C,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAChD,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IAC/D,CAAC;IACD,MAAM,GAAG,GAAG,KAAgC,CAAC;IAC7C,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IACnD,OAAO,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AAC7F,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,uBAAuB,CAAC,KAAe;IACrD,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACtC,MAAM,EAAE,GAAI,CAAwB,CAAC,MAAM,CAAC;QAC5C,MAAM,EAAE,GAAI,CAAwB,CAAC,MAAM,CAAC;QAC5C,OAAO,cAAc,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IACH,OAAO,eAAe,CAAC,MAAM,CAAC,CAAC;AACjC,CAAC"}

package/dist/quickVerify/decomposeUnits.d.ts

@@ -0,0 +1,15 @@
+import type { FlatScalar } from "./ingest.js";
+export type ActionBucket = {
+    bucketKey: string;
+    tableName: string;
+    toolName: string;
+    flat: Record<string, FlatScalar>;
+    /** Original flat paths grouped into this bucket */
+    paths: string[];
+};
+/**
+ * Group flat paths into buckets per quick-verify-normative A.9.
+ */
+export declare function bucketsForAction(toolName: string, flat: Record<string, FlatScalar>, tables: string[]): ActionBucket[];
+export declare function mappingKeyForPath(path: string, bucketKey: string): string;
+//# sourceMappingURL=decomposeUnits.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"decomposeUnits.d.ts","sourceRoot":"","sources":["../../src/quickVerify/decomposeUnits.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAG9C,MAAM,MAAM,YAAY,GAAG;IACzB,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IACjC,mDAAmD;IACnD,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB,CAAC;AAEF;;GAEG;AACH,wBAAgB,gBAAgB,CAC9B,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,EAChC,MAAM,EAAE,MAAM,EAAE,GACf,YAAY,EAAE,CAoChB;AAED,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,CAKzE"}

package/dist/quickVerify/decomposeUnits.js

@@ -0,0 +1,50 @@
+import { compareUtf16Id } from "../resolveExpectation.js";
+import { argmaxTableAction, argmaxTableSegment, T_TABLE } from "./tableScoring.js";
+/**
+ * Group flat paths into buckets per quick-verify-normative A.9.
+ */
+export function bucketsForAction(toolName, flat, tables) {
+    if (tables.length === 0)
+        return [];
+    const paths = Object.keys(flat).sort(compareUtf16Id);
+    const groupPaths = new Map();
+    for (const p of paths) {
+        const seg0 = p.includes(".") ? p.slice(0, p.indexOf(".")) : p;
+        const { table: W, score } = argmaxTableSegment(seg0, tables);
+        const bucketKey = score >= T_TABLE ? W : "__global__";
+        const arr = groupPaths.get(bucketKey) ?? [];
+        arr.push(p);
+        groupPaths.set(bucketKey, arr);
+    }
+    const out = [];
+    for (const [bucketKey, pathList] of [...groupPaths.entries()].sort((a, b) => compareUtf16Id(a[0], b[0]))) {
+        if (pathList.length === 0)
+            continue;
+        let tableName;
+        if (bucketKey === "__global__") {
+            const { table, score } = argmaxTableAction(toolName, tables);
+            tableName = table;
+            if (score < T_TABLE) {
+                /* still use best-effort table for unit; mapping may yield LOW_CONFIDENCE */
+            }
+        }
+        else {
+            tableName = bucketKey;
+        }
+        out.push({
+            bucketKey,
+            tableName,
+            toolName,
+            flat,
+            paths: pathList.sort(compareUtf16Id),
+        });
+    }
+    return out;
+}
+export function mappingKeyForPath(path, bucketKey) {
+    if (bucketKey !== "__global__" && path.includes(".")) {
+        return path.slice(path.indexOf(".") + 1);
+    }
+    return path;
+}
+//# sourceMappingURL=decomposeUnits.js.map

package/dist/quickVerify/decomposeUnits.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"decomposeUnits.js","sourceRoot":"","sources":["../../src/quickVerify/decomposeUnits.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAE1D,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAWnF;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAC9B,QAAgB,EAChB,IAAgC,EAChC,MAAgB;IAEhB,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACnC,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IACrD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC/C,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9D,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,GAAG,kBAAkB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC7D,MAAM,SAAS,GAAG,KAAK,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC;QACtD,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;QAC5C,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACZ,UAAU,CAAC,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;IACjC,CAAC;IACD,MAAM,GAAG,GAAmB,EAAE,CAAC;IAC/B,KAAK,MAAM,CAAC,SAAS,EAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAC1E,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAC3B,EAAE,CAAC;QACF,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACpC,IAAI,SAAiB,CAAC;QACtB,IAAI,SAAS,KAAK,YAAY,EAAE,CAAC;YAC/B,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,iBAAiB,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YAC7D,SAAS,GAAG,KAAK,CAAC;YAClB,IAAI,KAAK,GAAG,OAAO,EAAE,CAAC;gBACpB,4EAA4E;YAC9E,CAAC;QACH,CAAC;aAAM,CAAC;YACN,SAAS,GAAG,SAAS,CAAC;QACxB,CAAC;QACD,GAAG,CAAC,IAAI,CAAC;YACP,SAAS;YACT,SAAS;YACT,QAAQ;YACR,IAAI;YACJ,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC,cAAc,CAAC;SACrC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,IAAY,EAAE,SAAiB;IAC/D,IAAI,SAAS,KAAK,YAAY,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACrD,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/quickVerify/exportTool.d.ts

@@ -0,0 +1,6 @@
+import type { ToolRegistryEntry, VerificationRequest } from "../types.js";
+/**
+ * Build Advanced-mode registry entry for a row unit (sql_row + pointers for dynamic fields).
+ */
+export declare function exportSqlRowTool(toolId: string, req: VerificationRequest): ToolRegistryEntry;
+//# sourceMappingURL=exportTool.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"exportTool.d.ts","sourceRoot":"","sources":["../../src/quickVerify/exportTool.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAE1E;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,mBAAmB,GAAG,iBAAiB,CAe5F"}

package/dist/quickVerify/exportTool.js

@@ -0,0 +1,20 @@
+/**
+ * Build Advanced-mode registry entry for a row unit (sql_row + pointers for dynamic fields).
+ */
+export function exportSqlRowTool(toolId, req) {
+    const identityEq = req.identityEq.map((p) => ({
+        column: { const: p.column },
+        value: { const: p.value },
+    }));
+    return {
+        toolId,
+        effectDescriptionTemplate: `Quick inferred row: ${req.table}`,
+        verification: {
+            kind: "sql_row",
+            table: { const: req.table },
+            identityEq,
+            requiredFields: { pointer: "/__qvFields" },
+        },
+    };
+}
+//# sourceMappingURL=exportTool.js.map

package/dist/quickVerify/exportTool.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"exportTool.js","sourceRoot":"","sources":["../../src/quickVerify/exportTool.ts"],"names":[],"mappings":"AAEA;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAAC,MAAc,EAAE,GAAwB;IACvE,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC5C,MAAM,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;QAC3B,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE;KAC1B,CAAC,CAAC,CAAC;IACJ,OAAO;QACL,MAAM;QACN,yBAAyB,EAAE,uBAAuB,GAAG,CAAC,KAAK,EAAE;QAC7D,YAAY,EAAE;YACZ,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE;YAC3B,UAAU;YACV,cAAc,EAAE,EAAE,OAAO,EAAE,aAAa,EAAE;SAC3C;KACmB,CAAC;AACzB,CAAC"}

package/dist/quickVerify/forbiddenMutatingSql.d.ts

@@ -0,0 +1,4 @@
+/** Obvious non-SELECT DML in quick-verify sources (read-only policy). */
+export declare const QUICK_VERIFY_FORBIDDEN_SQL: RegExp;
+export declare function quickVerifySourceViolatesSqlPolicy(source: string): boolean;
+//# sourceMappingURL=forbiddenMutatingSql.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"forbiddenMutatingSql.d.ts","sourceRoot":"","sources":["../../src/quickVerify/forbiddenMutatingSql.ts"],"names":[],"mappings":"AAAA,yEAAyE;AACzE,eAAO,MAAM,0BAA0B,QACgD,CAAC;AAExF,wBAAgB,kCAAkC,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAE1E"}

package/dist/quickVerify/forbiddenMutatingSql.js

@@ -0,0 +1,6 @@
+/** Obvious non-SELECT DML in quick-verify sources (read-only policy). */
+export const QUICK_VERIFY_FORBIDDEN_SQL = /\b(INSERT\s+INTO|UPDATE\s+\w+\s+SET|DELETE\s+FROM|TRUNCATE\s+TABLE|DROP\s+TABLE)\b/i;
+export function quickVerifySourceViolatesSqlPolicy(source) {
+    return QUICK_VERIFY_FORBIDDEN_SQL.test(source);
+}
+//# sourceMappingURL=forbiddenMutatingSql.js.map

package/dist/quickVerify/forbiddenMutatingSql.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"forbiddenMutatingSql.js","sourceRoot":"","sources":["../../src/quickVerify/forbiddenMutatingSql.ts"],"names":[],"mappings":"AAAA,yEAAyE;AACzE,MAAM,CAAC,MAAM,0BAA0B,GACrC,qFAAqF,CAAC;AAExF,MAAM,UAAU,kCAAkC,CAAC,MAAc;IAC/D,OAAO,0BAA0B,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AACjD,CAAC"}

package/dist/quickVerify/formatQuickVerifyHumanReport.d.ts

@@ -0,0 +1,17 @@
+import type { QuickVerifyReport } from "./runQuickVerify.js";
+/** Banner after anchor lines (normative: fixed banner strings immediately after the three anchors). */
+export declare const QUICK_VERIFY_BANNER_LINE_1 = "Input must be structured tool activity (JSON describing tool calls and parameters)\u2014not arbitrary logs or generic observability text.";
+export declare 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 declare const QUICK_VERIFY_BANNER_LINE_3 = "A rollup pass does not prove execution, does not prove a change occurred, and is not production safety\u2014only that current state matched inferred expectations for the checked units.";
+export type QuickHumanReportCliContext = {
+    workflowId?: string;
+    eventsPath?: string;
+    registryPath?: string;
+    dbFlag?: string;
+    postgresUrl?: boolean;
+};
+/**
+ * Machine-testable anchors: first three lines exactly, in order. All other prose follows line 3.
+ */
+export declare function formatQuickVerifyHumanReport(report: QuickVerifyReport, ctx?: QuickHumanReportCliContext): string;
+//# sourceMappingURL=formatQuickVerifyHumanReport.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"formatQuickVerifyHumanReport.d.ts","sourceRoot":"","sources":["../../src/quickVerify/formatQuickVerifyHumanReport.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAS7D,uGAAuG;AACvG,eAAO,MAAM,0BAA0B,8IACiG,CAAC;AACzI,eAAO,MAAM,0BAA0B,+HACuF,CAAC;AAC/H,eAAO,MAAM,0BAA0B,6LACgJ,CAAC;AAExL,MAAM,MAAM,0BAA0B,GAAG;IACvC,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,WAAW,CAAC,EAAE,OAAO,CAAC;CACvB,CAAC;AAEF;;GAEG;AACH,wBAAgB,4BAA4B,CAC1C,MAAM,EAAE,iBAAiB,EACzB,GAAG,GAAE,0BAA+B,GACnC,MAAM,CAkER"}