@stevenvo780/st-lang 4.10.0 → 4.12.0

package/dist/proof-systems/distributed-exchange/index.d.ts

@@ -0,0 +1,101 @@
+import type { ProofPackage } from '../proof-exchange';
+export interface KnownProofRecord {
+    proof: ProofPackage;
+    signature: string;
+    sourceId: string;
+    receivedAt: string;
+}
+export interface PeerNode {
+    id: string;
+    publicKey: string;
+    peers: Set<string>;
+    knownProofs: Map<string, KnownProofRecord>;
+    trustedKeys: Set<string>;
+    blacklist: Set<string>;
+    revoked: Map<string, string>;
+}
+export interface NetworkMessage {
+    kind: 'announce' | 'request' | 'response' | 'revoke';
+    from: string;
+    to: string;
+    payload: unknown;
+    timestamp: string;
+}
+export interface AnnouncePayload {
+    proofHash: string;
+    proof: ProofPackage;
+    signature: string;
+    signerPublicKey: string;
+}
+export interface RequestPayload {
+    proofHash: string;
+}
+export interface ResponsePayload {
+    proofHash: string;
+    proof: ProofPackage | null;
+    signature: string | null;
+    signerPublicKey: string | null;
+}
+export interface RevokePayload {
+    proofHash: string;
+    reason: string;
+    signerPublicKey: string;
+}
+export declare function proofHash(pkg: ProofPackage): string;
+export interface ProofConflict {
+    proofHashA: string;
+    proofHashB: string;
+    statementsMatch: boolean;
+}
+export declare class GossipNetwork {
+    private readonly nodes;
+    private readonly queue;
+    private droppedCount;
+    private deliveredCount;
+    addNode(node: PeerNode): void;
+    hasNode(id: string): boolean;
+    getNode(id: string): PeerNode | undefined;
+    listNodes(): PeerNode[];
+    connect(nodeA: string, nodeB: string): void;
+    disconnect(nodeA: string, nodeB: string): void;
+    private requireNode;
+    private enqueue;
+    publish(fromNode: string, proof: ProofPackage, signature: string): NetworkMessage[];
+    request(fromNode: string, hash: string): NetworkMessage[];
+    revokeProof(fromNode: string, hash: string, reason: string): NetworkMessage[];
+    blacklistKey(nodeId: string, publicKey: string): void;
+    tick(): {
+        delivered: number;
+        dropped: number;
+    };
+    private handleMessage;
+    private handleAnnounce;
+    private handleRequest;
+    private handleResponse;
+    private handleRevoke;
+    proofPropagation(hash: string): {
+        receivedBy: Set<string>;
+        coverage: number;
+    };
+    drain(maxTicks?: number): {
+        ticks: number;
+        delivered: number;
+        dropped: number;
+    };
+    totals(): {
+        delivered: number;
+        dropped: number;
+        pending: number;
+    };
+}
+export declare function createPeerNode(params: {
+    id: string;
+    publicKey: string;
+    trustedKeys?: Iterable<string>;
+}): PeerNode;
+export declare function detectConflicts(network: GossipNetwork): ProofConflict[];
+export declare function syncPeers(network: GossipNetwork, nodeA: string, nodeB: string): {
+    sentAtoB: number;
+    sentBtoA: number;
+};
+//# sourceMappingURL=index.d.ts.map

package/dist/proof-systems/distributed-exchange/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/proof-systems/distributed-exchange/index.ts"],"names":[],"mappings":"AAgBA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAEtD,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,YAAY,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,QAAQ;IACvB,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACnB,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAC3C,WAAW,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACzB,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACvB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC9B;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,UAAU,GAAG,SAAS,GAAG,UAAU,GAAG,QAAQ,CAAC;IACrD,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,OAAO,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,eAAe;IAC9B,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,YAAY,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,eAAe,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,cAAc;IAC7B,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,eAAe;IAC9B,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,YAAY,GAAG,IAAI,CAAC;IAC3B,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;CAChC;AAED,MAAM,WAAW,aAAa;IAC5B,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,eAAe,EAAE,MAAM,CAAC;CACzB;AAoBD,wBAAgB,SAAS,CAAC,GAAG,EAAE,YAAY,GAAG,MAAM,CAWnD;AAED,MAAM,WAAW,aAAa;IAC5B,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,eAAe,EAAE,OAAO,CAAC;CAC1B;AAED,qBAAa,aAAa;IACxB,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAoC;IAC1D,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAwB;IAC9C,OAAO,CAAC,YAAY,CAAK;IACzB,OAAO,CAAC,cAAc,CAAK;IAE3B,OAAO,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI;IAO7B,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO;IAI5B,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,QAAQ,GAAG,SAAS;IAIzC,SAAS,IAAI,QAAQ,EAAE;IAIvB,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI;IAQ3C,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI;IAO9C,OAAO,CAAC,WAAW;IAMnB,OAAO,CAAC,OAAO;IAIf,OAAO,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,GAAG,cAAc,EAAE;IA+BnF,OAAO,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,cAAc,EAAE;IAiBzD,WAAW,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,cAAc,EAAE;IAuB7E,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,IAAI;IAYrD,IAAI,IAAI;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE;IA8B9C,OAAO,CAAC,aAAa;IAarB,OAAO,CAAC,cAAc;IA2BtB,OAAO,CAAC,aAAa;IAqBrB,OAAO,CAAC,cAAc;IActB,OAAO,CAAC,YAAY;IAiBpB,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG;QAAE,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE;IAY7E,KAAK,CAAC,QAAQ,SAAM,GAAG;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE;IAa5E,MAAM,IAAI;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE;CAOlE;AAED,wBAAgB,cAAc,CAAC,MAAM,EAAE;IACrC,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;CAChC,GAAG,QAAQ,CAUX;AAED,wBAAgB,eAAe,CAAC,OAAO,EAAE,aAAa,GAAG,aAAa,EAAE,CA6BvE;AAED,wBAAgB,SAAS,CACvB,OAAO,EAAE,aAAa,EACtB,KAAK,EAAE,MAAM,EACb,KAAK,EAAE,MAAM,GACZ;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAyBxC"}

