@altopelago/aeos-core 0.9.0

package/dist/rules/typeCheck.d.ts

@@ -0,0 +1,29 @@
+/**
+ * @altopelago/aeos-core - Rules: Type Check
+ *
+ * Phase 5: Literal kind validation.
+ */
+import type { DiagContext } from '../diag/emit.js';
+import type { Span } from '../types/spans.js';
+import type { RuleIndex } from './schemaIndex.js';
+/**
+ * Event value with type and span
+ */
+interface TypedValue {
+    type: string;
+    raw?: string;
+    span: Span;
+}
+/**
+ * Check type constraints for events matching schema rules.
+ *
+ * For each event whose path has a `type` constraint in the schema,
+ * verify the value's literal kind matches the constraint.
+ *
+ * @param ruleIndex - Schema rule index (path → rule)
+ * @param events - Map of path → event value info
+ * @param ctx - Diagnostic context
+ */
+export declare function checkTypes(ruleIndex: RuleIndex, events: ReadonlyMap<string, TypedValue>, ctx: DiagContext): void;
+export {};
+//# sourceMappingURL=typeCheck.d.ts.map

package/dist/rules/typeCheck.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"typeCheck.d.ts","sourceRoot":"","sources":["../../src/rules/typeCheck.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAGnD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAC9C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAuBlD;;GAEG;AACH,UAAU,UAAU;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,IAAI,CAAC;CACd;AAED;;;;;;;;;GASG;AACH,wBAAgB,UAAU,CACtB,SAAS,EAAE,SAAS,EACpB,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,UAAU,CAAC,EACvC,GAAG,EAAE,WAAW,GACjB,IAAI,CA0CN"}

package/dist/rules/typeCheck.js

@@ -0,0 +1,99 @@
+/**
+ * @altopelago/aeos-core - Rules: Type Check
+ *
+ * Phase 5: Literal kind validation.
+ */
+import { createDiag, emitError } from '../diag/emit.js';
+import { ErrorCodes } from '../diag/codes.js';
+/**
+ * Mapping from AEON parser type to AEOS constraint type.
+ *
+ * The parser emits "NumberLiteral" for all numeric literals.
+ * AEOS schema uses "IntegerLiteral" / "FloatLiteral" for specificity.
+ * We refine those using the literal's raw lexical form.
+ */
+const TYPE_ALIASES = {
+    // Parser type → Constraint types it satisfies
+    'NumberLiteral': ['NumberLiteral'],
+    'StringLiteral': ['StringLiteral'],
+    'BooleanLiteral': ['BooleanLiteral'],
+    'NullLiteral': ['NullLiteral'],
+    'ObjectNode': ['ObjectNode'],
+    'ListNode': ['ListNode'],
+    'ListLiteral': ['ListNode', 'ListLiteral'],
+    'TupleLiteral': ['TupleLiteral'],
+    'CloneReference': ['CloneReference'],
+    'PointerReference': ['PointerReference'],
+};
+/**
+ * Check type constraints for events matching schema rules.
+ *
+ * For each event whose path has a `type` constraint in the schema,
+ * verify the value's literal kind matches the constraint.
+ *
+ * @param ruleIndex - Schema rule index (path → rule)
+ * @param events - Map of path → event value info
+ * @param ctx - Diagnostic context
+ */
+export function checkTypes(ruleIndex, events, ctx) {
+    for (const [path, rule] of ruleIndex) {
+        const expectedType = rule.constraints.type;
+        const expectedContainer = rule.constraints.type_is;
+        if (expectedType === undefined && expectedContainer === undefined)
+            continue;
+        const event = events.get(path);
+        if (!event)
+            continue; // Missing path handled by presence check
+        const actualType = event.type;
+        if (expectedContainer !== undefined) {
+            const containerOk = expectedContainer === 'list'
+                ? (actualType === 'ListLiteral' || actualType === 'ListNode')
+                : actualType === 'TupleLiteral';
+            if (!containerOk) {
+                emitError(ctx, createDiag(path, event.span, `Container kind mismatch: expected ${expectedContainer}, got ${actualType}`, ErrorCodes.WRONG_CONTAINER_KIND));
+            }
+        }
+        if (expectedType === undefined)
+            continue;
+        // Check if actual type satisfies expected type
+        if (!typeMatches(actualType, expectedType, event.raw)) {
+            const parentPath = path.replace(/\[\d+\]$/, '');
+            const parentType = parentPath !== path ? events.get(parentPath)?.type : undefined;
+            emitError(ctx, createDiag(path, event.span, `Type mismatch: expected ${expectedType}, got ${actualType}`, /\[\d+\]$/.test(path) && parentType === 'TupleLiteral'
+                ? ErrorCodes.TUPLE_ELEMENT_TYPE_MISMATCH
+                : ErrorCodes.TYPE_MISMATCH));
+        }
+    }
+}
+/**
+ * Check if an actual type satisfies an expected type constraint.
+ */
+function typeMatches(actualType, expectedType, raw) {
+    // Direct match
+    if (actualType === expectedType)
+        return true;
+    if (actualType === 'NumberLiteral') {
+        if (expectedType === 'IntegerLiteral') {
+            return isIntegerNumber(raw);
+        }
+        if (expectedType === 'FloatLiteral') {
+            return isFloatNumber(raw);
+        }
+    }
+    // Check aliases (e.g., NumberLiteral satisfies IntegerLiteral)
+    const satisfies = TYPE_ALIASES[actualType];
+    if (satisfies && satisfies.includes(expectedType))
+        return true;
+    return false;
+}
+function isIntegerNumber(raw) {
+    if (typeof raw !== 'string')
+        return false;
+    return /^[+-]?\d[\d_]*$/.test(raw);
+}
+function isFloatNumber(raw) {
+    if (typeof raw !== 'string')
+        return false;
+    return /^[+-]?(?:\d[\d_]*\.\d[\d_]*|\d[\d_]*\.|\.\d[\d_]*|\d[\d_]*[eE][+-]?\d[\d_]*)$/.test(raw);
+}
+//# sourceMappingURL=typeCheck.js.map

