@astrale-os/kernel-dsl 0.2.0-beta.1 → 0.2.0-beta.3

package/dist/v1/schema/canonical/domain.js

@@ -59,12 +59,19 @@ function canonicalizeInterface(value) {
             ...(value.data === undefined ? {} : { data: { mediaType: value.data.mediaType } }),
         };
     }
-    return {
-        ...base,
-        endpoints: canonicalizeEndpoints(value.endpoints),
-        orientation: value.orientation,
-        constraints: value.constraints,
-    };
+    return value.orientation === 'directed'
+        ? {
+            ...base,
+            orientation: 'directed',
+            endpoints: canonicalizeDirectedEndpoints(value.endpoints),
+            constraints: value.constraints,
+        }
+        : {
+            ...base,
+            orientation: 'undirected',
+            endpoints: canonicalizeIncidentEndpoints(value.endpoints),
+            constraints: value.constraints,
+        };
 }
 function canonicalizeClass(value) {
     const base = {
@@ -83,13 +90,21 @@ function canonicalizeClass(value) {
             policies: value.policies,
         };
     }
-    return {
-        ...base,
-        endpoints: canonicalizeEndpoints(value.endpoints),
-        orientation: value.orientation,
-        policies: value.policies,
-        constraints: value.constraints,
-    };
+    return value.orientation === 'directed'
+        ? {
+            ...base,
+            orientation: 'directed',
+            endpoints: canonicalizeDirectedEndpoints(value.endpoints),
+            policies: value.policies,
+            constraints: value.constraints,
+        }
+        : {
+            ...base,
+            orientation: 'undirected',
+            endpoints: canonicalizeIncidentEndpoints(value.endpoints),
+            policies: value.policies,
+            constraints: value.constraints,
+        };
 }
 function canonicalizeFunction(value) {
     return {
@@ -123,16 +138,34 @@ function canonicalizePropertyFacet(value) {
 }
 function canonicalizePropertyMetadata(value) {
     return Object.fromEntries(Object.entries(value)
-        .filter(([, metadata]) => metadata.visibility === 'private')
+        .filter(([, metadata]) => metadata.visibility === 'private' || metadata.auto !== undefined)
+        .map(([name, metadata]) => [
+        name,
+        metadata.auto === undefined
+            ? { visibility: metadata.visibility }
+            : {
+                visibility: metadata.visibility,
+                auto: {
+                    on: [...new Set(metadata.auto.on)].sort(compareUnicode),
+                    set: metadata.auto.set,
+                },
+            },
+    ])
         .sort(([left], [right]) => compareUnicode(left, right)));
 }
-function canonicalizeEndpoints(value) {
+function canonicalizeDirectedEndpoints(value) {
     return {
         ...value,
         source: { ...value.source, accepts: [...value.source.accepts].sort(compareSchemaRefs) },
         target: { ...value.target, accepts: [...value.target.accepts].sort(compareSchemaRefs) },
     };
 }
+function canonicalizeIncidentEndpoints(value) {
+    return [
+        { ...value[0], accepts: [...value[0].accepts].sort(compareSchemaRefs) },
+        { ...value[1], accepts: [...value[1].accepts].sort(compareSchemaRefs) },
+    ];
+}
 function canonicalizeCoreEdge(edge, origin, orientationByClass) {
     const isLocal = edge.class.origin === origin;
     const isUndirected = isLocal && orientationByClass.get(edge.class.name) === 'undirected';

package/dist/v1/schema/canonical/domain.js.map

@@ -1 +1 @@
-{"version":3,"file":"domain.js","sourceRoot":"","sources":["../../../../v1/schema/canonical/domain.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,IAAI,EAAE,MAAM,8BAA8B,CAAA;AAWnD,OAAO,EAAE,qBAAqB,EAAE,0BAA0B,EAAE,MAAM,wBAAwB,CAAA;AAC1F,OAAO,EACL,iBAAiB,EACjB,cAAc,GAGf,MAAM,iBAAiB,CAAA;AACxB,OAAO,EAAE,uBAAuB,EAAE,MAAM,kCAAkC,CAAA;AAE1E,MAAM,UAAU,wBAAwB,CAAC,MAAsB;IAC7D,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAA;IAC5D,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAChC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC;SACpB,MAAM,CACL,CAAC,KAAK,EAAoE,EAAE,CAC1E,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAC7B;SACA,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,WAAW,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,WAAW,CAAC,WAAW,CAAC,CAAC,CACjE,CAAA;IAED,MAAM,SAAS,GAAmB;QAChC,MAAM,EAAE,aAAa;QACrB,OAAO,EAAE,IAAI;QACb,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,YAAY,EAAE,CAAC,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAC1D,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAC1C;QACD,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,uBAAuB,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;QACvF,UAAU,EAAE,SAAS,CAAC,MAAM,CAAC,UAAU,EAAE,qBAAqB,CAAC;QAC/D,OAAO;QACP,SAAS,EAAE,SAAS,CAAC,MAAM,CAAC,SAAS,EAAE,oBAAoB,CAAC;QAC5D,QAAQ,EAAE,SAAS,CAAC,MAAM,CAAC,QAAQ,EAAE,0BAA0B,CAAC;QAChE,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,gBAAgB,CAAC;QAChD,IAAI,EAAE;YACJ,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBAC7C,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC,UAAU,CAA2B;aACrE,CAAC,CAAC;YACH,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK;iBACrB,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;iBAC5E,IAAI,CAAC,gBAAgB,CAAC;SAC1B;KACF,CAAA;IACD,OAAO,aAAa,CAAC,SAAS,CAA8B,CAAA;AAC9D,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAsB;IAC9C,OAAO;QACL,GAAG,eAAe,CAAC,KAAK,CAAC;QACzB,MAAM,EACJ,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ;YAC5B,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE;YACpB,CAAC,CAAC;gBACE,IAAI,EAAE,YAAY;gBAClB,WAAW,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAGhE;aACF;QACP,IAAI,EAAE,KAAK,CAAC,IAAI;KACjB,CAAA;AACH,CAAC;AAED,SAAS,qBAAqB,CAAC,KAA2B;IACxD,MAAM,IAAI,GAAG;QACX,GAAG,eAAe,CAAC,KAAK,CAAC;QACzB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC;QACnD,UAAU,EAAE,yBAAyB,CAAC,KAAK,CAAC,UAAU,CAAC;QACvD,gBAAgB,EAAE,4BAA4B,CAAC,KAAK,CAAC,gBAAgB,CAAC;KACvE,CAAA;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM;QAAE,OAAO,IAA4B,CAAA;IAChE,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC5B,OAAO;YACL,GAAG,IAAI;YACP,OAAO,EAAE,SAAS,CAAC,KAAK,CAAC,OAAO,EAAE,kBAAkB,CAAC;YACrD,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,EAAE,CAAC;SAC3D,CAAA;IAC3B,CAAC;IACD,OAAO;QACL,GAAG,IAAI;QACP,SAAS,EAAE,qBAAqB,CAAC,KAAK,CAAC,SAAS,CAAC;QACjD,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,WAAW,EAAE,KAAK,CAAC,WAAW;KACP,CAAA;AAC3B,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAuB;IAChD,MAAM,IAAI,GAAG;QACX,GAAG,eAAe,CAAC,KAAK,CAAC;QACzB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,UAAU,EAAE,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC;QACzD,UAAU,EAAE,yBAAyB,CAAC,KAAK,CAAC,UAAU,CAAC;QACvD,gBAAgB,EAAE,4BAA4B,CAAC,KAAK,CAAC,gBAAgB,CAAC;KACvE,CAAA;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC5B,OAAO;YACL,GAAG,IAAI;YACP,OAAO,EAAE,SAAS,CAAC,KAAK,CAAC,OAAO,EAAE,kBAAkB,CAAC;YACrD,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,EAAE,CAAC;YAClF,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;YACzD,QAAQ,EAAE,KAAK,CAAC,QAAQ;SACL,CAAA;IACvB,CAAC;IACD,OAAO;QACL,GAAG,IAAI;QACP,SAAS,EAAE,qBAAqB,CAAC,KAAK,CAAC,SAAS,CAAC;QACjD,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,WAAW,EAAE,KAAK,CAAC,WAAW;KACX,CAAA;AACvB,CAAC;AAED,SAAS,oBAAoB,CAAC,KAA0B;IACtD,OAAO;QACL,GAAG,eAAe,CAAC,KAAK,CAAC;QACzB,KAAK,EAAE,uBAAuB,CAAC,KAAK,CAAC,KAAK,EAAE,gBAAgB,CAAC;QAC7D,MAAM,EAAE,0BAA0B,CAAC,KAAK,CAAC,MAAM,CAAC;QAChD,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,qBAAqB,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;KACvF,CAAA;AACH,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAwB;IAClD,OAAO;QACL,GAAG,oBAAoB,CAAC,KAAK,CAAC;QAC9B,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,WAAW,EAAE,KAAK,CAAC,WAAW;KAC/B,CAAA;AACH,CAAC;AAED,SAAS,0BAA0B,CAAC,KAAqB;IACvD,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,OAAO;YACV,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,uBAAuB,CAAC,KAAK,CAAC,MAAM,EAAE,iBAAiB,CAAC,EAAE,CAAA;QAC5F,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,uBAAuB,CAAC,KAAK,CAAC,IAAI,EAAE,iBAAiB,CAAC,EAAE,CAAA;QACzF,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAA;IAC7B,CAAC;AACH,CAAC;AAED,SAAS,yBAAyB,CAAC,KAA2B;IAC5D,MAAM,SAAS,GAAG,uBAAuB,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAA;IAClE,OAAO,SAAiC,CAAA;AAC1C,CAAC;AAED,SAAS,4BAA4B,CAAC,KAA6B;IACjE,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;SAClB,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,UAAU,KAAK,SAAS,CAAC;SAC3D,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAC1D,CAAA;AACH,CAAC;AAED,SAAS,qBAAqB,CAK5B,KAAQ;IACR,OAAO;QACL,GAAG,KAAK;QACR,MAAM,EAAE,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE;QACvF,MAAM,EAAE,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE;KACxF,CAAA;AACH,CAAC;AAED,SAAS,oBAAoB,CAC3B,IAAyB,EACzB,MAAc,EACd,kBAA+C;IAE/C,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,MAAM,CAAA;IAC5C,MAAM,YAAY,GAAG,OAAO,IAAI,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,YAAY,CAAA;IACxF,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GACpB,YAAY,IAAI,oBAAoB,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC;QAChE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC;QAC5B,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAA;IAChC,OAAO;QACL,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,MAAM;QACN,MAAM;QACN,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC,UAAU,CAA2B;KACrE,CAAA;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAyB,EAAE,KAA0B;IAC7E,OAAO,CACL,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;QAC1C,oBAAoB,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC;QAC/C,oBAAoB,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC;QAC/C,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAChF,CAAA;AACH,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAqB,EAAE,KAAsB;IACzE,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACnE,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAA;IACrC,OAAO,iBAAiB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;AACvC,CAAC;AAED,SAAS,YAAY,CAAC,IAAY,EAAE,KAAa;IAC/C,MAAM,OAAO,GAAG,IAAI,WAAW,EAAE,CAAA;IACjC,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAC9B,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;IAC/B,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAA;IAC3C,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAC5C,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC;YAAE,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA;IACrE,CAAC;IACD,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAA;AAC5B,CAAC;AAED,SAAS,SAAS,CAChB,KAAkC,EAClC,GAAkC;IAElC,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;SAClB,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;SACtD,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CACpD,CAAA;AACH,CAAC;AAED,SAAS,eAAe,CAAC,KAAwC;IAG/D,OAAO,KAAK,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,CAAA;AAClF,CAAC;AAED,SAAS,aAAa,CAAC,KAAiC;IACtD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,IAAI,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,oCAAoC,CAAC,CAAA;QACnF,OAAO,KAAK,CAAA;IACd,CAAC;IACD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAA;IAC7D,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,CAAc,CAAA;IACxF,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,aAAa,CAAC,KAAkB,CAAC,CAAC,CAAC,CACzE,CAAA;AAChB,CAAC"}
+{"version":3,"file":"domain.js","sourceRoot":"","sources":["../../../../v1/schema/canonical/domain.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,IAAI,EAAE,MAAM,8BAA8B,CAAA;AAWnD,OAAO,EAAE,qBAAqB,EAAE,0BAA0B,EAAE,MAAM,wBAAwB,CAAA;AAC1F,OAAO,EACL,iBAAiB,EACjB,cAAc,GAGf,MAAM,iBAAiB,CAAA;AACxB,OAAO,EAAE,uBAAuB,EAAE,MAAM,kCAAkC,CAAA;AAE1E,MAAM,UAAU,wBAAwB,CAAC,MAAsB;IAC7D,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAA;IAC5D,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAChC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC;SACpB,MAAM,CACL,CAAC,KAAK,EAAoE,EAAE,CAC1E,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAC7B;SACA,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,WAAW,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,WAAW,CAAC,WAAW,CAAC,CAAC,CACjE,CAAA;IAED,MAAM,SAAS,GAAmB;QAChC,MAAM,EAAE,aAAa;QACrB,OAAO,EAAE,IAAI;QACb,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,YAAY,EAAE,CAAC,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAC1D,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAC1C;QACD,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,uBAAuB,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;QACvF,UAAU,EAAE,SAAS,CAAC,MAAM,CAAC,UAAU,EAAE,qBAAqB,CAAC;QAC/D,OAAO;QACP,SAAS,EAAE,SAAS,CAAC,MAAM,CAAC,SAAS,EAAE,oBAAoB,CAAC;QAC5D,QAAQ,EAAE,SAAS,CAAC,MAAM,CAAC,QAAQ,EAAE,0BAA0B,CAAC;QAChE,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,gBAAgB,CAAC;QAChD,IAAI,EAAE;YACJ,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBAC7C,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC,UAAU,CAA2B;aACrE,CAAC,CAAC;YACH,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK;iBACrB,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;iBAC5E,IAAI,CAAC,gBAAgB,CAAC;SAC1B;KACF,CAAA;IACD,OAAO,aAAa,CAAC,SAAS,CAA8B,CAAA;AAC9D,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAsB;IAC9C,OAAO;QACL,GAAG,eAAe,CAAC,KAAK,CAAC;QACzB,MAAM,EACJ,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ;YAC5B,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE;YACpB,CAAC,CAAC;gBACE,IAAI,EAAE,YAAY;gBAClB,WAAW,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAGhE;aACF;QACP,IAAI,EAAE,KAAK,CAAC,IAAI;KACjB,CAAA;AACH,CAAC;AAED,SAAS,qBAAqB,CAAC,KAA2B;IACxD,MAAM,IAAI,GAAG;QACX,GAAG,eAAe,CAAC,KAAK,CAAC;QACzB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC;QACnD,UAAU,EAAE,yBAAyB,CAAC,KAAK,CAAC,UAAU,CAAC;QACvD,gBAAgB,EAAE,4BAA4B,CAAC,KAAK,CAAC,gBAAgB,CAAC;KACvE,CAAA;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM;QAAE,OAAO,IAA4B,CAAA;IAChE,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC5B,OAAO;YACL,GAAG,IAAI;YACP,OAAO,EAAE,SAAS,CAAC,KAAK,CAAC,OAAO,EAAE,kBAAkB,CAAC;YACrD,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,EAAE,CAAC;SAC3D,CAAA;IAC3B,CAAC;IACD,OAAO,KAAK,CAAC,WAAW,KAAK,UAAU;QACrC,CAAC,CAAE;YACC,GAAG,IAAI;YACP,WAAW,EAAE,UAAU;YACvB,SAAS,EAAE,6BAA6B,CAAC,KAAK,CAAC,SAAS,CAAC;YACzD,WAAW,EAAE,KAAK,CAAC,WAAW;SACN;QAC5B,CAAC,CAAE;YACC,GAAG,IAAI;YACP,WAAW,EAAE,YAAY;YACzB,SAAS,EAAE,6BAA6B,CAAC,KAAK,CAAC,SAAS,CAAC;YACzD,WAAW,EAAE,KAAK,CAAC,WAAW;SACN,CAAA;AAChC,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAuB;IAChD,MAAM,IAAI,GAAG;QACX,GAAG,eAAe,CAAC,KAAK,CAAC;QACzB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,UAAU,EAAE,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC;QACzD,UAAU,EAAE,yBAAyB,CAAC,KAAK,CAAC,UAAU,CAAC;QACvD,gBAAgB,EAAE,4BAA4B,CAAC,KAAK,CAAC,gBAAgB,CAAC;KACvE,CAAA;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC5B,OAAO;YACL,GAAG,IAAI;YACP,OAAO,EAAE,SAAS,CAAC,KAAK,CAAC,OAAO,EAAE,kBAAkB,CAAC;YACrD,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,EAAE,CAAC;YAClF,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;YACzD,QAAQ,EAAE,KAAK,CAAC,QAAQ;SACL,CAAA;IACvB,CAAC;IACD,OAAO,KAAK,CAAC,WAAW,KAAK,UAAU;QACrC,CAAC,CAAE;YACC,GAAG,IAAI;YACP,WAAW,EAAE,UAAU;YACvB,SAAS,EAAE,6BAA6B,CAAC,KAAK,CAAC,SAAS,CAAC;YACzD,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,WAAW,EAAE,KAAK,CAAC,WAAW;SACV;QACxB,CAAC,CAAE;YACC,GAAG,IAAI;YACP,WAAW,EAAE,YAAY;YACzB,SAAS,EAAE,6BAA6B,CAAC,KAAK,CAAC,SAAS,CAAC;YACzD,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,WAAW,EAAE,KAAK,CAAC,WAAW;SACV,CAAA;AAC5B,CAAC;AAED,SAAS,oBAAoB,CAAC,KAA0B;IACtD,OAAO;QACL,GAAG,eAAe,CAAC,KAAK,CAAC;QACzB,KAAK,EAAE,uBAAuB,CAAC,KAAK,CAAC,KAAK,EAAE,gBAAgB,CAAC;QAC7D,MAAM,EAAE,0BAA0B,CAAC,KAAK,CAAC,MAAM,CAAC;QAChD,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,qBAAqB,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;KACvF,CAAA;AACH,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAwB;IAClD,OAAO;QACL,GAAG,oBAAoB,CAAC,KAAK,CAAC;QAC9B,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,WAAW,EAAE,KAAK,CAAC,WAAW;KAC/B,CAAA;AACH,CAAC;AAED,SAAS,0BAA0B,CAAC,KAAqB;IACvD,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,OAAO;YACV,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,uBAAuB,CAAC,KAAK,CAAC,MAAM,EAAE,iBAAiB,CAAC,EAAE,CAAA;QAC5F,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,uBAAuB,CAAC,KAAK,CAAC,IAAI,EAAE,iBAAiB,CAAC,EAAE,CAAA;QACzF,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAA;IAC7B,CAAC;AACH,CAAC;AAED,SAAS,yBAAyB,CAAC,KAA2B;IAC5D,MAAM,SAAS,GAAG,uBAAuB,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAA;IAClE,OAAO,SAAiC,CAAA;AAC1C,CAAC;AAED,SAAS,4BAA4B,CAAC,KAA6B;IACjE,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;SAClB,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,UAAU,KAAK,SAAS,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,CAAC;SAC1F,GAAG,CACF,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,EAAE,CACnB;QACE,IAAI;QACJ,QAAQ,CAAC,IAAI,KAAK,SAAS;YACzB,CAAC,CAAC,EAAE,UAAU,EAAE,QAAQ,CAAC,UAAU,EAAE;YACrC,CAAC,CAAC;gBACE,UAAU,EAAE,QAAQ,CAAC,UAAU;gBAC/B,IAAI,EAAE;oBACJ,EAAE,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC;oBACvD,GAAG,EAAE,QAAQ,CAAC,IAAI,CAAC,GAAG;iBACvB;aACF;KACG,CACb;SACA,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAC1D,CAAA;AACH,CAAC;AAED,SAAS,6BAA6B,CAKpC,KAAQ;IACR,OAAO;QACL,GAAG,KAAK;QACR,MAAM,EAAE,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE;QACvF,MAAM,EAAE,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE;KACxF,CAAA;AACH,CAAC;AAED,SAAS,6BAA6B,CAKpC,KAAQ;IACR,OAAO;QACL,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE;QACvE,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE;KACxD,CAAA;AACnB,CAAC;AAED,SAAS,oBAAoB,CAC3B,IAAyB,EACzB,MAAc,EACd,kBAA+C;IAE/C,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,MAAM,CAAA;IAC5C,MAAM,YAAY,GAAG,OAAO,IAAI,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,YAAY,CAAA;IACxF,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GACpB,YAAY,IAAI,oBAAoB,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC;QAChE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC;QAC5B,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAA;IAChC,OAAO;QACL,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,MAAM;QACN,MAAM;QACN,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC,UAAU,CAA2B;KACrE,CAAA;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAyB,EAAE,KAA0B;IAC7E,OAAO,CACL,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;QAC1C,oBAAoB,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC;QAC/C,oBAAoB,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC;QAC/C,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAChF,CAAA;AACH,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAqB,EAAE,KAAsB;IACzE,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACnE,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAA;IACrC,OAAO,iBAAiB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;AACvC,CAAC;AAED,SAAS,YAAY,CAAC,IAAY,EAAE,KAAa;IAC/C,MAAM,OAAO,GAAG,IAAI,WAAW,EAAE,CAAA;IACjC,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAC9B,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;IAC/B,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAA;IAC3C,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAC5C,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC;YAAE,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA;IACrE,CAAC;IACD,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAA;AAC5B,CAAC;AAED,SAAS,SAAS,CAChB,KAAkC,EAClC,GAAkC;IAElC,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;SAClB,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;SACtD,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CACpD,CAAA;AACH,CAAC;AAED,SAAS,eAAe,CAAC,KAAwC;IAG/D,OAAO,KAAK,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,CAAA;AAClF,CAAC;AAED,SAAS,aAAa,CAAC,KAAiC;IACtD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,IAAI,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,oCAAoC,CAAC,CAAA;QACnF,OAAO,KAAK,CAAA;IACd,CAAC;IACD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAA;IAC7D,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,CAAc,CAAA;IACxF,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,aAAa,CAAC,KAAkB,CAAC,CAAC,CAAC,CACzE,CAAA;AAChB,CAAC"}

package/dist/v1/schema/compiled/admission.d.ts

@@ -0,0 +1,4 @@
+import type { Bundle } from './model.js';
+/** Admit untrusted compiled bytes once before the dependency-clean evaluator trusts their indices. */
+export declare function acceptBundle(input: unknown): Bundle;
+//# sourceMappingURL=admission.d.ts.map

package/dist/v1/schema/compiled/admission.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"admission.d.ts","sourceRoot":"","sources":["../../../../v1/schema/compiled/admission.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,MAAM,EAAsD,MAAM,YAAY,CAAA;AAS5F,sGAAsG;AACtG,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CA0BnD"}

package/dist/v1/schema/compiled/admission.js

@@ -0,0 +1,217 @@
+import { accept as acceptPortable } from '@astrale-os/kernel-dsl/value';
+import { Key, Ref, DOMAIN_ORIGIN_PATTERN, DOMAIN_REVISION_PATTERN } from '../../addressing/index.js';
+import { deepFreeze } from '../canonical/freeze.js';
+const AUTH = new Set(['anonymous', 'authenticated', 'authorized']);
+const OUTPUT = new Set(['value', 'stream', 'binary']);
+const MAXIMUM_COMPILED_SCHEMA_MEMBERS = 1_000_000;
+/** Admit untrusted compiled bytes once before the dependency-clean evaluator trusts their indices. */
+export function acceptBundle(input) {
+    const root = object(acceptPortable(input, { limits: { maxMembers: MAXIMUM_COMPILED_SCHEMA_MEMBERS } }), 'Bundle');
+    exact(root, ['format', 'version', 'origin', 'revision', 'values', 'callables'], 'Bundle');
+    if (root.format !== 'astrale.dsl.compiled-schema' || root.version !== 1)
+        invalid('Bundle format');
+    if (typeof root.origin !== 'string' || !DOMAIN_ORIGIN_PATTERN.test(root.origin))
+        invalid('Bundle origin');
+    if (typeof root.revision !== 'string' || !DOMAIN_REVISION_PATTERN.test(root.revision))
+        invalid('Bundle revision');
+    const values = array(root.values, 'Bundle values').map((value, index) => program(value, index));
+    const callables = array(root.callables, 'Bundle callables').map((value, index) => callable(value, index, root.origin, values));
+    if (new Set(callables.map((entry) => entry.callable)).size !== callables.length) {
+        invalid('Bundle callables must be unique');
+    }
+    return deepFreeze({
+        format: 'astrale.dsl.compiled-schema',
+        version: 1,
+        origin: root.origin,
+        revision: root.revision,
+        values,
+        callables,
+    });
+}
+function program(input, programIndex) {
+    const value = object(input, `values[${programIndex}]`);
+    exact(value, ['root', 'nodes', 'patterns'], `values[${programIndex}]`);
+    const nodes = array(value.nodes, 'ValueProgram nodes').map((node, index) => valueNode(node, index));
+    const root = index(value.root, nodes.length, 'ValueProgram root');
+    const patterns = array(value.patterns, 'ValueProgram patterns').map((entry, index) => pattern(entry, index));
+    if (new Set(patterns.map((entry) => entry.source)).size !== patterns.length) {
+        invalid('ValueProgram patterns must be unique');
+    }
+    const sources = new Set(patterns.map((entry) => entry.source));
+    for (const node of nodes)
+        verifyPatternEvidence(node.schema, sources);
+    for (const node of nodes) {
+        for (const child of Object.values(node.children))
+            index(child, nodes.length, 'ValueNode child');
+        if (node.reference !== undefined)
+            index(node.reference, nodes.length, 'ValueNode reference');
+    }
+    return { root, nodes, patterns };
+}
+function valueNode(input, nodeIndex) {
+    const value = object(input, `nodes[${nodeIndex}]`);
+    exact(value, ['schema', 'children'], `nodes[${nodeIndex}]`, ['reference']);
+    if (!('schema' in value))
+        invalid('ValueNode schema');
+    const children = object(value.children, 'ValueNode children');
+    const admittedChildren = {};
+    for (const [name, child] of Object.entries(children))
+        admittedChildren[name] = integer(child, 'ValueNode child');
+    return {
+        schema: value.schema,
+        children: admittedChildren,
+        ...(value.reference === undefined
+            ? {}
+            : { reference: integer(value.reference, 'ValueNode reference') }),
+    };
+}
+function pattern(input, patternIndex) {
+    const value = object(input, `patterns[${patternIndex}]`);
+    exact(value, ['source', 'start', 'states'], `patterns[${patternIndex}]`);
+    if (typeof value.source !== 'string')
+        invalid('Pattern source');
+    const states = array(value.states, 'Pattern states').map((entry, stateIndex) => {
+        const state = object(entry, `states[${stateIndex}]`);
+        exact(state, ['epsilon', 'transitions'], `states[${stateIndex}]`, ['accepting']);
+        if (state.accepting !== undefined && state.accepting !== true)
+            invalid('Pattern accepting state');
+        const epsilon = array(state.epsilon, 'Pattern epsilon').map((target) => integer(target, 'Pattern epsilon'));
+        const transitions = array(state.transitions, 'Pattern transitions').map((entry) => {
+            const transition = object(entry, 'Pattern transition');
+            exact(transition, ['to', 'ranges'], 'Pattern transition');
+            const ranges = array(transition.ranges, 'Pattern ranges').map((entry) => {
+                const range = array(entry, 'Pattern range');
+                if (range.length !== 2)
+                    invalid('Pattern range');
+                const minimum = scalar(range[0], 'Pattern range minimum');
+                const maximum = scalar(range[1], 'Pattern range maximum');
+                if (minimum > maximum)
+                    invalid('Pattern range order');
+                return [minimum, maximum];
+            });
+            return { to: integer(transition.to, 'Pattern transition target'), ranges };
+        });
+        return {
+            epsilon,
+            transitions,
+            ...(state.accepting === true ? { accepting: true } : {}),
+        };
+    });
+    const start = index(value.start, states.length, 'Pattern start');
+    for (const state of states) {
+        for (const target of state.epsilon)
+            index(target, states.length, 'Pattern epsilon');
+        for (const transition of state.transitions)
+            index(transition.to, states.length, 'Pattern transition');
+    }
+    if (!states.some((state) => state.accepting === true))
+        invalid('Pattern accepting state');
+    return { source: value.source, start, states };
+}
+function callable(input, callableIndex, origin, values) {
+    const value = object(input, `callables[${callableIndex}]`);
+    exact(value, ['callable', 'target', 'authentication', 'input', 'output'], `callables[${callableIndex}]`, ['fields']);
+    if (typeof value.callable !== 'string' ||
+        !Key.is(value.callable) ||
+        Key.origin(value.callable) !== origin)
+        invalid('Callable key');
+    const ref = Key.ref(value.callable);
+    if (!(Ref.isDefinition(ref) && Ref.namespace(ref) === 'function') && !Ref.isMethod(ref))
+        invalid('Callable key');
+    if (!AUTH.has(value.authentication))
+        invalid('Callable authentication');
+    const inputProgram = index(value.input, values.length, 'Callable input');
+    const target = object(value.target, 'Callable target');
+    const admittedTarget = target.kind === 'function'
+        ? (exact(target, ['kind'], 'Function target'), { kind: 'function' })
+        : methodTarget(target);
+    const output = object(value.output, 'Callable output');
+    if (typeof output.mode !== 'string' || !OUTPUT.has(output.mode))
+        invalid('Callable output');
+    exact(output, output.mode === 'binary' ? ['mode'] : ['mode', 'value'], 'Callable output');
+    const admittedOutput = output.mode === 'binary'
+        ? { mode: 'binary' }
+        : {
+            mode: output.mode,
+            value: index(output.value, values.length, 'Callable output'),
+        };
+    let fields;
+    if (value.fields !== undefined) {
+        fields = {};
+        for (const [name, node] of Object.entries(object(value.fields, 'Callable fields'))) {
+            fields[name] = index(node, values[inputProgram].nodes.length, 'Callable field');
+        }
+    }
+    return {
+        callable: value.callable,
+        target: admittedTarget,
+        authentication: value.authentication,
+        input: inputProgram,
+        ...(fields === undefined ? {} : { fields }),
+        output: admittedOutput,
+    };
+}
+function methodTarget(target) {
+    exact(target, ['kind', 'dispatch', 'owner'], 'Method target');
+    if (target.kind !== 'method' || (target.dispatch !== 'static' && target.dispatch !== 'instance'))
+        invalid('Method target');
+    const owner = object(target.owner, 'Method owner');
+    exact(owner, ['origin', 'kind', 'name'], 'Method owner');
+    if (typeof owner.origin !== 'string' || !DOMAIN_ORIGIN_PATTERN.test(owner.origin))
+        invalid('Method owner origin');
+    if ((owner.kind !== 'class' && owner.kind !== 'interface') || typeof owner.name !== 'string')
+        invalid('Method owner');
+    return { kind: 'method', dispatch: target.dispatch, owner: owner };
+}
+function verifyPatternEvidence(schema, sources) {
+    if (schema === null || typeof schema !== 'object' || Array.isArray(schema))
+        return;
+    const object = schema;
+    for (const source of [object.pattern, object.fullMatch]) {
+        if (typeof source === 'string' && !sources.has(source))
+            invalid('ValueNode pattern evidence');
+    }
+    const properties = object.patternProperties;
+    if (properties !== null && typeof properties === 'object' && !Array.isArray(properties)) {
+        for (const source of Object.keys(properties))
+            if (!sources.has(source))
+                invalid('ValueNode pattern evidence');
+    }
+}
+function object(input, label) {
+    if (input === null || typeof input !== 'object' || Array.isArray(input))
+        invalid(label);
+    return input;
+}
+function array(input, label) {
+    if (!Array.isArray(input))
+        invalid(label);
+    return input;
+}
+function exact(value, required, label, optional = []) {
+    const allowed = new Set([...required, ...optional]);
+    if (Object.keys(value).some((key) => !allowed.has(key)) ||
+        required.some((key) => !Object.hasOwn(value, key)))
+        invalid(label);
+}
+function integer(input, label) {
+    if (!Number.isSafeInteger(input) || input < 0)
+        invalid(label);
+    return input;
+}
+function index(input, length, label) {
+    const value = integer(input, label);
+    if (value >= length)
+        invalid(label);
+    return value;
+}
+function scalar(input, label) {
+    const value = integer(input, label);
+    if (value > 0x10ffff || (value >= 0xd800 && value <= 0xdfff))
+        invalid(label);
+    return value;
+}
+function invalid(label) {
+    throw new TypeError(`${label} is invalid.`);
+}
+//# sourceMappingURL=admission.js.map

package/dist/v1/schema/compiled/admission.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"admission.js","sourceRoot":"","sources":["../../../../v1/schema/compiled/admission.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,MAAM,IAAI,cAAc,EAAE,MAAM,8BAA8B,CAAA;AAIvE,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,qBAAqB,EAAE,uBAAuB,EAAE,MAAM,2BAA2B,CAAA;AACpG,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAA;AAEnD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,eAAe,EAAE,YAAY,CAAC,CAAC,CAAA;AAClE,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAA;AACrD,MAAM,+BAA+B,GAAG,SAAS,CAAA;AAEjD,sGAAsG;AACtG,MAAM,UAAU,YAAY,CAAC,KAAc;IACzC,MAAM,IAAI,GAAG,MAAM,CACjB,cAAc,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,EAAE,UAAU,EAAE,+BAA+B,EAAE,EAAE,CAAC,EAClF,QAAQ,CACT,CAAA;IACD,KAAK,CAAC,IAAI,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,WAAW,CAAC,EAAE,QAAQ,CAAC,CAAA;IACzF,IAAI,IAAI,CAAC,MAAM,KAAK,6BAA6B,IAAI,IAAI,CAAC,OAAO,KAAK,CAAC;QAAE,OAAO,CAAC,eAAe,CAAC,CAAA;IACjG,IAAI,OAAO,IAAI,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC;QAC7E,OAAO,CAAC,eAAe,CAAC,CAAA;IAC1B,IAAI,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC;QACnF,OAAO,CAAC,iBAAiB,CAAC,CAAA;IAC5B,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAA;IAC/F,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,kBAAkB,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAC/E,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,MAAgB,EAAE,MAAM,CAAC,CACtD,CAAA;IACD,IAAI,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,MAAM,EAAE,CAAC;QAChF,OAAO,CAAC,iCAAiC,CAAC,CAAA;IAC5C,CAAC;IACD,OAAO,UAAU,CAAC;QAChB,MAAM,EAAE,6BAA6B;QACrC,OAAO,EAAE,CAAC;QACV,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,MAAM;QACN,SAAS;KACV,CAAsB,CAAA;AACzB,CAAC;AAED,SAAS,OAAO,CAAC,KAAgB,EAAE,YAAoB;IACrD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,UAAU,YAAY,GAAG,CAAC,CAAA;IACtD,KAAK,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,OAAO,EAAE,UAAU,CAAC,EAAE,UAAU,YAAY,GAAG,CAAC,CAAA;IACtE,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,oBAAoB,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACzE,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CACvB,CAAA;IACD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAA;IACjE,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,uBAAuB,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CACnF,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CACtB,CAAA;IACD,IAAI,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,MAAM,EAAE,CAAC;QAC5E,OAAO,CAAC,sCAAsC,CAAC,CAAA;IACjD,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAA;IAC9D,KAAK,MAAM,IAAI,IAAI,KAAK;QAAE,qBAAqB,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IACrE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC;YAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAA;QAC/F,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAA;IAC9F,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAA;AAClC,CAAC;AAED,SAAS,SAAS,CAAC,KAAgB,EAAE,SAAiB;IACpD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,SAAS,SAAS,GAAG,CAAC,CAAA;IAClD,KAAK,CAAC,KAAK,EAAE,CAAC,QAAQ,EAAE,UAAU,CAAC,EAAE,SAAS,SAAS,GAAG,EAAE,CAAC,WAAW,CAAC,CAAC,CAAA;IAC1E,IAAI,CAAC,CAAC,QAAQ,IAAI,KAAK,CAAC;QAAE,OAAO,CAAC,kBAAkB,CAAC,CAAA;IACrD,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,oBAAoB,CAAC,CAAA;IAC7D,MAAM,gBAAgB,GAA2B,EAAE,CAAA;IACnD,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC;QAClD,gBAAgB,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAA;IAC5D,OAAO;QACL,MAAM,EAAE,KAAK,CAAC,MAAO;QACrB,QAAQ,EAAE,gBAAgB;QAC1B,GAAG,CAAC,KAAK,CAAC,SAAS,KAAK,SAAS;YAC/B,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,KAAK,CAAC,SAAS,EAAE,qBAAqB,CAAC,EAAE,CAAC;KACpE,CAAA;AACH,CAAC;AAED,SAAS,OAAO,CAAC,KAAgB,EAAE,YAAoB;IACrD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,YAAY,YAAY,GAAG,CAAC,CAAA;IACxD,KAAK,CAAC,KAAK,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,YAAY,YAAY,GAAG,CAAC,CAAA;IACxE,IAAI,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ;QAAE,OAAO,CAAC,gBAAgB,CAAC,CAAA;IAC/D,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE;QAC7E,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,UAAU,UAAU,GAAG,CAAC,CAAA;QACpD,KAAK,CAAC,KAAK,EAAE,CAAC,SAAS,EAAE,aAAa,CAAC,EAAE,UAAU,UAAU,GAAG,EAAE,CAAC,WAAW,CAAC,CAAC,CAAA;QAChF,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,IAAI,KAAK,CAAC,SAAS,KAAK,IAAI;YAC3D,OAAO,CAAC,yBAAyB,CAAC,CAAA;QACpC,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACrE,OAAO,CAAC,MAAM,EAAE,iBAAiB,CAAC,CACnC,CAAA;QACD,MAAM,WAAW,GAAG,KAAK,CAAC,KAAK,CAAC,WAAW,EAAE,qBAAqB,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;YAChF,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,EAAE,oBAAoB,CAAC,CAAA;YACtD,KAAK,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,oBAAoB,CAAC,CAAA;YACzD,MAAM,MAAM,GAAG,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;gBACtE,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,EAAE,eAAe,CAAC,CAAA;gBAC3C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;oBAAE,OAAO,CAAC,eAAe,CAAC,CAAA;gBAChD,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,uBAAuB,CAAC,CAAA;gBACzD,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,uBAAuB,CAAC,CAAA;gBACzD,IAAI,OAAO,GAAG,OAAO;oBAAE,OAAO,CAAC,qBAAqB,CAAC,CAAA;gBACrD,OAAO,CAAC,OAAO,EAAE,OAAO,CAAU,CAAA;YACpC,CAAC,CAAC,CAAA;YACF,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,UAAU,CAAC,EAAE,EAAE,2BAA2B,CAAC,EAAE,MAAM,EAAE,CAAA;QAC5E,CAAC,CAAC,CAAA;QACF,OAAO;YACL,OAAO;YACP,WAAW;YACX,GAAG,CAAC,KAAK,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAClE,CAAA;IACH,CAAC,CAAC,CAAA;IACF,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAA;IAChE,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO;YAAE,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAA;QACnF,KAAK,MAAM,UAAU,IAAI,KAAK,CAAC,WAAW;YACxC,KAAK,CAAC,UAAU,CAAC,EAAE,EAAE,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAA;IAC7D,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,KAAK,IAAI,CAAC;QAAE,OAAO,CAAC,yBAAyB,CAAC,CAAA;IACzF,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,CAAA;AAChD,CAAC;AAED,SAAS,QAAQ,CACf,KAAgB,EAChB,aAAqB,EACrB,MAAc,EACd,MAA+B;IAE/B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,aAAa,aAAa,GAAG,CAAC,CAAA;IAC1D,KAAK,CACH,KAAK,EACL,CAAC,UAAU,EAAE,QAAQ,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,CAAC,EAC3D,aAAa,aAAa,GAAG,EAC7B,CAAC,QAAQ,CAAC,CACX,CAAA;IACD,IACE,OAAO,KAAK,CAAC,QAAQ,KAAK,QAAQ;QAClC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC;QACvB,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,MAAM;QAErC,OAAO,CAAC,cAAc,CAAC,CAAA;IACzB,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;IACnC,IAAI,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC;QACrF,OAAO,CAAC,cAAc,CAAC,CAAA;IACzB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,cAAwB,CAAC;QAAE,OAAO,CAAC,yBAAyB,CAAC,CAAA;IACjF,MAAM,YAAY,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAA;IACxE,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAA;IACtD,MAAM,cAAc,GAClB,MAAM,CAAC,IAAI,KAAK,UAAU;QACxB,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,EAAE,iBAAiB,CAAC,EAAE,EAAE,IAAI,EAAE,UAAmB,EAAE,CAAC;QAC7E,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,CAAA;IAC1B,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAA;IACtD,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC;QAAE,OAAO,CAAC,iBAAiB,CAAC,CAAA;IAC3F,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,iBAAiB,CAAC,CAAA;IACzF,MAAM,cAAc,GAClB,MAAM,CAAC,IAAI,KAAK,QAAQ;QACtB,CAAC,CAAC,EAAE,IAAI,EAAE,QAAiB,EAAE;QAC7B,CAAC,CAAC;YACE,IAAI,EAAE,MAAM,CAAC,IAA0B;YACvC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC;SAC7D,CAAA;IACP,IAAI,MAA0C,CAAA;IAC9C,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC/B,MAAM,GAAG,EAAE,CAAA;QACX,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC,EAAE,CAAC;YACnF,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,YAAY,CAAE,CAAC,KAAK,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAA;QAClF,CAAC;IACH,CAAC;IACD,OAAO;QACL,QAAQ,EAAE,KAAK,CAAC,QAAwC;QACxD,MAAM,EAAE,cAAc;QACtB,cAAc,EAAE,KAAK,CAAC,cAAoD;QAC1E,KAAK,EAAE,YAAY;QACnB,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC;QAC3C,MAAM,EAAE,cAAc;KACvB,CAAA;AACH,CAAC;AAED,SAAS,YAAY,CAAC,MAAkB;IACtC,KAAK,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,UAAU,EAAE,OAAO,CAAC,EAAE,eAAe,CAAC,CAAA;IAC7D,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,KAAK,UAAU,CAAC;QAC9F,OAAO,CAAC,eAAe,CAAC,CAAA;IAC1B,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,cAAc,CAAC,CAAA;IAClD,KAAK,CAAC,KAAK,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,cAAc,CAAC,CAAA;IACxD,IAAI,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC;QAC/E,OAAO,CAAC,qBAAqB,CAAC,CAAA;IAChC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,CAAC,IAAI,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ;QAC1F,OAAO,CAAC,cAAc,CAAC,CAAA;IACzB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,KAAK,EAAE,KAAc,EAAE,CAAA;AAC7E,CAAC;AAED,SAAS,qBAAqB,CAAC,MAAiB,EAAE,OAA4B;IAC5E,IAAI,MAAM,KAAK,IAAI,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,OAAM;IAClF,MAAM,MAAM,GAAG,MAA6C,CAAA;IAC5D,KAAK,MAAM,MAAM,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;QACxD,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,OAAO,CAAC,4BAA4B,CAAC,CAAA;IAC/F,CAAC;IACD,MAAM,UAAU,GAAG,MAAM,CAAC,iBAAiB,CAAA;IAC3C,IAAI,UAAU,KAAK,IAAI,IAAI,OAAO,UAAU,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;QACxF,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC;YAC1C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,OAAO,CAAC,4BAA4B,CAAC,CAAA;IACnE,CAAC;AACH,CAAC;AAED,SAAS,MAAM,CAAC,KAA4B,EAAE,KAAa;IACzD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,KAAK,CAAC,CAAA;IACvF,OAAO,KAAmB,CAAA;AAC5B,CAAC;AAED,SAAS,KAAK,CAAC,KAA4B,EAAE,KAAa;IACxD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,KAAK,CAAC,CAAA;IACzC,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,KAAK,CACZ,KAAiB,EACjB,QAA2B,EAC3B,KAAa,EACb,QAAQ,GAAsB,EAAE;IAEhC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,QAAQ,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAA;IACnD,IACE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACnD,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAElD,OAAO,CAAC,KAAK,CAAC,CAAA;AAClB,CAAC;AAED,SAAS,OAAO,CAAC,KAA4B,EAAE,KAAa;IAC1D,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAK,KAAgB,GAAG,CAAC;QAAE,OAAO,CAAC,KAAK,CAAC,CAAA;IACzE,OAAO,KAAe,CAAA;AACxB,CAAC;AAED,SAAS,KAAK,CAAC,KAA4B,EAAE,MAAc,EAAE,KAAa;IACxE,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;IACnC,IAAI,KAAK,IAAI,MAAM;QAAE,OAAO,CAAC,KAAK,CAAC,CAAA;IACnC,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,MAAM,CAAC,KAA4B,EAAE,KAAa;IACzD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;IACnC,IAAI,KAAK,GAAG,QAAQ,IAAI,CAAC,KAAK,IAAI,MAAM,IAAI,KAAK,IAAI,MAAM,CAAC;QAAE,OAAO,CAAC,KAAK,CAAC,CAAA;IAC5E,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,OAAO,CAAC,KAAa;IAC5B,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,cAAc,CAAC,CAAA;AAC7C,CAAC"}

package/dist/v1/schema/compiled/authored-validator.d.ts

@@ -0,0 +1,5 @@
+import type { DomainSchema } from '../domain.ir.js';
+import type { Validator } from './validator.js';
+/** Build-time convenience using the exact compiled validation path. */
+export declare function validator(schema: DomainSchema): Validator;
+//# sourceMappingURL=authored-validator.d.ts.map

package/dist/v1/schema/compiled/authored-validator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"authored-validator.d.ts","sourceRoot":"","sources":["../../../../v1/schema/compiled/authored-validator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAA;AACnD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAK/C,uEAAuE;AACvE,wBAAgB,SAAS,CAAC,MAAM,EAAE,YAAY,GAAG,SAAS,CAEzD"}

package/dist/v1/schema/compiled/authored-validator.js

@@ -0,0 +1,7 @@
+import { compile } from './compiler.js';
+import { load } from './validator.js';
+/** Build-time convenience using the exact compiled validation path. */
+export function validator(schema) {
+    return load(compile(schema).bundle);
+}
+//# sourceMappingURL=authored-validator.js.map

package/dist/v1/schema/compiled/authored-validator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"authored-validator.js","sourceRoot":"","sources":["../../../../v1/schema/compiled/authored-validator.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,OAAO,EAAE,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,IAAI,EAAE,MAAM,gBAAgB,CAAA;AAErC,uEAAuE;AACvE,MAAM,UAAU,SAAS,CAAC,MAAoB;IAC5C,OAAO,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAA;AACrC,CAAC"}

package/dist/v1/schema/compiled/compiler.d.ts

@@ -0,0 +1,5 @@
+import type { DomainSchema } from '../domain.ir.js';
+import type { CompiledSchema } from './model.js';
+/** Compile one admitted rich Schema into deterministic portable validation data. */
+export declare function compile(schema: DomainSchema): CompiledSchema;
+//# sourceMappingURL=compiler.d.ts.map

package/dist/v1/schema/compiled/compiler.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compiler.d.ts","sourceRoot":"","sources":["../../../../v1/schema/compiled/compiler.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAA;AAGnD,OAAO,KAAK,EAAoB,cAAc,EAAgB,MAAM,YAAY,CAAA;AAQhF,oFAAoF;AACpF,wBAAgB,OAAO,CAAC,MAAM,EAAE,YAAY,GAAG,cAAc,CA+E5D"}

package/dist/v1/schema/compiled/compiler.js

@@ -0,0 +1,86 @@
+import { Key, Ref } from '../../addressing/index.js';
+import { revisionOfDomainSchema } from '../domain.revision.js';
+import { createDomainValueSchemaRegistry } from '../resolution/value.registry.js';
+import { prepareValueSchema } from '../value/instance/preparation.js';
+import { appendPointer } from '../value/location/pointer.js';
+/** Compile one admitted rich Schema into deterministic portable validation data. */
+export function compile(schema) {
+    const registry = createDomainValueSchemaRegistry(schema);
+    const values = [];
+    const callables = [];
+    const add = (contract, pointer) => {
+        const result = prepareValueSchema(contract, registry, pointer);
+        if (!result.compiled)
+            throw new TypeError(`Cannot compile value schema: ${result.message}`);
+        return values.push(result.value.program()) - 1;
+    };
+    const addCallable = (callable, target, auth, input, output, pointer) => {
+        const inputIndex = add(input, `${pointer}/input`);
+        const fields = inputFields(values[inputIndex]);
+        const compiledOutput = output.mode === 'binary'
+            ? { mode: 'binary' }
+            : {
+                mode: output.mode,
+                value: add(output.mode === 'value' ? output.schema : output.item, `${pointer}/output`),
+            };
+        callables.push(Object.freeze({
+            callable,
+            target,
+            authentication: auth,
+            input: inputIndex,
+            ...(fields === undefined ? {} : { fields }),
+            output: compiledOutput,
+        }));
+    };
+    for (const name of Object.keys(schema.functions).sort()) {
+        const declaration = schema.functions[name];
+        addCallable(Key.of(schema.origin, Ref.definition('function', name)), { kind: 'function' }, declaration.auth, declaration.input, declaration.output, `/functions/${name}`);
+    }
+    for (const kind of ['class', 'interface']) {
+        const definitions = kind === 'class' ? schema.classes : schema.interfaces;
+        for (const name of Object.keys(definitions).sort()) {
+            const definition = definitions[name];
+            if (!('methods' in definition))
+                continue;
+            const owner = Object.freeze({ origin: schema.origin, kind, name });
+            for (const method of Object.keys(definition.methods).sort()) {
+                const declaration = definition.methods[method];
+                if (declaration.inheritance === 'abstract')
+                    continue;
+                addCallable(Key.of(schema.origin, Ref.method(Ref.definition(kind, name), method)), { kind: 'method', dispatch: declaration.static ? 'static' : 'instance', owner }, declaration.auth, declaration.input, declaration.output, `/${kind === 'class' ? 'classes' : 'interfaces'}/${name}/methods/${method}`);
+            }
+        }
+    }
+    return Object.freeze({
+        bundle: Object.freeze({
+            format: 'astrale.dsl.compiled-schema',
+            version: 1,
+            origin: schema.origin,
+            revision: revisionOfDomainSchema(schema),
+            values: Object.freeze(values),
+            callables: Object.freeze(callables),
+        }),
+    });
+}
+function inputFields(program) {
+    const root = program.nodes[program.root];
+    const schema = root?.schema;
+    if (schema === null || typeof schema !== 'object' || Array.isArray(schema))
+        return undefined;
+    const object = schema;
+    if (object.type !== 'object' || object.additionalProperties !== false)
+        return undefined;
+    const properties = object.properties;
+    if (properties === null || typeof properties !== 'object' || Array.isArray(properties))
+        return undefined;
+    const fields = {};
+    for (const name of Object.keys(properties)) {
+        const key = appendPointer(appendPointer('', 'properties'), name).slice(1);
+        const index = root.children[key];
+        if (index === undefined)
+            throw new TypeError(`Compiled input field ${name} is absent.`);
+        fields[name] = index;
+    }
+    return Object.freeze(fields);
+}
+//# sourceMappingURL=compiler.js.map

package/dist/v1/schema/compiled/compiler.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compiler.js","sourceRoot":"","sources":["../../../../v1/schema/compiled/compiler.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,2BAA2B,CAAA;AACpD,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAA;AAC9D,OAAO,EAAE,+BAA+B,EAAE,MAAM,iCAAiC,CAAA;AACjF,OAAO,EAAE,kBAAkB,EAAE,MAAM,kCAAkC,CAAA;AACrE,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAA;AAE5D,oFAAoF;AACpF,MAAM,UAAU,OAAO,CAAC,MAAoB;IAC1C,MAAM,QAAQ,GAAG,+BAA+B,CAAC,MAAM,CAAC,CAAA;IACxD,MAAM,MAAM,GAAmB,EAAE,CAAA;IACjC,MAAM,SAAS,GAAuB,EAAE,CAAA;IACxC,MAAM,GAAG,GAAG,CAAC,QAAoB,EAAE,OAAe,EAAU,EAAE;QAC5D,MAAM,MAAM,GAAG,kBAAkB,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAA;QAC9D,IAAI,CAAC,MAAM,CAAC,QAAQ;YAAE,MAAM,IAAI,SAAS,CAAC,gCAAgC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAA;QAC3F,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,CAAA;IAChD,CAAC,CAAA;IACD,MAAM,WAAW,GAAG,CAClB,QAA0B,EAC1B,MAAkC,EAClC,IAAkB,EAClB,KAAiB,EACjB,MAAsB,EACtB,OAAe,EACT,EAAE;QACR,MAAM,UAAU,GAAG,GAAG,CAAC,KAAK,EAAE,GAAG,OAAO,QAAQ,CAAC,CAAA;QACjD,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,UAAU,CAAE,CAAC,CAAA;QAC/C,MAAM,cAAc,GAClB,MAAM,CAAC,IAAI,KAAK,QAAQ;YACtB,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE;YACpB,CAAC,CAAC;gBACE,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,OAAO,SAAS,CAAC;aACvF,CAAA;QACP,SAAS,CAAC,IAAI,CACZ,MAAM,CAAC,MAAM,CAAC;YACZ,QAAQ;YACR,MAAM;YACN,cAAc,EAAE,IAAI;YACpB,KAAK,EAAE,UAAU;YACjB,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC;YAC3C,MAAM,EAAE,cAAc;SACvB,CAAC,CACH,CAAA;IACH,CAAC,CAAA;IAED,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACxD,MAAM,WAAW,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAE,CAAA;QAC3C,WAAW,CACT,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,UAAU,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,EACvD,EAAE,IAAI,EAAE,UAAU,EAAE,EACpB,WAAW,CAAC,IAAI,EAChB,WAAW,CAAC,KAAK,EACjB,WAAW,CAAC,MAAM,EAClB,cAAc,IAAI,EAAE,CACrB,CAAA;IACH,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,WAAW,CAAU,EAAE,CAAC;QACnD,MAAM,WAAW,GAAG,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAA;QACzE,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;YACnD,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,CAAE,CAAA;YACrC,IAAI,CAAC,CAAC,SAAS,IAAI,UAAU,CAAC;gBAAE,SAAQ;YACxC,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAkB,CAAA;YACnF,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;gBAC5D,MAAM,WAAW,GAAG,UAAU,CAAC,OAAO,CAAC,MAAM,CAAsB,CAAA;gBACnE,IAAI,WAAW,CAAC,WAAW,KAAK,UAAU;oBAAE,SAAQ;gBACpD,WAAW,CACT,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC,EACrE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,EAAE,KAAK,EAAE,EAC/E,WAAW,CAAC,IAAI,EAChB,WAAW,CAAC,KAAK,EACjB,WAAW,CAAC,MAAM,EAClB,IAAI,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,IAAI,IAAI,YAAY,MAAM,EAAE,CAC5E,CAAA;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;YACpB,MAAM,EAAE,6BAAsC;YAC9C,OAAO,EAAE,CAAU;YACnB,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,QAAQ,EAAE,sBAAsB,CAAC,MAAM,CAAC;YACxC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;YAC7B,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC;SACpC,CAAC;KACH,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,OAAqB;IACxC,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;IACxC,MAAM,MAAM,GAAG,IAAI,EAAE,MAAM,CAAA;IAC3B,IAAI,MAAM,KAAK,IAAI,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,OAAO,SAAS,CAAA;IAC5F,MAAM,MAAM,GAAG,MAA2C,CAAA;IAC1D,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,oBAAoB,KAAK,KAAK;QAAE,OAAO,SAAS,CAAA;IACvF,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,CAAA;IACpC,IAAI,UAAU,KAAK,IAAI,IAAI,OAAO,UAAU,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC;QACpF,OAAO,SAAS,CAAA;IAClB,MAAM,MAAM,GAA2B,EAAE,CAAA;IACzC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QAC3C,MAAM,GAAG,GAAG,aAAa,CAAC,aAAa,CAAC,EAAE,EAAE,YAAY,CAAC,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;QACzE,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAA;QAChC,IAAI,KAAK,KAAK,SAAS;YAAE,MAAM,IAAI,SAAS,CAAC,wBAAwB,IAAI,aAAa,CAAC,CAAA;QACvF,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAA;IACtB,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;AAC9B,CAAC"}

package/dist/v1/schema/compiled/model.d.ts

@@ -0,0 +1,61 @@
+import type { Value as JsonValue } from '@astrale-os/kernel-dsl/value';
+import type { Key } from '../../addressing/index.js';
+import type { FunctionAuth } from '../callable.js';
+import type { DefinitionRef, Revision } from '../reference.js';
+export type ScalarRange = readonly [minimum: number, maximum: number];
+export interface PatternTransition {
+    readonly to: number;
+    readonly ranges: readonly ScalarRange[];
+}
+export interface PatternState {
+    readonly epsilon: readonly number[];
+    readonly transitions: readonly PatternTransition[];
+    readonly accepting?: true;
+}
+export interface Pattern {
+    readonly source: string;
+    readonly start: number;
+    readonly states: readonly PatternState[];
+}
+export interface ValueNode {
+    readonly schema: JsonValue;
+    readonly children: Readonly<Record<string, number>>;
+    readonly reference?: number;
+}
+export interface ValueProgram {
+    readonly root: number;
+    readonly nodes: readonly ValueNode[];
+    readonly patterns: readonly Pattern[];
+}
+export type CallableTarget = {
+    readonly kind: 'function';
+} | {
+    readonly kind: 'method';
+    readonly dispatch: 'static' | 'instance';
+    readonly owner: DefinitionRef;
+};
+export interface CompiledCallable {
+    readonly callable: Key.Callable;
+    readonly target: CallableTarget;
+    readonly authentication: FunctionAuth;
+    readonly input: number;
+    readonly fields?: Readonly<Record<string, number>>;
+    readonly output: {
+        readonly mode: 'value' | 'stream';
+        readonly value: number;
+    } | {
+        readonly mode: 'binary';
+    };
+}
+export interface Bundle {
+    readonly format: 'astrale.dsl.compiled-schema';
+    readonly version: 1;
+    readonly origin: Key.Origin;
+    readonly revision: Revision;
+    readonly values: readonly ValueProgram[];
+    readonly callables: readonly CompiledCallable[];
+}
+export interface CompiledSchema {
+    readonly bundle: Bundle;
+}
+//# sourceMappingURL=model.d.ts.map

package/dist/v1/schema/compiled/model.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../../../../v1/schema/compiled/model.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,IAAI,SAAS,EAAE,MAAM,8BAA8B,CAAA;AAEtE,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,2BAA2B,CAAA;AACpD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAA;AAClD,OAAO,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAA;AAE9D,MAAM,MAAM,WAAW,GAAG,SAAS,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,CAAA;AAErE,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,MAAM,EAAE,SAAS,WAAW,EAAE,CAAA;CACxC;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAA;IACnC,QAAQ,CAAC,WAAW,EAAE,SAAS,iBAAiB,EAAE,CAAA;IAClD,QAAQ,CAAC,SAAS,CAAC,EAAE,IAAI,CAAA;CAC1B;AAED,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,MAAM,EAAE,SAAS,YAAY,EAAE,CAAA;CACzC;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAA;IAC1B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;IACnD,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAA;CAC5B;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,SAAS,SAAS,EAAE,CAAA;IACpC,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAA;CACtC;AAED,MAAM,MAAM,cAAc,GACtB;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAAE,GAC7B;IACE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;IACvB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,GAAG,UAAU,CAAA;IACxC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAA;CAC9B,CAAA;AAEL,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAA;IAC/B,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAA;IAC/B,QAAQ,CAAC,cAAc,EAAE,YAAY,CAAA;IACrC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;IAClD,QAAQ,CAAC,MAAM,EACX;QAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,QAAQ,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,GAC7D;QAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;KAAE,CAAA;CAChC;AAED,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,MAAM,EAAE,6BAA6B,CAAA;IAC9C,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;IACnB,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAA;IAC3B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;IAC3B,QAAQ,CAAC,MAAM,EAAE,SAAS,YAAY,EAAE,CAAA;IACxC,QAAQ,CAAC,SAAS,EAAE,SAAS,gBAAgB,EAAE,CAAA;CAChD;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACxB"}

package/dist/v1/schema/compiled/model.js

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

package/dist/v1/schema/compiled/model.js.map

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

package/dist/v1/schema/compiled/program.d.ts

@@ -0,0 +1,5 @@
+import type { CompiledInstanceSchema } from '../value/instance/types.js';
+import type { ValueProgram } from './model.js';
+/** Bind admitted portable indices to the canonical instance evaluator. */
+export declare function loadValueProgram(program: ValueProgram): CompiledInstanceSchema;
+//# sourceMappingURL=program.d.ts.map

package/dist/v1/schema/compiled/program.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"program.d.ts","sourceRoot":"","sources":["../../../../v1/schema/compiled/program.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,sBAAsB,EAAkB,MAAM,4BAA4B,CAAA;AAExF,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAA;AAK9C,0EAA0E;AAC1E,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,YAAY,GAAG,sBAAsB,CAoC9E"}