@altopelago/aeos-core 0.9.0

package/dist/rules/numericForm.js

@@ -0,0 +1,74 @@
+/**
+ * @altopelago/aeos-core - Rules: Numeric Form
+ *
+ * Phase 6: Numeric form constraints (sign, digit count).
+ */
+import { createDiag, emitError } from '../diag/emit.js';
+import { ErrorCodes } from '../diag/codes.js';
+import { countIntegerDigits, isNegative } from '../util/digits.js';
+/**
+ * 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 function checkNumericForm(ruleIndex, events, ctx) {
+    for (const [path, rule] of ruleIndex) {
+        const { sign, min_digits, max_digits, min_value, max_value } = rule.constraints;
+        // Skip if no numeric form constraints
+        if (sign === undefined && min_digits === undefined && max_digits === undefined && min_value === undefined && max_value === undefined) {
+            continue;
+        }
+        const event = events.get(path);
+        if (!event)
+            continue; // Missing path handled by presence check
+        // Only apply to numeric types
+        if (event.type !== 'NumberLiteral' && event.type !== 'IntegerLiteral' && event.type !== 'FloatLiteral') {
+            continue;
+        }
+        const raw = event.raw;
+        // Sign constraint
+        if (sign !== undefined) {
+            if (sign === 'unsigned' && isNegative(raw)) {
+                emitError(ctx, createDiag(path, event.span, `Numeric form violation: expected unsigned, got negative`, ErrorCodes.NUMERIC_FORM_VIOLATION));
+                continue; // Only report first violation per path
+            }
+            // 'signed' constraint allows both positive and negative
+        }
+        // Digit count constraints
+        const digitCount = countIntegerDigits(raw);
+        if (min_digits !== undefined && digitCount < min_digits) {
+            emitError(ctx, createDiag(path, event.span, `Numeric form violation: expected min ${min_digits} digits, got ${digitCount}`, ErrorCodes.NUMERIC_FORM_VIOLATION));
+            continue;
+        }
+        if (max_digits !== undefined && digitCount > max_digits) {
+            emitError(ctx, createDiag(path, event.span, `Numeric form violation: expected max ${max_digits} digits, got ${digitCount}`, ErrorCodes.NUMERIC_FORM_VIOLATION));
+            continue;
+        }
+        if (min_value !== undefined || max_value !== undefined) {
+            const normalized = normalizeIntegerLiteral(raw);
+            if (!normalized) {
+                emitError(ctx, createDiag(path, event.span, `Numeric form violation: exact integer range constraints require integer literal form`, ErrorCodes.NUMERIC_FORM_VIOLATION));
+                continue;
+            }
+            const numeric = BigInt(normalized);
+            if (min_value !== undefined && numeric < BigInt(min_value)) {
+                emitError(ctx, createDiag(path, event.span, `Numeric form violation: expected value >= ${min_value}, got ${normalized}`, ErrorCodes.NUMERIC_FORM_VIOLATION));
+                continue;
+            }
+            if (max_value !== undefined && numeric > BigInt(max_value)) {
+                emitError(ctx, createDiag(path, event.span, `Numeric form violation: expected value <= ${max_value}, got ${normalized}`, ErrorCodes.NUMERIC_FORM_VIOLATION));
+            }
+        }
+    }
+}
+function normalizeIntegerLiteral(raw) {
+    if (!/^[+-]?\d[\d_]*$/.test(raw))
+        return null;
+    return raw.replace(/_/g, '');
+}
+//# sourceMappingURL=numericForm.js.map

package/dist/rules/numericForm.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"numericForm.js","sourceRoot":"","sources":["../../src/rules/numericForm.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAG9C,OAAO,EAAE,kBAAkB,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAWnE;;;;;;;;;GASG;AACH,MAAM,UAAU,gBAAgB,CAC5B,SAAoB,EACpB,MAAyC,EACzC,GAAgB;IAEhB,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,SAAS,EAAE,CAAC;QACnC,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC;QAEhF,sCAAsC;QACtC,IAAI,IAAI,KAAK,SAAS,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YACnI,SAAS;QACb,CAAC;QAED,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,CAAC,KAAK;YAAE,SAAS,CAAC,yCAAyC;QAE/D,8BAA8B;QAC9B,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,IAAI,KAAK,CAAC,IAAI,KAAK,gBAAgB,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;YACrG,SAAS;QACb,CAAC;QAED,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;QAEtB,kBAAkB;QAClB,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACrB,IAAI,IAAI,KAAK,UAAU,IAAI,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBACzC,SAAS,CAAC,GAAG,EAAE,UAAU,CACrB,IAAI,EACJ,KAAK,CAAC,IAAI,EACV,yDAAyD,EACzD,UAAU,CAAC,sBAAsB,CACpC,CAAC,CAAC;gBACH,SAAS,CAAC,uCAAuC;YACrD,CAAC;YACD,wDAAwD;QAC5D,CAAC;QAED,0BAA0B;QAC1B,MAAM,UAAU,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC;QAE3C,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,GAAG,UAAU,EAAE,CAAC;YACtD,SAAS,CAAC,GAAG,EAAE,UAAU,CACrB,IAAI,EACJ,KAAK,CAAC,IAAI,EACV,wCAAwC,UAAU,gBAAgB,UAAU,EAAE,EAC9E,UAAU,CAAC,sBAAsB,CACpC,CAAC,CAAC;YACH,SAAS;QACb,CAAC;QAED,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,GAAG,UAAU,EAAE,CAAC;YACtD,SAAS,CAAC,GAAG,EAAE,UAAU,CACrB,IAAI,EACJ,KAAK,CAAC,IAAI,EACV,wCAAwC,UAAU,gBAAgB,UAAU,EAAE,EAC9E,UAAU,CAAC,sBAAsB,CACpC,CAAC,CAAC;YACH,SAAS;QACb,CAAC;QAED,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YACrD,MAAM,UAAU,GAAG,uBAAuB,CAAC,GAAG,CAAC,CAAC;YAChD,IAAI,CAAC,UAAU,EAAE,CAAC;gBACd,SAAS,CAAC,GAAG,EAAE,UAAU,CACrB,IAAI,EACJ,KAAK,CAAC,IAAI,EACV,sFAAsF,EACtF,UAAU,CAAC,sBAAsB,CACpC,CAAC,CAAC;gBACH,SAAS;YACb,CAAC;YAED,MAAM,OAAO,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;YAEnC,IAAI,SAAS,KAAK,SAAS,IAAI,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;gBACzD,SAAS,CAAC,GAAG,EAAE,UAAU,CACrB,IAAI,EACJ,KAAK,CAAC,IAAI,EACV,6CAA6C,SAAS,SAAS,UAAU,EAAE,EAC3E,UAAU,CAAC,sBAAsB,CACpC,CAAC,CAAC;gBACH,SAAS;YACb,CAAC;YAED,IAAI,SAAS,KAAK,SAAS,IAAI,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;gBACzD,SAAS,CAAC,GAAG,EAAE,UAAU,CACrB,IAAI,EACJ,KAAK,CAAC,IAAI,EACV,6CAA6C,SAAS,SAAS,UAAU,EAAE,EAC3E,UAAU,CAAC,sBAAsB,CACpC,CAAC,CAAC;YACP,CAAC;QACL,CAAC;IACL,CAAC;AACL,CAAC;AAED,SAAS,uBAAuB,CAAC,GAAW;IACxC,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9C,OAAO,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;AACjC,CAAC"}

package/dist/rules/presence.d.ts

@@ -0,0 +1,20 @@
+/**
+ * @altopelago/aeos-core - Rules: Presence
+ *
+ * Phase 4: Presence checks for required fields.
+ */
+import type { DiagContext } from '../diag/emit.js';
+import type { RuleIndex } from './schemaIndex.js';
+/**
+ * Check presence constraints for all rules in the schema.
+ *
+ * For each rule with `required: true`, verify the path exists in the AES.
+ * If missing, emit `missing_required_field` error with null span
+ * (since the path doesn't exist in source).
+ *
+ * @param ruleIndex - Schema rule index (path → rule)
+ * @param boundPaths - Set of paths that exist in the AES
+ * @param ctx - Diagnostic context
+ */
+export declare function checkPresence(ruleIndex: RuleIndex, boundPaths: ReadonlySet<string>, ctx: DiagContext): void;
+//# sourceMappingURL=presence.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"presence.d.ts","sourceRoot":"","sources":["../../src/rules/presence.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAGnD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAElD;;;;;;;;;;GAUG;AACH,wBAAgB,aAAa,CACzB,SAAS,EAAE,SAAS,EACpB,UAAU,EAAE,WAAW,CAAC,MAAM,CAAC,EAC/B,GAAG,EAAE,WAAW,GACjB,IAAI,CAaN"}

