@inerrata-corporation/errata 2.0.20-dev.3658 → 2.0.20-dev.3682

package/errata.mjs

@@ -137,6 +137,9 @@ var init_castalia = __esm({
       "probe-failed"
     ];
     ROUTING_REASONS = [
+      "trusted-system-public",
+      "public-target-staged",
+      "source-membrane",
       /** Harness org (CTF lane, e2e battery, canary) — forced org-private. */
       "harness-clamp",
       "witnessed-vulnerability-private",
@@ -21681,7 +21684,11 @@ function priorsForFile(store, relPath) {
   const resolvedProblems = [];
   const seenProblem = /* @__PURE__ */ new Set();
   const related = /* @__PURE__ */ new Map();
-  for (const e of store.inEdges(file2.id, ["ANCHORED_AT"])) {
+  const anchorEdges = [
+    ...store.inEdges(file2.id, ["ANCHORED_AT"]),
+    ...store.outEdges(file2.id, ["DEFINES"]).flatMap((d) => store.inEdges(d.to, ["ANCHORED_AT"]))
+  ];
+  for (const e of anchorEdges) {
     const n = store.getNode(e.from);
     if (!n) continue;
     if (n.label === "Problem" || n.label === "Vulnerability") {
@@ -21929,12 +21936,21 @@ function resolveDesignProblemByStatement(store, statement, fixNote, t) {
   const problemId = identityId({ kind: "DesignProblem", statement });
   return closeDesignProblem(store, problemId, fixNote, t);
 }
+function closableByCaller(node2) {
+  if (node2.attrs["source"] !== "cloud") return true;
+  const visibility = node2.attrs["visibility"];
+  return typeof visibility === "string" && MEMBER_VISIBILITIES.has(visibility);
+}
+function isVerdictable(node2) {
+  return node2.label === "Problem" && node2.attrs["resolvedAt"] == null && (node2.validTo ?? null) === null && !isConstraintProblem(node2) && node2.attrs["kind"] !== "todo";
+}
 function resolveDesignProblemById(store, id, fixNote, t) {
   return closeDesignProblem(store, id.trim(), fixNote, t);
 }
 function closeDesignProblem(store, problemId, fixNote, t) {
   const p = store.getNode(problemId);
   if (!p || p.label !== "Problem" && p.label !== "Vulnerability") return false;
+  if (!closableByCaller(p)) 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);
@@ -22007,6 +22023,7 @@ function retractDesignProblemByStatement(store, statement, resolvedAs, reason, t
 function retractDesignProblem(store, problemId, resolvedAs, reason, t) {
   const p = store.getNode(problemId);
   if (!p || p.label !== "Problem" || p.attrs["resolvedAt"]) return false;
+  if (!closableByCaller(p)) return false;
   store.updateNode(problemId, {
     attrs: {
       ...p.attrs,
@@ -22142,7 +22159,7 @@ function priorExposure(store, nodeId, atSeq) {
   if ((n.attrs["evictedCount"] ?? 0) > 0) return "evicted";
   return "unshown";
 }
-var DESIGN_PROMOTE_AT, STATEMENT_ALIAS_CAP, RECURRENCE_DEBOUNCE_MS, PATTERN_DEDUP_COSINE, PATTERN_ALIAS_CAP, DEDUP_STOPWORDS, SAME_ANCHOR_DEDUP_JACCARD, EMPTY_FOLD_REPORT, SAME_ANCHOR_SCOUT_AUTO_COSINE, SAME_ANCHOR_SCOUT_MIN_COSINE, SAME_ANCHOR_NOMINATE_JACCARD, REOPEN_MIN_SOURCES, RECURRENCE_SOURCES_CAP, CITABLE_PRIOR_LABELS, MAX_ANCHOR_FILES, ENCLOSING_SYMBOL_KINDS, ENCLOSING_WALK_DEPTH, FIX_CANDIDATE_ASK_LIMIT;
+var DESIGN_PROMOTE_AT, STATEMENT_ALIAS_CAP, RECURRENCE_DEBOUNCE_MS, PATTERN_DEDUP_COSINE, PATTERN_ALIAS_CAP, DEDUP_STOPWORDS, SAME_ANCHOR_DEDUP_JACCARD, EMPTY_FOLD_REPORT, SAME_ANCHOR_SCOUT_AUTO_COSINE, SAME_ANCHOR_SCOUT_MIN_COSINE, SAME_ANCHOR_NOMINATE_JACCARD, REOPEN_MIN_SOURCES, RECURRENCE_SOURCES_CAP, CITABLE_PRIOR_LABELS, MAX_ANCHOR_FILES, ENCLOSING_SYMBOL_KINDS, ENCLOSING_WALK_DEPTH, MEMBER_VISIBILITIES, FIX_CANDIDATE_ASK_LIMIT;
 var init_design_problem = __esm({
   "../../packages/local-graph/src/design-problem.ts"() {
     "use strict";
@@ -22219,6 +22236,7 @@ var init_design_problem = __esm({
       "Property"
     ]);
     ENCLOSING_WALK_DEPTH = 8;
+    MEMBER_VISIBILITIES = /* @__PURE__ */ new Set(["project", "team", "org"]);
     FIX_CANDIDATE_ASK_LIMIT = 5;
   }
 });
@@ -25358,6 +25376,7 @@ __export(src_exports2, {
   clearAnsweredRevisits: () => clearAnsweredRevisits,
   clearRevisit: () => clearRevisit,
   clearSettledFixCandidates: () => clearSettledFixCandidates,
+  closableByCaller: () => closableByCaller,
   communityInductionRequests: () => communityInductionRequests,
   communitySeeds: () => communitySeeds,
   compareSemver: () => compareSemver,
@@ -25396,6 +25415,7 @@ __export(src_exports2, {
   isFragmentFixNote: () => isFragmentFixNote,
   isPlaceholderStatement: () => isPlaceholderStatement,
   isUnfilledPlaceholder: () => isUnfilledPlaceholder,
+  isVerdictable: () => isVerdictable,
   learnedConductance: () => learnedConductance,
   linkProblemToLanguages: () => linkProblemToLanguages,
   linkProblemToPackages: () => linkProblemToPackages,
@@ -25923,6 +25943,13 @@ function renderSnapshot(s) {
       lines.push("_Priors that speak to it \u2014 cite one with its `[handle]` if you lean on it:_");
       for (const h of si.hits) {
         lines.push(`- **${h.description}** \u2014 \`${h.id}\``);
+        if (h.verdict === "own") {
+          lines.push(
+            `  - still open \u2014 did this work settle it? fixed \u2192 (fix:[${h.id}]) \xB7 not a real problem \u2192 an \`errata-resolved\` block with \`id: ` + h.id + "`, `disposition: false_positive`, `reason: \u2026` \xB7 still open \u2192 say nothing"
+          );
+        } else if (h.verdict === "foreign") {
+          lines.push(`  - open in another membrane \u2014 not yours to close: (confirm:[${h.id}]) it held \xB7 (refute:[${h.id}] one line why)`);
+        }
       }
     }
     if (si.remoteHits?.length) {
@@ -32524,7 +32551,10 @@ var init_agent_signals = __esm({
       // lean-on corroboration lived, because only corroboration had an inline path. Grammar
       // single-sourced with parseInlineTags' CONFIRM_PREFIX/REFUTE_PREFIX.
       confirm: (ref) => `(confirm:[${ref}])`,
-      refute: (ref) => `(refute:[${ref}] one line why)`
+      refute: (ref) => `(refute:[${ref}] one line why)`,
+      // RETRACT — "not a real problem": the errata-resolved block with a disposition
+      // (parseDesignResolutions, turn.ts). No inline form exists; the block is the grammar.
+      retract: (id) => ["```errata-resolved", `id: ${id}`, "disposition: false_positive", "reason: why it was never a real problem", "```"].join("\n")
     };
     TAG_OPENERS = [
       ...new Set(
@@ -53491,6 +53521,7 @@ __export(webui_exports, {
   asFailedPostToolUse: () => asFailedPostToolUse,
   buildWebUi: () => buildWebUi,
   decideContextInject: () => decideContextInject,
+  editVerdict: () => editVerdict,
   errorRecallTerms: () => errorRecallTerms,
   fileRecall: () => fileRecall,
   fileUriToFsPath: () => fileUriToFsPath,
@@ -53601,6 +53632,26 @@ ${lines.join("\n")}
     card
   };
 }
+function editVerdict(store, relPath) {
+  const priors = priorsForFile(store, relPath);
+  if (!priors || priors.openProblems.length === 0) return null;
+  const ranked = rankByRelevance(store, priors.file.id, priors.openProblems.map((n) => n.id));
+  const rank = new Map(ranked.map((r, i2) => [r.id, i2]));
+  const asked = [...priors.openProblems].sort((a, b) => (rank.get(a.id) ?? 0) - (rank.get(b.id) ?? 0)).slice(0, 3);
+  const lines = asked.map(
+    (p) => closableByCaller(p) ? recallLine(p, `fixed: ${TAG_EXAMPLE.fix(p.id)} \xB7 not a real problem: retract it (block below) \xB7 still open: say nothing`) : recallLine(p, `another membrane's \u2014 not yours to close: ${TAG_EXAMPLE.confirm(p.id)} it held \xB7 ${TAG_EXAMPLE.refute(p.id)}`)
+  );
+  const retractable = asked.find((p) => closableByCaller(p));
+  const shown = asked.map(deliveredPrior);
+  const headline = `verdict asked: ${plural(shown.length, "open problem")} on ${relPath.split("/").slice(-2).join("/")}`;
+  return {
+    context: `errata \u2014 you just edited ${relPath}; ${plural(priors.openProblems.length, "open problem")} recorded on it. Give each one below a verdict in your reply:
+${lines.join("\n")}
+` + (retractable ? `Retract (not a real problem):
+${TAG_EXAMPLE.retract(retractable.id)}` : ""),
+    card: deliveredCard(store, headline, shown) ?? { headline, items: [] }
+  };
+}
 function workspacePackageIds(store) {
   const hit = wsPackagesCache.get(store);
   const now = Date.now();
@@ -53671,6 +53722,7 @@ function buildWebUi(deps) {
   const B = deps.basePath ?? "";
   const lastInjectedHash = /* @__PURE__ */ new Map();
   const fileRecallSeen = /* @__PURE__ */ new Map();
+  const editVerdictAsked = /* @__PURE__ */ new Map();
   const lastSubagentInjectAt = /* @__PURE__ */ new Map();
   const noteSessionFrom = (headerOrigin, body2, ended = false) => {
     const { sessionId, agentId } = hookAudience(body2);
@@ -53935,6 +53987,27 @@ function buildWebUi(deps) {
         }
       }
     }
+    if (event === "PostToolUse" && !recall && rel && (tool === "Edit" || tool === "MultiEdit" || tool === "Write" || tool === "NotebookEdit")) {
+      const sid = hookAudience(body2).contextKey;
+      let asked = editVerdictAsked.get(sid);
+      if (!asked) {
+        asked = /* @__PURE__ */ new Set();
+        editVerdictAsked.set(sid, asked);
+      }
+      if (!asked.has(rel)) {
+        const verdict = editVerdict(deps.store, rel);
+        if (verdict) {
+          asked.add(rel);
+          let seen = fileRecallSeen.get(sid);
+          if (!seen) {
+            seen = /* @__PURE__ */ new Set();
+            fileRecallSeen.set(sid, seen);
+          }
+          seen.add(rel);
+          recall = verdict;
+        }
+      }
+    }
     if (event === "PostToolUse" && !recall && rel && (tool === "Read" || tool === "Edit" || tool === "Write" || tool === "NotebookEdit")) {
       const sid = hookAudience(body2).contextKey;
       let seen = fileRecallSeen.get(sid);
@@ -82706,7 +82779,7 @@ function createWatchBreaker(deps) {
 }
 
 // src/engine.ts
-var DAEMON_VERSION = true ? "2.0.20-dev.3658" : "2.0.0-alpha.0";
+var DAEMON_VERSION = true ? "2.0.20-dev.3682" : "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;
@@ -83167,7 +83240,8 @@ function createWorkspaceEngine(opts) {
         id: h.node.id,
         label: h.node.label,
         description: h.node.description,
-        coverage: h.coverage
+        coverage: h.coverage,
+        ...isVerdictable(h.node) ? { verdict: closableByCaller(h.node) ? "own" : "foreign" } : {}
       })),
       ...collective && collective.hits.length > 0 ? {
         remoteHits: collective.hits.slice(0, 4).map((n) => ({ id: n.id, label: n.label, description: n.description }))
@@ -84176,7 +84250,11 @@ 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.attrs["resolvedAt"] == null && !closableByCaller(n)) {
+              console.warn(
+                `[errata] fix tag not applied: ${pid.slice(0, 32)} belongs to a membrane you are not in \u2014 a verdict closes only your own problems; cite it with (confirm:[id]) or (refute:[id] why) instead`
+              );
+            } else if (!n || n.label !== "Problem" && n.label !== "Vulnerability" || 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`
               );

package/package.json

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

package/pass-worker.mjs

@@ -27197,7 +27197,11 @@ function priorsForFile(store2, relPath) {
   const resolvedProblems = [];
   const seenProblem = /* @__PURE__ */ new Set();
   const related = /* @__PURE__ */ new Map();
-  for (const e of store2.inEdges(file2.id, ["ANCHORED_AT"])) {
+  const anchorEdges = [
+    ...store2.inEdges(file2.id, ["ANCHORED_AT"]),
+    ...store2.outEdges(file2.id, ["DEFINES"]).flatMap((d) => store2.inEdges(d.to, ["ANCHORED_AT"]))
+  ];
+  for (const e of anchorEdges) {
     const n = store2.getNode(e.from);
     if (!n) continue;
     if (n.label === "Problem" || n.label === "Vulnerability") {

package/resources/context-plugin/.codex-plugin/plugin.json

@@ -1,6 +1,6 @@
 {
   "name": "errata-context",
-  "version": "2.0.20-dev.3658",
+  "version": "2.0.20-dev.3682",
   "description": "A minimal 3D view of loaded Errata priors and recent graph bursts.",
   "author": {
     "name": "inErrata"

package/resources/context-plugin/SHA256SUMS

@@ -1,4 +1,4 @@
-a4c4eac470957cd47bce9b30a7df55e726d8a7eb936c38e6715cf3081de8257d  .codex-plugin/plugin.json
+1a4968f9838a28217386e7d354ba511c588e16739ece36e6bbb7f6feeaa8a4c2  .codex-plugin/plugin.json
 a7bebae9fb01c838d6c75fc784129e28be571233fa66ff5ee8039b574f35ccf7  assets/icon.png
 fc38b64e4df1e0b72c35764bef6c4c05430d97c9009ad0ecc8a9e75b4deab232  configure-local.mjs
 73dc6028b3b070257c7c31f252d11e55a9e096f4aed0f187f10cb21716e1e6d7  dist/client.js