package/dist/proof-systems/distributed-exchange/index.js

@@ -0,0 +1,408 @@
+"use strict";
+// ============================================================
+// Distributed Proof Exchange — Simulated Gossip Protocol
+// ============================================================
+//
+// Simula la dinámica de un protocolo P2P para intercambio de proofs:
+// - Nodos con peers y proofs conocidas
+// - Mensajes en cola que se procesan por tick()
+// - Gossip: cuando un nodo aprende una proof, la anuncia a sus peers
+// - Request/response para pedir proofs específicas
+// - Revoke + blacklist para invalidación
+// - Anti-entropy para sincronizar peers desconectados
+//
+// NO usa red real. Las firmas se modelan como strings opacos: la verificación
+// criptográfica vive en `proof-exchange`. Aquí lo que importa es la
+// orquestación de mensajes y el estado distribuido.
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.GossipNetwork = void 0;
+exports.proofHash = proofHash;
+exports.createPeerNode = createPeerNode;
+exports.detectConflicts = detectConflicts;
+exports.syncPeers = syncPeers;
+function nowIso() {
+    return new Date().toISOString();
+}
+function hashStringSync(input) {
+    // Hash determinista no criptográfico (FNV-1a 64-bit-ish, hex). Sólo para
+    // identificar proofs dentro de la simulación. La integridad real la dan
+    // las firmas en `proof-exchange`.
+    let h1 = 0x811c9dc5;
+    let h2 = 0xdeadbeef;
+    for (let i = 0; i < input.length; i++) {
+        const c = input.charCodeAt(i);
+        h1 = Math.imul(h1 ^ c, 0x01000193) >>> 0;
+        h2 = Math.imul(h2 ^ c, 0x85ebca6b) >>> 0;
+    }
+    return h1.toString(16).padStart(8, '0') + h2.toString(16).padStart(8, '0');
+}
+function proofHash(pkg) {
+    // Versión síncrona pensada para la simulación. Usa un canonical-ish
+    // simple: ordena claves de primer nivel + serializa proof.
+    const canonical = JSON.stringify({
+        formula: pkg.formula,
+        metadata: pkg.metadata,
+        profile: pkg.profile,
+        proof: pkg.proof,
+        version: pkg.version,
+    });
+    return hashStringSync(canonical);
+}
+class GossipNetwork {
+    nodes = new Map();
+    queue = [];
+    droppedCount = 0;
+    deliveredCount = 0;
+    addNode(node) {
+        if (this.nodes.has(node.id)) {
+            throw new Error(`Node already registered: ${node.id}`);
+        }
+        this.nodes.set(node.id, node);
+    }
+    hasNode(id) {
+        return this.nodes.has(id);
+    }
+    getNode(id) {
+        return this.nodes.get(id);
+    }
+    listNodes() {
+        return Array.from(this.nodes.values());
+    }
+    connect(nodeA, nodeB) {
+        const a = this.requireNode(nodeA);
+        const b = this.requireNode(nodeB);
+        if (a.id === b.id)
+            return;
+        a.peers.add(b.id);
+        b.peers.add(a.id);
+    }
+    disconnect(nodeA, nodeB) {
+        const a = this.nodes.get(nodeA);
+        const b = this.nodes.get(nodeB);
+        if (a)
+            a.peers.delete(nodeB);
+        if (b)
+            b.peers.delete(nodeA);
+    }
+    requireNode(id) {
+        const node = this.nodes.get(id);
+        if (!node)
+            throw new Error(`Unknown node: ${id}`);
+        return node;
+    }
+    enqueue(msg) {
+        this.queue.push(msg);
+    }
+    publish(fromNode, proof, signature) {
+        const source = this.requireNode(fromNode);
+        const hash = proofHash(proof);
+        if (!source.knownProofs.has(hash)) {
+            source.knownProofs.set(hash, {
+                proof,
+                signature,
+                sourceId: fromNode,
+                receivedAt: nowIso(),
+            });
+        }
+        const emitted = [];
+        for (const peerId of source.peers) {
+            const msg = {
+                kind: 'announce',
+                from: fromNode,
+                to: peerId,
+                payload: {
+                    proofHash: hash,
+                    proof,
+                    signature,
+                    signerPublicKey: source.publicKey,
+                },
+                timestamp: nowIso(),
+            };
+            this.enqueue(msg);
+            emitted.push(msg);
+        }
+        return emitted;
+    }
+    request(fromNode, hash) {
+        const source = this.requireNode(fromNode);
+        const emitted = [];
+        for (const peerId of source.peers) {
+            const msg = {
+                kind: 'request',
+                from: fromNode,
+                to: peerId,
+                payload: { proofHash: hash },
+                timestamp: nowIso(),
+            };
+            this.enqueue(msg);
+            emitted.push(msg);
+        }
+        return emitted;
+    }
+    revokeProof(fromNode, hash, reason) {
+        const source = this.requireNode(fromNode);
+        source.revoked.set(hash, reason);
+        source.knownProofs.delete(hash);
+        const emitted = [];
+        for (const peerId of source.peers) {
+            const msg = {
+                kind: 'revoke',
+                from: fromNode,
+                to: peerId,
+                payload: {
+                    proofHash: hash,
+                    reason,
+                    signerPublicKey: source.publicKey,
+                },
+                timestamp: nowIso(),
+            };
+            this.enqueue(msg);
+            emitted.push(msg);
+        }
+        return emitted;
+    }
+    blacklistKey(nodeId, publicKey) {
+        const node = this.requireNode(nodeId);
+        node.blacklist.add(publicKey);
+        // Evict any known proofs originadas en esa key.
+        for (const [hash, record] of node.knownProofs.entries()) {
+            const sourceNode = this.nodes.get(record.sourceId);
+            if (sourceNode && sourceNode.publicKey === publicKey) {
+                node.knownProofs.delete(hash);
+            }
+        }
+    }
+    tick() {
+        let delivered = 0;
+        let dropped = 0;
+        const pending = this.queue.splice(0, this.queue.length);
+        // Mensajes generados durante la propagación de este tick van a una nueva
+        // cola para el próximo tick (evita loops infinitos en un solo tick).
+        for (const msg of pending) {
+            const target = this.nodes.get(msg.to);
+            const source = this.nodes.get(msg.from);
+            if (!target || !source) {
+                dropped++;
+                continue;
+            }
+            // Conexión activa requerida para entrega.
+            if (!target.peers.has(msg.from) || !source.peers.has(msg.to)) {
+                dropped++;
+                continue;
+            }
+            const ok = this.handleMessage(target, source, msg);
+            if (ok) {
+                delivered++;
+            }
+            else {
+                dropped++;
+            }
+        }
+        this.deliveredCount += delivered;
+        this.droppedCount += dropped;
+        return { delivered, dropped };
+    }
+    handleMessage(target, source, msg) {
+        switch (msg.kind) {
+            case 'announce':
+                return this.handleAnnounce(target, source, msg.payload);
+            case 'request':
+                return this.handleRequest(target, source, msg.payload);
+            case 'response':
+                return this.handleResponse(target, source, msg.payload);
+            case 'revoke':
+                return this.handleRevoke(target, msg.payload);
+        }
+    }
+    handleAnnounce(target, source, payload) {
+        if (target.blacklist.has(payload.signerPublicKey))
+            return false;
+        if (target.revoked.has(payload.proofHash))
+            return false;
+        if (target.knownProofs.has(payload.proofHash)) {
+            // Ya lo conozco: no re-gossip, pero sí lo cuento como entregado.
+            return true;
+        }
+        target.knownProofs.set(payload.proofHash, {
+            proof: payload.proof,
+            signature: payload.signature,
+            sourceId: source.id,
+            receivedAt: nowIso(),
+        });
+        // Gossip a peers (excluye al emisor).
+        for (const peerId of target.peers) {
+            if (peerId === source.id)
+                continue;
+            this.enqueue({
+                kind: 'announce',
+                from: target.id,
+                to: peerId,
+                payload,
+                timestamp: nowIso(),
+            });
+        }
+        return true;
+    }
+    handleRequest(target, source, payload) {
+        const record = target.knownProofs.get(payload.proofHash);
+        const signerNode = record ? this.nodes.get(record.sourceId) : undefined;
+        const response = record
+            ? {
+                proofHash: payload.proofHash,
+                proof: record.proof,
+                signature: record.signature,
+                signerPublicKey: signerNode ? signerNode.publicKey : null,
+            }
+            : { proofHash: payload.proofHash, proof: null, signature: null, signerPublicKey: null };
+        this.enqueue({
+            kind: 'response',
+            from: target.id,
+            to: source.id,
+            payload: response,
+            timestamp: nowIso(),
+        });
+        return true;
+    }
+    handleResponse(target, source, payload) {
+        if (!payload.proof || !payload.signature || !payload.signerPublicKey)
+            return true;
+        if (target.blacklist.has(payload.signerPublicKey))
+            return false;
+        if (target.revoked.has(payload.proofHash))
+            return false;
+        if (target.knownProofs.has(payload.proofHash))
+            return true;
+        target.knownProofs.set(payload.proofHash, {
+            proof: payload.proof,
+            signature: payload.signature,
+            sourceId: source.id,
+            receivedAt: nowIso(),
+        });
+        return true;
+    }
+    handleRevoke(target, payload) {
+        if (target.revoked.has(payload.proofHash))
+            return true;
+        target.revoked.set(payload.proofHash, payload.reason);
+        target.knownProofs.delete(payload.proofHash);
+        // Propaga a peers (gossip de revocación).
+        for (const peerId of target.peers) {
+            this.enqueue({
+                kind: 'revoke',
+                from: target.id,
+                to: peerId,
+                payload,
+                timestamp: nowIso(),
+            });
+        }
+        return true;
+    }
+    proofPropagation(hash) {
+        const receivedBy = new Set();
+        for (const node of this.nodes.values()) {
+            if (node.knownProofs.has(hash))
+                receivedBy.add(node.id);
+        }
+        const total = this.nodes.size;
+        const coverage = total === 0 ? 0 : receivedBy.size / total;
+        return { receivedBy, coverage };
+    }
+    // Drena la cola hasta que no haya más mensajes pendientes (o se alcance
+    // el límite). Útil para tests; equivale a varias `tick()` consecutivas.
+    drain(maxTicks = 100) {
+        let delivered = 0;
+        let dropped = 0;
+        let ticks = 0;
+        while (this.queue.length > 0 && ticks < maxTicks) {
+            const result = this.tick();
+            delivered += result.delivered;
+            dropped += result.dropped;
+            ticks++;
+        }
+        return { ticks, delivered, dropped };
+    }
+    totals() {
+        return {
+            delivered: this.deliveredCount,
+            dropped: this.droppedCount,
+            pending: this.queue.length,
+        };
+    }
+}
+exports.GossipNetwork = GossipNetwork;
+function createPeerNode(params) {
+    return {
+        id: params.id,
+        publicKey: params.publicKey,
+        peers: new Set(),
+        knownProofs: new Map(),
+        trustedKeys: new Set(params.trustedKeys ?? []),
+        blacklist: new Set(),
+        revoked: new Map(),
+    };
+}
+function detectConflicts(network) {
+    // Conflicto = dos hashes distintos en nodos cualesquiera con el mismo
+    // (formula, profile). Se reporta como par (A,B) con A<B lexicográfico.
+    const byStatement = new Map();
+    for (const node of network.listNodes()) {
+        for (const [hash, record] of node.knownProofs.entries()) {
+            const key = `${record.proof.profile}::${record.proof.formula}`;
+            let bucket = byStatement.get(key);
+            if (!bucket) {
+                bucket = new Map();
+                byStatement.set(key, bucket);
+            }
+            if (!bucket.has(hash))
+                bucket.set(hash, record.proof);
+        }
+    }
+    const conflicts = [];
+    for (const bucket of byStatement.values()) {
+        if (bucket.size < 2)
+            continue;
+        const hashes = Array.from(bucket.keys()).sort();
+        for (let i = 0; i < hashes.length; i++) {
+            for (let j = i + 1; j < hashes.length; j++) {
+                const a = hashes[i];
+                const b = hashes[j];
+                if (!a || !b)
+                    continue;
+                conflicts.push({ proofHashA: a, proofHashB: b, statementsMatch: true });
+            }
+        }
+    }
+    return conflicts;
+}
+function syncPeers(network, nodeA, nodeB) {
+    const a = network.getNode(nodeA);
+    const b = network.getNode(nodeB);
+    if (!a || !b)
+        throw new Error('syncPeers: unknown node');
+    let sentAtoB = 0;
+    let sentBtoA = 0;
+    for (const [hash, record] of a.knownProofs.entries()) {
+        if (b.revoked.has(hash))
+            continue;
+        const signerNode = network.getNode(record.sourceId);
+        if (signerNode && b.blacklist.has(signerNode.publicKey))
+            continue;
+        if (!b.knownProofs.has(hash)) {
+            b.knownProofs.set(hash, { ...record, receivedAt: nowIso() });
+            sentAtoB++;
+        }
+    }
+    for (const [hash, record] of b.knownProofs.entries()) {
+        if (a.revoked.has(hash))
+            continue;
+        const signerNode = network.getNode(record.sourceId);
+        if (signerNode && a.blacklist.has(signerNode.publicKey))
+            continue;
+        if (!a.knownProofs.has(hash)) {
+            a.knownProofs.set(hash, { ...record, receivedAt: nowIso() });
+            sentBtoA++;
+        }
+    }
+    return { sentAtoB, sentBtoA };
+}
+//# sourceMappingURL=index.js.map

