@altopelago/aeos-core 0.10.0 → 0.12.0

package/dist/schema-codec.js

@@ -0,0 +1,424 @@
+/**
+ * @altopelago/aeos-core - Schema source codec
+ *
+ * Parses and prints AEOS schema documents expressed as AEON source.
+ */
+import { compile } from '@altopelago/aeon-core';
+import { finalizeJson } from '@altopelago/aeon-finalize';
+import { parseAddress, renderAddress } from '@altopelago/sansa';
+export class SchemaCodecError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = 'SchemaCodecError';
+    }
+}
+export function parseSchemaSource(source, options = {}) {
+    const compiled = compile(source, {
+        ...options.compileOptions,
+        datatypePolicy: options.compileOptions?.datatypePolicy ?? 'allow_custom',
+    });
+    if (compiled.errors.length > 0) {
+        throw new SchemaCodecError(formatErrors(compiled.errors));
+    }
+    const finalized = finalizeJson(compiled.events, {
+        mode: 'strict',
+        scope: 'payload',
+        ...options.finalizeOptions,
+    });
+    const errors = finalized.meta?.errors ?? [];
+    if (errors.length > 0) {
+        throw new SchemaCodecError(formatErrors(errors));
+    }
+    return normalizeSchemaObject(finalized.document);
+}
+export function normalizeSchemaObject(input) {
+    const root = extractSchemaRoot(input);
+    const rules = normalizeRules(root.rules);
+    const schema = { rules };
+    if (root.evolution !== undefined) {
+        schema.evolution = normalizeEvolution(root.evolution, rules);
+    }
+    if (root.world !== undefined) {
+        if (root.world !== 'open' && root.world !== 'closed') {
+            throw new SchemaCodecError("Schema field 'world' must be 'open' or 'closed'");
+        }
+        schema.world = root.world;
+    }
+    if (root.reference_policy !== undefined) {
+        if (root.reference_policy !== 'allow' && root.reference_policy !== 'forbid') {
+            throw new SchemaCodecError("Schema field 'reference_policy' must be 'allow' or 'forbid'");
+        }
+        schema.reference_policy = root.reference_policy;
+    }
+    if (root.attribute_policy !== undefined) {
+        if (root.attribute_policy !== 'inherit_world' && root.attribute_policy !== 'forbid') {
+            throw new SchemaCodecError("Schema field 'attribute_policy' must be 'inherit_world' or 'forbid'");
+        }
+        schema.attribute_policy = root.attribute_policy;
+    }
+    if (root.datatype_rules !== undefined) {
+        if (!isRecord(root.datatype_rules)) {
+            throw new SchemaCodecError("Schema field 'datatype_rules' must be an object");
+        }
+        schema.datatype_rules = normalizeConstraintMap(root.datatype_rules, 'datatype_rules');
+    }
+    if (root.resource_policy !== undefined) {
+        if (!isRecord(root.resource_policy)) {
+            throw new SchemaCodecError("Schema field 'resource_policy' must be an object");
+        }
+        schema.resource_policy = cloneJsonObject(root.resource_policy);
+    }
+    return schema;
+}
+export function schemaToAeon(input) {
+    const schema = normalizeSchemaObject(input);
+    const lines = [
+        '//! format:aeos-v1',
+        'aeos:schema = {',
+    ];
+    if (schema.world !== undefined) {
+        lines.push(`  world:string = ${renderString(schema.world)}`);
+    }
+    if (schema.reference_policy !== undefined) {
+        lines.push(`  reference_policy:string = ${renderString(schema.reference_policy)}`);
+    }
+    if (schema.attribute_policy !== undefined) {
+        lines.push(`  attribute_policy:string = ${renderString(schema.attribute_policy)}`);
+    }
+    if (schema.datatype_rules !== undefined) {
+        lines.push(`  datatype_rules:object = ${renderAeonValue(schema.datatype_rules, 2)}`);
+    }
+    if (schema.resource_policy !== undefined) {
+        lines.push(`  resource_policy:object = ${renderAeonValue(schema.resource_policy, 2)}`);
+    }
+    if (schema.evolution !== undefined) {
+        lines.push(`  evolution:list<object> = ${renderAeonValue(schema.evolution, 2)}`);
+    }
+    lines.push('  rules:list<object> = [');
+    for (const rule of schema.rules) {
+        lines.push('    {');
+        if (rule.declaration_id !== undefined) {
+            lines.push(`      declaration_id:string = ${renderString(rule.declaration_id)}`);
+        }
+        if (rule.lineage_id !== undefined) {
+            lines.push(`      lineage_id:string = ${renderString(rule.lineage_id)}`);
+        }
+        if (rule.label !== undefined) {
+            lines.push(`      label:string = ${renderString(rule.label)}`);
+        }
+        if (rule.description !== undefined) {
+            lines.push(`      description:string = ${renderString(rule.description)}`);
+        }
+        if (rule.path !== undefined) {
+            lines.push(`      path:sansa = ${canonicalAddress(rule.path, 'path')}`);
+        }
+        else if (rule.selector !== undefined) {
+            lines.push(`      selector:sansa = ${canonicalAddress(rule.selector, 'selector')}`);
+        }
+        lines.push(`      constraints:object = ${renderAeonValue(rule.constraints, 3)}`);
+        lines.push('    }');
+    }
+    lines.push('  ]');
+    lines.push('}');
+    return `${lines.join('\n')}\n`;
+}
+function extractSchemaRoot(input) {
+    const document = isRecord(input) && isRecord(input.payload) ? input.payload : input;
+    if (!isRecord(document)) {
+        throw new SchemaCodecError('AEOS schema source must finalize to an object');
+    }
+    if (isRecord(document.aeos)) {
+        return document.aeos;
+    }
+    if (isRecord(document.schema)) {
+        return document.schema;
+    }
+    return document;
+}
+function normalizeRules(value) {
+    let rules;
+    if (Array.isArray(value)) {
+        rules = value.map((rule, index) => normalizeRule(rule, `rules[${index}]`));
+    }
+    else if (isRecord(value)) {
+        rules = Object.entries(value).map(([path, constraints]) => normalizeRule({ path, constraints }, `rules.${path}`));
+    }
+    else if (value === undefined) {
+        rules = [];
+    }
+    else {
+        throw new SchemaCodecError("Schema field 'rules' must be a list or object");
+    }
+    const declarationIds = new Set();
+    for (const rule of rules) {
+        if (rule.declaration_id === undefined)
+            continue;
+        if (declarationIds.has(rule.declaration_id)) {
+            throw new SchemaCodecError(`Schema declaration_id '${rule.declaration_id}' must be unique`);
+        }
+        declarationIds.add(rule.declaration_id);
+    }
+    return rules;
+}
+function normalizeRule(input, label) {
+    if (!isRecord(input)) {
+        throw new SchemaCodecError(`Schema rule ${label} must be an object`);
+    }
+    const path = optionalString(input.path, `${label}.path`);
+    const selector = optionalString(input.selector, `${label}.selector`);
+    const declarationId = optionalSchemaIdentity(input.declaration_id, `${label}.declaration_id`);
+    const lineageId = optionalSchemaIdentity(input.lineage_id, `${label}.lineage_id`);
+    const ruleLabel = optionalMetadataText(input.label, `${label}.label`, 160);
+    const description = optionalMetadataText(input.description, `${label}.description`, 4_000);
+    if ((path === undefined) === (selector === undefined)) {
+        throw new SchemaCodecError(`Schema rule ${label} must define exactly one of 'path' or 'selector'`);
+    }
+    if (!isRecord(input.constraints)) {
+        throw new SchemaCodecError(`Schema rule ${label} must define an object 'constraints'`);
+    }
+    const constraints = normalizeConstraints(input.constraints, `${label}.constraints`);
+    const identity = {
+        ...(declarationId === undefined ? {} : { declaration_id: declarationId }),
+        ...(lineageId === undefined ? {} : { lineage_id: lineageId }),
+        ...(ruleLabel === undefined ? {} : { label: ruleLabel }),
+        ...(description === undefined ? {} : { description }),
+    };
+    if (path !== undefined) {
+        return { ...identity, path: canonicalAddress(path, 'path'), constraints };
+    }
+    return { ...identity, selector: canonicalAddress(selector, 'selector'), constraints };
+}
+const EVOLUTION_KINDS = new Set([
+    'add', 'remove', 'rename', 'move', 'constraint-change',
+    'datatype-change', 'split', 'merge', 'derive', 'replace',
+]);
+function normalizeEvolution(value, rules) {
+    if (!Array.isArray(value))
+        throw new SchemaCodecError("Schema field 'evolution' must be a list");
+    const declarationIds = new Set(rules.flatMap((rule) => rule.declaration_id === undefined ? [] : [rule.declaration_id]));
+    const changeIds = new Set();
+    return value.map((entry, index) => {
+        const label = `evolution[${index}]`;
+        if (!isRecord(entry))
+            throw new SchemaCodecError(`${label} must be an object`);
+        const changeId = requiredSchemaIdentity(entry.change_id, `${label}.change_id`);
+        if (changeIds.has(changeId))
+            throw new SchemaCodecError(`Schema change_id '${changeId}' must be unique`);
+        changeIds.add(changeId);
+        const kind = optionalString(entry.kind, `${label}.kind`);
+        if (kind === undefined || !EVOLUTION_KINDS.has(kind)) {
+            throw new SchemaCodecError(`${label}.kind is not a supported schema evolution kind`);
+        }
+        const fromDeclarations = schemaIdentityList(entry.from_declarations, `${label}.from_declarations`);
+        const toDeclarations = schemaIdentityList(entry.to_declarations, `${label}.to_declarations`);
+        validateEvolutionCardinality(kind, fromDeclarations, toDeclarations, label);
+        for (const declarationId of toDeclarations) {
+            if (!declarationIds.has(declarationId)) {
+                throw new SchemaCodecError(`${label}.to_declarations references unknown target declaration '${declarationId}'`);
+            }
+        }
+        const fromContract = optionalSchemaIdentity(entry.from_contract, `${label}.from_contract`);
+        const transform = optionalSchemaIdentity(entry.transform, `${label}.transform`);
+        const note = optionalString(entry.note, `${label}.note`);
+        if (note !== undefined && note.length > 2000)
+            throw new SchemaCodecError(`${label}.note must be at most 2000 characters`);
+        if (requiresTransform(kind) && transform === undefined) {
+            throw new SchemaCodecError(`${label}.transform is required for '${kind}' evolution`);
+        }
+        return {
+            change_id: changeId,
+            kind: kind,
+            from_declarations: fromDeclarations,
+            to_declarations: toDeclarations,
+            ...(fromContract === undefined ? {} : { from_contract: fromContract }),
+            ...(transform === undefined ? {} : { transform }),
+            ...(note === undefined ? {} : { note }),
+        };
+    });
+}
+function requiredSchemaIdentity(value, label) {
+    const identity = optionalSchemaIdentity(value, label);
+    if (identity === undefined)
+        throw new SchemaCodecError(`${label} must be a non-empty string`);
+    return identity;
+}
+function schemaIdentityList(value, label) {
+    if (!Array.isArray(value))
+        throw new SchemaCodecError(`${label} must be a list`);
+    const identities = value.map((item, index) => requiredSchemaIdentity(item, `${label}[${index}]`));
+    if (new Set(identities).size !== identities.length)
+        throw new SchemaCodecError(`${label} must not contain duplicates`);
+    return identities;
+}
+function validateEvolutionCardinality(kind, fromDeclarations, toDeclarations, label) {
+    const exact = (from, to) => fromDeclarations.length === from && toDeclarations.length === to;
+    const valid = kind === 'add' ? exact(0, 1)
+        : kind === 'remove' ? exact(1, 0)
+            : ['rename', 'move', 'constraint-change', 'datatype-change', 'derive', 'replace'].includes(kind) ? exact(1, 1)
+                : kind === 'split' ? fromDeclarations.length === 1 && toDeclarations.length >= 2
+                    : kind === 'merge' ? fromDeclarations.length >= 2 && toDeclarations.length === 1
+                        : false;
+    if (!valid)
+        throw new SchemaCodecError(`${label} has invalid declaration cardinality for '${kind}' evolution`);
+}
+function requiresTransform(kind) {
+    return ['datatype-change', 'split', 'merge', 'derive', 'replace'].includes(kind);
+}
+function optionalSchemaIdentity(value, label) {
+    const identity = optionalString(value, label);
+    if (identity === undefined)
+        return undefined;
+    if (identity.length > 512 || /[\u0000-\u001f\u007f]/.test(identity)) {
+        throw new SchemaCodecError(`${label} must be at most 512 characters and contain no control characters`);
+    }
+    return identity;
+}
+function canonicalAddress(value, role) {
+    if (value.includes('[*]')) {
+        throw new SchemaCodecError(`Legacy indexed wildcard '[*]' is not valid in AEOS ${role}s; use SANSA expansion selectors such as '.*'`);
+    }
+    const parsed = parseAddress(value);
+    if (!parsed.ok) {
+        const first = parsed.errors[0];
+        const detail = first ? `${first.message} at index ${first.index}` : 'invalid SANSA address';
+        throw new SchemaCodecError(`Invalid AEOS ${role} '${value}': ${detail}`);
+    }
+    if (role === 'path' && !parsed.address.isExact) {
+        throw new SchemaCodecError(`AEOS path '${value}' must be an exact SANSA address; use 'selector' for wildcard or filter rules`);
+    }
+    return renderAddress(parsed.address);
+}
+function normalizeConstraintMap(input, label) {
+    const result = {};
+    for (const [key, value] of Object.entries(input)) {
+        if (!isRecord(value)) {
+            throw new SchemaCodecError(`${label}.${key} must be an object`);
+        }
+        result[key] = normalizeConstraints(value, `${label}.${key}`);
+    }
+    return result;
+}
+function normalizeConstraints(input, label) {
+    if (Array.isArray(input.any_of)) {
+        for (let index = 0; index < input.any_of.length; index += 1) {
+            if (!isRecord(input.any_of[index])) {
+                throw new SchemaCodecError(`${label}.any_of[${index}] must be an object`);
+            }
+        }
+    }
+    if (input.attributes !== undefined) {
+        if (!isRecord(input.attributes)) {
+            throw new SchemaCodecError(`${label}.attributes must be an object`);
+        }
+        normalizeConstraintMap(input.attributes, `${label}.attributes`);
+    }
+    return cloneJsonObject(input);
+}
+function cloneJsonObject(input) {
+    const result = {};
+    for (const [key, value] of Object.entries(input)) {
+        result[key] = cloneJsonValue(value);
+    }
+    return result;
+}
+function cloneJsonValue(value) {
+    if (value === null || typeof value === 'boolean' || typeof value === 'number' || typeof value === 'string') {
+        return value;
+    }
+    if (Array.isArray(value)) {
+        return value.map(cloneJsonValue);
+    }
+    if (isRecord(value)) {
+        return cloneJsonObject(value);
+    }
+    throw new SchemaCodecError(`Unsupported schema value: ${String(value)}`);
+}
+function renderAeonValue(value, indent) {
+    if (typeof value === 'string')
+        return renderString(value);
+    if (typeof value === 'number') {
+        if (!Number.isFinite(value)) {
+            throw new SchemaCodecError('Schema numeric values must be finite');
+        }
+        return String(value);
+    }
+    if (typeof value === 'boolean')
+        return value ? 'true' : 'false';
+    if (value === null)
+        return 'null';
+    if (Array.isArray(value)) {
+        if (value.length === 0)
+            return '[]';
+        const pad = '  '.repeat(indent);
+        const childPad = '  '.repeat(indent + 1);
+        const rendered = value.map((item) => `${childPad}${renderAeonValue(item, indent + 1)}`);
+        return `[\n${rendered.join('\n')}\n${pad}]`;
+    }
+    const entries = Object.entries(value);
+    if (entries.length === 0)
+        return '{}';
+    const pad = '  '.repeat(indent);
+    const childPad = '  '.repeat(indent + 1);
+    const rendered = entries.map(([key, item]) => `${childPad}${renderObjectKey(key)}:${datatypeForValue(item)} = ${renderAeonValue(item, indent + 1)}`);
+    return `{\n${rendered.join('\n')}\n${pad}}`;
+}
+function datatypeForValue(value) {
+    if (typeof value === 'string')
+        return 'string';
+    if (typeof value === 'number')
+        return 'number';
+    if (typeof value === 'boolean')
+        return 'boolean';
+    if (value === null)
+        return 'null';
+    if (Array.isArray(value)) {
+        const first = value[0];
+        if (first === undefined)
+            return 'list';
+        if (isJsonObject(first))
+            return 'list<object>';
+        if (Array.isArray(first))
+            return 'list<list>';
+        if (first === null)
+            return 'list<null>';
+        return `list<${typeof first}>`;
+    }
+    return 'object';
+}
+function isJsonObject(value) {
+    return typeof value === 'object' && value !== null && !Array.isArray(value);
+}
+function renderObjectKey(key) {
+    return /^[A-Za-z_][A-Za-z0-9_]*$/.test(key) ? key : renderString(key);
+}
+function renderString(value) {
+    return JSON.stringify(value);
+}
+function optionalString(value, label) {
+    if (value === undefined)
+        return undefined;
+    if (typeof value !== 'string' || value.length === 0) {
+        throw new SchemaCodecError(`${label} must be a non-empty string`);
+    }
+    return value;
+}
+function optionalMetadataText(value, label, maximumLength) {
+    const text = optionalString(value, label);
+    if (text !== undefined && (text.length === 0 || text.trim() !== text || text.length > maximumLength)) {
+        throw new SchemaCodecError(`${label} must be trimmed, non-empty, and contain at most ${maximumLength} characters`);
+    }
+    return text;
+}
+function isRecord(value) {
+    return typeof value === 'object' && value !== null && !Array.isArray(value);
+}
+function formatErrors(errors) {
+    return errors.map((error) => {
+        if (error instanceof Error)
+            return error.message;
+        if (isRecord(error) && typeof error.message === 'string')
+            return error.message;
+        return String(error);
+    }).join('\n');
+}
+//# sourceMappingURL=schema-codec.js.map