package/dist/rules/presence.js

@@ -0,0 +1,29 @@
+/**
+ * @altopelago/aeos-core - Rules: Presence
+ *
+ * Phase 4: Presence checks for required fields.
+ */
+import { createDiag, emitError } from '../diag/emit.js';
+import { ErrorCodes } from '../diag/codes.js';
+/**
+ * Check presence constraints for all rules in the schema.
+ *
+ * For each rule with `required: true`, verify the path exists in the AES.
+ * If missing, emit `missing_required_field` error with null span
+ * (since the path doesn't exist in source).
+ *
+ * @param ruleIndex - Schema rule index (path → rule)
+ * @param boundPaths - Set of paths that exist in the AES
+ * @param ctx - Diagnostic context
+ */
+export function checkPresence(ruleIndex, boundPaths, ctx) {
+    for (const [path, rule] of ruleIndex) {
+        if (rule.constraints.required === true) {
+            if (!boundPaths.has(path)) {
+                emitError(ctx, createDiag(path, null, // null span for missing paths
+                `Missing required field: ${path}`, ErrorCodes.MISSING_REQUIRED_FIELD));
+            }
+        }
+    }
+}
+//# sourceMappingURL=presence.js.map

package/dist/rules/presence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"presence.js","sourceRoot":"","sources":["../../src/rules/presence.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAG9C;;;;;;;;;;GAUG;AACH,MAAM,UAAU,aAAa,CACzB,SAAoB,EACpB,UAA+B,EAC/B,GAAgB;IAEhB,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,SAAS,EAAE,CAAC;QACnC,IAAI,IAAI,CAAC,WAAW,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;YACrC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxB,SAAS,CAAC,GAAG,EAAE,UAAU,CACrB,IAAI,EACJ,IAAI,EAAE,8BAA8B;gBACpC,2BAA2B,IAAI,EAAE,EACjC,UAAU,CAAC,sBAAsB,CACpC,CAAC,CAAC;YACP,CAAC;QACL,CAAC;IACL,CAAC;AACL,CAAC"}

package/dist/rules/referenceForm.d.ts

@@ -0,0 +1,17 @@
+import { type DiagContext } from '../diag/emit.js';
+import type { RuleIndex } from './schemaIndex.js';
+import type { SchemaV1 } from '../types/schema.js';
+type EventInfo = {
+    type: string;
+    raw: string;
+    value: string;
+    datatype?: string;
+    span: [number, number] | null;
+    referencePath?: readonly (string | number | {
+        readonly type: 'attr';
+        readonly key: string;
+    })[];
+};
+export declare function checkReferenceForms(schema: SchemaV1, ruleIndex: RuleIndex, eventsByPath: ReadonlyMap<string, EventInfo>, ctx: DiagContext): void;
+export {};
+//# sourceMappingURL=referenceForm.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"referenceForm.d.ts","sourceRoot":"","sources":["../../src/rules/referenceForm.ts"],"names":[],"mappings":"AAAA,OAAO,EAAyB,KAAK,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAE1E,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAEnD,KAAK,SAAS,GAAG;IACb,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,IAAI,CAAC;IAC9B,aAAa,CAAC,EAAE,SAAS,CAAC,MAAM,GAAG,MAAM,GAAG;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAC,EAAE,CAAC;CAClG,CAAC;AA+BF,wBAAgB,mBAAmB,CAC/B,MAAM,EAAE,QAAQ,EAChB,SAAS,EAAE,SAAS,EACpB,YAAY,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,EAC5C,GAAG,EAAE,WAAW,GACjB,IAAI,CAyEN"}

package/dist/rules/referenceForm.js

