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

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

@@ -3,8 +3,14 @@ import { BRANCH_OVERFLOW, MAX_BRANCHES, MAX_CHECK_DEPTH, MAX_CHECK_LEAVES, MAX_D
 import { escapePointer } from './context.js';
 export { BRANCH_OVERFLOW, MAX_BRANCHES, MAX_CHECK_DEPTH, MAX_CHECK_LEAVES, MAX_DOMAINS, MAX_EDGES, MAX_PATTERN_DEPTH, MAX_REPEAT, MAX_VARIABLES, measureChecks, };
 export function validatePolicyBudgets(context) {
+    // Measure every distinct composition node once. A node's expanded measure is independent of the
+    // path that reaches it (the only path-sensitive outcome, the back-edge `undefined`, already holds
+    // for every node on or reaching a composition cycle, regardless of entry), so caching the
+    // completed result by node identity turns path enumeration over the composition DAG into work
+    // linear in the number of nodes while preserving the exact measure and PL_BUDGET decision.
+    const measures = new Map();
     for (const name of Object.keys(context.environment.candidate.policies)) {
-        const measure = measurePolicy(context, name, new Set());
+        const measure = measurePolicy(context, name, new Set(), measures);
         if (measure === undefined)
             continue;
         const pointer = `/policies/${escapePointer(name)}`;
@@ -23,14 +29,21 @@ export function validatePolicyBudgets(context) {
         }
     }
 }
-function measurePolicy(context, name, visiting) {
+function measurePolicy(context, name, visiting, measures) {
     if (visiting.has(name))
         return undefined;
+    if (measures.has(name))
+        return measures.get(name);
     const declaration = context.normalized.get(name);
     if (declaration === undefined)
         return undefined;
     const nested = new Set(visiting);
     nested.add(name);
+    const measure = measureDeclaration(context, declaration, nested, measures);
+    measures.set(name, measure);
+    return measure;
+}
+function measureDeclaration(context, declaration, nested, measures) {
     if ('match' in declaration) {
         return measurePattern(declaration.match, context.environment.candidate.origin);
     }
@@ -38,7 +51,7 @@ function measurePolicy(context, name, visiting) {
     const children = refs.flatMap((ref) => {
         if (!context.isLocalPolicy(ref))
             return [];
-        const value = measurePolicy(context, ref.name, nested);
+        const value = measurePolicy(context, ref.name, nested, measures);
         return value === undefined ? [] : [value];
     });
     if (children.length !== refs.length || children.length === 0)

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.45",
   "description": "Astrale Kernel DSL - Schema authoring, inference, and IR serialization",
   "license": "Apache-2.0",
   "repository": {