@altopelago/aeos-core 0.9.0

package/README.md

@@ -0,0 +1,143 @@
+# @altopelago/aeos-core
+
+**AEOS™** (Another Easy Object Schema) — validates Assignment Event Streams (AES) against AEOS schemas.
+
+Implementation docs:
+
+- [`docs/implementations/typescript/api/aeos.md`](../../../../docs/implementations/typescript/api/aeos.md)
+
+## Installation
+
+```bash
+pnpm add @altopelago/aeos-core
+```
+
+## Quick Start
+
+```ts
+import { validate } from '@altopelago/aeos-core';
+import { compile } from '@altopelago/aeon-core';
+
+const compiled = compile('port = 8080');
+if (compiled.errors.length > 0) throw new Error('compile failed');
+
+const schema = {
+  rules: [
+    { path: '$.port', constraints: { type: 'IntegerLiteral' } }
+  ]
+};
+
+const result = validate(compiled.events, schema);
+
+if (result.ok) {
+  console.log('Valid!');
+} else {
+  console.log('Errors:', result.errors);
+}
+```
+
+## What AEOS Does
+
+AEOS answers: "Is this AES structurally and representationally valid?"
+
+AEOS does not:
+
+- coerce values
+- resolve references
+- compare numeric magnitudes unless the rule explicitly requires it
+- inject defaults
+- reinterpret Core-owned reference-legality failures as schema errors
+
+## Common Patterns
+
+### Compile first, then validate
+
+AEOS consumes AES, not raw AEON source text.
+The usual pipeline is:
+
+1. `compile(input)` with `@altopelago/aeon-core`
+2. `validate(events, schema)` with `@altopelago/aeos-core`
+
+### Read the result envelope
+
+`validate()` returns a result envelope with:
+
+- `ok`
+- `errors`
+- `warnings`
+- `guarantees`
+
+### Indexed child paths
+
+AEOS validates AES paths, including synthetic indexed child events emitted by Core.
+
+That means schemas can target list elements, tuple elements, and node children directly:
+
+```ts
+const schema = {
+  rules: [
+    { path: '$.page', constraints: { type: 'NodeLiteral' } },
+    { path: '$.page[0]', constraints: { type: 'NumberLiteral' } },
+  ]
+};
+```
+
+For example, this AEON source:
+
+```aeon
+page:node = <page(:int32 = 3)>
+```
+
+produces AES paths including `$.page` and `$.page[0]`.
+
+### Attribute-aware constraints
+
+AEOS now validates attribute payload contents through:
+
+- `constraints.attributes`
+- `closed_attributes`
+
+This applies to ordinary binding attributes and anonymous child attributes on
+indexed AES events.
+
+Example:
+
+```ts
+const schema = {
+  rules: [
+    {
+      path: '$.values[0]',
+      constraints: {
+        type: 'NumberLiteral',
+        attributes: {
+          unit: {
+            required: true,
+            type: 'StringLiteral',
+            datatype: 'string',
+          },
+        },
+        closed_attributes: true,
+      },
+    },
+  ],
+};
+```
+
+Attribute entries continue to travel in AES metadata, but AEOS now exposes a
+first-class schema surface for validating them.
+
+## API
+
+### `validate(aes, schema, options?)`
+
+Validates an AES against an AEOS schema.
+
+**Returns:** `ResultEnvelope`
+```ts
+{
+  ok: boolean;
+  errors: Diag[];
+  warnings: Diag[];
+  guarantees: Record<string, string[]>;
+}
+```

package/dist/bin/aeos-validator.d.ts

@@ -0,0 +1,16 @@
+#!/usr/bin/env node
+/**
+ * @altopelago/aeos-core - CTS Validator Adapter
+ *
+ * CTS-compatible CLI entry point for the AEOS validator.
+ *
+ * Protocol (CLI Protocol v1):
+ * - Invoked as: aeos-validator --cts-validate
+ * - Reads JSON from stdin: { aes, schema, options }
+ * - Writes JSON to stdout: ResultEnvelope
+ * - Logs may go to stderr
+ *
+ * This adapter is READ-ONLY and does not alter validator behavior.
+ */
+export {};
+//# sourceMappingURL=aeos-validator.d.ts.map