package/dist/schema-codec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema-codec.js","sourceRoot":"","sources":["../src/schema-codec.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,OAAO,EAAuB,MAAM,uBAAuB,CAAC;AACrE,OAAO,EAAE,YAAY,EAAwB,MAAM,2BAA2B,CAAC;AAC/E,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAkBhE,MAAM,OAAO,gBAAiB,SAAQ,KAAK;IACvC,YAAY,OAAe;QACvB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,kBAAkB,CAAC;IACnC,CAAC;CACJ;AAED,MAAM,UAAU,iBAAiB,CAAC,MAAc,EAAE,OAAO,GAAuB,EAAE;IAC9E,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,EAAE;QAC7B,GAAG,OAAO,CAAC,cAAc;QACzB,cAAc,EAAE,OAAO,CAAC,cAAc,EAAE,cAAc,IAAI,cAAc;KAC3E,CAAC,CAAC;IACH,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,gBAAgB,CAAC,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;IAC9D,CAAC;IAED,MAAM,SAAS,GAAG,YAAY,CAAC,QAAQ,CAAC,MAAM,EAAE;QAC5C,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,SAAS;QAChB,GAAG,OAAO,CAAC,eAAe;KAC7B,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,EAAE,MAAM,IAAI,EAAE,CAAC;IAC5C,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,MAAM,IAAI,gBAAgB,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC;IACrD,CAAC;IAED,OAAO,qBAAqB,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;AACrD,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,KAAc;IAChD,MAAM,IAAI,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;IACtC,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzC,MAAM,MAAM,GAQR,EAAE,KAAK,EAAE,CAAC;IAEd,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QAC/B,MAAM,CAAC,SAAS,GAAG,kBAAkB,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IACjE,CAAC;IAED,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC3B,IAAI,IAAI,CAAC,KAAK,KAAK,MAAM,IAAI,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YACnD,MAAM,IAAI,gBAAgB,CAAC,iDAAiD,CAAC,CAAC;QAClF,CAAC;QACD,MAAM,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;IAC9B,CAAC;IACD,IAAI,IAAI,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;QACtC,IAAI,IAAI,CAAC,gBAAgB,KAAK,OAAO,IAAI,IAAI,CAAC,gBAAgB,KAAK,QAAQ,EAAE,CAAC;YAC1E,MAAM,IAAI,gBAAgB,CAAC,6DAA6D,CAAC,CAAC;QAC9F,CAAC;QACD,MAAM,CAAC,gBAAgB,GAAG,IAAI,CAAC,gBAAgB,CAAC;IACpD,CAAC;IACD,IAAI,IAAI,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;QACtC,IAAI,IAAI,CAAC,gBAAgB,KAAK,eAAe,IAAI,IAAI,CAAC,gBAAgB,KAAK,QAAQ,EAAE,CAAC;YAClF,MAAM,IAAI,gBAAgB,CAAC,qEAAqE,CAAC,CAAC;QACtG,CAAC;QACD,MAAM,CAAC,gBAAgB,GAAG,IAAI,CAAC,gBAAgB,CAAC;IACpD,CAAC;IACD,IAAI,IAAI,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;QACpC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;YACjC,MAAM,IAAI,gBAAgB,CAAC,iDAAiD,CAAC,CAAC;QAClF,CAAC;QACD,MAAM,CAAC,cAAc,GAAG,sBAAsB,CAAC,IAAI,CAAC,cAAc,EAAE,gBAAgB,CAAC,CAAC;IAC1F,CAAC;IACD,IAAI,IAAI,CAAC,eAAe,KAAK,SAAS,EAAE,CAAC;QACrC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC;YAClC,MAAM,IAAI,gBAAgB,CAAC,kDAAkD,CAAC,CAAC;QACnF,CAAC;QACD,MAAM,CAAC,eAAe,GAAG,eAAe,CAAC,IAAI,CAAC,eAAe,CAAqB,CAAC;IACvF,CAAC;IAED,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,KAAe;IACxC,MAAM,MAAM,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC;IAC5C,MAAM,KAAK,GAAG;QACV,oBAAoB;QACpB,iBAAiB;KACpB,CAAC;IACF,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,oBAAoB,YAAY,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACjE,CAAC;IACD,IAAI,MAAM,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;QACxC,KAAK,CAAC,IAAI,CAAC,+BAA+B,YAAY,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC;IACvF,CAAC;IACD,IAAI,MAAM,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;QACxC,KAAK,CAAC,IAAI,CAAC,+BAA+B,YAAY,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC;IACvF,CAAC;IACD,IAAI,MAAM,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;QACtC,KAAK,CAAC,IAAI,CAAC,6BAA6B,eAAe,CAAC,MAAM,CAAC,cAA0B,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACrG,CAAC;IACD,IAAI,MAAM,CAAC,eAAe,KAAK,SAAS,EAAE,CAAC;QACvC,KAAK,CAAC,IAAI,CAAC,8BAA8B,eAAe,CAAC,MAAM,CAAC,eAA2B,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACvG,CAAC;IACD,IAAI,MAAM,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC,8BAA8B,eAAe,CAAC,MAAM,CAAC,SAAgC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IAC5G,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;IACvC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAC9B,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpB,IAAI,IAAI,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;YACpC,KAAK,CAAC,IAAI,CAAC,iCAAiC,YAAY,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC;QACrF,CAAC;QACD,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,6BAA6B,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;QAC7E,CAAC;QACD,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC3B,KAAK,CAAC,IAAI,CAAC,wBAAwB,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACnE,CAAC;QACD,IAAI,IAAI,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;YACjC,KAAK,CAAC,IAAI,CAAC,8BAA8B,YAAY,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;QAC/E,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC1B,KAAK,CAAC,IAAI,CAAC,sBAAsB,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;QAC5E,CAAC;aAAM,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YACrC,KAAK,CAAC,IAAI,CAAC,0BAA0B,gBAAgB,CAAC,IAAI,CAAC,QAAQ,EAAE,UAAU,CAAC,EAAE,CAAC,CAAC;QACxF,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,8BAA8B,eAAe,CAAC,IAAI,CAAC,WAAuB,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC7F,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACxB,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;AACnC,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAc;IACrC,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;IACpF,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QACtB,MAAM,IAAI,gBAAgB,CAAC,+CAA+C,CAAC,CAAC;IAChF,CAAC;IACD,IAAI,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,OAAO,QAAQ,CAAC,IAAI,CAAC;IACzB,CAAC;IACD,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5B,OAAO,QAAQ,CAAC,MAAM,CAAC;IAC3B,CAAC;IACD,OAAO,QAAQ,CAAC;AACpB,CAAC;AAED,SAAS,cAAc,CAAC,KAAc;IAClC,IAAI,KAA4B,CAAC;IACjC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACvB,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,EAAE,SAAS,KAAK,GAAG,CAAC,CAAC,CAAC;IAC/E,CAAC;SAAM,IAAI,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,WAAW,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,SAAS,IAAI,EAAE,CAAC,CAAC,CAAC;IACtH,CAAC;SAAM,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QAC7B,KAAK,GAAG,EAAE,CAAC;IACf,CAAC;SAAM,CAAC;QACJ,MAAM,IAAI,gBAAgB,CAAC,+CAA+C,CAAC,CAAC;IAChF,CAAC;IAED,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IACzC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACvB,IAAI,IAAI,CAAC,cAAc,KAAK,SAAS;YAAE,SAAS;QAChD,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;YAC1C,MAAM,IAAI,gBAAgB,CAAC,0BAA0B,IAAI,CAAC,cAAc,kBAAkB,CAAC,CAAC;QAChG,CAAC;QACD,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,SAAS,aAAa,CAAC,KAAc,EAAE,KAAa;IAChD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACnB,MAAM,IAAI,gBAAgB,CAAC,eAAe,KAAK,oBAAoB,CAAC,CAAC;IACzE,CAAC;IACD,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,KAAK,OAAO,CAAC,CAAC;IACzD,MAAM,QAAQ,GAAG,cAAc,CAAC,KAAK,CAAC,QAAQ,EAAE,GAAG,KAAK,WAAW,CAAC,CAAC;IACrE,MAAM,aAAa,GAAG,sBAAsB,CAAC,KAAK,CAAC,cAAc,EAAE,GAAG,KAAK,iBAAiB,CAAC,CAAC;IAC9F,MAAM,SAAS,GAAG,sBAAsB,CAAC,KAAK,CAAC,UAAU,EAAE,GAAG,KAAK,aAAa,CAAC,CAAC;IAClF,MAAM,SAAS,GAAG,oBAAoB,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,KAAK,QAAQ,EAAE,GAAG,CAAC,CAAC;IAC3E,MAAM,WAAW,GAAG,oBAAoB,CAAC,KAAK,CAAC,WAAW,EAAE,GAAG,KAAK,cAAc,EAAE,KAAK,CAAC,CAAC;IAC3F,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,KAAK,CAAC,QAAQ,KAAK,SAAS,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,gBAAgB,CAAC,eAAe,KAAK,kDAAkD,CAAC,CAAC;IACvG,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,gBAAgB,CAAC,eAAe,KAAK,sCAAsC,CAAC,CAAC;IAC3F,CAAC;IACD,MAAM,WAAW,GAAG,oBAAoB,CAAC,KAAK,CAAC,WAAW,EAAE,GAAG,KAAK,cAAc,CAAC,CAAC;IACpF,MAAM,QAAQ,GAAG;QACb,GAAG,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,aAAa,EAAE,CAAC;QACzE,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC;QAC7D,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;QACxD,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC;KACxD,CAAC;IACF,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACrB,OAAO,EAAE,GAAG,QAAQ,EAAE,IAAI,EAAE,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,WAAW,EAAE,CAAC;IAC9E,CAAC;IACD,OAAO,EAAE,GAAG,QAAQ,EAAE,QAAQ,EAAE,gBAAgB,CAAC,QAAS,EAAE,UAAU,CAAC,EAAE,WAAW,EAAE,CAAC;AAC3F,CAAC;AAED,MAAM,eAAe,GAAuC,IAAI,GAAG,CAAC;IAChE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,mBAAmB;IACtD,iBAAiB,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS;CAC3D,CAAC,CAAC;AAEH,SAAS,kBAAkB,CAAC,KAAc,EAAE,KAA4B;IACpE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,gBAAgB,CAAC,yCAAyC,CAAC,CAAC;IACjG,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;IACxH,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QAC9B,MAAM,KAAK,GAAG,aAAa,KAAK,GAAG,CAAC;QACpC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,MAAM,IAAI,gBAAgB,CAAC,GAAG,KAAK,oBAAoB,CAAC,CAAC;QAC/E,MAAM,QAAQ,GAAG,sBAAsB,CAAC,KAAK,CAAC,SAAS,EAAE,GAAG,KAAK,YAAY,CAAC,CAAC;QAC/E,IAAI,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,MAAM,IAAI,gBAAgB,CAAC,qBAAqB,QAAQ,kBAAkB,CAAC,CAAC;QACzG,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACxB,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,KAAK,OAAO,CAAC,CAAC;QACzD,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAA6B,CAAC,EAAE,CAAC;YAC5E,MAAM,IAAI,gBAAgB,CAAC,GAAG,KAAK,gDAAgD,CAAC,CAAC;QACzF,CAAC;QACD,MAAM,gBAAgB,GAAG,kBAAkB,CAAC,KAAK,CAAC,iBAAiB,EAAE,GAAG,KAAK,oBAAoB,CAAC,CAAC;QACnG,MAAM,cAAc,GAAG,kBAAkB,CAAC,KAAK,CAAC,eAAe,EAAE,GAAG,KAAK,kBAAkB,CAAC,CAAC;QAC7F,4BAA4B,CAAC,IAA6B,EAAE,gBAAgB,EAAE,cAAc,EAAE,KAAK,CAAC,CAAC;QACrG,KAAK,MAAM,aAAa,IAAI,cAAc,EAAE,CAAC;YACzC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC;gBACrC,MAAM,IAAI,gBAAgB,CAAC,GAAG,KAAK,2DAA2D,aAAa,GAAG,CAAC,CAAC;YACpH,CAAC;QACL,CAAC;QACD,MAAM,YAAY,GAAG,sBAAsB,CAAC,KAAK,CAAC,aAAa,EAAE,GAAG,KAAK,gBAAgB,CAAC,CAAC;QAC3F,MAAM,SAAS,GAAG,sBAAsB,CAAC,KAAK,CAAC,SAAS,EAAE,GAAG,KAAK,YAAY,CAAC,CAAC;QAChF,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,KAAK,OAAO,CAAC,CAAC;QACzD,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,GAAG,IAAI;YAAE,MAAM,IAAI,gBAAgB,CAAC,GAAG,KAAK,uCAAuC,CAAC,CAAC;QAC1H,IAAI,iBAAiB,CAAC,IAA6B,CAAC,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC9E,MAAM,IAAI,gBAAgB,CAAC,GAAG,KAAK,+BAA+B,IAAI,aAAa,CAAC,CAAC;QACzF,CAAC;QACD,OAAO;YACH,SAAS,EAAE,QAAQ;YACnB,IAAI,EAAE,IAA6B;YACnC,iBAAiB,EAAE,gBAAgB;YACnC,eAAe,EAAE,cAAc;YAC/B,GAAG,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,YAAY,EAAE,CAAC;YACtE,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC;YACjD,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;SAC1C,CAAC;IACN,CAAC,CAAC,CAAC;AACP,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAc,EAAE,KAAa;IACzD,MAAM,QAAQ,GAAG,sBAAsB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACtD,IAAI,QAAQ,KAAK,SAAS;QAAE,MAAM,IAAI,gBAAgB,CAAC,GAAG,KAAK,6BAA6B,CAAC,CAAC;IAC9F,OAAO,QAAQ,CAAC;AACpB,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAc,EAAE,KAAa;IACrD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,gBAAgB,CAAC,GAAG,KAAK,iBAAiB,CAAC,CAAC;IACjF,MAAM,UAAU,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,sBAAsB,CAAC,IAAI,EAAE,GAAG,KAAK,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC;IAClG,IAAI,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,MAAM;QAAE,MAAM,IAAI,gBAAgB,CAAC,GAAG,KAAK,8BAA8B,CAAC,CAAC;IACvH,OAAO,UAAU,CAAC;AACtB,CAAC;AAED,SAAS,4BAA4B,CACjC,IAA2B,EAC3B,gBAAmC,EACnC,cAAiC,EACjC,KAAa;IAEb,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,EAAU,EAAW,EAAE,CAAC,gBAAgB,CAAC,MAAM,KAAK,IAAI,IAAI,cAAc,CAAC,MAAM,KAAK,EAAE,CAAC;IACtH,MAAM,KAAK,GAAG,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;QACtC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;YAC7B,CAAC,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;gBAC1G,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,gBAAgB,CAAC,MAAM,KAAK,CAAC,IAAI,cAAc,CAAC,MAAM,IAAI,CAAC;oBAC5E,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,gBAAgB,CAAC,MAAM,IAAI,CAAC,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC;wBAC5E,CAAC,CAAC,KAAK,CAAC;IAC5B,IAAI,CAAC,KAAK;QAAE,MAAM,IAAI,gBAAgB,CAAC,GAAG,KAAK,6CAA6C,IAAI,aAAa,CAAC,CAAC;AACnH,CAAC;AAED,SAAS,iBAAiB,CAAC,IAA2B;IAClD,OAAO,CAAC,iBAAiB,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AACrF,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAc,EAAE,KAAa;IACzD,MAAM,QAAQ,GAAG,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC9C,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC7C,IAAI,QAAQ,CAAC,MAAM,GAAG,GAAG,IAAI,uBAAuB,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QAClE,MAAM,IAAI,gBAAgB,CAAC,GAAG,KAAK,mEAAmE,CAAC,CAAC;IAC5G,CAAC;IACD,OAAO,QAAQ,CAAC;AACpB,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAa,EAAE,IAAyB;IAC9D,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,gBAAgB,CAAC,sDAAsD,IAAI,+CAA+C,CAAC,CAAC;IAC1I,CAAC;IACD,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IACnC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACb,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,OAAO,aAAa,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,uBAAuB,CAAC;QAC5F,MAAM,IAAI,gBAAgB,CAAC,gBAAgB,IAAI,KAAK,KAAK,MAAM,MAAM,EAAE,CAAC,CAAC;IAC7E,CAAC;IACD,IAAI,IAAI,KAAK,MAAM,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;QAC7C,MAAM,IAAI,gBAAgB,CAAC,cAAc,KAAK,+EAA+E,CAAC,CAAC;IACnI,CAAC;IACD,OAAO,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;AACzC,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAoB,EAAE,KAAa;IAC/D,MAAM,MAAM,GAAkC,EAAE,CAAC;IACjD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/C,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACnB,MAAM,IAAI,gBAAgB,CAAC,GAAG,KAAK,IAAI,GAAG,oBAAoB,CAAC,CAAC;QACpE,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,GAAG,oBAAoB,CAAC,KAAK,EAAE,GAAG,KAAK,IAAI,GAAG,EAAE,CAAC,CAAC;IACjE,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAoB,EAAE,KAAa;IAC7D,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;YAC1D,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;gBACjC,MAAM,IAAI,gBAAgB,CAAC,GAAG,KAAK,WAAW,KAAK,qBAAqB,CAAC,CAAC;YAC9E,CAAC;QACL,CAAC;IACL,CAAC;IACD,IAAI,KAAK,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QACjC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;YAC9B,MAAM,IAAI,gBAAgB,CAAC,GAAG,KAAK,+BAA+B,CAAC,CAAC;QACxE,CAAC;QACD,sBAAsB,CAAC,KAAK,CAAC,UAAU,EAAE,GAAG,KAAK,aAAa,CAAC,CAAC;IACpE,CAAC;IACD,OAAO,eAAe,CAAC,KAAK,CAAkB,CAAC;AACnD,CAAC;AAED,SAAS,eAAe,CAAC,KAAoB;IACzC,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/C,MAAM,CAAC,GAAG,CAAC,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,SAAS,cAAc,CAAC,KAAc;IAClC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QACzG,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,KAAK,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;IACrC,CAAC;IACD,IAAI,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAClB,OAAO,eAAe,CAAC,KAAK,CAAC,CAAC;IAClC,CAAC;IACD,MAAM,IAAI,gBAAgB,CAAC,6BAA6B,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AAC7E,CAAC;AAED,SAAS,eAAe,CAAC,KAAe,EAAE,MAAc;IACpD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,YAAY,CAAC,KAAK,CAAC,CAAC;IAC1D,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC5B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1B,MAAM,IAAI,gBAAgB,CAAC,sCAAsC,CAAC,CAAC;QACvE,CAAC;QACD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACzB,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;IAChE,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAClC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACvB,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACpC,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAChC,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACzC,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,QAAQ,GAAG,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;QACxF,OAAO,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,GAAG,CAAC;IAChD,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACtC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACtC,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAChC,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACzC,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,GAAG,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,IAAI,gBAAgB,CAAC,IAAI,CAAC,MAAM,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;IACrJ,OAAO,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,GAAG,CAAC;AAChD,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAe;IACrC,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC/C,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC/C,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACjD,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAClC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACvB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QACvC,IAAI,YAAY,CAAC,KAAK,CAAC;YAAE,OAAO,cAAc,CAAC;QAC/C,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,OAAO,YAAY,CAAC;QAC9C,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,YAAY,CAAC;QACxC,OAAO,QAAQ,OAAO,KAAK,GAAG,CAAC;IACnC,CAAC;IACD,OAAO,QAAQ,CAAC;AACpB,CAAC;AAED,SAAS,YAAY,CAAC,KAAe;IACjC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAChF,CAAC;AAED,SAAS,eAAe,CAAC,GAAW;IAChC,OAAO,0BAA0B,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;AAC1E,CAAC;AAED,SAAS,YAAY,CAAC,KAAa;IAC/B,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;AACjC,CAAC;AAED,SAAS,cAAc,CAAC,KAAc,EAAE,KAAa;IACjD,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC1C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,gBAAgB,CAAC,GAAG,KAAK,6BAA6B,CAAC,CAAC;IACtE,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAc,EAAE,KAAa,EAAE,aAAqB;IAC9E,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC1C,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,aAAa,CAAC,EAAE,CAAC;QACnG,MAAM,IAAI,gBAAgB,CAAC,GAAG,KAAK,oDAAoD,aAAa,aAAa,CAAC,CAAC;IACvH,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC5B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAChF,CAAC;AAED,SAAS,YAAY,CAAC,MAA0B;IAC5C,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QACxB,IAAI,KAAK,YAAY,KAAK;YAAE,OAAO,KAAK,CAAC,OAAO,CAAC;QACjD,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC,OAAO,CAAC;QAC/E,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACzB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAClB,CAAC"}

