@vortex-os/ontos 0.1.0 → 0.2.0

package/dist/enrich/validate.js

@@ -0,0 +1,104 @@
+/**
+ * Validation for agent-mediated enrichment (0.2.0): the controlled vocabulary,
+ * the domain/range table, id-prefix typing, and the request builder. Pure — no
+ * I/O, no store; the caller passes a resolver so this stays testable.
+ */
+import { makeRelId } from "../sqlite/store.js";
+import { extractDeterministic } from "../extract/deterministic.js";
+import { OBJECT_TYPES, RELATION_TYPES, DOMAIN_RANGE, typeFromId, domainRangeViolated } from "./domain-range.js";
+// Re-exported so existing importers (barrel, tests) keep their paths.
+export { OBJECT_TYPES, RELATION_TYPES, DOMAIN_RANGE, typeFromId } from "./domain-range.js";
+function isRelationType(s) {
+    return RELATION_TYPES.includes(s);
+}
+/**
+ * Validate one raw proposal against the vocabulary, domain/range, and id
+ * resolution order. Returns the validated proposal or a reject reason. Domain/range
+ * is enforced only when BOTH ends resolve to a typed id; an unresolved end keeps its
+ * raw label (sourceResolved/targetResolved=false) and skips the constraint it can't
+ * check (a later resolution/confirmation re-checks it).
+ */
+export function validateProposal(raw, resolve) {
+    if (!isRelationType(raw.rel))
+        return { ok: false, reason: "unknown-relation" };
+    if (!(typeof raw.confidence === "number" && raw.confidence >= 0 && raw.confidence <= 1)) {
+        return { ok: false, reason: "bad-confidence" };
+    }
+    if (!raw.evidencePath || typeof raw.evidencePath !== "string") {
+        return { ok: false, reason: "no-evidence" };
+    }
+    // The verdict is agent-supplied JSON — validate it at runtime, not just at
+    // compile time. A string "false" or a bogus verifier must NOT slip through as a
+    // truthy/self verdict (Codex review 2026-06-18).
+    if (typeof raw.agreed !== "boolean" || (raw.verifier !== "cross-model" && raw.verifier !== "self")) {
+        return { ok: false, reason: "bad-verdict" };
+    }
+    const srcResolved = resolve(raw.sourceRef);
+    const tgtResolved = resolve(raw.targetRef);
+    let sourceId = srcResolved ?? raw.sourceRef;
+    let targetId = tgtResolved ?? raw.targetRef;
+    let sourceResolved = srcResolved !== null;
+    let targetResolved = tgtResolved !== null;
+    // Domain/range: only when a side's type is known (resolved to a typed id at
+    // propose time — the confirm path re-checks against the objects' stored types).
+    if (domainRangeViolated(raw.rel, typeFromId(sourceId), typeFromId(targetId))) {
+        return { ok: false, reason: "domain-range" };
+    }
+    // Symmetric relations (contradicts) have no direction: canonicalize the endpoint
+    // order so "A contradicts B" and "B contradicts A" share one relId — idempotent,
+    // and a reverse-order deterministic edge is still caught as a duplicate (Codex).
+    if (DOMAIN_RANGE[raw.rel].symmetric && targetId < sourceId) {
+        [sourceId, targetId] = [targetId, sourceId];
+        [sourceResolved, targetResolved] = [targetResolved, sourceResolved];
+    }
+    return {
+        ok: true,
+        value: {
+            relId: makeRelId(sourceId, raw.rel, targetId),
+            rel: raw.rel,
+            sourceId,
+            targetId,
+            sourceResolved,
+            targetResolved,
+            confidence: raw.confidence,
+            evidenceSpan: raw.evidenceSpan ?? null,
+            evidencePath: raw.evidencePath,
+        },
+    };
+}
+const REQUEST_RULES = [
+    "Propose ONLY relations from the listed relation types — never invent a new type.",
+    "Obey the domain/range table (an id's type is its prefix before ':').",
+    "Reuse a knownObjectId when the entity already exists; do not coin a new name for it.",
+    "Cite an evidence span (a quote or char range) from THIS record for every proposal.",
+    "A bare [[wikilink]] is a candidate only — do not emit it as a typed relation unless the prose states the relation.",
+    "Skip relations deterministic extraction already found (listed in alreadyFound).",
+    "Assign a confidence in [0,1]; omit anything you are not reasonably sure of.",
+];
+/**
+ * Build the extraction request for one record (Phase 1 §4 step 3). Pure: the
+ * caller supplies the known object ids the agent should reuse.
+ */
+export function buildEnrichmentRequest(record, deterministic, knownObjectIds = []) {
+    return {
+        path: record.path,
+        category: record.category,
+        prose: record.body,
+        alreadyFound: {
+            objectIds: deterministic.objects.map((o) => o.id),
+            relations: deterministic.relations.map((r) => `${r.sourceId} ${r.rel} ${r.targetId}`),
+        },
+        vocabulary: {
+            objectTypes: OBJECT_TYPES,
+            relationTypes: RELATION_TYPES,
+            domainRange: DOMAIN_RANGE,
+        },
+        knownObjectIds,
+        rules: REQUEST_RULES,
+    };
+}
+/** Convenience: deterministic extraction + the request that fills its gaps. */
+export function requestFor(record, knownObjectIds = []) {
+    return buildEnrichmentRequest(record, extractDeterministic(record), knownObjectIds);
+}
+//# sourceMappingURL=validate.js.map

