@altopelago/aeos-core 0.11.0 → 0.12.1

package/dist/types/aes.d.ts

@@ -4,11 +4,17 @@
  * Re-exports AES types from @altopelago/aeon-aes.
  * These are type-only imports to maintain zero runtime dependencies.
  */
-import type { AssignmentEvent } from '@altopelago/aeon-aes';
+import type { AssignmentEvent, TelexRecord } from '@altopelago/aeon-aes';
 import type { Span as AeonSpan } from '@altopelago/aeon-lexer';
-export type { AssignmentEvent, AeonSpan };
+export type { AssignmentEvent, AeonSpan, TelexRecord };
+/** A decoded portable AES body record; header-plane records are filtered first. */
+export type PortableAesBodyEvent = TelexRecord & {
+    readonly path: string;
+    readonly kind: string;
+    readonly header?: never;
+};
 /**
  * Readonly AES array type for validation input
  */
-export type AES = readonly AssignmentEvent[];
+export type AES = readonly (AssignmentEvent | PortableAesBodyEvent)[];
 //# sourceMappingURL=aes.d.ts.map

package/dist/types/aes.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"aes.d.ts","sourceRoot":"","sources":["../../src/types/aes.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,KAAK,EAAE,IAAI,IAAI,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAG/D,YAAY,EAAE,eAAe,EAAE,QAAQ,EAAE,CAAC;AAE1C;;GAEG;AACH,MAAM,MAAM,GAAG,GAAG,SAAS,eAAe,EAAE,CAAC"}
+{"version":3,"file":"aes.d.ts","sourceRoot":"","sources":["../../src/types/aes.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,KAAK,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACzE,OAAO,KAAK,EAAE,IAAI,IAAI,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAG/D,YAAY,EAAE,eAAe,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;AAEvD,mFAAmF;AACnF,MAAM,MAAM,oBAAoB,GAAG,WAAW,GAAG;IAC7C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC;CAC3B,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,GAAG,GAAG,SAAS,CAAC,eAAe,GAAG,oBAAoB,CAAC,EAAE,CAAC"}

package/dist/types/schema.d.ts

@@ -63,7 +63,7 @@ export interface ConstraintsV1 {
     readonly max_length?: number;
     /** AEOS portable pattern for string matching */
     readonly pattern?: string;
-    /** Datatype label (presence check only, no capacity) */
+    /** Exact datatype-label constraint; deeper datatype semantics belong in datatype_rules. */
     readonly datatype?: string;
     /** Attribute entry constraints keyed by attribute name */
     readonly attributes?: Readonly<Record<string, AttributeConstraintsV1>>;
@@ -74,6 +74,14 @@ export interface ConstraintsV1 {
  * Schema rule for an exact SANSA path or non-exact SANSA selector
  */
 export interface SchemaRule {
+    /** Stable identity for this declaration across schema versions. */
+    readonly declaration_id?: string;
+    /** Optional semantic lineage shared by related declarations. */
+    readonly lineage_id?: string;
+    /** Optional short consumer-facing name; non-operational schema metadata. */
+    readonly label?: string;
+    /** Optional consumer-facing purpose and usage description; non-operational schema metadata. */
+    readonly description?: string;
     /** Exact SANSA path this rule applies to */
     readonly path?: string;
     /** SANSA selector this rule applies to */
@@ -81,12 +89,25 @@ export interface SchemaRule {
     /** Constraints to apply */
     readonly constraints: ConstraintsV1;
 }
+export type SchemaEvolutionKindV1 = 'add' | 'remove' | 'rename' | 'move' | 'constraint-change' | 'datatype-change' | 'split' | 'merge' | 'derive' | 'replace';
+/** Authored temporal intent relating declarations across schema versions. */
+export interface SchemaEvolutionV1 {
+    readonly change_id: string;
+    readonly kind: SchemaEvolutionKindV1;
+    readonly from_declarations: readonly string[];
+    readonly to_declarations: readonly string[];
+    readonly from_contract?: string;
+    readonly transform?: string;
+    readonly note?: string;
+}
 /**
  * AEOS Schema v1
  */
 export interface SchemaV1 {
     /** Array of rules */
     readonly rules: readonly SchemaRule[];
+    /** Authored changes from an earlier schema into this schema. */
+    readonly evolution?: readonly SchemaEvolutionV1[];
     /** Open-world or closed-world validation policy */
     readonly world?: 'open' | 'closed';
     /** Optional schema-wide reference policy */

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

@@ -1 +1 @@
-{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../src/types/schema.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH;;GAEG;AACH,MAAM,WAAW,sBAAuB,SAAQ,aAAa;CAAG;AAEhE,MAAM,WAAW,aAAa;IAC1B,6BAA6B;IAC7B,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAE5B,kEAAkE;IAClE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAEvB,uDAAuD;IACvD,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,aAAa,EAAE,CAAC;IAE3C,wDAAwD;IACxD,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAE5B,gEAAgE;IAChE,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAC;IAElC,2DAA2D;IAC3D,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;IAE7B,0EAA0E;IAC1E,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAE7B,2EAA2E;IAC3E,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAEzC,mCAAmC;IACnC,QAAQ,CAAC,WAAW,CAAC,EAAE,KAAK,GAAG,QAAQ,GAAG,QAAQ,CAAC;IAEnD,yCAAyC;IACzC,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,GAAG,QAAQ,GAAG,SAAS,CAAC;IAEpD,uDAAuD;IACvD,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,GAAG,SAAS,GAAG,QAAQ,CAAC;IAEzD,oFAAoF;IACpF,QAAQ,CAAC,wBAAwB,CAAC,EAAE,MAAM,CAAC;IAE3C,kFAAkF;IAClF,QAAQ,CAAC,sBAAsB,CAAC,EAAE,OAAO,CAAC;IAE1C,iDAAiD;IACjD,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;IAEpC,+CAA+C;IAC/C,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAE/B,uDAAuD;IACvD,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAE/B,uDAAuD;IACvD,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAE/B,kDAAkD;IAClD,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,GAAG,UAAU,CAAC;IAEtC,gDAAgD;IAChD,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAE7B,gDAAgD;IAChD,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAE7B,6DAA6D;IAC7D,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IAExB,8EAA8E;IAC9E,QAAQ,CAAC,uBAAuB,CAAC,EAAE,OAAO,CAAC;IAE3C,iFAAiF;IACjF,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAE5B,iFAAiF;IACjF,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAE5B,4EAA4E;IAC5E,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAE7B,4EAA4E;IAC5E,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAE7B,gDAAgD;IAChD,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAE1B,wDAAwD;IACxD,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAE3B,0DAA0D;IAC1D,QAAQ,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAC,CAAC;IAEvE,mEAAmE;IACnE,QAAQ,CAAC,iBAAiB,CAAC,EAAE,OAAO,CAAC;CACxC;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACvB,4CAA4C;IAC5C,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAEvB,0CAA0C;IAC1C,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAE3B,2BAA2B;IAC3B,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC;CACvC;AAED;;GAEG;AACH,MAAM,WAAW,QAAQ;IACrB,qBAAqB;IACrB,QAAQ,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,CAAC;IAEtC,mDAAmD;IACnD,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,QAAQ,CAAC;IAEnC,4CAA4C;IAC5C,QAAQ,CAAC,gBAAgB,CAAC,EAAE,OAAO,GAAG,QAAQ,CAAC;IAE/C,4CAA4C;IAC5C,QAAQ,CAAC,gBAAgB,CAAC,EAAE,eAAe,GAAG,QAAQ,CAAC;IAEvD,sEAAsE;IACtE,QAAQ,CAAC,cAAc,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC,CAAC;IAElE,8DAA8D;IAC9D,QAAQ,CAAC,eAAe,CAAC,EAAE,gBAAgB,CAAC;CAC/C;AAED,MAAM,WAAW,gBAAgB;IAC7B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,8BAA8B,CAAC,EAAE,MAAM,CAAC;IACjD,QAAQ,CAAC,uBAAuB,CAAC,EAAE,MAAM,CAAC;IAC1C,QAAQ,CAAC,yBAAyB,CAAC,EAAE,MAAM,CAAC;IAC5C,QAAQ,CAAC,8BAA8B,CAAC,EAAE,MAAM,CAAC;CACpD;AAED;;GAEG;AACH,eAAO,MAAM,qBAAqB,EAAE,WAAW,CAAC,MAAM,CA+BpD,CAAC;AAEH;;GAEG;AACH,wBAAgB,wBAAwB,CAAC,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,OAAO,CAOtF"}
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../src/types/schema.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH;;GAEG;AACH,MAAM,WAAW,sBAAuB,SAAQ,aAAa;CAAG;AAEhE,MAAM,WAAW,aAAa;IAC1B,6BAA6B;IAC7B,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAE5B,kEAAkE;IAClE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAEvB,uDAAuD;IACvD,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,aAAa,EAAE,CAAC;IAE3C,wDAAwD;IACxD,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAE5B,gEAAgE;IAChE,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAC;IAElC,2DAA2D;IAC3D,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;IAE7B,0EAA0E;IAC1E,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAE7B,2EAA2E;IAC3E,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAEzC,mCAAmC;IACnC,QAAQ,CAAC,WAAW,CAAC,EAAE,KAAK,GAAG,QAAQ,GAAG,QAAQ,CAAC;IAEnD,yCAAyC;IACzC,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,GAAG,QAAQ,GAAG,SAAS,CAAC;IAEpD,uDAAuD;IACvD,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,GAAG,SAAS,GAAG,QAAQ,CAAC;IAEzD,oFAAoF;IACpF,QAAQ,CAAC,wBAAwB,CAAC,EAAE,MAAM,CAAC;IAE3C,kFAAkF;IAClF,QAAQ,CAAC,sBAAsB,CAAC,EAAE,OAAO,CAAC;IAE1C,iDAAiD;IACjD,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;IAEpC,+CAA+C;IAC/C,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAE/B,uDAAuD;IACvD,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAE/B,uDAAuD;IACvD,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAE/B,kDAAkD;IAClD,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,GAAG,UAAU,CAAC;IAEtC,gDAAgD;IAChD,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAE7B,gDAAgD;IAChD,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAE7B,6DAA6D;IAC7D,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IAExB,8EAA8E;IAC9E,QAAQ,CAAC,uBAAuB,CAAC,EAAE,OAAO,CAAC;IAE3C,iFAAiF;IACjF,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAE5B,iFAAiF;IACjF,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAE5B,4EAA4E;IAC5E,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAE7B,4EAA4E;IAC5E,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAE7B,gDAAgD;IAChD,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAE1B,2FAA2F;IAC3F,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAE3B,0DAA0D;IAC1D,QAAQ,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAC,CAAC;IAEvE,mEAAmE;IACnE,QAAQ,CAAC,iBAAiB,CAAC,EAAE,OAAO,CAAC;CACxC;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACvB,mEAAmE;IACnE,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IAEjC,gEAAgE;IAChE,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAE7B,4EAA4E;IAC5E,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IAExB,+FAA+F;IAC/F,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAE9B,4CAA4C;IAC5C,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAEvB,0CAA0C;IAC1C,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAE3B,2BAA2B;IAC3B,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC;CACvC;AAED,MAAM,MAAM,qBAAqB,GAC3B,KAAK,GACL,QAAQ,GACR,QAAQ,GACR,MAAM,GACN,mBAAmB,GACnB,iBAAiB,GACjB,OAAO,GACP,OAAO,GACP,QAAQ,GACR,SAAS,CAAC;AAEhB,6EAA6E;AAC7E,MAAM,WAAW,iBAAiB;IAC9B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,qBAAqB,CAAC;IACrC,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED;;GAEG;AACH,MAAM,WAAW,QAAQ;IACrB,qBAAqB;IACrB,QAAQ,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,CAAC;IAEtC,gEAAgE;IAChE,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAElD,mDAAmD;IACnD,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,QAAQ,CAAC;IAEnC,4CAA4C;IAC5C,QAAQ,CAAC,gBAAgB,CAAC,EAAE,OAAO,GAAG,QAAQ,CAAC;IAE/C,4CAA4C;IAC5C,QAAQ,CAAC,gBAAgB,CAAC,EAAE,eAAe,GAAG,QAAQ,CAAC;IAEvD,sEAAsE;IACtE,QAAQ,CAAC,cAAc,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC,CAAC;IAElE,8DAA8D;IAC9D,QAAQ,CAAC,eAAe,CAAC,EAAE,gBAAgB,CAAC;CAC/C;AAED,MAAM,WAAW,gBAAgB;IAC7B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,8BAA8B,CAAC,EAAE,MAAM,CAAC;IACjD,QAAQ,CAAC,uBAAuB,CAAC,EAAE,MAAM,CAAC;IAC1C,QAAQ,CAAC,yBAAyB,CAAC,EAAE,MAAM,CAAC;IAC5C,QAAQ,CAAC,8BAA8B,CAAC,EAAE,MAAM,CAAC;CACpD;AAED;;GAEG;AACH,eAAO,MAAM,qBAAqB,EAAE,WAAW,CAAC,MAAM,CA+BpD,CAAC;AAEH;;GAEG;AACH,wBAAgB,wBAAwB,CAAC,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,OAAO,CAOtF"}

package/dist/types/schema.js.map

@@ -1 +1 @@
-{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../src/types/schema.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAoJH;;GAEG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAwB,IAAI,GAAG,CAAC;IAC9D,UAAU;IACV,MAAM;IACN,QAAQ;IACR,UAAU;IACV,gBAAgB;IAChB,WAAW;IACX,YAAY;IACZ,aAAa;IACb,aAAa;IACb,WAAW;IACX,gBAAgB;IAChB,0BAA0B;IAC1B,wBAAwB;IACxB,SAAS;IACT,cAAc;IACd,cAAc;IACd,cAAc;IACd,MAAM;IACN,YAAY;IACZ,YAAY;IACZ,OAAO;IACP,yBAAyB;IACzB,WAAW;IACX,WAAW;IACX,YAAY;IACZ,YAAY;IACZ,SAAS;IACT,UAAU;IACV,YAAY;IACZ,mBAAmB;CACtB,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,UAAU,wBAAwB,CAAC,WAAoC;IACzE,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;QACzC,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAClC,OAAO,IAAI,CAAC;QAChB,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC"}
+{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../src/types/schema.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AA0LH;;GAEG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAwB,IAAI,GAAG,CAAC;IAC9D,UAAU;IACV,MAAM;IACN,QAAQ;IACR,UAAU;IACV,gBAAgB;IAChB,WAAW;IACX,YAAY;IACZ,aAAa;IACb,aAAa;IACb,WAAW;IACX,gBAAgB;IAChB,0BAA0B;IAC1B,wBAAwB;IACxB,SAAS;IACT,cAAc;IACd,cAAc;IACd,cAAc;IACd,MAAM;IACN,YAAY;IACZ,YAAY;IACZ,OAAO;IACP,yBAAyB;IACzB,WAAW;IACX,WAAW;IACX,YAAY;IACZ,YAAY;IACZ,SAAS;IACT,UAAU;IACV,YAAY;IACZ,mBAAmB;CACtB,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,UAAU,wBAAwB,CAAC,WAAoC;IACzE,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;QACzC,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAClC,OAAO,IAAI,CAAC;QAChB,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC"}

package/dist/util/datatypes.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Return the base name of a datatype without generic parameters or clarifiers.
+ */
+export declare function datatypeBase(datatype: string): string;
+/**
+ * Parse the JSON-compatible values from a datatype clarifier list.
+ */
+export declare function parseClarifierValues(datatype: string): (string | number)[];
+/**
+ * Resolve the radix declared by a built-in numeric datatype.
+ */
+export declare function declaredRadixFromDatatype(datatype: string | undefined): number | null;
+//# sourceMappingURL=datatypes.d.ts.map

package/dist/util/datatypes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"datatypes.d.ts","sourceRoot":"","sources":["../../src/util/datatypes.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,wBAAgB,YAAY,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAOrD;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,MAAM,GAAG,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,CAW1E;AAED;;GAEG;AACH,wBAAgB,yBAAyB,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,GAAG,IAAI,CAWrF"}

package/dist/util/datatypes.js

@@ -0,0 +1,50 @@
+/**
+ * Return the base name of a datatype without generic parameters or clarifiers.
+ */
+export function datatypeBase(datatype) {
+    const genericIdx = datatype.indexOf('<');
+    const clarifierIdx = datatype.indexOf('[');
+    const endIdx = [genericIdx, clarifierIdx]
+        .filter((idx) => idx >= 0)
+        .reduce((min, idx) => Math.min(min, idx), datatype.length);
+    return datatype.slice(0, endIdx);
+}
+/**
+ * Parse the JSON-compatible values from a datatype clarifier list.
+ */
+export function parseClarifierValues(datatype) {
+    const start = datatype.indexOf('[');
+    if (start < 0 || !datatype.endsWith(']'))
+        return [];
+    const payload = datatype.slice(start + 1, -1);
+    try {
+        const parsed = JSON.parse(`[${payload}]`);
+        if (!Array.isArray(parsed))
+            return [];
+        return parsed.filter((value) => typeof value === 'string' || typeof value === 'number');
+    }
+    catch {
+        return [];
+    }
+}
+/**
+ * Resolve the radix declared by a built-in numeric datatype.
+ */
+export function declaredRadixFromDatatype(datatype) {
+    if (datatype === undefined)
+        return null;
+    const trimmed = datatype.trim();
+    if (trimmed.toLowerCase() === 'decimal')
+        return 10;
+    const alias = /^radix(2|6|8|12)$/i.exec(trimmed);
+    if (alias)
+        return Number(alias[1]);
+    if (datatypeBase(trimmed).toLowerCase() !== 'radix')
+        return null;
+    const values = parseClarifierValues(trimmed);
+    if (values.length !== 1 || typeof values[0] !== 'number')
+        return null;
+    const value = values[0];
+    return Number.isInteger(value) && value >= 2 && value <= 64 ? value : null;
+}
+//# sourceMappingURL=datatypes.js.map

package/dist/util/datatypes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"datatypes.js","sourceRoot":"","sources":["../../src/util/datatypes.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,MAAM,UAAU,YAAY,CAAC,QAAgB;IACzC,MAAM,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACzC,MAAM,YAAY,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC3C,MAAM,MAAM,GAAG,CAAC,UAAU,EAAE,YAAY,CAAC;SACpC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC;SACzB,MAAM,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC/D,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;AACrC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,oBAAoB,CAAC,QAAgB;IACjD,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACpC,IAAI,KAAK,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC;IACpD,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9C,IAAI,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,OAAO,GAAG,CAAY,CAAC;QACrD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;YAAE,OAAO,EAAE,CAAC;QACtC,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAA4B,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC;IACtH,CAAC;IAAC,MAAM,CAAC;QACL,OAAO,EAAE,CAAC;IACd,CAAC;AACL,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,yBAAyB,CAAC,QAA4B;IAClE,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACxC,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;IAChC,IAAI,OAAO,CAAC,WAAW,EAAE,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACnD,MAAM,KAAK,GAAG,oBAAoB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACjD,IAAI,KAAK;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACnC,IAAI,YAAY,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACjE,MAAM,MAAM,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAC;IAC7C,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,MAAM,CAAC,CAAC,CAAC,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACtE,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACxB,OAAO,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AAC/E,CAAC"}

package/dist/validate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../src/validate.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,KAAK,EAAc,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC9D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAW1D,OAAO,KAAK,EAAiB,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AA4EzE;;GAEG;AACH,MAAM,WAAW,eAAe;IAC5B;;OAEG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAC1B;;;;;OAKG;IACH,QAAQ,CAAC,gCAAgC,CAAC,EAAE,KAAK,GAAG,MAAM,GAAG,OAAO,CAAC;IAErE,+DAA+D;IAC/D,QAAQ,CAAC,cAAc,CAAC,EAAE,gBAAgB,CAAC;CAE9C;AAiJD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,QAAQ,CACpB,GAAG,EAAE,GAAG,EACR,MAAM,EAAE,QAAQ,EAChB,OAAO,GAAE,eAAoB,GAC9B,cAAc,CAmXhB"}
+{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../src/validate.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,GAAG,EAAwB,MAAM,gBAAgB,CAAC;AAChE,OAAO,KAAK,EAAc,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC9D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAY1D,OAAO,KAAK,EAAiB,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAuFzE;;GAEG;AACH,MAAM,WAAW,eAAe;IAC5B;;OAEG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAC1B;;;;;OAKG;IACH,QAAQ,CAAC,gCAAgC,CAAC,EAAE,KAAK,GAAG,MAAM,GAAG,OAAO,CAAC;IAErE,+DAA+D;IAC/D,QAAQ,CAAC,cAAc,CAAC,EAAE,gBAAgB,CAAC;CAE9C;AAiJD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,QAAQ,CACpB,GAAG,EAAE,GAAG,EACR,MAAM,EAAE,QAAQ,EAChB,OAAO,GAAE,eAAoB,GAC9B,cAAc,CAuYhB"}

package/dist/validate.js

@@ -13,7 +13,9 @@ import { checkTypes } from './rules/typeCheck.js';
 import { checkReferenceForms } from './rules/referenceForm.js';
 import { checkNumericForm } from './rules/numericForm.js';
 import { checkStringForm, checkPatterns, matchesPortablePattern } from './rules/stringForm.js';
+import { datatypeBase, declaredRadixFromDatatype, parseClarifierValues } from './util/datatypes.js';
 import { parseAddress, resolveAddress, } from '@altopelago/sansa';
+import { formatDatatypeDescriptor, } from '@altopelago/aeon-aes';
 const TYPE_ALIASES = {
     NumberLiteral: ['NumberLiteral'],
     StringLiteral: ['StringLiteral'],
@@ -34,10 +36,11 @@ const TYPE_ALIASES = {
     DateLiteral: ['DateLiteral'],
     TimeLiteral: ['TimeLiteral'],
     DateTimeLiteral: ['DateTimeLiteral'],
-    ZRUTDateTimeLiteral: ['ZRUTDateTimeLiteral'],
+    WTCDateTimeLiteral: ['WTCDateTimeLiteral'],
     CloneReference: ['CloneReference'],
     PointerReference: ['PointerReference'],
     NodeLiteral: ['NodeLiteral'],
+    NodeHead: ['NodeHead'],
 };
 function formatQuotedMemberSegment(key) {
     return `.[${JSON.stringify(String(key))}]`;
@@ -107,7 +110,7 @@ const STRING_LIKE_VALUE_TYPES = new Set([
     'DateLiteral',
     'TimeLiteral',
     'DateTimeLiteral',
-    'ZRUTDateTimeLiteral',
+    'WTCDateTimeLiteral',
 ]);
 function stringLikePayloadLength(event) {
     if (!STRING_LIKE_VALUE_TYPES.has(event.type))
@@ -206,6 +209,8 @@ export function validate(aes, schema, options = {}) {
     // Phase 3: (moved to run after Phase 2)
     // Helpers: format canonical path (local, no runtime AEON deps)
     function formatCanonicalPath(path) {
+        if (typeof path === 'string')
+            return path;
         if (!path || !Array.isArray(path.segments))
             return '$';
         let result = '';
@@ -234,6 +239,10 @@ export function validate(aes, schema, options = {}) {
     function toTuple(span) {
         if (!span)
             return null;
+        if (typeof span === 'string') {
+            const match = span.match(/^(0|[1-9][0-9]*):(0|[1-9][0-9]*)$/u);
+            return match === null ? null : [Number(match[1]), Number(match[2])];
+        }
         if (Array.isArray(span) && span.length === 2 && typeof span[0] === 'number')
             return span;
         if (span.start && span.end && typeof span.start.offset === 'number')
@@ -243,24 +252,9 @@ export function validate(aes, schema, options = {}) {
     function decodeSeparatorChars(datatype) {
         if (!datatype)
             return [];
-        const match = datatype.match(/\[([^\]]*)\]$/);
-        if (!match)
-            return [];
-        const payload = match[1] ?? '';
-        if (payload.length === 0)
+        if (datatypeBase(datatype).toLowerCase() !== 'sep')
             return [];
-        const separators = [];
-        let i = 0;
-        while (i < payload.length) {
-            separators.push(payload[i]);
-            i += 1;
-            if (i < payload.length) {
-                if (payload[i] !== ',')
-                    return [];
-                i += 1;
-            }
-        }
-        return separators;
+        return parseClarifierValues(datatype).filter((value) => typeof value === 'string');
     }
     // Phase 2 — Baseline invariants
     const seen = new Map();
@@ -278,6 +272,7 @@ export function validate(aes, schema, options = {}) {
             const element = elements[i];
             const attributes = buildAttributeInfoMap(element?.attributes);
             const info = {
+                ...(typeof element?.structuralId === 'string' ? { identity: element.structuralId } : {}),
                 type: typeof element?.type === 'string' ? element.type : 'Unknown',
                 raw: typeof element?.raw === 'string' ? element.raw : '',
                 value: typeof element?.value === 'string' ? element.value : '',
@@ -302,6 +297,7 @@ export function validate(aes, schema, options = {}) {
             const valueNode = entry?.value;
             const nestedAttributes = buildAttributeInfoMap(entry?.annotations);
             const info = {
+                ...(typeof entry?.structuralId === 'string' ? { identity: entry.structuralId } : {}),
                 type: typeof valueNode?.type === 'string' ? valueNode.type : 'Unknown',
                 raw: typeof valueNode?.raw === 'string' ? valueNode.raw : '',
                 value: typeof valueNode?.value === 'string' ? valueNode.value : '',
@@ -319,6 +315,7 @@ export function validate(aes, schema, options = {}) {
         for (const [key, attribute] of attributes.entries()) {
             const attributePath = appendAttributePath(basePath, key);
             eventsByPath.set(attributePath, {
+                ...(attribute.identity !== undefined ? { identity: attribute.identity } : {}),
                 type: attribute.type,
                 raw: attribute.raw,
                 value: attribute.value,
@@ -332,6 +329,7 @@ export function validate(aes, schema, options = {}) {
     for (let i = 0; i < aes.length; i++) {
         const event = aes[i];
         const pathStr = formatCanonicalPath(event.path);
+        const portable = isPortableTelexRecord(event);
         if (pathStr.length > resourcePolicy.max_path_length) {
             emitResourceError(ctx, pathStr, `Path length ${pathStr.length} exceeds max_path_length ${resourcePolicy.max_path_length}`, toTuple(event.span));
         }
@@ -355,9 +353,27 @@ export function validate(aes, schema, options = {}) {
         else {
             seen.set(pathStr, event.span);
             // Collect event info for Phase 5-7 checks
-            if (event.value && typeof event.value.type === 'string') {
+            if (portable) {
+                const value = typeof event.value === 'string' ? event.value : '';
+                const datatype = portableDatatype(event);
+                const info = {
+                    ...(typeof event.identity === 'string' ? { identity: event.identity } : {}),
+                    type: event.kind,
+                    raw: value,
+                    value,
+                    ...(datatype !== undefined ? { datatype } : {}),
+                    span: toTuple(event.span),
+                    ...((event.kind === 'CloneReference' || event.kind === 'PointerReference')
+                        && typeof event.value === 'string'
+                        ? { referencePath: parsePortableReferencePath(event.value) }
+                        : {}),
+                };
+                eventsByPath.set(pathStr, info);
+            }
+            else if (event.value && typeof event.value.type === 'string') {
                 const attributes = buildAttributeInfoMap(event.annotations);
                 const info = {
+                    ...(typeof event.structuralId === 'string' ? { identity: event.structuralId } : {}),
                     type: event.value.type,
                     raw: typeof event.value.raw === 'string' ? event.value.raw : '',
                     value: typeof event.value.value === 'string' ? event.value.value : '',
@@ -393,18 +409,26 @@ export function validate(aes, schema, options = {}) {
         }
         // Register index even for first occurrence
     }
+    hydratePortableAttributes(eventsByPath, aes);
+    hydratePortableContainerArities(aes, containerArity, resourcePolicy, ctx, toTuple);
     for (const [path, info] of eventsByPath) {
         enforceStringLengthResourceBudget(info, path, resourcePolicy, ctx);
     }
     // Optional separator literal trailing-delimiter policy
     if (trailingSeparatorPolicy !== 'off') {
         for (const event of aes) {
-            if (event?.value?.type !== 'SeparatorLiteral')
+            const portable = isPortableTelexRecord(event);
+            const kind = portable ? event.kind : event?.value?.type;
+            if (kind !== 'SeparatorLiteral')
                 continue;
-            const payload = typeof event.value.value === 'string' ? event.value.value : '';
+            const payload = portable
+                ? (typeof event.value === 'string' ? event.value : '')
+                : (typeof event.value.value === 'string' ? event.value.value : '');
             if (payload.length === 0)
                 continue;
-            const separators = decodeSeparatorChars(typeof event.datatype === 'string' ? event.datatype : undefined);
+            const separators = decodeSeparatorChars(portable
+                ? portableDatatype(event)
+                : (typeof event.datatype === 'string' ? event.datatype : undefined));
             if (separators.length === 0)
                 continue;
             const lastChar = payload[payload.length - 1];
@@ -542,7 +566,7 @@ function checkWorldPolicy(schema, aes, boundPaths, eventsByPath, ctx) {
     }
     for (const event of aes) {
         const key = typeof event.key === 'string' ? event.key : '';
-        if (key.startsWith('aeon:'))
+        if (event.sourcePlane === 'header' || (event.sourcePlane === undefined && key.startsWith('aeon:')))
             continue;
         const path = formatCanonicalPathLocal(event.path);
         if (!boundPaths.has(path))
@@ -784,6 +808,8 @@ function insertAeosSansaResolvePath(root, path, info) {
         }
     }
     current.info = info;
+    if (info.identity !== undefined)
+        current.identity = info.identity;
 }
 function getOrCreateChildBinding(parent, path, identity) {
     const existing = parent.children.find((child) => identity.name !== undefined
@@ -1017,14 +1043,6 @@ function validateAttributeEntry(path, entry, constraints, datatypeRules, ctx) {
         validateAttributeMap(path, entry.attributes, effectiveConstraints, datatypeRules, ctx);
     }
 }
-function datatypeBase(datatype) {
-    const genericIdx = datatype.indexOf('<');
-    const separatorIdx = datatype.indexOf('[');
-    const endIdx = [genericIdx, separatorIdx]
-        .filter((idx) => idx >= 0)
-        .reduce((min, idx) => Math.min(min, idx), datatype.length);
-    return datatype.slice(0, endIdx);
-}
 function mergeDatatypeRuleConstraints(constraints, datatype, datatypeRules) {
     if (!datatype || !datatypeRules)
         return constraints;
@@ -1158,15 +1176,6 @@ function radixConstraintMatches(datatype, raw, constraints) {
         return false;
     return firstInvalidRadixDigit(raw, constraints.radix) === null;
 }
-function declaredRadixFromDatatype(datatype) {
-    if (datatype === undefined)
-        return null;
-    const match = /^radix(?:\[(\d+)\]|(\d+))$/i.exec(datatype.trim());
-    if (!match)
-        return null;
-    const value = Number(match[1] ?? match[2]);
-    return Number.isInteger(value) && value >= 0 ? value : null;
-}
 function isStringType(type) {
     return type === 'StringLiteral'
         || type === 'TrimtickLiteral'
@@ -1178,7 +1187,7 @@ function isStringType(type) {
         || type === 'DateLiteral'
         || type === 'TimeLiteral'
         || type === 'DateTimeLiteral'
-        || type === 'ZRUTDateTimeLiteral';
+        || type === 'WTCDateTimeLiteral';
 }
 function countFormDigits(type, raw) {
     if (type === 'NumberLiteral')
@@ -1222,7 +1231,159 @@ function isNegative(raw) {
 function isFormNegative(raw) {
     return /^[$#%^]?-/.test(raw) || raw.startsWith('-');
 }
+function isPortableTelexRecord(value) {
+    if (value === null || typeof value !== 'object')
+        return false;
+    const record = value;
+    return typeof record.path === 'string' && typeof record.kind === 'string' && record.header === undefined;
+}
+function portableDatatype(record) {
+    if (typeof record.datatype !== 'string')
+        return undefined;
+    if (!Array.isArray(record.generics) || !Array.isArray(record.clarifiers))
+        return record.datatype;
+    return formatDatatypeDescriptor({
+        datatype: record.datatype,
+        generics: record.generics,
+        clarifiers: record.clarifiers,
+    });
+}
+function parsePortablePath(path) {
+    if (!path.startsWith('$'))
+        throw new TypeError(`Expected absolute portable AES path: ${path}`);
+    const segments = [];
+    const prefixes = [];
+    let cursor = 1;
+    while (cursor < path.length) {
+        const start = cursor;
+        let type;
+        if (path.startsWith('.@.', cursor)) {
+            type = 'attribute';
+            cursor += 3;
+        }
+        else if (path[cursor] === '.') {
+            type = 'member';
+            cursor += 1;
+        }
+        else if (path[cursor] === '[') {
+            const match = path.slice(cursor).match(/^\[(0|[1-9][0-9]*)\]/u);
+            if (match === null)
+                throw new TypeError(`Invalid portable AES index: ${path}`);
+            cursor += match[0].length;
+            segments.push({ type: 'index', index: Number(match[1]) });
+            prefixes.push(path.slice(0, cursor));
+            continue;
+        }
+        else {
+            throw new TypeError(`Invalid portable AES path: ${path}`);
+        }
+        let key;
+        if (path[cursor] === '[' && path[cursor + 1] === '"') {
+            let end = cursor + 2;
+            let escaped = false;
+            for (; end < path.length; end += 1) {
+                const character = path[end];
+                if (escaped)
+                    escaped = false;
+                else if (character === '\\')
+                    escaped = true;
+                else if (character === '"')
+                    break;
+            }
+            if (path[end] !== '"' || path[end + 1] !== ']')
+                throw new TypeError(`Invalid quoted member: ${path}`);
+            key = JSON.parse(path.slice(cursor + 1, end + 1));
+            cursor = end + 2;
+        }
+        else {
+            const match = path.slice(cursor).match(/^[A-Za-z_][A-Za-z0-9_]*/u);
+            if (match === null)
+                throw new TypeError(`Invalid portable AES member: ${path}`);
+            key = match[0];
+            cursor += key.length;
+        }
+        segments.push({ type, key });
+        prefixes.push(path.slice(0, cursor));
+        if (cursor === start)
+            throw new TypeError(`Invalid portable AES path: ${path}`);
+    }
+    return { segments, prefixes };
+}
+function parsePortableReferencePath(path) {
+    return parsePortablePath(path).segments.map((segment) => {
+        if (segment.type === 'index')
+            return segment.index;
+        if (segment.type === 'attribute')
+            return { type: 'attr', key: segment.key };
+        return segment.key;
+    });
+}
+function hydratePortableAttributes(eventsByPath, aes) {
+    const attributes = aes
+        .filter(isPortableTelexRecord)
+        .map((record) => {
+        try {
+            return { record, details: parsePortablePath(record.path) };
+        }
+        catch {
+            return null;
+        }
+    })
+        .filter((entry) => entry !== null)
+        .filter(({ details }) => details.segments.at(-1)?.type === 'attribute')
+        .sort((a, b) => a.details.segments.length - b.details.segments.length);
+    for (const { record, details } of attributes) {
+        const final = details.segments.at(-1);
+        if (final?.type !== 'attribute')
+            continue;
+        const ownerPath = details.prefixes.at(-2) ?? '$';
+        const owner = eventsByPath.get(ownerPath);
+        const attribute = eventsByPath.get(record.path);
+        if (owner === undefined || attribute === undefined)
+            continue;
+        const mapped = new Map(owner.attributes ?? []);
+        mapped.set(final.key, attribute);
+        owner.attributes = mapped;
+    }
+}
+function hydratePortableContainerArities(aes, containerArity, resourcePolicy, ctx, toTuple) {
+    const records = aes.filter(isPortableTelexRecord);
+    if (records.length === 0)
+        return;
+    const details = new Map();
+    for (const record of records) {
+        try {
+            details.set(record.path, parsePortablePath(record.path));
+        }
+        catch {
+            // The portable AES validation layer reports malformed paths.
+        }
+    }
+    for (const record of records) {
+        if (!['ObjectNode', 'ListNode', 'TupleLiteral', 'NodeLiteral', 'NodeHead'].includes(record.kind))
+            continue;
+        const childOwner = record.kind === 'NodeLiteral' ? `${record.path}[0]` : record.path;
+        let count = 0;
+        for (const candidate of records) {
+            const candidateDetails = details.get(candidate.path);
+            if (candidateDetails === undefined)
+                continue;
+            const parent = candidateDetails.prefixes.at(-2) ?? '$';
+            const last = candidateDetails.segments.at(-1);
+            if (parent !== childOwner || last === undefined)
+                continue;
+            if (record.kind === 'ObjectNode' ? last.type === 'member' : last.type === 'index')
+                count += 1;
+        }
+        containerArity.set(record.path, count);
+        if (count > resourcePolicy.max_container_children_default) {
+            emitResourceError(ctx, record.path, `Container child count ${count} exceeds max_container_children_default ${resourcePolicy.max_container_children_default}`, toTuple(record.span));
+        }
+    }
+}
 function formatCanonicalPathLocal(path) {
+    if (typeof path === 'string')
+        return path;
     if (!path || !Array.isArray(path.segments))
         return '$';
     let result = '';
@@ -1251,6 +1412,10 @@ function formatCanonicalPathLocal(path) {
 function toTupleLocal(span) {
     if (!span)
         return null;
+    if (typeof span === 'string') {
+        const match = span.match(/^(0|[1-9][0-9]*):(0|[1-9][0-9]*)$/u);
+        return match === null ? null : [Number(match[1]), Number(match[2])];
+    }
     if (Array.isArray(span) && span.length === 2 && typeof span[0] === 'number')
         return span;
     if (span.start && span.end && typeof span.start.offset === 'number')