package/dist/bin/aeos-validator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"aeos-validator.d.ts","sourceRoot":"","sources":["../../src/bin/aeos-validator.ts"],"names":[],"mappings":";AACA;;;;;;;;;;;;GAYG"}

package/dist/bin/aeos-validator.js

@@ -0,0 +1,77 @@
+#!/usr/bin/env node
+/**
+ * @altopelago/aeos-core - CTS Validator Adapter
+ *
+ * CTS-compatible CLI entry point for the AEOS validator.
+ *
+ * Protocol (CLI Protocol v1):
+ * - Invoked as: aeos-validator --cts-validate
+ * - Reads JSON from stdin: { aes, schema, options }
+ * - Writes JSON to stdout: ResultEnvelope
+ * - Logs may go to stderr
+ *
+ * This adapter is READ-ONLY and does not alter validator behavior.
+ */
+import { validate } from '../index.js';
+/**
+ * Read all stdin as a string
+ */
+async function readStdin() {
+    const chunks = [];
+    for await (const chunk of process.stdin) {
+        chunks.push(new Uint8Array(chunk));
+    }
+    return Buffer.concat(chunks).toString('utf8');
+}
+/**
+ * Main CTS adapter entry point
+ */
+async function main() {
+    const args = process.argv.slice(2);
+    // Check for --cts-validate flag
+    if (!args.includes('--cts-validate')) {
+        console.error('Usage: aeos-validator --cts-validate');
+        console.error('Reads JSON from stdin, writes ResultEnvelope to stdout.');
+        process.exit(1);
+    }
+    try {
+        // Read input from stdin
+        const input = await readStdin();
+        if (!input.trim()) {
+            console.error('Error: Empty input');
+            process.exit(1);
+        }
+        // Parse input
+        let parsed;
+        try {
+            parsed = JSON.parse(input);
+        }
+        catch {
+            console.error('Error: Invalid JSON input');
+            process.exit(1);
+        }
+        // Validate required fields
+        if (!parsed.aes || !Array.isArray(parsed.aes)) {
+            console.error('Error: Missing or invalid "aes" field');
+            process.exit(1);
+        }
+        if (!parsed.schema || typeof parsed.schema !== 'object') {
+            console.error('Error: Missing or invalid "schema" field');
+            process.exit(1);
+        }
+        // Run validation (read-only, does not mutate inputs)
+        const result = validate(parsed.aes, parsed.schema, parsed.options ?? {});
+        // Output result envelope to stdout
+        // MUST NOT include 'aes' in output (enforced by validate())
+        console.log(JSON.stringify(result));
+    }
+    catch (err) {
+        console.error('Error:', err instanceof Error ? err.message : String(err));
+        process.exit(1);
+    }
+}
+main().catch((err) => {
+    console.error('Fatal error:', err);
+    process.exit(1);
+});
+//# sourceMappingURL=aeos-validator.js.map

package/dist/bin/aeos-validator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"aeos-validator.js","sourceRoot":"","sources":["../../src/bin/aeos-validator.ts"],"names":[],"mappings":";AACA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAevC;;GAEG;AACH,KAAK,UAAU,SAAS;IACpB,MAAM,MAAM,GAAiB,EAAE,CAAC;IAChC,IAAI,KAAK,EAAE,MAAM,KAAK,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;QACtC,MAAM,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC;IACvC,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;AAClD,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,IAAI;IACf,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAEnC,gCAAgC;IAChC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,CAAC;QACnC,OAAO,CAAC,KAAK,CAAC,sCAAsC,CAAC,CAAC;QACtD,OAAO,CAAC,KAAK,CAAC,yDAAyD,CAAC,CAAC;QACzE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC;IAED,IAAI,CAAC;QACD,wBAAwB;QACxB,MAAM,KAAK,GAAG,MAAM,SAAS,EAAE,CAAC;QAChC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;YAChB,OAAO,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC;YACpC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpB,CAAC;QAED,cAAc;QACd,IAAI,MAAgB,CAAC;QACrB,IAAI,CAAC;YACD,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAa,CAAC;QAC3C,CAAC;QAAC,MAAM,CAAC;YACL,OAAO,CAAC,KAAK,CAAC,2BAA2B,CAAC,CAAC;YAC3C,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpB,CAAC;QAED,2BAA2B;QAC3B,IAAI,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5C,OAAO,CAAC,KAAK,CAAC,uCAAuC,CAAC,CAAC;YACvD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpB,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,MAAM,IAAI,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YACtD,OAAO,CAAC,KAAK,CAAC,0CAA0C,CAAC,CAAC;YAC1D,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpB,CAAC;QAED,qDAAqD;QACrD,MAAM,MAAM,GAAmB,QAAQ,CACnC,MAAM,CAAC,GAAG,EACV,MAAM,CAAC,MAAM,EACb,MAAM,CAAC,OAAO,IAAI,EAAE,CACvB,CAAC;QAEF,mCAAmC;QACnC,4DAA4D;QAC5D,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;IAExC,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACX,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1E,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC;AACL,CAAC;AAED,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE;IACjB,OAAO,CAAC,KAAK,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC;IACnC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACpB,CAAC,CAAC,CAAC"}

