bikky 0.3.2 → 0.3.5

package/dist/daemon/extraction-quality.test.js

@@ -0,0 +1,283 @@
+// Golden-set eval for the extraction grounding pipeline (Phase 3 of #46).
+//
+// Each case below is a complete extracted-fact candidate (as the LLM would emit
+// it) plus the verdict we expect from the structural verifier stack. A "bad"
+// case must end up dropped or marked ambiguous; a "good" case must pass through
+// untouched. The suite asserts ≥90% precision and ≥90% recall on this set.
+//
+// Add new cases at the bottom — never delete existing ones, so we have a
+// regression history. The five cases marked as cited are the bad facts called
+// out in the task description.
+import { test } from "node:test";
+import assert from "node:assert/strict";
+import { verifyGrounding, verifyVolatilityCoherence } from "./extraction-rules.js";
+const GOLDEN = [
+    // ----- BAD facts cited in the task -----
+    {
+        id: "cited-pipeline",
+        label: "bad",
+        source: "task #46",
+        fact: {
+            content: "The pipeline uses pre-built Docker images pulled from ECR for deployment.",
+            subject: "the pipeline",
+            subject_specificity: 0.2,
+            self_contained: false,
+            entities: ["docker", "ecr"],
+        },
+        expectedVerdict: "ungrounded",
+    },
+    {
+        id: "cited-image-tag",
+        label: "bad",
+        source: "task #46 (transient)",
+        fact: {
+            content: "The correct image tag for the SCB init container should be `097873b`.",
+            subject: "scb init container image tag",
+            subject_specificity: 0.7,
+            self_contained: true,
+            entities: ["scb", "init-container"],
+            volatility: "transient",
+            as_of: "2026-04-28",
+        },
+        expectedVerdict: "grounded",
+        expectedForcedCategory: "observations",
+        expectedExpiry: "set",
+    },
+    {
+        id: "cited-step-2",
+        label: "bad",
+        source: "task #46",
+        fact: {
+            content: "Step 2 is a part of the dbt cronjob.",
+            subject: "step 2",
+            subject_specificity: 0.15,
+            self_contained: false,
+            entities: ["dbt"],
+        },
+        expectedVerdict: "ungrounded",
+    },
+    {
+        id: "cited-deployment-process",
+        label: "bad",
+        source: "task #46",
+        fact: {
+            content: "The deployment process involves building locally, pushing to ECR, and restarting on EC2 via SSM.",
+            subject: "the deployment process",
+            subject_specificity: 0.25,
+            self_contained: false,
+            entities: ["ecr", "ec2", "ssm"],
+        },
+        expectedVerdict: "ungrounded",
+    },
+    {
+        id: "cited-cronjob-old-image",
+        label: "bad",
+        source: "task #46 (transient)",
+        fact: {
+            content: "The scheduled cronjob `dbt-run-cronjob-v100-29617080` is still running the old image.",
+            subject: "dbt-run-cronjob-v100-29617080",
+            subject_specificity: 0.9,
+            self_contained: true,
+            entities: ["dbt-run-cronjob-v100-29617080"],
+            volatility: "transient",
+            as_of: "2026-04-28",
+        },
+        expectedVerdict: "grounded",
+        expectedForcedCategory: "observations",
+        expectedExpiry: "set",
+    },
+    // ----- GOOD facts -----
+    {
+        id: "good-makefile-target",
+        label: "good",
+        source: "synthetic",
+        fact: {
+            content: "Running `make deploy-prod` in the bikky-infra repo applies the EKS Helm chart.",
+            subject: "make deploy-prod",
+            subject_specificity: 0.95,
+            self_contained: true,
+            entities: ["bikky-infra", "eks", "helm"],
+            volatility: "stable",
+        },
+        expectedVerdict: "grounded",
+        expectedForcedCategory: null,
+        expectedExpiry: "null",
+    },
+    {
+        id: "good-config-path",
+        label: "good",
+        source: "synthetic",
+        fact: {
+            content: "The Bikky daemon reads its config from `~/.bikky/config.json`.",
+            subject: "~/.bikky/config.json",
+            subject_specificity: 1.0,
+            self_contained: true,
+            entities: ["bikky", "config.json"],
+            volatility: "stable",
+        },
+        expectedVerdict: "grounded",
+    },
+    {
+        id: "good-version-bump",
+        label: "good",
+        source: "synthetic",
+        fact: {
+            content: "Bikky package version was bumped to 0.3.5 on the main branch.",
+            subject: "bikky package version",
+            subject_specificity: 0.85,
+            self_contained: true,
+            entities: ["bikky"],
+            volatility: "evolving",
+        },
+        expectedVerdict: "grounded",
+    },
+    {
+        id: "good-architecture-decision",
+        label: "good",
+        source: "synthetic",
+        fact: {
+            content: "Bikky stores embeddings in a Qdrant collection named `bikky`.",
+            subject: "bikky qdrant collection",
+            subject_specificity: 0.9,
+            self_contained: true,
+            entities: ["qdrant", "bikky"],
+            volatility: "stable",
+        },
+        expectedVerdict: "grounded",
+    },
+    {
+        id: "good-ownership",
+        label: "good",
+        source: "synthetic",
+        fact: {
+            content: "The bikky-ui repo owns the EntityChip component at `packages/ui/app/src/components/EntityChip.tsx`.",
+            subject: "EntityChip.tsx",
+            subject_specificity: 0.95,
+            self_contained: true,
+            entities: ["bikky-ui", "entitychip"],
+            volatility: "stable",
+        },
+        expectedVerdict: "grounded",
+    },
+    {
+        id: "good-ephemeral-status",
+        label: "good",
+        source: "synthetic (ephemeral)",
+        fact: {
+            content: "The daemon at PID 39445 is currently consuming 240MB RSS.",
+            subject: "daemon pid 39445",
+            subject_specificity: 0.9,
+            self_contained: true,
+            entities: ["bikky-daemon"],
+            volatility: "ephemeral",
+            as_of: "2026-04-28",
+        },
+        expectedVerdict: "grounded",
+        expectedForcedCategory: "observations",
+        expectedExpiry: "set",
+    },
+    {
+        id: "good-typed-token-rescues",
+        label: "good",
+        source: "synthetic",
+        fact: {
+            content: "The `extraction-rules.ts` module exports `verifyGrounding`.",
+            subject: "extraction-rules.ts",
+            subject_specificity: 0.9,
+            self_contained: true,
+            entities: ["extraction-rules.ts"],
+        },
+        expectedVerdict: "grounded",
+    },
+    {
+        id: "bad-vague-process",
+        label: "bad",
+        source: "synthetic",
+        fact: {
+            content: "The process is faster now.",
+            subject: "the process",
+            subject_specificity: 0.1,
+            self_contained: false,
+            entities: [],
+        },
+        expectedVerdict: "ungrounded",
+    },
+    {
+        id: "bad-no-anchor",
+        label: "bad",
+        source: "synthetic",
+        fact: {
+            content: "Things have been improved significantly.",
+            subject: "things",
+            subject_specificity: 0.05,
+            self_contained: false,
+            entities: [],
+        },
+        expectedVerdict: "ungrounded",
+    },
+];
+function evaluate(c) {
+    const grounding = verifyGrounding({
+        content: c.fact.content,
+        subject: c.fact.subject,
+        subject_specificity: c.fact.subject_specificity,
+        self_contained: c.fact.self_contained,
+        entities: c.fact.entities,
+    });
+    const volatility = verifyVolatilityCoherence({
+        volatility: c.fact.volatility,
+        as_of: c.fact.as_of,
+        category: c.fact.category,
+    });
+    return {
+        verdict: grounding.verdict,
+        forcedCategory: volatility.forcedCategory,
+        expiresAt: volatility.expiresAt,
+    };
+}
+test("golden set: every case meets its expected verdict", () => {
+    const failures = [];
+    for (const c of GOLDEN) {
+        const r = evaluate(c);
+        if (c.expectedVerdict && r.verdict !== c.expectedVerdict) {
+            failures.push(`${c.id}: expected verdict=${c.expectedVerdict} got ${r.verdict}`);
+        }
+        if (c.expectedForcedCategory !== undefined && r.forcedCategory !== c.expectedForcedCategory) {
+            failures.push(`${c.id}: expected forcedCategory=${c.expectedForcedCategory} got ${r.forcedCategory}`);
+        }
+        if (c.expectedExpiry === "set" && !r.expiresAt) {
+            failures.push(`${c.id}: expected expiresAt to be set`);
+        }
+        if (c.expectedExpiry === "null" && r.expiresAt) {
+            failures.push(`${c.id}: expected expiresAt to be null, got ${r.expiresAt}`);
+        }
+    }
+    assert.equal(failures.length, 0, `Golden-set failures:\n${failures.join("\n")}`);
+});
+test("golden set: precision ≥ 0.9 (good facts not dropped or downgraded)", () => {
+    const goods = GOLDEN.filter((c) => c.label === "good");
+    let kept = 0;
+    for (const c of goods) {
+        const { verdict } = evaluate(c);
+        if (verdict === "grounded")
+            kept++;
+    }
+    const precision = kept / goods.length;
+    assert.ok(precision >= 0.9, `Precision ${precision.toFixed(2)} below 0.9 (${kept}/${goods.length} good facts kept)`);
+});
+test("golden set: recall ≥ 0.9 (bad facts caught — dropped or downgraded or expiring)", () => {
+    const bads = GOLDEN.filter((c) => c.label === "bad");
+    let caught = 0;
+    for (const c of bads) {
+        const r = evaluate(c);
+        const isCaught = r.verdict === "ungrounded" ||
+            r.verdict === "ambiguous" ||
+            r.forcedCategory === "observations" ||
+            r.expiresAt !== null;
+        if (isCaught)
+            caught++;
+    }
+    const recall = caught / bads.length;
+    assert.ok(recall >= 0.9, `Recall ${recall.toFixed(2)} below 0.9 (${caught}/${bads.length} bad facts caught)`);
+});
+//# sourceMappingURL=extraction-quality.test.js.map

