@descryy/mcp 0.1.2 → 0.3.0

package/dist/render.js

@@ -36,7 +36,7 @@
  *    the first call → throw (§7) — enforced in `action-handshake.ts` and
  *    `server.ts`, not here: this module never sees a mint, only a redeemed run.
  */
-import { reliabilityCap, reliabilityNote, reportCategory as deriveReportCategory, } from "@descryy/ir";
+import { reliabilityCap, reliabilityDisclosure, reportCategory as deriveReportCategory, } from "@descryy/ir";
 /**
  * MK-5 — which of the sixteen tools states a conclusion about the user's code
  * versus which reports a fact about the graph.
@@ -65,6 +65,23 @@ const PROVENANCE = {
     presentedBy: "host-agent",
     governancePipeline: false,
 };
+/**
+ * The ceiling on one rendered tool result, serialized — `content` frame and
+ * `structuredContent` envelope together, which is what a host actually
+ * receives and counts.
+ *
+ * A starting value, not a measurement, in this repo's usual sense: the one
+ * hard number behind it is a real failure, `get_git_diff` on an ordinary
+ * 48-file branch diff returning 84,516 characters and being rejected outright
+ * by the host before the caller saw any of it. 60,000 sits well under the
+ * smallest size observed to fail, with room for the narrated frame that
+ * repeats the disclosures alongside the envelope.
+ *
+ * Shared rather than per-tool on purpose: `get_git_diff` is the tool that hit
+ * this, twice, but nothing about the failure was specific to diffs. Any tool
+ * adopts the ceiling by implementing `ToolAnswer.fitToBudget`.
+ */
+export const MAX_REPLY_BYTES = 60_000;
 export class DisclosureError extends Error {
     constructor(message) {
         super(message);
@@ -75,7 +92,7 @@ export class DisclosureError extends Error {
  * MK-8's derivation, shared by every envelope-producing function below so the
  * rule lives in one place rather than four.
  */
-function deriveEnvelopeCategory(tier, state, resolutionFloor, nameLevel) {
+function deriveEnvelopeCategory(tier, state, resolutionFloor, nameLevel, witnessed) {
     if (tier === "conclusion")
         return null;
     if (state === "failed" || state === "timed_out")
@@ -83,9 +100,19 @@ function deriveEnvelopeCategory(tier, state, resolutionFloor, nameLevel) {
     if (state === "refused")
         return "not analysable";
     return deriveReportCategory({
-        hasRuntimeEvidence: false,
+        // G3's precondition, answered by the tool rather than assumed: a tool that
+        // ran nothing declares nothing here and short-circuits to `unconfirmed`,
+        // exactly as before. A tool that watched a real application declares what
+        // it watched.
+        hasRuntimeEvidence: witnessed !== undefined,
+        // Pinned false, and deliberately not something a tool may declare. `M` is
+        // G4's one route to `confirmed`, and DEC-334 reserves that category for a
+        // result that passed the full governance pipeline — which does not run in
+        // this surface. Accepting `M` here would let a tool mint the one label the
+        // ruling holds back, so the field is not offered rather than offered and
+        // then clamped: a clamp is a silent downgrade, and rule 7 forbids those.
         directMechanismEvidence: false,
-        independentSignalTypes: 0,
+        independentSignalTypes: witnessed?.independentSignalTypes ?? 0,
         // `renderAnswer`'s own `state`/`disclosures` invariants guarantee a real
         // graph was consulted whenever state is ok/empty, so this is never the
         // null-graph sentinel — cast is safe, not asserted blind.
@@ -120,14 +147,29 @@ export function renderAnswer(tool, answer, options) {
     }
     const resolutionFloor = result.stamp.resolutionFloor;
     const cap = reliabilityCap(resolutionFloor, nameLevel);
-    const disclosures = [...result.notes, reliabilityNote(resolutionFloor, nameLevel)];
-    const envelope = {
+    // Full the first time this connection meets this category, a short reference
+    // to it after — see `disclosure-ledger.ts`. The floor and the class are on
+    // every reply either way; only the argument for them collapses.
+    const reliability = reliabilityDisclosure(resolutionFloor, nameLevel);
+    const disclosures = [
+        ...result.notes,
+        options.disclosureLedger?.firstSighting(reliability.key) === false
+            ? reliability.brief
+            : reliability.full,
+        ...(result.stamp.commitSpread > 1
+            ? [
+                `the stored graph spans ${result.stamp.commitSpread} distinct commits; part of it may ` +
+                    "describe code that is no longer current",
+            ]
+            : []),
+    ];
+    const build = (data, extraNotes, fitTruncation) => ({
         tool,
         toolVersion: options.toolVersion,
         state,
         class: options.toolClass,
         headline: answer.headline,
-        data: result.data,
+        data,
         graph: {
             commitSha: result.stamp.commitSha,
             builtAt: result.stamp.graphBuiltAt === null
@@ -137,19 +179,58 @@ export function renderAnswer(tool, answer, options) {
             resolutionFloor,
             reliabilityCap: cap,
         },
-        truncated: !result.truncated
-            ? null
-            : (answer.truncatedDetail ?? { shown: -1, total: -1, more: null }),
+        truncated: fitTruncation ??
+            (!result.truncated
+                ? null
+                : (answer.truncatedDetail ?? { shown: -1, total: -1, more: null })),
         refusals: answer.refusalSummary ?? null,
         budget: { elapsedMs: options.elapsedMs, limitMs: options.limitMs },
-        disclosures,
-        reportCategory: deriveEnvelopeCategory(options.toolTier, state, resolutionFloor, nameLevel),
+        // The fit's own notes go first among the disclosures it added, ahead of
+        // the standing reliability sentence, for the same reason `narrate` puts
+        // disclosures last: what is specific to this call must not be buried
+        // under what is true of every call.
+        disclosures: extraNotes.length === 0 ? disclosures : [...result.notes, ...extraNotes, ...disclosures.slice(result.notes.length)],
+        reportCategory: deriveEnvelopeCategory(options.toolTier, state, resolutionFloor, nameLevel, answer.runtimeEvidence),
         provenance: PROVENANCE,
-    };
-    return {
+    });
+    const frame = (envelope) => ({
         content: [{ type: "text", text: narrate(envelope) }],
         structuredContent: envelope,
-    };
+    });
+    const rendered = frame(build(result.data, [], null));
+    const ceiling = options.maxReplyBytes ?? MAX_REPLY_BYTES;
+    if (answer.fitToBudget === undefined || sizeOf(rendered) <= ceiling)
+        return rendered;
+    // The tool is asked for a payload that fits in what is left once everything
+    // else is paid for. Its own disclosures cost bytes too, so the first budget
+    // can be slightly optimistic — the loop re-measures and asks again with the
+    // corrected figure rather than assuming one pass converges. Two passes is
+    // the observed cost; the third exists so a pathological oscillation ends.
+    let fitted = rendered;
+    for (let attempt = 0; attempt < 3; attempt += 1) {
+        const payloadBytes = Buffer.byteLength(JSON.stringify(dataOf(fitted)) ?? "null", "utf8");
+        const budget = ceiling - (sizeOf(fitted) - payloadBytes);
+        const fit = answer.fitToBudget(Math.max(budget, 0));
+        if (fit.truncatedDetail !== undefined && fit.notes.length === 0) {
+            throw new DisclosureError(`${tool} dropped items to fit the reply's size budget without saying so. A reply shrunk in ` +
+                "silence reads as a complete one — the same failure invariant 1 covers for a query's own " +
+                "truncation, arriving by a different route.");
+        }
+        fitted = frame(build(fit.data, fit.notes, fit.truncatedDetail ?? null));
+        if (sizeOf(fitted) <= ceiling)
+            break;
+    }
+    // Returned even if the last pass is still over: a tool that cannot shrink
+    // below the ceiling has an oversized answer either way, and an oversized
+    // answer beats a fabricated small one.
+    return fitted;
+}
+function sizeOf(rendered) {
+    return Buffer.byteLength(JSON.stringify(rendered), "utf8");
+}
+/** The `data` inside a rendered frame, for measuring its share of the total. */
+function dataOf(rendered) {
+    return rendered.structuredContent.data;
 }
 /**
  * The text an agent actually reads.

package/dist/render.js.map

@@ -1 +1 @@
-{"version":3,"file":"render.js","sourceRoot":"","sources":["../src/render.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AAEH,OAAO,EACL,cAAc,EACd,eAAe,EACf,cAAc,IAAI,oBAAoB,GAGvC,MAAM,aAAa,CAAC;AAMrB;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,YAAY,EAAE,UAAU,CAAU,CAAC;AAkB9D,MAAM,UAAU,GAAe;IAC7B,OAAO,EAAE,KAAK;IACd,aAAa,EAAE,QAAQ;IACvB,WAAW,EAAE,YAAY;IACzB,kBAAkB,EAAE,KAAK;CAC1B,CAAC;AAsHF,MAAM,OAAO,eAAgB,SAAQ,KAAK;IACxC,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,iBAAiB,CAAC;IAChC,CAAC;CACF;AAWD;;;GAGG;AACH,SAAS,sBAAsB,CAAC,IAAc,EAAE,KAAkB,EAAE,eAA8B,EAAE,SAAkB;IACpH,IAAI,IAAI,KAAK,YAAY;QAAE,OAAO,IAAI,CAAC;IACvC,IAAI,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IAC7D,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,gBAAgB,CAAC;IACjD,OAAO,oBAAoB,CAAC;QAC1B,kBAAkB,EAAE,KAAK;QACzB,uBAAuB,EAAE,KAAK;QAC9B,sBAAsB,EAAE,CAAC;QACzB,yEAAyE;QACzE,uEAAuE;QACvE,0DAA0D;QAC1D,UAAU,EAAE,CAAC,eAAe,IAAI,CAAC,CAAoB;QACrD,SAAS;QACT,aAAa,EAAE,KAAK;KACrB,CAAC,CAAC,QAAQ,CAAC;AACd,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,YAAY,CAC1B,IAAY,EACZ,MAAqB,EACrB,OAAsB;IAEtB,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,MAAM,CAAC;IACrC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,IAAI,IAAI,CAAC;IAEnC,IAAI,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,eAAe,CACvB,GAAG,IAAI,kFAAkF;YACvF,mFAAmF;YACnF,yCAAyC,CAC5C,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,WAAW,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtG,MAAM,IAAI,eAAe,CACvB,GAAG,IAAI,cAAc,KAAK,oEAAoE;YAC5F,8FAA8F;YAC9F,+BAA+B,CAClC,CAAC;IACJ,CAAC;IAED,MAAM,eAAe,GAAG,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC;IACrD,MAAM,GAAG,GAAG,cAAc,CAAC,eAAe,EAAE,SAAS,CAAC,CAAC;IACvD,MAAM,WAAW,GAAG,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,eAAe,CAAC,eAAe,EAAE,SAAS,CAAC,CAAC,CAAC;IAEnF,MAAM,QAAQ,GAAsB;QAClC,IAAI;QACJ,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,KAAK;QACL,KAAK,EAAE,OAAO,CAAC,SAAS;QACxB,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,KAAK,EAAE;YACL,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,SAAS;YACjC,OAAO,EACL,MAAM,CAAC,KAAK,CAAC,YAAY,KAAK,IAAI;gBAChC,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,WAAW,EAAE;YACvD,eAAe,EAAE,MAAM,CAAC,KAAK,CAAC,eAAe;YAC7C,eAAe;YACf,cAAc,EAAE,GAAG;SACpB;QACD,SAAS,EAAE,CAAC,MAAM,CAAC,SAAS;YAC1B,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,CAAC,MAAM,CAAC,eAAe,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QACpE,QAAQ,EAAE,MAAM,CAAC,cAAc,IAAI,IAAI;QACvC,MAAM,EAAE,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE;QAClE,WAAW;QACX,cAAc,EAAE,sBAAsB,CAAC,OAAO,CAAC,QAAQ,EAAE,KAAK,EAAE,eAAe,EAAE,SAAS,CAAC;QAC3F,UAAU,EAAE,UAAU;KACvB,CAAC;IAEF,OAAO;QACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QACpD,iBAAiB,EAAE,QAA8C;KAClE,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,SAAS,OAAO,CAAC,QAAwB;IACvC,MAAM,KAAK,GAAa,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;IAE5C,IAAI,QAAQ,CAAC,KAAK,KAAK,IAAI,IAAI,QAAQ,CAAC,KAAK,KAAK,OAAO,EAAE,CAAC;QAC1D,KAAK,CAAC,IAAI,CACR,EAAE,EACF,KAAK,QAAQ,CAAC,KAAK,MAAM;YACvB,CAAC,QAAQ,CAAC,KAAK,KAAK,SAAS;gBAC3B,CAAC,CAAC,iEAAiE;gBACnE,CAAC,CAAC,QAAQ,CAAC,KAAK,KAAK,QAAQ;oBAC3B,CAAC,CAAC,wDAAwD;oBAC1D,CAAC,CAAC,2DAA2D,CAAC,CACrE,CAAC;IACJ,CAAC;SAAM,IAAI,QAAQ,CAAC,KAAK,KAAK,OAAO,EAAE,CAAC;QACtC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,gFAAgF,CAAC,CAAC;IACnG,CAAC;IAED,MAAM,KAAK,GACT,QAAQ,CAAC,KAAK,CAAC,SAAS,KAAK,IAAI;QAC/B,CAAC,CAAC,6DAA6D;QAC/D,CAAC,CAAC,YAAY,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;YACnD,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,QAAQ,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;YAC5E,uBAAuB,QAAQ,CAAC,KAAK,CAAC,eAAe,IAAI,KAAK,yBAAyB;YACvF,qBAAqB,QAAQ,CAAC,KAAK,CAAC,cAAc,GAAG,CAAC;IAC5D,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAEtB,IAAI,QAAQ,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,kCAAkC,CAAC,CAAC;QACnD,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,WAAW;YAAE,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;IACnE,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,eAAe,CAAC,IAAY,EAAE,OAAe;IAC3D,OAAO;QACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,IAAI,KAAK,OAAO,EAAE,EAAE,CAAC;QACxD,iBAAiB,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE;QACrD,OAAO,EAAE,IAAI;KACd,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,YAAY,CAC1B,IAAY,EACZ,OAAe,EACf,OAAsB;IAEtB,MAAM,QAAQ,GAAyB;QACrC,IAAI;QACJ,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,KAAK,EAAE,QAAQ;QACf,KAAK,EAAE,OAAO,CAAC,SAAS;QACxB,QAAQ,EAAE,GAAG,IAAI,UAAU;QAC3B,IAAI,EAAE,IAAI;QACV,KAAK,EAAE;YACL,SAAS,EAAE,IAAI;YACf,OAAO,EAAE,IAAI;YACb,eAAe,EAAE,CAAC;YAClB,eAAe,EAAE,IAAI;YACrB,cAAc,EAAE,GAAG;SACpB;QACD,SAAS,EAAE,IAAI;QACf,QAAQ,EAAE,IAAI;QACd,MAAM,EAAE,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE;QAClE,WAAW,EAAE,CAAC,OAAO,CAAC;QACtB,gFAAgF;QAChF,cAAc,EAAE,IAAI;QACpB,UAAU,EAAE,UAAU;KACvB,CAAC;IACF,OAAO;QACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QACpD,iBAAiB,EAAE,QAA8C;QACjE,OAAO,EAAE,IAAI;KACd,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,eAAe,CAC7B,IAAY,EACZ,KAAa,EACb,MAAc,EACd,OAAsB;IAEtB,MAAM,QAAQ,GAAgG;QAC5G,IAAI;QACJ,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,KAAK,EAAE,IAAI;QACX,KAAK,EAAE,OAAO,CAAC,SAAS;QACxB,QAAQ,EAAE,0BAA0B,MAAM,EAAE;QAC5C,IAAI,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE;QACtC,KAAK,EAAE;YACL,SAAS,EAAE,IAAI;YACf,OAAO,EAAE,IAAI;YACb,eAAe,EAAE,CAAC;YAClB,eAAe,EAAE,IAAI;YACrB,cAAc,EAAE,GAAG;SACpB;QACD,SAAS,EAAE,IAAI;QACf,QAAQ,EAAE,IAAI;QACd,MAAM,EAAE,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE;QAClE,WAAW,EAAE;YACX,+BAA+B,IAAI,kCAAkC,KAAK,4BAA4B;gBACpG,sDAAsD;SACzD;QACD,iFAAiF;QACjF,cAAc,EAAE,IAAI;QACpB,UAAU,EAAE,UAAU;KACvB,CAAC;IACF,OAAO;QACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QACpD,iBAAiB,EAAE,QAA8C;KAClE,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,cAAc,CAAC,IAAY,EAAE,OAAsB;IACjE,MAAM,QAAQ,GAAyB;QACrC,IAAI;QACJ,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,OAAO,CAAC,SAAS;QACxB,QAAQ,EAAE,GAAG,IAAI,aAAa;QAC9B,IAAI,EAAE,IAAI;QACV,KAAK,EAAE;YACL,SAAS,EAAE,IAAI;YACf,OAAO,EAAE,IAAI;YACb,eAAe,EAAE,CAAC;YAClB,eAAe,EAAE,IAAI;YACrB,cAAc,EAAE,GAAG;SACpB;QACD,SAAS,EAAE,IAAI;QACf,QAAQ,EAAE,IAAI;QACd,MAAM,EAAE,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE;QAClE,WAAW,EAAE;YACX,GAAG,IAAI,8BAA8B,OAAO,CAAC,OAAO,2CAA2C;gBAC7F,oEAAoE;SACvE;QACD,8DAA8D;QAC9D,cAAc,EAAE,IAAI;QACpB,UAAU,EAAE,UAAU;KACvB,CAAC;IACF,OAAO;QACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QACpD,iBAAiB,EAAE,QAA8C;QACjE,OAAO,EAAE,IAAI;KACd,CAAC;AACJ,CAAC"}
+{"version":3,"file":"render.js","sourceRoot":"","sources":["../src/render.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AAEH,OAAO,EACL,cAAc,EACd,qBAAqB,EACrB,cAAc,IAAI,oBAAoB,GAGvC,MAAM,aAAa,CAAC;AAQrB;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,YAAY,EAAE,UAAU,CAAU,CAAC;AAkB9D,MAAM,UAAU,GAAe;IAC7B,OAAO,EAAE,KAAK;IACd,aAAa,EAAE,QAAQ;IACvB,WAAW,EAAE,YAAY;IACzB,kBAAkB,EAAE,KAAK;CAC1B,CAAC;AA8FF;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC;AA0GtC,MAAM,OAAO,eAAgB,SAAQ,KAAK;IACxC,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,iBAAiB,CAAC;IAChC,CAAC;CACF;AA0BD;;;GAGG;AACH,SAAS,sBAAsB,CAC7B,IAAc,EACd,KAAkB,EAClB,eAA8B,EAC9B,SAAkB,EAClB,SAAwC;IAExC,IAAI,IAAI,KAAK,YAAY;QAAE,OAAO,IAAI,CAAC;IACvC,IAAI,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IAC7D,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,gBAAgB,CAAC;IACjD,OAAO,oBAAoB,CAAC;QAC1B,2EAA2E;QAC3E,yEAAyE;QACzE,0EAA0E;QAC1E,cAAc;QACd,kBAAkB,EAAE,SAAS,KAAK,SAAS;QAC3C,0EAA0E;QAC1E,0EAA0E;QAC1E,0EAA0E;QAC1E,2EAA2E;QAC3E,yEAAyE;QACzE,yEAAyE;QACzE,uBAAuB,EAAE,KAAK;QAC9B,sBAAsB,EAAE,SAAS,EAAE,sBAAsB,IAAI,CAAC;QAC9D,yEAAyE;QACzE,uEAAuE;QACvE,0DAA0D;QAC1D,UAAU,EAAE,CAAC,eAAe,IAAI,CAAC,CAAoB;QACrD,SAAS;QACT,aAAa,EAAE,KAAK;KACrB,CAAC,CAAC,QAAQ,CAAC;AACd,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,YAAY,CAC1B,IAAY,EACZ,MAAqB,EACrB,OAAsB;IAEtB,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,MAAM,CAAC;IACrC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,IAAI,IAAI,CAAC;IAEnC,IAAI,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,eAAe,CACvB,GAAG,IAAI,kFAAkF;YACvF,mFAAmF;YACnF,yCAAyC,CAC5C,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,WAAW,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtG,MAAM,IAAI,eAAe,CACvB,GAAG,IAAI,cAAc,KAAK,oEAAoE;YAC5F,8FAA8F;YAC9F,+BAA+B,CAClC,CAAC;IACJ,CAAC;IAED,MAAM,eAAe,GAAG,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC;IACrD,MAAM,GAAG,GAAG,cAAc,CAAC,eAAe,EAAE,SAAS,CAAC,CAAC;IACvD,6EAA6E;IAC7E,2EAA2E;IAC3E,gEAAgE;IAChE,MAAM,WAAW,GAAG,qBAAqB,CAAC,eAAe,EAAE,SAAS,CAAC,CAAC;IACtE,MAAM,WAAW,GAAG;QAClB,GAAG,MAAM,CAAC,KAAK;QACf,OAAO,CAAC,gBAAgB,EAAE,aAAa,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,KAAK;YAChE,CAAC,CAAC,WAAW,CAAC,KAAK;YACnB,CAAC,CAAC,WAAW,CAAC,IAAI;QACpB,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,GAAG,CAAC;YAC/B,CAAC,CAAC;gBACE,0BAA0B,MAAM,CAAC,KAAK,CAAC,YAAY,oCAAoC;oBACrF,yCAAyC;aAC5C;YACH,CAAC,CAAC,EAAE,CAAC;KACR,CAAC;IAEF,MAAM,KAAK,GAAG,CACZ,IAAc,EACd,UAA6B,EAC7B,aAAsC,EACnB,EAAE,CAAC,CAAC;QACvB,IAAI;QACJ,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,KAAK;QACL,KAAK,EAAE,OAAO,CAAC,SAAS;QACxB,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,IAAI;QACJ,KAAK,EAAE;YACL,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,SAAS;YACjC,OAAO,EACL,MAAM,CAAC,KAAK,CAAC,YAAY,KAAK,IAAI;gBAChC,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,WAAW,EAAE;YACvD,eAAe,EAAE,MAAM,CAAC,KAAK,CAAC,eAAe;YAC7C,eAAe;YACf,cAAc,EAAE,GAAG;SACpB;QACD,SAAS,EACP,aAAa;YACb,CAAC,CAAC,MAAM,CAAC,SAAS;gBAChB,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC,CAAC,MAAM,CAAC,eAAe,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QACvE,QAAQ,EAAE,MAAM,CAAC,cAAc,IAAI,IAAI;QACvC,MAAM,EAAE,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE;QAClE,wEAAwE;QACxE,wEAAwE;QACxE,qEAAqE;QACrE,oCAAoC;QACpC,WAAW,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,GAAG,UAAU,EAAE,GAAG,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAChI,cAAc,EAAE,sBAAsB,CAAC,OAAO,CAAC,QAAQ,EAAE,KAAK,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,CAAC,eAAe,CAAC;QACnH,UAAU,EAAE,UAAU;KACvB,CAAC,CAAC;IAEH,MAAM,KAAK,GAAG,CAAC,QAA2B,EAAkB,EAAE,CAAC,CAAC;QAC9D,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QACpD,iBAAiB,EAAE,QAA8C;KAClE,CAAC,CAAC;IAEH,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC;IACrD,MAAM,OAAO,GAAG,OAAO,CAAC,aAAa,IAAI,eAAe,CAAC;IACzD,IAAI,MAAM,CAAC,WAAW,KAAK,SAAS,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,OAAO;QAAE,OAAO,QAAQ,CAAC;IAErF,4EAA4E;IAC5E,4EAA4E;IAC5E,4EAA4E;IAC5E,0EAA0E;IAC1E,0EAA0E;IAC1E,IAAI,MAAM,GAAG,QAAQ,CAAC;IACtB,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,GAAG,CAAC,EAAE,OAAO,IAAI,CAAC,EAAE,CAAC;QAChD,MAAM,YAAY,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,MAAM,EAAE,MAAM,CAAC,CAAC;QACzF,MAAM,MAAM,GAAG,OAAO,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC;QACzD,MAAM,GAAG,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;QACpD,IAAI,GAAG,CAAC,eAAe,KAAK,SAAS,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAChE,MAAM,IAAI,eAAe,CACvB,GAAG,IAAI,qFAAqF;gBAC1F,0FAA0F;gBAC1F,4CAA4C,CAC/C,CAAC;QACJ,CAAC;QACD,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,eAAe,IAAI,IAAI,CAAC,CAAC,CAAC;QACxE,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,OAAO;YAAE,MAAM;IACvC,CAAC;IACD,0EAA0E;IAC1E,yEAAyE;IACzE,uCAAuC;IACvC,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,MAAM,CAAC,QAAwB;IACtC,OAAO,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,CAAC;AAC7D,CAAC;AAED,gFAAgF;AAChF,SAAS,MAAM,CAAC,QAAwB;IACtC,OAAQ,QAAQ,CAAC,iBAA+C,CAAC,IAAI,CAAC;AACxE,CAAC;AAED;;;;;;GAMG;AACH,SAAS,OAAO,CAAC,QAAwB;IACvC,MAAM,KAAK,GAAa,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;IAE5C,IAAI,QAAQ,CAAC,KAAK,KAAK,IAAI,IAAI,QAAQ,CAAC,KAAK,KAAK,OAAO,EAAE,CAAC;QAC1D,KAAK,CAAC,IAAI,CACR,EAAE,EACF,KAAK,QAAQ,CAAC,KAAK,MAAM;YACvB,CAAC,QAAQ,CAAC,KAAK,KAAK,SAAS;gBAC3B,CAAC,CAAC,iEAAiE;gBACnE,CAAC,CAAC,QAAQ,CAAC,KAAK,KAAK,QAAQ;oBAC3B,CAAC,CAAC,wDAAwD;oBAC1D,CAAC,CAAC,2DAA2D,CAAC,CACrE,CAAC;IACJ,CAAC;SAAM,IAAI,QAAQ,CAAC,KAAK,KAAK,OAAO,EAAE,CAAC;QACtC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,gFAAgF,CAAC,CAAC;IACnG,CAAC;IAED,MAAM,KAAK,GACT,QAAQ,CAAC,KAAK,CAAC,SAAS,KAAK,IAAI;QAC/B,CAAC,CAAC,6DAA6D;QAC/D,CAAC,CAAC,YAAY,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;YACnD,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,QAAQ,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;YAC5E,uBAAuB,QAAQ,CAAC,KAAK,CAAC,eAAe,IAAI,KAAK,yBAAyB;YACvF,qBAAqB,QAAQ,CAAC,KAAK,CAAC,cAAc,GAAG,CAAC;IAC5D,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAEtB,IAAI,QAAQ,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,kCAAkC,CAAC,CAAC;QACnD,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,WAAW;YAAE,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;IACnE,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,eAAe,CAAC,IAAY,EAAE,OAAe;IAC3D,OAAO;QACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,IAAI,KAAK,OAAO,EAAE,EAAE,CAAC;QACxD,iBAAiB,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE;QACrD,OAAO,EAAE,IAAI;KACd,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,YAAY,CAC1B,IAAY,EACZ,OAAe,EACf,OAAsB;IAEtB,MAAM,QAAQ,GAAyB;QACrC,IAAI;QACJ,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,KAAK,EAAE,QAAQ;QACf,KAAK,EAAE,OAAO,CAAC,SAAS;QACxB,QAAQ,EAAE,GAAG,IAAI,UAAU;QAC3B,IAAI,EAAE,IAAI;QACV,KAAK,EAAE;YACL,SAAS,EAAE,IAAI;YACf,OAAO,EAAE,IAAI;YACb,eAAe,EAAE,CAAC;YAClB,eAAe,EAAE,IAAI;YACrB,cAAc,EAAE,GAAG;SACpB;QACD,SAAS,EAAE,IAAI;QACf,QAAQ,EAAE,IAAI;QACd,MAAM,EAAE,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE;QAClE,WAAW,EAAE,CAAC,OAAO,CAAC;QACtB,gFAAgF;QAChF,cAAc,EAAE,IAAI;QACpB,UAAU,EAAE,UAAU;KACvB,CAAC;IACF,OAAO;QACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QACpD,iBAAiB,EAAE,QAA8C;QACjE,OAAO,EAAE,IAAI;KACd,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,eAAe,CAC7B,IAAY,EACZ,KAAa,EACb,MAAc,EACd,OAAsB;IAEtB,MAAM,QAAQ,GAAgG;QAC5G,IAAI;QACJ,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,KAAK,EAAE,IAAI;QACX,KAAK,EAAE,OAAO,CAAC,SAAS;QACxB,QAAQ,EAAE,0BAA0B,MAAM,EAAE;QAC5C,IAAI,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE;QACtC,KAAK,EAAE;YACL,SAAS,EAAE,IAAI;YACf,OAAO,EAAE,IAAI;YACb,eAAe,EAAE,CAAC;YAClB,eAAe,EAAE,IAAI;YACrB,cAAc,EAAE,GAAG;SACpB;QACD,SAAS,EAAE,IAAI;QACf,QAAQ,EAAE,IAAI;QACd,MAAM,EAAE,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE;QAClE,WAAW,EAAE;YACX,+BAA+B,IAAI,kCAAkC,KAAK,4BAA4B;gBACpG,sDAAsD;SACzD;QACD,iFAAiF;QACjF,cAAc,EAAE,IAAI;QACpB,UAAU,EAAE,UAAU;KACvB,CAAC;IACF,OAAO;QACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QACpD,iBAAiB,EAAE,QAA8C;KAClE,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,cAAc,CAAC,IAAY,EAAE,OAAsB;IACjE,MAAM,QAAQ,GAAyB;QACrC,IAAI;QACJ,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,OAAO,CAAC,SAAS;QACxB,QAAQ,EAAE,GAAG,IAAI,aAAa;QAC9B,IAAI,EAAE,IAAI;QACV,KAAK,EAAE;YACL,SAAS,EAAE,IAAI;YACf,OAAO,EAAE,IAAI;YACb,eAAe,EAAE,CAAC;YAClB,eAAe,EAAE,IAAI;YACrB,cAAc,EAAE,GAAG;SACpB;QACD,SAAS,EAAE,IAAI;QACf,QAAQ,EAAE,IAAI;QACd,MAAM,EAAE,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE;QAClE,WAAW,EAAE;YACX,GAAG,IAAI,8BAA8B,OAAO,CAAC,OAAO,2CAA2C;gBAC7F,oEAAoE;SACvE;QACD,8DAA8D;QAC9D,cAAc,EAAE,IAAI;QACpB,UAAU,EAAE,UAAU;KACvB,CAAC;IACF,OAAO;QACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QACpD,iBAAiB,EAAE,QAA8C;QACjE,OAAO,EAAE,IAAI;KACd,CAAC;AACJ,CAAC"}

package/dist/runtime-registry.d.ts

@@ -0,0 +1,63 @@
+/**
+ * How `observe_runtime` reaches a **runtime** adapter without naming a language.
+ *
+ * This is `registry.ts`'s argument applied one layer over: that module exists
+ * because "descry-core must not import descry-adapters — the IR boundary is a
+ * dependency-direction fact", and the identical fact holds for
+ * `descry-runtime`'s per-language adapters. `@descryy/mcp` now depends on the
+ * runtime's *language-neutral* packages (orchestrator, evidence store,
+ * correlation, graph correlator) and on none of its nine language adapters,
+ * because an `import { createTypeScriptRuntimeAdapter } from
+ * "@descryy/runtime-adapter-typescript"` in a tool file would put the word
+ * "typescript" above the IR boundary in the one process that runs everything
+ * — rule 1, which the repository's own CLAUDE.md calls a design bug rather
+ * than a style preference.
+ *
+ * `uat-phase-1-bug-fixes.md`'s Phase 1 listed `runtime-adapter-typescript`
+ * among the packages to add as a real dependency. It is deliberately **not**
+ * one, and that is the only narrowing this integration makes to that list: the
+ * adapter is named in the call as a module specifier and imported at run time,
+ * exactly as every static source already is. The engine knows `RuntimeAdapter`;
+ * it never knows the word "typescript". Nothing about the plan's direction
+ * changes — one language ships first either way, it just ships as a
+ * configured specifier rather than as a compiled-in import.
+ *
+ * ## The factory convention
+ *
+ * `descry-runtime`'s nine language adapters each export a factory named
+ * `create<Something>RuntimeAdapter` — `createTypeScriptRuntimeAdapter`,
+ * `createPythonRuntimeAdapter`, `createJavaRuntimeAdapter`. Same shape as
+ * `registry.ts`'s `create*Adapter` convention and resolved the same way: an
+ * explicit `export` in the call wins; failing that, the single export matching
+ * the pattern is used; **two matches is an error, not a coin toss.**
+ *
+ * ## Failing to load is a disclosure, never a shrug
+ *
+ * A runtime adapter that will not import is the difference between "we
+ * observed your service and saw nothing" and "we could not observe your
+ * service at all" — §20.2's distinction, and the one `observe_runtime` turns
+ * into a `refused` state rather than an `ok` with an empty evidence list.
+ * Every failure leaves here as a thrown `RuntimeAdapterLoadError` carrying the
+ * specifier and the reason, so the caller cannot take an adapter without also
+ * having to handle not getting one.
+ */
+import type { RuntimeAdapter } from "@descryy/runtime-backend-observation";
+/** A runtime adapter named the way `SourceSpec` names a static one. */
+export interface RuntimeAdapterSpec {
+    readonly module: string;
+    /** Named export to call. Defaults to the `create*RuntimeAdapter` convention. */
+    readonly export?: string;
+    /** Passed to the factory. Adapter-specific and opaque here. */
+    readonly options?: Record<string, unknown>;
+}
+/**
+ * Distinct from a generic `Error` so the tool can tell "the adapter would not
+ * load" (a refusal it must disclose) apart from "the run itself broke" (a
+ * failure). Both are honest; they are not the same statement.
+ */
+export declare class RuntimeAdapterLoadError extends Error {
+    readonly spec: RuntimeAdapterSpec;
+    constructor(spec: RuntimeAdapterSpec, reason: string);
+}
+export declare function loadRuntimeAdapter(spec: RuntimeAdapterSpec): Promise<RuntimeAdapter>;
+//# sourceMappingURL=runtime-registry.d.ts.map

package/dist/runtime-registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-registry.d.ts","sourceRoot":"","sources":["../src/runtime-registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sCAAsC,CAAC;AAE3E,uEAAuE;AACvE,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,gFAAgF;IAChF,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,+DAA+D;IAC/D,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC5C;AAED;;;;GAIG;AACH,qBAAa,uBAAwB,SAAQ,KAAK;IAChD,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;gBAEtB,IAAI,EAAE,kBAAkB,EAAE,MAAM,EAAE,MAAM;CAKrD;AAmCD,wBAAsB,kBAAkB,CAAC,IAAI,EAAE,kBAAkB,GAAG,OAAO,CAAC,cAAc,CAAC,CAmD1F"}

package/dist/runtime-registry.js

@@ -0,0 +1,131 @@
+/**
+ * How `observe_runtime` reaches a **runtime** adapter without naming a language.
+ *
+ * This is `registry.ts`'s argument applied one layer over: that module exists
+ * because "descry-core must not import descry-adapters — the IR boundary is a
+ * dependency-direction fact", and the identical fact holds for
+ * `descry-runtime`'s per-language adapters. `@descryy/mcp` now depends on the
+ * runtime's *language-neutral* packages (orchestrator, evidence store,
+ * correlation, graph correlator) and on none of its nine language adapters,
+ * because an `import { createTypeScriptRuntimeAdapter } from
+ * "@descryy/runtime-adapter-typescript"` in a tool file would put the word
+ * "typescript" above the IR boundary in the one process that runs everything
+ * — rule 1, which the repository's own CLAUDE.md calls a design bug rather
+ * than a style preference.
+ *
+ * `uat-phase-1-bug-fixes.md`'s Phase 1 listed `runtime-adapter-typescript`
+ * among the packages to add as a real dependency. It is deliberately **not**
+ * one, and that is the only narrowing this integration makes to that list: the
+ * adapter is named in the call as a module specifier and imported at run time,
+ * exactly as every static source already is. The engine knows `RuntimeAdapter`;
+ * it never knows the word "typescript". Nothing about the plan's direction
+ * changes — one language ships first either way, it just ships as a
+ * configured specifier rather than as a compiled-in import.
+ *
+ * ## The factory convention
+ *
+ * `descry-runtime`'s nine language adapters each export a factory named
+ * `create<Something>RuntimeAdapter` — `createTypeScriptRuntimeAdapter`,
+ * `createPythonRuntimeAdapter`, `createJavaRuntimeAdapter`. Same shape as
+ * `registry.ts`'s `create*Adapter` convention and resolved the same way: an
+ * explicit `export` in the call wins; failing that, the single export matching
+ * the pattern is used; **two matches is an error, not a coin toss.**
+ *
+ * ## Failing to load is a disclosure, never a shrug
+ *
+ * A runtime adapter that will not import is the difference between "we
+ * observed your service and saw nothing" and "we could not observe your
+ * service at all" — §20.2's distinction, and the one `observe_runtime` turns
+ * into a `refused` state rather than an `ok` with an empty evidence list.
+ * Every failure leaves here as a thrown `RuntimeAdapterLoadError` carrying the
+ * specifier and the reason, so the caller cannot take an adapter without also
+ * having to handle not getting one.
+ */
+var __rewriteRelativeImportExtension = (this && this.__rewriteRelativeImportExtension) || function (path, preserveJsx) {
+    if (typeof path === "string" && /^\.\.?\//.test(path)) {
+        return path.replace(/\.(tsx)$|((?:\.d)?)((?:\.[^./]+?)?)\.([cm]?)ts$/i, function (m, tsx, d, ext, cm) {
+            return tsx ? preserveJsx ? ".jsx" : ".js" : d && (!ext || !cm) ? m : (d + ext + "." + cm.toLowerCase() + "js");
+        });
+    }
+    return path;
+};
+/**
+ * Distinct from a generic `Error` so the tool can tell "the adapter would not
+ * load" (a refusal it must disclose) apart from "the run itself broke" (a
+ * failure). Both are honest; they are not the same statement.
+ */
+export class RuntimeAdapterLoadError extends Error {
+    spec;
+    constructor(spec, reason) {
+        super(`runtime adapter "${spec.module}" could not be loaded — ${reason}`);
+        this.name = "RuntimeAdapterLoadError";
+        this.spec = spec;
+    }
+}
+const FACTORY_PATTERN = /^create[A-Za-z0-9]*RuntimeAdapter$/;
+function describe(error) {
+    if (error instanceof Error) {
+        const code = error.code;
+        return code === undefined ? error.message : `${code}: ${error.message}`;
+    }
+    return String(error);
+}
+/**
+ * Duck-typed on the four members `runInstrumentedExecution` actually reaches
+ * for, rather than on a marker or `instanceof`.
+ *
+ * The adapters are compiled separately and published as their own packages, so
+ * an `instanceof` across that boundary is a well-known way to be wrong —
+ * `registry.ts`'s `asAdapter` says the same thing about `LanguageAdapter`, for
+ * the same reason. A module that exports a matching factory returning
+ * something without these is a broken adapter, and saying so here beats a
+ * `TypeError` thrown from inside a collector three layers down.
+ */
+function isRuntimeAdapter(value) {
+    const candidate = value;
+    return (typeof candidate === "object" &&
+        candidate !== null &&
+        typeof candidate.language === "string" &&
+        typeof candidate.createBackendCollectors === "function" &&
+        typeof candidate.stackTraceParser === "object" &&
+        typeof candidate.sourceLocationResolver === "object");
+}
+export async function loadRuntimeAdapter(spec) {
+    let module;
+    try {
+        module = (await import(__rewriteRelativeImportExtension(spec.module)));
+    }
+    catch (error) {
+        throw new RuntimeAdapterLoadError(spec, describe(error));
+    }
+    let factoryName = spec.export;
+    if (factoryName === undefined) {
+        const candidates = Object.keys(module).filter((key) => FACTORY_PATTERN.test(key) && typeof module[key] === "function");
+        if (candidates.length === 0) {
+            throw new RuntimeAdapterLoadError(spec, "no export matching create*RuntimeAdapter. Name one explicitly with " +
+                `{ "module": "${spec.module}", "export": "..." }.`);
+        }
+        if (candidates.length > 1) {
+            throw new RuntimeAdapterLoadError(spec, `${candidates.length} exports match create*RuntimeAdapter (${candidates.sort().join(", ")}). ` +
+                "Name the one to use explicitly rather than letting the choice depend on export order.");
+        }
+        factoryName = candidates[0];
+    }
+    const factory = module[factoryName];
+    if (typeof factory !== "function") {
+        throw new RuntimeAdapterLoadError(spec, `export "${factoryName}" is not a function`);
+    }
+    let adapter;
+    try {
+        adapter = factory(spec.options);
+    }
+    catch (error) {
+        throw new RuntimeAdapterLoadError(spec, `"${factoryName}" threw — ${describe(error)}`);
+    }
+    if (!isRuntimeAdapter(adapter)) {
+        throw new RuntimeAdapterLoadError(spec, `"${factoryName}" did not return a RuntimeAdapter (needs \`language\`, \`stackTraceParser\`, ` +
+            "`sourceLocationResolver` and `createBackendCollectors`)");
+    }
+    return adapter;
+}
+//# sourceMappingURL=runtime-registry.js.map

package/dist/runtime-registry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-registry.js","sourceRoot":"","sources":["../src/runtime-registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;;;;;;;;;AAaH;;;;GAIG;AACH,MAAM,OAAO,uBAAwB,SAAQ,KAAK;IACvC,IAAI,CAAqB;IAElC,YAAY,IAAwB,EAAE,MAAc;QAClD,KAAK,CAAC,oBAAoB,IAAI,CAAC,MAAM,2BAA2B,MAAM,EAAE,CAAC,CAAC;QAC1E,IAAI,CAAC,IAAI,GAAG,yBAAyB,CAAC;QACtC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACnB,CAAC;CACF;AAED,MAAM,eAAe,GAAG,oCAAoC,CAAC;AAE7D,SAAS,QAAQ,CAAC,KAAc;IAC9B,IAAI,KAAK,YAAY,KAAK,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAI,KAA+B,CAAC,IAAI,CAAC;QACnD,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,IAAI,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC;IAC1E,CAAC;IACD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,gBAAgB,CAAC,KAAc;IACtC,MAAM,SAAS,GAAG,KAAuC,CAAC;IAC1D,OAAO,CACL,OAAO,SAAS,KAAK,QAAQ;QAC7B,SAAS,KAAK,IAAI;QAClB,OAAO,SAAS,CAAC,QAAQ,KAAK,QAAQ;QACtC,OAAO,SAAS,CAAC,uBAAuB,KAAK,UAAU;QACvD,OAAO,SAAS,CAAC,gBAAgB,KAAK,QAAQ;QAC9C,OAAO,SAAS,CAAC,sBAAsB,KAAK,QAAQ,CACrD,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,IAAwB;IAC/D,IAAI,MAA+B,CAAC;IACpC,IAAI,CAAC;QACH,MAAM,GAAG,CAAC,MAAM,MAAM,kCAAC,IAAI,CAAC,MAAM,EAAC,CAA4B,CAAC;IAClE,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,uBAAuB,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;IAC3D,CAAC;IAED,IAAI,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC;IAC9B,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;QAC9B,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,CAC3C,CAAC,GAAG,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,OAAO,MAAM,CAAC,GAAG,CAAC,KAAK,UAAU,CACxE,CAAC;QACF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5B,MAAM,IAAI,uBAAuB,CAC/B,IAAI,EACJ,qEAAqE;gBACnE,gBAAgB,IAAI,CAAC,MAAM,uBAAuB,CACrD,CAAC;QACJ,CAAC;QACD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,MAAM,IAAI,uBAAuB,CAC/B,IAAI,EACJ,GAAG,UAAU,CAAC,MAAM,yCAAyC,UAAU,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK;gBAC5F,uFAAuF,CAC1F,CAAC;QACJ,CAAC;QACD,WAAW,GAAG,UAAU,CAAC,CAAC,CAAE,CAAC;IAC/B,CAAC;IAED,MAAM,OAAO,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;IACpC,IAAI,OAAO,OAAO,KAAK,UAAU,EAAE,CAAC;QAClC,MAAM,IAAI,uBAAuB,CAAC,IAAI,EAAE,WAAW,WAAW,qBAAqB,CAAC,CAAC;IACvF,CAAC;IAED,IAAI,OAAgB,CAAC;IACrB,IAAI,CAAC;QACH,OAAO,GAAI,OAA0C,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACtE,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,uBAAuB,CAAC,IAAI,EAAE,IAAI,WAAW,aAAa,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACzF,CAAC;IAED,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,uBAAuB,CAC/B,IAAI,EACJ,IAAI,WAAW,+EAA+E;YAC5F,yDAAyD,CAC5D,CAAC;IACJ,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/scenarios/index.d.ts

@@ -0,0 +1,4 @@
+export { SCENARIO_SCHEMA_VERSION, isUnverifying, type Scenario, type ScenarioStep, type ScenarioAssertion, type ScenarioAssertionKind, type ScenarioActionKind, type TargetDescriptor, } from "./scenario.ts";
+export { parseScenario, serializeScenario, type ScenarioParseResult } from "./parse.ts";
+export { scenariosDirectory, scenarioPath, listScenarios, readScenario, writeScenario } from "./storage.ts";
+//# sourceMappingURL=index.d.ts.map

package/dist/scenarios/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/scenarios/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,uBAAuB,EACvB,aAAa,EACb,KAAK,QAAQ,EACb,KAAK,YAAY,EACjB,KAAK,iBAAiB,EACtB,KAAK,qBAAqB,EAC1B,KAAK,kBAAkB,EACvB,KAAK,gBAAgB,GACtB,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,KAAK,mBAAmB,EAAE,MAAM,YAAY,CAAC;AACxF,OAAO,EAAE,kBAAkB,EAAE,YAAY,EAAE,aAAa,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC"}

package/dist/scenarios/index.js

@@ -0,0 +1,4 @@
+export { SCENARIO_SCHEMA_VERSION, isUnverifying, } from "./scenario.js";
+export { parseScenario, serializeScenario } from "./parse.js";
+export { scenariosDirectory, scenarioPath, listScenarios, readScenario, writeScenario } from "./storage.js";
+//# sourceMappingURL=index.js.map

package/dist/scenarios/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/scenarios/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,uBAAuB,EACvB,aAAa,GAOd,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAA4B,MAAM,YAAY,CAAC;AACxF,OAAO,EAAE,kBAAkB,EAAE,YAAY,EAAE,aAAa,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC"}

package/dist/scenarios/parse.d.ts

@@ -0,0 +1,32 @@
+/**
+ * Reading a stored scenario — validation, and the refusals that are the point.
+ *
+ * Everything here refuses rather than repairs. A format that quietly coerced a
+ * missing field into a default would let a scenario keep loading after it had
+ * stopped describing the application, which is the exact rot both scenario
+ * rulings exist to prevent — and it would do it at the one moment nobody is
+ * watching, a replay in CI.
+ *
+ * Problems are collected rather than thrown one at a time, so a person fixing a
+ * hand-edited file sees everything wrong with it in one pass instead of
+ * discovering the next fault on the next run.
+ */
+import { type Scenario } from "./scenario.ts";
+export type ScenarioParseResult = {
+    readonly valid: true;
+    readonly scenario: Scenario;
+} | {
+    readonly valid: false;
+    readonly problems: readonly string[];
+};
+/**
+ * Validate an already-JSON-decoded value as a scenario.
+ *
+ * The version check runs first and short-circuits: reporting field problems
+ * against a schema this reader does not understand would be noise about a
+ * shape that was never meant to satisfy it.
+ */
+export declare function parseScenario(raw: unknown): ScenarioParseResult;
+/** Newline-terminated and two-space indented, so a saved scenario reads as a reviewable diff rather than one long line. */
+export declare function serializeScenario(scenario: Scenario): string;
+//# sourceMappingURL=parse.d.ts.map

package/dist/scenarios/parse.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parse.d.ts","sourceRoot":"","sources":["../../src/scenarios/parse.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAEL,KAAK,QAAQ,EAMd,MAAM,eAAe,CAAC;AAEvB,MAAM,MAAM,mBAAmB,GAC3B;IAAE,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;CAAE,GACrD;IAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,CAAC;AA2HpE;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,OAAO,GAAG,mBAAmB,CAoE/D;AAED,2HAA2H;AAC3H,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,QAAQ,GAAG,MAAM,CAE5D"}