package/dist/diag/codes.d.ts

@@ -0,0 +1,55 @@
+/**
+ * @altopelago/aeos-core - Diagnostics: Error Codes
+ *
+ * Centralized error code registry.
+ *
+ * Standard codes are lowercase with underscores.
+ * Vendor-prefixed codes use format: vendor:code (e.g., mycompany:custom_check)
+ */
+/**
+ * Standard AEOS v1 error codes
+ */
+export declare const ErrorCodes: {
+    readonly DUPLICATE_BINDING: "duplicate_binding";
+    readonly INVALID_FORWARD_REFERENCE: "invalid_forward_reference";
+    readonly MISSING_REFERENCE_TARGET: "missing_reference_target";
+    readonly RULE_MISSING_PATH: "rule_missing_path";
+    readonly DUPLICATE_RULE_PATH: "duplicate_rule_path";
+    readonly UNKNOWN_CONSTRAINT_KEY: "unknown_constraint_key";
+    readonly INVALID_REFERENCE_CONSTRAINT: "invalid_reference_constraint";
+    readonly MISSING_REQUIRED_FIELD: "missing_required_field";
+    readonly UNEXPECTED_BINDING: "unexpected_binding";
+    readonly UNEXPECTED_ATTRIBUTE_ENTRY: "unexpected_attribute_entry";
+    readonly TYPE_MISMATCH: "type_mismatch";
+    readonly REFERENCE_REQUIRED: "reference_required";
+    readonly REFERENCE_FORBIDDEN: "reference_forbidden";
+    readonly REFERENCE_KIND_MISMATCH: "reference_kind_mismatch";
+    readonly REFERENCE_TARGET_MISMATCH: "reference_target_mismatch";
+    readonly WRONG_CONTAINER_KIND: "WRONG_CONTAINER_KIND";
+    readonly TUPLE_ARITY_MISMATCH: "TUPLE_ARITY_MISMATCH";
+    readonly TUPLE_ELEMENT_TYPE_MISMATCH: "TUPLE_ELEMENT_TYPE_MISMATCH";
+    readonly VERSION_GATE_MISSING: "version_gate_missing";
+    readonly INVALID_INDEX_FORMAT: "invalid_index_format";
+    readonly NUMERIC_FORM_VIOLATION: "numeric_form_violation";
+    readonly STRING_LENGTH_VIOLATION: "string_length_violation";
+    readonly PATTERN_MISMATCH: "pattern_mismatch";
+    readonly DATATYPE_ALLOWLIST_REJECT: "datatype_allowlist_reject";
+    readonly TRAILING_SEPARATOR_DELIMITER: "trailing_separator_delimiter";
+    readonly CONSTRAINT_INAPPLICABLE: "constraint_inapplicable";
+};
+/**
+ * Error code type
+ */
+export type ErrorCode = typeof ErrorCodes[keyof typeof ErrorCodes];
+/**
+ * Check if a code is a vendor-prefixed code
+ */
+export declare function isVendorCode(code: string): boolean;
+/**
+ * Parse a vendor code into namespace and code
+ */
+export declare function parseVendorCode(code: string): {
+    namespace: string;
+    code: string;
+} | null;
+//# sourceMappingURL=codes.d.ts.map

