@astrale-os/kernel-dsl 0.1.3 → 0.1.5

package/dist/grammar/values/self.js

@@ -3,3 +3,4 @@
  * to reference the definition itself without creating a circular type dependency.
  */
 export const SELF = { [Symbol.for('SELF_TAG')]: true };
+//# sourceMappingURL=self.js.map

package/dist/grammar/values/self.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"self.js","sourceRoot":"","sources":["../../../src/grammar/values/self.ts"],"names":[],"mappings":"AAQA;;;GAGG;AACH,MAAM,CAAC,MAAM,IAAI,GAAY,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAoB,CAAC,EAAE,IAAI,EAAa,CAAA"}

package/dist/index.d.ts

@@ -7,6 +7,7 @@ export { ref } from './builders/ref.js';
 export { data } from './builders/data.js';
 export { prop } from './builders/prop.js';
 export { bitmask } from './builders/bitmask.js';
+export { definePolicy, policy } from './builders/policy.js';
 export { SELF } from './grammar/values/self.js';
 export { defineSchema } from './schema/define.js';
 export type { Schema } from './schema/schema.js';
@@ -43,11 +44,14 @@ export type { SelfDef } from './grammar/values/self.js';
 export type { BitmaskDef } from './grammar/values/bitmask.js';
 export type { MethodInheritance } from './grammar/function/inheritance.js';
 export type { OutputMode } from './grammar/function/output.js';
+export type { PolicyDef, PolicyInput, PolicyLazy, PolicyCompositionInput, MatchPolicyInput, DefinePolicyInput, } from './grammar/policy/def.js';
+export type { PolicyMatchBuilder, PolicyPatternBinding, PolicyPatternExpression, } from './grammar/policy/pattern.js';
+export type { CallablePolicyExpression, FunctionPolicyBuilder, FunctionPolicyCallback, MethodPolicyBuilder, MethodPolicyCallback, PolicyCheckBinding, } from './grammar/policy/callable.js';
 export type { ExtractProperties, InferProperties, ExtractFullProperties, ExtractInherits, ExtractContent, ExtractFullContent, HasContent, ExtractMethods, AllMethods, HasMethods, ExtractMethodNames, ExtractMethodParams, ExtractMethodReturns, ExtractMethodReturnValue, MethodSelf, AllSealedKeys, InheritedAbstractKeys, InheritedDefaultKeys, ImplementableOwnKeys, HasImplementableMethods, ExtractNodeInput, FilterByKind, SchemaNodeInterfaces, SchemaNodeClasses, SchemaEdgeInterfaces, SchemaEdgeClasses, SchemaFnRefs, } from './inference/index.js';
 export { resolveAllMethods, resolveAllProperties } from './schema/resolve/index.js';
 export { classifyDefs } from './schema/classify.js';
 export { isNodeInterface, isNodeClass, isEdgeInterface, isEdgeClass, isAbstract, isConcrete, isEdge, isNode, } from './grammar/definition/discriminants.js';
 export type { CoreNode, CoreEdge, PathTree, Core, CoreNodeEntry, CoreEdgeEntry, } from './instance/core/types.js';
 export type { SeedDef } from './instance/seed/types.js';