package/dist/rules/typeCheck.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"typeCheck.js","sourceRoot":"","sources":["../../src/rules/typeCheck.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAI9C;;;;;;GAMG;AACH,MAAM,YAAY,GAA6B;IAC3C,8CAA8C;IAC9C,eAAe,EAAE,CAAC,eAAe,CAAC;IAClC,eAAe,EAAE,CAAC,eAAe,CAAC;IAClC,gBAAgB,EAAE,CAAC,gBAAgB,CAAC;IACpC,aAAa,EAAE,CAAC,aAAa,CAAC;IAC9B,YAAY,EAAE,CAAC,YAAY,CAAC;IAC5B,UAAU,EAAE,CAAC,UAAU,CAAC;IACxB,aAAa,EAAE,CAAC,UAAU,EAAE,aAAa,CAAC;IAC1C,cAAc,EAAE,CAAC,cAAc,CAAC;IAChC,gBAAgB,EAAE,CAAC,gBAAgB,CAAC;IACpC,kBAAkB,EAAE,CAAC,kBAAkB,CAAC;CAC3C,CAAC;AAWF;;;;;;;;;GASG;AACH,MAAM,UAAU,UAAU,CACtB,SAAoB,EACpB,MAAuC,EACvC,GAAgB;IAEhB,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,SAAS,EAAE,CAAC;QACnC,MAAM,YAAY,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC;QAC3C,MAAM,iBAAiB,GAAI,IAAI,CAAC,WAAmB,CAAC,OAAuC,CAAC;QAE5F,IAAI,YAAY,KAAK,SAAS,IAAI,iBAAiB,KAAK,SAAS;YAAE,SAAS;QAE5E,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,CAAC,KAAK;YAAE,SAAS,CAAC,yCAAyC;QAE/D,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC;QAE9B,IAAI,iBAAiB,KAAK,SAAS,EAAE,CAAC;YAClC,MAAM,WAAW,GAAG,iBAAiB,KAAK,MAAM;gBAC5C,CAAC,CAAC,CAAC,UAAU,KAAK,aAAa,IAAI,UAAU,KAAK,UAAU,CAAC;gBAC7D,CAAC,CAAC,UAAU,KAAK,cAAc,CAAC;YACpC,IAAI,CAAC,WAAW,EAAE,CAAC;gBACf,SAAS,CAAC,GAAG,EAAE,UAAU,CACrB,IAAI,EACJ,KAAK,CAAC,IAAI,EACV,qCAAqC,iBAAiB,SAAS,UAAU,EAAE,EAC3E,UAAU,CAAC,oBAAoB,CAClC,CAAC,CAAC;YACP,CAAC;QACL,CAAC;QAED,IAAI,YAAY,KAAK,SAAS;YAAE,SAAS;QAEzC,+CAA+C;QAC/C,IAAI,CAAC,WAAW,CAAC,UAAU,EAAE,YAAY,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YACpD,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;YAChD,MAAM,UAAU,GAAG,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;YAClF,SAAS,CAAC,GAAG,EAAE,UAAU,CACrB,IAAI,EACJ,KAAK,CAAC,IAAI,EACV,2BAA2B,YAAY,SAAS,UAAU,EAAE,EAC5D,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,UAAU,KAAK,cAAc;gBAClD,CAAC,CAAC,UAAU,CAAC,2BAA2B;gBACxC,CAAC,CAAC,UAAU,CAAC,aAAa,CACjC,CAAC,CAAC;QACP,CAAC;IACL,CAAC;AACL,CAAC;AAED;;GAEG;AACH,SAAS,WAAW,CAAC,UAAkB,EAAE,YAAoB,EAAE,GAAY;IACvE,eAAe;IACf,IAAI,UAAU,KAAK,YAAY;QAAE,OAAO,IAAI,CAAC;IAE7C,IAAI,UAAU,KAAK,eAAe,EAAE,CAAC;QACjC,IAAI,YAAY,KAAK,gBAAgB,EAAE,CAAC;YACpC,OAAO,eAAe,CAAC,GAAG,CAAC,CAAC;QAChC,CAAC;QACD,IAAI,YAAY,KAAK,cAAc,EAAE,CAAC;YAClC,OAAO,aAAa,CAAC,GAAG,CAAC,CAAC;QAC9B,CAAC;IACL,CAAC;IAED,+DAA+D;IAC/D,MAAM,SAAS,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;IAC3C,IAAI,SAAS,IAAI,SAAS,CAAC,QAAQ,CAAC,YAAY,CAAC;QAAE,OAAO,IAAI,CAAC;IAE/D,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,SAAS,eAAe,CAAC,GAAY;IACjC,IAAI,OAAO,GAAG,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC1C,OAAO,iBAAiB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACvC,CAAC;AAED,SAAS,aAAa,CAAC,GAAY;IAC/B,IAAI,OAAO,GAAG,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC1C,OAAO,+EAA+E,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACrG,CAAC"}