package/dist/diag/codes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"codes.d.ts","sourceRoot":"","sources":["../../src/diag/codes.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH;;GAEG;AACH,eAAO,MAAM,UAAU;;;;;;;;;;;;;;;;;;;;;;;;;;;CA8Cb,CAAC;AAEX;;GAEG;AACH,MAAM,MAAM,SAAS,GAAG,OAAO,UAAU,CAAC,MAAM,OAAO,UAAU,CAAC,CAAC;AAEnE;;GAEG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAElD;AAED;;GAEG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG;IAAE,SAAS,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG,IAAI,CASxF"}

package/dist/diag/codes.js

@@ -0,0 +1,69 @@
+/**
+ * @altopelago/aeos-core - Diagnostics: Error Codes
+ *
+ * Centralized error code registry.
+ *
+ * Standard codes are lowercase with underscores.
+ * Vendor-prefixed codes use format: vendor:code (e.g., mycompany:custom_check)
+ */
+/**
+ * Standard AEOS v1 error codes
+ */
+export const ErrorCodes = {
+    // Baseline invariants (Phase 2)
+    DUPLICATE_BINDING: 'duplicate_binding',
+    INVALID_FORWARD_REFERENCE: 'invalid_forward_reference',
+    // Reference errors (Phase 2)
+    MISSING_REFERENCE_TARGET: 'missing_reference_target',
+    // Schema errors (Phase 3)
+    RULE_MISSING_PATH: 'rule_missing_path',
+    DUPLICATE_RULE_PATH: 'duplicate_rule_path',
+    UNKNOWN_CONSTRAINT_KEY: 'unknown_constraint_key',
+    INVALID_REFERENCE_CONSTRAINT: 'invalid_reference_constraint',
+    // Presence checks (Phase 4)
+    MISSING_REQUIRED_FIELD: 'missing_required_field',
+    UNEXPECTED_BINDING: 'unexpected_binding',
+    UNEXPECTED_ATTRIBUTE_ENTRY: 'unexpected_attribute_entry',
+    // Type checks (Phase 5)
+    TYPE_MISMATCH: 'type_mismatch',
+    REFERENCE_REQUIRED: 'reference_required',
+    REFERENCE_FORBIDDEN: 'reference_forbidden',
+    REFERENCE_KIND_MISMATCH: 'reference_kind_mismatch',
+    REFERENCE_TARGET_MISMATCH: 'reference_target_mismatch',
+    WRONG_CONTAINER_KIND: 'WRONG_CONTAINER_KIND',
+    TUPLE_ARITY_MISMATCH: 'TUPLE_ARITY_MISMATCH',
+    TUPLE_ELEMENT_TYPE_MISMATCH: 'TUPLE_ELEMENT_TYPE_MISMATCH',
+    // Core v1 indexed addressing checks
+    VERSION_GATE_MISSING: 'version_gate_missing',
+    INVALID_INDEX_FORMAT: 'invalid_index_format',
+    // Numeric form (Phase 6)
+    NUMERIC_FORM_VIOLATION: 'numeric_form_violation',
+    // String form (Phase 7)
+    STRING_LENGTH_VIOLATION: 'string_length_violation',
+    PATTERN_MISMATCH: 'pattern_mismatch',
+    // Datatype allow-list enforcement (Phase 8)
+    DATATYPE_ALLOWLIST_REJECT: 'datatype_allowlist_reject',
+    TRAILING_SEPARATOR_DELIMITER: 'trailing_separator_delimiter',
+    // General
+    CONSTRAINT_INAPPLICABLE: 'constraint_inapplicable',
+};
+/**
+ * Check if a code is a vendor-prefixed code
+ */
+export function isVendorCode(code) {
+    return code.includes(':');
+}
+/**
+ * Parse a vendor code into namespace and code
+ */
+export function parseVendorCode(code) {
+    const colonIndex = code.indexOf(':');
+    if (colonIndex === -1) {
+        return null;
+    }
+    return {
+        namespace: code.slice(0, colonIndex),
+        code: code.slice(colonIndex + 1),
+    };
+}
+//# sourceMappingURL=codes.js.map