-export type { SchemaIR, ClassDecl, NodeDecl, EdgeDecl, FunctionDecl, JsonSchema, PropertyDecl, Endpoint, EdgeConstraints, } from './ir/index.js';
+export type { SchemaIR, ClassDecl, NodeDecl, EdgeDecl, FunctionDecl, JsonSchema, PropertyDecl, Endpoint, EdgeConstraints, PolicyDeclaration, PolicyPatternNode, PolicyVariable, PolicyRepeat, PolicyEdgePattern, PolicyPatternExpr, FunctionPolicyExpr, PolicyRef, NodeClassRef, EdgeClassRef, NodeClassPolicies, PolicyCheckObject, } from './ir/index.js';
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,yCAAyC,CAAA;AACvE,OAAO,EAAE,SAAS,EAAE,MAAM,qCAAqC,CAAA;AAC/D,OAAO,EAAE,aAAa,EAAE,MAAM,yCAAyC,CAAA;AACvE,OAAO,EAAE,SAAS,EAAE,MAAM,qCAAqC,CAAA;AAC/D,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,wBAAwB,CAAA;AACjD,OAAO,EAAE,GAAG,EAAE,MAAM,mBAAmB,CAAA;AACvC,OAAO,EAAE,IAAI,EAAE,MAAM,oBAAoB,CAAA;AACzC,OAAO,EAAE,IAAI,EAAE,MAAM,oBAAoB,CAAA;AACzC,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAA;AAC/C,OAAO,EAAE,IAAI,EAAE,MAAM,0BAA0B,CAAA;AAG/C,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACjD,YAAY,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAA;AAChD,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAA;AACzD,YAAY,EAAE,MAAM,EAAE,SAAS,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AACrF,OAAO,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAGjG,OAAO,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAA;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAA;AACtD,OAAO,EAAE,gBAAgB,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAA;AACrF,YAAY,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAA;AACvD,OAAO,EAAE,IAAI,EAAE,MAAM,yBAAyB,CAAA;AAC9C,OAAO,EAAE,IAAI,EAAE,MAAM,yBAAyB,CAAA;AAC9C,YAAY,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AAC3D,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AAC9D,YAAY,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAA;AAGzD,OAAO,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAA;AAGrD,YAAY,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAA;AACjE,YAAY,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,MAAM,wCAAwC,CAAA;AACnG,YAAY,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,oCAAoC,CAAA;AACvF,YAAY,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,MAAM,wCAAwC,CAAA;AACnG,YAAY,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,oCAAoC,CAAA;AACvF,YAAY,EACV,MAAM,EACN,UAAU,EACV,UAAU,EACV,eAAe,EACf,WAAW,GACZ,MAAM,uCAAuC,CAAA;AAC9C,YAAY,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,2BAA2B,CAAA;AAC/D,YAAY,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAA;AACxE,YAAY,EACV,aAAa,EACb,WAAW,EACX,QAAQ,EACR,kBAAkB,GACnB,MAAM,gCAAgC,CAAA;AACvC,OAAO,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAA;AACjF,YAAY,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAA;AAC/D,YAAY,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAA;AAChF,YAAY,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAA;AACrE,YAAY,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,6BAA6B,CAAA;AACtE,YAAY,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAA;AACxD,YAAY,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAA;AAC/E,YAAY,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAA;AACvD,YAAY,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAA;AAC7D,YAAY,EAAE,iBAAiB,EAAE,MAAM,mCAAmC,CAAA;AAC1E,YAAY,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAA;AAG9D,YAAY,EACV,iBAAiB,EACjB,eAAe,EACf,qBAAqB,EACrB,eAAe,EACf,cAAc,EACd,kBAAkB,EAClB,UAAU,EACV,cAAc,EACd,UAAU,EACV,UAAU,EACV,kBAAkB,EAClB,mBAAmB,EACnB,oBAAoB,EACpB,wBAAwB,EACxB,UAAU,EACV,aAAa,EACb,qBAAqB,EACrB,oBAAoB,EACpB,oBAAoB,EACpB,uBAAuB,EACvB,gBAAgB,EAChB,YAAY,EACZ,oBAAoB,EACpB,iBAAiB,EACjB,oBAAoB,EACpB,iBAAiB,EACjB,YAAY,GACb,MAAM,sBAAsB,CAAA;AAG7B,OAAO,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAA;AACnF,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAA;AACnD,OAAO,EACL,eAAe,EACf,WAAW,EACX,eAAe,EACf,WAAW,EACX,UAAU,EACV,UAAU,EACV,MAAM,EACN,MAAM,GACP,MAAM,uCAAuC,CAAA;AAG9C,YAAY,EACV,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,IAAI,EACJ,aAAa,EACb,aAAa,GACd,MAAM,0BAA0B,CAAA;AACjC,YAAY,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAA;AAGvD,YAAY,EACV,QAAQ,EACR,SAAS,EACT,QAAQ,EACR,QAAQ,EACR,YAAY,EACZ,UAAU,EACV,YAAY,EACZ,QAAQ,EACR,eAAe,GAChB,MAAM,eAAe,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,yCAAyC,CAAA;AACvE,OAAO,EAAE,SAAS,EAAE,MAAM,qCAAqC,CAAA;AAC/D,OAAO,EAAE,aAAa,EAAE,MAAM,yCAAyC,CAAA;AACvE,OAAO,EAAE,SAAS,EAAE,MAAM,qCAAqC,CAAA;AAC/D,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,wBAAwB,CAAA;AACjD,OAAO,EAAE,GAAG,EAAE,MAAM,mBAAmB,CAAA;AACvC,OAAO,EAAE,IAAI,EAAE,MAAM,oBAAoB,CAAA;AACzC,OAAO,EAAE,IAAI,EAAE,MAAM,oBAAoB,CAAA;AACzC,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAA;AAC/C,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAA;AAC3D,OAAO,EAAE,IAAI,EAAE,MAAM,0BAA0B,CAAA;AAG/C,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACjD,YAAY,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAA;AAChD,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAA;AACzD,YAAY,EAAE,MAAM,EAAE,SAAS,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AACrF,OAAO,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAGjG,OAAO,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAA;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAA;AACtD,OAAO,EAAE,gBAAgB,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAA;AACrF,YAAY,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAA;AACvD,OAAO,EAAE,IAAI,EAAE,MAAM,yBAAyB,CAAA;AAC9C,OAAO,EAAE,IAAI,EAAE,MAAM,yBAAyB,CAAA;AAC9C,YAAY,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AAC3D,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AAC9D,YAAY,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAA;AAGzD,OAAO,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAA;AAGrD,YAAY,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAA;AACjE,YAAY,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,MAAM,wCAAwC,CAAA;AACnG,YAAY,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,oCAAoC,CAAA;AACvF,YAAY,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,MAAM,wCAAwC,CAAA;AACnG,YAAY,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,oCAAoC,CAAA;AACvF,YAAY,EACV,MAAM,EACN,UAAU,EACV,UAAU,EACV,eAAe,EACf,WAAW,GACZ,MAAM,uCAAuC,CAAA;AAC9C,YAAY,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,2BAA2B,CAAA;AAC/D,YAAY,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAA;AACxE,YAAY,EACV,aAAa,EACb,WAAW,EACX,QAAQ,EACR,kBAAkB,GACnB,MAAM,gCAAgC,CAAA;AACvC,OAAO,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAA;AACjF,YAAY,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAA;AAC/D,YAAY,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAA;AAChF,YAAY,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAA;AACrE,YAAY,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,6BAA6B,CAAA;AACtE,YAAY,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAA;AACxD,YAAY,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAA;AAC/E,YAAY,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAA;AACvD,YAAY,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAA;AAC7D,YAAY,EAAE,iBAAiB,EAAE,MAAM,mCAAmC,CAAA;AAC1E,YAAY,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAA;AAC9D,YAAY,EACV,SAAS,EACT,WAAW,EACX,UAAU,EACV,sBAAsB,EACtB,gBAAgB,EAChB,iBAAiB,GAClB,MAAM,yBAAyB,CAAA;AAChC,YAAY,EACV,kBAAkB,EAClB,oBAAoB,EACpB,uBAAuB,GACxB,MAAM,6BAA6B,CAAA;AACpC,YAAY,EACV,wBAAwB,EACxB,qBAAqB,EACrB,sBAAsB,EACtB,mBAAmB,EACnB,oBAAoB,EACpB,kBAAkB,GACnB,MAAM,8BAA8B,CAAA;AAGrC,YAAY,EACV,iBAAiB,EACjB,eAAe,EACf,qBAAqB,EACrB,eAAe,EACf,cAAc,EACd,kBAAkB,EAClB,UAAU,EACV,cAAc,EACd,UAAU,EACV,UAAU,EACV,kBAAkB,EAClB,mBAAmB,EACnB,oBAAoB,EACpB,wBAAwB,EACxB,UAAU,EACV,aAAa,EACb,qBAAqB,EACrB,oBAAoB,EACpB,oBAAoB,EACpB,uBAAuB,EACvB,gBAAgB,EAChB,YAAY,EACZ,oBAAoB,EACpB,iBAAiB,EACjB,oBAAoB,EACpB,iBAAiB,EACjB,YAAY,GACb,MAAM,sBAAsB,CAAA;AAG7B,OAAO,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAA;AACnF,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAA;AACnD,OAAO,EACL,eAAe,EACf,WAAW,EACX,eAAe,EACf,WAAW,EACX,UAAU,EACV,UAAU,EACV,MAAM,EACN,MAAM,GACP,MAAM,uCAAuC,CAAA;AAG9C,YAAY,EACV,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,IAAI,EACJ,aAAa,EACb,aAAa,GACd,MAAM,0BAA0B,CAAA;AACjC,YAAY,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAA;AAGvD,YAAY,EACV,QAAQ,EACR,SAAS,EACT,QAAQ,EACR,QAAQ,EACR,YAAY,EACZ,UAAU,EACV,YAAY,EACZ,QAAQ,EACR,eAAe,EACf,iBAAiB,EACjB,iBAAiB,EACjB,cAAc,EACd,YAAY,EACZ,iBAAiB,EACjB,iBAAiB,EACjB,kBAAkB,EAClB,SAAS,EACT,YAAY,EACZ,YAAY,EACZ,iBAAiB,EACjB,iBAAiB,GAClB,MAAM,eAAe,CAAA"}

package/dist/index.js

@@ -8,6 +8,7 @@ export { ref } from './builders/ref.js';
 export { data } from './builders/data.js';
 export { prop } from './builders/prop.js';
 export { bitmask } from './builders/bitmask.js';
+export { definePolicy, policy } from './builders/policy.js';
 export { SELF } from './grammar/values/self.js';
 // ── Schema (the compiler) ──────────────────────────────────────────
 export { defineSchema } from './schema/define.js';
@@ -27,3 +28,4 @@ export { normalizeProperty, isPropertyDef } from './grammar/facets/properties.js
 export { resolveAllMethods, resolveAllProperties } from './schema/resolve/index.js';
 export { classifyDefs } from './schema/classify.js';
 export { isNodeInterface, isNodeClass, isEdgeInterface, isEdgeClass, isAbstract, isConcrete, isEdge, isNode, } from './grammar/definition/discriminants.js';
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,sEAAsE;AACtE,OAAO,EAAE,aAAa,EAAE,MAAM,yCAAyC,CAAA;AACvE,OAAO,EAAE,SAAS,EAAE,MAAM,qCAAqC,CAAA;AAC/D,OAAO,EAAE,aAAa,EAAE,MAAM,yCAAyC,CAAA;AACvE,OAAO,EAAE,SAAS,EAAE,MAAM,qCAAqC,CAAA;AAC/D,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,wBAAwB,CAAA;AACjD,OAAO,EAAE,GAAG,EAAE,MAAM,mBAAmB,CAAA;AACvC,OAAO,EAAE,IAAI,EAAE,MAAM,oBAAoB,CAAA;AACzC,OAAO,EAAE,IAAI,EAAE,MAAM,oBAAoB,CAAA;AACzC,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAA;AAC/C,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAA;AAC3D,OAAO,EAAE,IAAI,EAAE,MAAM,0BAA0B,CAAA;AAE/C,sEAAsE;AACtE,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AAEjD,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAA;AAEzD,OAAO,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAEjG,sEAAsE;AACtE,OAAO,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAA;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAA;AACtD,OAAO,EAAE,gBAAgB,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAA;AAErF,OAAO,EAAE,IAAI,EAAE,MAAM,yBAAyB,CAAA;AAC9C,OAAO,EAAE,IAAI,EAAE,MAAM,yBAAyB,CAAA;AAE9C,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AAG9D,sEAAsE;AACtE,OAAO,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAA;AAuBrD,OAAO,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAA;AAgEjF,sEAAsE;AACtE,OAAO,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAA;AACnF,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAA;AACnD,OAAO,EACL,eAAe,EACf,WAAW,EACX,eAAe,EACf,WAAW,EACX,UAAU,EACV,UAAU,EACV,MAAM,EACN,MAAM,GACP,MAAM,uCAAuC,CAAA"}