package/dist/types/aes.d.ts

@@ -0,0 +1,14 @@
+/**
+ * @altopelago/aeos-core - Types: AES
+ *
+ * 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 { Span as AeonSpan } from '@altopelago/aeon-lexer';
+export type { AssignmentEvent, AeonSpan };
+/**
+ * Readonly AES array type for validation input
+ */
+export type AES = readonly AssignmentEvent[];
+//# sourceMappingURL=aes.d.ts.map

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

@@ -0,0 +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"}

package/dist/types/aes.js

@@ -0,0 +1,8 @@
+/**
+ * @altopelago/aeos-core - Types: AES
+ *
+ * Re-exports AES types from @altopelago/aeon-aes.
+ * These are type-only imports to maintain zero runtime dependencies.
+ */
+export {};
+//# sourceMappingURL=aes.js.map

package/dist/types/aes.js.map

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

package/dist/types/envelope.d.ts

@@ -0,0 +1,47 @@
+/**
+ * @altopelago/aeos-core - Types: Envelope
+ *
+ * Canonical Result Envelope for AEOS validation.
+ * This shape is normative and must match the CTS runner expectations.
+ */
+import type { Span } from './spans.js';
+/**
+ * Diagnostic entry (error or warning)
+ */
+export interface Diag {
+    /** Canonical path where the issue occurred */
+    readonly path: string;
+    /** Source span, or null for missing paths */
+    readonly span: Span;
+    /** Human-readable message (non-normative) */
+    readonly message: string;
+    /** Phase that produced this diagnostic */
+    readonly phase: 'schema_validation';
+    /** Error code (standard or vendor:code) */
+    readonly code: string;
+}
+/**
+ * Canonical Result Envelope
+ *
+ * This is the only output shape AEOS produces.
+ * The envelope MUST NOT contain the input AES.
+ */
+export interface ResultEnvelope {
+    /** true if validation passed with no errors */
+    readonly ok: boolean;
+    /** All validation errors */
+    readonly errors: readonly Diag[];
+    /** All validation warnings */
+    readonly warnings: readonly Diag[];
+    /** Guarantees keyed by path → array of tags */
+    readonly guarantees: Readonly<Record<string, readonly string[]>>;
+}
+/**
+ * Create an empty passing result envelope
+ */
+export declare function createPassingEnvelope(guarantees?: Record<string, readonly string[]>, warnings?: readonly Diag[]): ResultEnvelope;
+/**
+ * Create a failing result envelope from errors
+ */
+export declare function createFailingEnvelope(errors: readonly Diag[], warnings?: readonly Diag[], guarantees?: Record<string, readonly string[]>): ResultEnvelope;
+//# sourceMappingURL=envelope.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"envelope.d.ts","sourceRoot":"","sources":["../../src/types/envelope.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAEvC;;GAEG;AACH,MAAM,WAAW,IAAI;IACjB,8CAA8C;IAC9C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,6CAA6C;IAC7C,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,6CAA6C;IAC7C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,0CAA0C;IAC1C,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC;IACpC,2CAA2C;IAC3C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACzB;AAED;;;;;GAKG;AACH,MAAM,WAAW,cAAc;IAC3B,+CAA+C;IAC/C,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,4BAA4B;IAC5B,QAAQ,CAAC,MAAM,EAAE,SAAS,IAAI,EAAE,CAAC;IACjC,8BAA8B;IAC9B,QAAQ,CAAC,QAAQ,EAAE,SAAS,IAAI,EAAE,CAAC;IACnC,+CAA+C;IAC/C,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,CAAC;CACpE;AAED;;GAEG;AACH,wBAAgB,qBAAqB,CACjC,UAAU,GAAE,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAM,EAClD,QAAQ,GAAE,SAAS,IAAI,EAAO,GAC/B,cAAc,CAOhB;AAGD;;GAEG;AACH,wBAAgB,qBAAqB,CACjC,MAAM,EAAE,SAAS,IAAI,EAAE,EACvB,QAAQ,GAAE,SAAS,IAAI,EAAO,EAC9B,UAAU,GAAE,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAM,GACnD,cAAc,CAOhB"}