package/dist/diag/codes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"codes.js","sourceRoot":"","sources":["../../src/diag/codes.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH;;GAEG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG;IACtB,gCAAgC;IAChC,iBAAiB,EAAE,mBAAmB;IACtC,yBAAyB,EAAE,2BAA2B;IAEtD,6BAA6B;IAC7B,wBAAwB,EAAE,0BAA0B;IAEpD,0BAA0B;IAC1B,iBAAiB,EAAE,mBAAmB;IACtC,mBAAmB,EAAE,qBAAqB;IAC1C,sBAAsB,EAAE,wBAAwB;IAChD,4BAA4B,EAAE,8BAA8B;IAE5D,4BAA4B;IAC5B,sBAAsB,EAAE,wBAAwB;IAChD,kBAAkB,EAAE,oBAAoB;IACxC,0BAA0B,EAAE,4BAA4B;IAExD,wBAAwB;IACxB,aAAa,EAAE,eAAe;IAC9B,kBAAkB,EAAE,oBAAoB;IACxC,mBAAmB,EAAE,qBAAqB;IAC1C,uBAAuB,EAAE,yBAAyB;IAClD,yBAAyB,EAAE,2BAA2B;IACtD,oBAAoB,EAAE,sBAAsB;IAC5C,oBAAoB,EAAE,sBAAsB;IAC5C,2BAA2B,EAAE,6BAA6B;IAE1D,oCAAoC;IACpC,oBAAoB,EAAE,sBAAsB;IAC5C,oBAAoB,EAAE,sBAAsB;IAE5C,yBAAyB;IACzB,sBAAsB,EAAE,wBAAwB;IAEhD,wBAAwB;IACxB,uBAAuB,EAAE,yBAAyB;IAClD,gBAAgB,EAAE,kBAAkB;IAEpC,4CAA4C;IAC5C,yBAAyB,EAAE,2BAA2B;IACtD,4BAA4B,EAAE,8BAA8B;IAE5D,UAAU;IACV,uBAAuB,EAAE,yBAAyB;CAC5C,CAAC;AAOX;;GAEG;AACH,MAAM,UAAU,YAAY,CAAC,IAAY;IACrC,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;AAC9B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,eAAe,CAAC,IAAY;IACxC,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACrC,IAAI,UAAU,KAAK,CAAC,CAAC,EAAE,CAAC;QACpB,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,OAAO;QACH,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC;QACpC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,UAAU,GAAG,CAAC,CAAC;KACnC,CAAC;AACN,CAAC"}

package/dist/diag/emit.d.ts

@@ -0,0 +1,34 @@
+/**
+ * @altopelago/aeos-core - Diagnostics: Emit
+ *
+ * Helper functions for creating diagnostic entries.
+ */
+import type { Diag, Span } from '../types/index.js';
+/**
+ * Create a diagnostic entry
+ */
+export declare function createDiag(path: string, span: Span, message: string, code: string): Diag;
+/**
+ * Diagnostic collector context
+ */
+export interface DiagContext {
+    readonly errors: Diag[];
+    readonly warnings: Diag[];
+}
+/**
+ * Create a new diagnostic context
+ */
+export declare function createDiagContext(): DiagContext;
+/**
+ * Emit an error to the context
+ */
+export declare function emitError(ctx: DiagContext, diag: Diag): void;
+/**
+ * Emit a warning to the context
+ */
+export declare function emitWarning(ctx: DiagContext, diag: Diag): void;
+/**
+ * Check if context has any errors for a specific path
+ */
+export declare function hasErrorForPath(errors: readonly Diag[], path: string): boolean;
+//# sourceMappingURL=emit.d.ts.map

package/dist/diag/emit.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"emit.d.ts","sourceRoot":"","sources":["../../src/diag/emit.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAEpD;;GAEG;AACH,wBAAgB,UAAU,CACtB,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,IAAI,EACV,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,MAAM,GACb,IAAI,CAQN;AAED;;GAEG;AACH,MAAM,WAAW,WAAW;IACxB,QAAQ,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC;CAC7B;AAED;;GAEG;AACH,wBAAgB,iBAAiB,IAAI,WAAW,CAK/C;AAED;;GAEG;AACH,wBAAgB,SAAS,CAAC,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,GAAG,IAAI,CAE5D;AAED;;GAEG;AACH,wBAAgB,WAAW,CAAC,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,GAAG,IAAI,CAE9D;AAED;;GAEG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE,SAAS,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAE9E"}

package/dist/diag/emit.js

