@inerrata-corporation/errata 2.0.22-dev.4135 → 2.0.22-dev.4164

package/pass-worker.mjs

@@ -16476,6 +16476,548 @@ var init_sqlite_adapter = __esm({
   }
 });
 
+// ../../packages/local-shared/src/tag-grammar.ts
+function tagGrammarCopy() {
+  const copy = [];
+  for (const ref of ["its-handle", "its-id", "h", "id"]) {
+    for (const build of Object.values(TAG_EXAMPLES)) copy.push(build(ref));
+  }
+  for (const v of TAG_VERBS) {
+    copy.push(v.hint);
+    if (v.taughtBy) copy.push(v.taughtBy);
+    for (const q of v.qualifiers ?? []) copy.push(q.note);
+    for (const l of v.lowering) {
+      if (l.note) copy.push(l.note);
+      if (l.knownViolation) copy.push(l.knownViolation.finding);
+    }
+  }
+  for (const f of TAG_FENCES) copy.push(f.hint);
+  return copy;
+}
+function normalizeTemplateBody(body2) {
+  return body2.replace(/…|\.{3}/g, " ").replace(/\s+/g, " ").trim().replace(/^[\s,;:—–-]+|[\s,;:.—–-]+$/g, "").toLowerCase();
+}
+function deriveTagTemplates(copy) {
+  const bodies = /* @__PURE__ */ new Set();
+  const handles = new Set([...TAG_PLACEHOLDER_HANDLES].map((h) => h.toLowerCase()));
+  for (const text of copy) {
+    for (const m of text.matchAll(BRACKET_TOKEN)) {
+      const token = m[1].trim().toLowerCase();
+      if (!/^[!?]/.test(token) && !REAL_HANDLE_SHAPE.test(token)) handles.add(token);
+    }
+  }
+  for (const text of copy) {
+    for (const m of text.matchAll(TEMPLATE_VERB_GROUP)) {
+      const body2 = normalizeTemplateBody(m[2]);
+      bodies.add(body2);
+      const unthreaded = normalizeTemplateBody(body2.replace(/^#[a-z][\w-]*/i, ""));
+      bodies.add(unthreaded);
+      const rest = normalizeTemplateBody(unthreaded.replace(BRACKET_TOKEN, (t, h) => handles.has(h.trim().toLowerCase()) ? " " : t).replace(/,/g, " "));
+      bodies.add(rest);
+    }
+  }
+  bodies.delete("");
+  return { bodies, handles };
+}
+var TAG_CANONICAL_ID_PREFIXES, TAG_HANDLE_SOURCE, TAG_THREAD_SOURCE, TAG_PLACEHOLDER_HANDLES, TAG_EXAMPLES, P, S, RC, CITE_LOWERING, INSTANCE_LOWERING, TRIAGE_TO_RC, TAG_VERBS, TAG_FENCES, TAG_VERB_BY_NAME, TAG_PAREN_VERBS, TAG_GRAMMAR_OPENERS, TAG_QUOTED_PAREN_SOURCE, TAG_QUOTED_RE, TAG_QUOTED_PAREN_RE, TEMPLATE_VERB_GROUP, BRACKET_TOKEN, REAL_HANDLE_SHAPE, TAG_TEMPLATES, VERB_WORDS_SOURCE, JOINED_VERB, LEADING_VERB, ANY_VERB_WORD, QUOTED_TAG_OPENER;
+var init_tag_grammar = __esm({
+  "../../packages/local-shared/src/tag-grammar.ts"() {
+    "use strict";
+    TAG_CANONICAL_ID_PREFIXES = ["pat", "sol", "drc", "dcause", "dfix", "dprob", "dvuln", "prob", "claim", "err"];
+    TAG_HANDLE_SOURCE = String.raw`\[([a-z0-9][\w-]{0,80})\]|((?:${TAG_CANONICAL_ID_PREFIXES.join("|")})_[0-9a-f]{6,})`;
+    TAG_THREAD_SOURCE = String.raw`#([a-z][\w-]{0,63})`;
+    TAG_PLACEHOLDER_HANDLES = /* @__PURE__ */ new Set([
+      "handle",
+      "its-handle",
+      "another",
+      "a-third",
+      "h",
+      "h1",
+      "h2",
+      "id",
+      "its-id",
+      "a",
+      "b",
+      "\u2026",
+      "..."
+    ]);
+    TAG_EXAMPLES = {
+      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
+      // agent is already writing. Full rationale in the constraint note below + prior-tags.ts.
+      constraint: () => `(constraint: the limitation that forced it)`,
+      // TRIAGE — routes the problem/symptom in scope to its cause. `(cause:[handle])`
+      // links to a cited RootCause/Solution node; `(cause: free text)` mints a RootCause
+      // from the text. Harvested in prior-tags.ts → engine.ts (see the triage note below).
+      triage: (ref) => `(cause:[${ref}])`,
+      // Unlike a bare cause citation, this handle names the Problem being explained.
+      triageExplain: (ref) => `(cause:[${ref}] the mechanism)`,
+      // The MINT form — free-text cause that mints a RootCause. Prime-time surfacing
+      // (recallForFile) pastes this next to an open Problem that has no cause yet, so the
+      // diagnostic moment is cued when the agent is looking at the problem. Kept here so
+      // the grammar can't drift from parseInlineTags' `(cause: …)` acceptance.
+      triageMint: () => `(cause: why it happens)`,
+      // THREAD forms — the witness-declared symptom↔cause/fix binding. A `#id` on the
+      // flag names the diagnosis thread; the same `#id` on a later verb binds to it
+      // explicitly (across sentences AND turns), replacing proximity guessing. Adjacent
+      // 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)`,
+      // 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)`,
+      failed: () => `(failed: what didn't work and the dead end it rules out)`,
+      // `(failed:[h] …)` on a shown SOLUTION — the refute-by-failure form the context render teaches.
+      failedCite: (ref) => `(failed:[${ref}] what came back)`,
+      // LINK verbs (AC epic) — bind the problem in scope to CANONICAL priors and
+      // abstractions. Multi-target by design: single links are weak; ~3 links to 3
+      // DIFFERENT relevant priors is the target shape (see linkBullet).
+      instance: (ref) => `(instance:[${ref}],[another],[a-third])`,
+      pattern: () => `(pattern: name the general shape)`,
+      // DOMAIN — the abstract area a problem is about; the concept layer an
+      // anchor-less problem clusters on. Mints/resolves a Domain by name.
+      domain: () => `(domain: The Area)`,
+      // PACKAGE/COMPONENT — agent-named public anchors (OM-agent-anchors): the
+      // package a problem is ABOUT (even when not a dependency) and the
+      // framework/product-level unit it concerns. Public spine anchors → the
+      // knowledge can cross to the collective.
+      package: () => `(package: the-package-name)`,
+      component: () => `(component: The Component)`,
+      aids: (ref) => `(aids:[${ref}])`,
+      // SOLUTION-STRUCTURE (SS-structure) — taught in the link bullet; Solution→Solution.
+      buildsOn: (ref) => `(builds-on:[${ref}])`,
+      supersedes: (ref) => `(supersedes:[${ref}])`,
+      alternative: (ref) => `(alternative:[${ref}])`,
+      // VERDICT (VS-verdict-tags) — a judgment on a SHOWN prior, distinct from leaning on it.
+      // `confirm` rides the corroborate channel (it held); `refute` the contradict channel
+      // (it's wrong / didn't hold) and REQUIRES a reason. This is the inline producer the
+      // evidence channels lacked — refute sat dead (contradictionPressure 0) until now, while
+      // 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)`,
+      // 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")
+    };
+    P = "Problem";
+    S = "Solution";
+    RC = "RootCause";
+    CITE_LOWERING = [
+      { target: RC, writes: [{ from: P, edge: "CAUSED_BY", to: RC }] },
+      { target: S, writes: [{ from: P, edge: "SOLVED_BY", to: S }] },
+      { target: "Pattern", writes: [{ from: P, edge: "INSTANCE_OF", to: "Pattern" }, { from: "Pattern", edge: "ANCHORED_AT", to: "File" }], note: "cite-anchor promotion after 2 sessions", decision: "d", knownViolation: { edge: "ANCHORED_AT", finding: "motif cite-anchor promotion writes a refused ANCHORED_AT" } },
+      { target: "Package", writes: [{ from: P, edge: "DEPENDS_ON", to: "Package" }] },
+      { target: "Language", writes: [{ from: P, edge: "OCCURS_IN", to: "Language" }] },
+      { target: "Tool", writes: [{ from: P, edge: "CONCERNS", to: "Tool" }] },
+      { target: "Component", writes: [{ from: P, edge: "CONCERNS", to: "Component" }] },
+      { target: P, writes: [{ from: P, edge: "RELATES_TO", to: P }, { from: P, edge: "ANCHORED_AT", to: "File" }], note: "corroboration witness + cite-anchor promotion" },
+      { target: "AntiPattern", writes: [{ from: P, edge: "RELATES_TO", to: "AntiPattern" }, { from: "AntiPattern", edge: "ANCHORED_AT", to: "File" }], decision: "e", knownViolation: { edge: "ANCHORED_AT", finding: "motif cite-anchor promotion writes a refused ANCHORED_AT" } },
+      { target: "Technique", writes: [{ from: P, edge: "RELATES_TO", to: "Technique" }, { from: "Technique", edge: "ANCHORED_AT", to: "File" }], decision: "e", knownViolation: { edge: "ANCHORED_AT", finding: "motif cite-anchor promotion writes a refused ANCHORED_AT" } },
+      { target: "Weakness", writes: [{ from: P, edge: "RELATES_TO", to: "Weakness" }], decision: "e" },
+      { target: "Domain", writes: [{ from: P, edge: "RELATES_TO", to: "Domain" }], decision: "e" },
+      { target: "Claim", writes: [{ from: P, edge: "RELATES_TO", to: "Claim" }, { from: "Claim", edge: "ANCHORED_AT", to: "File" }] }
+    ];
+    INSTANCE_LOWERING = [
+      { target: "Pattern", writes: [{ from: P, edge: "INSTANCE_OF", to: "Pattern" }] },
+      { target: P, writes: [{ from: P, edge: "RELATES_TO", to: P }] },
+      { target: S, writes: [{ from: P, edge: "SOLVED_BY", to: S }], note: "an instance cite on a Solution claims the problem is solved by it", decision: "a" },
+      { target: RC, writes: [{ from: P, edge: "CAUSED_BY", to: RC }] },
+      { target: "AntiPattern", writes: [{ from: P, edge: "RELATES_TO", to: "AntiPattern" }], decision: "e" },
+      { target: "Technique", writes: [{ from: P, edge: "RELATES_TO", to: "Technique" }], decision: "e" },
+      { target: "Weakness", writes: [{ from: P, edge: "RELATES_TO", to: "Weakness" }], decision: "e" },
+      { target: "Domain", writes: [{ from: P, edge: "RELATES_TO", to: "Domain" }], decision: "e" },
+      { target: "Package", writes: [{ from: P, edge: "DEPENDS_ON", to: "Package" }] },
+      { target: "Component", writes: [{ from: P, edge: "CONCERNS", to: "Component" }] }
+    ];
+    TRIAGE_TO_RC = [
+      { from: P, edge: "TRIAGED_BY", to: "Triage" },
+      { from: "Triage", edge: "INDICATES", to: RC },
+      { from: P, edge: "CAUSED_BY", to: RC }
+    ];
+    TAG_VERBS = [
+      {
+        verb: "cite",
+        form: "citation",
+        opener: "(",
+        kinds: ["prior"],
+        args: "handles",
+        thread: false,
+        handleRequired: true,
+        lowering: CITE_LOWERING,
+        examples: ["prior"],
+        hint: "cite a shown prior you leaned on: ([its-handle]) \u2014 handles only, no prose inside the parens",
+        taught: "taught"
+      },
+      {
+        verb: "!",
+        form: "flag",
+        opener: "[!",
+        kinds: ["problem", "triage", "vulnerability", "fix", "prior"],
+        args: "flag-body",
+        thread: true,
+        minText: 8,
+        qualifiers: [
+          { name: "vuln", taught: true, note: "[!vuln: \u2026] \u2192 Vulnerability (asserted)" },
+          { name: "fixed", taught: false, note: "[!fixed: X] \u2192 read as a self-found fix" },
+          { name: "resolved", taught: false, note: "[!resolved: X] \u2192 read as a self-found fix" }
+        ],
+        lowering: [
+          { target: P, writes: [], note: "mints a Problem; `@ path[:line]` anchors it (ANCHORED_AT to code)" },
+          { target: RC, writes: [...TRIAGE_TO_RC, { from: RC, edge: "CAUSED_BY", to: RC }], note: "`<-` segments: first \u2192 triage route, later \u2192 RootCause chain" },
+          { target: "Vulnerability", writes: [], note: "[!vuln: \u2026]; `<-` causes stay on the finding (vulnerabilityCauses)" }
+        ],
+        examples: ["problem", "problemThread", "vulnerability", "vulnerabilityThread"],
+        hint: "flag a problem on one line: [!what's wrong @ path:42]; fold causes with <- ; a fix goes in (fix: \u2026), not [!fixed: \u2026]",
+        taught: "taught"
+      },
+      {
+        verb: "?",
+        form: "flag",
+        opener: "[?",
+        kinds: ["todo", "vulnerability"],
+        args: "flag-body",
+        thread: true,
+        minText: 8,
+        qualifiers: [{ name: "vuln", taught: true, note: "[?vuln: \u2026] \u2192 Vulnerability (suspected)" }],
+        lowering: [{ target: P, writes: [], note: "mints a todo Problem; a fix can close it today", decision: "g" }],
+        examples: ["suspectedVulnerability"],
+        hint: "[?\u2026] marks an open question / todo; [?vuln: consequence; missing check] a suspected vulnerability",
+        taught: "untaught",
+        taughtBy: "only the [?vuln:] form is taught; the bare [?todo] form is not",
+        decisions: ["g"]
+      },
+      {
+        verb: "fix",
+        form: "verb",
+        opener: "(fix:",
+        kinds: ["fix"],
+        args: "handles-text",
+        thread: true,
+        minText: 12,
+        lowering: [
+          { target: P, writes: [{ from: P, edge: "SOLVED_BY", to: S }], note: "closes the Problem; a note \u226512 chars mints the Solution" },
+          { target: "Vulnerability", writes: [{ from: "Vulnerability", edge: "SOLVED_BY", to: S }] },
+          { target: RC, writes: [], note: "dropped: 'fix tag went nowhere' (not a Problem); no tag writes FIXED_BY", decision: "f" }
+        ],
+        examples: ["fix", "fixThread"],
+        hint: "one fix per tag: (fix:[its-handle]) or (fix:#thread what you changed) \u2014 put the cause in its own (cause: \u2026)",
+        taught: "taught",
+        decisions: ["f"]
+      },
+      {
+        verb: "cause",
+        form: "verb",
+        opener: "(cause:",
+        kinds: ["triage"],
+        args: "handles-text",
+        thread: true,
+        minText: 8,
+        lowering: [
+          { target: RC, writes: TRIAGE_TO_RC },
+          { target: P, writes: [{ from: P, edge: "TRIAGED_BY", to: "Triage" }, { from: "Triage", edge: "INDICATES", to: RC }, { from: P, edge: "CAUSED_BY", to: RC }], note: "(cause:[problem] mechanism) \u2014 the cited Problem is the symptom; the mechanism mints the RootCause" },
+          { target: S, writes: [{ from: P, edge: "TRIAGED_BY", to: "Triage" }, { from: "Triage", edge: "INDICATES", to: S }], decision: "b", knownViolation: { edge: "INDICATES", finding: "(cause:[solution]) writes a refused INDICATES \u2192 Solution" } }
+        ],
+        examples: ["triage", "triageExplain", "triageMint", "causeThread"],
+        hint: "(cause: the mechanism you'd change) or (cause:[root-cause-handle]); bind a distant symptom with (cause:#thread \u2026)",
+        taught: "taught",
+        decisions: ["b"]
+      },
+      {
+        verb: "constraint",
+        form: "verb",
+        opener: "(constraint:",
+        kinds: ["constraint"],
+        args: "text",
+        thread: false,
+        minText: 8,
+        textRequired: true,
+        lowering: [{ target: P, writes: [], note: "mints a constraint-kind Problem" }],
+        examples: ["constraint"],
+        hint: "(constraint: the limitation that forced the decision)",
+        taught: "taught"
+      },
+      {
+        verb: "tried",
+        form: "verb",
+        opener: "(tried:",
+        kinds: ["attempt"],
+        args: "text",
+        thread: true,
+        minText: 8,
+        textRequired: true,
+        lowering: [{ target: P, writes: [], note: "journals an attempt on the bound problem" }],
+        examples: ["tried"],
+        hint: "(tried: the approach) \u2014 bind with (tried:#thread \u2026)",
+        taught: "taught"
+      },
+      {
+        verb: "failed",
+        form: "verb",
+        opener: "(failed:",
+        kinds: ["failure"],
+        args: "handles-text",
+        thread: true,
+        minText: 8,
+        textRequired: true,
+        lowering: [
+          { target: P, writes: [], note: "journals a failed attempt on the bound problem" },
+          { target: S, writes: [], note: "(failed:[h]) refutes the cited prior (contradictionPressure); skips the label gate today", decision: "j" }
+        ],
+        examples: ["failed", "failedCite"],
+        hint: "(failed: what didn't work); (failed:[solution] what came back) refutes a shown fix",
+        taught: "taught",
+        decisions: ["j"]
+      },
+      {
+        verb: "instance",
+        form: "verb",
+        opener: "(instance:",
+        kinds: ["instance"],
+        args: "handles",
+        thread: false,
+        handleRequired: true,
+        lowering: INSTANCE_LOWERING,
+        examples: ["instance"],
+        hint: "(instance:[h1],[h2],[h3]) \u2014 ~3 DIFFERENT shown priors this problem instantiates; handles only",
+        taught: "taught",
+        decisions: ["a", "e"]
+      },
+      {
+        verb: "pattern",
+        form: "verb",
+        opener: "(pattern:",
+        kinds: ["pattern"],
+        args: "handle-or-text",
+        thread: false,
+        minText: 3,
+        lowering: [{ target: "Pattern", writes: [{ from: P, edge: "INSTANCE_OF", to: "Pattern" }], note: "a handle must be a Pattern; free text resolves-or-mints one" }],
+        examples: ["pattern"],
+        hint: "(pattern: name the general shape) or (pattern:[shown-pattern])",
+        taught: "taught"
+      },
+      {
+        verb: "domain",
+        form: "verb",
+        opener: "(domain:",
+        kinds: ["domain"],
+        args: "text",
+        thread: false,
+        minText: 2,
+        textRequired: true,
+        lowering: [{ target: "Domain", writes: [{ from: P, edge: "PERTAIN_TO", to: "Domain" }], note: '(domain:#t X) mints a Domain named "#t X" today', decision: "k" }],
+        examples: ["domain"],
+        hint: "(domain: The Area) \u2014 Title Case, no thread",
+        taught: "taught",
+        decisions: ["k"]
+      },
+      {
+        verb: "package",
+        form: "verb",
+        opener: "(package:",
+        kinds: ["package"],
+        args: "text",
+        thread: false,
+        minText: 2,
+        textRequired: true,
+        lowering: [{ target: "Package", writes: [{ from: P, edge: "DEPENDS_ON", to: "Package" }], note: "means 'concerns', written as DEPENDS_ON", decision: "c" }],
+        examples: ["package"],
+        hint: "(package: the-package-name) \u2014 the public package it's about",
+        taught: "taught",
+        decisions: ["c"]
+      },
+      {
+        verb: "component",
+        form: "verb",
+        opener: "(component:",
+        kinds: ["component"],
+        args: "text",
+        thread: false,
+        minText: 2,
+        textRequired: true,
+        lowering: [{ target: "Component", writes: [{ from: P, edge: "CONCERNS", to: "Component" }] }],
+        examples: ["component"],
+        hint: "(component: The Component) \u2014 the framework/product unit",
+        taught: "taught"
+      },
+      {
+        verb: "aids",
+        form: "verb",
+        opener: "(aids:",
+        kinds: ["transfer"],
+        args: "handles",
+        thread: true,
+        handleRequired: true,
+        lowering: [{ target: P, writes: [{ from: S, edge: "MAY_RESOLVE", to: P }], note: "source = the Solution in scope; non-Problem targets are skipped" }],
+        examples: ["aids"],
+        hint: "(aids:[problem-handle],\u2026) \u2014 other shown problems your fix might also resolve",
+        taught: "taught"
+      },
+      {
+        verb: "builds-on",
+        form: "verb",
+        opener: "(builds-on:",
+        kinds: ["builds-on"],
+        args: "handles",
+        thread: true,
+        handleRequired: true,
+        lowering: [{ target: S, writes: [{ from: S, edge: "BUILDS_ON", to: S }] }],
+        examples: ["buildsOn"],
+        hint: "(builds-on:[shown-solution]) \u2014 your fix layers on it",
+        taught: "taught",
+        taughtBy: "linkBullet instruction text"
+      },
+      {
+        verb: "supersedes",
+        form: "verb",
+        opener: "(supersedes:",
+        kinds: ["supersedes"],
+        args: "handles",
+        thread: true,
+        handleRequired: true,
+        lowering: [{ target: S, writes: [{ from: S, edge: "SUPERSEDES", to: S }] }],
+        examples: ["supersedes"],
+        hint: "(supersedes:[shown-solution]) \u2014 your fix replaces it",
+        taught: "taught",
+        taughtBy: "linkBullet instruction text"
+      },
+      {
+        verb: "alternative",
+        form: "verb",
+        opener: "(alternative:",
+        kinds: ["alternative"],
+        args: "handles",
+        thread: true,
+        handleRequired: true,
+        lowering: [{ target: S, writes: [{ from: S, edge: "ALTERNATIVE_TO", to: S }] }],
+        examples: ["alternative"],
+        hint: "(alternative:[shown-solution]) \u2014 a different valid approach",
+        taught: "taught",
+        taughtBy: "linkBullet instruction text"
+      },
+      {
+        verb: "confirm",
+        form: "verb",
+        opener: "(confirm:",
+        kinds: ["confirm"],
+        args: "handles",
+        thread: false,
+        handleRequired: true,
+        lowering: [{ target: S, writes: [], note: "corroboration witness (corroborationCount), no edge" }],
+        examples: ["confirm"],
+        hint: "(confirm:[shown-prior]) \u2014 it held",
+        taught: "taught",
+        taughtBy: "verdictBullet + context render",
+        decisions: ["j"]
+      },
+      {
+        verb: "refute",
+        form: "verb",
+        opener: "(refute:",
+        kinds: ["refute"],
+        args: "handles-text",
+        thread: false,
+        minText: 4,
+        handleRequired: true,
+        textRequired: true,
+        lowering: [{ target: S, writes: [], note: "contradiction witness (contradictionPressure), no edge; reason stays local" }],
+        examples: ["refute"],
+        hint: "(refute:[shown-prior] one line why) \u2014 the reason is required",
+        taught: "taught",
+        taughtBy: "verdictBullet + context render",
+        decisions: ["j"]
+      }
+    ];
+    TAG_FENCES = [
+      {
+        fence: "errata-problem",
+        fields: ["problem", "cause", "fix", "anchor", "kind"],
+        required: [["problem"]],
+        taught: "untaught",
+        parser: "apps/daemon/src/turn.ts parseDesignFlags",
+        decisions: ["h"],
+        hint: "use an inline [!\u2026] flag instead (errata-problem cause ids never meet inline ids)"
+      },
+      {
+        fence: "errata-resolved",
+        fields: ["id", "problem", "fix", "disposition", "reason"],
+        required: [["id", "problem"]],
+        taught: "taught",
+        taughtBy: "retract form only (TAG_EXAMPLE.retract); the fix form is untaught",
+        parser: "apps/daemon/src/turn.ts parseDesignResolutions",
+        hint: "```errata-resolved with id: and disposition: false_positive | invalid, reason: \u2026"
+      },
+      {
+        fence: "errata-triage",
+        fields: ["presenting", "cause", "test", "fix", "drift", "route"],
+        required: [["presenting", "route"], ["cause", "test"]],
+        taught: "taught",
+        taughtBy: "MCP errata_triage tool copy",
+        parser: "packages/local-graph/src/triage.ts parseTriageFences",
+        hint: "```errata-triage with presenting: and cause: (or route: + test: to answer one)"
+      },
+      {
+        fence: "errata-abstraction",
+        fields: ["candidate", "principle", "covers"],
+        required: [["candidate"], ["principle"], ["covers"]],
+        taught: "taught",
+        taughtBy: "MCP errata_pending_abstractions tool copy",
+        parser: "packages/local-graph/src/abstraction.ts parseAbstractionFences",
+        hint: "```errata-abstraction with candidate:, principle:, covers: (all required)"
+      },
+      {
+        fence: "errata-intent",
+        fields: ["intent"],
+        required: [["intent"]],
+        taught: "taught",
+        parser: "packages/local-graph/src/intent.ts parseIntentFences",
+        hint: "```errata-intent with intent: what you're about to do"
+      },
+      {
+        fence: "errata-share",
+        fields: ["priors"],
+        required: [["priors"]],
+        taught: "taught",
+        taughtBy: "subagent hand-off copy",
+        parser: "packages/local-graph/src/intent.ts parseShareFence",
+        hint: "```errata-share with priors: all | [h1], [h2]"
+      }
+    ];
+    TAG_VERB_BY_NAME = new Map(
+      TAG_VERBS.filter((v) => v.form === "verb").map((v) => [v.verb, v])
+    );
+    TAG_PAREN_VERBS = [...TAG_VERB_BY_NAME.keys()].sort((a, b) => b.length - a.length);
+    TAG_GRAMMAR_OPENERS = [
+      ...new Set(TAG_VERBS.filter((v) => v.form !== "citation").map((v) => v.opener))
+    ];
+    TAG_QUOTED_PAREN_SOURCE = String.raw`\(\s*(?:${TAG_PAREN_VERBS.map((v) => v.replace(/-/g, "\\-")).join("|")})\s*:|\(\[`;
+    TAG_QUOTED_RE = new RegExp(String.raw`\[[!?]|` + TAG_QUOTED_PAREN_SOURCE, "i");
+    TAG_QUOTED_PAREN_RE = new RegExp(TAG_QUOTED_PAREN_SOURCE, "i");
+    TEMPLATE_VERB_GROUP = new RegExp(
+      String.raw`\(\s*(${TAG_PAREN_VERBS.map((v) => v.replace(/-/g, "\\-")).join("|")})\s*:((?:[^()\n]|\([^()\n]*\))*)\)`,
+      "gi"
+    );
+    BRACKET_TOKEN = /\[([^\]\n]{1,80})\]/g;
+    REAL_HANDLE_SHAPE = new RegExp(
+      String.raw`^(?:[a-z0-9]+(?:-[a-z0-9]+)*-(?=[0-9a-f]{0,3}\d)[0-9a-f]{4}|(?:${TAG_CANONICAL_ID_PREFIXES.join("|")})_[0-9a-f]{6,})$`,
+      "i"
+    );
+    TAG_TEMPLATES = deriveTagTemplates(tagGrammarCopy());
+    VERB_WORDS_SOURCE = TAG_PAREN_VERBS.map((v) => v.replace(/-/g, "\\-")).join("|");
+    JOINED_VERB = new RegExp(String.raw`[,;]\s*(?=(?:${VERB_WORDS_SOURCE})\s*:)`, "i");
+    LEADING_VERB = new RegExp(String.raw`^\s*(${VERB_WORDS_SOURCE})\s*:`, "i");
+    ANY_VERB_WORD = new RegExp(String.raw`\b(?:${VERB_WORDS_SOURCE})\s*:`, "gi");
+    QUOTED_TAG_OPENER = new RegExp(String.raw`\(\s*(?:(${VERB_WORDS_SOURCE})\s*:|(?=\[))`, "gi");
+  }
+});
+
 // ../../packages/local-shared/src/index.ts
 var init_src2 = __esm({
   "../../packages/local-shared/src/index.ts"() {
@@ -16489,6 +17031,7 @@ var init_src2 = __esm({
     init_review();
     init_anchorable();
     init_sqlite_adapter();
+    init_tag_grammar();
   }
 });
 
@@ -27365,6 +27908,20 @@ var SqliteGraphStore = class {
     if (revived > 0) this.mutations++;
     return revived;
   }
+  incomingEdgeCoverage(label, edgeTypes, cloudOnly) {
+    if (edgeTypes.length === 0) return { count: 0, total: 0 };
+    const r = this.db.prepare(
+      `SELECT COUNT(*) AS total,
+                COALESCE(SUM(CASE WHEN EXISTS (
+                  SELECT 1 FROM edges e WHERE e.to_id = n.id AND e.valid_to IS NULL
+                    AND e.type IN (${edgeTypes.map(() => "?").join(",")})
+                ) THEN 1 ELSE 0 END), 0) AS count
+           FROM nodes n
+          WHERE n.label = ? AND n.valid_to IS NULL
+            AND (? = 0 OR json_extract(n.attrs_json, '$.source') = 'cloud')`
+    ).get(...edgeTypes, label, cloudOnly ? 1 : 0);
+    return { count: Number(r.count), total: Number(r.total) };
+  }
   recentEdgeAttrCoverage(marker, attr, limit) {
     const r = this.db.prepare(
       `SELECT COUNT(*) AS total,
@@ -29153,12 +29710,39 @@ var MECHANISMS = [
     // reading is IDLE — correct, and it declares no backlog on purpose.
     effectCounter: "alarms",
     note: "steady-state IDLE is healthy; the row exists for its invocation age"
+  },
+  {
+    id: "project-causal-sync",
+    what: "lands the cloud project stratum's SOLVED_BY/FIXED_BY edges onto the knowledge the anchor feed mirrors",
+    // PRODUCER: the anchor feed's causal leg — `fetchProjectAnchors` returns the
+    // edges, `syncProjectAnchors` (apps/daemon/src/project-reanchor.ts) lands or
+    // parks them, on the `anchor-pull` beat. CONSUMERS: every local walk that
+    // crosses Problem→Solution — errata_trace/why/burst over the store, and the
+    // passive priming block that renders a problem with its fix. Before
+    // PJ-sync-causal the feed mirrored 5,054 cloud Solutions on the dev checkout
+    // with not one incoming SOLVED_BY: this row would have read 0.0% for months.
+    pass: "anchor-pull",
+    fedIncoming: { label: "Solution", edgeTypes: ["SOLVED_BY", "FIXED_BY"], cloudOnly: true, minFraction: 0.5 },
+    effectCounter: "edgesLanded",
+    // Parked edges waiting on an endpoint — a flat, non-zero backlog is a stratum
+    // whose other ends never arrive here (a cap, or a gate that refuses them).
+    backlogCounter: "edgesPending",
+    requiresNodes: ["Problem"],
+    note: "an orphaned cloud Solution reads as a fix with no problem; the one-time causal re-walk lifts this after the server ships the leg"
   }
 ];
 var COLUMN_INPUTS = {
   __createdAtSeq: (n) => n.createdAtSeq !== void 0 && n.createdAtSeq !== null
 };
 function evaluateFed(store2, d) {
+  if (d.fedIncoming) {
+    const { count: count2, total } = store2.incomingEdgeCoverage?.(
+      d.fedIncoming.label,
+      d.fedIncoming.edgeTypes,
+      d.fedIncoming.cloudOnly
+    ) ?? { count: 0, total: 0 };
+    return { count: count2, total, fraction: total === 0 ? 0 : count2 / total };
+  }
   if (d.fedEdges) {
     const { count: count2, total } = store2.recentEdgeAttrCoverage(
       d.fedEdges.marker,
@@ -29210,7 +29794,7 @@ function evaluateMechanisms(store2, invocations = /* @__PURE__ */ new Map(), mec
     if (d.configCounter && inv?.lastTotals?.[d.configCounter] === 0) verdict = "unconfigured";
     else if ((backlog ?? 0) === 0 && (!hasInput && !d.inputOptional || missingRequiredNodes)) verdict = "no-input";
     else if (!inv || inv.runs === 0) verdict = "never-invoked";
-    else if (fed.fraction < (d.fedEdges?.minFraction ?? d.fed?.minFraction ?? 0)) verdict = "starved";
+    else if (fed.fraction < minFractionOf(d)) verdict = "starved";
     else if (stalled) verdict = "stalled";
     else if (effectCount === 0) verdict = "no-effect";
     else verdict = "ok";
@@ -29221,7 +29805,7 @@ function evaluateMechanisms(store2, invocations = /* @__PURE__ */ new Map(), mec
       fedCount: fed.count,
       fedTotal: fed.total,
       fedFraction: fed.fraction,
-      minFraction: d.fedEdges?.minFraction ?? d.fed?.minFraction ?? 0,
+      minFraction: minFractionOf(d),
       ...inv ? { lastInvokedMs: inv.lastTs } : {},
       runs: inv?.runs ?? 0,
       effectCount,
@@ -29233,6 +29817,9 @@ function evaluateMechanisms(store2, invocations = /* @__PURE__ */ new Map(), mec
     };
   });
 }
+function minFractionOf(d) {
+  return d.fedIncoming?.minFraction ?? d.fedEdges?.minFraction ?? d.fed?.minFraction ?? 0;
+}
 
 // ../../packages/local-graph/src/wm-calibration.ts
 var WM_CALIBRATION_LABELS = [

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

@@ -1,6 +1,6 @@
 {
   "name": "errata-context",
-  "version": "2.0.22-dev.4135",
+  "version": "2.0.22-dev.4164",
   "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 @@
-f0dd5b6f3e6476eba250ed306f433f9ee159a05948b36f15f1eae0ee0f59a3a2  .codex-plugin/plugin.json
+0519a3dd34e55c34ebac732f4b86afc926669093bfa0b1376e57d809addfbe27  .codex-plugin/plugin.json
 a7bebae9fb01c838d6c75fc784129e28be571233fa66ff5ee8039b574f35ccf7  assets/icon.png
 fc38b64e4df1e0b72c35764bef6c4c05430d97c9009ad0ecc8a9e75b4deab232  configure-local.mjs
 73dc6028b3b070257c7c31f252d11e55a9e096f4aed0f187f10cb21716e1e6d7  dist/client.js