@memoarchitect/tools 0.13.2 → 0.15.1

package/packages/tools/lib/validator/sysml-constraints.js

@@ -1,251 +0,0 @@
-// ─── SysML well-formedness constraints (Track B B4) ──────────────────────────
-//
-// The native reimplementation of the language's own well-formedness rules, as
-// distinct from MEMO's methodology rules. Three commitments shape it, and all
-// three come from the plan rather than from taste:
-//
-//   1. **Syside's codes, verbatim** (§5.1.2). `syside rule list` publishes 151
-//      stable kebab-case codes with descriptions. A project that suppresses
-//      `association-end-types` today must have that suppression keep working
-//      after the engine swap, which it only can if the code string is the same
-//      string. No parallel MEMO numbering is invented.
-//   2. **A specification clause per rule.** A constraint whose justification is
-//      "Syside checks this" is not reviewable. Each carries the KerML/SysML
-//      clause it implements, so a reader can check the rule against the source
-//      of truth rather than against another tool.
-//   3. **Scored, not claimed.** `memo conformance rules` reports every one of
-//      the 151 codes as implemented, not-yet, or out-of-scope-with-a-reason.
-//      Coverage is a number that can only go up by writing a rule.
-//
-// **Where this sits relative to the rest of validation.** MEMO's methodology
-// rules live in the ontology and are evaluated by `validator/rule-engine.ts`;
-// they answer "does this model follow MEMO's method?". These answer "is this
-// well-formed SysML?", which is the `sysml` diagnostic domain (§1), and they
-// are engine code by necessity — the language's rules are not MEMO's content to
-// declare. That is not a hole in the ontology-drives rule; it is the boundary
-// of it.
-//
-// **What limits coverage today, stated once.** Most of the 151 are predicates
-// over *resolved* semantics — inherited features, effective types, imported
-// namespaces. MEMO has no linker and no resolution core yet (B3, B5), so a rule
-// needing one cannot be written honestly, only faked. Those are classified
-// `blocked` with the reason, and the number of them is the real measure of how
-// much B3 and B5 gate B4.
-// ─────────────────────────────────────────────────────────────────────────────
-import { SYSIDE_RULES, SYSIDE_VERSION } from '../conformance/generated/syside-rules.js';
-import { activityNodeType, isControlNode } from '../model/activity-notation.js';
-export { SYSIDE_RULES, SYSIDE_VERSION };
-// ─── Implemented constraints ─────────────────────────────────────────────────
-//
-// Every one of these is a predicate over *declared* structure, which is the
-// whole set that can be written honestly before the resolution core exists.
-// They run over the canonical IR rather than over MEMO's projection, because
-// the IR conserves every declaration — imports, duplicates, unmapped members —
-// and the projection by design does not.
-/** Namespace path of a declaration: its identity path minus the last segment. */
-function namespaceOf(identityId) {
-    const hash = identityId.indexOf('#');
-    const colon = identityId.lastIndexOf(':');
-    const path = identityId.slice(hash + 1, colon);
-    const slash = path.lastIndexOf('/');
-    return `${identityId.slice(0, hash)}#${slash < 0 ? '' : path.slice(0, slash)}`;
-}
-/** True for a declaration sitting directly in a file's root namespace. */
-function isTopLevel(identityId) {
-    const hash = identityId.indexOf('#');
-    const colon = identityId.lastIndexOf(':');
-    return !identityId.slice(hash + 1, colon).includes('/');
-}
-function declarations(model) {
-    return model.sysmlIr?.elements ?? [];
-}
-export const IMPLEMENTED_CONSTRAINTS = [
-    {
-        code: 'import-explicit-visibility',
-        clause: 'KerML 8.2.3.5 — an Import declares its visibility',
-        appliesTo: 'Import',
-        check(model) {
-            const violations = [];
-            for (const declaration of declarations(model)) {
-                if (declaration.identity.metaclass !== 'ImportDeclaration')
-                    continue;
-                if (declaration.standardProperties.visibility !== undefined)
-                    continue;
-                violations.push({
-                    code: 'import-explicit-visibility',
-                    message: `Import of "${String(declaration.standardProperties.path ?? '?')}" has no explicit visibility; declare it \`private\` or \`public\`.`,
-                    elementId: declaration.identity.id,
-                    file: declaration.source.file,
-                });
-            }
-            return violations;
-        },
-    },
-    {
-        code: 'import-top-level-visibility',
-        clause: 'KerML 8.2.3.5 — a root-namespace Import is private',
-        appliesTo: 'Import',
-        check(model) {
-            const violations = [];
-            for (const declaration of declarations(model)) {
-                if (declaration.identity.metaclass !== 'ImportDeclaration')
-                    continue;
-                if (!isTopLevel(declaration.identity.id))
-                    continue;
-                if (declaration.standardProperties.visibility === 'private')
-                    continue;
-                violations.push({
-                    code: 'import-top-level-visibility',
-                    message: 'An import at the root of a file is private; it cannot re-export into the global namespace.',
-                    elementId: declaration.identity.id,
-                    file: declaration.source.file,
-                });
-            }
-            return violations;
-        },
-    },
-    {
-        code: 'namespace-distinguishability',
-        clause: 'KerML 8.2.3.3 — members of a Namespace are distinguishable by name',
-        appliesTo: 'Namespace',
-        check(model) {
-            const seen = new Map();
-            const violations = [];
-            for (const declaration of declarations(model)) {
-                const name = declaration.standardProperties.name;
-                if (typeof name !== 'string' || !name)
-                    continue;
-                const key = `${namespaceOf(declaration.identity.id)}::${name}`;
-                const first = seen.get(key);
-                if (first === undefined) {
-                    seen.set(key, declaration.identity.id);
-                    continue;
-                }
-                violations.push({
-                    code: 'namespace-distinguishability',
-                    message: `"${name}" is declared more than once in this namespace; the first is ${first}.`,
-                    elementId: declaration.identity.id,
-                    file: declaration.source.file,
-                });
-            }
-            return violations;
-        },
-    },
-    {
-        code: 'global-namespace-distinguishability',
-        clause: 'KerML 8.2.3.3 — root-namespace members are globally distinguishable',
-        appliesTo: 'Namespace',
-        // The IR records declarations, and a package is a namespace it recurses
-        // *into* rather than an element it records — so two files each opening
-        // `package Shared` are invisible here, which is the commonest form of
-        // this collision. Closing it means recording package declarations in
-        // the IR, which is an ingestion change, not a rule change.
-        limitation: 'Sees root-level members other than packages; two files declaring the same top-level package are not caught.',
-        check(model) {
-            const seen = new Map();
-            const violations = [];
-            for (const declaration of declarations(model)) {
-                const name = declaration.standardProperties.name;
-                if (typeof name !== 'string' || !name || !isTopLevel(declaration.identity.id))
-                    continue;
-                // Across files, not within one: the global namespace is the
-                // project's, so two files declaring the same root-level name
-                // collide even though neither file collides with itself.
-                const first = seen.get(name);
-                if (first === undefined) {
-                    seen.set(name, declaration.identity.id);
-                    continue;
-                }
-                violations.push({
-                    code: 'global-namespace-distinguishability',
-                    message: `"${name}" is declared at the root of more than one file; the first is ${first}.`,
-                    elementId: declaration.identity.id,
-                    file: declaration.source.file,
-                });
-            }
-            return violations;
-        },
-    },
-    {
-        code: 'control-node-owning-type',
-        clause: 'SysML 7.12.4.4 — a ControlNode is owned by an ActionDefinition or ActionUsage',
-        appliesTo: 'ControlNode',
-        check(model) {
-            const violations = [];
-            for (const element of Object.values(model.elements)) {
-                // Classification comes from the notation module, which resolves
-                // it against the generated metamodel — so this rule covers every
-                // present and future ControlNode subtype without naming any.
-                if (!isControlNode(element, model.registries))
-                    continue;
-                const owner = element.parentAction ? model.elements[element.parentAction] : undefined;
-                if (owner && activityNodeType(owner, model.registries) !== undefined)
-                    continue;
-                violations.push({
-                    code: 'control-node-owning-type',
-                    message: `Control node "${element.id}" is not owned by an action.`,
-                    elementId: element.id,
-                    file: element.file,
-                });
-            }
-            return violations;
-        },
-    },
-];
-// ─── Codes deliberately not implemented here ────────────────────────────────
-/**
- * The reasons, keyed by prefix rather than enumerated one by one.
- *
- * Most of the 151 fall into a handful of buckets, and a bucket with a reason is
- * more honest than 147 individual "not yet" entries that all mean the same
- * thing. `classifyConstraints` applies these to whatever is not implemented.
- */
-export const UNIMPLEMENTED_REASONS = [
-    {
-        match: /specialization|subsetting|redefinition|conjugation|-types?$|feature-typing|inherit/,
-        reason: 'blocked',
-        detail: 'Needs resolved types and inherited features — the B3 resolution core.',
-    },
-    {
-        match: /import|namespace|qualified|resolve|visibility/,
-        reason: 'blocked',
-        detail: 'Needs name resolution across a workspace index — B5.',
-    },
-    {
-        match: /expression|evaluat|operator|literal|argument|parameter/,
-        reason: 'blocked',
-        detail: 'Needs model-level expression evaluation — B3, and `Expression::evaluate` is unsized.',
-    },
-    {
-        match: /.*/,
-        reason: 'not-yet',
-        detail: 'Implementable on the current model; not written yet.',
-    },
-];
-/** Score the implemented set against the published checklist. */
-export function classifyConstraints(implemented = IMPLEMENTED_CONSTRAINTS, published = SYSIDE_RULES) {
-    const done = new Map(implemented.map(constraint => [constraint.code, constraint]));
-    const publishedCodes = new Set(published.map(rule => rule.code));
-    const unimplemented = [];
-    const byReason = { blocked: 0, 'out-of-scope': 0, 'not-yet': 0 };
-    for (const rule of published) {
-        if (done.has(rule.code))
-            continue;
-        const bucket = UNIMPLEMENTED_REASONS.find(candidate => candidate.match.test(rule.code));
-        unimplemented.push({ code: rule.code, reason: bucket.reason, detail: bucket.detail });
-        byReason[bucket.reason] += 1;
-    }
-    return {
-        sysideVersion: SYSIDE_VERSION,
-        total: published.length,
-        implemented: [...done.values()].filter(constraint => publishedCodes.has(constraint.code)),
-        unimplemented,
-        unpublished: [...done.keys()].filter(code => !publishedCodes.has(code)).sort(),
-        byReason,
-    };
-}
-/** Evaluate every implemented constraint against one model. */
-export function checkSysmlConstraints(model, constraints = IMPLEMENTED_CONSTRAINTS) {
-    return constraints.flatMap(constraint => constraint.check(model));
-}
-//# sourceMappingURL=sysml-constraints.js.map