@@ -0,0 +1,78 @@
+import { createDiag, emitError } from '../diag/emit.js';
+import { ErrorCodes } from '../diag/codes.js';
+function isReferenceType(type) {
+    return type === 'CloneReference' || type === 'PointerReference';
+}
+function formatQuotedMemberSegment(key) {
+    return `.[${JSON.stringify(key)}]`;
+}
+function formatReferenceTargetPath(segments) {
+    if (segments.length === 0)
+        return '$';
+    let out = '$';
+    for (const segment of segments) {
+        if (typeof segment === 'number') {
+            out += `[${segment}]`;
+            continue;
+        }
+        if (typeof segment === 'string') {
+            out += /^[a-zA-Z_][a-zA-Z0-9_]*$/.test(segment)
+                ? `.${segment}`
+                : formatQuotedMemberSegment(segment);
+            continue;
+        }
+        out += /^[a-zA-Z_][a-zA-Z0-9_]*$/.test(segment.key)
+            ? `@${segment.key}`
+            : `@[${JSON.stringify(segment.key)}]`;
+    }
+    return out;
+}
+export function checkReferenceForms(schema, ruleIndex, eventsByPath, ctx) {
+    if ((schema.reference_policy ?? 'allow') === 'forbid') {
+        for (const [path, event] of eventsByPath.entries()) {
+            if (!isReferenceType(event.type))
+                continue;
+            emitError(ctx, createDiag(path, event.span, `References are forbidden by schema reference_policy, got ${event.type}`, ErrorCodes.REFERENCE_FORBIDDEN));
+        }
+    }
+    for (const [path, rule] of ruleIndex) {
+        const reference = rule.constraints.reference;
+        const referenceKind = rule.constraints.reference_kind;
+        const event = eventsByPath.get(path);
+        if (!event)
+            continue;
+        if (reference === 'forbid') {
+            if (!isReferenceType(event.type))
+                continue;
+            emitError(ctx, createDiag(path, event.span, `Reference not allowed at ${path}, got ${event.type}`, ErrorCodes.REFERENCE_FORBIDDEN));
+            continue;
+        }
+        if (reference === 'allow' || reference === undefined) {
+            // Allow still permits target-domain constraints.
+        }
+        else if (reference === 'require') {
+            if (!isReferenceType(event.type)) {
+                emitError(ctx, createDiag(path, event.span, `Reference required at ${path}, got ${event.type}`, ErrorCodes.REFERENCE_REQUIRED));
+                continue;
+            }
+            if (referenceKind !== undefined && referenceKind !== 'either') {
+                const expectedType = referenceKind === 'clone' ? 'CloneReference' : 'PointerReference';
+                if (event.type !== expectedType) {
+                    emitError(ctx, createDiag(path, event.span, `Reference kind mismatch at ${path}: expected ${expectedType}, got ${event.type}`, ErrorCodes.REFERENCE_KIND_MISMATCH));
+                    continue;
+                }
+            }
+        }
+        const targetPattern = rule.constraints.reference_target_pattern;
+        if (targetPattern === undefined) {
+            continue;
+        }
+        if (!isReferenceType(event.type) || !event.referencePath) {
+            continue;
+        }
+        if (!(new RegExp(targetPattern).test(formatReferenceTargetPath(event.referencePath)))) {
+            emitError(ctx, createDiag(path, event.span, `Reference target path does not satisfy reference_target_pattern at ${path}`, ErrorCodes.REFERENCE_TARGET_MISMATCH));
+        }
+    }
+}
+//# sourceMappingURL=referenceForm.js.map

package/dist/rules/referenceForm.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"referenceForm.js","sourceRoot":"","sources":["../../src/rules/referenceForm.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,SAAS,EAAoB,MAAM,iBAAiB,CAAC;AAC1E,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAa9C,SAAS,eAAe,CAAC,IAAY;IACjC,OAAO,IAAI,KAAK,gBAAgB,IAAI,IAAI,KAAK,kBAAkB,CAAC;AACpE,CAAC;AAED,SAAS,yBAAyB,CAAC,GAAW;IAC1C,OAAO,KAAK,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;AACvC,CAAC;AAED,SAAS,yBAAyB,CAAC,QAAwF;IACvH,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC;IACtC,IAAI,GAAG,GAAG,GAAG,CAAC;IACd,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC7B,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;YAC9B,GAAG,IAAI,IAAI,OAAO,GAAG,CAAC;YACtB,SAAS;QACb,CAAC;QACD,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;YAC9B,GAAG,IAAI,0BAA0B,CAAC,IAAI,CAAC,OAAO,CAAC;gBAC3C,CAAC,CAAC,IAAI,OAAO,EAAE;gBACf,CAAC,CAAC,yBAAyB,CAAC,OAAO,CAAC,CAAC;YACzC,SAAS;QACb,CAAC;QACD,GAAG,IAAI,0BAA0B,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC;YAC/C,CAAC,CAAC,IAAI,OAAO,CAAC,GAAG,EAAE;YACnB,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;IAC9C,CAAC;IACD,OAAO,GAAG,CAAC;AACf,CAAC;AAED,MAAM,UAAU,mBAAmB,CAC/B,MAAgB,EAChB,SAAoB,EACpB,YAA4C,EAC5C,GAAgB;IAEhB,IAAI,CAAC,MAAM,CAAC,gBAAgB,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QACpD,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,YAAY,CAAC,OAAO,EAAE,EAAE,CAAC;YACjD,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC3C,SAAS,CAAC,GAAG,EAAE,UAAU,CACrB,IAAI,EACJ,KAAK,CAAC,IAAI,EACV,4DAA4D,KAAK,CAAC,IAAI,EAAE,EACxE,UAAU,CAAC,mBAAmB,CACjC,CAAC,CAAC;QACP,CAAC;IACL,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,SAAS,EAAE,CAAC;QACnC,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC;QAC7C,MAAM,aAAa,GAAG,IAAI,CAAC,WAAW,CAAC,cAAc,CAAC;QACtD,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,CAAC,KAAK;YAAE,SAAS;QAErB,IAAI,SAAS,KAAK,QAAQ,EAAE,CAAC;YACzB,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC3C,SAAS,CAAC,GAAG,EAAE,UAAU,CACrB,IAAI,EACJ,KAAK,CAAC,IAAI,EACV,4BAA4B,IAAI,SAAS,KAAK,CAAC,IAAI,EAAE,EACrD,UAAU,CAAC,mBAAmB,CACjC,CAAC,CAAC;YACH,SAAS;QACb,CAAC;QAED,IAAI,SAAS,KAAK,OAAO,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YACnD,iDAAiD;QACrD,CAAC;aAAM,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YACjC,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC/B,SAAS,CAAC,GAAG,EAAE,UAAU,CACrB,IAAI,EACJ,KAAK,CAAC,IAAI,EACV,yBAAyB,IAAI,SAAS,KAAK,CAAC,IAAI,EAAE,EAClD,UAAU,CAAC,kBAAkB,CAChC,CAAC,CAAC;gBACH,SAAS;YACb,CAAC;YAED,IAAI,aAAa,KAAK,SAAS,IAAI,aAAa,KAAK,QAAQ,EAAE,CAAC;gBAC5D,MAAM,YAAY,GAAG,aAAa,KAAK,OAAO,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,kBAAkB,CAAC;gBACvF,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;oBAC9B,SAAS,CAAC,GAAG,EAAE,UAAU,CACrB,IAAI,EACJ,KAAK,CAAC,IAAI,EACV,8BAA8B,IAAI,cAAc,YAAY,SAAS,KAAK,CAAC,IAAI,EAAE,EACjF,UAAU,CAAC,uBAAuB,CACrC,CAAC,CAAC;oBACH,SAAS;gBACb,CAAC;YACL,CAAC;QACL,CAAC;QAED,MAAM,aAAa,GAAI,IAAI,CAAC,WAAmB,CAAC,wBAAwB,CAAC;QACzE,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;YAC9B,SAAS;QACb,CAAC;QACD,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC;YACvD,SAAS;QACb,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,MAAM,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,yBAAyB,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;YACpF,SAAS,CAAC,GAAG,EAAE,UAAU,CACrB,IAAI,EACJ,KAAK,CAAC,IAAI,EACV,sEAAsE,IAAI,EAAE,EAC5E,UAAU,CAAC,yBAAyB,CACvC,CAAC,CAAC;QACP,CAAC;IACL,CAAC;AACL,CAAC"}