package/dist/proof-systems/distributed-exchange/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/proof-systems/distributed-exchange/index.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,yDAAyD;AACzD,+DAA+D;AAC/D,EAAE;AACF,qEAAqE;AACrE,uCAAuC;AACvC,gDAAgD;AAChD,qEAAqE;AACrE,mDAAmD;AACnD,yCAAyC;AACzC,sDAAsD;AACtD,EAAE;AACF,8EAA8E;AAC9E,oEAAoE;AACpE,oDAAoD;;;AAuEpD,8BAWC;AAySD,wCAcC;AAED,0CA6BC;AAED,8BA6BC;AAlZD,SAAS,MAAM;IACb,OAAO,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;AAClC,CAAC;AAED,SAAS,cAAc,CAAC,KAAa;IACnC,yEAAyE;IACzE,wEAAwE;IACxE,kCAAkC;IAClC,IAAI,EAAE,GAAG,UAAU,CAAC;IACpB,IAAI,EAAE,GAAG,UAAU,CAAC;IACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAC9B,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;QACzC,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;IAC3C,CAAC;IACD,OAAO,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AAC7E,CAAC;AAED,SAAgB,SAAS,CAAC,GAAiB;IACzC,oEAAoE;IACpE,2DAA2D;IAC3D,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;QAC/B,OAAO,EAAE,GAAG,CAAC,OAAO;QACpB,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,OAAO,EAAE,GAAG,CAAC,OAAO;QACpB,KAAK,EAAE,GAAG,CAAC,KAAK;QAChB,OAAO,EAAE,GAAG,CAAC,OAAO;KACrB,CAAC,CAAC;IACH,OAAO,cAAc,CAAC,SAAS,CAAC,CAAC;AACnC,CAAC;AAQD,MAAa,aAAa;IACP,KAAK,GAA0B,IAAI,GAAG,EAAE,CAAC;IACzC,KAAK,GAAqB,EAAE,CAAC;IACtC,YAAY,GAAG,CAAC,CAAC;IACjB,cAAc,GAAG,CAAC,CAAC;IAE3B,OAAO,CAAC,IAAc;QACpB,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YAC5B,MAAM,IAAI,KAAK,CAAC,4BAA4B,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QACzD,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IAChC,CAAC;IAED,OAAO,CAAC,EAAU;QAChB,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC5B,CAAC;IAED,OAAO,CAAC,EAAU;QAChB,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC5B,CAAC;IAED,SAAS;QACP,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IACzC,CAAC;IAED,OAAO,CAAC,KAAa,EAAE,KAAa;QAClC,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;QAClC,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;QAClC,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE;YAAE,OAAO;QAC1B,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAClB,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACpB,CAAC;IAED,UAAU,CAAC,KAAa,EAAE,KAAa;QACrC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAChC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAChC,IAAI,CAAC;YAAE,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC7B,IAAI,CAAC;YAAE,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC;IAEO,WAAW,CAAC,EAAU;QAC5B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAChC,IAAI,CAAC,IAAI;YAAE,MAAM,IAAI,KAAK,CAAC,iBAAiB,EAAE,EAAE,CAAC,CAAC;QAClD,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,OAAO,CAAC,GAAmB;QACjC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACvB,CAAC;IAED,OAAO,CAAC,QAAgB,EAAE,KAAmB,EAAE,SAAiB;QAC9D,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;QAC1C,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAClC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE;gBAC3B,KAAK;gBACL,SAAS;gBACT,QAAQ,EAAE,QAAQ;gBAClB,UAAU,EAAE,MAAM,EAAE;aACrB,CAAC,CAAC;QACL,CAAC;QACD,MAAM,OAAO,GAAqB,EAAE,CAAC;QACrC,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YAClC,MAAM,GAAG,GAAmB;gBAC1B,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE,QAAQ;gBACd,EAAE,EAAE,MAAM;gBACV,OAAO,EAAE;oBACP,SAAS,EAAE,IAAI;oBACf,KAAK;oBACL,SAAS;oBACT,eAAe,EAAE,MAAM,CAAC,SAAS;iBACR;gBAC3B,SAAS,EAAE,MAAM,EAAE;aACpB,CAAC;YACF,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YAClB,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,OAAO,CAAC,QAAgB,EAAE,IAAY;QACpC,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;QAC1C,MAAM,OAAO,GAAqB,EAAE,CAAC;QACrC,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YAClC,MAAM,GAAG,GAAmB;gBAC1B,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,QAAQ;gBACd,EAAE,EAAE,MAAM;gBACV,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAA2B;gBACrD,SAAS,EAAE,MAAM,EAAE;aACpB,CAAC;YACF,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YAClB,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,WAAW,CAAC,QAAgB,EAAE,IAAY,EAAE,MAAc;QACxD,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;QAC1C,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACjC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,OAAO,GAAqB,EAAE,CAAC;QACrC,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YAClC,MAAM,GAAG,GAAmB;gBAC1B,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,QAAQ;gBACd,EAAE,EAAE,MAAM;gBACV,OAAO,EAAE;oBACP,SAAS,EAAE,IAAI;oBACf,MAAM;oBACN,eAAe,EAAE,MAAM,CAAC,SAAS;iBACV;gBACzB,SAAS,EAAE,MAAM,EAAE;aACpB,CAAC;YACF,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YAClB,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,YAAY,CAAC,MAAc,EAAE,SAAiB;QAC5C,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;QACtC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC9B,gDAAgD;QAChD,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,EAAE,CAAC;YACxD,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACnD,IAAI,UAAU,IAAI,UAAU,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;gBACrD,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAChC,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI;QACF,IAAI,SAAS,GAAG,CAAC,CAAC;QAClB,IAAI,OAAO,GAAG,CAAC,CAAC;QAChB,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACxD,yEAAyE;QACzE,qEAAqE;QACrE,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;YAC1B,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACtC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACxC,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM,EAAE,CAAC;gBACvB,OAAO,EAAE,CAAC;gBACV,SAAS;YACX,CAAC;YACD,0CAA0C;YAC1C,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC7D,OAAO,EAAE,CAAC;gBACV,SAAS;YACX,CAAC;YACD,MAAM,EAAE,GAAG,IAAI,CAAC,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;YACnD,IAAI,EAAE,EAAE,CAAC;gBACP,SAAS,EAAE,CAAC;YACd,CAAC;iBAAM,CAAC;gBACN,OAAO,EAAE,CAAC;YACZ,CAAC;QACH,CAAC;QACD,IAAI,CAAC,cAAc,IAAI,SAAS,CAAC;QACjC,IAAI,CAAC,YAAY,IAAI,OAAO,CAAC;QAC7B,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC;IAChC,CAAC;IAEO,aAAa,CAAC,MAAgB,EAAE,MAAgB,EAAE,GAAmB;QAC3E,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;YACjB,KAAK,UAAU;gBACb,OAAO,IAAI,CAAC,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,CAAC,OAA0B,CAAC,CAAC;YAC7E,KAAK,SAAS;gBACZ,OAAO,IAAI,CAAC,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,CAAC,OAAyB,CAAC,CAAC;YAC3E,KAAK,UAAU;gBACb,OAAO,IAAI,CAAC,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,CAAC,OAA0B,CAAC,CAAC;YAC7E,KAAK,QAAQ;gBACX,OAAO,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,GAAG,CAAC,OAAwB,CAAC,CAAC;QACnE,CAAC;IACH,CAAC;IAEO,cAAc,CAAC,MAAgB,EAAE,MAAgB,EAAE,OAAwB;QACjF,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,eAAe,CAAC;YAAE,OAAO,KAAK,CAAC;QAChE,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC;YAAE,OAAO,KAAK,CAAC;QACxD,IAAI,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;YAC9C,iEAAiE;YACjE,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,EAAE;YACxC,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,QAAQ,EAAE,MAAM,CAAC,EAAE;YACnB,UAAU,EAAE,MAAM,EAAE;SACrB,CAAC,CAAC;QACH,sCAAsC;QACtC,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YAClC,IAAI,MAAM,KAAK,MAAM,CAAC,EAAE;gBAAE,SAAS;YACnC,IAAI,CAAC,OAAO,CAAC;gBACX,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE,MAAM,CAAC,EAAE;gBACf,EAAE,EAAE,MAAM;gBACV,OAAO;gBACP,SAAS,EAAE,MAAM,EAAE;aACpB,CAAC,CAAC;QACL,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,aAAa,CAAC,MAAgB,EAAE,MAAgB,EAAE,OAAuB;QAC/E,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QACzD,MAAM,UAAU,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACxE,MAAM,QAAQ,GAAoB,MAAM;YACtC,CAAC,CAAC;gBACE,SAAS,EAAE,OAAO,CAAC,SAAS;gBAC5B,KAAK,EAAE,MAAM,CAAC,KAAK;gBACnB,SAAS,EAAE,MAAM,CAAC,SAAS;gBAC3B,eAAe,EAAE,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI;aAC1D;YACH,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC;QAC1F,IAAI,CAAC,OAAO,CAAC;YACX,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,MAAM,CAAC,EAAE;YACf,EAAE,EAAE,MAAM,CAAC,EAAE;YACb,OAAO,EAAE,QAAQ;YACjB,SAAS,EAAE,MAAM,EAAE;SACpB,CAAC,CAAC;QACH,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,cAAc,CAAC,MAAgB,EAAE,MAAgB,EAAE,OAAwB;QACjF,IAAI,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,OAAO,CAAC,eAAe;YAAE,OAAO,IAAI,CAAC;QAClF,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,eAAe,CAAC;YAAE,OAAO,KAAK,CAAC;QAChE,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC;YAAE,OAAO,KAAK,CAAC;QACxD,IAAI,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC;YAAE,OAAO,IAAI,CAAC;QAC3D,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,EAAE;YACxC,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,QAAQ,EAAE,MAAM,CAAC,EAAE;YACnB,UAAU,EAAE,MAAM,EAAE;SACrB,CAAC,CAAC;QACH,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,YAAY,CAAC,MAAgB,EAAE,OAAsB;QAC3D,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC;YAAE,OAAO,IAAI,CAAC;QACvD,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;QACtD,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QAC7C,0CAA0C;QAC1C,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YAClC,IAAI,CAAC,OAAO,CAAC;gBACX,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,MAAM,CAAC,EAAE;gBACf,EAAE,EAAE,MAAM;gBACV,OAAO;gBACP,SAAS,EAAE,MAAM,EAAE;aACpB,CAAC,CAAC;QACL,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,gBAAgB,CAAC,IAAY;QAC3B,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;QACrC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;YACvC,IAAI,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC1D,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;QAC9B,MAAM,QAAQ,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,GAAG,KAAK,CAAC;QAC3D,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC;IAClC,CAAC;IAED,wEAAwE;IACxE,wEAAwE;IACxE,KAAK,CAAC,QAAQ,GAAG,GAAG;QAClB,IAAI,SAAS,GAAG,CAAC,CAAC;QAClB,IAAI,OAAO,GAAG,CAAC,CAAC;QAChB,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,GAAG,QAAQ,EAAE,CAAC;YACjD,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;YAC3B,SAAS,IAAI,MAAM,CAAC,SAAS,CAAC;YAC9B,OAAO,IAAI,MAAM,CAAC,OAAO,CAAC;YAC1B,KAAK,EAAE,CAAC;QACV,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC;IACvC,CAAC;IAED,MAAM;QACJ,OAAO;YACL,SAAS,EAAE,IAAI,CAAC,cAAc;YAC9B,OAAO,EAAE,IAAI,CAAC,YAAY;YAC1B,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM;SAC3B,CAAC;IACJ,CAAC;CACF;AA/RD,sCA+RC;AAED,SAAgB,cAAc,CAAC,MAI9B;IACC,OAAO;QACL,EAAE,EAAE,MAAM,CAAC,EAAE;QACb,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,KAAK,EAAE,IAAI,GAAG,EAAE;QAChB,WAAW,EAAE,IAAI,GAAG,EAAE;QACtB,WAAW,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,WAAW,IAAI,EAAE,CAAC;QAC9C,SAAS,EAAE,IAAI,GAAG,EAAE;QACpB,OAAO,EAAE,IAAI,GAAG,EAAE;KACnB,CAAC;AACJ,CAAC;AAED,SAAgB,eAAe,CAAC,OAAsB;IACpD,sEAAsE;IACtE,uEAAuE;IACvE,MAAM,WAAW,GAAG,IAAI,GAAG,EAAqC,CAAC;IACjE,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC;QACvC,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,EAAE,CAAC;YACxD,MAAM,GAAG,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,KAAK,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;YAC/D,IAAI,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAClC,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,MAAM,GAAG,IAAI,GAAG,EAAE,CAAC;gBACnB,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;YAC/B,CAAC;YACD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;QACxD,CAAC;IACH,CAAC;IACD,MAAM,SAAS,GAAoB,EAAE,CAAC;IACtC,KAAK,MAAM,MAAM,IAAI,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC;QAC1C,IAAI,MAAM,CAAC,IAAI,GAAG,CAAC;YAAE,SAAS;QAC9B,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QAChD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACvC,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC3C,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;gBACpB,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;gBACpB,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC;oBAAE,SAAS;gBACvB,SAAS,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC;YAC1E,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAgB,SAAS,CACvB,OAAsB,EACtB,KAAa,EACb,KAAa;IAEb,MAAM,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACjC,MAAM,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACjC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;IACzD,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,CAAC,OAAO,EAAE,EAAE,CAAC;QACrD,IAAI,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QAClC,MAAM,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACpD,IAAI,UAAU,IAAI,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC;YAAE,SAAS;QAClE,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,GAAG,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;YAC7D,QAAQ,EAAE,CAAC;QACb,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,CAAC,OAAO,EAAE,EAAE,CAAC;QACrD,IAAI,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QAClC,MAAM,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACpD,IAAI,UAAU,IAAI,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC;YAAE,SAAS;QAClE,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,GAAG,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;YAC7D,QAAQ,EAAE,CAAC;QACb,CAAC;IACH,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;AAChC,CAAC"}

