@inerrata-corporation/errata 2.0.16-dev.3362 → 2.0.16

package/consolidate-worker.mjs

@@ -802,12 +802,6 @@ function identityId(input) {
     }
     case "Claim":
       return canonicalClaimId(input.text, input.scope);
-    case "WitnessedVulnerability":
-      return genericCanonicalId("dvuln", {
-        workspaceId: input.workspaceId,
-        target: input.target.replace(/\\/g, "/").replace(/^\.\//, ""),
-        statement: canonicalClaimId(input.statement.trim())
-      });
     case "DesignProblem":
       return `${DESIGN_PROBLEM_PREFIX}${canonicalClaimId(input.statement.trim())}`.slice(
         0,
@@ -15264,7 +15258,7 @@ var init_edge_rules = __esm({
       // anchor anything at anything, e.g. at a public `Package`, quietly re-creating
       // the code↔collective bridge the membrane exists to prevent.
       ANCHORED_AT: {
-        from: ["Problem", "Vulnerability", "Solution", "RootCause", "Claim"],
+        from: ["Problem", "Solution", "RootCause", "Claim"],
         to: ["Symbol"]
       },
       // ── Security spine (v1 taxonomy.ts SECURITY_FORWARD_ONLY commentary) ──
@@ -15309,7 +15303,7 @@ var init_edge_rules = __esm({
       // `Component` joined the target set with OM-agent-anchors: an agent-named
       // component ("React Router") is the same knowledge→named-unit anchor shape as
       // a Tool — the knowledge is ABOUT it, not dependent on it.
-      CONCERNS: { from: ["Problem", "Vulnerability", "Solution", "RootCause", "Claim", "Pattern"], to: ["Tool", "Component"] },
+      CONCERNS: { from: ["Problem", "Solution", "RootCause", "Claim", "Pattern"], to: ["Tool", "Component"] },
       OPERATES_ON: { from: ["Algorithm"], to: ["DataStructure"] },
       INVOLVES: { from: ["Problem", "Solution"], to: ["DataStructure"] },
       // ── Taxonomy (Track 4 Stream C: MITRE CWE `ChildOf` → `Weakness —IS_A→ Weakness`) ──
@@ -16416,8 +16410,7 @@ CREATE INDEX IF NOT EXISTS nodes_live ON nodes(label, valid_to);
 -- its table row. Partial, so it maintains a few thousand rows instead of adding
 -- a write to every node write. Its label list is FINGERPRINT_INDEXED_LABELS.
 DROP INDEX IF EXISTS nodes_live_fingerprint;
-DROP INDEX IF EXISTS nodes_instance_fingerprint;
-CREATE INDEX IF NOT EXISTS nodes_instance_fingerprint_v2 ON nodes(label, last_updated_at, last_reinforced_at_seq, created_at_seq) WHERE valid_to IS NULL AND label IN ('Problem','Vulnerability','Solution','RootCause');
+CREATE INDEX IF NOT EXISTS nodes_instance_fingerprint ON nodes(label, last_updated_at, last_reinforced_at_seq, created_at_seq) WHERE valid_to IS NULL AND label IN ('Problem','Solution','RootCause');
 CREATE INDEX IF NOT EXISTS nodes_logical ON nodes(logical_id, version);
 CREATE INDEX IF NOT EXISTS edges_live ON edges(valid_to);
 -- Expression index on the per-node relPath (stored in attrs_json) so the
@@ -16488,7 +16481,7 @@ function rowToEdge(r) {
     attrs: JSON.parse(r.attrs_json)
   };
 }
-var FINGERPRINT_INDEXED_LABELS = ["Problem", "Vulnerability", "Solution", "RootCause"];
+var FINGERPRINT_INDEXED_LABELS = ["Problem", "Solution", "RootCause"];
 var SqliteGraphStore = class {
   db;
   // Typed edge lookups build their SQL from the number of types asked for, and
@@ -17166,8 +17159,8 @@ var SqliteGraphStore = class {
       const r2 = this.db.prepare(
         `SELECT COUNT(*) AS n, MAX(last_updated_at) AS t,
                   MAX(COALESCE(last_reinforced_at_seq, created_at_seq, 0)) AS s
-             FROM nodes INDEXED BY nodes_instance_fingerprint_v2
-            WHERE valid_to IS NULL AND label IN ('Problem','Vulnerability','Solution','RootCause')`
+             FROM nodes INDEXED BY nodes_instance_fingerprint
+            WHERE valid_to IS NULL AND label IN ('Problem','Solution','RootCause')`
       ).get();
       return `${r2.n}:${r2.t ?? 0}:${r2.s ?? 0}`;
     }
@@ -19396,7 +19389,7 @@ function generalizeFileRefs(text, fileLexicon, level = 1) {
 }
 
 // src/instance-ingest.ts
-var INSTANCE_LABELS = ["Problem", "Vulnerability", "Solution", "RootCause"];
+var INSTANCE_LABELS = ["Problem", "Solution", "RootCause"];
 var INSTANCE_EDGES = ["CAUSED_BY", "SOLVED_BY"];
 var ANCHOR_EDGES = ["OCCURS_IN", "DEPENDS_ON", "PERTAIN_TO", "CONCERNS"];
 var ANCHOR_TARGET_LABELS = ["Language", "Package", "Domain", "Component"];
@@ -19516,10 +19509,6 @@ function buildInstanceIngest(store, profile, daemonVersion, ignorePatterns = [],
       attrs: {
         scope: stripCodebaseScope(n.attrs["scope"]),
         ...n.attrs["kind"] ? { kind: n.attrs["kind"] } : {},
-        ...n.attrs["privateFinding"] ? { privateFinding: true } : {},
-        ...n.attrs["assessment"] ? { assessment: n.attrs["assessment"] } : {},
-        ...n.attrs["sourceClass"] ? { sourceClass: n.attrs["sourceClass"] } : {},
-        ...n.attrs["resolutionWitnessed"] ? { resolutionWitnessed: true, resolvedAt: n.attrs["resolvedAt"] } : {},
         ...n.attrs["resolvedAs"] ? { resolvedAs: n.attrs["resolvedAs"] } : {},
         ...preserved.length > 0 ? { preservedSymbols: preserved } : {},
         ...internal.length > 0 ? { internalSymbols: internal } : {}
@@ -19534,7 +19523,6 @@ function buildInstanceIngest(store, profile, daemonVersion, ignorePatterns = [],
   const semanticEndpoints = /* @__PURE__ */ new Map();
   const includedByLabel = /* @__PURE__ */ new Map();
   const composition = {
-    privateTargetMissing: 0,
     candidates: 0,
     shipped: 0,
     cloudSourced: 0,
@@ -19580,15 +19568,11 @@ function buildInstanceIngest(store, profile, daemonVersion, ignorePatterns = [],
       if (walked.has(n.id)) continue;
       walked.add(n.id);
       composition.candidates++;
-      if ((n.attrs["privateFinding"] || n.label === "Vulnerability") && !opts.project) {
-        composition.privateTargetMissing++;
-        continue;
-      }
       if (n.attrs["source"] === "cloud") {
         composition.cloudSourced++;
         continue;
       }
-      if (n.attrs["resolvedAs"] === PROBLEM_RESOLUTION.FALSE_POSITIVE) {
+      if (label === "Problem" && n.attrs["resolvedAs"] === PROBLEM_RESOLUTION.FALSE_POSITIVE) {
         composition.falsePositive++;
         continue;
       }
@@ -19611,7 +19595,7 @@ function buildInstanceIngest(store, profile, daemonVersion, ignorePatterns = [],
         composition.terminalRefused++;
         continue;
       }
-      if (!n.attrs["privateFinding"] && !noveltyAgainst(n, ref, noveltyOpts).ready) {
+      if (!noveltyAgainst(n, ref, noveltyOpts).ready) {
         composition.notNovel++;
         continue;
       }
@@ -19654,7 +19638,7 @@ function buildInstanceIngest(store, profile, daemonVersion, ignorePatterns = [],
     }
     if (targets.length === 0) continue;
     const shipped = shippedById.get(sourceId);
-    if (shipped && !shipped.attrs["privateFinding"]) {
+    if (shipped) {
       const anchors = (label) => targets.filter((x) => x.t.label === label).map(
         (x) => label === "Language" ? langAnchor(x.t) : label === "Component" ? `component:${x.wireId}` : x.wireId
       ).filter((a) => a != null).sort();

package/errata.mjs

@@ -139,7 +139,6 @@ var init_castalia = __esm({
     ROUTING_REASONS = [
       /** Harness org (CTF lane, e2e battery, canary) — forced org-private. */
       "harness-clamp",
-      "witnessed-vulnerability-private",
       /** A signed gateway write target named the destination. */
       "signed-target-public",
       "signed-target-org",
@@ -1081,12 +1080,6 @@ function identityId(input) {
     }
     case "Claim":
       return canonicalClaimId(input.text, input.scope);
-    case "WitnessedVulnerability":
-      return genericCanonicalId("dvuln", {
-        workspaceId: input.workspaceId,
-        target: input.target.replace(/\\/g, "/").replace(/^\.\//, ""),
-        statement: canonicalClaimId(input.statement.trim())
-      });
     case "DesignProblem":
       return `${DESIGN_PROBLEM_PREFIX}${canonicalClaimId(input.statement.trim())}`.slice(
         0,
@@ -15856,7 +15849,7 @@ var init_edge_rules = __esm({
       // anchor anything at anything, e.g. at a public `Package`, quietly re-creating
       // the code↔collective bridge the membrane exists to prevent.
       ANCHORED_AT: {
-        from: ["Problem", "Vulnerability", "Solution", "RootCause", "Claim"],
+        from: ["Problem", "Solution", "RootCause", "Claim"],
         to: ["Symbol"]
       },
       // ── Security spine (v1 taxonomy.ts SECURITY_FORWARD_ONLY commentary) ──
@@ -15901,7 +15894,7 @@ var init_edge_rules = __esm({
       // `Component` joined the target set with OM-agent-anchors: an agent-named
       // component ("React Router") is the same knowledge→named-unit anchor shape as
       // a Tool — the knowledge is ABOUT it, not dependent on it.
-      CONCERNS: { from: ["Problem", "Vulnerability", "Solution", "RootCause", "Claim", "Pattern"], to: ["Tool", "Component"] },
+      CONCERNS: { from: ["Problem", "Solution", "RootCause", "Claim", "Pattern"], to: ["Tool", "Component"] },
       OPERATES_ON: { from: ["Algorithm"], to: ["DataStructure"] },
       INVOLVES: { from: ["Problem", "Solution"], to: ["DataStructure"] },
       // ── Taxonomy (Track 4 Stream C: MITRE CWE `ChildOf` → `Weakness —IS_A→ Weakness`) ──
@@ -18281,8 +18274,7 @@ CREATE INDEX IF NOT EXISTS nodes_live ON nodes(label, valid_to);
 -- its table row. Partial, so it maintains a few thousand rows instead of adding
 -- a write to every node write. Its label list is FINGERPRINT_INDEXED_LABELS.
 DROP INDEX IF EXISTS nodes_live_fingerprint;
-DROP INDEX IF EXISTS nodes_instance_fingerprint;
-CREATE INDEX IF NOT EXISTS nodes_instance_fingerprint_v2 ON nodes(label, last_updated_at, last_reinforced_at_seq, created_at_seq) WHERE valid_to IS NULL AND label IN ('Problem','Vulnerability','Solution','RootCause');
+CREATE INDEX IF NOT EXISTS nodes_instance_fingerprint ON nodes(label, last_updated_at, last_reinforced_at_seq, created_at_seq) WHERE valid_to IS NULL AND label IN ('Problem','Solution','RootCause');
 CREATE INDEX IF NOT EXISTS nodes_logical ON nodes(logical_id, version);
 CREATE INDEX IF NOT EXISTS edges_live ON edges(valid_to);
 -- Expression index on the per-node relPath (stored in attrs_json) so the
@@ -18296,7 +18288,7 @@ CREATE INDEX IF NOT EXISTS nodes_live_description ON nodes(description, label) W
 -- every edited file of every turn, and a scan parses every Problem's attrs.
 CREATE INDEX IF NOT EXISTS nodes_anchor_hint_path ON nodes(json_extract(attrs_json, '$.anchorHint.path')) WHERE valid_to IS NULL;
 `;
-    FINGERPRINT_INDEXED_LABELS = ["Problem", "Vulnerability", "Solution", "RootCause"];
+    FINGERPRINT_INDEXED_LABELS = ["Problem", "Solution", "RootCause"];
     SqliteGraphStore = class {
       db;
       // Typed edge lookups build their SQL from the number of types asked for, and
@@ -18974,8 +18966,8 @@ CREATE INDEX IF NOT EXISTS nodes_anchor_hint_path ON nodes(json_extract(attrs_js
           const r2 = this.db.prepare(
             `SELECT COUNT(*) AS n, MAX(last_updated_at) AS t,
                   MAX(COALESCE(last_reinforced_at_seq, created_at_seq, 0)) AS s
-             FROM nodes INDEXED BY nodes_instance_fingerprint_v2
-            WHERE valid_to IS NULL AND label IN ('Problem','Vulnerability','Solution','RootCause')`
+             FROM nodes INDEXED BY nodes_instance_fingerprint
+            WHERE valid_to IS NULL AND label IN ('Problem','Solution','RootCause')`
           ).get();
           return `${r2.n}:${r2.t ?? 0}:${r2.s ?? 0}`;
         }
@@ -20271,7 +20263,7 @@ function mergeContextEdge(store, from, to, type, ts) {
 function deriveContextFromAnchors(store, problemId, ts, pkgIndex) {
   const report = { languages: [], packages: [] };
   const p = store.getNode(problemId);
-  if (!p || p.label !== "Problem" && p.label !== "Vulnerability") return report;
+  if (!p || p.label !== "Problem") return report;
   const files = store.outEdges(problemId, ["ANCHORED_AT"]).map((e) => store.getNode(e.to)).filter((n) => !!n && n.label === "File");
   if (files.length === 0) return report;
   const idx = pkgIndex ?? buildPackageIndex(store);
@@ -20909,81 +20901,6 @@ function ingestDesignProblem(store, flag, opts) {
     ...reopenedFromRegression ? { reopenedFromRegression } : {}
   };
 }
-function ingestWitnessedVulnerability(store, flag, opts) {
-  const statement = flag.statement.trim();
-  if (isPlaceholderStatement(statement)) return { id: "", created: false, corroborated: false, upgraded: false, rejected: "statement" };
-  const target = flag.target?.trim().replace(/\\/g, "/").replace(/^\.\//, "") ?? "";
-  const file2 = target ? resolveFileNode(store, target, opts.workspaceId) : null;
-  const symbol2 = file2 && flag.line !== void 0 && flag.fileText !== void 0 ? resolveEnclosingSymbol(store, file2.id, flag.line, flag.fileText) : null;
-  const identityTarget = symbol2 ? String(symbol2.attrs["logicalId"] ?? `${target}#${symbol2.attrs["qname"] ?? symbol2.description}`) : target;
-  const compatibleTarget = (n) => !symbol2 || !n.attrs["identityTarget"] || n.attrs["identityTarget"] === target || n.attrs["identityTarget"] === identityTarget;
-  const bound = flag.existingId ? store.getNode(flag.existingId) : null;
-  if (flag.existingId && (!bound || bound.label !== "Vulnerability" || bound.attrs["workspaceId"] !== opts.workspaceId || target && bound.attrs["affectedTarget"] && bound.attrs["affectedTarget"] !== target || !compatibleTarget(bound))) {
-    return { id: "", created: false, corroborated: false, upgraded: false, rejected: "binding-conflict" };
-  }
-  const statementKey = identityId({ kind: "DesignProblem", statement });
-  const restated = bound ? null : store.findNodesByLabel("Vulnerability").find((n) => n.attrs["workspaceId"] === opts.workspaceId && n.attrs["affectedTarget"] === target && compatibleTarget(n) && [n.description, ...n.attrs["statementAliases"] ?? []].some((s) => identityId({ kind: "DesignProblem", statement: s }) === statementKey));
-  const id = bound?.id ?? restated?.id ?? identityId({ kind: "WitnessedVulnerability", workspaceId: opts.workspaceId, target: identityTarget, statement });
-  const existing = bound ?? store.getNode(id);
-  const sources = existing?.attrs["sources"] ?? [];
-  const corroborated = !!existing && !sources.includes(opts.source);
-  const upgraded = !!existing && existing.attrs["assessment"] !== "asserted" && flag.assessment === "asserted";
-  const assessment = existing?.attrs["assessment"] === "asserted" ? "asserted" : flag.assessment;
-  if (!existing) {
-    store.mergeNode(buildNode(store, id, "Vulnerability", statement, opts.ts, {
-      source: "convo",
-      sourceClass: "agent-observation",
-      privateFinding: id,
-      workspaceId: opts.workspaceId,
-      affectedTarget: target,
-      identityTarget,
-      assessment,
-      anchorDisposition: target ? "unresolved" : "absent",
-      provisional: true,
-      sources: [opts.source],
-      corroborations: 0,
-      ...opts.hostHarness ? { hostHarness: opts.hostHarness } : {}
-    }));
-  } else if (corroborated || upgraded || !existing.attrs["affectedTarget"] && target || symbol2 && existing.attrs["identityTarget"] !== identityTarget) {
-    store.updateNode(id, {
-      attrs: {
-        ...existing.attrs,
-        assessment,
-        ...upgraded && existing.description !== statement ? { statementAliases: [...existing.attrs["statementAliases"] ?? [], existing.description].slice(-5) } : {},
-        affectedTarget: existing.attrs["affectedTarget"] || target,
-        ...symbol2 ? { identityTarget } : {},
-        sources: corroborated ? [...sources, opts.source] : sources,
-        corroborations: (Number(existing.attrs["corroborations"]) || 0) + (corroborated ? 1 : 0)
-      },
-      // Assessment strengthens on evidence, but does not certify exploitability.
-      ...upgraded ? { description: statement } : {},
-      ...corroborated ? { cumulativeHits: existing.cumulativeHits + 1 } : {},
-      ...reinforcedSeqAttrs(store, "Vulnerability"),
-      lastUpdatedAt: opts.ts
-    });
-  }
-  return { id, created: !existing, corroborated, upgraded };
-}
-function recordVulnerabilityCause(store, findingId, causes, ts) {
-  const finding = store.getNode(findingId);
-  if (finding?.label !== "Vulnerability") return 0;
-  let from = findingId;
-  let count = 0;
-  for (const description of causes) {
-    if (isPlaceholderStatement(description)) continue;
-    const id = genericCanonicalId("dcause", { findingId, description: description.trim() });
-    if (!store.getNode(id)) store.mergeNode(buildNode(store, id, "RootCause", description.trim(), ts, {
-      source: "convo",
-      privateFinding: findingId,
-      sources: finding.attrs["sources"],
-      assessment: finding.attrs["assessment"]
-    }));
-    mergeEdge(store, from, id, "CAUSED_BY", ts);
-    from = id;
-    count++;
-  }
-  return count;
-}
 function canonicalizePatternText(name2) {
   const stripped = name2.replace(/^\s*pattern(?:\s*[×x]\s*\d+)?\s*(?:\(exemplar\))?\s*[:—–-]\s*/i, "").replace(/\s+/g, " ").trim();
   return stripped.length > 0 ? stripped : name2.replace(/\s+/g, " ").trim();
@@ -21294,7 +21211,6 @@ function findReusableSolution(store, fixText) {
   const key = solutionTextKey(fixText);
   if (!key) return null;
   for (const s of store.findNodesByLabel("Solution")) {
-    if (s.attrs["privateFinding"]) continue;
     if (s.validTo != null) continue;
     if (isAutoMinted(s)) continue;
     if (solutionTextKey(s.description ?? "") === key) return s;
@@ -21319,7 +21235,7 @@ function priorsForFile(store, relPath) {
   for (const e of store.inEdges(file2.id, ["ANCHORED_AT"])) {
     const n = store.getNode(e.from);
     if (!n) continue;
-    if (n.label === "Problem" || n.label === "Vulnerability") {
+    if (n.label === "Problem") {
       if (seenProblem.has(n.id)) continue;
       seenProblem.add(n.id);
       if (!n.attrs["resolvedAt"]) {
@@ -21389,8 +21305,7 @@ function solutionForProblem(store, problemId) {
 }
 function anchorProblemToWorkingFile(store, problemId, relPath, workspaceId2, ts, provenance = "edited", opts = {}) {
   const p = store.getNode(problemId);
-  if (!p || p.label !== "Problem" && p.label !== "Vulnerability") return false;
-  if (p.label === "Vulnerability" && provenance !== "witnessed") return false;
+  if (!p || p.label !== "Problem") return false;
   if (!isAnchorableCodePath(relPath)) return false;
   const file2 = resolveFileNode(store, relPath, workspaceId2);
   if (!file2) return false;
@@ -21569,22 +21484,18 @@ function resolveDesignProblemById(store, id, fixNote, t) {
 }
 function closeDesignProblem(store, problemId, fixNote, t) {
   const p = store.getNode(problemId);
-  if (!p || p.label !== "Problem" && p.label !== "Vulnerability") return false;
+  if (!p || p.label !== "Problem") return false;
   if (p.attrs["resolvedAs"]) return false;
   if (fixNote?.trim() && !isFragmentFixNote(fixNote)) {
     const sols = store.outEdges(problemId, ["SOLVED_BY"]).map((e) => store.getNode(e.to)).filter((n) => n !== null);
     if (sols.every((s) => isAutoMinted(s))) {
-      const reuse = p.label === "Vulnerability" ? null : findReusableSolution(store, fixNote);
+      const reuse = findReusableSolution(store, fixNote);
       if (reuse) {
         mergeEdge(store, problemId, reuse.id, "SOLVED_BY", t);
       } else {
         const solId = `dfix_${digest({ problemId, fix: fixNote })}`.slice(0, 56);
         store.mergeNode(
-          buildNode(store, solId, "Solution", fixNote.trim(), t, {
-            source: "convo",
-            provisional: false,
-            ...p.label === "Vulnerability" ? { privateFinding: problemId, sources: p.attrs["sources"] } : {}
-          })
+          buildNode(store, solId, "Solution", fixNote.trim(), t, { source: "convo", provisional: false })
         );
         mergeEdge(store, problemId, solId, "SOLVED_BY", t);
       }
@@ -21598,7 +21509,6 @@ function closeDesignProblem(store, problemId, fixNote, t) {
     // mints no Solution, and a legacy placeholder beside it reads as
     // all-heuristic either way.
     attrs: { ...p.attrs, provisional: false, resolvedAt: t, resolutionWitnessed: true },
-    ...reinforcedSeqAttrs(store, p.label),
     lastUpdatedAt: t
   });
   return true;
@@ -23950,7 +23860,7 @@ function detectLocalCommunities(store, opts = {}) {
   const ids = /* @__PURE__ */ new Set();
   for (const label of JOINT_COMMUNITY_LABELS) {
     for (const n of store.findNodesByLabel(label)) {
-      if (n.attrs["resolvedAs"] === PROBLEM_RESOLUTION.FALSE_POSITIVE) continue;
+      if (label === "Problem" && n.attrs["resolvedAs"] === PROBLEM_RESOLUTION.FALSE_POSITIVE) continue;
       ids.add(n.id);
     }
   }
@@ -24087,7 +23997,6 @@ var init_community2 = __esm({
     init_src4();
     JOINT_COMMUNITY_LABELS = [
       "Problem",
-      "Vulnerability",
       "Solution",
       "RootCause",
       "Pattern"
@@ -24949,7 +24858,6 @@ __export(src_exports2, {
   induceAbstractions: () => induceAbstractions,
   induceTriage: () => induceTriage,
   ingestDesignProblem: () => ingestDesignProblem,
-  ingestWitnessedVulnerability: () => ingestWitnessedVulnerability,
   isConstraintProblem: () => isConstraintProblem,
   isFragmentFixNote: () => isFragmentFixNote,
   isPlaceholderStatement: () => isPlaceholderStatement,
@@ -24997,7 +24905,6 @@ __export(src_exports2, {
   recordMisreadPrior: () => recordMisreadPrior,
   recordRenderLedger: () => recordRenderLedger,
   recordTriageObservation: () => recordTriageObservation,
-  recordVulnerabilityCause: () => recordVulnerabilityCause,
   reinforceSameAnchorProblem: () => reinforceSameAnchorProblem,
   relateClaims: () => relateClaims,
   reopenAutoClosedProblems: () => reopenAutoClosedProblems,
@@ -25067,7 +24974,7 @@ function isPassiveInjectable(node2, atCommit) {
   return false;
 }
 function buildSnapshot(opts) {
-  const problems = [...opts.store.findNodesByLabel("Problem"), ...opts.store.findNodesByLabel("Vulnerability")].filter((p) => p.attrs["mergedInto"] === void 0 && historyReadPolicy(p, { mode: "passive", atCommit: opts.atCommit }).allow);
+  const problems = opts.store.findNodesByLabel("Problem").filter((p) => p.attrs["mergedInto"] === void 0 && historyReadPolicy(p, { mode: "passive", atCommit: opts.atCommit }).allow);
   const stillOpen = problems.filter((p) => p.attrs["resolvedAt"] == null);
   const allProblems = stillOpen.filter((p) => !isConstraintProblem(p));
   allProblems.sort((a, b) => b.lastUpdatedAt - a.lastUpdatedAt);
@@ -25222,11 +25129,11 @@ function sliceForFile(store, relPath, atCommit) {
   const priors = fp ? {
     openProblems: fp.openProblems.slice(0, 3).map((p) => ({
       id: p.id,
-      description: p.label === "Vulnerability" ? `Vulnerability (${p.attrs["assessment"] ?? "unassessed"}): ${p.description}` : p.description,
+      description: p.description,
       ...typeof p.attrs["fixCandidateFile"] === "string" ? { fixCandidateFile: p.attrs["fixCandidateFile"] } : {}
     })),
     constraints: fp.constraints.slice(0, 2).map((c) => ({ id: c.id, description: c.description })),
-    resolvedProblems: fp.resolvedProblems.slice(0, 3).map((p) => ({ id: p.id, description: p.label === "Vulnerability" ? `Vulnerability (${p.attrs["assessment"] ?? "unassessed"}): ${p.description}` : p.description })),
+    resolvedProblems: fp.resolvedProblems.slice(0, 3).map((p) => ({ id: p.id, description: p.description })),
     related: fp.related.slice(0, 4).map((n) => ({ id: n.id, label: n.label, description: n.description })),
     solutionsByProblem: Object.fromEntries(
       [...fp.openProblems.slice(0, 3), ...fp.resolvedProblems.slice(0, 3)].map((p) => [
@@ -25344,8 +25251,7 @@ function renderSnapshot(s) {
     if (s.recentProblems.length > 0) {
       lines.push("_Open \u2014 recently observed here, derived from your work (a recency slice, not an inventory \u2014 burst an id for its full neighborhood):_");
       for (const r of s.recentProblems) {
-        const badge = r.node.label === "Vulnerability" ? `Vulnerability (${r.node.attrs["assessment"] ?? "unassessed"}): ` : "";
-        lines.push(`- **${badge}${r.node.description}** \u2014 \`${r.node.id}\`${tagOf(r.node)}`);
+        lines.push(`- **${r.node.description}** \u2014 \`${r.node.id}\`${tagOf(r.node)}`);
         const hits = r.node.cumulativeHits ?? 0;
         const surprise = (r.node.cumulativeSurprise ?? 0).toFixed(2);
         lines.push(`  - observed ${hits}\xD7 \xB7 cumulativeSurprise ${surprise}`);
@@ -25386,8 +25292,7 @@ function renderSnapshot(s) {
     if (s.recentResolved.length > 0) {
       lines.push("_Recently resolved \u2014 solved here; jumping-off points, not live defects:_");
       for (const r of s.recentResolved) {
-        const badge = r.node.label === "Vulnerability" ? `Vulnerability (${r.node.attrs["assessment"] ?? "unassessed"}): ` : "";
-        lines.push(`- \u2713 **${badge}${r.node.description}** \u2014 \`${r.node.id}\`${tagOf(r.node)}`);
+        lines.push(`- \u2713 **${r.node.description}** \u2014 \`${r.node.id}\`${tagOf(r.node)}`);
         if (r.solution) {
           lines.push(`  - solved: ${r.solution.description.slice(0, 160)} \u2014 \`${r.solution.id}\`${tagOf(r.solution)}`);
         }
@@ -27247,8 +27152,8 @@ var init_config = __esm({
     "use strict";
     init_paths();
     LEGACY_CLOUD_URL = "https://inerrata-gateway.onrender.com";
-    DEFAULT_CLOUD_URL = true ? "https://dev.inerrata.dev" : DEV_CLOUD_URL;
-    DEFAULT_UPDATE_CHANNEL = false ? "latest" : "dev";
+    DEFAULT_CLOUD_URL = true ? "https://inerrata.dev" : DEV_CLOUD_URL;
+    DEFAULT_UPDATE_CHANNEL = true ? "latest" : "dev";
   }
 });
 
@@ -31808,7 +31713,7 @@ var init_src8 = __esm({
 
 // src/agent-signals.ts
 function buildFileRecallInstruction(referent = "\u2026") {
-  return `Touching one? paste its token: ${TAG_EXAMPLE.fix(referent)} resolved \xB7 ${TAG_EXAMPLE.prior(referent)} leaned-on \xB7 ${TAG_EXAMPLE.problem()} new \xB7 ${TAG_EXAMPLE.vulnerability()} security. We harvest it.`;
+  return `Touching one? paste its token: ${TAG_EXAMPLE.fix(referent)} resolved \xB7 ${TAG_EXAMPLE.prior(referent)} leaned-on \xB7 ${TAG_EXAMPLE.problem()} new. We harvest it.`;
 }
 function triageBullet(ref) {
   return [
@@ -31844,15 +31749,15 @@ function attemptBullet() {
   ].join("\n");
 }
 function buildAgentInstruction(opts = {}) {
-  const signals = opts.signals ?? ["prior", "problem", "vulnerability", "domain", "fix", "constraint", "triage", "attempt", "link"];
+  const signals = opts.signals ?? ["prior", "problem", "domain", "fix", "constraint", "triage", "attempt", "link"];
   const ref = opts.referent ?? "its-handle";
   const token = (s) => s === "problem" ? TAG_EXAMPLE.problem() : s === "constraint" ? TAG_EXAMPLE.constraint() : s === "attempt" ? TAG_EXAMPLE.tried() : s === "domain" ? TAG_EXAMPLE.domain() : s === "link" ? TAG_EXAMPLE.pattern() : s === "verdict" ? TAG_EXAMPLE.confirm(ref) : TAG_EXAMPLE[s](ref);
-  const head2 = "Tag inline (no fences or backticks). Untagged findings are silently lost. Cite short handles; tag everything, we filter downstream. Requested errata-* answer blocks are the exception: keep their fences in your turn-final reply:";
-  const tail = "Restate mid-turn tags in your final reply; the harness can drop mid-turn text. EXCEPT one already shown with an id: cite [its-handle] instead of retyping (drift mints a duplicate).";
+  const head2 = `We tag the priors we show you with a short handle like [${opts.handleExample ?? "chokidar-glob"}]. Untagged prose is silently lost. Put each tag inline in prose (no fences or backticks). Requested errata-* answer blocks are the exception: keep their fences in your turn-final reply. Tag everything, we filter downstream:`;
+  const tail = "Mid-turn text (between tool calls) can be dropped by the harness \u2014 RESTATE every tag in your turn-final message; the final message is what reliably survives \u2014 EXCEPT one already shown above with an id: that is captured, so cite `[its-handle]` rather than retyping it (drift mints a duplicate).";
   return [
     head2,
     ...signals.map(
-      (s) => s === "triage" ? triageBullet(ref) : s === "vulnerability" ? `  \u2022 ${GLOSS.vulnerability} \u2192 ${TAG_EXAMPLE.vulnerability()}. Uncertain? ${TAG_EXAMPLE.suspectedVulnerability()}. Code review counts, even if immediately fixed. No CVE/exploit needed. For fixes: ${TAG_EXAMPLE.vulnerabilityThread()} ${TAG_EXAMPLE.fixThread("v")}.` : s === "attempt" ? attemptBullet() : s === "link" ? linkBullet(ref) : s === "verdict" ? verdictBullet(ref) : `  \u2022 ${GLOSS[s]} \u2192 ${token(s)}`
+      (s) => s === "triage" ? triageBullet(ref) : s === "attempt" ? attemptBullet() : s === "link" ? linkBullet(ref) : s === "verdict" ? verdictBullet(ref) : `  \u2022 ${GLOSS[s]} \u2192 ${token(s)}`
     ),
     tail
   ].join("\n");
@@ -31864,9 +31769,6 @@ var init_agent_signals = __esm({
     TAG_EXAMPLE = {
       prior: (ref) => `([${ref}])`,
       problem: () => `[!one line on what's wrong]`,
-      vulnerability: () => `[!vuln: who can do what; observed basis @ path:line]`,
-      suspectedVulnerability: () => `[?vuln: consequence; missing check]`,
-      vulnerabilityThread: () => `[!#v vuln: finding here]`,
       fix: (ref) => `(fix:[${ref}])`,
       // CONSTRAINT — the native capture path for a DIFFUSE problem (a constraint/tension/
       // conflict that shaped a decision). Free text, attaches to the decision sentence the
@@ -31887,7 +31789,7 @@ var init_agent_signals = __esm({
       // tags never need one — the id is for diagnoses that unfold over distance.
       problemThread: () => `[!#slug one line on what's wrong]`,
       causeThread: () => `(cause:#slug the mechanism)`,
-      fixThread: (thread = "slug") => `(fix:#${thread} what you changed)`,
+      fixThread: () => `(fix:#slug what you changed)`,
       // ATTEMPT arc — what's being tried and what didn't work. A failed attempt is a
       // witnessed NEGATIVE result: it saves the next agent the same dead end.
       tried: () => `(tried: the approach you're attempting)`,
@@ -31929,9 +31831,8 @@ var init_agent_signals = __esm({
       // problems, and narrated them as progress (a pick-best-before-scoring bug lost).
       // Every example here was diagnosis-framed, so nothing contradicted that sorting.
       // Kept to 29 chars: the instruction sits at the 2600 passive-budget ceiling.
-      problem: "any bug or finding, even in code you just wrote; name affected code: [!what's wrong @ path:42]",
-      vulnerability: "unauthorized actions, data exposure, or execution/disruption an attacker can trigger",
-      fix: "you fixed a shown finding; for your own non-security finding: (fix: what changed) \u2014 a fix resolves a stated problem, completing routine work is not a fix",
+      problem: "a problem you notice or report \u2014 any bug, finding, or thing wrong, even in code you just wrote; about specific code? name the file: [!what's wrong @ src/file.ts:42]",
+      fix: "your edit fixed a PROBLEM we showed you; for one you flagged yourself: (fix: what you changed) \u2014 a fix resolves a stated problem, completing routine work is not a fix",
       constraint: "a design decision forced by conflicting requirements or constraints \u2014 tag the tension, especially when your fix makes it 'only look' resolved",
       triage: "you diagnosed a cause \u2014 fold the chain into the flag with <- (caused-by), deepest sure mechanism rightmost",
       attempt: "attempting an approach / an attempt failed \u2014 a failed attempt is knowledge, it rules out a path",
@@ -31953,7 +31854,7 @@ var init_agent_signals = __esm({
       // Sim note (2026-08-02 shrink): domain emission held 4/4 with just the trigger
       // clause; the pattern convergence hook now rides here too (it fell 0/4 when it
       // only appeared in the link bullet's tail).
-      domain: "no single file? name the area (Title Case), and (pattern: the shape). No code anchor needed; two agents naming the same shape converge on one node",
+      domain: "a problem with no single file \u2014 name the area it's about (Title Case). Also name the general shape it instantiates: (pattern: the shape) \u2014 needs no code anchor, and two agents naming the same shape converge on one node",
       link: "the problem you flagged is an instance of priors/abstractions you can name \u2014 (instance:[h1],[h2],\u2026) / (pattern: \u2026) / (aids:[h]); rendered whole via linkBullet",
       verdict: "you can judge a prior we SHOWED you \u2014 confirm it if it held, refute it (with why) if it didn't; rendered whole via verdictBullet"
     };
@@ -32194,7 +32095,7 @@ function readContextCard(root, hash2) {
 function openProblems(store, now = Date.now()) {
   const hit = openProblemsCache.get(store);
   if (hit && now - hit.at < OPEN_PROBLEMS_TTL_MS) return hit.nodes;
-  const nodes = [...store.findNodesByLabel("Problem"), ...store.findNodesByLabel("Vulnerability")].filter((p) => live(p) && !p.attrs["resolvedAt"] && p.attrs["mergedInto"] === void 0 && !isConstraintProblem(p));
+  const nodes = store.findNodesByLabel("Problem").filter((p) => live(p) && !p.attrs["resolvedAt"] && p.attrs["mergedInto"] === void 0 && !isConstraintProblem(p));
   openProblemsCache.set(store, { at: now, nodes });
   return nodes;
 }
@@ -43581,9 +43482,47 @@ var init_mcp = __esm({
     init_reconcile();
     init_agent_signals();
     INSTRUCTIONS = [
-      "errata is a live code and knowledge graph, a SEPARATE DIAGNOSTIC AXIS alongside grep/read for callers, blast radius, rename lineage and prior fixes. Fall back to read/search on found:false (unresolved is not an empty answer), or for unindexed code. Confirm exact bytes before editing.",
-      buildAgentInstruction({ signals: ["prior", "problem", "vulnerability", "fix"], referent: "its-id" }),
-      "Read .errata/g/index for graph-as-files query paths. A tool result may ask for a root cause; answer via errata.annotate_resolution when known."
+      // KEEP THIS UNDER THE CLIENT'S ~2 KB instruction-injection budget (the client
+      // truncates `instructions` on connect, ~2008 chars observed). Capture no longer
+      // depends on a standing emit-instruction block: the daemon derives problems/fixes
+      // from your WORK deterministically, and the one thing it asks of the agent — a
+      // one-line root cause at a fix — rides INLINE on the next tool response (the ⚡
+      // errata line; see the dispatch's enrichment piggyback) instead of a fenced
+      // protocol the agent has to remember. So this stays short: tool-routing steering
+      // plus a single line about the inline nudge. Per-tool routing lives in each tool's
+      // own `description` (delivered via tools/list). Don't re-add a tool table here.
+      "errata is a LIVE, bi-temporal code graph of this workspace, kept current by a",
+      "file watcher \u2014 a SEPARATE DIAGNOSTIC AXIS to run ALONGSIDE grep/glob/read, not",
+      "instead of them. For STRUCTURAL questions (callers of callers, blast-radius,",
+      "rename lineage) prefer it: faster, more complete, and it reaches relationships",
+      "grep can't. Each tool's description says when to reach for it. Fall back to",
+      'grep/read when a tool returns found:false (ESPECIALLY reason:"unresolved" \u2014 the',
+      "name was not recognized, NOT an empty answer; an empty list like callers:[] is a",
+      'confident "none" \u2014 trust it), when you need EXACT bytes before a high-stakes',
+      "edit, or for an unindexed file/language. Always confirm exact bytes with a read",
+      "before editing.",
+      "",
+      "errata is a cloud knowledge substrate \u2014 AND ALSO this workspace's code graph.",
+      "The problems you hit and the fixes you make become shared knowledge other agents",
+      "recall. That capture is automatic: derived from your edits/commands/commits \u2014 no",
+      "emit needed. Just after you resolve something a tool result may carry a one-line",
+      "\u26A1 errata note asking the ROOT CAUSE; answer via errata.annotate_resolution when",
+      "you know it, skip it otherwise.",
+      "",
+      "Two things it CAN'T derive \u2014 only you witness them, and this is a CAPTURE",
+      "PROTOCOL, not optional formatting: a problem or fix you state only in prose, a",
+      "list, or your own numbering is SILENTLY LOST \u2014 the tag is the ONLY thing recorded.",
+      "So the moment you state one, wrap it inline (no fence, no extra call):",
+      // Signal tokens come from the single source (agent-signals.ts) so this always-on
+      // block can't teach a grammar the parser rejects. Referent is "its-id" here — the
+      // raw MCP channel has no primed handles, so the agent cites a tool-result id.
+      `  \u2022 ${TAG_EXAMPLE.problem()}  \u2014 EVERY problem you notice or report ([?\u2026] = TODO)`,
+      `  \u2022 ${TAG_EXAMPLE.fix("its-id")}               \u2014 your edit fixed a problem errata showed you`,
+      "Tag every one you state \u2014 we filter downstream, so don't self-censor or batch.",
+      "",
+      "Graph-as-files: the graph is ALSO a virtual FS \u2014 Read (or `cat`)",
+      ".errata/g/<verb>/<seed> to run a query as a file read (e.g. .errata/g/burst/",
+      "<symbol>, /why/<sym>, /trace/<a>..<b>). Read .errata/g/index for the vocabulary."
     ].join("\n");
     AUDIT_RUN_THRESHOLD = 5;
     AUDIT_NUDGE_COOLDOWN = 12;
@@ -44175,7 +44114,7 @@ var init_mcp = __esm({
       },
       {
         name: "errata.problems",
-        description: "List the workspace's Problem and Vulnerability backlog \u2014 the triage view that search/why/impact can't give because they need a seed. status: 'open' (default) | 'resolved' (a real fix) | 'retracted' (false alarms \u2014 false_positive/dissolution) | 'constraint' (design TENSIONS captured via `(constraint: \u2026)` \u2014 standing context, not open work, so they're excluded from 'open') | 'all'. Also returns a `retracted` breakdown so the false-positive rate stays visible.",
+        description: "List the workspace's Problem backlog \u2014 the triage view that search/why/impact can't give because they need a seed. status: 'open' (default) | 'resolved' (a real fix) | 'retracted' (false alarms \u2014 false_positive/dissolution) | 'constraint' (design TENSIONS captured via `(constraint: \u2026)` \u2014 standing context, not open work, so they're excluded from 'open') | 'all'. Also returns a `retracted` breakdown so the false-positive rate stays visible.",
         inputSchema: {
           type: "object",
           properties: {
@@ -44187,15 +44126,13 @@ var init_mcp = __esm({
           const want = String(args2["status"] ?? "open");
           const limit = Math.max(1, Math.min(200, Number(args2["limit"] ?? 50)));
           const RETRACTIONS = /* @__PURE__ */ new Set(["false_positive", "invalid", "duplicate"]);
-          const rows = [...store.findAllVersionsByLabel("Problem"), ...store.findAllVersionsByLabel("Vulnerability")].map((p) => {
+          const rows = store.findAllVersionsByLabel("Problem").map((p) => {
             const ra = p.attrs["resolvedAs"];
             const status = ra && RETRACTIONS.has(ra) ? ra : p.attrs["resolvedAt"] != null ? "resolved" : isConstraintProblem(p) ? "constraint" : "open";
             const anchorEdge = store.outEdges(p.id, ["ANCHORED_AT"])[0];
             const anchor = anchorEdge ? store.getNode(anchorEdge.to)?.description : void 0;
             return {
               id: p.id,
-              label: p.label,
-              ...p.label === "Vulnerability" ? { assessment: p.attrs["assessment"] } : {},
               problem: p.description,
               status,
               createdAt: p.createdAt,
@@ -52760,8 +52697,7 @@ function errorRecallTerms(errorText) {
 }
 function recallLine(n, token) {
   const desc = (n.description ?? "").replace(/\s+/g, " ").slice(0, 120);
-  const label = n.label === "Vulnerability" ? `Vulnerability; ${n.attrs["assessment"] ?? "unassessed"}` : n.label;
-  return `- [${label}] ${desc}  \u2192  ${token}`;
+  return `- [${n.label}] ${desc}  \u2192  ${token}`;
 }
 function recallForFile(store, relPath) {
   return fileRecall(store, relPath)?.context ?? null;
@@ -52782,7 +52718,7 @@ function fileRecall(store, relPath) {
   const shownRelated = priors.related.slice(0, 4);
   for (const p of shownProblems) {
     const hasCause = store.outEdges(p.id, ["CAUSED_BY"]).some((e) => store.getNode(e.to)?.label === "RootCause");
-    const causeCue = hasCause ? "" : ` \xB7 ${p.label === "Vulnerability" ? `(cause:#${p.id} the mechanism)` : TAG_EXAMPLE.triageMint()} to diagnose its cause`;
+    const causeCue = hasCause ? "" : ` \xB7 ${TAG_EXAMPLE.triageMint()} to diagnose its cause`;
     lines.push(
       recallLine(p, `${TAG_EXAMPLE.fix(p.id)} if you resolved it \xB7 ${TAG_EXAMPLE.prior(p.id)} to cite${causeCue}`)
     );
@@ -76052,7 +75988,7 @@ init_src5();
 import { readFileSync as readFileSync17, writeFileSync as writeFileSync13 } from "node:fs";
 var NEG = /n['']t|\b(?:not|never|no|none|neither|nor|unrelated|irrelevant|would|might|could|if)\b/i;
 var CITE_GROUP_RE = /\(((?:[^()\n]|\([^()\n]*\)){1,200})\)/g;
-var HANDLE_RE = /\[([a-z0-9][\w-]{0,80})\]|((?:pat|sol|drc|dcause|dfix|dprob|dvuln|prob|claim|err)_[0-9a-f]{6,})/gi;
+var HANDLE_RE = /\[([a-z0-9][\w-]{0,80})\]|((?:pat|sol|drc|dcause|dfix|dprob|prob|claim|err)_[0-9a-f]{6,})/gi;
 var PLACEHOLDER_HANDLES = /* @__PURE__ */ new Set([
   "handle",
   "its-handle",
@@ -76067,7 +76003,7 @@ var PLACEHOLDER_HANDLES = /* @__PURE__ */ new Set([
   "b"
 ]);
 var isPlaceholderHandle = (h) => PLACEHOLDER_HANDLES.has(h.toLowerCase());
-var FLAG_BODY_HANDLE_RE = /^(?:[a-z0-9]+(?:-[a-z0-9]+){2,}-(?=[0-9a-f]{0,3}\d)[0-9a-f]{4}|(?:pat|sol|drc|dcause|dfix|dprob|dvuln|prob|claim|err)_[0-9a-f]{6,})$/i;
+var FLAG_BODY_HANDLE_RE = /^(?:[a-z0-9]+(?:-[a-z0-9]+){2,}-(?=[0-9a-f]{0,3}\d)[0-9a-f]{4}|(?:pat|sol|drc|dcause|dfix|dprob|prob|claim|err)_[0-9a-f]{6,})$/i;
 var FIX_PREFIX = /^\s*fix:(?:#([a-z][\w-]{0,63}))?\s*/i;
 var CONSTRAINT_RE = /\(\s*constraint:\s*([^()\n]{8,}?)\s*\)/gi;
 var CAUSE_PREFIX = /^\s*cause:(?:#([a-z][\w-]{0,63}))?\s*/i;
@@ -76092,7 +76028,7 @@ var DOMAIN_RE = /\(\s*domain:\s*([^()\n]{3,}?)\s*\)/gi;
 var PACKAGE_RE = /\(\s*package:\s*([^()\n]{2,}?)\s*\)/gi;
 var COMPONENT_RE = /\(\s*component:\s*([^()\n]{2,}?)\s*\)/gi;
 var CAUSE_TEXT_MIN = 8;
-var FLAG_RE = /\[([!?])(?:#([a-z][\w-]{0,63})\s+)?\s*((?:\[[^\]\n]*\]|[^\]\n])*?)\s*(?:@\s*([^\s\]]+?)(?::(\d+))?\s*)?\]/g;
+var FLAG_RE = /\[([!?])(?:#([a-z][\w-]{0,63})\s+)?\s*((?:\[[^\]\n]*\]|[^\]\n]){8,}?)\s*(?:@\s*([^\s\]]+?)(?::(\d+))?\s*)?\]/g;
 var CONSTRAINT_MIN = 8;
 function clauseBefore(sentence, idx) {
   const win = sentence.slice(Math.max(0, idx - 80), idx);
@@ -76236,7 +76172,6 @@ function cleanEmittedTags(tags) {
 }
 function emptyTagDispositions() {
   return {
-    invalidVulnerability: 0,
     oversizeSegments: 0,
     codeSpanNeutralized: 0,
     refuteTooShort: 0,
@@ -76249,7 +76184,6 @@ function emptyTagDispositions() {
   };
 }
 function addTagDispositions(a, b) {
-  a.invalidVulnerability += b.invalidVulnerability;
   a.oversizeSegments += b.oversizeSegments;
   a.codeSpanNeutralized += b.codeSpanNeutralized;
   a.refuteTooShort += b.refuteTooShort;
@@ -76263,31 +76197,12 @@ function addTagDispositions(a, b) {
 function parseInlineTags(text) {
   return parseInlineTagsWithDispositions(text).tags;
 }
-function* captureSentences(text) {
-  for (const line of text.split(/\n+/)) {
-    if (line.length > 2e4) {
-      yield line;
-      continue;
-    }
-    const flags2 = [...line.matchAll(new RegExp(FLAG_RE.source, FLAG_RE.flags))].map((m) => ({ start: m.index, end: m.index + m[0].length }));
-    let flag = 0;
-    let start2 = 0;
-    for (const boundary of line.matchAll(/(?<=[.!?])\s+(?!\(fix:)/g)) {
-      const index = boundary.index;
-      while (flags2[flag] && flags2[flag].end <= index) flag++;
-      if (flags2[flag] && flags2[flag].start < index) continue;
-      yield line.slice(start2, index);
-      start2 = index + boundary[0].length;
-    }
-    yield line.slice(start2);
-  }
-}
 function parseInlineTagsWithDispositions(text) {
   const out2 = [];
   const dispositions = emptyTagDispositions();
   const deFenced = text.replace(/```[\s\S]*?```/g, " ");
   let seqNo = -1;
-  for (const raw2 of captureSentences(deFenced)) {
+  for (const raw2 of deFenced.split(/(?<=[.!?])\s+(?!\(fix:)|\n+/)) {
     seqNo++;
     if (raw2.length > 2e4) {
       dispositions.oversizeSegments++;
@@ -76513,29 +76428,6 @@ function parseInlineTagsWithDispositions(text) {
     while ((f = FLAG_RE.exec(sentence)) !== null) {
       const flagThread = f[2];
       const raw3 = f[3].trim();
-      if (/^vuln\b/i.test(raw3)) {
-        const typed = /^vuln:\s*([\s\S]*)$/i.exec(raw3);
-        const body2 = typed?.[1]?.trim() ?? "";
-        const parts2 = body2.split(CAUSE_ARROW).map((s) => s.trim());
-        const symptom = f[1] === "!" && parts2.length > 1 && !f[4] ? new RegExp(FLAG_RE.source, "i").exec(`[!${parts2[0]}]`) : null;
-        const statement = f[1] === "?" ? body2 : symptom?.[3]?.trim() ?? parts2[0];
-        if (statement.length < 8 || /^<[^>]*>$/.test(statement)) {
-          dispositions.invalidVulnerability++;
-          continue;
-        }
-        const path2 = (f[4] ?? symptom?.[4])?.trim();
-        const line = f[5] ?? symptom?.[5];
-        out2.push({
-          kind: "vulnerability",
-          statement,
-          assessment: f[1] === "!" ? "asserted" : "suspected",
-          ...f[1] === "!" && parts2.length > 1 ? { vulnerabilityCauses: parts2.slice(1).filter((s) => s.length >= CAUSE_TEXT_MIN) } : {},
-          ...path2 ? { location: { path: path2, ...line ? { line: Number(line) } : {} } } : {},
-          ...flagThread ? { threadId: flagThread } : {},
-          sentence: sfield
-        });
-        continue;
-      }
       if (FLAG_BODY_HANDLE_RE.test(raw3) && !f[4]) {
         dispositions.flagAsHandle++;
         out2.push({ kind: "prior", handle: raw3, sentence: sfield });
@@ -76906,7 +76798,7 @@ function harvestInlineTags(store, text, opts) {
   const parsed = parseInlineTagsWithDispositions(text);
   const tags = parsed.tags;
   plan.dispositions = parsed.dispositions;
-  const symptomSeqs = tags.filter((t) => (t.kind === "problem" || t.kind === "todo" || t.kind === "vulnerability") && t.statement).map((t) => ({ seq: t.seq ?? -1, statement: t.statement, threadId: t.threadId, kind: t.kind })).sort((a, b) => a.seq - b.seq);
+  const symptomSeqs = tags.filter((t) => (t.kind === "problem" || t.kind === "todo") && t.statement).map((t) => ({ seq: t.seq ?? -1, statement: t.statement, threadId: t.threadId })).sort((a, b) => a.seq - b.seq);
   const bindSymptom = (seq, threadId) => {
     if (threadId) {
       const hit = symptomSeqs.find((s) => s.threadId === threadId);
@@ -76919,7 +76811,6 @@ function harvestInlineTags(store, text, opts) {
     if (seq == null) return { evidence: "inferred" };
     let best;
     for (const s of symptomSeqs) {
-      if (s.kind === "vulnerability") continue;
       if (s.seq <= seq) best = s;
       else break;
     }
@@ -76934,13 +76825,10 @@ function harvestInlineTags(store, text, opts) {
     return id;
   };
   for (const tag of tags) {
-    if (tag.kind === "problem" || tag.kind === "todo" || tag.kind === "vulnerability") {
+    if (tag.kind === "problem" || tag.kind === "todo") {
       plan.problems.push({
         statement: tag.statement,
         kind: tag.kind,
-        ...tag.assessment ? { assessment: tag.assessment } : {},
-        ...tag.vulnerabilityCauses ? { vulnerabilityCauses: tag.vulnerabilityCauses } : {},
-        ...tag.kind === "vulnerability" && tag.seq !== void 0 ? { seq: tag.seq } : {},
         ...tag.location ? { location: tag.location } : {},
         ...tag.threadId ? { threadId: tag.threadId } : {}
       });
@@ -76963,7 +76851,7 @@ function harvestInlineTags(store, text, opts) {
         } else if (tag.threadId && !b.statement) {
           plan.fixes.push({ inScope: true, fixNote: tag.fixRationale, threadId: tag.threadId });
         } else if (b.statement && b.evidence === "witnessed") {
-          plan.fixes.push({ inScope: true, fixNote: tag.fixRationale, boundStatement: b.statement, ...tag.threadId ? { threadId: tag.threadId } : {} });
+          plan.fixes.push({ inScope: true, fixNote: tag.fixRationale, boundStatement: b.statement });
         } else {
           plan.fixes.push({ inScope: true, fixNote: tag.fixRationale, ambiguous: true });
         }
@@ -77166,7 +77054,6 @@ function harvestInlineTags(store, text, opts) {
 }
 var CORROBORATABLE_LABELS = /* @__PURE__ */ new Set([
   "Problem",
-  "Vulnerability",
   "Solution",
   "RootCause",
   "Pattern",
@@ -80945,9 +80832,9 @@ function partitionReplayable(queue, channel, isShipped) {
 function retireWitnesses(queue, channel, settledKeys) {
   return queue.filter((w) => !(w.channel === channel && settledKeys.has(w.witnessKey)));
 }
-var WIRE_SHIPPED_LABELS = /* @__PURE__ */ new Set(["Problem", "Vulnerability", "Solution", "RootCause"]);
+var WIRE_SHIPPED_LABELS = /* @__PURE__ */ new Set(["Problem", "Solution", "RootCause"]);
 var MOTIF_ID_PREFIX = "motif_community_";
-var CANONICAL_ID_RE = /^(?:pat|sol|drc|dcause|dfix|dprob|dvuln|prob|claim|err)_[0-9a-f]{6,}$/i;
+var CANONICAL_ID_RE = /^(?:pat|sol|drc|dcause|dfix|dprob|prob|claim|err)_[0-9a-f]{6,}$/i;
 function classifyWitnessTarget(nodeId, getNode) {
   if (nodeId.startsWith(MOTIF_ID_PREFIX)) {
     const exemplar = nodeId.slice(MOTIF_ID_PREFIX.length);
@@ -81517,7 +81404,7 @@ function createWatchBreaker(deps) {
 }
 
 // src/engine.ts
-var DAEMON_VERSION = true ? "2.0.16-dev.3362" : "2.0.0-alpha.0";
+var DAEMON_VERSION = true ? "2.0.16" : "2.0.0-alpha.0";
 var IGNORED_PATH = /[\\/](?:\.git|node_modules|\.errata|\.claude|\.codex|\.cursor|\.turbo|\.next|dist|coverage|test-results|playwright-report|__pycache__)(?:[\\/]|$)/;
 var IGNORED_NOISE = /castalia\.db|eventlog\.sqlite|turn-cursors/;
 var GIT_OP_MUTE_MS = 4e3;
@@ -82409,9 +82296,6 @@ function createWorkspaceEngine(opts) {
   const harvestTextsInner = async (sessionId, items) => {
     let minted = 0;
     let tagsSeen = 0;
-    let vulnerabilitiesSeen = 0;
-    let vulnerabilitiesMinted = 0;
-    let vulnerabilitiesSuspected = 0;
     let tagsRejected = 0;
     let tagsRestated = 0;
     let resolved = 0;
@@ -82642,73 +82526,10 @@ function createWorkspaceEngine(opts) {
         if ((toolRuns.get(sessionId)?.size ?? 0) > 0) touchedToolTurns++;
         const wf = workingFiles.get(sessionId);
         let inScopeProblemId;
-        const findingIds = /* @__PURE__ */ new Map();
-        const conflictingThreads = /* @__PURE__ */ new Set();
         const threads = sessionThreads.get(sessionId) ?? /* @__PURE__ */ new Map();
         sessionThreads.set(sessionId, threads);
         for (const p of plan.problems) {
           tagsSeen++;
-          if (p.kind === "vulnerability") {
-            vulnerabilitiesSeen++;
-            if (p.assessment === "suspected") vulnerabilitiesSuspected++;
-            let fileText;
-            let anchorReadFailed = false;
-            if (p.location) {
-              try {
-                fileText = readFileSync31(join35(opts.workspaceRoot, p.location.path), "utf8");
-              } catch {
-                anchorReadFailed = true;
-              }
-            }
-            const result = ingestWitnessedVulnerability(store, {
-              statement: p.statement,
-              assessment: p.assessment,
-              target: p.location?.path,
-              line: p.location?.line,
-              fileText,
-              existingId: p.threadId ? threads.get(p.threadId) ?? handleMap[p.threadId]?.id ?? store.getNode(p.threadId)?.id : void 0
-            }, { workspaceId: profile.id, source: sessionId, ts: t, hostHarness: turn.hostHarness });
-            let anchorDisposition = p.location ? "unresolved" : "absent";
-            if (result.rejected) {
-              tagsRejected++;
-              if (p.threadId) conflictingThreads.add(p.threadId);
-            } else {
-              findingIds.set(p.statement, result.id);
-              if (p.threadId) threads.set(p.threadId, result.id);
-              if (result.created || result.corroborated || result.upgraded) minted++;
-              else tagsRestated++;
-              if (result.created) vulnerabilitiesMinted++;
-              if (p.location) {
-                try {
-                  const anchored = anchorProblemToWorkingFile(store, result.id, p.location.path, profile.id, t, "witnessed", { line: p.location.line, fileText });
-                  anchorDisposition = anchored ? "resolved" : anchorReadFailed ? "error" : "unresolved";
-                  if (anchored) deriveContextFromAnchors(store, result.id, t);
-                } catch {
-                  anchorDisposition = "error";
-                }
-              }
-              const node2 = store.getNode(result.id);
-              store.updateNode(result.id, { attrs: { ...node2.attrs, anchorDisposition } });
-              if (p.vulnerabilityCauses) triaged += recordVulnerabilityCause(store, result.id, p.vulnerabilityCauses, t);
-            }
-            log.append({
-              kind: "vulnerability.witness",
-              workspaceId: profile.id,
-              ts: t,
-              digest: digest({ kind: "vulnerability.witness", workspaceId: profile.id, sessionId, turnId: turn.uuid, statement: p.statement, assessment: p.assessment, location: p.location }),
-              sessionId,
-              turnId: turn.uuid,
-              harness: turn.hostHarness,
-              findingId: result.id,
-              statement: p.statement,
-              assessment: p.assessment,
-              location: p.location,
-              seq: p.seq,
-              anchorDisposition,
-              disposition: result.rejected ?? (result.created ? "created" : result.upgraded ? "upgraded" : result.corroborated ? "corroborated" : "restated")
-            });
-            continue;
-          }
           const anchorPath = p.location?.path ?? editedTurnFile;
           const anchorProvenance = p.location?.path ? "witnessed" : "edited";
           const hintPath = anchorPath ? void 0 : turnFile ?? wf;
@@ -82803,10 +82624,10 @@ function createWorkspaceEngine(opts) {
           if (r.created || r.corroborated) {
             minted++;
             if (p.kind !== "constraint") {
-              sessionLastProblem.set(sessionId, r.problemId);
-              inScopeProblemId = r.problemId;
+              sessionLastProblem.set(sessionId, designProblemId(p.statement));
+              inScopeProblemId = designProblemId(p.statement);
             }
-            if (p.threadId) threads.set(p.threadId, r.problemId);
+            if (p.threadId) threads.set(p.threadId, designProblemId(p.statement));
             try {
               if (anchorPath) {
                 let enclosing = {};
@@ -82843,8 +82664,7 @@ function createWorkspaceEngine(opts) {
           );
         }
         for (const fx of plan.fixes) {
-          if (fx.threadId && conflictingThreads.has(fx.threadId)) continue;
-          const pid = fx.problemId ?? (fx.threadId ? threads.get(fx.threadId) : void 0) ?? (fx.boundStatement ? findingIds.get(fx.boundStatement) ?? designProblemId(fx.boundStatement) : void 0);
+          const pid = fx.problemId ?? (fx.threadId ? threads.get(fx.threadId) : void 0) ?? (fx.boundStatement ? designProblemId(fx.boundStatement) : void 0);
           if (!pid) {
             if (fx.inScope) {
               console.warn(
@@ -82856,7 +82676,7 @@ function createWorkspaceEngine(opts) {
           const closed = resolveDesignProblemById(store, pid, fx.fixNote, t);
           if (!closed) {
             const n = store.getNode(pid);
-            if (!n || n.label !== "Problem" && n.label !== "Vulnerability" || n.attrs["resolvedAs"] != null) {
+            if (!n || n.label !== "Problem" || n.attrs["resolvedAs"] != null) {
               console.warn(
                 `[errata] fix tag went nowhere: ${!n ? `id ${pid.slice(0, 32)} unknown` : n.label !== "Problem" ? `${pid.slice(0, 32)} is a ${n.label}, not a Problem` : "the problem was retracted \u2014 a retraction is not fixable"} \u2014 the fix was NOT recorded`
               );
@@ -82875,23 +82695,10 @@ function createWorkspaceEngine(opts) {
             }
           }
         }
-        const vulnerabilityTriages = /* @__PURE__ */ new Set();
-        for (const tr of plan.triages) {
-          if (tr.threadId && conflictingThreads.has(tr.threadId)) {
-            vulnerabilityTriages.add(tr);
-            continue;
-          }
-          const id = tr.symptomProblemId ?? (tr.threadId ? threads.get(tr.threadId) : void 0) ?? (tr.symptomStatement ? findingIds.get(tr.symptomStatement) : void 0);
-          if (id && store.getNode(id)?.label === "Vulnerability") {
-            vulnerabilityTriages.add(tr);
-            if (tr.evidence === "witnessed" && tr.causeDescription) triaged += recordVulnerabilityCause(store, id, [tr.causeDescription], t);
-          }
-        }
         if (opts.sharedStore && plan.triages.length > 0) {
           const fallbackId = sessionLastProblem.get(sessionId);
           const fallbackStatement = fallbackId ? store.getNode(fallbackId)?.description : void 0;
           for (const tr of plan.triages) {
-            if (vulnerabilityTriages.has(tr)) continue;
             let presentingStatement = tr.symptomStatement;
             let evidence = tr.evidence;
             if (!presentingStatement && tr.threadId) {
@@ -82909,7 +82716,7 @@ function createWorkspaceEngine(opts) {
               evidence = "inferred";
             }
             if (!presentingStatement) continue;
-            const presentingId = tr.symptomProblemId ?? (tr.threadId ? threads.get(tr.threadId) : void 0) ?? designProblemId(presentingStatement);
+            const presentingId = tr.symptomProblemId ?? designProblemId(presentingStatement);
             if (tr.causeId === presentingId) continue;
             try {
               recordTriageObservation(
@@ -82967,7 +82774,7 @@ function createWorkspaceEngine(opts) {
           }
         }
         for (const at of plan.attempts) {
-          const pid = at.problemId ?? (at.threadId ? threads.get(at.threadId) : void 0) ?? (at.boundStatement ? findingIds.get(at.boundStatement) ?? designProblemId(at.boundStatement) : void 0);
+          const pid = at.problemId ?? (at.threadId ? threads.get(at.threadId) : void 0) ?? (at.boundStatement ? designProblemId(at.boundStatement) : void 0);
           const node2 = pid ? store.getNode(pid) : void 0;
           if (!pid || !node2) continue;
           try {
@@ -82983,7 +82790,7 @@ function createWorkspaceEngine(opts) {
           }
         }
         const bindPid = (tag) => {
-          const pid = tag.problemId ?? (tag.threadId ? threads.get(tag.threadId) : void 0) ?? (tag.boundStatement ? findingIds.get(tag.boundStatement) ?? designProblemId(tag.boundStatement) : void 0) ?? inScopeProblemId ?? sessionLastProblem.get(sessionId);
+          const pid = tag.problemId ?? (tag.threadId ? threads.get(tag.threadId) : void 0) ?? (tag.boundStatement ? designProblemId(tag.boundStatement) : void 0) ?? inScopeProblemId ?? sessionLastProblem.get(sessionId);
           return pid && store.getNode(pid) ? pid : void 0;
         };
         const mintCiteEdge = (from, to, type, confidence, extraAttrs) => {
@@ -83137,12 +82944,7 @@ function createWorkspaceEngine(opts) {
           for (const [session, items2] of groups) {
             if (items2.length === 0) continue;
             try {
-              const wireItems = items2.map(({ nodeId, witnessKey }) => {
-                const node2 = store.getNode(nodeId);
-                const cloudId = node2?.attrs["privateFinding"] ? node2.attrs["cloudNodeId"] : void 0;
-                return { nodeId: typeof cloudId === "string" ? cloudId : nodeId, witnessKey };
-              });
-              const raw2 = await send(wireItems, session);
+              const raw2 = await send(items2, session);
               const d = {
                 recorded: raw2?.recorded ?? 0,
                 unmatched: raw2?.unmatched ?? 0,
@@ -83155,8 +82957,8 @@ function createWorkspaceEngine(opts) {
               duplicate += d.duplicate;
               selfGated += d.selfGated;
               const missing = new Set(d.unmatchedIds);
-              for (const [index, it] of items2.entries()) {
-                if (missing.has(wireItems[index].nodeId)) stillUnmatched.push({ channel, ...it, sessionKey: session, counted: isShipped(it.nodeId) });
+              for (const it of items2) {
+                if (missing.has(it.nodeId)) stillUnmatched.push({ channel, ...it, sessionKey: session, counted: isShipped(it.nodeId) });
                 else settled.add(it.witnessKey);
               }
             } catch (err2) {
@@ -83326,10 +83128,6 @@ function createWorkspaceEngine(opts) {
         // but nothing judgeable was cited.
         tagsVerdictNoHandle: dispositions.verdictNoHandle,
         tagsFlagAsHandle: dispositions.flagAsHandle,
-        tagsInvalidVulnerability: dispositions.invalidVulnerability,
-        vulnerabilitiesSeen,
-        vulnerabilitiesMinted,
-        vulnerabilitiesSuspected,
         unresolvedHandles,
         priorEdgesFlagOff,
         priorEdgesNoSource,
@@ -84667,7 +84465,7 @@ function internalSymbolsFor(description, lexiconHas, publicIndex) {
 
 // src/instance-ingest.ts
 init_generalize_graph();
-var INSTANCE_LABELS = ["Problem", "Vulnerability", "Solution", "RootCause"];
+var INSTANCE_LABELS = ["Problem", "Solution", "RootCause"];
 var INSTANCE_EDGES = ["CAUSED_BY", "SOLVED_BY"];
 var ANCHOR_EDGES = ["OCCURS_IN", "DEPENDS_ON", "PERTAIN_TO", "CONCERNS"];
 var ANCHOR_TARGET_LABELS = ["Language", "Package", "Domain", "Component"];
@@ -84802,10 +84600,6 @@ function buildInstanceIngest(store, profile, daemonVersion, ignorePatterns = [],
       attrs: {
         scope: stripCodebaseScope(n.attrs["scope"]),
         ...n.attrs["kind"] ? { kind: n.attrs["kind"] } : {},
-        ...n.attrs["privateFinding"] ? { privateFinding: true } : {},
-        ...n.attrs["assessment"] ? { assessment: n.attrs["assessment"] } : {},
-        ...n.attrs["sourceClass"] ? { sourceClass: n.attrs["sourceClass"] } : {},
-        ...n.attrs["resolutionWitnessed"] ? { resolutionWitnessed: true, resolvedAt: n.attrs["resolvedAt"] } : {},
         ...n.attrs["resolvedAs"] ? { resolvedAs: n.attrs["resolvedAs"] } : {},
         ...preserved.length > 0 ? { preservedSymbols: preserved } : {},
         ...internal.length > 0 ? { internalSymbols: internal } : {}
@@ -84820,7 +84614,6 @@ function buildInstanceIngest(store, profile, daemonVersion, ignorePatterns = [],
   const semanticEndpoints = /* @__PURE__ */ new Map();
   const includedByLabel = /* @__PURE__ */ new Map();
   const composition = {
-    privateTargetMissing: 0,
     candidates: 0,
     shipped: 0,
     cloudSourced: 0,
@@ -84866,15 +84659,11 @@ function buildInstanceIngest(store, profile, daemonVersion, ignorePatterns = [],
       if (walked.has(n.id)) continue;
       walked.add(n.id);
       composition.candidates++;
-      if ((n.attrs["privateFinding"] || n.label === "Vulnerability") && !opts.project) {
-        composition.privateTargetMissing++;
-        continue;
-      }
       if (n.attrs["source"] === "cloud") {
         composition.cloudSourced++;
         continue;
       }
-      if (n.attrs["resolvedAs"] === PROBLEM_RESOLUTION.FALSE_POSITIVE) {
+      if (label === "Problem" && n.attrs["resolvedAs"] === PROBLEM_RESOLUTION.FALSE_POSITIVE) {
         composition.falsePositive++;
         continue;
       }
@@ -84897,7 +84686,7 @@ function buildInstanceIngest(store, profile, daemonVersion, ignorePatterns = [],
         composition.terminalRefused++;
         continue;
       }
-      if (!n.attrs["privateFinding"] && !noveltyAgainst(n, ref, noveltyOpts).ready) {
+      if (!noveltyAgainst(n, ref, noveltyOpts).ready) {
         composition.notNovel++;
         continue;
       }
@@ -84940,7 +84729,7 @@ function buildInstanceIngest(store, profile, daemonVersion, ignorePatterns = [],
     }
     if (targets.length === 0) continue;
     const shipped = shippedById.get(sourceId);
-    if (shipped && !shipped.attrs["privateFinding"]) {
+    if (shipped) {
       const anchors = (label) => targets.filter((x) => x.t.label === label).map(
         (x) => label === "Language" ? langAnchor(x.t) : label === "Component" ? `component:${x.wireId}` : x.wireId
       ).filter((a) => a != null).sort();

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@inerrata-corporation/errata",
-  "version": "2.0.16-dev.3362",
+  "version": "2.0.16",
   "description": "errata - local-first observation engine for AI coding agents",
   "type": "module",
   "bin": {

package/pass-worker.mjs

@@ -15122,7 +15122,7 @@ var init_edge_rules = __esm({
       // anchor anything at anything, e.g. at a public `Package`, quietly re-creating
       // the code↔collective bridge the membrane exists to prevent.
       ANCHORED_AT: {
-        from: ["Problem", "Vulnerability", "Solution", "RootCause", "Claim"],
+        from: ["Problem", "Solution", "RootCause", "Claim"],
         to: ["Symbol"]
       },
       // ── Security spine (v1 taxonomy.ts SECURITY_FORWARD_ONLY commentary) ──
@@ -15167,7 +15167,7 @@ var init_edge_rules = __esm({
       // `Component` joined the target set with OM-agent-anchors: an agent-named
       // component ("React Router") is the same knowledge→named-unit anchor shape as
       // a Tool — the knowledge is ABOUT it, not dependent on it.
-      CONCERNS: { from: ["Problem", "Vulnerability", "Solution", "RootCause", "Claim", "Pattern"], to: ["Tool", "Component"] },
+      CONCERNS: { from: ["Problem", "Solution", "RootCause", "Claim", "Pattern"], to: ["Tool", "Component"] },
       OPERATES_ON: { from: ["Algorithm"], to: ["DataStructure"] },
       INVOLVES: { from: ["Problem", "Solution"], to: ["DataStructure"] },
       // ── Taxonomy (Track 4 Stream C: MITRE CWE `ChildOf` → `Weakness —IS_A→ Weakness`) ──
@@ -24827,8 +24827,7 @@ CREATE INDEX IF NOT EXISTS nodes_live ON nodes(label, valid_to);
 -- its table row. Partial, so it maintains a few thousand rows instead of adding
 -- a write to every node write. Its label list is FINGERPRINT_INDEXED_LABELS.
 DROP INDEX IF EXISTS nodes_live_fingerprint;
-DROP INDEX IF EXISTS nodes_instance_fingerprint;
-CREATE INDEX IF NOT EXISTS nodes_instance_fingerprint_v2 ON nodes(label, last_updated_at, last_reinforced_at_seq, created_at_seq) WHERE valid_to IS NULL AND label IN ('Problem','Vulnerability','Solution','RootCause');
+CREATE INDEX IF NOT EXISTS nodes_instance_fingerprint ON nodes(label, last_updated_at, last_reinforced_at_seq, created_at_seq) WHERE valid_to IS NULL AND label IN ('Problem','Solution','RootCause');
 CREATE INDEX IF NOT EXISTS nodes_logical ON nodes(logical_id, version);
 CREATE INDEX IF NOT EXISTS edges_live ON edges(valid_to);
 -- Expression index on the per-node relPath (stored in attrs_json) so the
@@ -24899,7 +24898,7 @@ function rowToEdge(r) {
     attrs: JSON.parse(r.attrs_json)
   };
 }
-var FINGERPRINT_INDEXED_LABELS = ["Problem", "Vulnerability", "Solution", "RootCause"];
+var FINGERPRINT_INDEXED_LABELS = ["Problem", "Solution", "RootCause"];
 var SqliteGraphStore = class {
   db;
   // Typed edge lookups build their SQL from the number of types asked for, and
@@ -25577,8 +25576,8 @@ var SqliteGraphStore = class {
       const r2 = this.db.prepare(
         `SELECT COUNT(*) AS n, MAX(last_updated_at) AS t,
                   MAX(COALESCE(last_reinforced_at_seq, created_at_seq, 0)) AS s
-             FROM nodes INDEXED BY nodes_instance_fingerprint_v2
-            WHERE valid_to IS NULL AND label IN ('Problem','Vulnerability','Solution','RootCause')`
+             FROM nodes INDEXED BY nodes_instance_fingerprint
+            WHERE valid_to IS NULL AND label IN ('Problem','Solution','RootCause')`
       ).get();
       return `${r2.n}:${r2.t ?? 0}:${r2.s ?? 0}`;
     }
@@ -26182,7 +26181,7 @@ function mergeContextEdge(store2, from, to, type, ts) {
 function deriveContextFromAnchors(store2, problemId, ts, pkgIndex) {
   const report = { languages: [], packages: [] };
   const p = store2.getNode(problemId);
-  if (!p || p.label !== "Problem" && p.label !== "Vulnerability") return report;
+  if (!p || p.label !== "Problem") return report;
   const files = store2.outEdges(problemId, ["ANCHORED_AT"]).map((e) => store2.getNode(e.to)).filter((n) => !!n && n.label === "File");
   if (files.length === 0) return report;
   const idx = pkgIndex ?? buildPackageIndex(store2);
@@ -26387,7 +26386,7 @@ function priorsForFile(store2, relPath) {
   for (const e of store2.inEdges(file2.id, ["ANCHORED_AT"])) {
     const n = store2.getNode(e.from);
     if (!n) continue;
-    if (n.label === "Problem" || n.label === "Vulnerability") {
+    if (n.label === "Problem") {
       if (seenProblem.has(n.id)) continue;
       seenProblem.add(n.id);
       if (!n.attrs["resolvedAt"]) {
@@ -27655,7 +27654,7 @@ var AGENTS_POINTER_BODY = [
 init_src2();
 init_src();
 function buildSnapshot(opts) {
-  const problems = [...opts.store.findNodesByLabel("Problem"), ...opts.store.findNodesByLabel("Vulnerability")].filter((p) => p.attrs["mergedInto"] === void 0 && historyReadPolicy(p, { mode: "passive", atCommit: opts.atCommit }).allow);
+  const problems = opts.store.findNodesByLabel("Problem").filter((p) => p.attrs["mergedInto"] === void 0 && historyReadPolicy(p, { mode: "passive", atCommit: opts.atCommit }).allow);
   const stillOpen = problems.filter((p) => p.attrs["resolvedAt"] == null);
   const allProblems = stillOpen.filter((p) => !isConstraintProblem(p));
   allProblems.sort((a, b) => b.lastUpdatedAt - a.lastUpdatedAt);
@@ -27810,11 +27809,11 @@ function sliceForFile(store2, relPath, atCommit) {
   const priors = fp ? {
     openProblems: fp.openProblems.slice(0, 3).map((p) => ({
       id: p.id,
-      description: p.label === "Vulnerability" ? `Vulnerability (${p.attrs["assessment"] ?? "unassessed"}): ${p.description}` : p.description,
+      description: p.description,
       ...typeof p.attrs["fixCandidateFile"] === "string" ? { fixCandidateFile: p.attrs["fixCandidateFile"] } : {}
     })),
     constraints: fp.constraints.slice(0, 2).map((c) => ({ id: c.id, description: c.description })),
-    resolvedProblems: fp.resolvedProblems.slice(0, 3).map((p) => ({ id: p.id, description: p.label === "Vulnerability" ? `Vulnerability (${p.attrs["assessment"] ?? "unassessed"}): ${p.description}` : p.description })),
+    resolvedProblems: fp.resolvedProblems.slice(0, 3).map((p) => ({ id: p.id, description: p.description })),
     related: fp.related.slice(0, 4).map((n) => ({ id: n.id, label: n.label, description: n.description })),
     solutionsByProblem: Object.fromEntries(
       [...fp.openProblems.slice(0, 3), ...fp.resolvedProblems.slice(0, 3)].map((p) => [