@graphrefly/graphrefly 0.13.0 → 0.14.0

package/dist/index.js

@@ -137,24 +137,11 @@ import {
   workerBridge,
   workerSelf,
   zip
-} from "./chunk-H4UFM6WD.js";
+} from "./chunk-4APC3AFN.js";
 import {
   cqrs_exports,
   nestjs_exports
-} from "./chunk-HA6QMDKQ.js";
-import {
-  DEFAULT_DOWN,
-  bridge,
-  core_exports
-} from "./chunk-5RN7NBNG.js";
-import {
-  JsonCodec,
-  createDagCborCodec,
-  createDagCborZstdCodec,
-  graph_exports,
-  negotiateCodec,
-  replayWAL
-} from "./chunk-QOGWU5K7.js";
+} from "./chunk-2ZICUAUJ.js";
 import {
   cached,
   createWatermarkController,
@@ -187,7 +174,20 @@ import {
   toArray,
   toMessages$,
   toObservable
-} from "./chunk-KNGOJEYP.js";
+} from "./chunk-QVYZD65U.js";
+import {
+  JsonCodec,
+  createDagCborCodec,
+  createDagCborZstdCodec,
+  graph_exports,
+  negotiateCodec,
+  replayWAL
+} from "./chunk-ZHTHUX5D.js";
+import {
+  DEFAULT_DOWN,
+  bridge,
+  core_exports
+} from "./chunk-YW6LFCFS.js";
 import {
   ResettableTimer
 } from "./chunk-WZ2Z2CRV.js";
@@ -195,17 +195,17 @@ import {
   analyzeAndMeasure,
   computeLineBreaks,
   reactive_layout_exports
-} from "./chunk-UPC5OEB5.js";
+} from "./chunk-GKRKDYNT.js";
 import {
   GRAPH_META_SEGMENT,
   Graph,
   reachable
-} from "./chunk-UQI4GAHD.js";
+} from "./chunk-CRACCCJY.js";
 import {
   describeNode,
   metaSnapshot,
   resolveDescribeFields
-} from "./chunk-PFMXKG4Y.js";
+} from "./chunk-XQ4UMAU7.js";
 import {
   CLEANUP_RESULT,
   COMPLETE,
@@ -249,7 +249,7 @@ import {
   propagatesToMeta,
   state,
   wallClockNs
-} from "./chunk-6B2ZCCNN.js";
+} from "./chunk-H243FWYP.js";
 
 // src/compat/index.ts
 var compat_exports = {};