package/dist/daemon/extraction-quality.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"extraction-quality.test.js","sourceRoot":"","sources":["../../src/daemon/extraction-quality.test.ts"],"names":[],"mappings":"AAAA,0EAA0E;AAC1E,EAAE;AACF,gFAAgF;AAChF,6EAA6E;AAC7E,gFAAgF;AAChF,2EAA2E;AAC3E,EAAE;AACF,yEAAyE;AACzE,8EAA8E;AAC9E,+BAA+B;AAE/B,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AAExC,OAAO,EAAE,eAAe,EAAE,yBAAyB,EAAE,MAAM,uBAAuB,CAAC;AAqBnF,MAAM,MAAM,GAAiB;IAC3B,0CAA0C;IAC1C;QACE,EAAE,EAAE,gBAAgB;QACpB,KAAK,EAAE,KAAK;QACZ,MAAM,EAAE,UAAU;QAClB,IAAI,EAAE;YACJ,OAAO,EAAE,2EAA2E;YACpF,OAAO,EAAE,cAAc;YACvB,mBAAmB,EAAE,GAAG;YACxB,cAAc,EAAE,KAAK;YACrB,QAAQ,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC;SAC5B;QACD,eAAe,EAAE,YAAY;KAC9B;IACD;QACE,EAAE,EAAE,iBAAiB;QACrB,KAAK,EAAE,KAAK;QACZ,MAAM,EAAE,sBAAsB;QAC9B,IAAI,EAAE;YACJ,OAAO,EAAE,uEAAuE;YAChF,OAAO,EAAE,8BAA8B;YACvC,mBAAmB,EAAE,GAAG;YACxB,cAAc,EAAE,IAAI;YACpB,QAAQ,EAAE,CAAC,KAAK,EAAE,gBAAgB,CAAC;YACnC,UAAU,EAAE,WAAW;YACvB,KAAK,EAAE,YAAY;SACpB;QACD,eAAe,EAAE,UAAU;QAC3B,sBAAsB,EAAE,cAAc;QACtC,cAAc,EAAE,KAAK;KACtB;IACD;QACE,EAAE,EAAE,cAAc;QAClB,KAAK,EAAE,KAAK;QACZ,MAAM,EAAE,UAAU;QAClB,IAAI,EAAE;YACJ,OAAO,EAAE,sCAAsC;YAC/C,OAAO,EAAE,QAAQ;YACjB,mBAAmB,EAAE,IAAI;YACzB,cAAc,EAAE,KAAK;YACrB,QAAQ,EAAE,CAAC,KAAK,CAAC;SAClB;QACD,eAAe,EAAE,YAAY;KAC9B;IACD;QACE,EAAE,EAAE,0BAA0B;QAC9B,KAAK,EAAE,KAAK;QACZ,MAAM,EAAE,UAAU;QAClB,IAAI,EAAE;YACJ,OAAO,EAAE,kGAAkG;YAC3G,OAAO,EAAE,wBAAwB;YACjC,mBAAmB,EAAE,IAAI;YACzB,cAAc,EAAE,KAAK;YACrB,QAAQ,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC;SAChC;QACD,eAAe,EAAE,YAAY;KAC9B;IACD;QACE,EAAE,EAAE,yBAAyB;QAC7B,KAAK,EAAE,KAAK;QACZ,MAAM,EAAE,sBAAsB;QAC9B,IAAI,EAAE;YACJ,OAAO,EAAE,uFAAuF;YAChG,OAAO,EAAE,+BAA+B;YACxC,mBAAmB,EAAE,GAAG;YACxB,cAAc,EAAE,IAAI;YACpB,QAAQ,EAAE,CAAC,+BAA+B,CAAC;YAC3C,UAAU,EAAE,WAAW;YACvB,KAAK,EAAE,YAAY;SACpB;QACD,eAAe,EAAE,UAAU;QAC3B,sBAAsB,EAAE,cAAc;QACtC,cAAc,EAAE,KAAK;KACtB;IAED,yBAAyB;IACzB;QACE,EAAE,EAAE,sBAAsB;QAC1B,KAAK,EAAE,MAAM;QACb,MAAM,EAAE,WAAW;QACnB,IAAI,EAAE;YACJ,OAAO,EAAE,gFAAgF;YACzF,OAAO,EAAE,kBAAkB;YAC3B,mBAAmB,EAAE,IAAI;YACzB,cAAc,EAAE,IAAI;YACpB,QAAQ,EAAE,CAAC,aAAa,EAAE,KAAK,EAAE,MAAM,CAAC;YACxC,UAAU,EAAE,QAAQ;SACrB;QACD,eAAe,EAAE,UAAU;QAC3B,sBAAsB,EAAE,IAAI;QAC5B,cAAc,EAAE,MAAM;KACvB;IACD;QACE,EAAE,EAAE,kBAAkB;QACtB,KAAK,EAAE,MAAM;QACb,MAAM,EAAE,WAAW;QACnB,IAAI,EAAE;YACJ,OAAO,EAAE,gEAAgE;YACzE,OAAO,EAAE,sBAAsB;YAC/B,mBAAmB,EAAE,GAAG;YACxB,cAAc,EAAE,IAAI;YACpB,QAAQ,EAAE,CAAC,OAAO,EAAE,aAAa,CAAC;YAClC,UAAU,EAAE,QAAQ;SACrB;QACD,eAAe,EAAE,UAAU;KAC5B;IACD;QACE,EAAE,EAAE,mBAAmB;QACvB,KAAK,EAAE,MAAM;QACb,MAAM,EAAE,WAAW;QACnB,IAAI,EAAE;YACJ,OAAO,EAAE,+DAA+D;YACxE,OAAO,EAAE,uBAAuB;YAChC,mBAAmB,EAAE,IAAI;YACzB,cAAc,EAAE,IAAI;YACpB,QAAQ,EAAE,CAAC,OAAO,CAAC;YACnB,UAAU,EAAE,UAAU;SACvB;QACD,eAAe,EAAE,UAAU;KAC5B;IACD;QACE,EAAE,EAAE,4BAA4B;QAChC,KAAK,EAAE,MAAM;QACb,MAAM,EAAE,WAAW;QACnB,IAAI,EAAE;YACJ,OAAO,EAAE,+DAA+D;YACxE,OAAO,EAAE,yBAAyB;YAClC,mBAAmB,EAAE,GAAG;YACxB,cAAc,EAAE,IAAI;YACpB,QAAQ,EAAE,CAAC,QAAQ,EAAE,OAAO,CAAC;YAC7B,UAAU,EAAE,QAAQ;SACrB;QACD,eAAe,EAAE,UAAU;KAC5B;IACD;QACE,EAAE,EAAE,gBAAgB;QACpB,KAAK,EAAE,MAAM;QACb,MAAM,EAAE,WAAW;QACnB,IAAI,EAAE;YACJ,OAAO,EAAE,qGAAqG;YAC9G,OAAO,EAAE,gBAAgB;YACzB,mBAAmB,EAAE,IAAI;YACzB,cAAc,EAAE,IAAI;YACpB,QAAQ,EAAE,CAAC,UAAU,EAAE,YAAY,CAAC;YACpC,UAAU,EAAE,QAAQ;SACrB;QACD,eAAe,EAAE,UAAU;KAC5B;IACD;QACE,EAAE,EAAE,uBAAuB;QAC3B,KAAK,EAAE,MAAM;QACb,MAAM,EAAE,uBAAuB;QAC/B,IAAI,EAAE;YACJ,OAAO,EAAE,2DAA2D;YACpE,OAAO,EAAE,kBAAkB;YAC3B,mBAAmB,EAAE,GAAG;YACxB,cAAc,EAAE,IAAI;YACpB,QAAQ,EAAE,CAAC,cAAc,CAAC;YAC1B,UAAU,EAAE,WAAW;YACvB,KAAK,EAAE,YAAY;SACpB;QACD,eAAe,EAAE,UAAU;QAC3B,sBAAsB,EAAE,cAAc;QACtC,cAAc,EAAE,KAAK;KACtB;IACD;QACE,EAAE,EAAE,0BAA0B;QAC9B,KAAK,EAAE,MAAM;QACb,MAAM,EAAE,WAAW;QACnB,IAAI,EAAE;YACJ,OAAO,EAAE,6DAA6D;YACtE,OAAO,EAAE,qBAAqB;YAC9B,mBAAmB,EAAE,GAAG;YACxB,cAAc,EAAE,IAAI;YACpB,QAAQ,EAAE,CAAC,qBAAqB,CAAC;SAClC;QACD,eAAe,EAAE,UAAU;KAC5B;IACD;QACE,EAAE,EAAE,mBAAmB;QACvB,KAAK,EAAE,KAAK;QACZ,MAAM,EAAE,WAAW;QACnB,IAAI,EAAE;YACJ,OAAO,EAAE,4BAA4B;YACrC,OAAO,EAAE,aAAa;YACtB,mBAAmB,EAAE,GAAG;YACxB,cAAc,EAAE,KAAK;YACrB,QAAQ,EAAE,EAAE;SACb;QACD,eAAe,EAAE,YAAY;KAC9B;IACD;QACE,EAAE,EAAE,eAAe;QACnB,KAAK,EAAE,KAAK;QACZ,MAAM,EAAE,WAAW;QACnB,IAAI,EAAE;YACJ,OAAO,EAAE,0CAA0C;YACnD,OAAO,EAAE,QAAQ;YACjB,mBAAmB,EAAE,IAAI;YACzB,cAAc,EAAE,KAAK;YACrB,QAAQ,EAAE,EAAE;SACb;QACD,eAAe,EAAE,YAAY;KAC9B;CACF,CAAC;AAEF,SAAS,QAAQ,CAAC,CAAa;IAK7B,MAAM,SAAS,GAAG,eAAe,CAAC;QAChC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO;QACvB,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO;QACvB,mBAAmB,EAAE,CAAC,CAAC,IAAI,CAAC,mBAAmB;QAC/C,cAAc,EAAE,CAAC,CAAC,IAAI,CAAC,cAAc;QACrC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ;KAC1B,CAAC,CAAC;IACH,MAAM,UAAU,GAAG,yBAAyB,CAAC;QAC3C,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC,UAAU;QAC7B,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK;QACnB,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ;KAC1B,CAAC,CAAC;IACH,OAAO;QACL,OAAO,EAAE,SAAS,CAAC,OAAO;QAC1B,cAAc,EAAE,UAAU,CAAC,cAAc;QACzC,SAAS,EAAE,UAAU,CAAC,SAAS;KAChC,CAAC;AACJ,CAAC;AAED,IAAI,CAAC,mDAAmD,EAAE,GAAG,EAAE;IAC7D,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACtB,IAAI,CAAC,CAAC,eAAe,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,eAAe,EAAE,CAAC;YACzD,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,sBAAsB,CAAC,CAAC,eAAe,QAAQ,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QACnF,CAAC;QACD,IAAI,CAAC,CAAC,sBAAsB,KAAK,SAAS,IAAI,CAAC,CAAC,cAAc,KAAK,CAAC,CAAC,sBAAsB,EAAE,CAAC;YAC5F,QAAQ,CAAC,IAAI,CACX,GAAG,CAAC,CAAC,EAAE,6BAA6B,CAAC,CAAC,sBAAsB,QAAQ,CAAC,CAAC,cAAc,EAAE,CACvF,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,CAAC,cAAc,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;YAC/C,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,gCAAgC,CAAC,CAAC;QACzD,CAAC;QACD,IAAI,CAAC,CAAC,cAAc,KAAK,MAAM,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC;YAC/C,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,wCAAwC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC;QAC9E,CAAC;IACH,CAAC;IACD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,yBAAyB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACnF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,oEAAoE,EAAE,GAAG,EAAE;IAC9E,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC;IACvD,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,EAAE,OAAO,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QAChC,IAAI,OAAO,KAAK,UAAU;YAAE,IAAI,EAAE,CAAC;IACrC,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC;IACtC,MAAM,CAAC,EAAE,CACP,SAAS,IAAI,GAAG,EAChB,aAAa,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,eAAe,IAAI,IAAI,KAAK,CAAC,MAAM,mBAAmB,CACxF,CAAC;AACJ,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,iFAAiF,EAAE,GAAG,EAAE;IAC3F,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC;IACrD,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACtB,MAAM,QAAQ,GACZ,CAAC,CAAC,OAAO,KAAK,YAAY;YAC1B,CAAC,CAAC,OAAO,KAAK,WAAW;YACzB,CAAC,CAAC,cAAc,KAAK,cAAc;YACnC,CAAC,CAAC,SAAS,KAAK,IAAI,CAAC;QACvB,IAAI,QAAQ;YAAE,MAAM,EAAE,CAAC;IACzB,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IACpC,MAAM,CAAC,EAAE,CACP,MAAM,IAAI,GAAG,EACb,UAAU,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,eAAe,MAAM,IAAI,IAAI,CAAC,MAAM,oBAAoB,CACpF,CAAC;AACJ,CAAC,CAAC,CAAC"}

