@inerrata-corporation/errata 2.0.12 → 2.0.13-dev.3043

package/package.json

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

package/pass-worker.mjs

@@ -15017,6 +15017,79 @@ var init_zod = __esm({
   }
 });
 
+// ../../packages/shared/src/history-text.ts
+var init_history_text = __esm({
+  "../../packages/shared/src/history-text.ts"() {
+    "use strict";
+  }
+});
+
+// ../../packages/shared/src/history-evidence.ts
+var HistoryAnchorSourceSchema, HistorySymbolAnchorSchema, HistoryEvidenceSelectionSchema, HistoryCandidateSchema, HistoryRelationCandidateSchema, HistoryCandidateBatchSchema, HistoryEvidenceRefSchema;
+var init_history_evidence = __esm({
+  "../../packages/shared/src/history-evidence.ts"() {
+    "use strict";
+    init_zod();
+    init_history_text();
+    HistoryAnchorSourceSchema = external_exports.strictObject({
+      sourceCommitSha: external_exports.string().regex(/^[a-f0-9]{40,64}$/),
+      commitSha: external_exports.string().regex(/^[a-f0-9]{40,64}$/),
+      side: external_exports.enum(["before", "after"]),
+      blockDigest: external_exports.string().regex(/^[a-f0-9]{64}$/),
+      startByte: external_exports.number().int().nonnegative(),
+      endByte: external_exports.number().int().positive(),
+      bodyHash: external_exports.string().regex(/^[a-f0-9]{8,64}$/).optional()
+    }).refine((v) => v.endByte > v.startByte);
+    HistorySymbolAnchorSchema = external_exports.object({
+      symbolId: external_exports.string().regex(/^sym_[a-f0-9]{8,64}$/),
+      kind: external_exports.string().max(40),
+      /** Legacy association, never a source-revision or live validation. */
+      contentHash: external_exports.string().regex(/^[a-f0-9]{8,64}$/).optional(),
+      historical: HistoryAnchorSourceSchema.optional()
+    });
+    HistoryEvidenceSelectionSchema = external_exports.strictObject({
+      blockId: external_exports.string().min(1).max(80),
+      quote: external_exports.string().min(3).max(1600),
+      supports: external_exports.enum(["statement", "condition", "rationale", "relation"]),
+      conditionIndex: external_exports.number().int().min(0).max(7).nullable(),
+      /** Optional exact location disambiguates repeated source lines. */
+      startByte: external_exports.number().int().nonnegative().optional()
+    });
+    HistoryCandidateSchema = external_exports.strictObject({
+      tempId: external_exports.string().regex(/^a[0-9]{1,3}$/),
+      label: external_exports.enum(["Problem", "Solution", "RootCause", "Claim"]),
+      statement: external_exports.string().min(10).max(2e3),
+      claimKind: external_exports.enum(["snapshot", "decision", "constraint"]).nullable(),
+      qualifier: external_exports.enum(["instance", "project"]),
+      conditions: external_exports.array(external_exports.string().min(1).max(300)).max(8),
+      rationale: external_exports.string().min(1).max(1e3).nullable(),
+      evidence: external_exports.array(HistoryEvidenceSelectionSchema).min(1).max(12),
+      anchorTokens: external_exports.array(external_exports.string().regex(/^p[0-9]+$/)).max(8)
+    });
+    HistoryRelationCandidateSchema = external_exports.strictObject({
+      tempId: external_exports.string().regex(/^r[0-9]{1,3}$/),
+      fromTempId: external_exports.string().regex(/^a[0-9]{1,3}$/),
+      toTempId: external_exports.string().regex(/^a[0-9]{1,3}$/),
+      meaning: external_exports.enum(["resolves", "mitigates", "caused-by"]),
+      evidence: external_exports.array(HistoryEvidenceSelectionSchema).min(1).max(8)
+    });
+    HistoryCandidateBatchSchema = external_exports.strictObject({
+      atoms: external_exports.array(HistoryCandidateSchema).max(32),
+      relations: external_exports.array(HistoryRelationCandidateSchema).max(32)
+    });
+    HistoryEvidenceRefSchema = HistoryEvidenceSelectionSchema.extend({
+      blockDigest: external_exports.string().regex(/^[a-f0-9]{64}$/),
+      startByte: external_exports.number().int().nonnegative(),
+      endByte: external_exports.number().int().nonnegative(),
+      sourceKind: external_exports.enum(["narrative", "diff"]),
+      commitSha: external_exports.string().regex(/^[a-f0-9]{40,64}$/).nullable(),
+      pathToken: external_exports.string().regex(/^p[0-9]+$/).nullable(),
+      scrubberVersion: external_exports.string().max(80),
+      side: external_exports.enum(["before", "after", "context", "mixed", "narrative"])
+    });
+  }
+});
+
 // ../../packages/shared/src/edge-rules.ts
 function isValidEdge(from, type, to) {
   const rule = EDGE_RULES[type];
@@ -15055,7 +15128,9 @@ var init_edge_rules = __esm({
       // ── Security spine (v1 taxonomy.ts SECURITY_FORWARD_ONLY commentary) ──
       TARGETS: { from: ["Exploit"], to: ["Vulnerability"] },
       ENABLES: { from: ["AntiPattern"], to: ["Vulnerability"] },
-      MITIGATES: { from: ["Solution"], to: ["Vulnerability"] },
+      // Partial remedies also apply to project Problems/RootCauses. Direction stays
+      // remedy -> ailment; a mitigation must never claim complete SOLVED_BY status.
+      MITIGATES: { from: ["Solution"], to: ["Vulnerability", "Problem", "RootCause"] },
       PRESENTS: { from: ["Solution"], to: ["Problem", "Vulnerability"] },
       // SOLVED_BY sources: Vulnerability (v1 comment) + Problem/RootCause
       // (upstream design-problem.ts + triage.ts mint both).
@@ -15145,6 +15220,7 @@ var init_wire = __esm({
   "../../packages/shared/src/wire.ts"() {
     "use strict";
     init_zod();
+    init_history_evidence();
     init_castalia();
     init_edge_rules();
     init_symbol_intent();
@@ -15266,6 +15342,12 @@ var init_wire = __esm({
       attrs: external_exports.object({
         confidence: external_exports.number().min(0).max(1).optional(),
         extractedBy: external_exports.enum(INGEST_EXTRACTION_SOURCES).optional(),
+        sourceSupport: external_exports.literal("supported").optional(),
+        historicalAnchors: external_exports.array(HistoryAnchorSourceSchema).max(160).optional(),
+        evidence: external_exports.array(HistoryEvidenceRefSchema).max(12).optional(),
+        verificationEvidence: external_exports.array(HistoryEvidenceRefSchema).max(12).optional(),
+        verifierBuild: external_exports.string().max(80).optional(),
+        unitDigest: external_exports.string().regex(/^[a-f0-9]{64}$/).optional(),
         /** Triage route per-context counts (T3 induction). Carried as structured data
          *  here; stored JSON-encoded on the Neo4j rel (`perContextJson`). */
         perContext: external_exports.record(external_exports.string(), RouteContextCountWireSchema).optional(),
@@ -15362,6 +15444,84 @@ var init_manifests = __esm({
   }
 });
 
+// ../../packages/shared/src/history-quality.ts
+var init_history_quality = __esm({
+  "../../packages/shared/src/history-quality.ts"() {
+    "use strict";
+  }
+});
+
+// ../../packages/shared/src/history-read.ts
+function unpackHistoryAttrs(attrs = {}) {
+  let nested = {};
+  if (typeof attrs["attrsJson"] === "string") {
+    try {
+      const parsed = JSON.parse(attrs["attrsJson"]);
+      if (parsed && typeof parsed === "object" && !Array.isArray(parsed)) nested = parsed;
+    } catch {
+    }
+  }
+  return { ...nested, ...attrs };
+}
+function historyReadPolicy(node, options = {}) {
+  const attrs = unpackHistoryAttrs(node.attrs);
+  if (attrs["source"] === "cloud" && typeof attrs["extractionSource"] !== "string" && attrs["historyQuality"] == null) {
+    return { allow: options.mode !== "passive", history: false, notice: "Cloud provenance is missing; refresh this cached result before using it as a standing prior." };
+  }
+  const isHistory = node.extractionSource === "history-mined" || attrs["extractionSource"] === "history-mined" || attrs["historyQuality"] != null;
+  if (!isHistory) return { allow: true, history: false, notice: null };
+  const raw = attrs["historyQuality"];
+  const q = raw && typeof raw === "object" ? raw : {};
+  const source = q["sourceSupport"] ?? "unreviewed";
+  const applicability = q["applicability"] ?? "unknown";
+  const current = options.atCommit !== void 0 && q["evaluatedAtCommit"] === options.atCommit;
+  const invalid = source === "contradicted" || source === "quarantined";
+  const passive = options.mode === "passive";
+  const validation = node.validationSource ?? attrs["validationSource"];
+  const independentlyValidated = validation === "human-explicit" || validation === "human-implicit" || validation === "agent-observed";
+  const allow = !invalid && (!passive || source === "supported" && current && applicability === "applicable" && independentlyValidated);
+  const at = typeof attrs["commitSha"] === "string" ? ` at ${attrs["commitSha"].slice(0, 12)}` : "";
+  return {
+    allow,
+    history: true,
+    notice: `History-derived${at}; source ${String(source)}; applicability ${current ? String(applicability) : "unknown at this checkout"}; ${independentlyValidated ? "separate validation recorded" : "not independently validated"}.`
+  };
+}
+var init_history_read = __esm({
+  "../../packages/shared/src/history-read.ts"() {
+    "use strict";
+  }
+});
+
+// ../../packages/shared/src/history-temporal.ts
+var init_history_temporal = __esm({
+  "../../packages/shared/src/history-temporal.ts"() {
+    "use strict";
+  }
+});
+
+// ../../packages/shared/src/history-revision.ts
+var Sha, HistoryRevisionRequestSchema;
+var init_history_revision = __esm({
+  "../../packages/shared/src/history-revision.ts"() {
+    "use strict";
+    init_zod();
+    init_hash();
+    init_history_evidence();
+    Sha = external_exports.string().regex(/^(?:[a-f0-9]{40}|[a-f0-9]{64})$/);
+    HistoryRevisionRequestSchema = external_exports.strictObject({
+      atCommit: Sha,
+      parents: external_exports.array(external_exports.strictObject({ commit: Sha, parents: external_exports.array(Sha).max(32) })).max(8192),
+      observations: external_exports.array(external_exports.strictObject({
+        occurrenceId: external_exports.string().min(1).max(100),
+        symbols: external_exports.array(external_exports.strictObject({ symbolId: external_exports.string().regex(/^sym_[a-f0-9]{8,64}$/), bodyHash: external_exports.string().regex(/^[a-f0-9]{8,64}$/) })).max(32),
+        /** Scrubbed, tokenized net change from this occurrence's source to atCommit. */
+        diff: external_exports.string().max(16e3).optional()
+      })).max(50)
+    });
+  }
+});
+
 // ../../packages/shared/src/nlp/canonicalize.ts
 var init_canonicalize = __esm({
   "../../packages/shared/src/nlp/canonicalize.ts"() {
@@ -15391,6 +15551,11 @@ var init_src = __esm({
     init_project_symbol();
     init_lockfile();
     init_manifests();
+    init_history_quality();
+    init_history_read();
+    init_history_temporal();
+    init_history_revision();
+    init_history_evidence();
     init_hash();
     init_error_signature();
     init_canonicalize();
@@ -15400,6 +15565,7 @@ var init_src = __esm({
     init_predicate();
     init_taxonomy();
     init_triage_canon();
+    init_history_text();
   }
 });
 
@@ -27323,8 +27489,9 @@ var AGENTS_POINTER_BODY = [
 
 // ../../packages/context-writer/src/render.ts
 init_src2();
+init_src();
 function buildSnapshot(opts) {
-  const problems = opts.store.findNodesByLabel("Problem").filter((p) => p.attrs["mergedInto"] === void 0);
+  const problems = opts.store.findNodesByLabel("Problem").filter((p) => p.attrs["mergedInto"] === void 0 && historyReadPolicy(p, { mode: "passive" }).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);
@@ -27354,10 +27521,11 @@ function buildSnapshot(opts) {
     ...opts.store.findNodesByLabel("Pattern"),
     ...opts.store.findNodesByLabel("Technique"),
     ...opts.store.findNodesByLabel("AntiPattern")
-  ].sort((a, b) => b.pageRank - a.pageRank).slice(0, 10);
+  ].filter((n) => historyReadPolicy(n, { mode: "passive" }).allow).sort((a, b) => b.pageRank - a.pageRank).slice(0, 10);
   const workingFile = opts.workingFile ? sliceForFile(opts.store, opts.workingFile) : void 0;
   const byEpisode = /* @__PURE__ */ new Map();
   for (const sol of opts.store.findNodesByLabel("Solution")) {
+    if (!historyReadPolicy(sol, { mode: "passive" }).allow) continue;
     if (sol.attrs["enrichmentPending"] !== true) continue;
     const ep = sol.attrs["episodeId"] ?? sol.id;
     const list = byEpisode.get(ep) ?? [];
@@ -27467,6 +27635,14 @@ function sliceForFile(store2, relPath) {
     if (externalRefs.length >= 20) break;
   }
   const fp = priorsForFile(store2, relPath);
+  if (fp) {
+    const allowed = (n) => historyReadPolicy(n, { mode: "passive" }).allow;
+    fp.openProblems = fp.openProblems.filter(allowed);
+    fp.constraints = fp.constraints.filter(allowed);
+    fp.resolvedProblems = fp.resolvedProblems.filter(allowed);
+    fp.related = fp.related.filter(allowed);
+    for (const [id, solutions] of fp.solutionsByProblem) fp.solutionsByProblem.set(id, solutions.filter(allowed));
+  }
   const priors = fp ? {
     openProblems: fp.openProblems.slice(0, 3).map((p) => ({
       id: p.id,
@@ -27507,6 +27683,7 @@ ${RECALL_FIRST_BODY}`;
 
 // ../../packages/context-writer/src/select-durable-memory.ts
 init_src2();
+init_src();
 
 // src/pass-worker.ts
 init_src3();