@@ -1051,6 +1051,7 @@ __export(patterns_exports, {
   demoShell: () => demo_shell_exports,
   domainTemplates: () => domain_templates_exports,
   graphspec: () => graphspec_exports,
+  harness: () => harness_exports,
   layout: () => reactive_layout_exports,
   memory: () => memory_exports,
   messaging: () => messaging_exports,
@@ -4891,6 +4892,59 @@ ${validation.errors.join("\n")}`);
   return parsed;
 }
 
+// src/patterns/harness/index.ts
+var harness_exports = {};
+__export(harness_exports, {
+  DEFAULT_DECAY_RATE: () => DEFAULT_DECAY_RATE2,
+  DEFAULT_QUEUE_CONFIGS: () => DEFAULT_QUEUE_CONFIGS,
+  DEFAULT_SEVERITY_WEIGHTS: () => DEFAULT_SEVERITY_WEIGHTS,
+  HarnessGraph: () => HarnessGraph,
+  defaultErrorClassifier: () => defaultErrorClassifier,
+  evalIntakeBridge: () => evalIntakeBridge,
+  harnessLoop: () => harnessLoop,
+  priorityScore: () => priorityScore,
+  strategyKey: () => strategyKey,
+  strategyModel: () => strategyModel
+});
+
+// src/patterns/harness/bridge.ts
+function evalIntakeBridge(evalSource, intakeTopic, opts) {
+  const defaultSeverity = opts?.defaultSeverity ?? "medium";
+  return effect([evalSource], ([results]) => {
+    if (results == null) return;
+    const runs = Array.isArray(results) ? results : [results];
+    for (const run of runs) {
+      for (const task2 of run.tasks) {
+        if (task2.valid && task2.judge_scores?.every((s) => s.pass)) continue;
+        if (!task2.valid && (!task2.judge_scores || task2.judge_scores.length === 0)) {
+          intakeTopic.publish({
+            source: "eval",
+            summary: `Task ${task2.task_id} invalid (model: ${run.model})`,
+            evidence: `Run ${run.run_id}: task produced invalid output`,
+            affectsAreas: ["graphspec"],
+            affectsEvalTasks: [task2.task_id],
+            severity: defaultSeverity
+          });
+          continue;
+        }
+        if (task2.judge_scores) {
+          for (const score of task2.judge_scores) {
+            if (score.pass) continue;
+            intakeTopic.publish({
+              source: "eval",
+              summary: `${task2.task_id}: ${score.claim} (model: ${run.model})`,
+              evidence: score.reasoning,
+              affectsAreas: ["graphspec"],
+              affectsEvalTasks: [task2.task_id],
+              severity: defaultSeverity
+            });
+          }
+        }
+      }
+    }
+  });
+}
+
 // src/patterns/messaging.ts
 var messaging_exports = {};
 __export(messaging_exports, {
@@ -5784,6 +5838,326 @@ function onFailure(graph, name, source, recover, opts) {
   return step;
 }
 
+// src/patterns/harness/types.ts
+function strategyKey(rootCause, intervention) {
+  return `${rootCause}\u2192${intervention}`;
+}
+function defaultErrorClassifier(result) {
+  const d = result.detail.toLowerCase();
+  if (d.includes("parse") || d.includes("json") || d.includes("config") || d.includes("validation") || d.includes("syntax")) {
+    return "self-correctable";
+  }
+  return "structural";
+}
+var DEFAULT_SEVERITY_WEIGHTS = {
+  critical: 100,
+  high: 70,
+  medium: 40,
+  low: 10
+};
+var DEFAULT_DECAY_RATE2 = Math.LN2 / (7 * 24 * 3600);
+var DEFAULT_QUEUE_CONFIGS = {
+  "auto-fix": { gated: false },
+  "needs-decision": { gated: true },
+  investigation: { gated: true },
+  backlog: { gated: false, startOpen: false }
+};
+
+// src/patterns/harness/strategy.ts
+function strategyModel() {
+  const _map = reactiveMap({ name: "strategy-entries" });
+  const snapshot = derived(
+    [_map.node],
+    ([mapSnap]) => {
+      const raw = mapSnap.value.map;
+      return new Map(raw);
+    },
+    {
+      name: "strategy-model",
+      equals: (a, b) => {
+        const am = a;
+        const bm = b;
+        if (am.size !== bm.size) return false;
+        for (const [k, v] of am) {
+          const bv = bm.get(k);
+          if (!bv || v.attempts !== bv.attempts || v.successes !== bv.successes) return false;
+        }
+        return true;
+      }
+    }
+  );
+  function record(rootCause, intervention, success) {
+    const key = strategyKey(rootCause, intervention);
+    const existing = _map.get(key);
+    const attempts = (existing?.attempts ?? 0) + 1;
+    const successes = (existing?.successes ?? 0) + (success ? 1 : 0);
+    _map.set(key, {
+      rootCause,
+      intervention,
+      attempts,
+      successes,
+      successRate: successes / attempts
+    });
+  }
+  function lookup(rootCause, intervention) {
+    return _map.get(strategyKey(rootCause, intervention));
+  }
+  const _unsub = snapshot.subscribe(() => {
+  });
+  return { node: snapshot, record, lookup };
+}
+function priorityScore(item, strategy, lastInteractionNs, urgency, signals) {
+  const severityWeights = { ...DEFAULT_SEVERITY_WEIGHTS, ...signals?.severityWeights };
+  const decayRate = signals?.decayRate ?? DEFAULT_DECAY_RATE2;
+  const effectivenessThreshold = signals?.effectivenessThreshold ?? 0.7;
+  const effectivenessBoost = signals?.effectivenessBoost ?? 15;
+  const deps = [item, strategy, lastInteractionNs];
+  if (urgency) deps.push(urgency);
+  return derived(
+    deps,
+    (values) => {
+      const itm = values[0];
+      const strat = values[1];
+      const lastNs = values[2];
+      const urg = urgency ? values[3] : 0;
+      const baseWeight = severityWeights[itm.severity ?? "medium"];
+      const ageSeconds = (monotonicNs() - lastNs) / 1e9;
+      let score = decay(baseWeight, ageSeconds, decayRate, 0);
+      const key = strategyKey(itm.rootCause, itm.intervention);
+      const entry = strat.get(key);
+      if (entry && entry.successRate >= effectivenessThreshold) {
+        score += effectivenessBoost;
+      }
+      score += urg * 20;
+      return score;
+    },
+    { name: "priority-score" }
+  );
+}
+
+// src/patterns/harness/loop.ts
+var DEFAULT_TRIAGE_PROMPT = `You are a triage classifier for a reactive collaboration harness.
+
+Given an intake item, classify it and output JSON:
+{
+  "rootCause": "composition" | "missing-fn" | "bad-docs" | "schema-gap" | "regression" | "unknown",
+  "intervention": "template" | "catalog-fn" | "docs" | "wrapper" | "schema-change" | "investigate",
+  "route": "auto-fix" | "needs-decision" | "investigation" | "backlog",
+  "priority": <number 0-100>,
+  "triageReasoning": "<one sentence>"
+}
+
+Strategy model (past effectiveness):
+{{strategy}}
+
+Intake item:
+{{item}}`;
+var DEFAULT_EXECUTE_PROMPT = `You are an implementation agent.
+
+Given a triaged issue with root cause and intervention type, produce a fix.
+
+Issue:
+{{item}}
+
+Output JSON:
+{
+  "outcome": "success" | "failure" | "partial",
+  "detail": "<description of what was done or what failed>"
+}`;
+var DEFAULT_VERIFY_PROMPT = `You are a QA reviewer.
+
+Given an execution result, verify whether the fix is correct.
+
+Execution:
+{{execution}}
+
+Original issue:
+{{item}}
+
+Output JSON:
+{
+  "verified": true/false,
+  "findings": ["<finding1>", ...],
+  "errorClass": "self-correctable" | "structural"  // only if verified=false
+}`;
+var QUEUE_NAMES = [
+  "auto-fix",
+  "needs-decision",
+  "investigation",
+  "backlog"
+];
+var HarnessGraph = class extends Graph {
+  /** Intake topic — publish items here to enter the loop. */
+  intake;
+  /** Per-route queue topics. */
+  queues;
+  /** Per-route gate controllers (only for gated queues). */
+  gates;
+  /** Strategy model bundle — record outcomes, lookup effectiveness. */
+  strategy;
+  /** Verify results topic — subscribe to see verification outcomes. */
+  verifyResults;
+  constructor(name, intake, queues, gates, strategy, verifyResults) {
+    super(name);
+    this.intake = intake;
+    this.queues = queues;
+    this.gates = gates;
+    this.strategy = strategy;
+    this.verifyResults = verifyResults;
+  }
+};
+function harnessLoop(name, opts) {
+  const adapter = opts.adapter;
+  const maxRetries = opts.maxRetries ?? 2;
+  const retainedLimit = opts.retainedLimit ?? 1e3;
+  const errorClassifier = opts.errorClassifier ?? defaultErrorClassifier;
+  const queueConfigs = /* @__PURE__ */ new Map();
+  for (const route of QUEUE_NAMES) {
+    queueConfigs.set(route, {
+      ...DEFAULT_QUEUE_CONFIGS[route],
+      ...opts.queues?.[route]
+    });
+  }
+  const intake = new TopicGraph("intake", { retainedLimit });
+  const strategy = strategyModel();
+  const triageNode = promptNode(
+    adapter,
+    [intake.latest, strategy.node],
+    opts.triagePrompt ?? ((item, strat) => {
+      return DEFAULT_TRIAGE_PROMPT.replace("{{strategy}}", JSON.stringify(strat)).replace(
+        "{{item}}",
+        JSON.stringify(item)
+      );
+    }),
+    {
+      name: "triage",
+      format: "json",
+      retries: 1
+    }
+  );
+  const queueTopics = /* @__PURE__ */ new Map();
+  for (const route of QUEUE_NAMES) {
+    queueTopics.set(route, new TopicGraph(`queue/${route}`, { retainedLimit }));
+  }
+  const _router = effect([triageNode], ([triaged]) => {
+    const item = triaged;
+    if (!item || !item.route) return;
+    const topic2 = queueTopics.get(item.route);
+    if (topic2) topic2.publish(item);
+  });
+  const gateGraph = new Graph("gates");
+  const gateControllers = /* @__PURE__ */ new Map();
+  for (const route of QUEUE_NAMES) {
+    const config = queueConfigs.get(route);
+    const topic2 = queueTopics.get(route);
+    if (config.gated) {
+      gateGraph.add(`${route}/source`, topic2.latest);
+      const ctrl = gate(gateGraph, `${route}/gate`, `${route}/source`, {
+        maxPending: config.maxPending,
+        startOpen: config.startOpen
+      });
+      gateControllers.set(route, ctrl);
+    }
+  }
+  const retryTopic = new TopicGraph("retry-input", { retainedLimit });
+  const queueOutputs = [];
+  for (const route of QUEUE_NAMES) {
+    const config = queueConfigs.get(route);
+    if (config.gated && gateControllers.has(route)) {
+      queueOutputs.push(gateControllers.get(route).node);
+    } else {
+      queueOutputs.push(queueTopics.get(route).latest);
+    }
+  }
+  queueOutputs.push(retryTopic.latest);
+  const executeInput = merge(...queueOutputs);
+  const executeNode = promptNode(
+    adapter,
+    [executeInput],
+    opts.executePrompt ?? ((item) => {
+      return DEFAULT_EXECUTE_PROMPT.replace("{{item}}", JSON.stringify(item));
+    }),
+    {
+      name: "execute",
+      format: "json",
+      retries: 1
+    }
+  );
+  const verifyResults = new TopicGraph("verify-results", { retainedLimit });
+  const verifyNode = promptNode(
+    adapter,
+    [executeNode, executeInput],
+    opts.verifyPrompt ?? ((execution, item) => {
+      return DEFAULT_VERIFY_PROMPT.replace("{{execution}}", JSON.stringify(execution)).replace(
+        "{{item}}",
+        JSON.stringify(item)
+      );
+    }),
+    {
+      name: "verify",
+      format: "json",
+      retries: 1
+    }
+  );
+  const maxReingestions = opts.maxReingestions ?? 1;
+  let reingestionCount = 0;
+  const _fastRetry = effect([verifyNode], ([result]) => {
+    const vr = result;
+    if (!vr) return;
+    if (vr.verified) {
+      strategy.record(vr.item.rootCause, vr.item.intervention, true);
+      verifyResults.publish(vr);
+      return;
+    }
+    const errClass = vr.errorClass ?? errorClassifier({
+      item: vr.item,
+      outcome: "failure",
+      detail: vr.findings.join("; "),
+      retryCount: 0
+    });
+    const exec = vr.execution;
+    const retryCount = exec?.retryCount ?? 0;
+    if (errClass === "self-correctable" && retryCount < maxRetries) {
+      const retryItem = {
+        ...vr.item,
+        summary: `[RETRY ${retryCount + 1}/${maxRetries}] ${vr.item.summary} \u2014 Previous attempt failed: ${vr.findings.join("; ")}`
+      };
+      retryTopic.publish(retryItem);
+    } else {
+      strategy.record(vr.item.rootCause, vr.item.intervention, false);
+      verifyResults.publish(vr);
+      if (reingestionCount < maxReingestions) {
+        reingestionCount++;
+        intake.publish({
+          source: "eval",
+          summary: `Verification failed for: ${vr.item.summary}`,
+          evidence: vr.findings.join("\n"),
+          affectsAreas: vr.item.affectsAreas,
+          affectsEvalTasks: vr.item.affectsEvalTasks,
+          severity: "high",
+          relatedTo: [vr.item.summary]
+        });
+      }
+    }
+  });
+  const harness = new HarnessGraph(
+    name,
+    intake,
+    queueTopics,
+    gateControllers,
+    strategy,
+    verifyResults
+  );
+  harness.mount("intake", intake);
+  for (const [route, topic2] of queueTopics) {
+    harness.mount(`queue/${route}`, topic2);
+  }
+  harness.mount("gates", gateGraph);
+  harness.mount("retry-input", retryTopic);
+  harness.mount("verify-results", verifyResults);
+  return harness;
+}
+
 // src/index.ts
 var version = "0.0.0";
 export {
@@ -5907,6 +6281,7 @@ export {
   globToRegExp,
   graph_exports as graph,
   graphspec_exports as graphspec,
+  harness_exports as harness,
   interval,
   isBatching,
   isKnownMessageType,