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

package/consolidate-worker.mjs

@@ -15153,6 +15153,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];
@@ -15191,7 +15264,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).
@@ -15356,6 +15431,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();
@@ -15478,6 +15554,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(),
@@ -15585,6 +15667,49 @@ 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
+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"() {
@@ -15624,6 +15749,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();
@@ -15633,6 +15763,7 @@ var init_src = __esm({
     init_predicate();
     init_taxonomy();
     init_triage_canon();
+    init_history_text();
   }
 });
 
@@ -17210,6 +17341,15 @@ function percolate(l1, l2, opts) {
     for (const label of PERCOLATING_LABELS) {
       for (const n of l1.findNodesByLabel(label)) {
         if (n.label === "Problem" && n.attrs["resolvedAs"] === PROBLEM_RESOLUTION.FALSE_POSITIVE) continue;
+        if (n.attrs["source"] === "cloud") {
+          const raw = l2.getMeta?.(`history-correction:${String(n.attrs["cloudNodeId"] ?? n.id)}`);
+          const correction = raw ? JSON.parse(raw) : null;
+          const support = n.attrs["historyQuality"]?.["sourceSupport"];
+          if (correction?.action === "quarantine" || correction?.sourceSupport === "contradicted" || support === "quarantined" || support === "contradicted") {
+            result.nodesSkipped++;
+            continue;
+          }
+        }
         present.add(n.id);
         const existing = l2.getNode(n.id);
         if (!existing) {