package/dist/types/envelope.js

@@ -0,0 +1,29 @@
+/**
+ * @altopelago/aeos-core - Types: Envelope
+ *
+ * Canonical Result Envelope for AEOS validation.
+ * This shape is normative and must match the CTS runner expectations.
+ */
+/**
+ * Create an empty passing result envelope
+ */
+export function createPassingEnvelope(guarantees = {}, warnings = []) {
+    return {
+        ok: true,
+        errors: [],
+        warnings,
+        guarantees,
+    };
+}
+/**
+ * Create a failing result envelope from errors
+ */
+export function createFailingEnvelope(errors, warnings = [], guarantees = {}) {
+    return {
+        ok: false,
+        errors,
+        warnings,
+        guarantees,
+    };
+}
+//# sourceMappingURL=envelope.js.map

package/dist/types/envelope.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"envelope.js","sourceRoot":"","sources":["../../src/types/envelope.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAqCH;;GAEG;AACH,MAAM,UAAU,qBAAqB,CACjC,aAAgD,EAAE,EAClD,WAA4B,EAAE;IAE9B,OAAO;QACH,EAAE,EAAE,IAAI;QACR,MAAM,EAAE,EAAE;QACV,QAAQ;QACR,UAAU;KACb,CAAC;AACN,CAAC;AAGD;;GAEG;AACH,MAAM,UAAU,qBAAqB,CACjC,MAAuB,EACvB,WAA4B,EAAE,EAC9B,aAAgD,EAAE;IAElD,OAAO;QACH,EAAE,EAAE,KAAK;QACT,MAAM;QACN,QAAQ;QACR,UAAU;KACb,CAAC;AACN,CAAC"}