package/dist/proof-systems/fol-prover-advanced/index.d.ts

@@ -0,0 +1,7 @@
+export type { FOLTerm, FOLLiteral, FOLClause, Substitution, RefinementStrategy, TermOrdering, AdvancedProveOptions, AdvancedProveResult, ProofStep, ProofStats } from './types';
+export { unify, unifyLiterals, applySubToTerm, applySubToLiteral, termsEqual, literalsEqual } from './unify';
+export { kboGreater, lpoGreater, maximalLiterals } from './ordering';
+export { subsumes, removeSubsumed, unitPreference, clausesAlphaEqual } from './subsumption';
+export { binaryResolve, hyperresolve, hyperresolveMany, factor, dedupLiterals, isTautology, renameClause, resetRenameCounter } from './resolve';
+export { proveAdvanced, negateLiteral, negateClause, strategyLabel } from './prover';
+//# sourceMappingURL=index.d.ts.map

package/dist/proof-systems/fol-prover-advanced/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/proof-systems/fol-prover-advanced/index.ts"],"names":[],"mappings":"AAAA,YAAY,EACV,OAAO,EACP,UAAU,EACV,SAAS,EACT,YAAY,EACZ,kBAAkB,EAClB,YAAY,EACZ,oBAAoB,EACpB,mBAAmB,EACnB,SAAS,EACT,UAAU,EACX,MAAM,SAAS,CAAC;AAEjB,OAAO,EACL,KAAK,EACL,aAAa,EACb,cAAc,EACd,iBAAiB,EACjB,UAAU,EACV,aAAa,EACd,MAAM,SAAS,CAAC;AAEjB,OAAO,EACL,UAAU,EACV,UAAU,EACV,eAAe,EAChB,MAAM,YAAY,CAAC;AAEpB,OAAO,EACL,QAAQ,EACR,cAAc,EACd,cAAc,EACd,iBAAiB,EAClB,MAAM,eAAe,CAAC;AAEvB,OAAO,EACL,aAAa,EACb,YAAY,EACZ,gBAAgB,EAChB,MAAM,EACN,aAAa,EACb,WAAW,EACX,YAAY,EACZ,kBAAkB,EACnB,MAAM,WAAW,CAAC;AAEnB,OAAO,EACL,aAAa,EACb,aAAa,EACb,YAAY,EACZ,aAAa,EACd,MAAM,UAAU,CAAC"}