package/dist/rules/schemaIndex.d.ts

@@ -0,0 +1,34 @@
+/**
+ * @altopelago/aeos-core - Rules: Schema Index
+ *
+ * Build a fast lookup index from schema rules.
+ */
+import type { SchemaV1, SchemaRule } from '../types/schema.js';
+import type { DiagContext } from '../diag/emit.js';
+/**
+ * Rule index: Map from canonical path to rule
+ */
+export type RuleIndex = ReadonlyMap<string, SchemaRule>;
+/**
+ * Build a rule index from a schema.
+ *
+ * This preprocesses schema.rules into a Map<path, Rule> for O(1) lookup.
+ * Emits errors for:
+ * - Missing path in rule
+ * - Duplicate rule paths
+ * - Unknown constraint keys
+ *
+ * @param schema - AEOS Schema v1
+ * @param ctx - Diagnostic context for errors
+ * @returns Rule index map
+ */
+export declare function buildRuleIndex(schema: SchemaV1, ctx: DiagContext): RuleIndex;
+/**
+ * Check if a rule has numeric form constraints
+ */
+export declare function hasNumericFormConstraints(constraints: SchemaRule['constraints']): boolean;
+/**
+ * Check if a rule has string form constraints
+ */
+export declare function hasStringFormConstraints(constraints: SchemaRule['constraints']): boolean;
+//# sourceMappingURL=schemaIndex.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"schemaIndex.d.ts","sourceRoot":"","sources":["../../src/rules/schemaIndex.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAE/D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAsMnD;;GAEG;AACH,MAAM,MAAM,SAAS,GAAG,WAAW,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;AAExD;;;;;;;;;;;;GAYG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,QAAQ,EAAE,GAAG,EAAE,WAAW,GAAG,SAAS,CA+D5E;AAED;;GAEG;AACH,wBAAgB,yBAAyB,CAAC,WAAW,EAAE,UAAU,CAAC,aAAa,CAAC,GAAG,OAAO,CAMzF;AAED;;GAEG;AACH,wBAAgB,wBAAwB,CAAC,WAAW,EAAE,UAAU,CAAC,aAAa,CAAC,GAAG,OAAO,CAMxF"}

package/dist/rules/schemaIndex.js