package/dist/daemon/extraction-rules.d.ts

@@ -0,0 +1,131 @@
+/**
+ * Subtype rule table.
+ *
+ * The extraction LLM picks a `memory_subtype` from 8 fact subtypes. A few
+ * subtype pairs are easy to confuse:
+ *
+ *   - operational_procedure  vs  troubleshooting_gotcha
+ *   - codebase_map           vs  infra_topology
+ *   - domain_rule            vs  preference
+ *
+ * This module backstops the LLM with a lightweight keyword scorer. It returns a
+ * deterministic top-1 subtype + score for a fact's content, so the daemon can:
+ *
+ *   - flag facts where the LLM and the rule table strongly disagree
+ *     (set `review_status: candidate` so a human can verify)
+ *   - downgrade confidence when nothing scores above a floor
+ *
+ * The table is intentionally small. It is NOT the source of truth — the LLM is.
+ * The rule table is a cheap consistency check.
+ */
+export type FactSubtype = "codebase_map" | "architecture_decision" | "infra_topology" | "access_pattern" | "operational_procedure" | "domain_rule" | "troubleshooting_gotcha" | "preference";
+export interface SubtypeRuleScore {
+    subtype: FactSubtype | null;
+    score: number;
+    scores: Record<FactSubtype, number>;
+}
+/**
+ * Score `content` against every subtype's rule terms. Returns the top-1
+ * subtype + raw score, plus all scores for inspection.
+ */
+export declare const scoreSubtype: (content: string) => SubtypeRuleScore;
+/**
+ * Compare the LLM's subtype choice against the rule table.
+ *
+ * Returns:
+ *   - `agree`      — rule table top-1 matches (or has no opinion)
+ *   - `disagree`   — rule table is confident in a *different* subtype with a
+ *     margin large enough to suspect the LLM. Caller should mark the fact as
+ *     `review_status: candidate` and lower confidence.
+ */
+export interface SubtypeAgreement {
+    verdict: "agree" | "disagree";
+    ruleSubtype: FactSubtype | null;
+    ruleScore: number;
+    margin: number;
+}
+export declare const compareSubtype: (content: string, llmSubtype: string | null | undefined) => SubtypeAgreement;
+export type GroundingVerdict = "grounded" | "ambiguous" | "ungrounded";
+export interface GroundingResult {
+    verdict: GroundingVerdict;
+    reason: string;
+    hasTypedToken: boolean;
+    subjectResolves: boolean;
+}
+/**
+ * Shape-based typed-token detector. A "typed token" is any substring that an
+ * engineer could plausibly grep for and find a unique referent: file paths,
+ * URLs, code-formatted spans, version strings, issue/PR refs, identifier-shaped
+ * names (kebab-case / snake_case / dotted / camelCase ≥ 3 chars).
+ *
+ * Intentionally shape-only — no hardcoded tool/service vocabulary.
+ */
+export declare const hasTypedToken: (content: string) => boolean;
+/**
+ * Returns true iff `subject` either:
+ *   - looks like a typed token itself, OR
+ *   - matches (case-insensitively) one of the entities the LLM extracted, OR
+ *   - is a substring of one of the entities (or vice versa) — handles
+ *     "the foo cronjob" vs entity "foo".
+ *
+ * Intentionally permissive — we want to catch the ungrounded cases, not
+ * second-guess every wording choice.
+ */
+export declare const subjectResolves: (subject: string | null | undefined, entities: ReadonlyArray<string>) => boolean;
+export interface GroundingInput {
+    content: string;
+    subject?: string | null;
+    subject_specificity?: number | null;
+    self_contained?: boolean | null;
+    entities: ReadonlyArray<string>;
+}
+/**
+ * Structural grounding gate. Combines:
+ *   - typed-token presence in `content`
+ *   - subject resolution against typed tokens or entities
+ *   - LLM's own subject_specificity self-grade
+ *   - LLM's own self_contained self-grade
+ *
+ * Verdict semantics (consumed by storeFacts):
+ *   - grounded   → no action, store as-is
+ *   - ambiguous  → keep, but lower confidence and flag in metadata
+ *   - ungrounded → drop entirely
+ */
+export declare const verifyGrounding: (input: GroundingInput) => GroundingResult;
+export type Volatility = "stable" | "evolving" | "transient" | "ephemeral";
+export interface VolatilityInput {
+    volatility?: Volatility | null;
+    as_of?: string | null;
+    category?: string | null;
+}
+export interface VolatilityCoherenceResult {
+    /** Effective volatility after coherence checks (may be downgraded). */
+    effective: Volatility;
+    /** Effective category after coherence checks (may be forced to observations). */
+    forcedCategory: string | null;
+    /** Computed expires_at ISO timestamp, or null for stable/evolving. */
+    expiresAt: string | null;
+    /** valid_from anchor — `as_of` if supplied, else now. */
+    validFrom: string;
+    /** Half-life multiplier consumed by the recall ranker (Phase 3). */
+    halfLifeMultiplier: number;
+    /** Reasons applied during coherence checks, for metadata audit. */
+    notes: string[];
+}
+/**
+ * Translate the LLM's self-judged volatility into structural decisions:
+ *   - transient  → expires_at = as_of + 30d, force category=observations,
+ *                  half-life × 0.25
+ *   - ephemeral  → expires_at = as_of + 7d, force category=observations,
+ *                  half-life × 0.1
+ *   - stable     → no expiry, half-life × 1.0
+ *   - evolving   → no expiry, half-life × 1.0 (default)
+ *
+ * If the LLM emitted no volatility, defaults to "evolving" (NOT "stable") —
+ * we err on the side of letting decay do its job.
+ *
+ * If volatility >= transient and `as_of` is missing, we fall back to today
+ * and note the synthesis in the audit metadata.
+ */
+export declare const verifyVolatilityCoherence: (input: VolatilityInput) => VolatilityCoherenceResult;
+//# sourceMappingURL=extraction-rules.d.ts.map