package/dist/inference/content.js

@@ -1 +1,2 @@
 export {};
+//# sourceMappingURL=content.js.map

package/dist/inference/content.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"content.js","sourceRoot":"","sources":["../../src/inference/content.ts"],"names":[],"mappings":""}

package/dist/inference/index.js

@@ -1 +1,2 @@
 export {};
+//# sourceMappingURL=index.js.map

package/dist/inference/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/inference/index.ts"],"names":[],"mappings":""}

package/dist/inference/inheritance.js

@@ -1 +1,2 @@
 export {};
+//# sourceMappingURL=inheritance.js.map

package/dist/inference/inheritance.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"inheritance.js","sourceRoot":"","sources":["../../src/inference/inheritance.ts"],"names":[],"mappings":""}

package/dist/inference/input.js

@@ -1 +1,2 @@
 export {};
+//# sourceMappingURL=input.js.map

package/dist/inference/input.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"input.js","sourceRoot":"","sources":["../../src/inference/input.ts"],"names":[],"mappings":""}

package/dist/inference/methods.js

@@ -1 +1,2 @@
 export {};
+//# sourceMappingURL=methods.js.map

package/dist/inference/methods.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"methods.js","sourceRoot":"","sources":["../../src/inference/methods.ts"],"names":[],"mappings":""}

package/dist/inference/properties.js

@@ -1 +1,2 @@
 export {};
+//# sourceMappingURL=properties.js.map

package/dist/inference/properties.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"properties.js","sourceRoot":"","sources":["../../src/inference/properties.ts"],"names":[],"mappings":""}

package/dist/inference/schema.js

@@ -1 +1,2 @@
 export {};
+//# sourceMappingURL=schema.js.map

package/dist/inference/schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../src/inference/schema.ts"],"names":[],"mappings":""}

package/dist/instance/core/define.js

@@ -60,3 +60,4 @@ export function defineCore(schema, config) {
         __edges: flatEdges,
     });
 }
+//# sourceMappingURL=define.js.map

package/dist/instance/core/define.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"define.js","sourceRoot":"","sources":["../../../src/instance/core/define.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAA;AAC/C,OAAO,EAAE,aAAa,EAAiB,MAAM,WAAW,CAAA;AAExD;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAIxB,MAAS,EACT,MAAqD;IAErD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAA;IAC5B,MAAM,UAAU,GAAG,IAAI,GAAG,EAAsB,CAAA;IAChD,MAAM,SAAS,GAAoB,EAAE,CAAA;IAErC,SAAS,SAAS,CAChB,KAA+B,EAC/B,WAAqB,EACrB,UAAgC,EAChC,MAA+B;QAE/B,KAAK,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACpD,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,KAAK,MAAM,EAAE,CAAC;gBAC/C,MAAM,IAAI,KAAK,CACb,4HAA4H,CAC7H,CAAA;YACH,CAAC;YACD,MAAM,KAAK,GAAG,CAAC,GAAG,WAAW,EAAE,GAAG,CAAC,CAAA;YACnC,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;YAC7C,UAAU,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAA;YAClC,SAAS,CAAC,IAAI,CAAC;gBACb,IAAI,EAAE,QAAQ;gBACd,GAAG,EAAE,QAAQ,CAAC,SAAS;gBACvB,IAAI,EAAE,QAAQ,CAAC,MAAM;gBACrB,MAAM,EAAE,UAAU;aACnB,CAAC,CAAA;YAEF,MAAM,QAAQ,GAAG,QAAQ,CAAC,UAAsC,CAAA;YAChE,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,GAAG,CAAC,CAAA;YAEpD,IAAI,WAAW,EAAE,CAAC;gBAChB,MAAM,UAAU,GAA4B,EAAE,CAAA;gBAC9C,SAAS,CAAC,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAA;gBAChD,uEAAuE;gBACvE,2DAA2D;gBAC3D,MAAM,gBAAgB,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,CAAA;gBACvE,gBAAgB,CAAC,QAAQ,GAAG,GAAG,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA;gBAClD,gBAAgB,CAAC,OAAO,GAAG,GAAG,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA;gBACjD,gCAAgC;gBAChC,gBAAgB,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,GAAG,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA;gBAC7D,MAAM,CAAC,GAAG,CAAC,GAAG,gBAAgB,CAAA;YAChC,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAA;YACxB,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAA4B,EAAE,CAAA;IAC5C,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAA;IAEhD,MAAM,SAAS,GAAoB,EAAE,CAAA;IACrC,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QACjB,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YAC7B,MAAM,IAAI,GAAG,eAAe,CAAC,CAAC,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;YAClD,MAAM,EAAE,GAAG,eAAe,CAAC,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,CAAA;YAC9C,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAA;QACjE,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE;QAC7B,MAAM;QACN,MAAM;QACN,OAAO,EAAE,SAAS;QAClB,OAAO,EAAE,SAAS;KACnB,CAA+C,CAAA;AAClD,CAAC"}

package/dist/instance/core/edge.js

@@ -8,3 +8,4 @@ export function edge(from, edgeDef, to, data) {
         __data: data,
     };
 }
+//# sourceMappingURL=edge.js.map

package/dist/instance/core/edge.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"edge.js","sourceRoot":"","sources":["../../../src/instance/core/edge.ts"],"names":[],"mappings":"AAQA,uEAAuE;AACvE,MAAM,UAAU,IAAI,CAClB,IAAkB,EAClB,OAAmB,EACnB,EAAgB,EAChB,IAA8B;IAE9B,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,MAAM,EAAE,IAAI;QACZ,IAAI,EAAE,EAAE;QACR,SAAS,EAAE,OAAO;QAClB,MAAM,EAAE,IAAI;KACb,CAAA;AACH,CAAC"}

package/dist/instance/core/endpoint.js

@@ -16,3 +16,4 @@ export function resolveEndpoint(target, nodeToPath) {
         throw new Error('CoreNode not found in core definition — was it declared in `nodes`?');
     return p;
 }
+//# sourceMappingURL=endpoint.js.map

package/dist/instance/core/endpoint.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"endpoint.js","sourceRoot":"","sources":["../../../src/instance/core/endpoint.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,UAAU,EAAiB,MAAM,WAAW,CAAA;AACrD,OAAO,EAAE,YAAY,EAAmB,MAAM,WAAW,CAAA;AAEzD;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAC7B,MAAwC,EACxC,UAAmC;IAEnC,IAAI,YAAY,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAA;IACvC,IAAI,UAAU,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAA;IACrC,MAAM,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;IAChC,IAAI,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,qEAAqE,CAAC,CAAA;IAC9F,OAAO,CAAC,CAAA;AACV,CAAC"}

package/dist/instance/core/node.js