package/dist/schema-tools.d.ts

@@ -0,0 +1,90 @@
+/**
+ * Tooling primitives for deriving editable schema candidates and reviewing
+ * changes between schema versions. These functions do not admit migrations.
+ */
+import { type CompileOptions } from '@altopelago/aeon-core';
+import type { AssignmentEvent } from './types/aes.js';
+import type { SchemaRule, SchemaV1 } from './types/schema.js';
+type JsonValue = null | boolean | number | string | readonly JsonValue[] | {
+    readonly [key: string]: JsonValue;
+};
+export interface InferSchemaOptions {
+    /** Generated candidates are open-world unless the caller explicitly closes them. */
+    readonly world?: 'open' | 'closed';
+    readonly compileOptions?: CompileOptions;
+    readonly maxInputBytes?: number;
+    readonly maxEvents?: number;
+}
+export interface InferredSchemaCandidate {
+    readonly schema: SchemaV1;
+    readonly source: string;
+    readonly observedEventCount: number;
+    readonly assumptions: readonly string[];
+}
+export declare class SchemaInferenceError extends Error {
+    readonly diagnostics: readonly string[];
+    constructor(message: string, diagnostics?: readonly string[]);
+}
+export type SchemaDiffChange = {
+    readonly kind: 'setting-changed';
+    readonly setting: string;
+    readonly before?: JsonValue;
+    readonly after?: JsonValue;
+} | {
+    readonly kind: 'rule-added';
+    readonly rule: SchemaRule;
+} | {
+    readonly kind: 'rule-removed';
+    readonly rule: SchemaRule;
+} | {
+    readonly kind: 'rule-relocated';
+    readonly identity: string;
+    readonly before: SchemaRule;
+    readonly after: SchemaRule;
+    readonly constraintPaths: readonly string[];
+    readonly evidence: 'shared-declaration-id';
+} | {
+    readonly kind: 'rule-changed';
+    readonly identity: string;
+    readonly before: SchemaRule;
+    readonly after: SchemaRule;
+    readonly constraintPaths: readonly string[];
+    readonly metadataPaths?: readonly string[];
+};
+export interface PossibleRuleMove {
+    readonly from: string;
+    readonly to: string;
+    readonly reason: 'shared-lineage-id' | 'identical-constraints';
+}
+export interface SchemaDiff {
+    readonly equal: boolean;
+    readonly changes: readonly SchemaDiffChange[];
+    /** These are review hints, not inferred migration instructions. */
+    readonly possibleRuleMoves: readonly PossibleRuleMove[];
+}
+export interface SchemaEvolutionDiagnostic {
+    readonly changeId: string;
+    readonly code: 'SOURCE_DECLARATION_MISSING' | 'TEMPORAL_KIND_MISMATCH';
+    readonly message: string;
+}
+export interface SchemaAeonProjection {
+    /** Illustrative AEON instance shape. It is not schema authority or validation evidence. */
+    readonly source: string;
+    readonly assumptions: readonly string[];
+    readonly omittedRules: readonly string[];
+}
+export declare function inferSchemaFromAeon(source: string, options?: InferSchemaOptions): InferredSchemaCandidate;
+/**
+ * Projects a schema into one inspectable AEON instance shape. The schema remains
+ * authoritative; this deliberately cannot represent every valid value.
+ */
+export declare function projectSchemaToAeon(schema: SchemaV1): SchemaAeonProjection;
+export declare function projectSchemaSourceToAeon(source: string): SchemaAeonProjection;
+export declare function inferSchemaFromEvents(events: readonly AssignmentEvent[], options?: Pick<InferSchemaOptions, 'world'>): InferredSchemaCandidate;
+export declare function diffSchemaSources(source: string, target: string): SchemaDiff;
+/** Validate authored temporal intent against the two schema states it relates. */
+export declare function validateSchemaEvolution(source: SchemaV1, target: SchemaV1): readonly SchemaEvolutionDiagnostic[];
+export declare function validateSchemaEvolutionSources(source: string, target: string): readonly SchemaEvolutionDiagnostic[];
+export declare function diffSchemas(source: SchemaV1, target: SchemaV1): SchemaDiff;
+export {};
+//# sourceMappingURL=schema-tools.d.ts.map