@@ -0,0 +1,45 @@
+/**
+ * @altopelago/aeos-core - Diagnostics: Emit
+ *
+ * Helper functions for creating diagnostic entries.
+ */
+/**
+ * Create a diagnostic entry
+ */
+export function createDiag(path, span, message, code) {
+    return {
+        path,
+        span,
+        message,
+        phase: 'schema_validation',
+        code,
+    };
+}
+/**
+ * Create a new diagnostic context
+ */
+export function createDiagContext() {
+    return {
+        errors: [],
+        warnings: [],
+    };
+}
+/**
+ * Emit an error to the context
+ */
+export function emitError(ctx, diag) {
+    ctx.errors.push(diag);
+}
+/**
+ * Emit a warning to the context
+ */
+export function emitWarning(ctx, diag) {
+    ctx.warnings.push(diag);
+}
+/**
+ * Check if context has any errors for a specific path
+ */
+export function hasErrorForPath(errors, path) {
+    return errors.some(e => e.path === path);
+}
+//# sourceMappingURL=emit.js.map

package/dist/diag/emit.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"emit.js","sourceRoot":"","sources":["../../src/diag/emit.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAIH;;GAEG;AACH,MAAM,UAAU,UAAU,CACtB,IAAY,EACZ,IAAU,EACV,OAAe,EACf,IAAY;IAEZ,OAAO;QACH,IAAI;QACJ,IAAI;QACJ,OAAO;QACP,KAAK,EAAE,mBAAmB;QAC1B,IAAI;KACP,CAAC;AACN,CAAC;AAUD;;GAEG;AACH,MAAM,UAAU,iBAAiB;IAC7B,OAAO;QACH,MAAM,EAAE,EAAE;QACV,QAAQ,EAAE,EAAE;KACf,CAAC;AACN,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,SAAS,CAAC,GAAgB,EAAE,IAAU;IAClD,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,WAAW,CAAC,GAAgB,EAAE,IAAU;IACpD,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC5B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,eAAe,CAAC,MAAuB,EAAE,IAAY;IACjE,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AAC7C,CAAC"}

package/dist/diag/index.d.ts

@@ -0,0 +1,6 @@
+/**
+ * @altopelago/aeos-core - Diagnostics Index
+ */
+export * from './codes.js';
+export * from './emit.js';
+//# sourceMappingURL=index.d.ts.map

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

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

package/dist/diag/index.js

@@ -0,0 +1,6 @@
+/**
+ * @altopelago/aeos-core - Diagnostics Index
+ */
+export * from './codes.js';
+export * from './emit.js';
+//# sourceMappingURL=index.js.map

package/dist/diag/index.js.map

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

package/dist/index.d.ts

@@ -0,0 +1,31 @@
+/**
+ * @altopelago/aeos-core - AEOS™ Schema Validation Engine
+ *
+ * AEOS™ (Another Easy Object Schema) — the canonical entry point for validation.
+ *
+ * Usage:
+ * ```ts
+ * import { validate } from '@altopelago/aeos-core';
+ *
+ * const result = validate(aes, schema);
+ * if (result.ok) {
+ *   console.log('Validation passed');
+ * } else {
+ *   console.log('Errors:', result.errors);
+ * }
+ * ```
+ *
+ * AEOS answers: "Is this AES structurally and representationally valid?"
+ * It does NOT answer: "What does this mean?"
+ */
+export { validate } from './validate.js';
+export type { ValidateOptions } from './validate.js';
+export type { ResultEnvelope, Diag } from './types/envelope.js';
+export type { Span } from './types/spans.js';
+export { createPassingEnvelope, createFailingEnvelope } from './types/envelope.js';
+export { spanToTuple } from './types/spans.js';
+export type { SchemaV1, SchemaRule, ConstraintsV1 } from './types/schema.js';
+export type { AES, AssignmentEvent } from './types/aes.js';
+export { ErrorCodes } from './diag/codes.js';
+export type { ErrorCode } from './diag/codes.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAMH,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,YAAY,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAOrD,YAAY,EAAE,cAAc,EAAE,IAAI,EAAE,MAAM,qBAAqB,CAAC;AAChE,YAAY,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAC7C,OAAO,EAAE,qBAAqB,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AACnF,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAG/C,YAAY,EAAE,QAAQ,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAG7E,YAAY,EAAE,GAAG,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAM3D,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,YAAY,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC"}

