agentskeptic 0.1.1 → 0.1.3

package/dist/planTransitionPathHarvest.test.js

@@ -52,179 +52,179 @@ describe("harvestQualifyingPathsFromPlan", () => {
         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).
+        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\`.
+        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\`.
+        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 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)'
----
-
+        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\`.
+        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\`
+        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).
+        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.
+        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\`
+        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\`.
+        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\`.
+        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
+        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.
+        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\`.
+        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"]);
     });

package/dist/quickVerify/postgresCatalog.js

@@ -11,53 +11,53 @@ export class PostgresSchemaCatalog {
         this.client = client;
     }
     async listTables() {
-        const r = await this.client.query(`SELECT c.relname AS table_name
-       FROM pg_catalog.pg_class c
-       JOIN pg_catalog.pg_namespace n ON n.oid = c.relnamespace
-       WHERE n.nspname = 'public'
-         AND c.relkind = 'r'
-         AND NOT c.relispartition
-         AND pg_catalog.has_table_privilege(c.oid, 'SELECT')
+        const r = await this.client.query(`SELECT c.relname AS table_name
+       FROM pg_catalog.pg_class c
+       JOIN pg_catalog.pg_namespace n ON n.oid = c.relnamespace
+       WHERE n.nspname = 'public'
+         AND c.relkind = 'r'
+         AND NOT c.relispartition
+         AND pg_catalog.has_table_privilege(c.oid, 'SELECT')
        ORDER BY c.relname`);
         return r.rows.map((x) => x.table_name);
     }
     async listColumns(table) {
-        const r = await this.client.query(`SELECT a.attname AS column_name
-       FROM pg_catalog.pg_attribute a
-       JOIN pg_catalog.pg_class c ON c.oid = a.attrelid
-       JOIN pg_catalog.pg_namespace n ON n.oid = c.relnamespace
-       WHERE n.nspname = 'public'
-         AND c.relname = $1
-         AND c.relkind = 'r'
-         AND a.attnum > 0
-         AND NOT a.attisdropped
+        const r = await this.client.query(`SELECT a.attname AS column_name
+       FROM pg_catalog.pg_attribute a
+       JOIN pg_catalog.pg_class c ON c.oid = a.attrelid
+       JOIN pg_catalog.pg_namespace n ON n.oid = c.relnamespace
+       WHERE n.nspname = 'public'
+         AND c.relname = $1
+         AND c.relkind = 'r'
+         AND a.attnum > 0
+         AND NOT a.attisdropped
        ORDER BY a.attnum`, [table]);
         return r.rows.map((x) => ({ name: x.column_name }));
     }
     async primaryKeyColumns(table) {
-        const r = await this.client.query(`SELECT a.attname AS column_name
-       FROM pg_catalog.pg_class c
-       JOIN pg_catalog.pg_namespace n ON n.oid = c.relnamespace
-       JOIN pg_catalog.pg_index i ON i.indrelid = c.oid AND i.indisprimary
-       JOIN pg_catalog.pg_attribute a
-         ON a.attrelid = c.oid AND a.attnum = ANY (i.indkey) AND a.attnum > 0 AND NOT a.attisdropped
-       WHERE n.nspname = 'public'
-         AND c.relname = $1
+        const r = await this.client.query(`SELECT a.attname AS column_name
+       FROM pg_catalog.pg_class c
+       JOIN pg_catalog.pg_namespace n ON n.oid = c.relnamespace
+       JOIN pg_catalog.pg_index i ON i.indrelid = c.oid AND i.indisprimary
+       JOIN pg_catalog.pg_attribute a
+         ON a.attrelid = c.oid AND a.attnum = ANY (i.indkey) AND a.attnum > 0 AND NOT a.attisdropped
+       WHERE n.nspname = 'public'
+         AND c.relname = $1
          AND c.relkind = 'r'`, [table]);
         return r.rows.map((x) => x.column_name);
     }
     async listUniqueConstraints(table) {
-        const r = await this.client.query(`SELECT cn.conname, a.attname, u.ord
-       FROM pg_catalog.pg_constraint cn
-       JOIN pg_catalog.pg_class c ON c.oid = cn.conrelid
-       JOIN pg_catalog.pg_namespace n ON n.oid = c.relnamespace
-       JOIN LATERAL unnest(cn.conkey) WITH ORDINALITY AS u(attnum, ord) ON true
-       JOIN pg_catalog.pg_attribute a
-         ON a.attrelid = c.oid AND a.attnum = u.attnum AND NOT a.attisdropped
-       WHERE n.nspname = 'public'
-         AND c.relname = $1
-         AND c.relkind = 'r'
-         AND cn.contype = 'u'
+        const r = await this.client.query(`SELECT cn.conname, a.attname, u.ord
+       FROM pg_catalog.pg_constraint cn
+       JOIN pg_catalog.pg_class c ON c.oid = cn.conrelid
+       JOIN pg_catalog.pg_namespace n ON n.oid = c.relnamespace
+       JOIN LATERAL unnest(cn.conkey) WITH ORDINALITY AS u(attnum, ord) ON true
+       JOIN pg_catalog.pg_attribute a
+         ON a.attrelid = c.oid AND a.attnum = u.attnum AND NOT a.attisdropped
+       WHERE n.nspname = 'public'
+         AND c.relname = $1
+         AND c.relkind = 'r'
+         AND cn.contype = 'u'
        ORDER BY cn.conname, u.ord`, [table]);
         const byName = new Map();
         for (const row of r.rows) {
@@ -68,24 +68,24 @@ export class PostgresSchemaCatalog {
         return [...byName.values()].map((columns) => ({ columns }));
     }
     async listFkEdges() {
-        const r = await this.client.query(`SELECT
-         cl.relname AS child_table,
-         a.attname AS child_column,
-         pr.relname AS parent_table,
-         pa.attname AS parent_column
-       FROM pg_catalog.pg_constraint cn
-       JOIN pg_catalog.pg_class cl ON cl.oid = cn.conrelid
-       JOIN pg_catalog.pg_namespace ns ON ns.oid = cl.relnamespace
-       JOIN pg_catalog.pg_class pr ON pr.oid = cn.confrelid AND pr.relkind = 'r'
-       JOIN LATERAL unnest(cn.conkey, cn.confkey) AS u(att_child, att_parent) ON true
-       JOIN pg_catalog.pg_attribute a
-         ON a.attrelid = cl.oid AND a.attnum = u.att_child AND NOT a.attisdropped
-       JOIN pg_catalog.pg_attribute pa
-         ON pa.attrelid = pr.oid AND pa.attnum = u.att_parent AND NOT pa.attisdropped
-       WHERE cn.contype = 'f'
-         AND ns.nspname = 'public'
-         AND pg_catalog.has_table_privilege(cl.oid, 'SELECT')
-         AND pg_catalog.has_table_privilege(pr.oid, 'SELECT')
+        const r = await this.client.query(`SELECT
+         cl.relname AS child_table,
+         a.attname AS child_column,
+         pr.relname AS parent_table,
+         pa.attname AS parent_column
+       FROM pg_catalog.pg_constraint cn
+       JOIN pg_catalog.pg_class cl ON cl.oid = cn.conrelid
+       JOIN pg_catalog.pg_namespace ns ON ns.oid = cl.relnamespace
+       JOIN pg_catalog.pg_class pr ON pr.oid = cn.confrelid AND pr.relkind = 'r'
+       JOIN LATERAL unnest(cn.conkey, cn.confkey) AS u(att_child, att_parent) ON true
+       JOIN pg_catalog.pg_attribute a
+         ON a.attrelid = cl.oid AND a.attnum = u.att_child AND NOT a.attisdropped
+       JOIN pg_catalog.pg_attribute pa
+         ON pa.attrelid = pr.oid AND pa.attnum = u.att_parent AND NOT pa.attisdropped
+       WHERE cn.contype = 'f'
+         AND ns.nspname = 'public'
+         AND pg_catalog.has_table_privilege(cl.oid, 'SELECT')
+         AND pg_catalog.has_table_privilege(pr.oid, 'SELECT')
        ORDER BY cl.relname, a.attname, pr.relname, pa.attname`);
         const out = [];
         const seen = new Set();

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "agentskeptic",
-  "version": "0.1.1",
+  "version": "0.1.3",
   "description": "Green agent traces and tool success flags often hide missing or wrong database rows. AgentSkeptic runs read-only SQL at verification time against persisted state vs structured tool activity—not chat narratives.",
   "license": "MIT",
   "type": "module",

package/schemas/agent-run-record-v1.schema.json

@@ -1,51 +1,51 @@
-{
-  "$id": "https://agentskeptic.com/schemas/agent-run-record-v1.schema.json",
-  "title": "AgentRunRecordV1",
-  "type": "object",
-  "additionalProperties": false,
-  "required": ["schemaVersion", "runId", "workflowId", "producer", "verifiedAt", "artifacts"],
-  "properties": {
-    "schemaVersion": { "const": 1 },
-    "runId": { "type": "string", "minLength": 1 },
-    "workflowId": { "type": "string", "minLength": 1 },
-    "producer": {
-      "type": "object",
-      "additionalProperties": false,
-      "required": ["name", "version"],
-      "properties": {
-        "name": { "type": "string", "minLength": 1 },
-        "version": { "type": "string", "minLength": 1 }
-      }
-    },
-    "verifiedAt": { "type": "string", "format": "date-time" },
-    "customerId": { "type": "string" },
-    "capturedAt": { "type": "string", "format": "date-time" },
-    "artifacts": {
-      "type": "object",
-      "additionalProperties": false,
-      "required": ["workflowResult", "events"],
-      "properties": {
-        "workflowResult": {
-          "type": "object",
-          "additionalProperties": false,
-          "required": ["relativePath", "sha256", "byteLength"],
-          "properties": {
-            "relativePath": { "const": "workflow-result.json" },
-            "sha256": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
-            "byteLength": { "type": "integer", "minimum": 0 }
-          }
-        },
-        "events": {
-          "type": "object",
-          "additionalProperties": false,
-          "required": ["relativePath", "sha256", "byteLength"],
-          "properties": {
-            "relativePath": { "const": "events.ndjson" },
-            "sha256": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
-            "byteLength": { "type": "integer", "minimum": 0 }
-          }
-        }
-      }
-    }
-  }
-}
+{
+  "$id": "https://agentskeptic.com/schemas/agent-run-record-v1.schema.json",
+  "title": "AgentRunRecordV1",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["schemaVersion", "runId", "workflowId", "producer", "verifiedAt", "artifacts"],
+  "properties": {
+    "schemaVersion": { "const": 1 },
+    "runId": { "type": "string", "minLength": 1 },
+    "workflowId": { "type": "string", "minLength": 1 },
+    "producer": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["name", "version"],
+      "properties": {
+        "name": { "type": "string", "minLength": 1 },
+        "version": { "type": "string", "minLength": 1 }
+      }
+    },
+    "verifiedAt": { "type": "string", "format": "date-time" },
+    "customerId": { "type": "string" },
+    "capturedAt": { "type": "string", "format": "date-time" },
+    "artifacts": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["workflowResult", "events"],
+      "properties": {
+        "workflowResult": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["relativePath", "sha256", "byteLength"],
+          "properties": {
+            "relativePath": { "const": "workflow-result.json" },
+            "sha256": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
+            "byteLength": { "type": "integer", "minimum": 0 }
+          }
+        },
+        "events": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["relativePath", "sha256", "byteLength"],
+          "properties": {
+            "relativePath": { "const": "events.ndjson" },
+            "sha256": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
+            "byteLength": { "type": "integer", "minimum": 0 }
+          }
+        }
+      }
+    }
+  }
+}

