@stevenvo780/st-lang 4.9.0 → 4.11.0

package/dist/logic/profiles/natural-deduction-nk/types.js

@@ -0,0 +1,35 @@
+"use strict";
+// ============================================================
+// Natural Deduction NK (Gentzen classical) — Tipos
+// ============================================================
+//
+// Sistema NK de Gentzen para lógica proposicional clásica.
+// Extiende NJ (intuicionista) con reglas que justifican el
+// tercero excluido / doble negación clásica.
+//
+// Reglas intuicionistas heredadas (idéntico a NJ):
+//   - Conjunción:   ∧I, ∧EL, ∧ER
+//   - Disyunción:   ∨IL, ∨IR, ∨E (con descarga)
+//   - Implicación:  →I (descarga), →E (modus ponens)
+//   - Negación:     ¬I (descarga, deriva ⊥), ¬E (deriva ⊥)
+//   - Falsedad:     ⊥E (ex falso quodlibet)
+//   - Asunción:     hipótesis del contexto
+//
+// Reglas clásicas añadidas:
+//   - doubleNegE:   ¬¬φ ⊢ φ                 (eliminación doble negación)
+//   - LEM:          ⊢ φ ∨ ¬φ                (tercero excluido como axioma)
+//   - pierce:       ⊢ ((φ→ψ)→φ)→φ           (ley de Peirce como axioma)
+//   - rAA:          asume ¬φ, deriva ⊥, concluye φ (reductio ad absurdum)
+//
+// La regla rAA es la dual clásica de ¬I: en NJ, asumiendo φ y
+// derivando ⊥ se concluye ¬φ; en NK, asumiendo ¬φ y derivando
+// ⊥ se concluye φ. Con sólo rAA añadida a NJ se obtiene
+// completitud para la lógica clásica proposicional.
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.CLASSICAL_ONLY_RULES = void 0;
+/**
+ * Conjunto de reglas que sólo existen en NK (no en NJ).
+ * Útil para detectar si una prueba NK es trasladable a NJ.
+ */
+exports.CLASSICAL_ONLY_RULES = ['doubleNegE', 'LEM', 'pierce', 'rAA'];
+//# sourceMappingURL=types.js.map

package/dist/logic/profiles/natural-deduction-nk/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../../src/logic/profiles/natural-deduction-nk/types.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,mDAAmD;AACnD,+DAA+D;AAC/D,EAAE;AACF,2DAA2D;AAC3D,2DAA2D;AAC3D,6CAA6C;AAC7C,EAAE;AACF,mDAAmD;AACnD,iCAAiC;AACjC,gDAAgD;AAChD,qDAAqD;AACrD,2DAA2D;AAC3D,4CAA4C;AAC5C,2CAA2C;AAC3C,EAAE;AACF,4BAA4B;AAC5B,yEAAyE;AACzE,2EAA2E;AAC3E,wEAAwE;AACxE,0EAA0E;AAC1E,EAAE;AACF,8DAA8D;AAC9D,8DAA8D;AAC9D,wDAAwD;AACxD,oDAAoD;;;AAiDpD;;;GAGG;AACU,QAAA,oBAAoB,GAA0B,CAAC,YAAY,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC"}

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/reasoning/automata/dfa.d.ts

@@ -0,0 +1,17 @@
+import type { DFA } from './types';
+/** ¿`M` acepta `input`? Si en algún punto no hay transición definida,
+ *  rechaza inmediatamente (DFA visto como función parcial). */
+export declare function dfaAccepts(M: DFA, input: string): boolean;
+/** Totaliza un DFA agregando un sink-state para las aristas faltantes.
+ *  Devuelve un DFA equivalente con `transitions` totales sobre alfabeto. */
+export declare function dfaTotalize(M: DFA, sinkName?: string): DFA;
+/** Complemento de `M`: misma estructura, accept = states \ accept. */
+export declare function dfaComplement(M: DFA): DFA;
+/** Producto cartesiano con predicado de aceptación arbitrario sobre
+ *  (a-state, b-state). Sólo se crean estados alcanzables desde el par
+ *  inicial. */
+export declare function dfaProduct(a: DFA, b: DFA, acceptPair: (sa: string, sb: string) => boolean): DFA;
+export declare function dfaUnion(a: DFA, b: DFA): DFA;
+export declare function dfaIntersection(a: DFA, b: DFA): DFA;
+export declare function dfaMinimize(M: DFA): DFA;
+//# sourceMappingURL=dfa.d.ts.map

package/dist/reasoning/automata/dfa.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dfa.d.ts","sourceRoot":"","sources":["../../../src/reasoning/automata/dfa.ts"],"names":[],"mappings":"AAcA,OAAO,KAAK,EAAE,GAAG,EAAU,MAAM,SAAS,CAAC;AAE3C;+DAC+D;AAC/D,wBAAgB,UAAU,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAUzD;AAED;4EAC4E;AAC5E,wBAAgB,WAAW,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,SAAa,GAAG,GAAG,CAsC9D;AAED,sEAAsE;AACtE,wBAAgB,aAAa,CAAC,CAAC,EAAE,GAAG,GAAG,GAAG,CAWzC;AAED;;eAEe;AACf,wBAAgB,UAAU,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,KAAK,OAAO,GAAG,GAAG,CAuC/F;AAED,wBAAgB,QAAQ,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,GAAG,GAAG,CAE5C;AAED,wBAAgB,eAAe,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,GAAG,GAAG,CAEnD;AAaD,wBAAgB,WAAW,CAAC,CAAC,EAAE,GAAG,GAAG,GAAG,CAuHvC"}