@stevenvo780/st-lang 0.3.0

package/dist/profiles/classical/propositional.js

@@ -0,0 +1,597 @@
+"use strict";
+// ============================================================
+// ST Classical Propositional — Motor completo
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ClassicalPropositional = void 0;
+exports.formulaToString = formulaToString;
+// --- Utilidades de fórmulas ---
+function collectAtoms(f) {
+    const atoms = new Set();
+    function walk(node) {
+        switch (node.kind) {
+            case 'atom':
+                if (node.name)
+                    atoms.add(node.name);
+                break;
+            case 'not':
+                walk(node.args[0]);
+                break;
+            case 'and':
+            case 'or':
+            case 'implies':
+            case 'biconditional':
+                walk(node.args[0]);
+                walk(node.args[1]);
+                break;
+        }
+    }
+    walk(f);
+    return atoms;
+}
+function evaluate(f, v) {
+    switch (f.kind) {
+        case 'atom':
+            return v[f.name] ?? false;
+        case 'not':
+            return !evaluate(f.args[0], v);
+        case 'and':
+            return evaluate(f.args[0], v) && evaluate(f.args[1], v);
+        case 'or':
+            return evaluate(f.args[0], v) || evaluate(f.args[1], v);
+        case 'implies':
+            return !evaluate(f.args[0], v) || evaluate(f.args[1], v);
+        case 'biconditional':
+            return evaluate(f.args[0], v) === evaluate(f.args[1], v);
+        default:
+            return false;
+    }
+}
+function generateValuations(atoms) {
+    const n = atoms.length;
+    const total = 1 << n;
+    const valuations = [];
+    for (let i = 0; i < total; i++) {
+        const v = {};
+        for (let j = 0; j < n; j++) {
+            v[atoms[j]] = Boolean((i >> (n - 1 - j)) & 1);
+        }
+        valuations.push(v);
+    }
+    return valuations;
+}
+function formulaToString(f) {
+    switch (f.kind) {
+        case 'atom': return f.name || '?';
+        case 'not': {
+            const inner = f.args[0];
+            if (inner.kind === 'atom')
+                return `!${formulaToString(inner)}`;
+            return `!(${formulaToString(inner)})`;
+        }
+        case 'and': return `(${formulaToString(f.args[0])} & ${formulaToString(f.args[1])})`;
+        case 'or': return `(${formulaToString(f.args[0])} | ${formulaToString(f.args[1])})`;
+        case 'implies': return `(${formulaToString(f.args[0])} -> ${formulaToString(f.args[1])})`;
+        case 'biconditional': return `(${formulaToString(f.args[0])} <-> ${formulaToString(f.args[1])})`;
+        default: return '?';
+    }
+}
+function formulasEqual(a, b) {
+    if (a.kind !== b.kind)
+        return false;
+    if (a.kind === 'atom' && b.kind === 'atom')
+        return a.name === b.name;
+    if (a.args && b.args) {
+        if (a.args.length !== b.args.length)
+            return false;
+        return a.args.every((arg, i) => formulasEqual(arg, b.args[i]));
+    }
+    return false;
+}
+function formulaHash(f) {
+    return formulaToString(f);
+}
+function tryDerive(goal, theory, premiseNames) {
+    const state = {
+        known: new Map(),
+        steps: [],
+        stepCount: 0,
+    };
+    // Cargar premisas
+    for (const name of premiseNames) {
+        const f = theory.axioms.get(name) || theory.theorems.get(name);
+        if (f) {
+            state.stepCount++;
+            state.steps.push({
+                stepNumber: state.stepCount,
+                formula: f,
+                justification: `Premisa (${name})`,
+                premises: [],
+            });
+            state.known.set(formulaHash(f), f);
+        }
+    }
+    // Intentar derivar con BFS aplicando reglas
+    const maxIterations = 200;
+    let changed = true;
+    let iterations = 0;
+    while (changed && iterations < maxIterations) {
+        changed = false;
+        iterations++;
+        const currentFormulas = Array.from(state.known.values());
+        for (const f1 of currentFormulas) {
+            // Check if goal already found
+            if (state.known.has(formulaHash(goal)))
+                break;
+            for (const f2 of currentFormulas) {
+                if (state.known.has(formulaHash(goal)))
+                    break;
+                // Modus Ponens: de A y (A -> B), derivar B
+                if (f2.kind === 'implies' && formulasEqual(f2.args[0], f1)) {
+                    const conclusion = f2.args[1];
+                    const hash = formulaHash(conclusion);
+                    if (!state.known.has(hash)) {
+                        state.stepCount++;
+                        const s1 = findStep(state.steps, f1);
+                        const s2 = findStep(state.steps, f2);
+                        state.steps.push({
+                            stepNumber: state.stepCount,
+                            formula: conclusion,
+                            justification: 'Modus Ponens',
+                            premises: [s1, s2],
+                        });
+                        state.known.set(hash, conclusion);
+                        changed = true;
+                    }
+                }
+                // Modus Ponens inverso: de (A -> B) y A, derivar B
+                if (f1.kind === 'implies' && formulasEqual(f1.args[0], f2)) {
+                    const conclusion = f1.args[1];
+                    const hash = formulaHash(conclusion);
+                    if (!state.known.has(hash)) {
+                        state.stepCount++;
+                        const s1 = findStep(state.steps, f1);
+                        const s2 = findStep(state.steps, f2);
+                        state.steps.push({
+                            stepNumber: state.stepCount,
+                            formula: conclusion,
+                            justification: 'Modus Ponens',
+                            premises: [s1, s2],
+                        });
+                        state.known.set(hash, conclusion);
+                        changed = true;
+                    }
+                }
+                // Modus Tollens: de !B y (A -> B), derivar !A
+                if (f1.kind === 'not' && f2.kind === 'implies' &&
+                    formulasEqual(f1.args[0], f2.args[1])) {
+                    const conclusion = { kind: 'not', args: [f2.args[0]] };
+                    const hash = formulaHash(conclusion);
+                    if (!state.known.has(hash)) {
+                        state.stepCount++;
+                        state.steps.push({
+                            stepNumber: state.stepCount,
+                            formula: conclusion,
+                            justification: 'Modus Tollens',
+                            premises: [findStep(state.steps, f1), findStep(state.steps, f2)],
+                        });
+                        state.known.set(hash, conclusion);
+                        changed = true;
+                    }
+                }
+                // Conjunction Introduction: de A y B, derivar A & B
+                if (f1 !== f2) {
+                    const conj = { kind: 'and', args: [f1, f2] };
+                    const hash = formulaHash(conj);
+                    if (!state.known.has(hash) && formulasEqual(conj, goal)) {
+                        state.stepCount++;
+                        state.steps.push({
+                            stepNumber: state.stepCount,
+                            formula: conj,
+                            justification: 'Introduccion de conjuncion',
+                            premises: [findStep(state.steps, f1), findStep(state.steps, f2)],
+                        });
+                        state.known.set(hash, conj);
+                        changed = true;
+                    }
+                }
+            }
+            // Conjunction Elimination: de A & B, derivar A y B
+            if (f1.kind === 'and') {
+                for (const sub of f1.args) {
+                    const hash = formulaHash(sub);
+                    if (!state.known.has(hash)) {
+                        state.stepCount++;
+                        state.steps.push({
+                            stepNumber: state.stepCount,
+                            formula: sub,
+                            justification: 'Eliminacion de conjuncion',
+                            premises: [findStep(state.steps, f1)],
+                        });
+                        state.known.set(hash, sub);
+                        changed = true;
+                    }
+                }
+            }
+            // Disjunction Introduction: de A, derivar A | B (si A|B es la meta)
+            if (goal.kind === 'or') {
+                if (formulasEqual(f1, goal.args[0]) || formulasEqual(f1, goal.args[1])) {
+                    const hash = formulaHash(goal);
+                    if (!state.known.has(hash)) {
+                        state.stepCount++;
+                        state.steps.push({
+                            stepNumber: state.stepCount,
+                            formula: goal,
+                            justification: 'Introduccion de disyuncion',
+                            premises: [findStep(state.steps, f1)],
+                        });
+                        state.known.set(hash, goal);
+                        changed = true;
+                    }
+                }
+            }
+            // Double Negation Elimination: de !!A, derivar A
+            if (f1.kind === 'not' && f1.args[0].kind === 'not') {
+                const inner = f1.args[0].args[0];
+                const hash = formulaHash(inner);
+                if (!state.known.has(hash)) {
+                    state.stepCount++;
+                    state.steps.push({
+                        stepNumber: state.stepCount,
+                        formula: inner,
+                        justification: 'Doble negacion',
+                        premises: [findStep(state.steps, f1)],
+                    });
+                    state.known.set(hash, inner);
+                    changed = true;
+                }
+            }
+            // Contraposition: de A->B, derivar !B->!A
+            if (f1.kind === 'implies') {
+                const contra = {
+                    kind: 'implies',
+                    args: [
+                        { kind: 'not', args: [f1.args[1]] },
+                        { kind: 'not', args: [f1.args[0]] },
+                    ]
+                };
+                const hash = formulaHash(contra);
+                if (!state.known.has(hash)) {
+                    state.stepCount++;
+                    state.steps.push({
+                        stepNumber: state.stepCount,
+                        formula: contra,
+                        justification: 'Contraposicion',
+                        premises: [findStep(state.steps, f1)],
+                    });
+                    state.known.set(hash, contra);
+                    changed = true;
+                }
+            }
+            // Biconditional Elimination: de A<->B, derivar A->B y B->A
+            if (f1.kind === 'biconditional') {
+                const ab = { kind: 'implies', args: [f1.args[0], f1.args[1]] };
+                const ba = { kind: 'implies', args: [f1.args[1], f1.args[0]] };
+                for (const impl of [ab, ba]) {
+                    const hash = formulaHash(impl);
+                    if (!state.known.has(hash)) {
+                        state.stepCount++;
+                        state.steps.push({
+                            stepNumber: state.stepCount,
+                            formula: impl,
+                            justification: 'Eliminacion de bicondicional',
+                            premises: [findStep(state.steps, f1)],
+                        });
+                        state.known.set(hash, impl);
+                        changed = true;
+                    }
+                }
+            }
+        }
+    }
+    if (state.known.has(formulaHash(goal))) {
+        // Filtrar solo pasos relevantes para la derivación
+        const relevantSteps = traceBack(state.steps, goal);
+        return {
+            goal,
+            steps: relevantSteps,
+            status: 'complete',
+            derivedFrom: premiseNames,
+        };
+    }
+    // Fallback: verificar semánticamente
+    const allAxiomFormulas = premiseNames
+        .map(n => theory.axioms.get(n) || theory.theorems.get(n))
+        .filter((f) => f !== undefined);
+    if (allAxiomFormulas.length > 0) {
+        const atoms = new Set();
+        for (const f of allAxiomFormulas)
+            collectAtoms(f).forEach(a => atoms.add(a));
+        collectAtoms(goal).forEach(a => atoms.add(a));
+        const atomList = Array.from(atoms);
+        const valuations = generateValuations(atomList);
+        let semanticallyValid = true;
+        for (const v of valuations) {
+            const premisesTrue = allAxiomFormulas.every(f => evaluate(f, v));
+            if (premisesTrue && !evaluate(goal, v)) {
+                semanticallyValid = false;
+                break;
+            }
+        }
+        if (semanticallyValid) {
+            return {
+                goal,
+                steps: state.steps,
+                status: 'complete',
+                derivedFrom: premiseNames,
+            };
+        }
+    }
+    return null;
+}
+function findStep(steps, formula) {
+    const hash = formulaHash(formula);
+    for (const s of steps) {
+        if (formulaHash(s.formula) === hash)
+            return s.stepNumber;
+    }
+    return 0;
+}
+function traceBack(steps, goal) {
+    const goalHash = formulaHash(goal);
+    const needed = new Set();
+    const goalStep = steps.find(s => formulaHash(s.formula) === goalHash);
+    if (!goalStep)
+        return steps;
+    function trace(stepNum) {
+        if (needed.has(stepNum))
+            return;
+        needed.add(stepNum);
+        const step = steps.find(s => s.stepNumber === stepNum);
+        if (step) {
+            for (const p of step.premises) {
+                trace(p);
+            }
+        }
+    }
+    trace(goalStep.stepNumber);
+    return steps.filter(s => needed.has(s.stepNumber));
+}
+// --- Perfil Classical Propositional ---
+class ClassicalPropositional {
+    name = 'classical.propositional';
+    description = 'Logica clasica proposicional con tabla de verdad, validez, satisfacibilidad, derivacion y contramodelo';
+    checkWellFormed(formula) {
+        const diags = [];
+        function check(f) {
+            switch (f.kind) {
+                case 'atom':
+                    if (!f.name) {
+                        diags.push({ severity: 'error', message: 'Atomo sin nombre' });
+                    }
+                    break;
+                case 'not':
+                    if (!f.args || f.args.length !== 1) {
+                        diags.push({ severity: 'error', message: 'Negacion requiere exactamente un argumento' });
+                    }
+                    else {
+                        check(f.args[0]);
+                    }
+                    break;
+                case 'and':
+                case 'or':
+                case 'implies':
+                case 'biconditional':
+                    if (!f.args || f.args.length !== 2) {
+                        diags.push({ severity: 'error', message: `${f.kind} requiere exactamente dos argumentos` });
+                    }
+                    else {
+                        check(f.args[0]);
+                        check(f.args[1]);
+                    }
+                    break;
+                case 'forall':
+                case 'exists':
+                case 'predicate':
+                case 'equals':
+                case 'modal_necessity':
+                case 'modal_possibility':
+                    diags.push({
+                        severity: 'error',
+                        message: `'${f.kind}' no esta soportado en logica proposicional clasica`,
+                    });
+                    break;
+            }
+        }
+        check(formula);
+        return diags;
+    }
+    checkValid(formula) {
+        const wf = this.checkWellFormed(formula);
+        if (wf.length > 0) {
+            return { status: 'error', diagnostics: wf, formula };
+        }
+        const tt = this.truthTable(formula);
+        if (tt.isTautology) {
+            return {
+                status: 'valid',
+                output: `${formulaToString(formula)} es VALIDA (tautologia)`,
+                truthTable: tt,
+                diagnostics: [],
+                formula,
+            };
+        }
+        else {
+            // Encontrar contramodelo
+            const cm = tt.rows.find(r => !r.result);
+            return {
+                status: 'invalid',
+                output: `${formulaToString(formula)} NO es valida`,
+                truthTable: tt,
+                model: cm ? { type: 'propositional', valuation: cm.valuation } : undefined,
+                diagnostics: [],
+                formula,
+            };
+        }
+    }
+    checkSatisfiable(formula) {
+        const wf = this.checkWellFormed(formula);
+        if (wf.length > 0) {
+            return { status: 'error', diagnostics: wf, formula };
+        }
+        const tt = this.truthTable(formula);
+        if (tt.isSatisfiable) {
+            const sat = tt.rows.find(r => r.result);
+            return {
+                status: 'satisfiable',
+                output: `${formulaToString(formula)} es SATISFACIBLE`,
+                model: sat ? { type: 'propositional', valuation: sat.valuation } : undefined,
+                truthTable: tt,
+                diagnostics: [],
+                formula,
+            };
+        }
+        else {
+            return {
+                status: 'unsatisfiable',
+                output: `${formulaToString(formula)} es INSATISFACIBLE (contradiccion)`,
+                truthTable: tt,
+                diagnostics: [],
+                formula,
+            };
+        }
+    }
+    prove(goal, theory) {
+        const wf = this.checkWellFormed(goal);
+        if (wf.length > 0) {
+            return { status: 'error', diagnostics: wf, formula: goal };
+        }
+        const premiseNames = Array.from(theory.axioms.keys());
+        const proof = tryDerive(goal, theory, premiseNames);
+        if (proof && proof.status === 'complete') {
+            return {
+                status: 'provable',
+                output: `${formulaToString(goal)} es DEMOSTRABLE desde la teoria`,
+                proof,
+                diagnostics: [],
+                formula: goal,
+            };
+        }
+        return {
+            status: 'refutable',
+            output: `${formulaToString(goal)} NO es demostrable desde la teoria dada`,
+            diagnostics: [],
+            formula: goal,
+        };
+    }
+    derive(goal, premises, theory) {
+        const wf = this.checkWellFormed(goal);
+        if (wf.length > 0) {
+            return { status: 'error', diagnostics: wf, formula: goal };
+        }
+        const proof = tryDerive(goal, theory, premises);
+        if (proof && proof.status === 'complete') {
+            return {
+                status: 'provable',
+                output: `${formulaToString(goal)} derivado exitosamente`,
+                proof,
+                diagnostics: [],
+                formula: goal,
+            };
+        }
+        return {
+            status: 'refutable',
+            output: `No se puede derivar ${formulaToString(goal)} desde las premisas dadas`,
+            diagnostics: [],
+            formula: goal,
+        };
+    }
+    countermodel(formula) {
+        const wf = this.checkWellFormed(formula);
+        if (wf.length > 0) {
+            return { status: 'error', diagnostics: wf, formula };
+        }
+        const atoms = Array.from(collectAtoms(formula));
+        const valuations = generateValuations(atoms);
+        for (const v of valuations) {
+            if (!evaluate(formula, v)) {
+                return {
+                    status: 'invalid',
+                    output: `Contramodelo encontrado para ${formulaToString(formula)}`,
+                    model: { type: 'propositional', valuation: v },
+                    diagnostics: [],
+                    formula,
+                };
+            }
+        }
+        return {
+            status: 'valid',
+            output: `${formulaToString(formula)} es tautologia, no hay contramodelo`,
+            diagnostics: [],
+            formula,
+        };
+    }
+    explain(formula) {
+        const wf = this.checkWellFormed(formula);
+        if (wf.length > 0) {
+            return { status: 'error', diagnostics: wf, formula };
+        }
+        const tt = this.truthTable(formula);
+        let explanation = `Formula: ${formulaToString(formula)}\n`;
+        explanation += `Variables: ${tt.variables.join(', ')}\n`;
+        explanation += `Tautologia: ${tt.isTautology ? 'si' : 'no'}\n`;
+        explanation += `Contradiccion: ${tt.isContradiction ? 'si' : 'no'}\n`;
+        explanation += `Satisfacible: ${tt.isSatisfiable ? 'si' : 'no'}\n`;
+        explanation += `Total valuaciones: ${tt.rows.length}\n`;
+        explanation += `Verdaderas: ${tt.rows.filter(r => r.result).length}\n`;
+        explanation += `Falsas: ${tt.rows.filter(r => !r.result).length}\n`;
+        return {
+            status: tt.isTautology ? 'valid' : tt.isSatisfiable ? 'satisfiable' : 'unsatisfiable',
+            output: explanation,
+            truthTable: tt,
+            diagnostics: [],
+            formula,
+        };
+    }
+    truthTable(formula) {
+        const atoms = Array.from(collectAtoms(formula)).sort();
+        const valuations = generateValuations(atoms);
+        const rows = valuations.map(v => ({
+            valuation: v,
+            result: evaluate(formula, v),
+        }));
+        return {
+            variables: atoms,
+            rows,
+            isTautology: rows.every(r => r.result),
+            isContradiction: rows.every(r => !r.result),
+            isSatisfiable: rows.some(r => r.result),
+        };
+    }
+    checkEquivalent(a, b) {
+        const wfA = this.checkWellFormed(a);
+        const wfB = this.checkWellFormed(b);
+        if (wfA.length > 0 || wfB.length > 0) {
+            return { status: 'error', diagnostics: [...wfA, ...wfB] };
+        }
+        const biconditional = { kind: 'biconditional', args: [a, b] };
+        const tt = this.truthTable(biconditional);
+        if (tt.isTautology) {
+            return {
+                status: 'valid',
+                output: `${formulaToString(a)} y ${formulaToString(b)} son EQUIVALENTES`,
+                truthTable: tt,
+                diagnostics: [],
+            };
+        }
+        const cm = tt.rows.find(r => !r.result);
+        return {
+            status: 'invalid',
+            output: `${formulaToString(a)} y ${formulaToString(b)} NO son equivalentes`,
+            model: cm ? { type: 'propositional', valuation: cm.valuation } : undefined,
+            diagnostics: [],
+        };
+    }
+}
+exports.ClassicalPropositional = ClassicalPropositional;
+//# sourceMappingURL=propositional.js.map