@@ -0,0 +1,167 @@
+/**
+ * @altopelago/aeos-core - Rules: Schema Index
+ *
+ * Build a fast lookup index from schema rules.
+ */
+import { hasUnknownConstraintKeys } from '../types/schema.js';
+import { createDiag, emitError } from '../diag/emit.js';
+import { ErrorCodes } from '../diag/codes.js';
+function isReferenceType(type) {
+    return type === 'CloneReference' || type === 'PointerReference';
+}
+function validateReferenceConstraints(schema, rulePath, constraints, ctx) {
+    const reference = constraints.reference;
+    const referenceKind = constraints.reference_kind;
+    const referenceTargetPattern = constraints.reference_target_pattern;
+    const resolveReferenceForm = constraints.resolve_reference_form;
+    const expectedType = typeof constraints.type === 'string' ? constraints.type : undefined;
+    const schemaReferencePolicy = schema.reference_policy;
+    if (reference !== undefined && (typeof reference !== 'string' || !['allow', 'forbid', 'require'].includes(reference))) {
+        emitError(ctx, createDiag(rulePath, null, `Invalid reference constraint for path ${rulePath}: ${String(reference)}`, ErrorCodes.INVALID_REFERENCE_CONSTRAINT));
+        return false;
+    }
+    if (referenceKind !== undefined && (typeof referenceKind !== 'string' || !['clone', 'pointer', 'either'].includes(referenceKind))) {
+        emitError(ctx, createDiag(rulePath, null, `Invalid reference_kind constraint for path ${rulePath}: ${String(referenceKind)}`, ErrorCodes.INVALID_REFERENCE_CONSTRAINT));
+        return false;
+    }
+    if (referenceKind !== undefined && reference !== 'require') {
+        emitError(ctx, createDiag(rulePath, null, `reference_kind requires reference='require' for path ${rulePath}`, ErrorCodes.INVALID_REFERENCE_CONSTRAINT));
+        return false;
+    }
+    if (referenceTargetPattern !== undefined) {
+        if (typeof referenceTargetPattern !== 'string') {
+            emitError(ctx, createDiag(rulePath, null, `Invalid reference_target_pattern constraint for path ${rulePath}: ${String(referenceTargetPattern)}`, ErrorCodes.INVALID_REFERENCE_CONSTRAINT));
+            return false;
+        }
+        try {
+            new RegExp(referenceTargetPattern);
+        }
+        catch {
+            emitError(ctx, createDiag(rulePath, null, `Invalid reference_target_pattern regex for path ${rulePath}: ${referenceTargetPattern}`, ErrorCodes.INVALID_REFERENCE_CONSTRAINT));
+            return false;
+        }
+        if (reference === 'forbid') {
+            emitError(ctx, createDiag(rulePath, null, `reference_target_pattern conflicts with reference='forbid' for path ${rulePath}`, ErrorCodes.INVALID_REFERENCE_CONSTRAINT));
+            return false;
+        }
+    }
+    if (resolveReferenceForm !== undefined && typeof resolveReferenceForm !== 'boolean') {
+        emitError(ctx, createDiag(rulePath, null, `resolve_reference_form must be boolean for path ${rulePath}`, ErrorCodes.INVALID_REFERENCE_CONSTRAINT));
+        return false;
+    }
+    if (reference === 'forbid' && expectedType !== undefined && isReferenceType(expectedType)) {
+        emitError(ctx, createDiag(rulePath, null, `reference='forbid' conflicts with type='${expectedType}' for path ${rulePath}`, ErrorCodes.INVALID_REFERENCE_CONSTRAINT));
+        return false;
+    }
+    if (reference === 'require' && expectedType !== undefined && !isReferenceType(expectedType)) {
+        emitError(ctx, createDiag(rulePath, null, `reference='require' conflicts with non-reference type='${expectedType}' for path ${rulePath}`, ErrorCodes.INVALID_REFERENCE_CONSTRAINT));
+        return false;
+    }
+    if (referenceKind === 'clone' && expectedType === 'PointerReference') {
+        emitError(ctx, createDiag(rulePath, null, `reference_kind='clone' conflicts with type='PointerReference' for path ${rulePath}`, ErrorCodes.INVALID_REFERENCE_CONSTRAINT));
+        return false;
+    }
+    if (referenceKind === 'pointer' && expectedType === 'CloneReference') {
+        emitError(ctx, createDiag(rulePath, null, `reference_kind='pointer' conflicts with type='CloneReference' for path ${rulePath}`, ErrorCodes.INVALID_REFERENCE_CONSTRAINT));
+        return false;
+    }
+    if (schemaReferencePolicy === 'forbid' && (reference === 'require' || (expectedType !== undefined && isReferenceType(expectedType)))) {
+        emitError(ctx, createDiag(rulePath, null, `schema reference_policy='forbid' conflicts with rule for path ${rulePath}`, ErrorCodes.INVALID_REFERENCE_CONSTRAINT));
+        return false;
+    }
+    return true;
+}
+function validateConstraintTree(schema, rulePath, constraints, ctx) {
+    if (hasUnknownConstraintKeys(constraints)) {
+        emitError(ctx, createDiag(rulePath, null, `Unknown constraint key in rule for path: ${rulePath}`, ErrorCodes.UNKNOWN_CONSTRAINT_KEY));
+        return false;
+    }
+    if (!validateReferenceConstraints(schema, rulePath, constraints, ctx)) {
+        return false;
+    }
+    const nestedAttributes = constraints.attributes;
+    if (nestedAttributes === undefined) {
+        return true;
+    }
+    if (nestedAttributes === null || typeof nestedAttributes !== 'object' || Array.isArray(nestedAttributes)) {
+        emitError(ctx, createDiag(rulePath, null, `Invalid attributes constraint for path ${rulePath}`, ErrorCodes.UNKNOWN_CONSTRAINT_KEY));
+        return false;
+    }
+    for (const [key, childConstraints] of Object.entries(nestedAttributes)) {
+        if (childConstraints === null || typeof childConstraints !== 'object' || Array.isArray(childConstraints)) {
+            emitError(ctx, createDiag(`${rulePath}@${key}`, null, `Invalid attribute constraint for path ${rulePath}@${key}`, ErrorCodes.UNKNOWN_CONSTRAINT_KEY));
+            return false;
+        }
+        if (!validateConstraintTree(schema, `${rulePath}@${key}`, childConstraints, ctx)) {
+            return false;
+        }
+    }
+    return true;
+}
+/**
+ * Build a rule index from a schema.
+ *
+ * This preprocesses schema.rules into a Map<path, Rule> for O(1) lookup.
+ * Emits errors for:
+ * - Missing path in rule
+ * - Duplicate rule paths
+ * - Unknown constraint keys
+ *
+ * @param schema - AEOS Schema v1
+ * @param ctx - Diagnostic context for errors
+ * @returns Rule index map
+ */
+export function buildRuleIndex(schema, ctx) {
+    const index = new Map();
+    // Schema-level allowlist for datatype identifiers (optional)
+    const datatypeAllowlist = schema.datatype_allowlist;
+    if (schema.reference_policy !== undefined && !['allow', 'forbid'].includes(schema.reference_policy)) {
+        emitError(ctx, createDiag('$', null, `Invalid schema reference_policy: ${String(schema.reference_policy)}`, ErrorCodes.INVALID_REFERENCE_CONSTRAINT));
+    }
+    for (const rule of schema.rules) {
+        // Check for missing path
+        if (!rule.path || typeof rule.path !== 'string') {
+            emitError(ctx, createDiag('<unknown>', null, 'Rule missing required "path" field', ErrorCodes.RULE_MISSING_PATH));
+            continue;
+        }
+        // Check for duplicate rule paths
+        if (index.has(rule.path)) {
+            emitError(ctx, createDiag(rule.path, null, `Duplicate rule for path: ${rule.path}`, ErrorCodes.DUPLICATE_RULE_PATH));
+            continue;
+        }
+        if (!validateConstraintTree(schema, rule.path, rule.constraints, ctx)) {
+            continue;
+        }
+        // Enforce datatype allow-list if provided at schema level.
+        // This is a form-only membership check: the `datatype` string
+        // must be present in the schema.datatype_allowlist array when
+        // that array is provided. Emit a value-level diagnostic code
+        // to indicate the identifier is not allowed.
+        if (datatypeAllowlist && rule.constraints && typeof rule.constraints.datatype === 'string') {
+            const dt = rule.constraints.datatype;
+            if (!datatypeAllowlist.includes(dt)) {
+                emitError(ctx, createDiag(rule.path, null, `Datatype '${dt}' not allowed by schema datatype_allowlist`, ErrorCodes.DATATYPE_ALLOWLIST_REJECT));
+                // continue; still index the rule so other checks can run
+            }
+        }
+        index.set(rule.path, rule);
+    }
+    return index;
+}
+/**
+ * Check if a rule has numeric form constraints
+ */
+export function hasNumericFormConstraints(constraints) {
+    return (constraints.sign !== undefined ||
+        constraints.min_digits !== undefined ||
+        constraints.max_digits !== undefined);
+}
+/**
+ * Check if a rule has string form constraints
+ */
+export function hasStringFormConstraints(constraints) {
+    return (constraints.pattern !== undefined ||
+        constraints.min_length !== undefined ||
+        constraints.max_length !== undefined);
+}
+//# sourceMappingURL=schemaIndex.js.map