@@ -6,3 +6,4 @@ export function node(def, data, children) {
         __children: (children ?? {}),
     };
 }
+//# sourceMappingURL=node.js.map

package/dist/instance/core/node.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"node.js","sourceRoot":"","sources":["../../../src/instance/core/node.ts"],"names":[],"mappings":"AAYA,MAAM,UAAU,IAAI,CAClB,GAAe,EACf,IAA6B,EAC7B,QAAmC;IAEnC,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,SAAS,EAAE,GAAG;QACd,MAAM,EAAE,IAAI;QACZ,UAAU,EAAE,CAAC,QAAQ,IAAI,EAAE,CAA0B;KACtD,CAAA;AACH,CAAC"}

package/dist/instance/core/path.js

@@ -18,3 +18,4 @@ export function buildCorePath(domain, slugs) {
 export function isCorePath(value) {
     return typeof value === 'string' && value.startsWith('/');
 }
+//# sourceMappingURL=path.js.map

package/dist/instance/core/path.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"path.js","sourceRoot":"","sources":["../../../src/instance/core/path.ts"],"names":[],"mappings":"AASA,MAAM,OAAO,GAAG,mBAAmB,CAAA;AAEnC;;;;GAIG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAe,CAAA;AAE/C,uDAAuD;AACvD,MAAM,UAAU,aAAa,CAAC,MAAc,EAAE,KAAwB;IACpE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,KAAK,CACb,2BAA2B,IAAI,wEAAwE,CACxG,CAAA;QACH,CAAC;IACH,CAAC;IACD,OAAO,IAAI,MAAM,IAAI,gBAAgB,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAc,CAAA;AACxE,CAAC;AAED,qCAAqC;AACrC,MAAM,UAAU,UAAU,CAAC,KAAc;IACvC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAA;AAC3D,CAAC"}

package/dist/instance/core/self.js

@@ -5,3 +5,4 @@ export function selfOf(def) {
 export function isSelfMarker(value) {
     return (typeof value === 'object' && value !== null && 'type' in value && value.type === 'core-self');
 }
+//# sourceMappingURL=self.js.map

package/dist/instance/core/self.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"self.js","sourceRoot":"","sources":["../../../src/instance/core/self.ts"],"names":[],"mappings":"AAaA,mEAAmE;AACnE,MAAM,UAAU,MAAM,CAAuB,GAAM;IACjD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,EAAE,CAAA;AAC1C,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,KAAc;IACzC,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,MAAM,IAAI,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,CAC7F,CAAA;AACH,CAAC"}

package/dist/instance/core/types.js

@@ -1 +1,2 @@
 export {};
+//# sourceMappingURL=types.js.map

package/dist/instance/core/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/instance/core/types.ts"],"names":[],"mappings":""}

package/dist/instance/seed/define.js

@@ -31,3 +31,4 @@ export function defineSeed(schema, core, config) {
         __edges: flatEdges,
     });
 }
+//# sourceMappingURL=define.js.map

package/dist/instance/seed/define.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"define.js","sourceRoot":"","sources":["../../../src/instance/seed/define.ts"],"names":[],"mappings":"AAWA,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAA;AACrD,OAAO,EAAE,aAAa,EAAiB,MAAM,iBAAiB,CAAA;AAE9D;;;GAGG;AACH,MAAM,UAAU,UAAU,CAKxB,MAAS,EACT,IAAO,EACP,MAAqD;IAErD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAA;IAC5B,MAAM,UAAU,GAAG,IAAI,GAAG,EAAsB,CAAA;IAChD,MAAM,SAAS,GAAoB,EAAE,CAAA;IAErC,MAAM,QAAQ,GAA4B,EAAE,CAAA;IAC5C,KAAK,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3D,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAA;QAC7C,UAAU,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAA;QAClC,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,CAAC,SAAS,EAAE,IAAI,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;QAClF,QAAQ,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAA;IAC1B,CAAC;IAED,MAAM,SAAS,GAAoB,EAAE,CAAA;IACrC,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QACjB,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YAC7B,MAAM,IAAI,GAAG,eAAe,CAAC,CAAC,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;YAClD,MAAM,EAAE,GAAG,eAAe,CAAC,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,CAAA;YAC9C,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAA;QACjE,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE;QAC7B,MAAM;QACN,IAAI;QACJ,MAAM;QACN,OAAO,EAAE,SAAS;QAClB,OAAO,EAAE,SAAS;KACnB,CAAqD,CAAA;AACxD,CAAC"}

package/dist/instance/seed/types.js

@@ -1 +1,2 @@
 export {};
+//# sourceMappingURL=types.js.map

package/dist/instance/seed/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/instance/seed/types.ts"],"names":[],"mappings":""}

package/dist/ir/classes.d.ts

@@ -1,6 +1,7 @@
 import type { Endpoint, EdgeConstraints } from './endpoints.js';
 import type { FunctionDecl } from './functions.js';
 import type { JsonSchema, PropertyDecl } from './json-schema.js';
