@astrale-os/kernel-dsl 0.2.0-beta.44 → 0.2.0-beta.46

package/dist/v1/schema/validation/policy/typing.js

@@ -5,6 +5,13 @@ import { escapePointer } from './context.js';
 import { referenceContracts } from './objects.js';
 export class PolicyTyping {
     context;
+    // Expanded branches of each named Policy, cached by node identity. A Policy's expansion is reused
+    // across every composition path that reaches it (and across every use site and object contract,
+    // none of which the expansion depends on), so a shared-child composition DAG is expanded in work
+    // linear in the number of Policies instead of enumerating every path. The expansion result is
+    // independent of the reaching path up to the opaque term-namespace labels, which only ever
+    // disambiguate variables within one branch and leave targetMode and branch typing unchanged.
+    #expansions = new Map();
     constructor(context) {
         this.context = context;
     }
@@ -59,6 +66,14 @@ export class PolicyTyping {
     #expandedBranches(name, visiting, namespace) {
         if (visiting.has(name))
             return undefined;
+        const cached = this.#expansions.get(name);
+        if (cached !== undefined || this.#expansions.has(name))
+            return cached;
+        const expanded = this.#expandDeclaration(name, visiting, namespace);
+        this.#expansions.set(name, expanded);
+        return expanded;
+    }
+    #expandDeclaration(name, visiting, namespace) {
         const declaration = this.context.normalized.get(name);
         if (declaration === undefined)
             return undefined;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@astrale-os/kernel-dsl",
-  "version": "0.2.0-beta.44",
+  "version": "0.2.0-beta.46",
   "description": "Astrale Kernel DSL - Schema authoring, inference, and IR serialization",
   "license": "Apache-2.0",
   "repository": {