package/dist/rules/schemaIndex.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schemaIndex.js","sourceRoot":"","sources":["../../src/rules/schemaIndex.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,EAAE,wBAAwB,EAAE,MAAM,oBAAoB,CAAC;AAE9D,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,SAAS,eAAe,CAAC,IAAwB;IAC7C,OAAO,IAAI,KAAK,gBAAgB,IAAI,IAAI,KAAK,kBAAkB,CAAC;AACpE,CAAC;AAED,SAAS,4BAA4B,CACjC,MAAgB,EAChB,QAAgB,EAChB,WAAoC,EACpC,GAAgB;IAEhB,MAAM,SAAS,GAAG,WAAW,CAAC,SAAS,CAAC;IACxC,MAAM,aAAa,GAAG,WAAW,CAAC,cAAc,CAAC;IACjD,MAAM,sBAAsB,GAAG,WAAW,CAAC,wBAAwB,CAAC;IACpE,MAAM,oBAAoB,GAAG,WAAW,CAAC,sBAAsB,CAAC;IAChE,MAAM,YAAY,GAAG,OAAO,WAAW,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IACzF,MAAM,qBAAqB,GAAG,MAAM,CAAC,gBAAgB,CAAC;IAEtD,IAAI,SAAS,KAAK,SAAS,IAAI,CAAC,OAAO,SAAS,KAAK,QAAQ,IAAI,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC;QACpH,SAAS,CAAC,GAAG,EAAE,UAAU,CACrB,QAAQ,EACR,IAAI,EACJ,yCAAyC,QAAQ,KAAK,MAAM,CAAC,SAAS,CAAC,EAAE,EACzE,UAAU,CAAC,4BAA4B,CAC1C,CAAC,CAAC;QACH,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,IAAI,aAAa,KAAK,SAAS,IAAI,CAAC,OAAO,aAAa,KAAK,QAAQ,IAAI,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC;QAChI,SAAS,CAAC,GAAG,EAAE,UAAU,CACrB,QAAQ,EACR,IAAI,EACJ,8CAA8C,QAAQ,KAAK,MAAM,CAAC,aAAa,CAAC,EAAE,EAClF,UAAU,CAAC,4BAA4B,CAC1C,CAAC,CAAC;QACH,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,IAAI,aAAa,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QACzD,SAAS,CAAC,GAAG,EAAE,UAAU,CACrB,QAAQ,EACR,IAAI,EACJ,wDAAwD,QAAQ,EAAE,EAClE,UAAU,CAAC,4BAA4B,CAC1C,CAAC,CAAC;QACH,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,IAAI,sBAAsB,KAAK,SAAS,EAAE,CAAC;QACvC,IAAI,OAAO,sBAAsB,KAAK,QAAQ,EAAE,CAAC;YAC7C,SAAS,CAAC,GAAG,EAAE,UAAU,CACrB,QAAQ,EACR,IAAI,EACJ,wDAAwD,QAAQ,KAAK,MAAM,CAAC,sBAAsB,CAAC,EAAE,EACrG,UAAU,CAAC,4BAA4B,CAC1C,CAAC,CAAC;YACH,OAAO,KAAK,CAAC;QACjB,CAAC;QACD,IAAI,CAAC;YACD,IAAI,MAAM,CAAC,sBAAsB,CAAC,CAAC;QACvC,CAAC;QAAC,MAAM,CAAC;YACL,SAAS,CAAC,GAAG,EAAE,UAAU,CACrB,QAAQ,EACR,IAAI,EACJ,mDAAmD,QAAQ,KAAK,sBAAsB,EAAE,EACxF,UAAU,CAAC,4BAA4B,CAC1C,CAAC,CAAC;YACH,OAAO,KAAK,CAAC;QACjB,CAAC;QACD,IAAI,SAAS,KAAK,QAAQ,EAAE,CAAC;YACzB,SAAS,CAAC,GAAG,EAAE,UAAU,CACrB,QAAQ,EACR,IAAI,EACJ,uEAAuE,QAAQ,EAAE,EACjF,UAAU,CAAC,4BAA4B,CAC1C,CAAC,CAAC;YACH,OAAO,KAAK,CAAC;QACjB,CAAC;IACL,CAAC;IAED,IAAI,oBAAoB,KAAK,SAAS,IAAI,OAAO,oBAAoB,KAAK,SAAS,EAAE,CAAC;QAClF,SAAS,CAAC,GAAG,EAAE,UAAU,CACrB,QAAQ,EACR,IAAI,EACJ,mDAAmD,QAAQ,EAAE,EAC7D,UAAU,CAAC,4BAA4B,CAC1C,CAAC,CAAC;QACH,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,IAAI,SAAS,KAAK,QAAQ,IAAI,YAAY,KAAK,SAAS,IAAI,eAAe,CAAC,YAAY,CAAC,EAAE,CAAC;QACxF,SAAS,CAAC,GAAG,EAAE,UAAU,CACrB,QAAQ,EACR,IAAI,EACJ,2CAA2C,YAAY,cAAc,QAAQ,EAAE,EAC/E,UAAU,CAAC,4BAA4B,CAC1C,CAAC,CAAC;QACH,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,IAAI,SAAS,KAAK,SAAS,IAAI,YAAY,KAAK,SAAS,IAAI,CAAC,eAAe,CAAC,YAAY,CAAC,EAAE,CAAC;QAC1F,SAAS,CAAC,GAAG,EAAE,UAAU,CACrB,QAAQ,EACR,IAAI,EACJ,0DAA0D,YAAY,cAAc,QAAQ,EAAE,EAC9F,UAAU,CAAC,4BAA4B,CAC1C,CAAC,CAAC;QACH,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,IAAI,aAAa,KAAK,OAAO,IAAI,YAAY,KAAK,kBAAkB,EAAE,CAAC;QACnE,SAAS,CAAC,GAAG,EAAE,UAAU,CACrB,QAAQ,EACR,IAAI,EACJ,0EAA0E,QAAQ,EAAE,EACpF,UAAU,CAAC,4BAA4B,CAC1C,CAAC,CAAC;QACH,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,IAAI,aAAa,KAAK,SAAS,IAAI,YAAY,KAAK,gBAAgB,EAAE,CAAC;QACnE,SAAS,CAAC,GAAG,EAAE,UAAU,CACrB,QAAQ,EACR,IAAI,EACJ,0EAA0E,QAAQ,EAAE,EACpF,UAAU,CAAC,4BAA4B,CAC1C,CAAC,CAAC;QACH,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,IAAI,qBAAqB,KAAK,QAAQ,IAAI,CAAC,SAAS,KAAK,SAAS,IAAI,CAAC,YAAY,KAAK,SAAS,IAAI,eAAe,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;QACnI,SAAS,CAAC,GAAG,EAAE,UAAU,CACrB,QAAQ,EACR,IAAI,EACJ,iEAAiE,QAAQ,EAAE,EAC3E,UAAU,CAAC,4BAA4B,CAC1C,CAAC,CAAC;QACH,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,OAAO,IAAI,CAAC;AAChB,CAAC;AAED,SAAS,sBAAsB,CAC3B,MAAgB,EAChB,QAAgB,EAChB,WAAoC,EACpC,GAAgB;IAEhB,IAAI,wBAAwB,CAAC,WAAW,CAAC,EAAE,CAAC;QACxC,SAAS,CAAC,GAAG,EAAE,UAAU,CACrB,QAAQ,EACR,IAAI,EACJ,4CAA4C,QAAQ,EAAE,EACtD,UAAU,CAAC,sBAAsB,CACpC,CAAC,CAAC;QACH,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,IAAI,CAAC,4BAA4B,CAAC,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,GAAG,CAAC,EAAE,CAAC;QACpE,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,MAAM,gBAAgB,GAAG,WAAW,CAAC,UAAU,CAAC;IAChD,IAAI,gBAAgB,KAAK,SAAS,EAAE,CAAC;QACjC,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,IAAI,gBAAgB,KAAK,IAAI,IAAI,OAAO,gBAAgB,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,gBAAgB,CAAC,EAAE,CAAC;QACvG,SAAS,CAAC,GAAG,EAAE,UAAU,CACrB,QAAQ,EACR,IAAI,EACJ,0CAA0C,QAAQ,EAAE,EACpD,UAAU,CAAC,sBAAsB,CACpC,CAAC,CAAC;QACH,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,KAAK,MAAM,CAAC,GAAG,EAAE,gBAAgB,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,EAAE,CAAC;QACrE,IAAI,gBAAgB,KAAK,IAAI,IAAI,OAAO,gBAAgB,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,gBAAgB,CAAC,EAAE,CAAC;YACvG,SAAS,CAAC,GAAG,EAAE,UAAU,CACrB,GAAG,QAAQ,IAAI,GAAG,EAAE,EACpB,IAAI,EACJ,yCAAyC,QAAQ,IAAI,GAAG,EAAE,EAC1D,UAAU,CAAC,sBAAsB,CACpC,CAAC,CAAC;YACH,OAAO,KAAK,CAAC;QACjB,CAAC;QACD,IAAI,CAAC,sBAAsB,CAAC,MAAM,EAAE,GAAG,QAAQ,IAAI,GAAG,EAAE,EAAE,gBAA2C,EAAE,GAAG,CAAC,EAAE,CAAC;YAC1G,OAAO,KAAK,CAAC;QACjB,CAAC;IACL,CAAC;IAED,OAAO,IAAI,CAAC;AAChB,CAAC;AAOD;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,cAAc,CAAC,MAAgB,EAAE,GAAgB;IAC7D,MAAM,KAAK,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC5C,6DAA6D;IAC7D,MAAM,iBAAiB,GAAmC,MAAc,CAAC,kBAAkB,CAAC;IAE5F,IAAI,MAAM,CAAC,gBAAgB,KAAK,SAAS,IAAI,CAAC,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,CAAC;QAClG,SAAS,CAAC,GAAG,EAAE,UAAU,CACrB,GAAG,EACH,IAAI,EACJ,oCAAoC,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,EACrE,UAAU,CAAC,4BAA4B,CAC1C,CAAC,CAAC;IACP,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAC9B,yBAAyB;QACzB,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC9C,SAAS,CAAC,GAAG,EAAE,UAAU,CACrB,WAAW,EACX,IAAI,EACJ,oCAAoC,EACpC,UAAU,CAAC,iBAAiB,CAC/B,CAAC,CAAC;YACH,SAAS;QACb,CAAC;QAED,iCAAiC;QACjC,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACvB,SAAS,CAAC,GAAG,EAAE,UAAU,CACrB,IAAI,CAAC,IAAI,EACT,IAAI,EACJ,4BAA4B,IAAI,CAAC,IAAI,EAAE,EACvC,UAAU,CAAC,mBAAmB,CACjC,CAAC,CAAC;YACH,SAAS;QACb,CAAC;QAED,IAAI,CAAC,sBAAsB,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,WAAsC,EAAE,GAAG,CAAC,EAAE,CAAC;YAC/F,SAAS;QACb,CAAC;QAED,2DAA2D;QAC3D,8DAA8D;QAC9D,8DAA8D;QAC9D,6DAA6D;QAC7D,6CAA6C;QAC7C,IAAI,iBAAiB,IAAI,IAAI,CAAC,WAAW,IAAI,OAAQ,IAAI,CAAC,WAAmB,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;YAClG,MAAM,EAAE,GAAI,IAAI,CAAC,WAAmB,CAAC,QAAkB,CAAC;YACxD,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;gBAClC,SAAS,CAAC,GAAG,EAAE,UAAU,CACrB,IAAI,CAAC,IAAI,EACT,IAAI,EACJ,aAAa,EAAE,4CAA4C,EAC3D,UAAU,CAAC,yBAAyB,CACvC,CAAC,CAAC;gBACH,yDAAyD;YAC7D,CAAC;QACL,CAAC;QAED,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC/B,CAAC;IAED,OAAO,KAAK,CAAC;AACjB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,yBAAyB,CAAC,WAAsC;IAC5E,OAAO,CACH,WAAW,CAAC,IAAI,KAAK,SAAS;QAC9B,WAAW,CAAC,UAAU,KAAK,SAAS;QACpC,WAAW,CAAC,UAAU,KAAK,SAAS,CACvC,CAAC;AACN,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,wBAAwB,CAAC,WAAsC;IAC3E,OAAO,CACH,WAAW,CAAC,OAAO,KAAK,SAAS;QACjC,WAAW,CAAC,UAAU,KAAK,SAAS;QACpC,WAAW,CAAC,UAAU,KAAK,SAAS,CACvC,CAAC;AACN,CAAC"}