+import type { NodeClassPolicies } from './policies.js';
 /** An interface declaration. Cannot be instantiated directly. */
 export interface InterfaceDecl {
     type: 'interface';
@@ -49,6 +50,11 @@ export interface NodeDecl {
      * Clients resolve an instance's icon through its class.
      */
     icon?: string;
+    /**
+     * Optional additive Policy bindings. Omitted for policy-free SchemaIR 1.0
+     * documents so existing serialized output remains byte-for-byte stable.
+     */
+    policies?: NodeClassPolicies;
 }
 /**
  * An edge declaration representing a relationship between nodes.

package/dist/ir/classes.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"classes.d.ts","sourceRoot":"","sources":["../../src/ir/classes.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAA;AAC/D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAA;AAClD,OAAO,KAAK,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAEhE,iEAAiE;AACjE,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,WAAW,CAAA;IAEjB,qCAAqC;IACrC,IAAI,EAAE,MAAM,CAAA;IAEZ,gDAAgD;IAChD,OAAO,EAAE,MAAM,EAAE,CAAA;IAEjB,yEAAyE;IACzE,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;IAExC,iDAAiD;IACjD,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;IAErC;;;OAGG;IACH,IAAI,CAAC,EAAE,UAAU,CAAA;CAClB;AAED,kDAAkD;AAClD,MAAM,MAAM,SAAS,GAAG,QAAQ,GAAG,QAAQ,CAAA;AAE3C,8BAA8B;AAC9B,MAAM,MAAM,OAAO,GAAG,aAAa,GAAG,QAAQ,GAAG,QAAQ,CAAA;AAEzD;;;GAGG;AACH,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAA;IAEZ,qCAAqC;IACrC,IAAI,EAAE,MAAM,CAAA;IAEZ;;;OAGG;IACH,UAAU,EAAE,MAAM,EAAE,CAAA;IAEpB,yEAAyE;IACzE,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;IAExC,iDAAiD;IACjD,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;IAErC;;;OAGG;IACH,IAAI,CAAC,EAAE,UAAU,CAAA;IAEjB;;;OAGG;IACH,IAAI,CAAC,EAAE,MAAM,CAAA;CACd;AAED;;;GAGG;AACH,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAA;IAEZ,qCAAqC;IACrC,IAAI,EAAE,MAAM,CAAA;IAEZ,mEAAmE;IACnE,UAAU,EAAE,MAAM,EAAE,CAAA;IAEpB,uDAAuD;IACvD,SAAS,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAA;IAE/B,yEAAyE;IACzE,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;IAExC,8CAA8C;IAC9C,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;IAErC,8BAA8B;IAC9B,WAAW,CAAC,EAAE,eAAe,CAAA;CAC9B"}
+{"version":3,"file":"classes.d.ts","sourceRoot":"","sources":["../../src/ir/classes.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAA;AAC/D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAA;AAClD,OAAO,KAAK,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAChE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAA;AAEtD,iEAAiE;AACjE,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,WAAW,CAAA;IAEjB,qCAAqC;IACrC,IAAI,EAAE,MAAM,CAAA;IAEZ,gDAAgD;IAChD,OAAO,EAAE,MAAM,EAAE,CAAA;IAEjB,yEAAyE;IACzE,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;IAExC,iDAAiD;IACjD,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;IAErC;;;OAGG;IACH,IAAI,CAAC,EAAE,UAAU,CAAA;CAClB;AAED,kDAAkD;AAClD,MAAM,MAAM,SAAS,GAAG,QAAQ,GAAG,QAAQ,CAAA;AAE3C,8BAA8B;AAC9B,MAAM,MAAM,OAAO,GAAG,aAAa,GAAG,QAAQ,GAAG,QAAQ,CAAA;AAEzD;;;GAGG;AACH,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAA;IAEZ,qCAAqC;IACrC,IAAI,EAAE,MAAM,CAAA;IAEZ;;;OAGG;IACH,UAAU,EAAE,MAAM,EAAE,CAAA;IAEpB,yEAAyE;IACzE,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;IAExC,iDAAiD;IACjD,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;IAErC;;;OAGG;IACH,IAAI,CAAC,EAAE,UAAU,CAAA;IAEjB;;;OAGG;IACH,IAAI,CAAC,EAAE,MAAM,CAAA;IAEb;;;OAGG;IACH,QAAQ,CAAC,EAAE,iBAAiB,CAAA;CAC7B;AAED;;;GAGG;AACH,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAA;IAEZ,qCAAqC;IACrC,IAAI,EAAE,MAAM,CAAA;IAEZ,mEAAmE;IACnE,UAAU,EAAE,MAAM,EAAE,CAAA;IAEpB,uDAAuD;IACvD,SAAS,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAA;IAE/B,yEAAyE;IACzE,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;IAExC,8CAA8C;IAC9C,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;IAErC,8BAA8B;IAC9B,WAAW,CAAC,EAAE,eAAe,CAAA;CAC9B"}

package/dist/ir/classes.js

@@ -1 +1,2 @@
 export {};
+//# sourceMappingURL=classes.js.map

package/dist/ir/classes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"classes.js","sourceRoot":"","sources":["../../src/ir/classes.ts"],"names":[],"mappings":""}

package/dist/ir/domain.js

@@ -1 +1,2 @@
 export {};
+//# sourceMappingURL=domain.js.map

package/dist/ir/domain.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"domain.js","sourceRoot":"","sources":["../../src/ir/domain.ts"],"names":[],"mappings":""}

package/dist/ir/endpoints.js

@@ -1 +1,2 @@
 export {};
+//# sourceMappingURL=endpoints.js.map

package/dist/ir/endpoints.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"endpoints.js","sourceRoot":"","sources":["../../src/ir/endpoints.ts"],"names":[],"mappings":""}

package/dist/ir/functions.d.ts

@@ -1,4 +1,5 @@
 import type { JsonSchema } from './json-schema.js';
+import type { FunctionPolicyExpr } from './policies.js';
 /** A function declaration: a callable with params and returns. Used as class methods. */
 export interface FunctionDecl {
     /** Function name. */
@@ -15,5 +16,19 @@ export interface FunctionDecl {
     output?: 'value' | 'stream' | 'binary';
     /** Method inheritance. `'sealed'` = non-overridable, `'abstract'` = no impl, `'default'` = impl provided, overridable. */
     inheritance: 'sealed' | 'abstract' | 'default';
+    /** Optional application Policy checks evaluated by future Policy-aware runtimes. */
+    policy?: FunctionPolicyExpr;
+}
+/**
+ * Additive standalone-function declaration used only when a schema opts into
+ * the Policy preview. Existing SchemaIR consumers may ignore this optional
+ * root record.
+ */
+export interface StandaloneFunctionDecl {
+    readonly input: JsonSchema;
+    readonly output: JsonSchema;
+    readonly outputMode: 'value' | 'stream' | 'binary';
+    readonly auth: 'required';
+    readonly policy?: FunctionPolicyExpr;
 }
 //# sourceMappingURL=functions.d.ts.map

package/dist/ir/functions.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"functions.d.ts","sourceRoot":"","sources":["../../src/ir/functions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAElD,yFAAyF;AACzF,MAAM,WAAW,YAAY;IAC3B,qBAAqB;IACrB,IAAI,EAAE,MAAM,CAAA;IAEZ,gFAAgF;IAChF,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;IAElC,oEAAoE;IACpE,OAAO,EAAE,UAAU,CAAA;IAEnB,sEAAsE;IACtE,eAAe,CAAC,EAAE,OAAO,CAAA;IAEzB,oEAAoE;IACpE,MAAM,EAAE,OAAO,CAAA;IAEf,0GAA0G;IAC1G,MAAM,CAAC,EAAE,OAAO,GAAG,QAAQ,GAAG,QAAQ,CAAA;IAEtC,0HAA0H;IAC1H,WAAW,EAAE,QAAQ,GAAG,UAAU,GAAG,SAAS,CAAA;CAC/C"}
+{"version":3,"file":"functions.d.ts","sourceRoot":"","sources":["../../src/ir/functions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAClD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAA;AAEvD,yFAAyF;AACzF,MAAM,WAAW,YAAY;IAC3B,qBAAqB;IACrB,IAAI,EAAE,MAAM,CAAA;IAEZ,gFAAgF;IAChF,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;IAElC,oEAAoE;IACpE,OAAO,EAAE,UAAU,CAAA;IAEnB,sEAAsE;IACtE,eAAe,CAAC,EAAE,OAAO,CAAA;IAEzB,oEAAoE;IACpE,MAAM,EAAE,OAAO,CAAA;IAEf,0GAA0G;IAC1G,MAAM,CAAC,EAAE,OAAO,GAAG,QAAQ,GAAG,QAAQ,CAAA;IAEtC,0HAA0H;IAC1H,WAAW,EAAE,QAAQ,GAAG,UAAU,GAAG,SAAS,CAAA;IAE9C,oFAAoF;IACpF,MAAM,CAAC,EAAE,kBAAkB,CAAA;CAC5B;AAED;;;;GAIG;AACH,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;IAC1B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAA;IAC3B,QAAQ,CAAC,UAAU,EAAE,OAAO,GAAG,QAAQ,GAAG,QAAQ,CAAA;IAClD,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,kBAAkB,CAAA;CACrC"}

package/dist/ir/functions.js

@@ -1 +1,2 @@
 export {};
+//# sourceMappingURL=functions.js.map

package/dist/ir/functions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"functions.js","sourceRoot":"","sources":["../../src/ir/functions.ts"],"names":[],"mappings":""}

package/dist/ir/index.d.ts

@@ -3,6 +3,7 @@ export { allDeclarations } from './ir.js';
 export type { DomainOrigin as Domain } from './domain.js';
 export type { InterfaceDecl, ClassDecl, AnyDecl, NodeDecl, EdgeDecl } from './classes.js';
 export type { JsonSchema, JsonValue, PropertyDecl } from './json-schema.js';
-export type { FunctionDecl } from './functions.js';
+export type { FunctionDecl, StandaloneFunctionDecl } from './functions.js';
 export type { Endpoint, Cardinality, EdgeConstraints } from './endpoints.js';
+export type { DomainMemberRef, PolicyRef, NodeClassRef, EdgeClassRef, PolicyPatternNode, PolicyRepeat, PolicyEdgePattern, PolicyVariable, PolicyLocalNode, PolicyPatternExpr, PolicyDeclaration, NodeClassPolicies, PolicyCheckObject, FunctionPolicyExpr, } from './policies.js';
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/ir/index.ts"],"names":[],"mappings":"AAAA,YAAY,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAA;AACvC,OAAO,EAAE,eAAe,EAAE,MAAM,SAAS,CAAA;AACzC,YAAY,EAAE,YAAY,IAAI,MAAM,EAAE,MAAM,aAAa,CAAA;AACzD,YAAY,EAAE,aAAa,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAA;AACzF,YAAY,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC3E,YAAY,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAA;AAClD,YAAY,EAAE,QAAQ,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/ir/index.ts"],"names":[],"mappings":"AAAA,YAAY,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAA;AACvC,OAAO,EAAE,eAAe,EAAE,MAAM,SAAS,CAAA;AACzC,YAAY,EAAE,YAAY,IAAI,MAAM,EAAE,MAAM,aAAa,CAAA;AACzD,YAAY,EAAE,aAAa,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAA;AACzF,YAAY,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAC3E,YAAY,EAAE,YAAY,EAAE,sBAAsB,EAAE,MAAM,gBAAgB,CAAA;AAC1E,YAAY,EAAE,QAAQ,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAA;AAC5E,YAAY,EACV,eAAe,EACf,SAAS,EACT,YAAY,EACZ,YAAY,EACZ,iBAAiB,EACjB,YAAY,EACZ,iBAAiB,EACjB,cAAc,EACd,eAAe,EACf,iBAAiB,EACjB,iBAAiB,EACjB,iBAAiB,EACjB,iBAAiB,EACjB,kBAAkB,GACnB,MAAM,eAAe,CAAA"}

package/dist/ir/index.js

@@ -1 +1,2 @@
 export { allDeclarations } from './ir.js';
+//# sourceMappingURL=index.js.map

package/dist/ir/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/ir/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,eAAe,EAAE,MAAM,SAAS,CAAA"}

package/dist/ir/ir.d.ts

@@ -1,6 +1,8 @@
 import type { ClassDecl, InterfaceDecl, AnyDecl } from './classes.js';
 import type { DomainOrigin } from './domain.js';
+import type { StandaloneFunctionDecl } from './functions.js';
 import type { JsonSchema } from './json-schema.js';
+import type { PolicyDeclaration } from './policies.js';
 /**
  * TypeGraph Schema IR.
  *
@@ -57,6 +59,16 @@ export interface SchemaIR {
     interfaces: Record<string, InterfaceDecl>;
     /** Concrete class declarations (nodes + edges). */
     classes: Record<string, ClassDecl>;
+    /**
+     * Named Policy declarations. Additive and omitted when unused so legacy
+     * SchemaIR 1.0 documents retain their exact shape.
+     */
+    policies?: Record<string, PolicyDeclaration>;
+    /**
+     * Standalone callable contracts carrying Policy checks. Additive and
+     * omitted unless at least one standalone function declares a Policy.
+     */
+    functions?: Record<string, StandaloneFunctionDecl>;
 }
 /** Merge interfaces + classes for lookups that need all declarations. */
 export declare function allDeclarations(schema: SchemaIR): Record<string, AnyDecl>;

package/dist/ir/ir.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ir.d.ts","sourceRoot":"","sources":["../../src/ir/ir.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AACrE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAC/C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAElD;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,WAAW,QAAQ;IACvB,yBAAyB;IACzB,OAAO,EAAE,KAAK,CAAA;IAEd;;;OAGG;IACH,MAAM,EAAE,YAAY,CAAA;IAEpB;;;;;;;;;;;;;;;OAeG;IACH,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE;QAAE,MAAM,EAAE,YAAY,CAAC;QAAC,UAAU,EAAE,WAAW,GAAG,OAAO,CAAA;KAAE,CAAC,CAAA;IAErF;;;;;OAKG;IACH,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;IAEjC,+CAA+C;IAC/C,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAA;IAEzC,mDAAmD;IACnD,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;CACnC;AAED,yEAAyE;AACzE,wBAAgB,eAAe,CAAC,MAAM,EAAE,QAAQ,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAEzE"}
+{"version":3,"file":"ir.d.ts","sourceRoot":"","sources":["../../src/ir/ir.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AACrE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAC/C,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,gBAAgB,CAAA;AAC5D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAClD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAA;AAEtD;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,WAAW,QAAQ;IACvB,yBAAyB;IACzB,OAAO,EAAE,KAAK,CAAA;IAEd;;;OAGG;IACH,MAAM,EAAE,YAAY,CAAA;IAEpB;;;;;;;;;;;;;;;OAeG;IACH,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE;QAAE,MAAM,EAAE,YAAY,CAAC;QAAC,UAAU,EAAE,WAAW,GAAG,OAAO,CAAA;KAAE,CAAC,CAAA;IAErF;;;;;OAKG;IACH,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;IAEjC,+CAA+C;IAC/C,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAA;IAEzC,mDAAmD;IACnD,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;IAElC;;;OAGG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAA;IAE5C;;;OAGG;IACH,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAA;CACnD;AAED,yEAAyE;AACzE,wBAAgB,eAAe,CAAC,MAAM,EAAE,QAAQ,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAEzE"}

package/dist/ir/ir.js

@@ -2,3 +2,4 @@
 export function allDeclarations(schema) {
     return { ...schema.interfaces, ...schema.classes };
 }
+//# sourceMappingURL=ir.js.map

package/dist/ir/ir.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ir.js","sourceRoot":"","sources":["../../src/ir/ir.ts"],"names":[],"mappings":"AA8EA,yEAAyE;AACzE,MAAM,UAAU,eAAe,CAAC,MAAgB;IAC9C,OAAO,EAAE,GAAG,MAAM,CAAC,UAAU,EAAE,GAAG,MAAM,CAAC,OAAO,EAAE,CAAA;AACpD,CAAC"}

package/dist/ir/json-schema.js

@@ -1 +1,2 @@
 export {};
+//# sourceMappingURL=json-schema.js.map

package/dist/ir/json-schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"json-schema.js","sourceRoot":"","sources":["../../src/ir/json-schema.ts"],"names":[],"mappings":""}

package/dist/ir/policies.d.ts

@@ -0,0 +1,74 @@
+/** Absolute, domain-qualified reference used by the additive Policy IR. */
+export interface DomainMemberRef<K extends string> {
+    readonly origin: string;
+    readonly kind: K;
+    readonly name: string;
+}
+export type PolicyRef = DomainMemberRef<'policy'>;
+export type NodeClassRef = DomainMemberRef<'node-class'>;
+export type EdgeClassRef = DomainMemberRef<'edge-class'>;
+export type PolicyPatternNode = {
+    readonly kind: 'subject';
+} | {
+    readonly kind: 'object';
+} | {
+    readonly kind: 'variable';
+    readonly id: number;
+};
+export interface PolicyRepeat {
+    readonly min: number;
+    readonly max: number;
+}
+export interface PolicyEdgePattern {
+    readonly source: PolicyPatternNode;
+    readonly class: EdgeClassRef;
+    readonly target: PolicyPatternNode;
+    readonly repeat?: PolicyRepeat;
+}
+export interface PolicyVariable {
+    readonly variable: Extract<PolicyPatternNode, {
+        readonly kind: 'variable';
+    }>;
+    readonly class: NodeClassRef;
+}
+/** @deprecated V1 calls existential terms variables. */
+export type PolicyLocalNode = PolicyVariable;
+export type PolicyPatternExpr = PolicyEdgePattern | {
+    readonly exists: {
+        readonly nodes: readonly [PolicyVariable, ...PolicyVariable[]];
+        readonly where: PolicyPatternExpr;
+    };
+} | {
+    readonly allOf: readonly [PolicyPatternExpr, ...PolicyPatternExpr[]];
+} | {
+    readonly anyOf: readonly [PolicyPatternExpr, ...PolicyPatternExpr[]];
+};
+interface DescribedPolicy {
+    readonly description?: string;
+}
+export type PolicyDeclaration = (DescribedPolicy & {
+    readonly match: PolicyPatternExpr;
+}) | (DescribedPolicy & {
+    readonly allOf: readonly [PolicyRef, ...PolicyRef[]];
+}) | (DescribedPolicy & {
+    readonly anyOf: readonly [PolicyRef, ...PolicyRef[]];
+});
+export interface NodeClassPolicies {
+    readonly read?: PolicyRef;
+}
+export type PolicyCheckObject = {
+    readonly kind: 'self';
+} | {
+    readonly kind: 'input';
+    readonly field: string;
+};
+export type FunctionPolicyExpr = {
+    readonly check: PolicyRef;
+    readonly object: PolicyCheckObject;
+} | {
+    readonly allOf: readonly [FunctionPolicyExpr, ...FunctionPolicyExpr[]];
+} | {
+    readonly anyOf: readonly [FunctionPolicyExpr, ...FunctionPolicyExpr[]];
+};
+export {};
+//# sourceMappingURL=policies.d.ts.map

package/dist/ir/policies.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"policies.d.ts","sourceRoot":"","sources":["../../src/ir/policies.ts"],"names":[],"mappings":"AAAA,2EAA2E;AAC3E,MAAM,WAAW,eAAe,CAAC,CAAC,SAAS,MAAM;IAC/C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;IAChB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CACtB;AAED,MAAM,MAAM,SAAS,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAA;AACjD,MAAM,MAAM,YAAY,GAAG,eAAe,CAAC,YAAY,CAAC,CAAA;AACxD,MAAM,MAAM,YAAY,GAAG,eAAe,CAAC,YAAY,CAAC,CAAA;AAExD,MAAM,MAAM,iBAAiB,GACzB;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,GAC5B;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,GAC3B;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAA;AAEtD,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CACrB;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,MAAM,EAAE,iBAAiB,CAAA;IAClC,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAA;IAC5B,QAAQ,CAAC,MAAM,EAAE,iBAAiB,CAAA;IAClC,QAAQ,CAAC,MAAM,CAAC,EAAE,YAAY,CAAA;CAC/B;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,iBAAiB,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;KAAE,CAAC,CAAA;IAC5E,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAA;CAC7B;AAED,wDAAwD;AACxD,MAAM,MAAM,eAAe,GAAG,cAAc,CAAA;AAE5C,MAAM,MAAM,iBAAiB,GACzB,iBAAiB,GACjB;IACE,QAAQ,CAAC,MAAM,EAAE;QACf,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,cAAc,EAAE,GAAG,cAAc,EAAE,CAAC,CAAA;QAC9D,QAAQ,CAAC,KAAK,EAAE,iBAAiB,CAAA;KAClC,CAAA;CACF,GACD;IAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,iBAAiB,EAAE,GAAG,iBAAiB,EAAE,CAAC,CAAA;CAAE,GACxE;IAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,iBAAiB,EAAE,GAAG,iBAAiB,EAAE,CAAC,CAAA;CAAE,CAAA;AAE5E,UAAU,eAAe;IACvB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAC9B;AAED,MAAM,MAAM,iBAAiB,GACzB,CAAC,eAAe,GAAG;IAAE,QAAQ,CAAC,KAAK,EAAE,iBAAiB,CAAA;CAAE,CAAC,GACzD,CAAC,eAAe,GAAG;IAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,SAAS,EAAE,GAAG,SAAS,EAAE,CAAC,CAAA;CAAE,CAAC,GAC5E,CAAC,eAAe,GAAG;IAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,SAAS,EAAE,GAAG,SAAS,EAAE,CAAC,CAAA;CAAE,CAAC,CAAA;AAEhF,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,CAAA;CAC1B;AAED,MAAM,MAAM,iBAAiB,GACzB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACzB;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAA;AAEtD,MAAM,MAAM,kBAAkB,GAC1B;IAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,iBAAiB,CAAA;CAAE,GACjE;IAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,kBAAkB,EAAE,GAAG,kBAAkB,EAAE,CAAC,CAAA;CAAE,GAC1E;IAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,kBAAkB,EAAE,GAAG,kBAAkB,EAAE,CAAC,CAAA;CAAE,CAAA"}

