@crewhaus/ir-passes 0.2.3 → 0.3.0

package/dist/index.d.ts

@@ -23,6 +23,9 @@
  *  - `wellFormednessCheck` — Track F validating pass: checks typed
  *    multi-agent graphs/crews (edges connect declared nodes, reachability
  *    from entry, schema/role references resolve) and throws on a violation.
+ *  - `memoryIntegrityPass` — v0.3.0 validating pass: memory/continuity
+ *    block integrity (wiki.recallK bounds, ttl floor, session-scope only
+ *    on session-routed shapes, fragment JSON-serializability).
  *  - `promptCachePrefixSort` — TODO: re-orders system-block segments so
  *    the cache prefix is maximised. v0 stub returns IR unchanged so the
  *    pipeline contract holds; v1 follow-up wires this once we land
@@ -31,7 +34,7 @@
  * Pipeline order in `applyPasses` (the safe default):
  *   deadToolElimination → redundantMcpServerCollapse →
  *   permissionRuleCanonicalize → transactionPolicyEnforcement →
- *   wellFormednessCheck → promptCachePrefixSort
+ *   wellFormednessCheck → memoryIntegrityPass → promptCachePrefixSort
  */
 import { CrewhausError } from "@crewhaus/errors";
 import type { IrNode } from "@crewhaus/ir";
@@ -57,9 +60,12 @@ export declare function applyPasses(ir: IrNode, opts?: ApplyPassesOptions): IrNo
 export declare function deadToolElimination(ir: IrNode): IrNode;
 /**
  * Pass 2 — collapse `mcp_servers` entries that share `(transport, command,
- * args)` (stdio) or `(transport, url)` (sse). The first key wins on
- * collision; later duplicates are dropped. Order is preserved for entries
- * that survive.
+ * args, env)` (stdio) or `(transport, url, headers)` (sse). The first key
+ * wins on collision; later duplicates are dropped. Order is preserved for
+ * entries that survive. env/header values are `IrSecretRef` objects
+ * (0.3.0), compared structurally under sorted keys — two servers that
+ * reference the same `$VAR` still dedupe, while servers that differ only
+ * in credentials are (correctly) kept apart.
  */
 export declare function redundantMcpServerCollapse(ir: IrNode): IrNode;
 /**
@@ -96,4 +102,5 @@ export declare function transactionPolicyEnforcement(ir: IrNode): IrNode;
  * only. Cited paper: AgentFlow (arxiv 2604.20801).
  */
 export declare function wellFormednessCheck(ir: IrNode): IrNode;
+export declare function memoryIntegrityPass(ir: IrNode): IrNode;
 export declare const DEFAULT_PIPELINE: ReadonlyArray<IrPass>;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@crewhaus/ir-passes",
-  "version": "0.2.3",
+  "version": "0.3.0",
   "type": "module",
   "description": "Idempotent IR optimization passes (dead-tool-elimination, prompt-cache-prefix-sort, redundant-mcp-server-collapse, permission-rule-canonicalize)",
   "main": "dist/index.js",
@@ -15,8 +15,8 @@
     "test": "bun test src"
   },
   "dependencies": {
-    "@crewhaus/errors": "0.2.3",
-    "@crewhaus/ir": "0.2.3"
+    "@crewhaus/errors": "0.3.0",
+    "@crewhaus/ir": "0.3.0"
   },
   "license": "Apache-2.0",
   "author": {