package/dist/rules/stringForm.d.ts

@@ -0,0 +1,48 @@
+/**
+ * @altopelago/aeos-core - Rules: String Form
+ *
+ * Phase 7: String form constraints (min_length, max_length, pattern).
+ */
+import type { DiagContext } from '../diag/emit.js';
+import type { Span } from '../types/spans.js';
+import type { RuleIndex } from './schemaIndex.js';
+/**
+ * Event value with type, processed value string, and span
+ */
+interface StringValue {
+    type: string;
+    value: string;
+    span: Span;
+}
+/**
+ * Check string form constraints for events matching schema rules.
+ *
+ * For each event with string form constraints (min_length, max_length),
+ * verify the string value's length satisfies the constraints.
+ *
+ * AEOS v1 Decision: Length is measured in UTF-16 code units (JavaScript
+ * string.length). This means surrogate pairs (emoji, etc.) count as 2.
+ * This is intentional for v1 simplicity and JavaScript compatibility.
+ *
+ * @param ruleIndex - Schema rule index (path → rule)
+ * @param events - Map of path → string value info
+ * @param ctx - Diagnostic context
+ */
+export declare function checkStringForm(ruleIndex: RuleIndex, events: ReadonlyMap<string, StringValue>, ctx: DiagContext): void;
+/**
+ * Check pattern constraints for events matching schema rules.
+ *
+ * For each event with a pattern constraint, verify the string value
+ * matches the regex pattern.
+ *
+ * AEOS v1 Decision: Patterns are ECMAScript regex strings. The pattern
+ * must match the entire string (anchored with ^...$). If the pattern
+ * does not include anchors, they are added automatically.
+ *
+ * @param ruleIndex - Schema rule index (path → rule)
+ * @param events - Map of path → string value info
+ * @param ctx - Diagnostic context
+ */
+export declare function checkPatterns(ruleIndex: RuleIndex, events: ReadonlyMap<string, StringValue>, ctx: DiagContext): void;
+export {};
+//# sourceMappingURL=stringForm.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"stringForm.d.ts","sourceRoot":"","sources":["../../src/rules/stringForm.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;AAElD;;GAEG;AACH,UAAU,WAAW;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,IAAI,CAAC;CACd;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,eAAe,CAC3B,SAAS,EAAE,SAAS,EACpB,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,EACxC,GAAG,EAAE,WAAW,GACjB,IAAI,CAwCN;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,aAAa,CACzB,SAAS,EAAE,SAAS,EACpB,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,EACxC,GAAG,EAAE,WAAW,GACjB,IAAI,CA2CN"}

package/dist/rules/stringForm.js