package/dist/profiles/classical/propositional.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"propositional.js","sourceRoot":"","sources":["../../../src/profiles/classical/propositional.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,8CAA8C;AAC9C,+DAA+D;;;AAiE/D,0CAcC;AAxED,iCAAiC;AAEjC,SAAS,YAAY,CAAC,CAAU;IAC9B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,SAAS,IAAI,CAAC,IAAa;QACzB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,MAAM;gBACT,IAAI,IAAI,CAAC,IAAI;oBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACpC,MAAM;YACR,KAAK,KAAK;gBACR,IAAI,CAAC,IAAI,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,CAAC;gBACpB,MAAM;YACR,KAAK,KAAK,CAAC;YACX,KAAK,IAAI,CAAC;YACV,KAAK,SAAS,CAAC;YACf,KAAK,eAAe;gBAClB,IAAI,CAAC,IAAI,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,CAAC;gBACpB,IAAI,CAAC,IAAI,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,CAAC;gBACpB,MAAM;QACV,CAAC;IACH,CAAC;IACD,IAAI,CAAC,CAAC,CAAC,CAAC;IACR,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,QAAQ,CAAC,CAAU,EAAE,CAAY;IACxC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,MAAM;YACT,OAAO,CAAC,CAAC,CAAC,CAAC,IAAK,CAAC,IAAI,KAAK,CAAC;QAC7B,KAAK,KAAK;YACR,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAClC,KAAK,KAAK;YACR,OAAO,QAAQ,CAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5D,KAAK,IAAI;YACP,OAAO,QAAQ,CAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5D,KAAK,SAAS;YACZ,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7D,KAAK,eAAe;YAClB,OAAO,QAAQ,CAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7D;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAe;IACzC,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC;IACvB,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC;IACrB,MAAM,UAAU,GAAgB,EAAE,CAAC;IACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/B,MAAM,CAAC,GAAc,EAAE,CAAC;QACxB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAChD,CAAC;QACD,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrB,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAgB,eAAe,CAAC,CAAU;IACxC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC;QAClC,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,KAAK,GAAG,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC;YACzB,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;gBAAE,OAAO,IAAI,eAAe,CAAC,KAAK,CAAC,EAAE,CAAC;YAC/D,OAAO,KAAK,eAAe,CAAC,KAAK,CAAC,GAAG,CAAC;QACxC,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,OAAO,IAAI,eAAe,CAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,MAAM,eAAe,CAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACvF,KAAK,IAAI,CAAC,CAAC,OAAO,IAAI,eAAe,CAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,MAAM,eAAe,CAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACtF,KAAK,SAAS,CAAC,CAAC,OAAO,IAAI,eAAe,CAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,OAAO,eAAe,CAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QAC5F,KAAK,eAAe,CAAC,CAAC,OAAO,IAAI,eAAe,CAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,eAAe,CAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACnG,OAAO,CAAC,CAAC,OAAO,GAAG,CAAC;IACtB,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,CAAU,EAAE,CAAU;IAC3C,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACpC,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC;IACrE,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;QACrB,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QAClD,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,EAAE,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAClE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAUD,SAAS,WAAW,CAAC,CAAU;IAC7B,OAAO,eAAe,CAAC,CAAC,CAAC,CAAC;AAC5B,CAAC;AAED,SAAS,SAAS,CAAC,IAAa,EAAE,MAAc,EAAE,YAAsB;IACtE,MAAM,KAAK,GAAoB;QAC7B,KAAK,EAAE,IAAI,GAAG,EAAE;QAChB,KAAK,EAAE,EAAE;QACT,SAAS,EAAE,CAAC;KACb,CAAC;IAEF,kBAAkB;IAClB,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;QAChC,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC/D,IAAI,CAAC,EAAE,CAAC;YACN,KAAK,CAAC,SAAS,EAAE,CAAC;YAClB,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC;gBACf,UAAU,EAAE,KAAK,CAAC,SAAS;gBAC3B,OAAO,EAAE,CAAC;gBACV,aAAa,EAAE,YAAY,IAAI,GAAG;gBAClC,QAAQ,EAAE,EAAE;aACb,CAAC,CAAC;YACH,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACrC,CAAC;IACH,CAAC;IAED,4CAA4C;IAC5C,MAAM,aAAa,GAAG,GAAG,CAAC;IAC1B,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,IAAI,UAAU,GAAG,CAAC,CAAC;IAEnB,OAAO,OAAO,IAAI,UAAU,GAAG,aAAa,EAAE,CAAC;QAC7C,OAAO,GAAG,KAAK,CAAC;QAChB,UAAU,EAAE,CAAC;QACb,MAAM,eAAe,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;QAEzD,KAAK,MAAM,EAAE,IAAI,eAAe,EAAE,CAAC;YACjC,8BAA8B;YAC9B,IAAI,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;gBAAE,MAAM;YAE9C,KAAK,MAAM,EAAE,IAAI,eAAe,EAAE,CAAC;gBACjC,IAAI,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;oBAAE,MAAM;gBAE9C,2CAA2C;gBAC3C,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,IAAI,aAAa,CAAC,EAAE,CAAC,IAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;oBAC5D,MAAM,UAAU,GAAG,EAAE,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC;oBAC/B,MAAM,IAAI,GAAG,WAAW,CAAC,UAAU,CAAC,CAAC;oBACrC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;wBAC3B,KAAK,CAAC,SAAS,EAAE,CAAC;wBAClB,MAAM,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;wBACrC,MAAM,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;wBACrC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC;4BACf,UAAU,EAAE,KAAK,CAAC,SAAS;4BAC3B,OAAO,EAAE,UAAU;4BACnB,aAAa,EAAE,cAAc;4BAC7B,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC;yBACnB,CAAC,CAAC;wBACH,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;wBAClC,OAAO,GAAG,IAAI,CAAC;oBACjB,CAAC;gBACH,CAAC;gBAED,mDAAmD;gBACnD,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,IAAI,aAAa,CAAC,EAAE,CAAC,IAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;oBAC5D,MAAM,UAAU,GAAG,EAAE,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC;oBAC/B,MAAM,IAAI,GAAG,WAAW,CAAC,UAAU,CAAC,CAAC;oBACrC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;wBAC3B,KAAK,CAAC,SAAS,EAAE,CAAC;wBAClB,MAAM,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;wBACrC,MAAM,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;wBACrC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC;4BACf,UAAU,EAAE,KAAK,CAAC,SAAS;4BAC3B,OAAO,EAAE,UAAU;4BACnB,aAAa,EAAE,cAAc;4BAC7B,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC;yBACnB,CAAC,CAAC;wBACH,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;wBAClC,OAAO,GAAG,IAAI,CAAC;oBACjB,CAAC;gBACH,CAAC;gBAED,8CAA8C;gBAC9C,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS;oBAC1C,aAAa,CAAC,EAAE,CAAC,IAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC5C,MAAM,UAAU,GAAY,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBACjE,MAAM,IAAI,GAAG,WAAW,CAAC,UAAU,CAAC,CAAC;oBACrC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;wBAC3B,KAAK,CAAC,SAAS,EAAE,CAAC;wBAClB,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC;4BACf,UAAU,EAAE,KAAK,CAAC,SAAS;4BAC3B,OAAO,EAAE,UAAU;4BACnB,aAAa,EAAE,eAAe;4BAC9B,QAAQ,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;yBACjE,CAAC,CAAC;wBACH,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;wBAClC,OAAO,GAAG,IAAI,CAAC;oBACjB,CAAC;gBACH,CAAC;gBAED,oDAAoD;gBACpD,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;oBACd,MAAM,IAAI,GAAY,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;oBACtD,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;oBAC/B,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;wBACxD,KAAK,CAAC,SAAS,EAAE,CAAC;wBAClB,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC;4BACf,UAAU,EAAE,KAAK,CAAC,SAAS;4BAC3B,OAAO,EAAE,IAAI;4BACb,aAAa,EAAE,4BAA4B;4BAC3C,QAAQ,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;yBACjE,CAAC,CAAC;wBACH,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;wBAC5B,OAAO,GAAG,IAAI,CAAC;oBACjB,CAAC;gBACH,CAAC;YACH,CAAC;YAED,mDAAmD;YACnD,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBACtB,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,IAAK,EAAE,CAAC;oBAC3B,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;oBAC9B,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;wBAC3B,KAAK,CAAC,SAAS,EAAE,CAAC;wBAClB,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC;4BACf,UAAU,EAAE,KAAK,CAAC,SAAS;4BAC3B,OAAO,EAAE,GAAG;4BACZ,aAAa,EAAE,2BAA2B;4BAC1C,QAAQ,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;yBACtC,CAAC,CAAC;wBACH,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;wBAC3B,OAAO,GAAG,IAAI,CAAC;oBACjB,CAAC;gBACH,CAAC;YACH,CAAC;YAED,oEAAoE;YACpE,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;gBACvB,IAAI,aAAa,CAAC,EAAE,EAAE,IAAI,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,IAAI,aAAa,CAAC,EAAE,EAAE,IAAI,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBACzE,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;oBAC/B,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;wBAC3B,KAAK,CAAC,SAAS,EAAE,CAAC;wBAClB,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC;4BACf,UAAU,EAAE,KAAK,CAAC,SAAS;4BAC3B,OAAO,EAAE,IAAI;4BACb,aAAa,EAAE,4BAA4B;4BAC3C,QAAQ,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;yBACtC,CAAC,CAAC;wBACH,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;wBAC5B,OAAO,GAAG,IAAI,CAAC;oBACjB,CAAC;gBACH,CAAC;YACH,CAAC;YAED,iDAAiD;YACjD,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBACpD,MAAM,KAAK,GAAG,EAAE,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC;gBACnC,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;gBAChC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC3B,KAAK,CAAC,SAAS,EAAE,CAAC;oBAClB,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC;wBACf,UAAU,EAAE,KAAK,CAAC,SAAS;wBAC3B,OAAO,EAAE,KAAK;wBACd,aAAa,EAAE,gBAAgB;wBAC/B,QAAQ,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;qBACtC,CAAC,CAAC;oBACH,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;oBAC7B,OAAO,GAAG,IAAI,CAAC;gBACjB,CAAC;YACH,CAAC;YAED,0CAA0C;YAC1C,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC1B,MAAM,MAAM,GAAY;oBACtB,IAAI,EAAE,SAAS;oBACf,IAAI,EAAE;wBACJ,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,EAAE;wBACpC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,EAAE;qBACrC;iBACF,CAAC;gBACF,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;gBACjC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC3B,KAAK,CAAC,SAAS,EAAE,CAAC;oBAClB,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC;wBACf,UAAU,EAAE,KAAK,CAAC,SAAS;wBAC3B,OAAO,EAAE,MAAM;wBACf,aAAa,EAAE,gBAAgB;wBAC/B,QAAQ,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;qBACtC,CAAC,CAAC;oBACH,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;oBAC9B,OAAO,GAAG,IAAI,CAAC;gBACjB,CAAC;YACH,CAAC;YAED,2DAA2D;YAC3D,IAAI,EAAE,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;gBAChC,MAAM,EAAE,GAAY,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,IAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC1E,MAAM,EAAE,GAAY,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,IAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC1E,KAAK,MAAM,IAAI,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;oBAC5B,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;oBAC/B,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;wBAC3B,KAAK,CAAC,SAAS,EAAE,CAAC;wBAClB,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC;4BACf,UAAU,EAAE,KAAK,CAAC,SAAS;4BAC3B,OAAO,EAAE,IAAI;4BACb,aAAa,EAAE,8BAA8B;4BAC7C,QAAQ,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;yBACtC,CAAC,CAAC;wBACH,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;wBAC5B,OAAO,GAAG,IAAI,CAAC;oBACjB,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QACvC,mDAAmD;QACnD,MAAM,aAAa,GAAG,SAAS,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACnD,OAAO;YACL,IAAI;YACJ,KAAK,EAAE,aAAa;YACpB,MAAM,EAAE,UAAU;YAClB,WAAW,EAAE,YAAY;SAC1B,CAAC;IACJ,CAAC;IAED,qCAAqC;IACrC,MAAM,gBAAgB,GAAG,YAAY;SAClC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;SACxD,MAAM,CAAC,CAAC,CAAC,EAAgB,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;IAEhD,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,gBAAgB;YAAE,YAAY,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7E,YAAY,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAE9C,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,MAAM,UAAU,GAAG,kBAAkB,CAAC,QAAQ,CAAC,CAAC;QAEhD,IAAI,iBAAiB,GAAG,IAAI,CAAC;QAC7B,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3B,MAAM,YAAY,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACjE,IAAI,YAAY,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;gBACvC,iBAAiB,GAAG,KAAK,CAAC;gBAC1B,MAAM;YACR,CAAC;QACH,CAAC;QAED,IAAI,iBAAiB,EAAE,CAAC;YACtB,OAAO;gBACL,IAAI;gBACJ,KAAK,EAAE,KAAK,CAAC,KAAK;gBAClB,MAAM,EAAE,UAAU;gBAClB,WAAW,EAAE,YAAY;aAC1B,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,QAAQ,CAAC,KAAkB,EAAE,OAAgB;IACpD,MAAM,IAAI,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;IAClC,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,IAAI;YAAE,OAAO,CAAC,CAAC,UAAU,CAAC;IAC3D,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,SAAS,CAAC,KAAkB,EAAE,IAAa;IAClD,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IACnC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC;IACtE,IAAI,CAAC,QAAQ;QAAE,OAAO,KAAK,CAAC;IAE5B,SAAS,KAAK,CAAC,OAAe;QAC5B,IAAI,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,OAAO;QAChC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACpB,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,OAAO,CAAC,CAAC;QACvD,IAAI,IAAI,EAAE,CAAC;YACT,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAC9B,KAAK,CAAC,CAAC,CAAC,CAAC;YACX,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;IAC3B,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;AACrD,CAAC;AAED,yCAAyC;AAEzC,MAAa,sBAAsB;IACjC,IAAI,GAAG,yBAAyB,CAAC;IACjC,WAAW,GAAG,wGAAwG,CAAC;IAEvH,eAAe,CAAC,OAAgB;QAC9B,MAAM,KAAK,GAAiB,EAAE,CAAC;QAC/B,SAAS,KAAK,CAAC,CAAU;YACvB,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;gBACf,KAAK,MAAM;oBACT,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;wBACZ,KAAK,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,kBAAkB,EAAE,CAAC,CAAC;oBACjE,CAAC;oBACD,MAAM;gBACR,KAAK,KAAK;oBACR,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;wBACnC,KAAK,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,4CAA4C,EAAE,CAAC,CAAC;oBAC3F,CAAC;yBAAM,CAAC;wBACN,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;oBACnB,CAAC;oBACD,MAAM;gBACR,KAAK,KAAK,CAAC;gBACX,KAAK,IAAI,CAAC;gBACV,KAAK,SAAS,CAAC;gBACf,KAAK,eAAe;oBAClB,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;wBACnC,KAAK,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC,IAAI,sCAAsC,EAAE,CAAC,CAAC;oBAC9F,CAAC;yBAAM,CAAC;wBACN,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;wBACjB,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;oBACnB,CAAC;oBACD,MAAM;gBACR,KAAK,QAAQ,CAAC;gBACd,KAAK,QAAQ,CAAC;gBACd,KAAK,WAAW,CAAC;gBACjB,KAAK,QAAQ,CAAC;gBACd,KAAK,iBAAiB,CAAC;gBACvB,KAAK,mBAAmB;oBACtB,KAAK,CAAC,IAAI,CAAC;wBACT,QAAQ,EAAE,OAAO;wBACjB,OAAO,EAAE,IAAI,CAAC,CAAC,IAAI,qDAAqD;qBACzE,CAAC,CAAC;oBACH,MAAM;YACV,CAAC;QACH,CAAC;QACD,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,OAAO,KAAK,CAAC;IACf,CAAC;IAED,UAAU,CAAC,OAAgB;QACzB,MAAM,EAAE,GAAG,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;QACzC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClB,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC;QACvD,CAAC;QAED,MAAM,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;QACpC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;YACnB,OAAO;gBACL,MAAM,EAAE,OAAO;gBACf,MAAM,EAAE,GAAG,eAAe,CAAC,OAAO,CAAC,yBAAyB;gBAC5D,UAAU,EAAE,EAAE;gBACd,WAAW,EAAE,EAAE;gBACf,OAAO;aACR,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,yBAAyB;YACzB,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YACxC,OAAO;gBACL,MAAM,EAAE,SAAS;gBACjB,MAAM,EAAE,GAAG,eAAe,CAAC,OAAO,CAAC,eAAe;gBAClD,UAAU,EAAE,EAAE;gBACd,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,SAAS,EAAE,EAAE,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,SAAS;gBAC1E,WAAW,EAAE,EAAE;gBACf,OAAO;aACR,CAAC;QACJ,CAAC;IACH,CAAC;IAED,gBAAgB,CAAC,OAAgB;QAC/B,MAAM,EAAE,GAAG,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;QACzC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClB,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC;QACvD,CAAC;QAED,MAAM,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;QACpC,IAAI,EAAE,CAAC,aAAa,EAAE,CAAC;YACrB,MAAM,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YACxC,OAAO;gBACL,MAAM,EAAE,aAAa;gBACrB,MAAM,EAAE,GAAG,eAAe,CAAC,OAAO,CAAC,kBAAkB;gBACrD,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,SAAS;gBAC5E,UAAU,EAAE,EAAE;gBACd,WAAW,EAAE,EAAE;gBACf,OAAO;aACR,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,OAAO;gBACL,MAAM,EAAE,eAAe;gBACvB,MAAM,EAAE,GAAG,eAAe,CAAC,OAAO,CAAC,oCAAoC;gBACvE,UAAU,EAAE,EAAE;gBACd,WAAW,EAAE,EAAE;gBACf,OAAO;aACR,CAAC;QACJ,CAAC;IACH,CAAC;IAED,KAAK,CAAC,IAAa,EAAE,MAAc;QACjC,MAAM,EAAE,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;QACtC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClB,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QAC7D,CAAC;QAED,MAAM,YAAY,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;QACtD,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC;QAEpD,IAAI,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;YACzC,OAAO;gBACL,MAAM,EAAE,UAAU;gBAClB,MAAM,EAAE,GAAG,eAAe,CAAC,IAAI,CAAC,iCAAiC;gBACjE,KAAK;gBACL,WAAW,EAAE,EAAE;gBACf,OAAO,EAAE,IAAI;aACd,CAAC;QACJ,CAAC;QAED,OAAO;YACL,MAAM,EAAE,WAAW;YACnB,MAAM,EAAE,GAAG,eAAe,CAAC,IAAI,CAAC,yCAAyC;YACzE,WAAW,EAAE,EAAE;YACf,OAAO,EAAE,IAAI;SACd,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,IAAa,EAAE,QAAkB,EAAE,MAAc;QACtD,MAAM,EAAE,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;QACtC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClB,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QAC7D,CAAC;QAED,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;QAEhD,IAAI,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;YACzC,OAAO;gBACL,MAAM,EAAE,UAAU;gBAClB,MAAM,EAAE,GAAG,eAAe,CAAC,IAAI,CAAC,wBAAwB;gBACxD,KAAK;gBACL,WAAW,EAAE,EAAE;gBACf,OAAO,EAAE,IAAI;aACd,CAAC;QACJ,CAAC;QAED,OAAO;YACL,MAAM,EAAE,WAAW;YACnB,MAAM,EAAE,uBAAuB,eAAe,CAAC,IAAI,CAAC,2BAA2B;YAC/E,WAAW,EAAE,EAAE;YACf,OAAO,EAAE,IAAI;SACd,CAAC;IACJ,CAAC;IAED,YAAY,CAAC,OAAgB;QAC3B,MAAM,EAAE,GAAG,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;QACzC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClB,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC;QACvD,CAAC;QAED,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC;QAChD,MAAM,UAAU,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;QAE7C,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3B,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC;gBAC1B,OAAO;oBACL,MAAM,EAAE,SAAS;oBACjB,MAAM,EAAE,gCAAgC,eAAe,CAAC,OAAO,CAAC,EAAE;oBAClE,KAAK,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,SAAS,EAAE,CAAC,EAAE;oBAC9C,WAAW,EAAE,EAAE;oBACf,OAAO;iBACR,CAAC;YACJ,CAAC;QACH,CAAC;QAED,OAAO;YACL,MAAM,EAAE,OAAO;YACf,MAAM,EAAE,GAAG,eAAe,CAAC,OAAO,CAAC,qCAAqC;YACxE,WAAW,EAAE,EAAE;YACf,OAAO;SACR,CAAC;IACJ,CAAC;IAED,OAAO,CAAC,OAAgB;QACtB,MAAM,EAAE,GAAG,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;QACzC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClB,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC;QACvD,CAAC;QAED,MAAM,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;QACpC,IAAI,WAAW,GAAG,YAAY,eAAe,CAAC,OAAO,CAAC,IAAI,CAAC;QAC3D,WAAW,IAAI,cAAc,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QACzD,WAAW,IAAI,eAAe,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;QAC/D,WAAW,IAAI,kBAAkB,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;QACtE,WAAW,IAAI,iBAAiB,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;QACnE,WAAW,IAAI,sBAAsB,EAAE,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC;QACxD,WAAW,IAAI,eAAe,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,IAAI,CAAC;QACvE,WAAW,IAAI,WAAW,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,IAAI,CAAC;QAEpE,OAAO;YACL,MAAM,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,eAAe;YACrF,MAAM,EAAE,WAAW;YACnB,UAAU,EAAE,EAAE;YACd,WAAW,EAAE,EAAE;YACf,OAAO;SACR,CAAC;IACJ,CAAC;IAED,UAAU,CAAC,OAAgB;QACzB,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACvD,MAAM,UAAU,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;QAE7C,MAAM,IAAI,GAAoB,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACjD,SAAS,EAAE,CAAC;YACZ,MAAM,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;SAC7B,CAAC,CAAC,CAAC;QAEJ,OAAO;YACL,SAAS,EAAE,KAAK;YAChB,IAAI;YACJ,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;YACtC,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;YAC3C,aAAa,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;SACxC,CAAC;IACJ,CAAC;IAED,eAAe,CAAC,CAAU,EAAE,CAAU;QACpC,MAAM,GAAG,GAAG,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,GAAG,GAAG,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACpC,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,GAAG,GAAG,EAAE,GAAG,GAAG,CAAC,EAAE,CAAC;QAC5D,CAAC;QAED,MAAM,aAAa,GAAY,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QACvE,MAAM,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;QAE1C,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;YACnB,OAAO;gBACL,MAAM,EAAE,OAAO;gBACf,MAAM,EAAE,GAAG,eAAe,CAAC,CAAC,CAAC,MAAM,eAAe,CAAC,CAAC,CAAC,mBAAmB;gBACxE,UAAU,EAAE,EAAE;gBACd,WAAW,EAAE,EAAE;aAChB,CAAC;QACJ,CAAC;QAED,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACxC,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE,GAAG,eAAe,CAAC,CAAC,CAAC,MAAM,eAAe,CAAC,CAAC,CAAC,sBAAsB;YAC3E,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,SAAS,EAAE,EAAE,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,SAAS;YAC1E,WAAW,EAAE,EAAE;SAChB,CAAC;IACJ,CAAC;CACF;AAjQD,wDAiQC"}