package/dist/index.js

@@ -0,0 +1,31 @@
+/**
+ * @altopelago/aeos-core - AEOS™ Schema Validation Engine
+ *
+ * AEOS™ (Another Easy Object Schema) — the canonical entry point for validation.
+ *
+ * Usage:
+ * ```ts
+ * import { validate } from '@altopelago/aeos-core';
+ *
+ * const result = validate(aes, schema);
+ * if (result.ok) {
+ *   console.log('Validation passed');
+ * } else {
+ *   console.log('Errors:', result.errors);
+ * }
+ * ```
+ *
+ * AEOS answers: "Is this AES structurally and representationally valid?"
+ * It does NOT answer: "What does this mean?"
+ */
+// =============================================================================
+// PUBLIC API
+// =============================================================================
+export { validate } from './validate.js';
+export { createPassingEnvelope, createFailingEnvelope } from './types/envelope.js';
+export { spanToTuple } from './types/spans.js';
+// =============================================================================
+// DIAGNOSTICS
+// =============================================================================
+export { ErrorCodes } from './diag/codes.js';
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,gFAAgF;AAChF,aAAa;AACb,gFAAgF;AAEhF,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAUzC,OAAO,EAAE,qBAAqB,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AACnF,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAQ/C,gFAAgF;AAChF,cAAc;AACd,gFAAgF;AAEhF,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC"}

package/dist/rules/index.d.ts

@@ -0,0 +1,10 @@
+/**
+ * @altopelago/aeos-core - Rules Index
+ */
+export * from './schemaIndex.js';
+export * from './presence.js';
+export * from './typeCheck.js';
+export * from './referenceForm.js';
+export * from './numericForm.js';
+export * from './stringForm.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/rules/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,cAAc,kBAAkB,CAAC;AACjC,cAAc,eAAe,CAAC;AAC9B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,oBAAoB,CAAC;AACnC,cAAc,kBAAkB,CAAC;AACjC,cAAc,iBAAiB,CAAC"}

package/dist/rules/index.js

@@ -0,0 +1,10 @@
+/**
+ * @altopelago/aeos-core - Rules Index
+ */
+export * from './schemaIndex.js';
+export * from './presence.js';
+export * from './typeCheck.js';
+export * from './referenceForm.js';
+export * from './numericForm.js';
+export * from './stringForm.js';
+//# sourceMappingURL=index.js.map

package/dist/rules/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/rules/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,cAAc,kBAAkB,CAAC;AACjC,cAAc,eAAe,CAAC;AAC9B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,oBAAoB,CAAC;AACnC,cAAc,kBAAkB,CAAC;AACjC,cAAc,iBAAiB,CAAC"}

package/dist/rules/numericForm.d.ts

@@ -0,0 +1,29 @@
+/**
+ * @altopelago/aeos-core - Rules: Numeric Form
+ *
+ * Phase 6: Numeric form constraints (sign, digit count).
+ */
+import type { DiagContext } from '../diag/emit.js';
+import type { Span } from '../types/spans.js';
+import type { RuleIndex } from './schemaIndex.js';
+/**
+ * Event value with type, raw representation, and span
+ */
+interface NumericValue {
+    type: string;
+    raw: string;
+    span: Span;
+}
+/**
+ * Check numeric form constraints for events matching schema rules.
+ *
+ * For each event with numeric form constraints (sign, min_digits, max_digits),
+ * verify the literal's lexical representation satisfies the constraints.
+ *
+ * @param ruleIndex - Schema rule index (path → rule)
+ * @param events - Map of path → numeric value info
+ * @param ctx - Diagnostic context
+ */
+export declare function checkNumericForm(ruleIndex: RuleIndex, events: ReadonlyMap<string, NumericValue>, ctx: DiagContext): void;
+export {};
+//# sourceMappingURL=numericForm.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"numericForm.d.ts","sourceRoot":"","sources":["../../src/rules/numericForm.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;AAGlD;;GAEG;AACH,UAAU,YAAY;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,IAAI,CAAC;CACd;AAED;;;;;;;;;GASG;AACH,wBAAgB,gBAAgB,CAC5B,SAAS,EAAE,SAAS,EACpB,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,EACzC,GAAG,EAAE,WAAW,GACjB,IAAI,CA0FN"}