@@ -0,0 +1,96 @@
+/**
+ * @altopelago/aeos-core - Rules: String Form
+ *
+ * Phase 7: String form constraints (min_length, max_length, pattern).
+ */
+import { createDiag, emitError } from '../diag/emit.js';
+import { ErrorCodes } from '../diag/codes.js';
+/**
+ * Check string form constraints for events matching schema rules.
+ *
+ * For each event with string form constraints (min_length, max_length),
+ * verify the string value's length satisfies the constraints.
+ *
+ * AEOS v1 Decision: Length is measured in UTF-16 code units (JavaScript
+ * string.length). This means surrogate pairs (emoji, etc.) count as 2.
+ * This is intentional for v1 simplicity and JavaScript compatibility.
+ *
+ * @param ruleIndex - Schema rule index (path → rule)
+ * @param events - Map of path → string value info
+ * @param ctx - Diagnostic context
+ */
+export function checkStringForm(ruleIndex, events, ctx) {
+    for (const [path, rule] of ruleIndex) {
+        const { min_length, max_length, pattern } = rule.constraints;
+        // Skip if no string length or pattern constraints
+        if (min_length === undefined && max_length === undefined && pattern === undefined) {
+            continue;
+        }
+        const event = events.get(path);
+        if (!event)
+            continue; // Missing path handled by presence check
+        // Only apply to string types
+        if (event.type !== 'StringLiteral') {
+            continue;
+        }
+        const length = event.value.length;
+        if (min_length !== undefined && length < min_length) {
+            emitError(ctx, createDiag(path, event.span, `String form violation: expected min length ${min_length}, got ${length}`, ErrorCodes.STRING_LENGTH_VIOLATION));
+            continue; // Only report first violation per path
+        }
+        if (max_length !== undefined && length > max_length) {
+            emitError(ctx, createDiag(path, event.span, `String form violation: expected max length ${max_length}, got ${length}`, ErrorCodes.STRING_LENGTH_VIOLATION));
+        }
+        // Note: pattern enforcement is handled separately in `checkPatterns()`.
+    }
+}
+/**
+ * Check pattern constraints for events matching schema rules.
+ *
+ * For each event with a pattern constraint, verify the string value
+ * matches the regex pattern.
+ *
+ * AEOS v1 Decision: Patterns are ECMAScript regex strings. The pattern
+ * must match the entire string (anchored with ^...$). If the pattern
+ * does not include anchors, they are added automatically.
+ *
+ * @param ruleIndex - Schema rule index (path → rule)
+ * @param events - Map of path → string value info
+ * @param ctx - Diagnostic context
+ */
+export function checkPatterns(ruleIndex, events, ctx) {
+    for (const [path, rule] of ruleIndex) {
+        const { pattern } = rule.constraints;
+        if (pattern === undefined) {
+            continue;
+        }
+        const event = events.get(path);
+        if (!event)
+            continue; // Missing path handled by presence check
+        // Only apply to string types
+        if (event.type !== 'StringLiteral') {
+            continue;
+        }
+        // Compile pattern (add anchors if not present for full-match semantics)
+        let regexPattern = pattern;
+        if (!regexPattern.startsWith('^')) {
+            regexPattern = '^' + regexPattern;
+        }
+        if (!regexPattern.endsWith('$')) {
+            regexPattern = regexPattern + '$';
+        }
+        let regex;
+        try {
+            regex = new RegExp(regexPattern);
+        }
+        catch {
+            // Invalid regex is a schema error, not a data error
+            // This should have been caught during schema validation
+            continue;
+        }
+        if (!regex.test(event.value)) {
+            emitError(ctx, createDiag(path, event.span, `Pattern mismatch: value does not match pattern "${pattern}"`, ErrorCodes.PATTERN_MISMATCH));
+        }
+    }
+}
+//# sourceMappingURL=stringForm.js.map

package/dist/rules/stringForm.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"stringForm.js","sourceRoot":"","sources":["../../src/rules/stringForm.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAa9C;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,eAAe,CAC3B,SAAoB,EACpB,MAAwC,EACxC,GAAgB;IAEhB,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,SAAS,EAAE,CAAC;QACnC,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC,WAAkB,CAAC;QAEpE,kDAAkD;QAClD,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,KAAK,SAAS,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAChF,SAAS;QACb,CAAC;QAED,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,CAAC,KAAK;YAAE,SAAS,CAAC,yCAAyC;QAE/D,6BAA6B;QAC7B,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YACjC,SAAS;QACb,CAAC;QAED,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC;QAElC,IAAI,UAAU,KAAK,SAAS,IAAI,MAAM,GAAG,UAAU,EAAE,CAAC;YAClD,SAAS,CAAC,GAAG,EAAE,UAAU,CACrB,IAAI,EACJ,KAAK,CAAC,IAAI,EACV,8CAA8C,UAAU,SAAS,MAAM,EAAE,EACzE,UAAU,CAAC,uBAAuB,CACrC,CAAC,CAAC;YACH,SAAS,CAAC,uCAAuC;QACrD,CAAC;QAED,IAAI,UAAU,KAAK,SAAS,IAAI,MAAM,GAAG,UAAU,EAAE,CAAC;YAClD,SAAS,CAAC,GAAG,EAAE,UAAU,CACrB,IAAI,EACJ,KAAK,CAAC,IAAI,EACV,8CAA8C,UAAU,SAAS,MAAM,EAAE,EACzE,UAAU,CAAC,uBAAuB,CACrC,CAAC,CAAC;QACP,CAAC;QAED,wEAAwE;IAC5E,CAAC;AACL,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,aAAa,CACzB,SAAoB,EACpB,MAAwC,EACxC,GAAgB;IAEhB,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,SAAS,EAAE,CAAC;QACnC,MAAM,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC;QAErC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YACxB,SAAS;QACb,CAAC;QAED,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,CAAC,KAAK;YAAE,SAAS,CAAC,yCAAyC;QAE/D,6BAA6B;QAC7B,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YACjC,SAAS;QACb,CAAC;QAED,wEAAwE;QACxE,IAAI,YAAY,GAAG,OAAO,CAAC;QAC3B,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAChC,YAAY,GAAG,GAAG,GAAG,YAAY,CAAC;QACtC,CAAC;QACD,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAC9B,YAAY,GAAG,YAAY,GAAG,GAAG,CAAC;QACtC,CAAC;QAED,IAAI,KAAa,CAAC;QAClB,IAAI,CAAC;YACD,KAAK,GAAG,IAAI,MAAM,CAAC,YAAY,CAAC,CAAC;QACrC,CAAC;QAAC,MAAM,CAAC;YACL,oDAAoD;YACpD,wDAAwD;YACxD,SAAS;QACb,CAAC;QAED,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;YAC3B,SAAS,CAAC,GAAG,EAAE,UAAU,CACrB,IAAI,EACJ,KAAK,CAAC,IAAI,EACV,mDAAmD,OAAO,GAAG,EAC7D,UAAU,CAAC,gBAAgB,CAC9B,CAAC,CAAC;QACP,CAAC;IACL,CAAC;AACL,CAAC"}