package/dist/enrich/validate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.js","sourceRoot":"","sources":["../../src/enrich/validate.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AAEnE,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,YAAY,EAAE,UAAU,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAGhH,sEAAsE;AACtE,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAE3F,SAAS,cAAc,CAAC,CAAS;IAC/B,OAAQ,cAAoC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;AAC3D,CAAC;AAKD;;;;;;GAMG;AACH,MAAM,UAAU,gBAAgB,CAC9B,GAAgB,EAChB,OAAiB;IAEjB,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,kBAAkB,EAAE,CAAC;IAC/E,IAAI,CAAC,CAAC,OAAO,GAAG,CAAC,UAAU,KAAK,QAAQ,IAAI,GAAG,CAAC,UAAU,IAAI,CAAC,IAAI,GAAG,CAAC,UAAU,IAAI,CAAC,CAAC,EAAE,CAAC;QACxF,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC;IACjD,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,YAAY,IAAI,OAAO,GAAG,CAAC,YAAY,KAAK,QAAQ,EAAE,CAAC;QAC9D,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;IAC9C,CAAC;IACD,2EAA2E;IAC3E,gFAAgF;IAChF,iDAAiD;IACjD,IAAI,OAAO,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,GAAG,CAAC,QAAQ,KAAK,aAAa,IAAI,GAAG,CAAC,QAAQ,KAAK,MAAM,CAAC,EAAE,CAAC;QACnG,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;IAC9C,CAAC;IAED,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC3C,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC3C,IAAI,QAAQ,GAAG,WAAW,IAAI,GAAG,CAAC,SAAS,CAAC;IAC5C,IAAI,QAAQ,GAAG,WAAW,IAAI,GAAG,CAAC,SAAS,CAAC;IAC5C,IAAI,cAAc,GAAG,WAAW,KAAK,IAAI,CAAC;IAC1C,IAAI,cAAc,GAAG,WAAW,KAAK,IAAI,CAAC;IAE1C,4EAA4E;IAC5E,gFAAgF;IAChF,IAAI,mBAAmB,CAAC,GAAG,CAAC,GAAG,EAAE,UAAU,CAAC,QAAQ,CAAC,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;QAC7E,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC;IAC/C,CAAC;IAED,iFAAiF;IACjF,iFAAiF;IACjF,iFAAiF;IACjF,IAAI,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,SAAS,IAAI,QAAQ,GAAG,QAAQ,EAAE,CAAC;QAC3D,CAAC,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAC5C,CAAC,cAAc,EAAE,cAAc,CAAC,GAAG,CAAC,cAAc,EAAE,cAAc,CAAC,CAAC;IACtE,CAAC;IAED,OAAO;QACL,EAAE,EAAE,IAAI;QACR,KAAK,EAAE;YACL,KAAK,EAAE,SAAS,CAAC,QAAQ,EAAE,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC;YAC7C,GAAG,EAAE,GAAG,CAAC,GAAG;YACZ,QAAQ;YACR,QAAQ;YACR,cAAc;YACd,cAAc;YACd,UAAU,EAAE,GAAG,CAAC,UAAU;YAC1B,YAAY,EAAE,GAAG,CAAC,YAAY,IAAI,IAAI;YACtC,YAAY,EAAE,GAAG,CAAC,YAAY;SAC/B;KACF,CAAC;AACJ,CAAC;AAED,MAAM,aAAa,GAAsB;IACvC,kFAAkF;IAClF,sEAAsE;IACtE,sFAAsF;IACtF,oFAAoF;IACpF,oHAAoH;IACpH,iFAAiF;IACjF,6EAA6E;CAC9E,CAAC;AAEF;;;GAGG;AACH,MAAM,UAAU,sBAAsB,CACpC,MAAmB,EACnB,aAA4B,EAC5B,iBAAoC,EAAE;IAEtC,OAAO;QACL,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,KAAK,EAAE,MAAM,CAAC,IAAI;QAClB,YAAY,EAAE;YACZ,SAAS,EAAE,aAAa,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACjD,SAAS,EAAE,aAAa,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;SACtF;QACD,UAAU,EAAE;YACV,WAAW,EAAE,YAAY;YACzB,aAAa,EAAE,cAAc;YAC7B,WAAW,EAAE,YAAY;SAC1B;QACD,cAAc;QACd,KAAK,EAAE,aAAa;KACrB,CAAC;AACJ,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,UAAU,CAAC,MAAmB,EAAE,iBAAoC,EAAE;IACpF,OAAO,sBAAsB,CAAC,MAAM,EAAE,oBAAoB,CAAC,MAAM,CAAC,EAAE,cAAc,CAAC,CAAC;AACtF,CAAC"}

package/dist/extract/deterministic.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"deterministic.d.ts","sourceRoot":"","sources":["../../src/extract/deterministic.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,aAAa,EAAiB,WAAW,EAAE,MAAM,YAAY,CAAC;AAkG5E;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,WAAW,GAAG,aAAa,CAWvE"}
+{"version":3,"file":"deterministic.d.ts","sourceRoot":"","sources":["../../src/extract/deterministic.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,aAAa,EAAiB,WAAW,EAAE,MAAM,YAAY,CAAC;AAoH5E;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,WAAW,GAAG,aAAa,CAavE"}

package/dist/extract/deterministic.js

@@ -76,6 +76,24 @@ function fromDecision(record) {
         links: wikilinks(id, record.body, record.path),
     };
 }
