edgehero
diff --git a/‎admin/src/graph-model.mjs‎
Lines changed: 354 additions & 4 deletions b/‎admin/src/graph-model.mjs‎
Lines changed: 354 additions & 4 deletions
@@ -1,10 +1,14 @@
 /**
- * The PURE side of the trigger/flow graph (issue #54): text scanners over skill content, and (next
- * slice) the model assembler every graph consumer renders from. No fs, no child_process, no redis,
- * no queue, no env -- read-model.mjs supplies bytes and joins, this module supplies meaning. The
- * purity is enforced by a source-regex test, the render.mjs/panel.mjs/costs.mjs pattern.
+ * The PURE side of the trigger/flow graph (issue #54): text scanners over skill content, and the
+ * model assembler every graph consumer renders from. No fs, no child_process, no redis, no queue,
+ * no env -- read-model.mjs supplies bytes and joins, this module supplies meaning. The purity is
+ * enforced by a source-regex test, the render.mjs/panel.mjs/costs.mjs pattern.
  */
 
+// SKILL_NAME_RE is a plain frozen RegExp; importing it keeps the charset single-sourced (the
+// issue #92 lesson) without breaking this module's purity -- nothing here spawns or reads anything.
+import { SKILL_NAME_RE } from "@edgehero/pi-dispatch/flow-gate";
+
 // One frontmatter value line: `key: value`, an optional surrounding double quote, single-line only.
 // The same block-isolation discipline as flow-gate.mjs's aiTriggerAllows, and deliberately NOT a YAML
 // parser for the same recorded reason: two display strings do not justify js-yaml, and a scanner that