package/dist/profiles/interface.d.ts

@@ -0,0 +1,11 @@
+import { LogicProfile } from '../types';
+export { LogicProfile };
+export declare class ProfileRegistry {
+    private profiles;
+    register(profile: LogicProfile): void;
+    get(name: string): LogicProfile | undefined;
+    list(): string[];
+    has(name: string): boolean;
+}
+export declare const registry: ProfileRegistry;
+//# sourceMappingURL=interface.d.ts.map

package/dist/profiles/interface.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"interface.d.ts","sourceRoot":"","sources":["../../src/profiles/interface.ts"],"names":[],"mappings":"AAIA,OAAO,EAA0C,YAAY,EAAoB,MAAM,UAAU,CAAC;AAElG,OAAO,EAAE,YAAY,EAAE,CAAC;AAGxB,qBAAa,eAAe;IAC1B,OAAO,CAAC,QAAQ,CAAwC;IAExD,QAAQ,CAAC,OAAO,EAAE,YAAY,GAAG,IAAI;IAIrC,GAAG,CAAC,IAAI,EAAE,MAAM,GAAG,YAAY,GAAG,SAAS;IAI3C,IAAI,IAAI,MAAM,EAAE;IAIhB,GAAG,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO;CAG3B;AAGD,eAAO,MAAM,QAAQ,iBAAwB,CAAC"}

package/dist/profiles/interface.js

@@ -0,0 +1,26 @@
+"use strict";
+// ============================================================
+// ST Profile Interface — Interfaz base para perfiles lógicos
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.registry = exports.ProfileRegistry = void 0;
+// Registro global de perfiles
+class ProfileRegistry {
+    profiles = new Map();
+    register(profile) {
+        this.profiles.set(profile.name, profile);
+    }
+    get(name) {
+        return this.profiles.get(name);
+    }
+    list() {
+        return Array.from(this.profiles.keys());
+    }
+    has(name) {
+        return this.profiles.has(name);
+    }
+}
+exports.ProfileRegistry = ProfileRegistry;
+// Singleton global
+exports.registry = new ProfileRegistry();
+//# sourceMappingURL=interface.js.map