package/dist/ir/policies.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=policies.js.map

package/dist/ir/policies.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"policies.js","sourceRoot":"","sources":["../../src/ir/policies.ts"],"names":[],"mappings":""}

package/dist/schema/classify.js

@@ -17,3 +17,4 @@ export function classifyDefs(interfaces, classes) {
         }
     }
 }
+//# sourceMappingURL=classify.js.map

package/dist/schema/classify.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"classify.js","sourceRoot":"","sources":["../../src/schema/classify.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,UAAU,EAAe,MAAM,wCAAwC,CAAA;AAC5F,OAAO,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAA;AAElD;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAC1B,UAAkC,EAClC,OAA+B;IAE/B,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;QACrD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACrB,MAAM,IAAI,qBAAqB,CAC7B,eAAe,IAAI,+BAA+B,GAAG,CAAC,MAAM,iDAAiD,EAC7G,cAAc,IAAI,EAAE,EACpB,iCAAiC,EACjC,GAAG,CAAC,MAAM,CACX,CAAA;QACH,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QAClD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACrB,MAAM,IAAI,qBAAqB,CAC7B,eAAe,IAAI,4BAA4B,GAAG,CAAC,MAAM,yCAAyC,EAClG,WAAW,IAAI,EAAE,EACjB,yBAAyB,EACzB,GAAG,CAAC,MAAM,CACX,CAAA;QACH,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/schema/define.d.ts

@@ -1,10 +1,12 @@
 import type { AnyInterfaceDef, AnyClassDef } from '../grammar/definition/discriminants.js';
 import type { FuncDef } from '../grammar/function/def.js';
+import type { PolicyDef } from '../grammar/policy/def.js';
 import type { Schema } from './schema.js';
 interface DefineSchemaInput<I extends Record<string, AnyInterfaceDef>, C extends Record<string, AnyClassDef>> {
     readonly interfaces: I;
     readonly classes: C;
     readonly functions?: Record<string, FuncDef>;
+    readonly policies?: Record<string, PolicyDef>;
     readonly imports?: readonly Schema[];
 }
 /**

package/dist/schema/define.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"define.d.ts","sourceRoot":"","sources":["../../src/schema/define.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,wCAAwC,CAAA;AAC1F,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,4BAA4B,CAAA;AACzD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAOzC,UAAU,iBAAiB,CACzB,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,EACzC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC;IAErC,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAA;IACtB,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;IACnB,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAC5C,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;CACrC;AAED;;;;;;GAMG;AACH,wBAAgB,YAAY,CAC1B,KAAK,CAAC,CAAC,SAAS,MAAM,EACtB,KAAK,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,EAC/C,KAAK,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,EAC3C,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG;IAAE,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;CAAE,CAiClF"}
+{"version":3,"file":"define.d.ts","sourceRoot":"","sources":["../../src/schema/define.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,wCAAwC,CAAA;AAC1F,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,4BAA4B,CAAA;AACzD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAA;AACzD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAOzC,UAAU,iBAAiB,CACzB,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,EACzC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC;IAErC,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAA;IACtB,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;IACnB,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAC5C,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;IAC7C,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;CACrC;AAED;;;;;;GAMG;AACH,wBAAgB,YAAY,CAC1B,KAAK,CAAC,CAAC,SAAS,MAAM,EACtB,KAAK,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,EAC/C,KAAK,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,EAC3C,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG;IAAE,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;CAAE,CAkDlF"}

package/dist/schema/define.js

@@ -13,6 +13,7 @@ export function defineSchema(domain, input) {
     const interfaces = input.interfaces;
     const classes = input.classes;
     const functions = input.functions ?? {};
+    const policies = input.policies ?? {};
     const imports = input.imports ?? [];
     // Phase 1: Resolve thunks and self-references.
     // Iterate both groups without collapsing same-named defs (a class and an
@@ -30,11 +31,28 @@ export function defineSchema(domain, input) {
         interfaces,
         classes,
         functions,
+        ...(input.policies ? { policies } : {}),
         imports,
     };
     const descriptorMap = buildDefDescriptorMap(schema);
     // Phase 4: Validate
-    const ctx = { domain, interfaces, classes, imports, descriptorMap };
+    const ctx = {
+        domain,
+        interfaces,
+        classes,
+        functions,
+        policies,
+        imports,
+        descriptorMap,
+    };
     validateSchema(ctx);
-    return { domain, interfaces, classes, functions, imports };
+    return {
+        domain,
+        interfaces,
+        classes,
+        functions,
+        ...(input.policies ? { policies } : {}),
+        imports,
+    };
 }
+//# sourceMappingURL=define.js.map

package/dist/schema/define.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"define.js","sourceRoot":"","sources":["../../src/schema/define.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAA;AAC5C,OAAO,EAAE,qBAAqB,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAC1D,OAAO,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAA;AACnG,OAAO,EAAE,cAAc,EAAsB,MAAM,uBAAuB,CAAA;AAa1E;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAI1B,MAAS,EAAE,KAA8B;IACzC,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,CAAA;IACnC,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAA;IAC7B,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,IAAI,EAAE,CAAA;IACvC,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,IAAI,EAAE,CAAA;IACrC,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,IAAI,EAAE,CAAA;IAEnC,+CAA+C;IAC/C,yEAAyE;IACzE,gEAAgE;IAChE,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE,CAAC;QACvD,mBAAmB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QAC9B,kBAAkB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QAC7B,qBAAqB,CAAC,GAAG,CAAC,CAAA;IAC5B,CAAC;IAED,oDAAoD;IACpD,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;IAEjC,qDAAqD;IACrD,MAAM,MAAM,GAAiB;QAC3B,MAAM;QACN,UAAU;QACV,OAAO;QACP,SAAS;QACT,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvC,OAAO;KACR,CAAA;IACD,MAAM,aAAa,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAA;IAEnD,oBAAoB;IACpB,MAAM,GAAG,GAAkB;QACzB,MAAM;QACN,UAAU;QACV,OAAO;QACP,SAAS;QACT,QAAQ;QACR,OAAO;QACP,aAAa;KACd,CAAA;IACD,cAAc,CAAC,GAAG,CAAC,CAAA;IAEnB,OAAO;QACL,MAAM;QACN,UAAU;QACV,OAAO;QACP,SAAS;QACT,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvC,OAAO;KACR,CAAA;AACH,CAAC"}

package/dist/schema/error.js

@@ -11,3 +11,4 @@ export class SchemaValidationError extends Error {
         this.name = 'SchemaValidationError';
     }
 }
+//# sourceMappingURL=error.js.map

package/dist/schema/error.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"error.js","sourceRoot":"","sources":["../../src/schema/error.ts"],"names":[],"mappings":"AAAA,sDAAsD;AACtD,MAAM,OAAO,qBAAsB,SAAQ,KAAK;IAG5B,KAAK;IACL,QAAQ;IACR,QAAQ;IAJ1B,YACE,OAAe,EACC,KAAa,EACb,QAAiB,EACjB,QAAiB;QAEjC,KAAK,CAAC,OAAO,CAAC,CAAA;qBAJE,KAAK;wBACL,QAAQ;wBACR,QAAQ;QAGxB,IAAI,CAAC,IAAI,GAAG,uBAAuB,CAAA;IACrC,CAAC;CACF"}

package/dist/schema/refs.js

@@ -97,3 +97,4 @@ export function findDefTransitive(root, target) {
 export function eachDef(interfaces, classes) {
     return [...Object.entries(interfaces), ...Object.entries(classes)];
 }
+//# sourceMappingURL=refs.js.map

package/dist/schema/refs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"refs.js","sourceRoot":"","sources":["../../src/schema/refs.ts"],"names":[],"mappings":"AAMA,6DAA6D;AAC7D,MAAM,CAAC,MAAM,aAAa,GAAG,GAAG,CAAA;AAYhC,4BAA4B;AAC5B,MAAM,UAAU,MAAM,CAA0C,IAAO,EAAE,IAAO;IAC9E,OAAO,GAAG,IAAI,GAAG,aAAa,GAAG,IAAI,EAAkB,CAAA;AACzD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,GAAW;IACrC,MAAM,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,aAAa,CAAC,CAAA;IACpC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACV,MAAM,IAAI,KAAK,CAAC,qBAAqB,GAAG,sBAAsB,aAAa,SAAS,CAAC,CAAA;IACvF,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAgB,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAA;AACzE,CAAC;AAED,+BAA+B;AAC/B,MAAM,UAAU,SAAS,CACvB,IAAO,EACP,IAAO,EACP,MAAS;IAET,OAAO,GAAG,IAAI,GAAG,aAAa,GAAG,IAAI,GAAG,aAAa,GAAG,MAAM,EAAwB,CAAA;AACxF,CAAC;AASD;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAAC,MAAc;IAC/C,MAAM,GAAG,GAAG,IAAI,GAAG,EAAyB,CAAA;IAE5C,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;QAC5D,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC,EAAE,CAAC,CAAA;IAC5E,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QACzD,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC,CAAA;IACpE,CAAC;IAED,OAAO,GAAG,CAAA;AACZ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,qBAAqB,CAAC,MAAc;IAClD,MAAM,GAAG,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAA;IACtC,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;QAC5C,MAAM,WAAW,GAAG,kBAAkB,CAAC,QAAQ,CAAC,CAAA;QAChD,KAAK,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,IAAI,WAAW,EAAE,CAAC;YAC1C,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAA;QACxB,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,kDAAkD;AAClD,MAAM,UAAU,UAAU,CAAC,GAAW,EAAE,aAAyC;IAC/E,OAAO,aAAa,CAAC,GAAG,CAAC,GAAa,CAAC,CAAA;AACzC,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,iBAAiB,CAC/B,IAAY,EACZ,MAAc;IAEd,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,CAAC,IAAI,CAAC,CAAC,CAAA;IACvC,MAAM,KAAK,GAA8C,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACxF,MAAM,EAAE,CAAC;QACT,IAAI,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;KACjB,CAAC,CAAC,CAAA;IAEH,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,KAAK,EAAG,CAAA;QACvC,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,SAAQ;QACjC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;QAEnB,IAAI,kBAAkB,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3C,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,CAAA;QACxC,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;YACxC,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAQ;YAC/B,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;QAC5D,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAA;AACb,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,OAAO,CACrB,UAAkC,EAClC,OAA+B;IAE/B,OAAO,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAA;AACpE,CAAC"}

package/dist/schema/resolve/index.js

@@ -2,3 +2,4 @@ export { resolveConfigThunks, resolveParamThunks } from './thunks.js';
 export { resolveSelfReferences } from './self.js';
 export { resolveAllMethods } from './methods.js';
 export { resolveAllProperties, resolveAllPropertyKeys } from './properties.js';
+//# sourceMappingURL=index.js.map