package/dist/types/index.d.ts

@@ -0,0 +1,10 @@
+/**
+ * @altopelago/aeos-core - Types Index
+ *
+ * Re-exports all type definitions.
+ */
+export * from './spans.js';
+export * from './envelope.js';
+export * from './aes.js';
+export * from './schema.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/types/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,cAAc,YAAY,CAAC;AAC3B,cAAc,eAAe,CAAC;AAC9B,cAAc,UAAU,CAAC;AACzB,cAAc,aAAa,CAAC"}

package/dist/types/index.js

@@ -0,0 +1,10 @@
+/**
+ * @altopelago/aeos-core - Types Index
+ *
+ * Re-exports all type definitions.
+ */
+export * from './spans.js';
+export * from './envelope.js';
+export * from './aes.js';
+export * from './schema.js';
+//# sourceMappingURL=index.js.map

package/dist/types/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/types/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,cAAc,YAAY,CAAC;AAC3B,cAAc,eAAe,CAAC;AAC9B,cAAc,UAAU,CAAC;AACzB,cAAc,aAAa,CAAC"}

package/dist/types/schema.d.ts

@@ -0,0 +1,81 @@
+/**
+ * @altopelago/aeos-core - Types: Schema
+ *
+ * AEOS Constraint Model v1 types.
+ */
+/**
+ * Known constraint keys for v1
+ */
+export interface AttributeConstraintsV1 extends ConstraintsV1 {
+}
+export interface ConstraintsV1 {
+    /** Path must exist in AES */
+    readonly required?: boolean;
+    /** Expected literal kind (StringLiteral, IntegerLiteral, etc.) */
+    readonly type?: string;
+    /** Reference form policy for the path */
+    readonly reference?: 'allow' | 'forbid' | 'require';
+    /** Required reference kind when reference='require' */
+    readonly reference_kind?: 'clone' | 'pointer' | 'either';
+    /** Regex pattern matched against the canonicalized reference target path */
+    readonly reference_target_pattern?: string;
+    /** Resolve reference chains before applying form/type constraints on this path */
+    readonly resolve_reference_form?: boolean;
+    /** Core v1 container kind check: list | tuple */
+    readonly type_is?: 'list' | 'tuple';
+    /** Core v1 exact container arity constraint */
+    readonly length_exact?: number;
+    /** For integers: 'signed' or 'unsigned' syntax */
+    readonly sign?: 'signed' | 'unsigned';
+    /** Minimum ASCII digit count (excludes sign) */
+    readonly min_digits?: number;
+    /** Maximum ASCII digit count (excludes sign) */
+    readonly max_digits?: number;
+    /** Minimum integer value (inclusive), encoded as base-10 string for exactness */
+    readonly min_value?: string;
+    /** Maximum integer value (inclusive), encoded as base-10 string for exactness */
+    readonly max_value?: string;
+    /** Minimum string length in UTF-16 code units (JavaScript string.length) */
+    readonly min_length?: number;
+    /** Maximum string length in UTF-16 code units (JavaScript string.length) */
+    readonly max_length?: number;
+    /** Regex pattern for string matching */
+    readonly pattern?: string;
+    /** Datatype label (presence check only, no capacity) */
+    readonly datatype?: string;
+    /** Attribute entry constraints keyed by attribute name */
+    readonly attributes?: Readonly<Record<string, AttributeConstraintsV1>>;
+    /** Reject unknown attribute keys at this attribute-object level */
+    readonly closed_attributes?: boolean;
+}
+/**
+ * Schema rule for a canonical path
+ */
+export interface SchemaRule {
+    /** Canonical path this rule applies to */
+    readonly path: string;
+    /** Constraints to apply */
+    readonly constraints: ConstraintsV1;
+}
+/**
+ * AEOS Schema v1
+ */
+export interface SchemaV1 {
+    /** Array of rules */
+    readonly rules: readonly SchemaRule[];
+    /** Open-world or closed-world validation policy */
+    readonly world?: 'open' | 'closed';
+    /** Optional schema-wide reference policy */
+    readonly reference_policy?: 'allow' | 'forbid';
+    /** Optional datatype-wide constraints keyed by datatype base label */
+    readonly datatype_rules?: Readonly<Record<string, ConstraintsV1>>;
+}
+/**
+ * Known constraint keys for validation
+ */
+export declare const KNOWN_CONSTRAINT_KEYS: ReadonlySet<string>;
+/**
+ * Check if a constraints object has any unknown keys
+ */
+export declare function hasUnknownConstraintKeys(constraints: Record<string, unknown>): boolean;
+//# sourceMappingURL=schema.d.ts.map

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