package/dist/proof-systems/fol-prover-advanced/index.js

@@ -0,0 +1,34 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.strategyLabel = exports.negateClause = exports.negateLiteral = exports.proveAdvanced = exports.resetRenameCounter = exports.renameClause = exports.isTautology = exports.dedupLiterals = exports.factor = exports.hyperresolveMany = exports.hyperresolve = exports.binaryResolve = exports.clausesAlphaEqual = exports.unitPreference = exports.removeSubsumed = exports.subsumes = exports.maximalLiterals = exports.lpoGreater = exports.kboGreater = exports.literalsEqual = exports.termsEqual = exports.applySubToLiteral = exports.applySubToTerm = exports.unifyLiterals = exports.unify = void 0;
+var unify_1 = require("./unify");
+Object.defineProperty(exports, "unify", { enumerable: true, get: function () { return unify_1.unify; } });
+Object.defineProperty(exports, "unifyLiterals", { enumerable: true, get: function () { return unify_1.unifyLiterals; } });
+Object.defineProperty(exports, "applySubToTerm", { enumerable: true, get: function () { return unify_1.applySubToTerm; } });
+Object.defineProperty(exports, "applySubToLiteral", { enumerable: true, get: function () { return unify_1.applySubToLiteral; } });
+Object.defineProperty(exports, "termsEqual", { enumerable: true, get: function () { return unify_1.termsEqual; } });
+Object.defineProperty(exports, "literalsEqual", { enumerable: true, get: function () { return unify_1.literalsEqual; } });
+var ordering_1 = require("./ordering");
+Object.defineProperty(exports, "kboGreater", { enumerable: true, get: function () { return ordering_1.kboGreater; } });
+Object.defineProperty(exports, "lpoGreater", { enumerable: true, get: function () { return ordering_1.lpoGreater; } });
+Object.defineProperty(exports, "maximalLiterals", { enumerable: true, get: function () { return ordering_1.maximalLiterals; } });
+var subsumption_1 = require("./subsumption");
+Object.defineProperty(exports, "subsumes", { enumerable: true, get: function () { return subsumption_1.subsumes; } });
+Object.defineProperty(exports, "removeSubsumed", { enumerable: true, get: function () { return subsumption_1.removeSubsumed; } });
+Object.defineProperty(exports, "unitPreference", { enumerable: true, get: function () { return subsumption_1.unitPreference; } });
+Object.defineProperty(exports, "clausesAlphaEqual", { enumerable: true, get: function () { return subsumption_1.clausesAlphaEqual; } });
+var resolve_1 = require("./resolve");
+Object.defineProperty(exports, "binaryResolve", { enumerable: true, get: function () { return resolve_1.binaryResolve; } });
+Object.defineProperty(exports, "hyperresolve", { enumerable: true, get: function () { return resolve_1.hyperresolve; } });
+Object.defineProperty(exports, "hyperresolveMany", { enumerable: true, get: function () { return resolve_1.hyperresolveMany; } });
+Object.defineProperty(exports, "factor", { enumerable: true, get: function () { return resolve_1.factor; } });
+Object.defineProperty(exports, "dedupLiterals", { enumerable: true, get: function () { return resolve_1.dedupLiterals; } });
+Object.defineProperty(exports, "isTautology", { enumerable: true, get: function () { return resolve_1.isTautology; } });
+Object.defineProperty(exports, "renameClause", { enumerable: true, get: function () { return resolve_1.renameClause; } });
+Object.defineProperty(exports, "resetRenameCounter", { enumerable: true, get: function () { return resolve_1.resetRenameCounter; } });
+var prover_1 = require("./prover");
+Object.defineProperty(exports, "proveAdvanced", { enumerable: true, get: function () { return prover_1.proveAdvanced; } });
+Object.defineProperty(exports, "negateLiteral", { enumerable: true, get: function () { return prover_1.negateLiteral; } });
+Object.defineProperty(exports, "negateClause", { enumerable: true, get: function () { return prover_1.negateClause; } });
+Object.defineProperty(exports, "strategyLabel", { enumerable: true, get: function () { return prover_1.strategyLabel; } });
+//# sourceMappingURL=index.js.map

