@stevenvo780/st-lang 4.8.0 → 4.9.0

package/dist/proof-systems/certificate/lfsc.js

@@ -0,0 +1,395 @@
+"use strict";
+// ============================================================
+// ST Proof Certificate — LFSC-style import/export
+// ============================================================
+//
+// LFSC (Logical Framework with Side Conditions) usa sintaxis
+// S-expression. Aquí hacemos un subset adaptado al certificado:
+//
+//   (proof :version "1.0"
+//     :goal "<formula>"
+//     :profile "<profile>"
+//     :axioms ( "<axiom1>" "<axiom2>" )
+//     :steps (
+//       (step :id s1 :rule axiom :args ( "p" ) :conclusion "p" :depends ( ))
+//       ...
+//     )
+//     :hash "<hex>"
+//     [:signature (sig :algorithm Ed25519 :public-key "<hex>" :signature "<hex>")]
+//   )
+//
+// El round-trip (export → import) preserva la estructura literal;
+// no se re-hashea ni se reordena.
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.exportLFSC = exportLFSC;
+exports.importLFSC = importLFSC;
+function escapeString(s) {
+    return s.replace(/\\/g, '\\\\').replace(/"/g, '\\"');
+}
+function emitString(s) {
+    return '"' + escapeString(s) + '"';
+}
+function emitStringList(xs) {
+    if (xs.length === 0)
+        return '( )';
+    return '( ' + xs.map(emitString).join(' ') + ' )';
+}
+function emitIdentList(xs) {
+    if (xs.length === 0)
+        return '( )';
+    return '( ' + xs.join(' ') + ' )';
+}
+function emitStep(step) {
+    const parts = [
+        ':id ' + step.id,
+        ':rule ' + step.rule,
+        ':args ' + emitStringList(step.args),
+        ':conclusion ' + emitString(step.conclusion),
+        ':depends ' + emitIdentList(step.depends),
+    ];
+    return '    (step ' + parts.join(' ') + ')';
+}
+function emitSignature(sig) {
+    return ('  :signature (sig :algorithm ' +
+        sig.algorithm +
+        ' :public-key ' +
+        emitString(sig.publicKey) +
+        ' :signature ' +
+        emitString(sig.signature) +
+        ')');
+}
+/**
+ * Exporta un certificado al subset LFSC. La salida es texto
+ * S-expression con keywords `:foo` para los campos.
+ */
+function exportLFSC(cert) {
+    const lines = [];
+    lines.push('(proof');
+    lines.push('  :version ' + emitString(cert.version));
+    lines.push('  :goal ' + emitString(cert.goal));
+    lines.push('  :profile ' + emitString(cert.profile));
+    lines.push('  :axioms ' + emitStringList(cert.axioms));
+    lines.push('  :steps (');
+    for (const s of cert.steps)
+        lines.push(emitStep(s));
+    lines.push('  )');
+    lines.push('  :hash ' + emitString(cert.hash));
+    if (cert.signature)
+        lines.push(emitSignature(cert.signature));
+    lines.push(')');
+    return lines.join('\n');
+}
+function tokenize(input) {
+    const tokens = [];
+    let i = 0;
+    while (i < input.length) {
+        const c = input[i];
+        if (c === ';') {
+            // comentario hasta fin de línea
+            while (i < input.length && input[i] !== '\n')
+                i++;
+            continue;
+        }
+        if (/\s/.test(c)) {
+            i++;
+            continue;
+        }
+        if (c === '(') {
+            tokens.push({ kind: 'lparen', value: '(' });
+            i++;
+            continue;
+        }
+        if (c === ')') {
+            tokens.push({ kind: 'rparen', value: ')' });
+            i++;
+            continue;
+        }
+        if (c === '"') {
+            let j = i + 1;
+            let buf = '';
+            while (j < input.length && input[j] !== '"') {
+                if (input[j] === '\\' && j + 1 < input.length) {
+                    const next = input[j + 1];
+                    if (next === 'n')
+                        buf += '\n';
+                    else if (next === 't')
+                        buf += '\t';
+                    else if (next === 'r')
+                        buf += '\r';
+                    else
+                        buf += next;
+                    j += 2;
+                }
+                else {
+                    buf += input[j];
+                    j++;
+                }
+            }
+            if (j >= input.length) {
+                throw new Error('unterminated string literal');
+            }
+            tokens.push({ kind: 'string', value: buf });
+            i = j + 1;
+            continue;
+        }
+        // symbol — incluye keywords con `:` prefix
+        let j = i;
+        while (j < input.length && !/[\s()"]/.test(input[j]))
+            j++;
+        tokens.push({ kind: 'symbol', value: input.slice(i, j) });
+        i = j;
+    }
+    return tokens;
+}
+function peek(c) {
+    return c.pos < c.toks.length ? c.toks[c.pos] : null;
+}
+function next(c) {
+    if (c.pos >= c.toks.length)
+        throw new Error('unexpected end of input');
+    return c.toks[c.pos++];
+}
+function expect(c, kind, value) {
+    const t = next(c);
+    if (t.kind !== kind)
+        throw new Error(`expected ${kind}, got ${t.kind}:${t.value}`);
+    if (value !== undefined && t.value !== value) {
+        throw new Error(`expected ${value}, got ${t.value}`);
+    }
+    return t;
+}
+function parseStringList(c) {
+    expect(c, 'lparen');
+    const out = [];
+    while (true) {
+        const t = peek(c);
+        if (!t)
+            throw new Error('unexpected end in string list');
+        if (t.kind === 'rparen') {
+            next(c);
+            return out;
+        }
+        if (t.kind !== 'string')
+            throw new Error(`expected string in list, got ${t.kind}`);
+        out.push(t.value);
+        next(c);
+    }
+}
+function parseIdentList(c) {
+    expect(c, 'lparen');
+    const out = [];
+    while (true) {
+        const t = peek(c);
+        if (!t)
+            throw new Error('unexpected end in ident list');
+        if (t.kind === 'rparen') {
+            next(c);
+            return out;
+        }
+        if (t.kind !== 'symbol')
+            throw new Error(`expected symbol in list, got ${t.kind}`);
+        out.push(t.value);
+        next(c);
+    }
+}
+function parseStep(c) {
+    expect(c, 'lparen');
+    const head = expect(c, 'symbol');
+    if (head.value !== 'step')
+        throw new Error(`expected "step", got "${head.value}"`);
+    let id = null;
+    let rule = null;
+    let args = [];
+    let conclusion = null;
+    let depends = [];
+    while (true) {
+        const t = peek(c);
+        if (!t)
+            throw new Error('unexpected end in step');
+        if (t.kind === 'rparen') {
+            next(c);
+            break;
+        }
+        if (t.kind !== 'symbol' || !t.value.startsWith(':')) {
+            throw new Error(`expected keyword in step, got ${t.kind}:${t.value}`);
+        }
+        next(c);
+        switch (t.value) {
+            case ':id': {
+                const v = expect(c, 'symbol');
+                id = v.value;
+                break;
+            }
+            case ':rule': {
+                const v = expect(c, 'symbol');
+                rule = v.value;
+                break;
+            }
+            case ':args':
+                args = parseStringList(c);
+                break;
+            case ':conclusion': {
+                const v = expect(c, 'string');
+                conclusion = v.value;
+                break;
+            }
+            case ':depends':
+                depends = parseIdentList(c);
+                break;
+            default:
+                throw new Error(`unknown step keyword: ${t.value}`);
+        }
+    }
+    if (id === null || rule === null || conclusion === null) {
+        throw new Error('step missing required fields');
+    }
+    return { id, rule, args, conclusion, depends };
+}
+function parseSignature(c) {
+    expect(c, 'lparen');
+    const head = expect(c, 'symbol');
+    if (head.value !== 'sig')
+        throw new Error(`expected "sig", got "${head.value}"`);
+    let algorithm = null;
+    let publicKey = null;
+    let signature = null;
+    while (true) {
+        const t = peek(c);
+        if (!t)
+            throw new Error('unexpected end in signature');
+        if (t.kind === 'rparen') {
+            next(c);
+            break;
+        }
+        if (t.kind !== 'symbol' || !t.value.startsWith(':')) {
+            throw new Error(`expected keyword in signature, got ${t.kind}:${t.value}`);
+        }
+        next(c);
+        switch (t.value) {
+            case ':algorithm': {
+                const v = expect(c, 'symbol');
+                if (v.value !== 'Ed25519' && v.value !== 'HMAC-SHA256') {
+                    throw new Error(`unknown signature algorithm: ${v.value}`);
+                }
+                algorithm = v.value;
+                break;
+            }
+            case ':public-key': {
+                const v = expect(c, 'string');
+                publicKey = v.value;
+                break;
+            }
+            case ':signature': {
+                const v = expect(c, 'string');
+                signature = v.value;
+                break;
+            }
+            default:
+                throw new Error(`unknown signature keyword: ${t.value}`);
+        }
+    }
+    if (algorithm === null || publicKey === null || signature === null) {
+        throw new Error('signature missing required fields');
+    }
+    return { algorithm, publicKey, signature };
+}
+/**
+ * Importa un certificado desde su forma LFSC. Devuelve `{ error }`
+ * en caso de fallo de parseo en lugar de lanzar — para que el
+ * caller decida.
+ */
+function importLFSC(input) {
+    try {
+        const toks = tokenize(input);
+        const c = { toks, pos: 0 };
+        expect(c, 'lparen');
+        const head = expect(c, 'symbol');
+        if (head.value !== 'proof') {
+            return { error: `expected "proof", got "${head.value}"` };
+        }
+        let version = null;
+        let goal = null;
+        let profile = null;
+        let axioms = [];
+        const steps = [];
+        let hash = null;
+        let signature;
+        while (true) {
+            const t = peek(c);
+            if (!t)
+                return { error: 'unexpected end of input in proof' };
+            if (t.kind === 'rparen') {
+                next(c);
+                break;
+            }
+            if (t.kind !== 'symbol' || !t.value.startsWith(':')) {
+                return { error: `expected keyword, got ${t.kind}:${t.value}` };
+            }
+            next(c);
+            switch (t.value) {
+                case ':version': {
+                    const v = expect(c, 'string');
+                    if (v.value !== '1.0')
+                        return { error: `unsupported version: ${v.value}` };
+                    version = '1.0';
+                    break;
+                }
+                case ':goal': {
+                    const v = expect(c, 'string');
+                    goal = v.value;
+                    break;
+                }
+                case ':profile': {
+                    const v = expect(c, 'string');
+                    profile = v.value;
+                    break;
+                }
+                case ':axioms':
+                    axioms = parseStringList(c);
+                    break;
+                case ':steps': {
+                    expect(c, 'lparen');
+                    while (true) {
+                        const t2 = peek(c);
+                        if (!t2)
+                            return { error: 'unexpected end in steps' };
+                        if (t2.kind === 'rparen') {
+                            next(c);
+                            break;
+                        }
+                        steps.push(parseStep(c));
+                    }
+                    break;
+                }
+                case ':hash': {
+                    const v = expect(c, 'string');
+                    hash = v.value;
+                    break;
+                }
+                case ':signature':
+                    signature = parseSignature(c);
+                    break;
+                default:
+                    return { error: `unknown proof keyword: ${t.value}` };
+            }
+        }
+        if (version === null || goal === null || profile === null || hash === null) {
+            return { error: 'proof missing required fields' };
+        }
+        const cert = {
+            version,
+            goal,
+            profile,
+            axioms,
+            steps,
+            hash,
+        };
+        if (signature)
+            cert.signature = signature;
+        return cert;
+    }
+    catch (err) {
+        return { error: err instanceof Error ? err.message : String(err) };
+    }
+}
+//# sourceMappingURL=lfsc.js.map

package/dist/proof-systems/certificate/lfsc.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lfsc.js","sourceRoot":"","sources":["../../../src/proof-systems/certificate/lfsc.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,kDAAkD;AAClD,+DAA+D;AAC/D,EAAE;AACF,6DAA6D;AAC7D,gEAAgE;AAChE,EAAE;AACF,0BAA0B;AAC1B,wBAAwB;AACxB,2BAA2B;AAC3B,wCAAwC;AACxC,eAAe;AACf,6EAA6E;AAC7E,YAAY;AACZ,QAAQ;AACR,oBAAoB;AACpB,mFAAmF;AACnF,MAAM;AACN,EAAE;AACF,kEAAkE;AAClE,kCAAkC;;AAiDlC,gCAcC;AAiOD,gCA0FC;AAtXD,SAAS,YAAY,CAAC,CAAS;IAC7B,OAAO,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AACvD,CAAC;AAED,SAAS,UAAU,CAAC,CAAS;IAC3B,OAAO,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;AACrC,CAAC;AAED,SAAS,cAAc,CAAC,EAAY;IAClC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAClC,OAAO,IAAI,GAAG,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC;AACpD,CAAC;AAED,SAAS,aAAa,CAAC,EAAY;IACjC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAClC,OAAO,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC;AACpC,CAAC;AAED,SAAS,QAAQ,CAAC,IAAc;IAC9B,MAAM,KAAK,GAAG;QACZ,MAAM,GAAG,IAAI,CAAC,EAAE;QAChB,QAAQ,GAAG,IAAI,CAAC,IAAI;QACpB,QAAQ,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC;QACpC,cAAc,GAAG,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC;QAC5C,WAAW,GAAG,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC;KAC1C,CAAC;IACF,OAAO,YAAY,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC;AAC9C,CAAC;AAED,SAAS,aAAa,CAAC,GAAkB;IACvC,OAAO,CACL,+BAA+B;QAC/B,GAAG,CAAC,SAAS;QACb,eAAe;QACf,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC;QACzB,cAAc;QACd,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC;QACzB,GAAG,CACJ,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAgB,UAAU,CAAC,IAAsB;IAC/C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACrB,KAAK,CAAC,IAAI,CAAC,aAAa,GAAG,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;IACrD,KAAK,CAAC,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC/C,KAAK,CAAC,IAAI,CAAC,aAAa,GAAG,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;IACrD,KAAK,CAAC,IAAI,CAAC,YAAY,GAAG,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;IACvD,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACzB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK;QAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IACpD,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,KAAK,CAAC,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC/C,IAAI,IAAI,CAAC,SAAS;QAAE,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;IAC9D,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAQD,SAAS,QAAQ,CAAC,KAAa;IAC7B,MAAM,MAAM,GAAY,EAAE,CAAC;IAC3B,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;QACxB,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACnB,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACd,gCAAgC;YAChC,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,IAAI;gBAAE,CAAC,EAAE,CAAC;YAClD,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YACjB,CAAC,EAAE,CAAC;YACJ,SAAS;QACX,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACd,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;YAC5C,CAAC,EAAE,CAAC;YACJ,SAAS;QACX,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACd,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;YAC5C,CAAC,EAAE,CAAC;YACJ,SAAS;QACX,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACd,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACd,IAAI,GAAG,GAAG,EAAE,CAAC;YACb,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBAC5C,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;oBAC9C,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;oBAC1B,IAAI,IAAI,KAAK,GAAG;wBAAE,GAAG,IAAI,IAAI,CAAC;yBACzB,IAAI,IAAI,KAAK,GAAG;wBAAE,GAAG,IAAI,IAAI,CAAC;yBAC9B,IAAI,IAAI,KAAK,GAAG;wBAAE,GAAG,IAAI,IAAI,CAAC;;wBAC9B,GAAG,IAAI,IAAI,CAAC;oBACjB,CAAC,IAAI,CAAC,CAAC;gBACT,CAAC;qBAAM,CAAC;oBACN,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC;oBAChB,CAAC,EAAE,CAAC;gBACN,CAAC;YACH,CAAC;YACD,IAAI,CAAC,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;gBACtB,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;YACjD,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;YAC5C,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACV,SAAS;QACX,CAAC;QACD,2CAA2C;QAC3C,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAAE,CAAC,EAAE,CAAC;QAC1D,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC1D,CAAC,GAAG,CAAC,CAAC;IACR,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAOD,SAAS,IAAI,CAAC,CAAS;IACrB,OAAO,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACtD,CAAC;AAED,SAAS,IAAI,CAAC,CAAS;IACrB,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;IACvE,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;AACzB,CAAC;AAED,SAAS,MAAM,CAAC,CAAS,EAAE,IAAmB,EAAE,KAAc;IAC5D,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,YAAY,IAAI,SAAS,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;IACnF,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK,EAAE,CAAC;QAC7C,MAAM,IAAI,KAAK,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,eAAe,CAAC,CAAS;IAChC,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;IACpB,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,OAAO,IAAI,EAAE,CAAC;QACZ,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,IAAI,CAAC,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;QACzD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACxB,IAAI,CAAC,CAAC,CAAC,CAAC;YACR,OAAO,GAAG,CAAC;QACb,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACnF,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAClB,IAAI,CAAC,CAAC,CAAC,CAAC;IACV,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,CAAS;IAC/B,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;IACpB,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,OAAO,IAAI,EAAE,CAAC;QACZ,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,IAAI,CAAC,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;QACxD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACxB,IAAI,CAAC,CAAC,CAAC,CAAC;YACR,OAAO,GAAG,CAAC;QACb,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACnF,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAClB,IAAI,CAAC,CAAC,CAAC,CAAC;IACV,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAAC,CAAS;IAC1B,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;IACpB,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;IACjC,IAAI,IAAI,CAAC,KAAK,KAAK,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;IACnF,IAAI,EAAE,GAAkB,IAAI,CAAC;IAC7B,IAAI,IAAI,GAAkB,IAAI,CAAC;IAC/B,IAAI,IAAI,GAAa,EAAE,CAAC;IACxB,IAAI,UAAU,GAAkB,IAAI,CAAC;IACrC,IAAI,OAAO,GAAa,EAAE,CAAC;IAE3B,OAAO,IAAI,EAAE,CAAC;QACZ,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,IAAI,CAAC,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;QAClD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACxB,IAAI,CAAC,CAAC,CAAC,CAAC;YACR,MAAM;QACR,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACpD,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;QACxE,CAAC;QACD,IAAI,CAAC,CAAC,CAAC,CAAC;QACR,QAAQ,CAAC,CAAC,KAAK,EAAE,CAAC;YAChB,KAAK,KAAK,CAAC,CAAC,CAAC;gBACX,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;gBAC9B,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC;gBACb,MAAM;YACR,CAAC;YACD,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;gBAC9B,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC;gBACf,MAAM;YACR,CAAC;YACD,KAAK,OAAO;gBACV,IAAI,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;gBAC1B,MAAM;YACR,KAAK,aAAa,CAAC,CAAC,CAAC;gBACnB,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;gBAC9B,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC;gBACrB,MAAM;YACR,CAAC;YACD,KAAK,UAAU;gBACb,OAAO,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;gBAC5B,MAAM;YACR;gBACE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;QACxD,CAAC;IACH,CAAC;IAED,IAAI,EAAE,KAAK,IAAI,IAAI,IAAI,KAAK,IAAI,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;QACxD,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;IAClD,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC;AACjD,CAAC;AAED,SAAS,cAAc,CAAC,CAAS;IAC/B,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;IACpB,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;IACjC,IAAI,IAAI,CAAC,KAAK,KAAK,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;IACjF,IAAI,SAAS,GAAsC,IAAI,CAAC;IACxD,IAAI,SAAS,GAAkB,IAAI,CAAC;IACpC,IAAI,SAAS,GAAkB,IAAI,CAAC;IACpC,OAAO,IAAI,EAAE,CAAC;QACZ,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,IAAI,CAAC,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;QACvD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACxB,IAAI,CAAC,CAAC,CAAC,CAAC;YACR,MAAM;QACR,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACpD,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;QAC7E,CAAC;QACD,IAAI,CAAC,CAAC,CAAC,CAAC;QACR,QAAQ,CAAC,CAAC,KAAK,EAAE,CAAC;YAChB,KAAK,YAAY,CAAC,CAAC,CAAC;gBAClB,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;gBAC9B,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,KAAK,aAAa,EAAE,CAAC;oBACvD,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;gBAC7D,CAAC;gBACD,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC;gBACpB,MAAM;YACR,CAAC;YACD,KAAK,aAAa,CAAC,CAAC,CAAC;gBACnB,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;gBAC9B,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC;gBACpB,MAAM;YACR,CAAC;YACD,KAAK,YAAY,CAAC,CAAC,CAAC;gBAClB,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;gBAC9B,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC;gBACpB,MAAM;YACR,CAAC;YACD;gBACE,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;QAC7D,CAAC;IACH,CAAC;IACD,IAAI,SAAS,KAAK,IAAI,IAAI,SAAS,KAAK,IAAI,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACnE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC;AAC7C,CAAC;AAED;;;;GAIG;AACH,SAAgB,UAAU,CAAC,KAAa;IACtC,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC7B,MAAM,CAAC,GAAW,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;QACnC,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;QACpB,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;QACjC,IAAI,IAAI,CAAC,KAAK,KAAK,OAAO,EAAE,CAAC;YAC3B,OAAO,EAAE,KAAK,EAAE,0BAA0B,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;QAC5D,CAAC;QACD,IAAI,OAAO,GAAiB,IAAI,CAAC;QACjC,IAAI,IAAI,GAAkB,IAAI,CAAC;QAC/B,IAAI,OAAO,GAAkB,IAAI,CAAC;QAClC,IAAI,MAAM,GAAa,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAe,EAAE,CAAC;QAC7B,IAAI,IAAI,GAAkB,IAAI,CAAC;QAC/B,IAAI,SAAoC,CAAC;QAEzC,OAAO,IAAI,EAAE,CAAC;YACZ,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YAClB,IAAI,CAAC,CAAC;gBAAE,OAAO,EAAE,KAAK,EAAE,kCAAkC,EAAE,CAAC;YAC7D,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACxB,IAAI,CAAC,CAAC,CAAC,CAAC;gBACR,MAAM;YACR,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBACpD,OAAO,EAAE,KAAK,EAAE,yBAAyB,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC;YACjE,CAAC;YACD,IAAI,CAAC,CAAC,CAAC,CAAC;YACR,QAAQ,CAAC,CAAC,KAAK,EAAE,CAAC;gBAChB,KAAK,UAAU,CAAC,CAAC,CAAC;oBAChB,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;oBAC9B,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK;wBAAE,OAAO,EAAE,KAAK,EAAE,wBAAwB,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC;oBAC3E,OAAO,GAAG,KAAK,CAAC;oBAChB,MAAM;gBACR,CAAC;gBACD,KAAK,OAAO,CAAC,CAAC,CAAC;oBACb,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;oBAC9B,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC;oBACf,MAAM;gBACR,CAAC;gBACD,KAAK,UAAU,CAAC,CAAC,CAAC;oBAChB,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;oBAC9B,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC;oBAClB,MAAM;gBACR,CAAC;gBACD,KAAK,SAAS;oBACZ,MAAM,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;oBAC5B,MAAM;gBACR,KAAK,QAAQ,CAAC,CAAC,CAAC;oBACd,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;oBACpB,OAAO,IAAI,EAAE,CAAC;wBACZ,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;wBACnB,IAAI,CAAC,EAAE;4BAAE,OAAO,EAAE,KAAK,EAAE,yBAAyB,EAAE,CAAC;wBACrD,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;4BACzB,IAAI,CAAC,CAAC,CAAC,CAAC;4BACR,MAAM;wBACR,CAAC;wBACD,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;oBAC3B,CAAC;oBACD,MAAM;gBACR,CAAC;gBACD,KAAK,OAAO,CAAC,CAAC,CAAC;oBACb,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;oBAC9B,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC;oBACf,MAAM;gBACR,CAAC;gBACD,KAAK,YAAY;oBACf,SAAS,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;oBAC9B,MAAM;gBACR;oBACE,OAAO,EAAE,KAAK,EAAE,0BAA0B,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC;YAC1D,CAAC;QACH,CAAC;QAED,IAAI,OAAO,KAAK,IAAI,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,KAAK,IAAI,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAC3E,OAAO,EAAE,KAAK,EAAE,+BAA+B,EAAE,CAAC;QACpD,CAAC;QACD,MAAM,IAAI,GAAqB;YAC7B,OAAO;YACP,IAAI;YACJ,OAAO;YACP,MAAM;YACN,KAAK;YACL,IAAI;SACL,CAAC;QACF,IAAI,SAAS;YAAE,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;QAC1C,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,EAAE,KAAK,EAAE,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;IACrE,CAAC;AACH,CAAC"}

package/dist/proof-systems/certificate/rules.d.ts

@@ -0,0 +1,8 @@
+import type { CertRuleChecker } from './types';
+/**
+ * Tabla de reglas estándar. El verificador busca primero en esta tabla
+ * (o en una tabla custom pasada como parámetro). Si la regla no
+ * existe, registra un error pero no aborta para listar todos.
+ */
+export declare const STANDARD_RULES: Map<string, CertRuleChecker>;
+//# sourceMappingURL=rules.d.ts.map

package/dist/proof-systems/certificate/rules.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rules.d.ts","sourceRoot":"","sources":["../../../src/proof-systems/certificate/rules.ts"],"names":[],"mappings":"AAuBA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,SAAS,CAAC;AAqR/C;;;;GAIG;AACH,eAAO,MAAM,cAAc,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CA6DtD,CAAC"}