@@ -0,0 +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,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,4EAA4E;IAC5E,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,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,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,wCAAwC;IACxC,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,0CAA0C;IAC1C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAEtB,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,sEAAsE;IACtE,QAAQ,CAAC,cAAc,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC,CAAC;CACrE;AAED;;GAEG;AACH,eAAO,MAAM,qBAAqB,EAAE,WAAW,CAAC,MAAM,CAoBpD,CAAC;AAEH;;GAEG;AACH,wBAAgB,wBAAwB,CAAC,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,OAAO,CAOtF"}

package/dist/types/schema.js

@@ -0,0 +1,41 @@
+/**
+ * @altopelago/aeos-core - Types: Schema
+ *
+ * AEOS Constraint Model v1 types.
+ */
+/**
+ * Known constraint keys for validation
+ */
+export const KNOWN_CONSTRAINT_KEYS = new Set([
+    'required',
+    'type',
+    'reference',
+    'reference_kind',
+    'reference_target_pattern',
+    'resolve_reference_form',
+    'type_is',
+    'length_exact',
+    'sign',
+    'min_digits',
+    'max_digits',
+    'min_value',
+    'max_value',
+    'min_length',
+    'max_length',
+    'pattern',
+    'datatype',
+    'attributes',
+    'closed_attributes',
+]);
+/**
+ * Check if a constraints object has any unknown keys
+ */
+export function hasUnknownConstraintKeys(constraints) {
+    for (const key of Object.keys(constraints)) {
+        if (!KNOWN_CONSTRAINT_KEYS.has(key)) {
+            return true;
+        }
+    }
+    return false;
+}
+//# sourceMappingURL=schema.js.map

package/dist/types/schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../src/types/schema.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AA8FH;;GAEG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAwB,IAAI,GAAG,CAAC;IAC9D,UAAU;IACV,MAAM;IACN,WAAW;IACX,gBAAgB;IAChB,0BAA0B;IAC1B,wBAAwB;IACxB,SAAS;IACT,cAAc;IACd,MAAM;IACN,YAAY;IACZ,YAAY;IACZ,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/types/spans.d.ts