@@ -76,3 +80,349 @@ export function findSiblingMentions(text, siblingNames) {
 function escapeRegExp(s) {
   return s.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
 }
+
+// The closed edge and flag vocabularies. Closed on purpose and pinned in the tests: every consumer
+// (the text renderer, the TUI view, the HTML export) switches on these strings, and a producer
+// minting a new one without a renderer arm should go red in a unit test, not render as nothing.
+export const GRAPH_EDGE_KINDS = Object.freeze(["config", "observed", "potential", "cron-rearm"]);
+export const GRAPH_FLAGS = Object.freeze([
+  "no-skill", // config edge target absent at HEAD in an ENUMERATED folder (readFlowGate's precise token)
+  "charset-invalid", // run.flow fails SKILL_NAME_RE: can never materialise, a distinct defect from no-skill
+  "orphan", // no trigger, no ai-trigger, no incoming mention: dead by every path the system has
+  "ai-reachable-no-trigger", // no trigger but ai-trigger: allow -- deliberately chain/dispatch_run-reachable
+  "injected-ai-trigger", // an injected skill carrying ai-trigger: allow is a silent no-op (OQ-022)
+  "unread", // SKILL.md unreadable/oversized at enumeration: facts unknown, gate read as closed
+  "pr-spend-loop-risk", // pull_request on opened/synchronize: the OQ-020 cross-actor spend-loop signature
+]);
+
+/**
+ * Assemble the graph model every consumer renders from. Pure fold over the read-model's outputs --
+ * this function performs no I/O, applies the EDGE HONESTY RULES (DES-GRAPH-EDGE-DERIVATION), and is
+ * the single place they live:
+ *
+ *   - every trigger with a `run.flow` gets exactly one `config` edge, always;
+ *   - `observed` edges come only from run records (they carry count + lastEndedAt);
+ *   - `potential` edges come only from a text mention, labelled `strong`/`eligible`, and eligibility
+ *     is a NODE badge (`aiTrigger`), never an all-pairs edge;
+ *   - `cron-rearm` is the one self-edge every cron trigger carries by definition;
+ *   - no chain edge is ever drawn out of a forge trigger's flow or across folders -- the harness
+ *     makes both unrepresentable (OQ-009), and drawing either would draw a lie;
+ *   - an UNREACHABLE folder produces zero dangling flags ("unverified" is not "dangling": deny and
+ *     no-skill are different facts, and a read that never happened proves neither);
+ *   - `caps` ride every model, because a consumer that renders edges without their bounds invites
+ *     the reader to extrapolate an unbounded chain fabric out of a depth-1, width-2 reality.
+ *
+ * Total function: absent or malformed inputs degrade to an empty-but-well-formed model, never a
+ * throw (the read-model's viewer doctrine, one layer up).
+ */
+export function buildGraphModel({ triggers, schedulers, folderSkills, injectedSkills, cronStats, runJoin, chainEdges, caps, nowMs } = {}) {
+  const triggerList = Array.isArray(triggers?.triggers) ? triggers.triggers : [];
+  const schedulerList = Array.isArray(schedulers) ? schedulers : [];
+  const folders = folderSkills && typeof folderSkills === "object" ? folderSkills : {};
+  const injected = injectedSkills && typeof injectedSkills === "object" ? injectedSkills : {};
+  const statsById = cronStats?.byId && typeof cronStats.byId === "object" ? cronStats.byId : {};
+  const statsByIndex = runJoin?.byIndex && typeof runJoin.byIndex === "object" ? runJoin.byIndex : {};
+  const observed = Array.isArray(chainEdges?.edges) ? chainEdges.edges : [];
+
+  const model = {
+    folders: [],
+    nodes: [],
+    edges: [],
+    flags: [],
+    caps: {
+      chainDepthMax: Number.isInteger(caps?.chainDepthMax) ? caps.chainDepthMax : null,
+      chainMaxPerJob: Number.isInteger(caps?.chainMaxPerJob) ? caps.chainMaxPerJob : null,
+      sameFolderOnly: true,
+      windowDays: Number.isInteger(caps?.windowDays) ? caps.windowDays : null,
+    },
+    meta: {
+      generatedAt: Number.isFinite(nowMs) ? nowMs : null,
+      triggersMissing: triggers?.missing === true,
+      triggersInvalid: typeof triggers?.invalid === "string" ? triggers.invalid : null,
+      unattributedRuns: Number.isInteger(runJoin?.unattributed) ? runJoin.unattributed : 0,
+      chainRefusals: chainEdges?.refusals && typeof chainEdges.refusals === "object" ? chainEdges.refusals : {},
+      truncated: {
+        folders: false,
+        skills: Object.values(folders).some((f) => f?.truncated === true),
+        edges: chainEdges?.truncated === true,
+      },
+      droppedObservedEdges: 0,
+    },
+  };
+
+  // ---- folder groups: one per enumerated local folder, one per forge named by a webhook trigger ----
+  const folderByPath = new Map();
+  for (const [path, result] of Object.entries(folders)) {
+    const group = {
+      key: `folder:${path}`,
+      path,
+      label: basenameOf(path),
+      kind: "local",
+      head: typeof result?.head === "string" ? result.head : null,
+      unreachable: typeof result?.unreachable === "string" ? result.unreachable : null,
+      triggerIds: [],
+      skillIds: [],
+    };
+    folderByPath.set(path, group);
+    model.folders.push(group);
+  }
+  const forgeGroups = new Map();
+  const forgeGroup = (forge) => {
+    const name = typeof forge === "string" && forge !== "" ? forge : "forge";
+    let group = forgeGroups.get(name);
+    if (!group) {
+      // A forge trigger's repo is not on this host, so its skills are unverifiable from the admin
+      // (readFlowGate needs a local git dir); the group says so instead of growing dangling flags.
+      group = { key: `forge:${name}`, path: null, label: name, kind: "forge", head: null, unreachable: "remote-repo", triggerIds: [], skillIds: [] };
+      forgeGroups.set(name, group);
+      model.folders.push(group);
+    }
+    return group;
+  };
+
+  // ---- skill nodes from the enumerations ----
+  const skillNode = new Map(); // "folderKeyname" -> node
+  const addSkill = (group, skill) => {
+    const id = `skill:${group.key}:${skill.name}`;
+    const node = {
+      id,
+      kind: "skill",
+      name: skill.name,
+      folderKey: group.key,
+      isSub: skill.isSub === true,
+      group: skill.isSub === true ? skill.group : null,
+      aiTrigger: skill.aiTrigger === true,
+      meta: skill.meta ?? null,
+      unread: skill.unread === true,
+      isFlow: false, // set true when a config edge lands on it
+      mentionedBy: 0,
+    };
+    skillNode.set(`${group.key}${skill.name}`, node);
+    model.nodes.push(node);
+    group.skillIds.push(id);
+    if (node.unread) model.flags.push({ nodeId: id, flag: "unread", detail: "SKILL.md unreadable at enumeration; gate read as closed" });
+    return node;
+  };
+  for (const [path, result] of Object.entries(folders)) {
+    const group = folderByPath.get(path);
+    for (const skill of Array.isArray(result?.skills) ? result.skills : []) {
+      if (typeof skill?.name === "string" && skill.name !== "") addSkill(group, skill);
+    }
+  }
+  for (const [dir, result] of Object.entries(injected)) {
+    for (const skill of Array.isArray(result?.skills) ? result.skills : []) {
+      if (typeof skill?.name !== "string" || skill.name === "") continue;
+      const id = `injected:${dir}:${skill.name}`;
+      model.nodes.push({ id, kind: "injected", name: skill.name, dir, aiTrigger: skill.aiTrigger === true });
+      if (skill.aiTrigger === true) {
+        model.flags.push({ nodeId: id, flag: "injected-ai-trigger", detail: "ai-trigger: allow on an injected skill is a silent no-op (OQ-022)" });
+      }
+    }
+  }
+
+  // A config edge may point at a flow the enumeration did not find; the target then exists as a
+  // `skill-missing` node so the edge has a visible end. Created lazily, once per (group, name).
+  const missingNode = (group, name) => {
+    const key = `${group.key}${name}`;
+    let node = skillNode.get(key);
+    if (node) return node;
+    node = { id: `skill:${group.key}:${name}`, kind: "skill-missing", name, folderKey: group.key, isSub: false, group: null, aiTrigger: false, meta: null, unread: false, isFlow: false, mentionedBy: 0 };
+    skillNode.set(key, node);
+    model.nodes.push(node);
+    group.skillIds.push(node.id);
+    return node;
+  };
+
+  // ---- trigger nodes + config edges + cron-rearm self-edges ----
+  for (const t of triggerList) {
+    if (!t || typeof t !== "object" || !Number.isInteger(t.index)) continue;
+    const id = `trigger:${t.index}`;
+    const isCron = t.type === "cron";
+    let group = null;
+    if (isCron) {
+      if (typeof t.folder === "string" && t.folder !== "") {
+        group = folderByPath.get(t.folder) ?? null;
+        if (!group) {
+          // The folder cap (or a caller that never enumerated) left this folder unscanned; the
+          // trigger and its config edge still draw -- the config fact is real -- on a group that
+          // says why its skills are unknown, rather than silently losing the edge.
+          group = { key: `folder:${t.folder}`, path: t.folder, label: basenameOf(t.folder), kind: "local", head: null, unreachable: "not-enumerated", triggerIds: [], skillIds: [] };
+          folderByPath.set(t.folder, group);
+          model.folders.push(group);
+        }
+      }
+    } else {
+      group = forgeGroup(t.forge);
+    }
+    const stats = isCron ? (typeof t.id === "string" ? statsById[t.id] : undefined) : statsByIndex[t.index];
+    const sched = isCron ? matchScheduler(schedulerList, t) : null;
+    const node = {
+      id,
+      kind: "trigger",
+      index: t.index,
+      onType: t.type,
+      forge: isCron ? null : (t.forge ?? null),
+      cronId: isCron ? (t.id ?? null) : null,
+      pattern: isCron ? (t.pattern ?? null) : null,
+      label: triggerMatchLabel(t),
+      flow: t.flow ?? null,
+      replicas: t.replicas ?? null,
+      folderKey: group?.key ?? null,
+      runs: Number.isInteger(stats?.runs) ? stats.runs : 0,
+      lastOutcome: stats?.lastOutcome ?? null,
+      lastEndedAt: stats?.lastEndedAt ?? null,
+      next: sched?.next ?? null,
+      overdueMs: sched?.overdueMs ?? null,
+    };
+    model.nodes.push(node);
+    if (group) group.triggerIds.push(id);
+
+    // The OQ-020 cross-actor spend-loop signature is static and cheap; the graph is where an
+    // operator can actually see it, so it badges here rather than only in SECURITY.md prose.
+    if (t.type === "pull_request" && Array.isArray(t.action) && t.action.some((a) => a === "opened" || a === "synchronize")) {
+      model.flags.push({ nodeId: id, flag: "pr-spend-loop-risk", detail: "fires on opened/synchronize; a flow that pushes can loop with another bot (OQ-020)" });
+    }
+
+    // Every cron trigger re-arms by definition: the one self-edge that is config, not history.
+    if (isCron) model.edges.push({ from: id, to: id, kind: "cron-rearm", label: t.pattern ?? null });
+
+    // The config edge -- every trigger that names a flow gets one, ALWAYS.
+    if (typeof t.flow === "string" && t.flow !== "") {
+      if (!SKILL_NAME_RE.test(t.flow)) {
+        // A charset-invalid flow can never materialise (materialize.mjs refuses the name), and the
+        // gate answers deny, not no-skill -- a distinct, currently-invisible defect class.
+        const target = group ? missingNode(group, clipName(t.flow)) : null;
+        if (target) model.edges.push({ from: id, to: target.id, kind: "config" });
+        model.flags.push({ nodeId: id, flag: "charset-invalid", detail: `run.flow ${JSON.stringify(clipName(t.flow))} fails the skill charset and can never materialise` });
+        continue;
+      }
+      if (isCron && group && group.unreachable === null) {
+        const existing = skillNode.get(`${group.key}${t.flow}`);
+        if (existing && existing.kind === "skill" && !existing.isSub) {
+          existing.isFlow = true;
+          model.edges.push({ from: id, to: existing.id, kind: "config" });
+        } else {
+          // Enumeration SUCCEEDED and the path is absent: this is readFlowGate's precise
+          // "no-skill", the one token that means dangling (deny would prove nothing).
+          const target = missingNode(group, t.flow);
+          model.edges.push({ from: id, to: target.id, kind: "config" });
+          model.flags.push({ nodeId: id, flag: "no-skill", detail: `.pi/skills/${t.flow}/SKILL.md absent at HEAD` });
+        }
+      } else if (group) {
+        // Forge repo (not local) or unreachable folder: the edge still draws -- the config fact is
+        // real -- but no dangling flag can honestly attach to a read that never happened, so the
+        // target is an UNVERIFIED node, a different kind from skill-missing on purpose.
+        const target = missingNode(group, t.flow);
+        if (target.kind === "skill-missing") target.kind = "skill-unverified";
+        target.isFlow = true;
+        model.edges.push({ from: id, to: target.id, kind: "config" });
+      }
+    }
+  }
+
+  // ---- observed chain edges (records only), resolved onto folder groups by target basename ----
+  const localGroups = model.folders.filter((f) => f.kind === "local");
+  for (const edge of observed) {
+    if (typeof edge?.parentFlow !== "string" || typeof edge?.childFlow !== "string") continue;
+    const base = typeof edge.target === "string" && edge.target.startsWith("local:") ? edge.target.slice("local:".length) : null;
+    const matches = base === null ? [] : localGroups.filter((f) => f.label === base);
+    if (matches.length !== 1) {
+      // No enumerated folder (or an ambiguous basename) to hang the edge on: dropping it and saying
+      // so beats guessing, which could pin real history onto the wrong folder's skills.
+      model.meta.droppedObservedEdges++;
+      continue;
+    }
+    const group = matches[0];
+    const from = missingNode(group, edge.parentFlow);
+    const to = missingNode(group, edge.childFlow);
+    model.edges.push({ from: from.id, to: to.id, kind: "observed", count: Number.isInteger(edge.count) ? edge.count : 0, lastEndedAt: edge.lastEndedAt ?? null });
+  }
+
+  // ---- potential edges from text mentions, within each enumerated folder only ----
+  for (const [path, result] of Object.entries(folders)) {
+    const group = folderByPath.get(path);
+    for (const skill of Array.isArray(result?.skills) ? result.skills : []) {
+      if (skill?.isSub === true) continue;
+      const from = skillNode.get(`${group.key}${skill?.name}`);
+      if (!from) continue;
+      for (const mention of Array.isArray(skill?.mentions) ? skill.mentions : []) {
+        const to = skillNode.get(`${group.key}${mention?.name}`);
+        if (!to || to.isSub) continue;
+        to.mentionedBy++;
+        model.edges.push({
+          from: from.id,
+          to: to.id,
+          kind: "potential",
+          strong: mention.strong === true,
+          // Eligibility is the exact static half: without ai-trigger: allow on the TARGET, the
+          // outbox gate refuses this edge every time, so a mention alone renders "can never fire".
+          eligible: to.aiTrigger === true,
+        });
+      }
+    }
+  }
+
+  // ---- orphan / reachability flags, only where the enumeration actually succeeded ----
+  for (const [path] of Object.entries(folders)) {
+    const group = folderByPath.get(path);
+    if (group.unreachable !== null) continue;
+    for (const id of group.skillIds) {
+      const node = model.nodes.find((n) => n.id === id);
+      if (!node || node.kind !== "skill" || node.isSub || node.unread) continue;
+      if (node.isFlow) continue;
+      if (node.aiTrigger) {
+        model.flags.push({ nodeId: id, flag: "ai-reachable-no-trigger", detail: "no trigger names it, but ai-trigger: allow keeps it chain/dispatch_run-reachable" });
+      } else if (node.mentionedBy === 0) {
+        model.flags.push({ nodeId: id, flag: "orphan", detail: "no trigger, no ai-trigger, no mention: dead by every path the system has" });
+      }
+    }
+  }
+
+  return model;
+}
+
+/** The display label for a trigger's match side, mirroring render.mjs's triggerLine vocabulary. */
+function triggerMatchLabel(t) {
+  switch (t?.type) {
+    case "cron":
+      return `${t.id ?? "-"} ${t.pattern ?? "-"}`;
+    case "label":
+      return selectorLabel(t);
+    case "comment":
+      return `"${t.phrase ?? "-"}"`;
+    case "pull_request":
+      return `action[${(Array.isArray(t.action) ? t.action : []).join(",")}]`;
+    default:
+      return "(unknown)";
+  }
+}
+
+function selectorLabel(t) {
+  const parts = [];
+  if (Array.isArray(t.any) && t.any.length) parts.push(`any[${t.any.join(",")}]`);
+  if (Array.isArray(t.all) && t.all.length) parts.push(`all[${t.all.join(",")}]`);
+  if (Array.isArray(t.none) && t.none.length) parts.push(`none[${t.none.join(",")}]`);
+  return parts.join(" ") || "(no selector)";
+}
+
+/** Match a cron display trigger to its resident scheduler: by key/name (the id), else by pattern. */
+function matchScheduler(schedulers, t) {
+  if (typeof t?.id === "string") {
+    const byId = schedulers.find((s) => s?.key === t.id || s?.name === t.id);
+    if (byId) return byId;
+  }
+  return typeof t?.pattern === "string" ? (schedulers.find((s) => s?.pattern === t.pattern) ?? null) : null;
+}
+
+/** Basename without importing node:path (this module is pure); both separators, trailing-sep safe. */
+function basenameOf(path) {
+  const trimmed = String(path).replace(/[\\/]+$/, "");
+  const at = Math.max(trimmed.lastIndexOf("/"), trimmed.lastIndexOf("\\"));
+  return at === -1 ? trimmed : trimmed.slice(at + 1);
+}
+
+/** Clip an arbitrary (possibly hostile) flow string for node display; the honest badge needs the name. */
+function clipName(name) {
+  const s = String(name);
+  return s.length > 64 ? `${s.slice(0, 64)}…` : s;
+}