@crewhaus/ir-passes 0.3.2 → 0.4.0

package/dist/index.d.ts

@@ -35,6 +35,15 @@
  *   deadToolElimination → redundantMcpServerCollapse →
  *   permissionRuleCanonicalize → transactionPolicyEnforcement →
  *   wellFormednessCheck → memoryIntegrityPass → promptCachePrefixSort
+ *
+ * G45 (loop contract 0.4) — the passes split into two families:
+ *   - VALIDATING (transactionPolicyEnforcement, wellFormednessCheck,
+ *     memoryIntegrityPass): pure pass-throughs that throw `IrPassError` on
+ *     a violation. Exported as `VALIDATING_PASSES`; the compiler runs them
+ *     UNCONDITIONALLY inside `compile()` (they cannot drift bundle bytes).
+ *   - REWRITING (deadToolElimination, redundantMcpServerCollapse,
+ *     permissionRuleCanonicalize, promptCachePrefixSort): structural
+ *     optimizations that stay behind `compile({ applyIrPasses: true })`.
  */
 import { CrewhausError } from "@crewhaus/errors";
 import type { IrNode } from "@crewhaus/ir";
@@ -103,4 +112,14 @@ export declare function transactionPolicyEnforcement(ir: IrNode): IrNode;
  */
 export declare function wellFormednessCheck(ir: IrNode): IrNode;
 export declare function memoryIntegrityPass(ir: IrNode): IrNode;
+/**
+ * G45 (loop contract 0.4) — the VALIDATING passes: pure pass-throughs that
+ * throw `IrPassError` on a violation and never rewrite the IR. The compiler
+ * runs these UNCONDITIONALLY inside `compile()` (between `lower()` and the
+ * opt-in rewriting pipeline); they are also part of `DEFAULT_PIPELINE`, in
+ * the same relative order, so `applyPasses(ir)` stays a complete standalone
+ * audit. Order matters: chain referential integrity → graph/crew
+ * well-formedness → memory/continuity integrity.
+ */
+export declare const VALIDATING_PASSES: ReadonlyArray<IrPass>;
 export declare const DEFAULT_PIPELINE: ReadonlyArray<IrPass>;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@crewhaus/ir-passes",
-  "version": "0.3.2",
+  "version": "0.4.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.3.2",
-    "@crewhaus/ir": "0.3.2"
+    "@crewhaus/errors": "0.4.0",
+    "@crewhaus/ir": "0.4.0"
   },
   "license": "Apache-2.0",
   "author": {