@@ -0,0 +1,28 @@
+/**
+ * @altopelago/aeos-core - Types: Span
+ *
+ * Span representation for AEOS diagnostics.
+ * This is a simplified tuple format for CTS compatibility.
+ */
+/**
+ * Span as a tuple: [start_offset, end_offset] or null for missing paths.
+ *
+ * This is the CTS-compatible format. For full position info,
+ * the original AEON Span from @altopelago/aeon-aes can be converted.
+ */
+export type Span = [number, number] | null;
+/**
+ * Convert an AEON Span to AEOS tuple format.
+ *
+ * @param span - AEON Span with start/end Position objects
+ * @returns Tuple [start_offset, end_offset]
+ */
+export declare function spanToTuple(span: {
+    start: {
+        offset: number;
+    };
+    end: {
+        offset: number;
+    };
+}): [number, number];
+//# sourceMappingURL=spans.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"spans.d.ts","sourceRoot":"","sources":["../../src/types/spans.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH;;;;;GAKG;AACH,MAAM,MAAM,IAAI,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,IAAI,CAAC;AAE3C;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE;IAAE,KAAK,EAAE;QAAE,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IAAC,GAAG,EAAE;QAAE,MAAM,EAAE,MAAM,CAAA;KAAE,CAAA;CAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAE1G"}

package/dist/types/spans.js

@@ -0,0 +1,16 @@
+/**
+ * @altopelago/aeos-core - Types: Span
+ *
+ * Span representation for AEOS diagnostics.
+ * This is a simplified tuple format for CTS compatibility.
+ */
+/**
+ * Convert an AEON Span to AEOS tuple format.
+ *
+ * @param span - AEON Span with start/end Position objects
+ * @returns Tuple [start_offset, end_offset]
+ */
+export function spanToTuple(span) {
+    return [span.start.offset, span.end.offset];
+}
+//# sourceMappingURL=spans.js.map

package/dist/types/spans.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"spans.js","sourceRoot":"","sources":["../../src/types/spans.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAUH;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CAAC,IAA4D;IACpF,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;AAChD,CAAC"}

package/dist/util/digits.d.ts

@@ -0,0 +1,34 @@
+/**
+ * @altopelago/aeos-core - Util: Digits
+ *
+ * Helpers for counting ASCII digits in numeric literals.
+ */
+/**
+ * Count ASCII digits in a numeric literal (excludes sign, decimal point, exponent).
+ *
+ * Examples:
+ * - "123" → 3
+ * - "-456" → 3
+ * - "+789" → 3
+ * - "1.5" → 2 (digits before and after decimal)
+ * - "1e10" → 3 (1 + 10)
+ *
+ * For v1, we count only the integer part (before decimal point) for integer constraints.
+ */
+export declare function countDigits(raw: string): number;
+/**
+ * Count integer part digits only (before any decimal point).
+ *
+ * For integer literals, this is the total digit count (excluding sign).
+ * For float literals, this counts digits before the '.'.
+ */
+export declare function countIntegerDigits(raw: string): number;
+/**
+ * Check if a numeric literal is signed (has leading - or +).
+ */
+export declare function isSigned(raw: string): boolean;
+/**
+ * Check if a numeric literal is negative (has leading -).
+ */
+export declare function isNegative(raw: string): boolean;
+//# sourceMappingURL=digits.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"digits.d.ts","sourceRoot":"","sources":["../../src/util/digits.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH;;;;;;;;;;;GAWG;AACH,wBAAgB,WAAW,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAQ/C;AAED;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CA+BtD;AAED;;GAEG;AACH,wBAAgB,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAE7C;AAED;;GAEG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAE/C"}

package/dist/util/digits.js