package/schemas/agent-run-record-v2.schema.json

@@ -1,61 +1,61 @@
-{
-  "$id": "https://agentskeptic.com/schemas/agent-run-record-v2.schema.json",
-  "title": "AgentRunRecordV2",
-  "type": "object",
-  "additionalProperties": false,
-  "required": ["schemaVersion", "runId", "workflowId", "producer", "verifiedAt", "artifacts"],
-  "properties": {
-    "schemaVersion": { "const": 2 },
-    "runId": { "type": "string", "minLength": 1 },
-    "workflowId": { "type": "string", "minLength": 1 },
-    "producer": {
-      "type": "object",
-      "additionalProperties": false,
-      "required": ["name", "version"],
-      "properties": {
-        "name": { "type": "string", "minLength": 1 },
-        "version": { "type": "string", "minLength": 1 }
-      }
-    },
-    "verifiedAt": { "type": "string", "format": "date-time" },
-    "customerId": { "type": "string" },
-    "capturedAt": { "type": "string", "format": "date-time" },
-    "artifacts": {
-      "type": "object",
-      "additionalProperties": false,
-      "required": ["workflowResult", "events", "workflowResultSignature"],
-      "properties": {
-        "workflowResult": {
-          "type": "object",
-          "additionalProperties": false,
-          "required": ["relativePath", "sha256", "byteLength"],
-          "properties": {
-            "relativePath": { "const": "workflow-result.json" },
-            "sha256": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
-            "byteLength": { "type": "integer", "minimum": 0 }
-          }
-        },
-        "events": {
-          "type": "object",
-          "additionalProperties": false,
-          "required": ["relativePath", "sha256", "byteLength"],
-          "properties": {
-            "relativePath": { "const": "events.ndjson" },
-            "sha256": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
-            "byteLength": { "type": "integer", "minimum": 0 }
-          }
-        },
-        "workflowResultSignature": {
-          "type": "object",
-          "additionalProperties": false,
-          "required": ["relativePath", "sha256", "byteLength"],
-          "properties": {
-            "relativePath": { "const": "workflow-result.sig.json" },
-            "sha256": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
-            "byteLength": { "type": "integer", "minimum": 0 }
-          }
-        }
-      }
-    }
-  }
-}
+{
+  "$id": "https://agentskeptic.com/schemas/agent-run-record-v2.schema.json",
+  "title": "AgentRunRecordV2",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["schemaVersion", "runId", "workflowId", "producer", "verifiedAt", "artifacts"],
+  "properties": {
+    "schemaVersion": { "const": 2 },
+    "runId": { "type": "string", "minLength": 1 },
+    "workflowId": { "type": "string", "minLength": 1 },
+    "producer": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["name", "version"],
+      "properties": {
+        "name": { "type": "string", "minLength": 1 },
+        "version": { "type": "string", "minLength": 1 }
+      }
+    },
+    "verifiedAt": { "type": "string", "format": "date-time" },
+    "customerId": { "type": "string" },
+    "capturedAt": { "type": "string", "format": "date-time" },
+    "artifacts": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["workflowResult", "events", "workflowResultSignature"],
+      "properties": {
+        "workflowResult": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["relativePath", "sha256", "byteLength"],
+          "properties": {
+            "relativePath": { "const": "workflow-result.json" },
+            "sha256": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
+            "byteLength": { "type": "integer", "minimum": 0 }
+          }
+        },
+        "events": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["relativePath", "sha256", "byteLength"],
+          "properties": {
+            "relativePath": { "const": "events.ndjson" },
+            "sha256": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
+            "byteLength": { "type": "integer", "minimum": 0 }
+          }
+        },
+        "workflowResultSignature": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["relativePath", "sha256", "byteLength"],
+          "properties": {
+            "relativePath": { "const": "workflow-result.sig.json" },
+            "sha256": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
+            "byteLength": { "type": "integer", "minimum": 0 }
+          }
+        }
+      }
+    }
+  }
+}