+/**
+ * Runbook -> an `action:<slug>` object (label = the H1 title). A runbook is an
+ * executable/checkable remedy (§1 Action/Guard), so it becomes a `resolved-by`
+ * TARGET that LLM enrichment (or a future structured field) can link a failure to.
+ * Body wikilinks are candidates for human typing.
+ */
+function fromRunbook(record) {
+    const slug = basenameSlug(record.path);
+    if (slug === "_INDEX" || slug.startsWith("_"))
+        return empty();
+    const id = `action:${slug}`;
+    const title = (record.body.match(/^#\s+(.+)$/m)?.[1] ?? slug).trim();
+    return {
+        objects: [{ id, type: "action", label: title, source: record.path }],
+        relations: [],
+        links: wikilinks(id, record.body, record.path),
+    };
+}
 /** Memory -> a `rule:<slug>` object (label = frontmatter `name`); body wikilinks as candidates. */
 function fromMemory(record) {
     const slug = basenameSlug(record.path);
@@ -103,6 +121,8 @@ export function extractDeterministic(record) {
             return fromDecision(record);
         case "memory":
             return fromMemory(record);
+        case "runbook":
+            return fromRunbook(record);
         default:
             return empty();
     }

package/dist/extract/deterministic.js.map

@@ -1 +1 @@
-{"version":3,"file":"deterministic.js","sourceRoot":"","sources":["../../src/extract/deterministic.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAI/C,MAAM,QAAQ,GAAG,mBAAmB,CAAC;AAErC,SAAS,YAAY,CAAC,IAAY;IAChC,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC;IAC/D,OAAO,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;AACpC,CAAC;AAED,SAAS,GAAG,CAAC,CAAU;IACrB,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC1D,CAAC;AAED,SAAS,GAAG,CAAC,QAAgB,EAAE,CAAe,EAAE,QAAgB,EAAE,QAAgB;IAChF,OAAO;QACL,KAAK,EAAE,SAAS,CAAC,QAAQ,EAAE,CAAC,EAAE,QAAQ,CAAC;QACvC,GAAG,EAAE,CAAC;QACN,QAAQ;QACR,QAAQ;QACR,UAAU,EAAE,eAAe;QAC3B,UAAU,EAAE,CAAC;QACb,SAAS,EAAE,IAAI;QACf,QAAQ;KACT,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAAC,QAAgB,EAAE,IAAY,EAAE,QAAgB;IACjE,MAAM,GAAG,GAAoB,EAAE,CAAC;IAChC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QACxC,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACtC,MAAM,SAAS,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QAC1C,IAAI,SAAS;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,KAAK;IACZ,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;AACnD,CAAC;AAED;;;;;;GAMG;AACH,SAAS,WAAW,CAAC,MAAmB;IACtC,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,gBAAgB,CAAC,CAAC,CAAC;IACtD,IAAI,CAAC,GAAG;QAAE,OAAO,KAAK,EAAE,CAAC;IACzB,MAAM,OAAO,GAAG,mBAAmB,GAAG,EAAE,CAAC;IACzC,6EAA6E;IAC7E,8EAA8E;IAC9E,2EAA2E;IAC3E,qDAAqD;IACrD,MAAM,KAAK,GAAG,GAAG,OAAO,IAAI,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;IACxD,MAAM,OAAO,GAAgB;QAC3B,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE;QAC9E,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE;KACpF,CAAC;IACF,MAAM,SAAS,GAAkB,CAAC,GAAG,CAAC,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACjF,MAAM,QAAQ,GAAG,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;IACjD,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,QAAQ,QAAQ,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;QACtF,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,YAAY,EAAE,QAAQ,QAAQ,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9E,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;AAC3C,CAAC;AAED;;;;GAIG;AACH,SAAS,YAAY,CAAC,MAAmB;IACvC,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,EAAE,GAAG,YAAY,IAAI,EAAE,CAAC;IAC9B,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;IACrE,OAAO;QACL,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;QACtE,SAAS,EAAE,EAAE;QACb,KAAK,EAAE,SAAS,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC;KAC/C,CAAC;AACJ,CAAC;AAED,mGAAmG;AACnG,SAAS,UAAU,CAAC,MAAmB;IACrC,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,QAAQ;QAAE,OAAO,KAAK,EAAE,CAAC;IAC3D,MAAM,EAAE,GAAG,QAAQ,IAAI,EAAE,CAAC;IAC1B,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,IAAI,IAAI,CAAC;IACtD,OAAO;QACL,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;QAC3D,SAAS,EAAE,EAAE;QACb,KAAK,EAAE,SAAS,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC;KAC/C,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAAC,MAAmB;IACtD,QAAQ,MAAM,CAAC,QAAQ,EAAE,CAAC;QACxB,KAAK,SAAS;YACZ,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC;QAC7B,KAAK,UAAU;YACb,OAAO,YAAY,CAAC,MAAM,CAAC,CAAC;QAC9B,KAAK,QAAQ;YACX,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC;QAC5B;YACE,OAAO,KAAK,EAAE,CAAC;IACnB,CAAC;AACH,CAAC"}
+{"version":3,"file":"deterministic.js","sourceRoot":"","sources":["../../src/extract/deterministic.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAI/C,MAAM,QAAQ,GAAG,mBAAmB,CAAC;AAErC,SAAS,YAAY,CAAC,IAAY;IAChC,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC;IAC/D,OAAO,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;AACpC,CAAC;AAED,SAAS,GAAG,CAAC,CAAU;IACrB,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC1D,CAAC;AAED,SAAS,GAAG,CAAC,QAAgB,EAAE,CAAe,EAAE,QAAgB,EAAE,QAAgB;IAChF,OAAO;QACL,KAAK,EAAE,SAAS,CAAC,QAAQ,EAAE,CAAC,EAAE,QAAQ,CAAC;QACvC,GAAG,EAAE,CAAC;QACN,QAAQ;QACR,QAAQ;QACR,UAAU,EAAE,eAAe;QAC3B,UAAU,EAAE,CAAC;QACb,SAAS,EAAE,IAAI;QACf,QAAQ;KACT,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAAC,QAAgB,EAAE,IAAY,EAAE,QAAgB;IACjE,MAAM,GAAG,GAAoB,EAAE,CAAC;IAChC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QACxC,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACtC,MAAM,SAAS,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QAC1C,IAAI,SAAS;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,KAAK;IACZ,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;AACnD,CAAC;AAED;;;;;;GAMG;AACH,SAAS,WAAW,CAAC,MAAmB;IACtC,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,gBAAgB,CAAC,CAAC,CAAC;IACtD,IAAI,CAAC,GAAG;QAAE,OAAO,KAAK,EAAE,CAAC;IACzB,MAAM,OAAO,GAAG,mBAAmB,GAAG,EAAE,CAAC;IACzC,6EAA6E;IAC7E,8EAA8E;IAC9E,2EAA2E;IAC3E,qDAAqD;IACrD,MAAM,KAAK,GAAG,GAAG,OAAO,IAAI,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;IACxD,MAAM,OAAO,GAAgB;QAC3B,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE;QAC9E,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE;KACpF,CAAC;IACF,MAAM,SAAS,GAAkB,CAAC,GAAG,CAAC,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACjF,MAAM,QAAQ,GAAG,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;IACjD,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,QAAQ,QAAQ,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;QACtF,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,YAAY,EAAE,QAAQ,QAAQ,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9E,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;AAC3C,CAAC;AAED;;;;GAIG;AACH,SAAS,YAAY,CAAC,MAAmB;IACvC,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,EAAE,GAAG,YAAY,IAAI,EAAE,CAAC;IAC9B,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;IACrE,OAAO;QACL,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;QACtE,SAAS,EAAE,EAAE;QACb,KAAK,EAAE,SAAS,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC;KAC/C,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,SAAS,WAAW,CAAC,MAAmB;IACtC,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,KAAK,EAAE,CAAC;IAC9D,MAAM,EAAE,GAAG,UAAU,IAAI,EAAE,CAAC;IAC5B,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;IACrE,OAAO;QACL,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;QACpE,SAAS,EAAE,EAAE;QACb,KAAK,EAAE,SAAS,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC;KAC/C,CAAC;AACJ,CAAC;AAED,mGAAmG;AACnG,SAAS,UAAU,CAAC,MAAmB;IACrC,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,QAAQ;QAAE,OAAO,KAAK,EAAE,CAAC;IAC3D,MAAM,EAAE,GAAG,QAAQ,IAAI,EAAE,CAAC;IAC1B,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,IAAI,IAAI,CAAC;IACtD,OAAO;QACL,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;QAC3D,SAAS,EAAE,EAAE;QACb,KAAK,EAAE,SAAS,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC;KAC/C,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAAC,MAAmB;IACtD,QAAQ,MAAM,CAAC,QAAQ,EAAE,CAAC;QACxB,KAAK,SAAS;YACZ,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC;QAC7B,KAAK,UAAU;YACb,OAAO,YAAY,CAAC,MAAM,CAAC,CAAC;QAC9B,KAAK,QAAQ;YACX,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC;QAC5B,KAAK,SAAS;YACZ,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC;QAC7B;YACE,OAAO,KAAK,EAAE,CAAC;IACnB,CAAC;AACH,CAAC"}

package/dist/extract/types.d.ts

@@ -1,6 +1,6 @@
 import type { OntObject, OntRelation } from "../types.js";
 /** Which record family a file came from (the rebuild walk knows this from the dir). */
-export type RecordCategory = "failure" | "decision" | "memory" | "worklog" | "handoff" | "other";
+export type RecordCategory = "failure" | "decision" | "memory" | "runbook" | "worklog" | "handoff" | "other";
 /** A parsed VortEX markdown record, the input to extraction. */
 export interface RecordInput {
     readonly path: string;

package/dist/extract/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/extract/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE1D,uFAAuF;AACvF,MAAM,MAAM,cAAc,GAAG,SAAS,GAAG,UAAU,GAAG,QAAQ,GAAG,SAAS,GAAG,SAAS,GAAG,OAAO,CAAC;AAEjG,gEAAgE;AAChE,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACxD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED;;;;GAIG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,uFAAuF;IACvF,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,OAAO,EAAE,SAAS,EAAE,CAAC;IAC9B,qGAAqG;IACrG,QAAQ,CAAC,SAAS,EAAE,WAAW,EAAE,CAAC;IAClC,mFAAmF;IACnF,QAAQ,CAAC,KAAK,EAAE,aAAa,EAAE,CAAC;CACjC"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/extract/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE1D,uFAAuF;AACvF,MAAM,MAAM,cAAc,GAAG,SAAS,GAAG,UAAU,GAAG,QAAQ,GAAG,SAAS,GAAG,SAAS,GAAG,SAAS,GAAG,OAAO,CAAC;AAE7G,gEAAgE;AAChE,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACxD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED;;;;GAIG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,uFAAuF;IACvF,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,OAAO,EAAE,SAAS,EAAE,CAAC;IAC9B,qGAAqG;IACrG,QAAQ,CAAC,SAAS,EAAE,WAAW,EAAE,CAAC;IAClC,mFAAmF;IACnF,QAAQ,CAAC,KAAK,EAAE,aAAa,EAAE,CAAC;CACjC"}

package/dist/index.d.ts

@@ -1,5 +1,7 @@
 export * as sqlite from "./sqlite/index.js";
 export * as extract from "./extract/index.js";
+export * as enrich from "./enrich/index.js";
+export * as writeback from "./writeback.js";
 export * as actions from "./actions/index.js";
 export type * from "./types.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAC9C,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAC9C,mBAAmB,YAAY,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAC9C,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAC;AAC5C,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAC9C,mBAAmB,YAAY,CAAC"}

package/dist/index.js

@@ -1,4 +1,6 @@
 export * as sqlite from "./sqlite/index.js";
 export * as extract from "./extract/index.js";
+export * as enrich from "./enrich/index.js";
+export * as writeback from "./writeback.js";
 export * as actions from "./actions/index.js";
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAC9C,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAC9C,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAC;AAC5C,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC"}

package/dist/sqlite/index.d.ts

@@ -1,4 +1,4 @@
 export { OntosStore, makeRelId } from "./store.js";
-export type { TraverseOptions } from "./store.js";
+export type { TraverseOptions, ProposalRow } from "./store.js";
 export { SCHEMA } from "./schema.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/sqlite/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/sqlite/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACnD,YAAY,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAClD,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/sqlite/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACnD,YAAY,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAC/D,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC"}

package/dist/sqlite/schema.d.ts

@@ -6,5 +6,5 @@
  * Multi-hop traversal is a recursive CTE over `relations` — no graph DB
  * (TypeDB/Neo4j) is needed at Phase 1 scale (see the build spec, storage section).
  */
-export declare const SCHEMA = "\nCREATE TABLE IF NOT EXISTS objects (\n  id TEXT PRIMARY KEY,\n  type TEXT NOT NULL,\n  subtype TEXT,\n  label TEXT NOT NULL,\n  source TEXT\n);\nCREATE INDEX IF NOT EXISTS idx_objects_type ON objects(type);\n\nCREATE TABLE IF NOT EXISTS relations (\n  rel_id TEXT PRIMARY KEY,\n  rel TEXT NOT NULL,\n  source_id TEXT NOT NULL,\n  target_id TEXT NOT NULL,\n  provenance TEXT NOT NULL,\n  confidence REAL NOT NULL DEFAULT 1.0,\n  confirmed TEXT,\n  evidence TEXT,\n  FOREIGN KEY (source_id) REFERENCES objects(id) ON DELETE CASCADE,\n  FOREIGN KEY (target_id) REFERENCES objects(id) ON DELETE CASCADE\n);\nCREATE INDEX IF NOT EXISTS idx_relations_source ON relations(source_id, rel);\nCREATE INDEX IF NOT EXISTS idx_relations_target ON relations(target_id, rel);\n\nCREATE TABLE IF NOT EXISTS aliases (\n  alias TEXT PRIMARY KEY,\n  canonical_id TEXT NOT NULL,\n  FOREIGN KEY (canonical_id) REFERENCES objects(id) ON DELETE CASCADE\n);\n";
+export declare const SCHEMA = "\nCREATE TABLE IF NOT EXISTS objects (\n  id TEXT PRIMARY KEY,\n  type TEXT NOT NULL,\n  subtype TEXT,\n  label TEXT NOT NULL,\n  source TEXT\n);\nCREATE INDEX IF NOT EXISTS idx_objects_type ON objects(type);\n\nCREATE TABLE IF NOT EXISTS relations (\n  rel_id TEXT PRIMARY KEY,\n  rel TEXT NOT NULL,\n  source_id TEXT NOT NULL,\n  target_id TEXT NOT NULL,\n  provenance TEXT NOT NULL,\n  confidence REAL NOT NULL DEFAULT 1.0,\n  confirmed TEXT,\n  evidence TEXT,\n  FOREIGN KEY (source_id) REFERENCES objects(id) ON DELETE CASCADE,\n  FOREIGN KEY (target_id) REFERENCES objects(id) ON DELETE CASCADE\n);\nCREATE INDEX IF NOT EXISTS idx_relations_source ON relations(source_id, rel);\nCREATE INDEX IF NOT EXISTS idx_relations_target ON relations(target_id, rel);\n\nCREATE TABLE IF NOT EXISTS aliases (\n  alias TEXT PRIMARY KEY,\n  canonical_id TEXT NOT NULL,\n  FOREIGN KEY (canonical_id) REFERENCES objects(id) ON DELETE CASCADE\n);\n\n-- LLM enrichment proposals (0.2.0). DELIBERATELY SEPARATE from `relations`:\n-- the trusted graph (`relations`) is written only by deterministic extraction\n-- or by human-confirmed promotion, so `why`/the recurring-failure guard \u2014 which\n-- read `relations` with no trust filter \u2014 are never silently influenced by an\n-- LLM guess. No FK to `objects`: a proposed source/target may be UNRESOLVED (a\n-- raw label the LLM produced that is not yet a canonical object). Survives the\n-- deterministic rebuild's `clear()` (LLM proposals are expensive to regenerate).\nCREATE TABLE IF NOT EXISTS relation_proposals (\n  rel_id TEXT PRIMARY KEY,\n  rel TEXT NOT NULL,\n  source_id TEXT NOT NULL,\n  target_id TEXT NOT NULL,\n  source_resolved INTEGER NOT NULL DEFAULT 0,\n  target_resolved INTEGER NOT NULL DEFAULT 0,\n  trust TEXT NOT NULL,               -- high | medium | low\n  trust_rank INTEGER NOT NULL,       -- 3 | 2 | 1 (monotonic upgrade + ordering)\n  verified_by TEXT NOT NULL,         -- deterministic | cross-model | self\n  confidence REAL NOT NULL DEFAULT 0,\n  evidence_path TEXT,\n  evidence_span TEXT,\n  source_record_hash TEXT,           -- the extraction hash that produced this\n  proposed_at TEXT,\n  confirmed TEXT,                    -- ISO date if promoted into `relations`; null = proposed\n  rejected_at TEXT,                  -- ISO date a human rejected it (sticky: no re-surface/re-ask)\n  asked_at TEXT                      -- ISO date last surfaced as an in-context question (cooldown)\n);\nCREATE INDEX IF NOT EXISTS idx_proposals_trust ON relation_proposals(trust_rank);\n\n-- Per-record extraction state for change detection (\u00A74 step 3 \"changed files\n-- only\"). EXTRACTION hash (did the text change?) is tracked separately from\n-- verification state, so a text-unchanged record can still get a verification-only\n-- re-run that upgrades a proposal's trust when a cross-checker becomes available.\nCREATE TABLE IF NOT EXISTS enrichment_state (\n  record_path TEXT PRIMARY KEY,\n  extraction_hash TEXT NOT NULL,\n  enriched_at TEXT\n);\n";
 //# sourceMappingURL=schema.d.ts.map

package/dist/sqlite/schema.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../src/sqlite/schema.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,eAAO,MAAM,MAAM,86BA8BlB,CAAC"}
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../src/sqlite/schema.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,eAAO,MAAM,MAAM,u9FAoElB,CAAC"}

package/dist/sqlite/schema.js

@@ -36,5 +36,43 @@ CREATE TABLE IF NOT EXISTS aliases (
   canonical_id TEXT NOT NULL,
   FOREIGN KEY (canonical_id) REFERENCES objects(id) ON DELETE CASCADE
 );
+
+-- LLM enrichment proposals (0.2.0). DELIBERATELY SEPARATE from \`relations\`:
+-- the trusted graph (\`relations\`) is written only by deterministic extraction
+-- or by human-confirmed promotion, so \`why\`/the recurring-failure guard — which
+-- read \`relations\` with no trust filter — are never silently influenced by an
+-- LLM guess. No FK to \`objects\`: a proposed source/target may be UNRESOLVED (a
+-- raw label the LLM produced that is not yet a canonical object). Survives the
+-- deterministic rebuild's \`clear()\` (LLM proposals are expensive to regenerate).
+CREATE TABLE IF NOT EXISTS relation_proposals (
+  rel_id TEXT PRIMARY KEY,
+  rel TEXT NOT NULL,
+  source_id TEXT NOT NULL,
+  target_id TEXT NOT NULL,
+  source_resolved INTEGER NOT NULL DEFAULT 0,
+  target_resolved INTEGER NOT NULL DEFAULT 0,
+  trust TEXT NOT NULL,               -- high | medium | low
+  trust_rank INTEGER NOT NULL,       -- 3 | 2 | 1 (monotonic upgrade + ordering)
+  verified_by TEXT NOT NULL,         -- deterministic | cross-model | self
+  confidence REAL NOT NULL DEFAULT 0,
+  evidence_path TEXT,
+  evidence_span TEXT,
+  source_record_hash TEXT,           -- the extraction hash that produced this
+  proposed_at TEXT,
+  confirmed TEXT,                    -- ISO date if promoted into \`relations\`; null = proposed
+  rejected_at TEXT,                  -- ISO date a human rejected it (sticky: no re-surface/re-ask)
+  asked_at TEXT                      -- ISO date last surfaced as an in-context question (cooldown)
+);
+CREATE INDEX IF NOT EXISTS idx_proposals_trust ON relation_proposals(trust_rank);
+
+-- Per-record extraction state for change detection (§4 step 3 "changed files
+-- only"). EXTRACTION hash (did the text change?) is tracked separately from
+-- verification state, so a text-unchanged record can still get a verification-only
+-- re-run that upgrades a proposal's trust when a cross-checker becomes available.
+CREATE TABLE IF NOT EXISTS enrichment_state (
+  record_path TEXT PRIMARY KEY,
+  extraction_hash TEXT NOT NULL,
+  enriched_at TEXT
+);
 `;
 //# sourceMappingURL=schema.js.map

package/dist/sqlite/schema.js.map

@@ -1 +1 @@
-{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../src/sqlite/schema.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA8BrB,CAAC"}
+{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../src/sqlite/schema.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAoErB,CAAC"}

package/dist/sqlite/store.d.ts

@@ -1,4 +1,7 @@
 import type { OntObject, OntRelation, RelationType, WalkStep } from "../types.js";
+import type { RelationProposal } from "../enrich/types.js";
+/** The persisted enrichment-proposal shape (0.2.0). Same fields as RelationProposal. */
+export type ProposalRow = RelationProposal;
 /**
  * §5-bis relation-id recipe. Stable over the (source, relation, target) triple,
  * so re-accepting the same relation is idempotent (never duplicates).
@@ -19,6 +22,14 @@ export declare class OntosStore {
     readonly dbPath: string;
     private db;
     constructor(dbPath: string);
+    /**
+     * Additive column migration: `CREATE TABLE IF NOT EXISTS` does NOT add new
+     * columns to a table that already exists from an earlier schema, so an index
+     * built by a prior 0.2.0-dev build would lack newer columns and crash on query.
+     * Add any missing column here (the index is regenerable, so additive-only is
+     * enough — no data backfill). Idempotent.
+     */
+    private migrate;
     close(): void;
     /** Run a function inside one transaction (bulk upserts during a rebuild). */
     transaction(fn: () => void): void;
@@ -30,12 +41,27 @@ export declare class OntosStore {
      */
     clear(): void;
     upsertObject(obj: OntObject): void;
-    /** Idempotent on relId (§5-bis): re-accepting the same relation updates, never duplicates. */
+    /**
+     * Idempotent on relId (§5-bis): re-accepting the same relation updates, never
+     * duplicates. SAFETY GUARD (0.2.0): an UNCONFIRMED `llm` relation must never
+     * enter the trusted graph — LLM output lives in `relation_proposals` until a
+     * human confirms it (a confirmed llm relation, with a `confirmed` date, is the
+     * promotion path and is allowed). This makes "proposals never influence
+     * why()/guard" structural, not caller-dependent (Codex review 2026-06-18).
+     */
     upsertRelation(rel: OntRelation): void;
     addAlias(alias: string, canonicalId: string): void;
     /** §3 identity: resolve a name to a canonical object id (a real object id wins, then an alias). */
     resolveAlias(name: string): string | null;
     getObject(id: string): OntObject | null;
+    /** Index health snapshot (for `vortex ontos check` / the session-start ambient line). */
+    counts(): {
+        objects: number;
+        relations: number;
+        proposals: number;
+    };
+    /** All canonical object ids (for the enrichment request's knownObjectIds — reuse, don't invent). */
+    allObjectIds(): string[];
     /** Outgoing relations from an object, optionally filtered by relation type. */
     neighbors(id: string, rels?: readonly RelationType[]): OntRelation[];
     /**
@@ -45,6 +71,49 @@ export declare class OntosStore {
      * No graph DB is needed for this scale.
      */
     traverse(startId: string, opts?: TraverseOptions): WalkStep[];
+    /** Provenance of a relation in the TRUSTED graph, or null if absent (tier HIGH check). */
+    relationProvenance(relId: string): string | null;
+    /**
+     * Store an LLM enrichment proposal (0.2.0) — into `relation_proposals`, NEVER
+     * into the trusted `relations` graph. Idempotent on relId AND monotonic: a
+     * re-proposal upgrades trust (e.g. self LOW → cross-model MEDIUM) but never
+     * downgrades it. Returns "inserted" | "upgraded" | "kept".
+     */
+    upsertProposal(p: ProposalRow): "inserted" | "upgraded" | "refreshed" | "kept";
+    getProposal(relId: string): ProposalRow | null;
+    /** Proposals at or above a minimum trust rank (default all), highest trust first. */
+    listProposals(minRank?: number): ProposalRow[];
+    /** Drop all proposals (the deliberate `enrich --rebuild`; NOT the deterministic rebuild). */
+    clearProposals(): void;
+    /**
+     * Unconfirmed, un-rejected proposals touching an object — the "possible (unverified)"
+     * hint surface for the actions to weave in. Confirmed proposals are already trusted
+     * edges in `relations`; rejected ones are suppressed. Highest trust first.
+     */
+    proposalsFor(objectId: string): ProposalRow[];
+    /**
+     * Promote a proposal into the TRUSTED graph — the in-context "yes, that's right"
+     * (NOT a batch curation chore). Writes the relation with provenance="llm" + a
+     * `confirmed` date (the upsertRelation guard allows a CONFIRMED llm relation), and
+     * marks the proposal confirmed. Refuses unless BOTH endpoints already exist as
+     * objects (you can only confirm a link between known things). Returns true on promote.
+     */
+    confirmProposal(relId: string, date: string): boolean;
+    /** Reject a proposal (sticky): it is never promoted, surfaced as a hint, or re-asked. */
+    rejectProposal(relId: string, date: string): boolean;
+    /** Stamp that a proposal was just surfaced as an in-context question (re-ask cooldown). */
+    markAsked(relId: string, date: string): void;
+    /** All record paths that have an enrichment_state row (for the GC liveness check). */
+    allEnrichmentPaths(): string[];
+    /** Drop the enrichment_state row for a vanished record (so it re-enriches if it returns). */
+    deleteEnrichmentState(recordPath: string): boolean;
+    /** Distinct evidence_path values across UNCONFIRMED, UN-rejected proposals (GC candidates). */
+    pendingProposalEvidencePaths(): string[];
+    /** Drop UNCONFIRMED, UN-rejected proposals whose evidence record vanished. Returns count dropped. */
+    dropPendingProposalsByEvidence(evidencePath: string): number;
+    /** Change detection: the extraction hash last enriched for a record, or null. */
+    getExtractionHash(recordPath: string): string | null;
+    setExtractionState(recordPath: string, extractionHash: string, enrichedAt?: string | null): void;
     /** §5A helper: how many failures recur as (share a pattern with) this one. */
     recurrenceCount(problemId: string): number;
 }

package/dist/sqlite/store.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"store.d.ts","sourceRoot":"","sources":["../../src/sqlite/store.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAElF;;;GAGG;AACH,wBAAgB,SAAS,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CAKvF;AAED,MAAM,WAAW,eAAe;IAC9B,oCAAoC;IACpC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,kDAAkD;IAClD,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;CACzC;AA0BD;;;;GAIG;AACH,qBAAa,UAAU;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,OAAO,CAAC,EAAE,CAAoB;gBAElB,MAAM,EAAE,MAAM;IAS1B,KAAK,IAAI,IAAI;IAIb,6EAA6E;IAC7E,WAAW,CAAC,EAAE,EAAE,MAAM,IAAI,GAAG,IAAI;IAIjC;;;;;OAKG;IACH,KAAK,IAAI,IAAI;IAIb,YAAY,CAAC,GAAG,EAAE,SAAS,GAAG,IAAI;IAkBlC,8FAA8F;IAC9F,cAAc,CAAC,GAAG,EAAE,WAAW,GAAG,IAAI;IAqBtC,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,IAAI;IASlD,mGAAmG;IACnG,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI;IAWzC,SAAS,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS,GAAG,IAAI;IAgBvC,+EAA+E;IAC/E,SAAS,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,SAAS,YAAY,EAAE,GAAG,WAAW,EAAE;IAapE;;;;;OAKG;IACH,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,GAAE,eAAoB,GAAG,QAAQ,EAAE;IAyBjE,8EAA8E;IAC9E,eAAe,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM;CAQ3C"}
+{"version":3,"file":"store.d.ts","sourceRoot":"","sources":["../../src/sqlite/store.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAClF,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAG3D,wFAAwF;AACxF,MAAM,MAAM,WAAW,GAAG,gBAAgB,CAAC;AA4C3C;;;GAGG;AACH,wBAAgB,SAAS,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CAKvF;AAED,MAAM,WAAW,eAAe;IAC9B,oCAAoC;IACpC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,kDAAkD;IAClD,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;CACzC;AA0BD;;;;GAIG;AACH,qBAAa,UAAU;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,OAAO,CAAC,EAAE,CAAoB;gBAElB,MAAM,EAAE,MAAM;IAU1B;;;;;;OAMG;IACH,OAAO,CAAC,OAAO;IAcf,KAAK,IAAI,IAAI;IAIb,6EAA6E;IAC7E,WAAW,CAAC,EAAE,EAAE,MAAM,IAAI,GAAG,IAAI;IAIjC;;;;;OAKG;IACH,KAAK,IAAI,IAAI;IAIb,YAAY,CAAC,GAAG,EAAE,SAAS,GAAG,IAAI;IAkBlC;;;;;;;OAOG;IACH,cAAc,CAAC,GAAG,EAAE,WAAW,GAAG,IAAI;IA0BtC,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,IAAI;IASlD,mGAAmG;IACnG,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI;IAWzC,SAAS,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS,GAAG,IAAI;IAgBvC,yFAAyF;IACzF,MAAM,IAAI;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE;IASnE,oGAAoG;IACpG,YAAY,IAAI,MAAM,EAAE;IAMxB,+EAA+E;IAC/E,SAAS,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,SAAS,YAAY,EAAE,GAAG,WAAW,EAAE;IAapE;;;;;OAKG;IACH,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,GAAE,eAAoB,GAAG,QAAQ,EAAE;IAyBjE,0FAA0F;IAC1F,kBAAkB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI;IAOhD;;;;;OAKG;IACH,cAAc,CAAC,CAAC,EAAE,WAAW,GAAG,UAAU,GAAG,UAAU,GAAG,WAAW,GAAG,MAAM;IA2C9E,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,GAAG,IAAI;IAO9C,qFAAqF;IACrF,aAAa,CAAC,OAAO,SAAI,GAAG,WAAW,EAAE;IAOzC,6FAA6F;IAC7F,cAAc,IAAI,IAAI;IAItB;;;;OAIG;IACH,YAAY,CAAC,QAAQ,EAAE,MAAM,GAAG,WAAW,EAAE;IAW7C;;;;;;OAMG;IACH,eAAe,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO;IAiCrD,yFAAyF;IACzF,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO;IAOpD,2FAA2F;IAC3F,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAW5C,sFAAsF;IACtF,kBAAkB,IAAI,MAAM,EAAE;IAM9B,6FAA6F;IAC7F,qBAAqB,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO;IAIlD,+FAA+F;IAC/F,4BAA4B,IAAI,MAAM,EAAE;IAWxC,qGAAqG;IACrG,8BAA8B,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM;IAS5D,iFAAiF;IACjF,iBAAiB,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI;IAOpD,kBAAkB,CAAC,UAAU,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,EAAE,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,GAAG,IAAI;IAWhG,8EAA8E;IAC9E,eAAe,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM;CAQ3C"}