@@ -0,0 +1,66 @@
+/**
+ * @altopelago/aeos-core - Util: Digits
+ *
+ * Helpers for counting ASCII digits in numeric literals.
+ */
+/**
+ * Count ASCII digits in a numeric literal (excludes sign, decimal point, exponent).
+ *
+ * Examples:
+ * - "123" → 3
+ * - "-456" → 3
+ * - "+789" → 3
+ * - "1.5" → 2 (digits before and after decimal)
+ * - "1e10" → 3 (1 + 10)
+ *
+ * For v1, we count only the integer part (before decimal point) for integer constraints.
+ */
+export function countDigits(raw) {
+    let count = 0;
+    for (const char of raw) {
+        if (char >= '0' && char <= '9') {
+            count++;
+        }
+    }
+    return count;
+}
+/**
+ * Count integer part digits only (before any decimal point).
+ *
+ * For integer literals, this is the total digit count (excluding sign).
+ * For float literals, this counts digits before the '.'.
+ */
+export function countIntegerDigits(raw) {
+    // Remove leading sign
+    let s = raw;
+    if (s.startsWith('+') || s.startsWith('-')) {
+        s = s.slice(1);
+    }
+    // Find decimal point or exponent
+    const decimalIndex = s.indexOf('.');
+    const expIndex = Math.min(s.indexOf('e') !== -1 ? s.indexOf('e') : Infinity, s.indexOf('E') !== -1 ? s.indexOf('E') : Infinity);
+    // Determine end of integer part
+    const endIndex = Math.min(decimalIndex !== -1 ? decimalIndex : Infinity, expIndex !== Infinity ? expIndex : Infinity, s.length);
+    // Count digits in integer part
+    let count = 0;
+    for (let i = 0; i < endIndex; i++) {
+        const char = s[i];
+        if (char !== undefined && char >= '0' && char <= '9') {
+            count++;
+        }
+    }
+    return count;
+}
+/**
+ * Check if a numeric literal is signed (has leading - or +).
+ */
+export function isSigned(raw) {
+    return raw.startsWith('-') || raw.startsWith('+');
+}
+/**
+ * Check if a numeric literal is negative (has leading -).
+ */
+export function isNegative(raw) {
+    return raw.startsWith('-');
+}
+//# sourceMappingURL=digits.js.map

package/dist/util/digits.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"digits.js","sourceRoot":"","sources":["../../src/util/digits.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,WAAW,CAAC,GAAW;IACnC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,IAAI,IAAI,GAAG,EAAE,CAAC;QACrB,IAAI,IAAI,IAAI,GAAG,IAAI,IAAI,IAAI,GAAG,EAAE,CAAC;YAC7B,KAAK,EAAE,CAAC;QACZ,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAAC,GAAW;IAC1C,sBAAsB;IACtB,IAAI,CAAC,GAAG,GAAG,CAAC;IACZ,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACzC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACnB,CAAC;IAED,iCAAiC;IACjC,MAAM,YAAY,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACpC,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CACrB,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EACjD,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CACpD,CAAC;IAEF,gCAAgC;IAChC,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CACrB,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ,EAC7C,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAC3C,CAAC,CAAC,MAAM,CACX,CAAC;IAEF,+BAA+B;IAC/B,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAClB,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,IAAI,GAAG,IAAI,IAAI,IAAI,GAAG,EAAE,CAAC;YACnD,KAAK,EAAE,CAAC;QACZ,CAAC;IACL,CAAC;IAED,OAAO,KAAK,CAAC;AACjB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,QAAQ,CAAC,GAAW;IAChC,OAAO,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;AACtD,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,UAAU,CAAC,GAAW;IAClC,OAAO,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;AAC/B,CAAC"}

package/dist/util/index.d.ts

@@ -0,0 +1,5 @@
+/**
+ * @altopelago/aeos-core - Util Index
+ */
+export * from './digits.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/util/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,cAAc,aAAa,CAAC"}

package/dist/util/index.js

@@ -0,0 +1,5 @@
+/**
+ * @altopelago/aeos-core - Util Index
+ */
+export * from './digits.js';
+//# sourceMappingURL=index.js.map

package/dist/util/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/util/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,cAAc,aAAa,CAAC"}