aontu 0.52.0 → 0.53.0

package/dist/jsonschema.js

@@ -0,0 +1,391 @@
+"use strict";
+/* Copyright (c) 2025 Richard Rodger, MIT License */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.jsonSchema = jsonSchema;
+// JSON SCHEMA EXPORT (the review's finding I / SUPPORT.md act 2).
+//
+// "JSON Schema's decisive 2026 advantage is not its validator ecosystem
+// -- it is that every major LLM provider's structured-output API
+// natively constrains generation to JSON Schema." Without an export,
+// Aontu cannot ride that path and then apply `vet` as the semantic gate
+// -- the hybrid an enterprise would actually deploy -- and an MCP tool's
+// `inputSchema`, which the protocol REQUIRES to be JSON Schema, cannot
+// be derived from an Aontu tool model at all (use case 09's interop
+// wall).
+//
+// THE MAPPING IS LOSSY, AND SAYS SO PER CONSTRUCT. That is the whole
+// design. Aontu's constraint algebra maps cleanly onto JSON Schema's
+// core -- bounds, patterns, lengths, enums, required and closed -- and
+// then stops: an evaluate-only `must()` is opaque by construction, an
+// exact `0d` leaf has no JSON type that preserves it, a cross-field
+// reference is not a property constraint at all, and `unique(k)` has no
+// JSON Schema spelling. A converter that dropped those silently would
+// hand its caller a schema that ADMITS MORE than the model does, which
+// is the failure mode this whole language exists to refuse. So every
+// loss is reported with its path, its construct and its reason, and
+// `--strict` turns the report into a refusal.
+//
+// It exports the UNIFIED value, not the parse: what a document MEANS is
+// what a consumer should be constrained to, and the meaning is what the
+// fixpoint produced.
+//
+// Draft 2020-12, because that is what the structured-output APIs read.
+const aontu_1 = require("./aontu");
+const err_1 = require("./err");
+const BagVal_1 = require("./val/BagVal");
+const vet_1 = require("./vet");
+const vet_2 = require("./vet");
+const DRAFT = 'https://json-schema.org/draft/2020-12/schema';
+function pathText(path) {
+    return '$' + (0 < path.length ? '.' + path.join('.') : '');
+}
+function lose(ctx, path, construct, reason) {
+    ctx.lossy.push({ path: pathText(path), construct, reason });
+}
+// The JSON type for a kind marker, by the marker CLASS's name -- the
+// same load-bearing name canon renders (ScalarKindVal). `number` and
+// its four leaves all become JSON's two numeric types; the exactness of
+// `biginteger`/`bigdecimal` has no JSON type at all, which is a loss the
+// caller is told about rather than a silent widening.
+const KIND_TYPE = {
+    String: 'string',
+    Boolean: 'boolean',
+    Integer: 'integer',
+    BigInteger: 'integer',
+    Float: 'number',
+    BigDecimal: 'number',
+    Number: 'number',
+};
+// The JSON value of a concrete scalar, for `const`, `enum` and
+// `default`. An exact leaf renders through its own digits rather than
+// through binary64 -- and is reported as a loss where it is emitted,
+// because JSON's number has no exactness to receive it.
+function scalarJson(v) {
+    if (v.isBigInteger) {
+        return Number(v.peg);
+    }
+    if (v.isBigDecimal) {
+        return Number(v.peg.toString());
+    }
+    return v.peg;
+}
+function scalarType(v) {
+    if (v.isBigDecimal) {
+        return 'number';
+    }
+    if (v.isInteger || v.isBigInteger) {
+        return 'integer';
+    }
+    const t = typeof v.peg;
+    return 'number' === t ? 'number' : 'boolean' === t ? 'boolean' : 'string';
+}
+// The constraint residual's atoms, onto JSON Schema's keywords. The
+// three that map exactly (bounds, pattern, count) go across; the two
+// that cannot (`must`, `unique(k)`) are reported.
+function fromConstraint(ctx, path, c) {
+    const out = {};
+    if (null != c.kind && null != KIND_TYPE[c.kind.name]) {
+        out.type = KIND_TYPE[c.kind.name];
+    }
+    else if ('string' === c.domain) {
+        out.type = 'string';
+    }
+    else if ('number' === c.domain) {
+        out.type = 'number';
+    }
+    // Bounds. An OPEN endpoint is JSON Schema's exclusive form, which is
+    // a keyword of its own in 2020-12 rather than the boolean flag draft-4
+    // used.
+    if (null != c.lo) {
+        out[c.lo.open ? 'exclusiveMinimum' : 'minimum'] = scalarJson(c.lo.v);
+    }
+    if (null != c.hi) {
+        out[c.hi.open ? 'exclusiveMaximum' : 'maximum'] = scalarJson(c.hi.v);
+    }
+    // Exclusions. `neq(1,2)` is "not one of these", which is exactly
+    // `not: {enum: [...]}`.
+    if (0 < c.neqs.length) {
+        out.not = { enum: c.neqs.map(scalarJson) };
+    }
+    // Patterns. Aontu DEFINES its portable subset (`re`'s abbreviations
+    // mean the same in both ports); every member of that subset is also
+    // an ECMA-262 regular expression, which is what JSON Schema's
+    // `pattern` is read as, so this crosses without translation. More
+    // than one pattern needs `allOf`: `pattern` is a single keyword.
+    if (1 === c.res.length) {
+        out.pattern = c.res[0].src;
+    }
+    else if (1 < c.res.length) {
+        out.allOf = c.res.map((r) => ({ pattern: r.src }));
+    }
+    // A COUNT is a length or a size depending on what is counted, and the
+    // residual does not always know which. Where the domain says string,
+    // it is minLength/maxLength; otherwise the container keywords, since
+    // a count atom on a container is what `length` overwhelmingly means.
+    if (null != c.count) {
+        const lo = null == c.count.lo ? undefined : scalarJson(c.count.lo.v);
+        const hi = null == c.count.hi ? undefined : scalarJson(c.count.hi.v);
+        const str = 'string' === c.domain || 'string' === out.type;
+        if (null != lo) {
+            out[str ? 'minLength' : 'minItems'] = lo;
+        }
+        if (null != hi) {
+            out[str ? 'maxLength' : 'maxItems'] = hi;
+        }
+        if (!str && null == c.domain) {
+            lose(ctx, path, 'length', 'a count with no domain is exported as minItems/maxItems; ' +
+                'JSON Schema has no keyword that counts a string OR a container');
+        }
+    }
+    if (c.uniq) {
+        out.uniqueItems = true;
+    }
+    for (const key of c.uniqBy) {
+        lose(ctx, path, 'unique(' + key + ')', 'JSON Schema has no uniqueness-by-property keyword; uniqueItems ' +
+            'compares whole items, so this constraint is DROPPED and the ' +
+            'schema admits records sharing a `' + key + '`');
+    }
+    if (0 < c.musts.length) {
+        lose(ctx, path, 'must', 'an evaluate-only check is opaque by construction -- it carries ' +
+            'the author\'s own message and the algebra never reasons about ' +
+            'it -- so it is DROPPED and the schema admits values `vet` refuses');
+    }
+    return out;
+}
+// The exporter proper. Every arm answers a schema; the ones that cannot
+// answer honestly report a loss and fall back to `{}`, which admits
+// anything -- the safe direction for a document that will be checked
+// again by `vet`, and the direction the loss report exists to make
+// visible.
+// NO DEFENSIVE GUARD ON `v`. Every caller walks a bag's own children
+// and a bag holds Vals, so a non-Val here is not a degenerate input,
+// it is a bug in this file -- and an unreachable `if` is a branch arm
+// the ADR-002 gate counts and no `node:coverage ignore` suppresses
+// (the marker drops LINES, not branches). Go's twin keeps its `nil ==
+// v` arm because a missing map key there yields a typed nil rather
+// than an absent property.
+function fromVal(ctx, path, v) {
+    // A preference is its inner value plus a DEFAULT. JSON Schema's
+    // `default` is annotation rather than constraint -- it does not
+    // validate -- which is exactly what a preference is when something
+    // else supplies the value.
+    if (true === v.isPref) {
+        const inner = fromVal(ctx, path, v.peg);
+        const gen = generated(v.peg);
+        return undefined === gen ? inner : { ...inner, default: gen };
+    }
+    if (true === v.isDisjunct && Array.isArray(v.peg)) {
+        return fromDisjunct(ctx, path, v);
+    }
+    if (true === v.isConstraint) {
+        return fromConstraint(ctx, path, v);
+    }
+    // A SIZING RESIDUE is a container and its own sizing atom, kept
+    // together because more members could still change the atom's reading
+    // (use-cases/BUGS.md §16). Both halves are exportable and both must
+    // be: the container gives the shape, the atom gives `uniqueItems` and
+    // the length keywords, and a walk that saw only "a conjunct" would
+    // report the whole field as unresolved and admit anything.
+    const residue = (0, BagVal_1.sizingResidue)(v);
+    if (undefined !== residue) {
+        return {
+            ...fromVal(ctx, path, residue.bag),
+            ...fromConstraint(ctx, path, residue.con),
+        };
+    }
+    if (true === v.isMap) {
+        return fromMap(ctx, path, v);
+    }
+    if (true === v.isList) {
+        return fromList(ctx, path, v);
+    }
+    if (true === v.isScalarKind) {
+        const t = KIND_TYPE[v.peg?.name];
+        if ('BigInteger' === v.peg?.name || 'BigDecimal' === v.peg?.name) {
+            lose(ctx, path, v.peg.name.toLowerCase(), 'JSON has one number type and it is binary64, so the EXACTNESS ' +
+                'this leaf exists for cannot be carried; the schema says ' +
+                '"' + t + '" and a consumer may round');
+        }
+        // KIND_TYPE is TOTAL over the kinds a marker can carry, so there is
+        // no miss to fall back from -- and a fallback that cannot be taken
+        // is a branch arm the coverage gate counts. Go's twin keeps its
+        // empty-map arm, which its own ignore mechanism can carry.
+        return { type: t };
+    }
+    if (true === v.isNull) {
+        return { type: 'null' };
+    }
+    if (true === v.isTop) {
+        return {};
+    }
+    if (true === v.isScalar) {
+        if (v.isBigInteger || v.isBigDecimal) {
+            lose(ctx, path, 'exact literal', 'JSON has one number type and it is binary64, so this exact ' +
+                'value is emitted as the nearest JSON number');
+        }
+        return { const: scalarJson(v), type: scalarType(v) };
+    }
+    // Everything else is residue: a reference that did not resolve, a
+    // function or operator still waiting, a nil. None of them is a
+    // property constraint, and guessing one would be inventing a promise.
+    lose(ctx, path, residueName(v), 'this is not a value yet, so there is nothing to constrain a ' +
+        'consumer to; the schema admits anything here');
+    return {};
+}
+function residueName(v) {
+    return true === v.isNil ? 'nil' :
+        true === v.isRef ? 'reference' :
+            true === v.isFunc ? v.funcname() :
+                'unresolved';
+}
+// The generated JSON of a value, or undefined where it does not
+// generate. Used for `default` and for `enum` members: both are VALUES
+// in the schema, so a member that is itself a shape has none to give.
+function generated(v) {
+    // No try/catch: a collecting context RECORDS a failed generation on
+    // itself instead of throwing, which is the whole point of the mode.
+    // Neither `vet` nor the Go twin (`schemaGenerated`) wraps this
+    // either, and an untakeable catch is a branch arm the gate counts.
+    const a0 = new aontu_1.Aontu();
+    const ctx = a0.ctx({ collect: true });
+    const out = v.gen(ctx);
+    return 0 === ctx.err.length ? out : undefined;
+}
+// A disjunction of CONCRETE members is an enum -- the shape a
+// structured-output API constrains best. Anything else is `anyOf`. A
+// preferred member contributes the `default` either way, which is how
+// `*"a"|"b"|"c"` reaches a provider as a defaulted enum.
+function fromDisjunct(ctx, path, v) {
+    const members = v.peg;
+    let def = undefined;
+    for (const m of members) {
+        if (true === m?.isPref && undefined === def) {
+            def = generated(m.peg);
+        }
+    }
+    const bare = members.map((m) => true === m?.isPref ? m.peg : m);
+    const consts = bare.map((m) => true === m?.isScalar && true !== m?.isNil ? scalarJson(m) : undefined);
+    const out = consts.every((c) => undefined !== c) ?
+        { enum: consts } :
+        { anyOf: bare.map((m) => fromVal(ctx, path, m)) };
+    return undefined === def ? out : { ...out, default: def };
+}
+function fromMap(ctx, path, v) {
+    const props = {};
+    const required = [];
+    const optional = v.optionalKeys;
+    let spread = undefined;
+    for (const key of Object.keys(v.peg).sort()) {
+        const child = v.peg[key];
+        // A hidden child does not generate, so it is not part of the value
+        // a consumer produces -- and a schema that demanded it would refuse
+        // every correct document.
+        if (true === child?.mark?.hide) {
+            lose(ctx, [...path, key], 'hide', 'a hidden entry is not generated, so it is omitted from the ' +
+                'schema; a consumer is neither asked for it nor allowed to know ' +
+                'about it');
+            continue;
+        }
+        props[key] = fromVal(ctx, [...path, key], child);
+        if (!optional.includes(key)) {
+            required.push(key);
+        }
+    }
+    const spr = v.spread?.cj;
+    if (null != spr) {
+        spread = fromVal(ctx, [...path, '&'], spr);
+    }
+    const out = { type: 'object', properties: props };
+    if (0 < required.length) {
+        out.required = required;
+    }
+    // CLOSEDNESS IS THE ONE THING JSON SCHEMA SAYS EXACTLY AS AONTU DOES.
+    // A closed map is `additionalProperties: false`; an open one leaves
+    // the keyword off, since JSON Schema's default is already open.
+    if (true === v.closed) {
+        out.additionalProperties = false;
+        if (null != spread) {
+            lose(ctx, path, '&:', 'a spread on a CLOSED map constrains keys that cannot exist, ' +
+                'so additionalProperties:false stands alone and the template ' +
+                'is dropped');
+        }
+    }
+    else if (null != spread) {
+        // A spread IS additionalProperties-with-a-schema: every key the
+        // author did not name must still satisfy the template.
+        out.additionalProperties = spread;
+    }
+    return out;
+}
+function fromList(ctx, path, v) {
+    const els = v.peg;
+    const spr = v.spread?.cj;
+    // A list with a spread template is homogeneous: every element, named
+    // or not, satisfies it. That is `items`.
+    if (null != spr) {
+        const out = {
+            type: 'array',
+            items: fromVal(ctx, [...path, '&'], spr),
+        };
+        if (0 < els.length) {
+            out.minItems = els.length;
+        }
+        return out;
+    }
+    // A written list literal is a TUPLE: position by position, and no
+    // more. 2020-12 spells that `prefixItems` plus `items: false`.
+    return {
+        type: 'array',
+        prefixItems: els.map((el, i) => fromVal(ctx, [...path, String(i)], el)),
+        items: false,
+        minItems: els.length,
+    };
+}
+// The verb. Evaluate, anchor, walk, report.
+function jsonSchema(src, options) {
+    const opts = options ?? {};
+    const aontu = new aontu_1.Aontu(null == opts.trust ? {} : { trust: opts.trust });
+    // COLLECT MODE, so a syntax error arrives on the context rather than
+    // as a throw -- the same failure Go's `parseEntry` hands back as an
+    // error, reached by the branch below. No try/catch here for the same
+    // reason `vet` has none: the mode exists so the failure can be
+    // reported rather than escape, and a catch that cannot be entered is
+    // a branch arm the ADR-002 gate counts.
+    const actx = aontu.ctx({ collect: true });
+    const root = aontu.unify(src, { path: opts.path, collect: true }, actx);
+    // A nil root always arrives with its reason collected beside it, which
+    // is failureFinding's stated precondition (ts/src/vet.ts: "ctx.err is
+    // never empty at a call site").
+    if (0 < actx.err.length || true === root?.isNil) {
+        return {
+            verdict: 'error', schema: {}, lossy: [],
+            errors: [(0, vet_1.failureFinding)(actx, opts.path, root)],
+        };
+    }
+    let node = root;
+    const anchor = [];
+    if (null != opts.at && '' !== opts.at) {
+        const found = (0, vet_2.anchorAt)(root, opts.at);
+        if (null == found) {
+            // The anchor names nothing. Reported as a `no_path` nil through
+            // the same finding shape every other refusal here uses, so a
+            // caller reads one error format rather than two.
+            const nil = (0, err_1.makeNilErr)(actx, 'no_path', root, undefined, 'at');
+            actx.err.push(nil);
+            return {
+                verdict: 'error', schema: {}, lossy: [],
+                errors: [(0, vet_1.failureFinding)(actx, opts.path, root)],
+            };
+        }
+        node = found;
+        anchor.push(...opts.at.replace(/^\$/, '').split('.').filter((p) => '' !== p));
+    }
+    const ctx = { lossy: [] };
+    const body = fromVal(ctx, anchor, node);
+    return {
+        verdict: 0 < ctx.lossy.length ? 'lossy' : 'ok',
+        schema: { $schema: DRAFT, ...body },
+        lossy: ctx.lossy,
+    };
+}
+//# sourceMappingURL=jsonschema.js.map