package/packages/tools/lib/validator/sysml-constraints.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"sysml-constraints.js","sourceRoot":"","sources":["../../src/validator/sysml-constraints.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,8EAA8E;AAC9E,8EAA8E;AAC9E,mDAAmD;AACnD,EAAE;AACF,+EAA+E;AAC/E,4EAA4E;AAC5E,6EAA6E;AAC7E,+EAA+E;AAC/E,uDAAuD;AACvD,gFAAgF;AAChF,4EAA4E;AAC5E,+EAA+E;AAC/E,kDAAkD;AAClD,8EAA8E;AAC9E,6EAA6E;AAC7E,mEAAmE;AACnE,EAAE;AACF,6EAA6E;AAC7E,8EAA8E;AAC9E,6EAA6E;AAC7E,6EAA6E;AAC7E,gFAAgF;AAChF,8EAA8E;AAC9E,SAAS;AACT,EAAE;AACF,8EAA8E;AAC9E,4EAA4E;AAC5E,gFAAgF;AAChF,2EAA2E;AAC3E,+EAA+E;AAC/E,0BAA0B;AAC1B,gFAAgF;AAEhF,OAAO,EAAE,YAAY,EAAE,cAAc,EAAmB,MAAM,0CAA0C,CAAC;AAEzG,OAAO,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAC;AAEhF,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,CAAC;AAwCxC,gFAAgF;AAChF,EAAE;AACF,4EAA4E;AAC5E,4EAA4E;AAC5E,6EAA6E;AAC7E,+EAA+E;AAC/E,yCAAyC;AAEzC,iFAAiF;AACjF,SAAS,WAAW,CAAC,UAAkB;IACnC,MAAM,IAAI,GAAG,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACrC,MAAM,KAAK,GAAG,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IAC1C,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;IAC/C,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IACpC,OAAO,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC;AACnF,CAAC;AAED,0EAA0E;AAC1E,SAAS,UAAU,CAAC,UAAkB;IAClC,MAAM,IAAI,GAAG,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACrC,MAAM,KAAK,GAAG,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IAC1C,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;AAC5D,CAAC;AAED,SAAS,YAAY,CAAC,KAAmB;IACrC,OAAO,KAAK,CAAC,OAAO,EAAE,QAAQ,IAAI,EAAE,CAAC;AACzC,CAAC;AAED,MAAM,CAAC,MAAM,uBAAuB,GAA+B;IAC/D;QACI,IAAI,EAAE,4BAA4B;QAClC,MAAM,EAAE,mDAAmD;QAC3D,SAAS,EAAE,QAAQ;QACnB,KAAK,CAAC,KAAK;YACP,MAAM,UAAU,GAA0B,EAAE,CAAC;YAC7C,KAAK,MAAM,WAAW,IAAI,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC5C,IAAI,WAAW,CAAC,QAAQ,CAAC,SAAS,KAAK,mBAAmB;oBAAE,SAAS;gBACrE,IAAI,WAAW,CAAC,kBAAkB,CAAC,UAAU,KAAK,SAAS;oBAAE,SAAS;gBACtE,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,4BAA4B;oBAClC,OAAO,EAAE,cAAc,MAAM,CAAC,WAAW,CAAC,kBAAkB,CAAC,IAAI,IAAI,GAAG,CAAC,qEAAqE;oBAC9I,SAAS,EAAE,WAAW,CAAC,QAAQ,CAAC,EAAE;oBAClC,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC,IAAI;iBAChC,CAAC,CAAC;YACP,CAAC;YACD,OAAO,UAAU,CAAC;QACtB,CAAC;KACJ;IACD;QACI,IAAI,EAAE,6BAA6B;QACnC,MAAM,EAAE,oDAAoD;QAC5D,SAAS,EAAE,QAAQ;QACnB,KAAK,CAAC,KAAK;YACP,MAAM,UAAU,GAA0B,EAAE,CAAC;YAC7C,KAAK,MAAM,WAAW,IAAI,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC5C,IAAI,WAAW,CAAC,QAAQ,CAAC,SAAS,KAAK,mBAAmB;oBAAE,SAAS;gBACrE,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAAE,SAAS;gBACnD,IAAI,WAAW,CAAC,kBAAkB,CAAC,UAAU,KAAK,SAAS;oBAAE,SAAS;gBACtE,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,6BAA6B;oBACnC,OAAO,EAAE,4FAA4F;oBACrG,SAAS,EAAE,WAAW,CAAC,QAAQ,CAAC,EAAE;oBAClC,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC,IAAI;iBAChC,CAAC,CAAC;YACP,CAAC;YACD,OAAO,UAAU,CAAC;QACtB,CAAC;KACJ;IACD;QACI,IAAI,EAAE,8BAA8B;QACpC,MAAM,EAAE,oEAAoE;QAC5E,SAAS,EAAE,WAAW;QACtB,KAAK,CAAC,KAAK;YACP,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;YACvC,MAAM,UAAU,GAA0B,EAAE,CAAC;YAC7C,KAAK,MAAM,WAAW,IAAI,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC5C,MAAM,IAAI,GAAG,WAAW,CAAC,kBAAkB,CAAC,IAAI,CAAC;gBACjD,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,IAAI;oBAAE,SAAS;gBAChD,MAAM,GAAG,GAAG,GAAG,WAAW,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC;gBAC/D,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC5B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;oBACtB,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;oBACvC,SAAS;gBACb,CAAC;gBACD,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,8BAA8B;oBACpC,OAAO,EAAE,IAAI,IAAI,gEAAgE,KAAK,GAAG;oBACzF,SAAS,EAAE,WAAW,CAAC,QAAQ,CAAC,EAAE;oBAClC,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC,IAAI;iBAChC,CAAC,CAAC;YACP,CAAC;YACD,OAAO,UAAU,CAAC;QACtB,CAAC;KACJ;IACD;QACI,IAAI,EAAE,qCAAqC;QAC3C,MAAM,EAAE,qEAAqE;QAC7E,SAAS,EAAE,WAAW;QACtB,wEAAwE;QACxE,uEAAuE;QACvE,sEAAsE;QACtE,qEAAqE;QACrE,2DAA2D;QAC3D,UAAU,EAAE,6GAA6G;QACzH,KAAK,CAAC,KAAK;YACP,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;YACvC,MAAM,UAAU,GAA0B,EAAE,CAAC;YAC7C,KAAK,MAAM,WAAW,IAAI,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC5C,MAAM,IAAI,GAAG,WAAW,CAAC,kBAAkB,CAAC,IAAI,CAAC;gBACjD,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAAE,SAAS;gBACxF,4DAA4D;gBAC5D,6DAA6D;gBAC7D,yDAAyD;gBACzD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAC7B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;oBACtB,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;oBACxC,SAAS;gBACb,CAAC;gBACD,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,qCAAqC;oBAC3C,OAAO,EAAE,IAAI,IAAI,iEAAiE,KAAK,GAAG;oBAC1F,SAAS,EAAE,WAAW,CAAC,QAAQ,CAAC,EAAE;oBAClC,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC,IAAI;iBAChC,CAAC,CAAC;YACP,CAAC;YACD,OAAO,UAAU,CAAC;QACtB,CAAC;KACJ;IACD;QACI,IAAI,EAAE,0BAA0B;QAChC,MAAM,EAAE,+EAA+E;QACvF,SAAS,EAAE,aAAa;QACxB,KAAK,CAAC,KAAK;YACP,MAAM,UAAU,GAA0B,EAAE,CAAC;YAC7C,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAClD,gEAAgE;gBAChE,iEAAiE;gBACjE,6DAA6D;gBAC7D,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,KAAK,CAAC,UAAU,CAAC;oBAAE,SAAS;gBACxD,MAAM,KAAK,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;gBACtF,IAAI,KAAK,IAAI,gBAAgB,CAAC,KAAK,EAAE,KAAK,CAAC,UAAU,CAAC,KAAK,SAAS;oBAAE,SAAS;gBAC/E,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,0BAA0B;oBAChC,OAAO,EAAE,iBAAiB,OAAO,CAAC,EAAE,8BAA8B;oBAClE,SAAS,EAAE,OAAO,CAAC,EAAE;oBACrB,IAAI,EAAE,OAAO,CAAC,IAAI;iBACrB,CAAC,CAAC;YACP,CAAC;YACD,OAAO,UAAU,CAAC;QACtB,CAAC;KACJ;CACJ,CAAC;AAEF,+EAA+E;AAE/E;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAA8E;IAC5G;QACI,KAAK,EAAE,oFAAoF;QAC3F,MAAM,EAAE,SAAS;QACjB,MAAM,EAAE,uEAAuE;KAClF;IACD;QACI,KAAK,EAAE,+CAA+C;QACtD,MAAM,EAAE,SAAS;QACjB,MAAM,EAAE,sDAAsD;KACjE;IACD;QACI,KAAK,EAAE,wDAAwD;QAC/D,MAAM,EAAE,SAAS;QACjB,MAAM,EAAE,sFAAsF;KACjG;IACD;QACI,KAAK,EAAE,IAAI;QACX,MAAM,EAAE,SAAS;QACjB,MAAM,EAAE,sDAAsD;KACjE;CACJ,CAAC;AAYF,iEAAiE;AACjE,MAAM,UAAU,mBAAmB,CAC/B,cAA0C,uBAAuB,EACjE,YAAmC,YAAY;IAE/C,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;IACnF,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACjE,MAAM,aAAa,GAA8B,EAAE,CAAC;IACpD,MAAM,QAAQ,GAAwC,EAAE,OAAO,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IAEtG,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC3B,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,SAAS;QAClC,MAAM,MAAM,GAAG,qBAAqB,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAE,CAAC;QACzF,aAAa,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;QACtF,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC;IAED,OAAO;QACH,aAAa,EAAE,cAAc;QAC7B,KAAK,EAAE,SAAS,CAAC,MAAM;QACvB,WAAW,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACzF,aAAa;QACb,WAAW,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE;QAC9E,QAAQ;KACX,CAAC;AACN,CAAC;AAED,+DAA+D;AAC/D,MAAM,UAAU,qBAAqB,CACjC,KAAmB,EACnB,cAA0C,uBAAuB;IAEjE,OAAO,WAAW,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;AACtE,CAAC"}