package/dist/proof-systems/fol-prover-advanced/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/proof-systems/fol-prover-advanced/index.ts"],"names":[],"mappings":";;;AAaA,iCAOiB;AANf,8FAAA,KAAK,OAAA;AACL,sGAAA,aAAa,OAAA;AACb,uGAAA,cAAc,OAAA;AACd,0GAAA,iBAAiB,OAAA;AACjB,mGAAA,UAAU,OAAA;AACV,sGAAA,aAAa,OAAA;AAGf,uCAIoB;AAHlB,sGAAA,UAAU,OAAA;AACV,sGAAA,UAAU,OAAA;AACV,2GAAA,eAAe,OAAA;AAGjB,6CAKuB;AAJrB,uGAAA,QAAQ,OAAA;AACR,6GAAA,cAAc,OAAA;AACd,6GAAA,cAAc,OAAA;AACd,gHAAA,iBAAiB,OAAA;AAGnB,qCASmB;AARjB,wGAAA,aAAa,OAAA;AACb,uGAAA,YAAY,OAAA;AACZ,2GAAA,gBAAgB,OAAA;AAChB,iGAAA,MAAM,OAAA;AACN,wGAAA,aAAa,OAAA;AACb,sGAAA,WAAW,OAAA;AACX,uGAAA,YAAY,OAAA;AACZ,6GAAA,kBAAkB,OAAA;AAGpB,mCAKkB;AAJhB,uGAAA,aAAa,OAAA;AACb,uGAAA,aAAa,OAAA;AACb,sGAAA,YAAY,OAAA;AACZ,uGAAA,aAAa,OAAA"}