package/dist/jsonschema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"jsonschema.js","sourceRoot":"","sources":["../src/jsonschema.ts"],"names":[],"mappings":";AAAA,oDAAoD;;;AAEpD,kEAAkE;AAClE,EAAE;AACF,wEAAwE;AACxE,iEAAiE;AACjE,qEAAqE;AACrE,wEAAwE;AACxE,yEAAyE;AACzE,uEAAuE;AACvE,oEAAoE;AACpE,SAAS;AACT,EAAE;AACF,qEAAqE;AACrE,qEAAqE;AACrE,uEAAuE;AACvE,sEAAsE;AACtE,oEAAoE;AACpE,wEAAwE;AACxE,sEAAsE;AACtE,uEAAuE;AACvE,qEAAqE;AACrE,oEAAoE;AACpE,8CAA8C;AAC9C,EAAE;AACF,wEAAwE;AACxE,wEAAwE;AACxE,qBAAqB;AACrB,EAAE;AACF,uEAAuE;AAEvE,mCAA+B;AAC/B,+BAAkC;AAClC,yCAA4C;AAC5C,+BAAsC;AAGtC,+BAAgC;AA2ChC,MAAM,KAAK,GAAG,8CAA8C,CAAA;AAG5D,SAAS,QAAQ,CAAC,IAAc;IAC9B,OAAO,GAAG,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;AAC5D,CAAC;AAQD,SAAS,IAAI,CAAC,GAAQ,EAAE,IAAc,EAAE,SAAiB,EAAE,MAAc;IACvE,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,CAAA;AAC7D,CAAC;AAGD,qEAAqE;AACrE,qEAAqE;AACrE,wEAAwE;AACxE,yEAAyE;AACzE,sDAAsD;AACtD,MAAM,SAAS,GAA2B;IACxC,MAAM,EAAE,QAAQ;IAChB,OAAO,EAAE,SAAS;IAClB,OAAO,EAAE,SAAS;IAClB,UAAU,EAAE,SAAS;IACrB,KAAK,EAAE,QAAQ;IACf,UAAU,EAAE,QAAQ;IACpB,MAAM,EAAE,QAAQ;CACjB,CAAA;AAGD,+DAA+D;AAC/D,sEAAsE;AACtE,qEAAqE;AACrE,wDAAwD;AACxD,SAAS,UAAU,CAAC,CAAM;IACxB,IAAI,CAAC,CAAC,YAAY,EAAE,CAAC;QACnB,OAAO,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACtB,CAAC;IACD,IAAI,CAAC,CAAC,YAAY,EAAE,CAAC;QACnB,OAAO,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAA;IACjC,CAAC;IACD,OAAO,CAAC,CAAC,GAAG,CAAA;AACd,CAAC;AAGD,SAAS,UAAU,CAAC,CAAM;IACxB,IAAI,CAAC,CAAC,YAAY,EAAE,CAAC;QACnB,OAAO,QAAQ,CAAA;IACjB,CAAC;IACD,IAAI,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,YAAY,EAAE,CAAC;QAClC,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,GAAG,CAAA;IACtB,OAAO,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAA;AAC3E,CAAC;AAGD,oEAAoE;AACpE,qEAAqE;AACrE,kDAAkD;AAClD,SAAS,cAAc,CAAC,GAAQ,EAAE,IAAc,EAAE,CAAM;IACtD,MAAM,GAAG,GAAQ,EAAE,CAAA;IAEnB,IAAI,IAAI,IAAI,CAAC,CAAC,IAAI,IAAI,IAAI,IAAI,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACrD,GAAG,CAAC,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACnC,CAAC;SACI,IAAI,QAAQ,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC;QAC/B,GAAG,CAAC,IAAI,GAAG,QAAQ,CAAA;IACrB,CAAC;SACI,IAAI,QAAQ,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC;QAC/B,GAAG,CAAC,IAAI,GAAG,QAAQ,CAAA;IACrB,CAAC;IAED,qEAAqE;IACrE,uEAAuE;IACvE,QAAQ;IACR,IAAI,IAAI,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC;QACjB,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IACtE,CAAC;IACD,IAAI,IAAI,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC;QACjB,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IACtE,CAAC;IAED,iEAAiE;IACjE,wBAAwB;IACxB,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACtB,GAAG,CAAC,GAAG,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAA;IAC5C,CAAC;IAED,oEAAoE;IACpE,oEAAoE;IACpE,8DAA8D;IAC9D,kEAAkE;IAClE,iEAAiE;IACjE,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC;QACvB,GAAG,CAAC,OAAO,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAA;IAC5B,CAAC;SACI,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC;QAC1B,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAA;IACzD,CAAC;IAED,sEAAsE;IACtE,qEAAqE;IACrE,qEAAqE;IACrE,qEAAqE;IACrE,IAAI,IAAI,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;QACpB,MAAM,EAAE,GAAG,IAAI,IAAI,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;QACpE,MAAM,EAAE,GAAG,IAAI,IAAI,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;QACpE,MAAM,GAAG,GAAG,QAAQ,KAAK,CAAC,CAAC,MAAM,IAAI,QAAQ,KAAK,GAAG,CAAC,IAAI,CAAA;QAC1D,IAAI,IAAI,IAAI,EAAE,EAAE,CAAC;YACf,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,CAAA;QAC1C,CAAC;QACD,IAAI,IAAI,IAAI,EAAE,EAAE,CAAC;YACf,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,CAAA;QAC1C,CAAC;QACD,IAAI,CAAC,GAAG,IAAI,IAAI,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;YAC7B,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,QAAQ,EACtB,2DAA2D;gBAC3D,gEAAgE,CAAC,CAAA;QACrE,CAAC;IACH,CAAC;IAED,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;QACX,GAAG,CAAC,WAAW,GAAG,IAAI,CAAA;IACxB,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;QAC3B,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,SAAS,GAAG,GAAG,GAAG,GAAG,EACnC,iEAAiE;YACjE,8DAA8D;YAC9D,mCAAmC,GAAG,GAAG,GAAG,GAAG,CAAC,CAAA;IACpD,CAAC;IAED,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;QACvB,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,EACpB,iEAAiE;YACjE,gEAAgE;YAChE,mEAAmE,CAAC,CAAA;IACxE,CAAC;IAED,OAAO,GAAG,CAAA;AACZ,CAAC;AAGD,wEAAwE;AACxE,oEAAoE;AACpE,qEAAqE;AACrE,mEAAmE;AACnE,WAAW;AACX,qEAAqE;AACrE,qEAAqE;AACrE,sEAAsE;AACtE,mEAAmE;AACnE,sEAAsE;AACtE,mEAAmE;AACnE,2BAA2B;AAC3B,SAAS,OAAO,CAAC,GAAQ,EAAE,IAAc,EAAE,CAAM;IAC/C,gEAAgE;IAChE,gEAAgE;IAChE,mEAAmE;IACnE,2BAA2B;IAC3B,IAAI,IAAI,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC;QACtB,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAA;QACvC,MAAM,GAAG,GAAG,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;QAC5B,OAAO,SAAS,KAAK,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,CAAA;IAC/D,CAAC;IAED,IAAI,IAAI,KAAK,CAAC,CAAC,UAAU,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QAClD,OAAO,YAAY,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAA;IACnC,CAAC;IAED,IAAI,IAAI,KAAK,CAAC,CAAC,YAAY,EAAE,CAAC;QAC5B,OAAO,cAAc,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAA;IACrC,CAAC;IAED,gEAAgE;IAChE,sEAAsE;IACtE,oEAAoE;IACpE,sEAAsE;IACtE,mEAAmE;IACnE,2DAA2D;IAC3D,MAAM,OAAO,GAAG,IAAA,sBAAa,EAAC,CAAC,CAAC,CAAA;IAChC,IAAI,SAAS,KAAK,OAAO,EAAE,CAAC;QAC1B,OAAO;YACL,GAAG,OAAO,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC;YAClC,GAAG,cAAc,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC;SAC1C,CAAA;IACH,CAAC;IAED,IAAI,IAAI,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC;QACrB,OAAO,OAAO,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAA;IAC9B,CAAC;IAED,IAAI,IAAI,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC;QACtB,OAAO,QAAQ,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAA;IAC/B,CAAC;IAED,IAAI,IAAI,KAAK,CAAC,CAAC,YAAY,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;QAChC,IAAI,YAAY,KAAK,CAAC,CAAC,GAAG,EAAE,IAAI,IAAI,YAAY,KAAK,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC;YACjE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,EACtC,gEAAgE;gBAChE,0DAA0D;gBAC1D,GAAG,GAAG,CAAC,GAAG,4BAA4B,CAAC,CAAA;QAC3C,CAAC;QACD,oEAAoE;QACpE,mEAAmE;QACnE,gEAAgE;QAChE,2DAA2D;QAC3D,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,CAAA;IACpB,CAAC;IAED,IAAI,IAAI,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC;QACtB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAA;IACzB,CAAC;IAED,IAAI,IAAI,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC;QACrB,OAAO,EAAE,CAAA;IACX,CAAC;IAED,IAAI,IAAI,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,YAAY,EAAE,CAAC;YACrC,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,eAAe,EAC7B,6DAA6D;gBAC7D,6CAA6C,CAAC,CAAA;QAClD,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,CAAA;IACtD,CAAC;IAED,kEAAkE;IAClE,+DAA+D;IAC/D,sEAAsE;IACtE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,EAC5B,8DAA8D;QAC9D,8CAA8C,CAAC,CAAA;IACjD,OAAO,EAAE,CAAA;AACX,CAAC;AAGD,SAAS,WAAW,CAAC,CAAM;IACzB,OAAO,IAAI,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC/B,IAAI,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;YAC9B,IAAI,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;gBAChC,YAAY,CAAA;AACpB,CAAC;AAGD,gEAAgE;AAChE,uEAAuE;AACvE,sEAAsE;AACtE,SAAS,SAAS,CAAC,CAAM;IACvB,oEAAoE;IACpE,oEAAoE;IACpE,+DAA+D;IAC/D,mEAAmE;IACnE,MAAM,EAAE,GAAG,IAAI,aAAK,EAAE,CAAA;IACtB,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAA;IACrC,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IACtB,OAAO,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAA;AAC/C,CAAC;AAGD,8DAA8D;AAC9D,qEAAqE;AACrE,sEAAsE;AACtE,yDAAyD;AACzD,SAAS,YAAY,CAAC,GAAQ,EAAE,IAAc,EAAE,CAAM;IACpD,MAAM,OAAO,GAAU,CAAC,CAAC,GAAG,CAAA;IAC5B,IAAI,GAAG,GAAQ,SAAS,CAAA;IAExB,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,IAAI,IAAI,KAAK,CAAC,EAAE,MAAM,IAAI,SAAS,KAAK,GAAG,EAAE,CAAC;YAC5C,GAAG,GAAG,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;QACxB,CAAC;IACH,CAAC;IAED,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,IAAI,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACpE,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CACjC,IAAI,KAAK,CAAC,EAAE,QAAQ,IAAI,IAAI,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;IAExE,MAAM,GAAG,GAAQ,MAAM,CAAC,KAAK,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,SAAS,KAAK,CAAC,CAAC,CAAC,CAAC;QAC1D,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;QAClB,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;IAExD,OAAO,SAAS,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,CAAA;AAC3D,CAAC;AAGD,SAAS,OAAO,CAAC,GAAQ,EAAE,IAAc,EAAE,CAAM;IAC/C,MAAM,KAAK,GAAwB,EAAE,CAAA;IACrC,MAAM,QAAQ,GAAa,EAAE,CAAA;IAC7B,MAAM,QAAQ,GAAa,CAAC,CAAC,YAAY,CAAA;IACzC,IAAI,MAAM,GAAQ,SAAS,CAAA;IAE3B,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC5C,MAAM,KAAK,GAAQ,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAE7B,mEAAmE;QACnE,oEAAoE;QACpE,0BAA0B;QAC1B,IAAI,IAAI,KAAK,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;YAC/B,IAAI,CAAC,GAAG,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,CAAC,EAAE,MAAM,EAC9B,6DAA6D;gBAC7D,iEAAiE;gBACjE,UAAU,CAAC,CAAA;YACb,SAAQ;QACV,CAAC;QAED,KAAK,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,CAAC,EAAE,KAAK,CAAC,CAAA;QAChD,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5B,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QACpB,CAAC;IACH,CAAC;IAED,MAAM,GAAG,GAAQ,CAAC,CAAC,MAAM,EAAE,EAAE,CAAA;IAC7B,IAAI,IAAI,IAAI,GAAG,EAAE,CAAC;QAChB,MAAM,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAA;IAC5C,CAAC;IAED,MAAM,GAAG,GAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,KAAK,EAAE,CAAA;IACtD,IAAI,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC;QACxB,GAAG,CAAC,QAAQ,GAAG,QAAQ,CAAA;IACzB,CAAC;IAED,sEAAsE;IACtE,oEAAoE;IACpE,gEAAgE;IAChE,IAAI,IAAI,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC;QACtB,GAAG,CAAC,oBAAoB,GAAG,KAAK,CAAA;QAChC,IAAI,IAAI,IAAI,MAAM,EAAE,CAAC;YACnB,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,EAClB,8DAA8D;gBAC9D,8DAA8D;gBAC9D,YAAY,CAAC,CAAA;QACjB,CAAC;IACH,CAAC;SACI,IAAI,IAAI,IAAI,MAAM,EAAE,CAAC;QACxB,gEAAgE;QAChE,uDAAuD;QACvD,GAAG,CAAC,oBAAoB,GAAG,MAAM,CAAA;IACnC,CAAC;IAED,OAAO,GAAG,CAAA;AACZ,CAAC;AAGD,SAAS,QAAQ,CAAC,GAAQ,EAAE,IAAc,EAAE,CAAM;IAChD,MAAM,GAAG,GAAU,CAAC,CAAC,GAAG,CAAA;IACxB,MAAM,GAAG,GAAQ,CAAC,CAAC,MAAM,EAAE,EAAE,CAAA;IAE7B,qEAAqE;IACrE,yCAAyC;IACzC,IAAI,IAAI,IAAI,GAAG,EAAE,CAAC;QAChB,MAAM,GAAG,GAAQ;YACf,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC;SACzC,CAAA;QACD,IAAI,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC;YACnB,GAAG,CAAC,QAAQ,GAAG,GAAG,CAAC,MAAM,CAAA;QAC3B,CAAC;QACD,OAAO,GAAG,CAAA;IACZ,CAAC;IAED,kEAAkE;IAClE,+DAA+D;IAC/D,OAAO;QACL,IAAI,EAAE,OAAO;QACb,WAAW,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAO,EAAE,CAAS,EAAE,EAAE,CAC1C,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACzC,KAAK,EAAE,KAAK;QACZ,QAAQ,EAAE,GAAG,CAAC,MAAM;KACrB,CAAA;AACH,CAAC;AAGD,4CAA4C;AAC5C,oBAA2B,GAAW,EAAE,OAAuB;IAC7D,MAAM,IAAI,GAAG,OAAO,IAAI,EAAE,CAAA;IAC1B,MAAM,KAAK,GAAG,IAAI,aAAK,CAAC,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAA;IAExE,qEAAqE;IACrE,oEAAoE;IACpE,qEAAqE;IACrE,+DAA+D;IAC/D,qEAAqE;IACrE,wCAAwC;IACxC,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAA;IACzC,MAAM,IAAI,GAAQ,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,CAAC,CAAA;IAE5E,uEAAuE;IACvE,sEAAsE;IACtE,gCAAgC;IAChC,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,IAAI,IAAI,KAAK,IAAI,EAAE,KAAK,EAAE,CAAC;QAChD,OAAO;YACL,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE;YACvC,MAAM,EAAE,CAAC,IAAA,oBAAc,EAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;SAChD,CAAA;IACH,CAAC;IAED,IAAI,IAAI,GAAQ,IAAI,CAAA;IACpB,MAAM,MAAM,GAAa,EAAE,CAAA;IAC3B,IAAI,IAAI,IAAI,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,IAAI,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,KAAK,GAAQ,IAAA,cAAQ,EAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,CAAA;QAC1C,IAAI,IAAI,IAAI,KAAK,EAAE,CAAC;YAClB,gEAAgE;YAChE,6DAA6D;YAC7D,iDAAiD;YACjD,MAAM,GAAG,GAAQ,IAAA,gBAAU,EAAC,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,CAAA;YACnE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;YAClB,OAAO;gBACL,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE;gBACvC,MAAM,EAAE,CAAC,IAAA,oBAAc,EAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;aAChD,CAAA;QACH,CAAC;QACD,IAAI,GAAG,KAAK,CAAA;QACZ,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAA;IAC/E,CAAC;IAED,MAAM,GAAG,GAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,CAAA;IAC9B,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,CAAA;IAEvC,OAAO;QACL,OAAO,EAAE,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI;QAC9C,MAAM,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,IAAI,EAAE;QACnC,KAAK,EAAE,GAAG,CAAC,KAAK;KACjB,CAAA;AACH,CAAC"}