package/dist/schema-tools.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema-tools.d.ts","sourceRoot":"","sources":["../src/schema-tools.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAW,KAAK,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAErE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACtD,OAAO,KAAK,EAAoC,UAAU,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAIhG,KAAK,SAAS,GAAG,IAAI,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,SAAS,SAAS,EAAE,GAAG;IAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,CAAC;AAEjH,MAAM,WAAW,kBAAkB;IAC/B,oFAAoF;IACpF,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,QAAQ,CAAC;IACnC,QAAQ,CAAC,cAAc,CAAC,EAAE,cAAc,CAAC;IACzC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,WAAW,uBAAuB;IACpC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CAC3C;AAED,qBAAa,oBAAqB,SAAQ,KAAK;IAC3C,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IAExC,YAAY,OAAO,EAAE,MAAM,EAAE,WAAW,GAAE,SAAS,MAAM,EAAO,EAI/D;CACJ;AAED,MAAM,MAAM,gBAAgB,GACtB;IAAE,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,CAAA;CAAE,GACvH;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAAE,GAC1D;IAAE,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAAE,GAC5D;IACE,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,QAAQ,CAAC,QAAQ,EAAE,uBAAuB,CAAC;CAC9C,GACC;IACE,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,QAAQ,CAAC,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC9C,CAAC;AAEN,MAAM,WAAW,gBAAgB;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,mBAAmB,GAAG,uBAAuB,CAAC;CAClE;AAED,MAAM,WAAW,UAAU;IACvB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC9C,mEAAmE;IACnE,QAAQ,CAAC,iBAAiB,EAAE,SAAS,gBAAgB,EAAE,CAAC;CAC3D;AAED,MAAM,WAAW,yBAAyB;IACtC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,4BAA4B,GAAG,wBAAwB,CAAC;IACvE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,WAAW,oBAAoB;IACjC,2FAA2F;IAC3F,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;CAC5C;AASD,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,GAAE,kBAAuB,GAAG,uBAAuB,CAe7G;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,QAAQ,GAAG,oBAAoB,CAiD1E;AAED,wBAAgB,yBAAyB,CAAC,MAAM,EAAE,MAAM,GAAG,oBAAoB,CAE9E;AAwGD,wBAAgB,qBAAqB,CACjC,MAAM,EAAE,SAAS,eAAe,EAAE,EAClC,OAAO,GAAE,IAAI,CAAC,kBAAkB,EAAE,OAAO,CAAM,GAChD,uBAAuB,CAuBzB;AAED,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,UAAU,CAE5E;AAED,kFAAkF;AAClF,wBAAgB,uBAAuB,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,GAAG,SAAS,yBAAyB,EAAE,CAyBhH;AAED,wBAAgB,8BAA8B,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,SAAS,yBAAyB,EAAE,CAEnH;AAED,wBAAgB,WAAW,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,GAAG,UAAU,CAgG1E"}