package/dist/daemon/extraction-rules.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"extraction-rules.d.ts","sourceRoot":"","sources":["../../src/daemon/extraction-rules.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,MAAM,MAAM,WAAW,GACnB,cAAc,GACd,uBAAuB,GACvB,gBAAgB,GAChB,gBAAgB,GAChB,uBAAuB,GACvB,aAAa,GACb,wBAAwB,GACxB,YAAY,CAAC;AAEjB,MAAM,WAAW,gBAAgB;IAC/B,OAAO,EAAE,WAAW,GAAG,IAAI,CAAC;IAC5B,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;CACrC;AA4DD;;;GAGG;AACH,eAAO,MAAM,YAAY,GAAI,SAAS,MAAM,KAAG,gBAyB9C,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,WAAW,gBAAgB;IAC/B,OAAO,EAAE,OAAO,GAAG,UAAU,CAAC;IAC9B,WAAW,EAAE,WAAW,GAAG,IAAI,CAAC;IAChC,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;CAChB;AAID,eAAO,MAAM,cAAc,GACzB,SAAS,MAAM,EACf,YAAY,MAAM,GAAG,IAAI,GAAG,SAAS,KACpC,gBAcF,CAAC;AAgBF,MAAM,MAAM,gBAAgB,GAAG,UAAU,GAAG,WAAW,GAAG,YAAY,CAAC;AAEvE,MAAM,WAAW,eAAe;IAC9B,OAAO,EAAE,gBAAgB,CAAC;IAC1B,MAAM,EAAE,MAAM,CAAC;IACf,aAAa,EAAE,OAAO,CAAC;IACvB,eAAe,EAAE,OAAO,CAAC;CAC1B;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,aAAa,GAAI,SAAS,MAAM,KAAG,OA4B/C,CAAC;AAEF;;;;;;;;;GASG;AACH,eAAO,MAAM,eAAe,GAC1B,SAAS,MAAM,GAAG,IAAI,GAAG,SAAS,EAClC,UAAU,aAAa,CAAC,MAAM,CAAC,KAC9B,OAcF,CAAC;AAEF,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,mBAAmB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC,cAAc,CAAC,EAAE,OAAO,GAAG,IAAI,CAAC;IAChC,QAAQ,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;CACjC;AAED;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,eAAe,GAAI,OAAO,cAAc,KAAG,eAgEvD,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG,QAAQ,GAAG,UAAU,GAAG,WAAW,GAAG,WAAW,CAAC;AAE3E,MAAM,WAAW,eAAe;IAC9B,UAAU,CAAC,EAAE,UAAU,GAAG,IAAI,CAAC;IAC/B,KAAK,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CAC1B;AAED,MAAM,WAAW,yBAAyB;IACxC,uEAAuE;IACvE,SAAS,EAAE,UAAU,CAAC;IACtB,iFAAiF;IACjF,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,sEAAsE;IACtE,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,yDAAyD;IACzD,SAAS,EAAE,MAAM,CAAC;IAClB,oEAAoE;IACpE,kBAAkB,EAAE,MAAM,CAAC;IAC3B,mEAAmE;IACnE,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAYD;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,yBAAyB,GAAI,OAAO,eAAe,KAAG,yBA4ClE,CAAC"}