package/dist/proof-systems/fol-prover-advanced/ordering.d.ts

@@ -0,0 +1,34 @@
+import type { FOLLiteral, FOLTerm } from './types';
+/**
+ * `kboGreater(t1, t2, weights)` ⇔ t1 >_KBO t2.
+ *
+ * Invariantes (simplificadas; suficientes para el tablero de pruebas):
+ * 1. Cada variable de t2 ocurre en t1 al menos tantas veces.
+ * 2. weight(t1) > weight(t2), o
+ * 3. weight(t1) == weight(t2) y t1 domina léxicamente (top-symbol > top-symbol
+ *    según precedencia derivada de pesos, o argumentos comparados).
+ */
+export declare function kboGreater(t1: FOLTerm, t2: FOLTerm, weights: Map<string, number>): boolean;
+/**
+ * `lpoGreater(t1, t2, precedence)` ⇔ t1 >_LPO t2.
+ *
+ * Reglas estándar:
+ * - Si t2 es variable, t1 > t2 ⇔ t2 ocurre en t1 y t1 ≠ t2.
+ * - Si top(t1) > top(t2) (vía `precedence`) y t1 > cada subterm de t2.
+ * - Si top(t1) = top(t2), comparación lexicográfica de argumentos y t1 > cada
+ *   subterm de t2.
+ * - Si algún subterm de t1 ≥ t2.
+ */
+export declare function lpoGreater(t1: FOLTerm, t2: FOLTerm, precedence: Map<string, number>): boolean;
+/**
+ * Calcula las literales máximas de una cláusula bajo el ordering dado.
+ * Sólo esas pueden usarse como "literal seleccionada" en ordered resolution.
+ *
+ * Convertimos cada literal en un término representativo
+ * `f_pred(args)` (con signo codificado vía precedencia para que la negación no
+ * altere el orden) y comparamos.
+ */
+export declare function maximalLiterals(clause: {
+    literals: FOLLiteral[];
+}, ordering: 'KBO' | 'LPO' | 'none', weights: Map<string, number>, precedence: Map<string, number>): number[];
+//# sourceMappingURL=ordering.d.ts.map

package/dist/proof-systems/fol-prover-advanced/ordering.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ordering.d.ts","sourceRoot":"","sources":["../../../src/proof-systems/fol-prover-advanced/ordering.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,SAAS,CAAC;AAwCnD;;;;;;;;GAQG;AACH,wBAAgB,UAAU,CAAC,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,OAAO,CA4B1F;AAED;;;;;;;;;GASG;AACH,wBAAgB,UAAU,CAAC,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,OAAO,CAuC7F;AAuBD;;;;;;;GAOG;AACH,wBAAgB,eAAe,CAC7B,MAAM,EAAE;IAAE,QAAQ,EAAE,UAAU,EAAE,CAAA;CAAE,EAClC,QAAQ,EAAE,KAAK,GAAG,KAAK,GAAG,MAAM,EAChC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAC5B,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,GAC9B,MAAM,EAAE,CA6BV"}