@stevenvo780/st-lang 4.0.0 → 4.1.0

package/dist/text-layer/v2/mdx-bridge/parser.js

@@ -0,0 +1,192 @@
+"use strict";
+/**
+ * MDX → Claim[] parser.
+ *
+ * Reconoce dos formatos en cualquier orden y en cualquier posición del
+ * documento (dentro de prosa, dentro de listas, etc):
+ *
+ *   - HTML comment style:
+ *       <!-- st:claim id="c1" profile="p" formula="A->B" deps="c0,c2" -->
+ *
+ *   - Fenced code block style:
+ *       ```st-claim id=c1 profile=p deps=c0
+ *       A->B
+ *       ```
+ *
+ * Bloques malformados (sin id, sin profile, sin formula, etc.) se ignoran
+ * acumulando un warning. NUNCA lanza.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.stripMDXMetadata = exports.mdxToClaims = exports.mdxToClaimsDetailed = void 0;
+const COMMENT_RE = /<!--\s*st:claim\s+([^]*?)-->/g;
+// Fence: ```st-claim [opts]\n...body...\n```
+// Tolerante con espacios y con el cierre exacto de 3 backticks.
+const FENCE_RE = /```st-claim([^\n]*)\n([\s\S]*?)\n```/g;
+const truncate = (s, max = 80) => s.length > max ? s.slice(0, max - 3) + '...' : s;
+/**
+ * Parsea una lista de atributos clave=valor. Soporta:
+ *   - id="c1" o id='c1' (con comillas)
+ *   - id=c1 (sin comillas, hasta whitespace)
+ *   - claves repetidas: la última gana
+ *
+ * Devuelve un mapa case-sensitive.
+ */
+const parseAttrs = (raw) => {
+    const attrs = {};
+    // Pattern por iteración: key=value-con-o-sin-quotes
+    const re = /([a-zA-Z_][\w-]*)\s*=\s*(?:"([^"]*)"|'([^']*)'|([^\s"'`<>]+))/g;
+    let m;
+    while ((m = re.exec(raw)) !== null) {
+        const key = m[1];
+        if (key === undefined)
+            continue;
+        const value = m[2] ?? m[3] ?? m[4] ?? '';
+        attrs[key] = value;
+    }
+    return attrs;
+};
+const parseDeps = (raw) => {
+    if (!raw)
+        return [];
+    return raw
+        .split(',')
+        .map((s) => s.trim())
+        .filter((s) => s.length > 0);
+};
+const buildClaim = (attrs, formula, rawBlock, offset) => {
+    const id = attrs.id?.trim();
+    const profile = attrs.profile?.trim();
+    const trimmedFormula = formula.trim();
+    if (!id) {
+        return {
+            ok: false,
+            warning: {
+                offset,
+                message: 'st:claim sin id',
+                snippet: truncate(rawBlock),
+            },
+        };
+    }
+    if (!profile) {
+        return {
+            ok: false,
+            warning: {
+                offset,
+                message: `st:claim '${id}' sin profile`,
+                snippet: truncate(rawBlock),
+            },
+        };
+    }
+    if (!trimmedFormula) {
+        return {
+            ok: false,
+            warning: {
+                offset,
+                message: `st:claim '${id}' sin formula`,
+                snippet: truncate(rawBlock),
+            },
+        };
+    }
+    const dependencies = parseDeps(attrs.deps ?? attrs.dependencies);
+    const claim = {
+        id,
+        formula: trimmedFormula,
+        profile,
+        dependencies,
+        rawBlock,
+    };
+    // Source location (offset en el MDX original). docId queda vacío — el
+    // caller puede inyectarlo si necesita persistir.
+    claim.source = { docId: '', offset };
+    return { ok: true, claim };
+};
+/**
+ * Versión "rica" — devuelve también warnings. La API pública delega aquí.
+ */
+const mdxToClaimsDetailed = (mdx) => {
+    const claims = [];
+    const warnings = [];
+    const seenIds = new Set();
+    // Reset stateful regex flags per call (defensa porque /g mantiene lastIndex).
+    COMMENT_RE.lastIndex = 0;
+    FENCE_RE.lastIndex = 0;
+    // 1) Comentarios HTML
+    let cm;
+    while ((cm = COMMENT_RE.exec(mdx)) !== null) {
+        const rawBlock = cm[0];
+        const attrRaw = cm[1] ?? '';
+        const offset = cm.index;
+        const attrs = parseAttrs(attrRaw);
+        // En comment-style, la fórmula viene en el atributo `formula`.
+        const formula = attrs.formula ?? '';
+        const built = buildClaim(attrs, formula, rawBlock, offset);
+        if (!built.ok) {
+            warnings.push(built.warning);
+            continue;
+        }
+        if (seenIds.has(built.claim.id)) {
+            warnings.push({
+                offset,
+                message: `st:claim id duplicado: '${built.claim.id}'`,
+                snippet: truncate(rawBlock),
+            });
+            continue;
+        }
+        seenIds.add(built.claim.id);
+        claims.push(built.claim);
+    }
+    // 2) Code fences ```st-claim
+    let fm;
+    while ((fm = FENCE_RE.exec(mdx)) !== null) {
+        const rawBlock = fm[0];
+        const attrRaw = fm[1] ?? '';
+        const body = fm[2] ?? '';
+        const offset = fm.index;
+        const attrs = parseAttrs(attrRaw);
+        const built = buildClaim(attrs, body, rawBlock, offset);
+        if (!built.ok) {
+            warnings.push(built.warning);
+            continue;
+        }
+        if (seenIds.has(built.claim.id)) {
+            warnings.push({
+                offset,
+                message: `st:claim id duplicado: '${built.claim.id}'`,
+                snippet: truncate(rawBlock),
+            });
+            continue;
+        }
+        seenIds.add(built.claim.id);
+        claims.push(built.claim);
+    }
+    // Orden estable por offset (mezcla comments + fences en orden de aparición).
+    claims.sort((a, b) => {
+        const ao = a.source?.offset ?? 0;
+        const bo = b.source?.offset ?? 0;
+        return ao - bo;
+    });
+    return { claims, warnings };
+};
+exports.mdxToClaimsDetailed = mdxToClaimsDetailed;
+/**
+ * MDX → Claim[]. Tolera bloques malformados ignorándolos.
+ */
+const mdxToClaims = (mdx) => {
+    return (0, exports.mdxToClaimsDetailed)(mdx).claims;
+};
+exports.mdxToClaims = mdxToClaims;
+/**
+ * Helper interno: convierte MDXClaim a Claim "pelado" (sin rawBlock/source).
+ * Útil para diff que sólo compara campos lógicos.
+ */
+const stripMDXMetadata = (claim) => {
+    const { id, formula, profile, dependencies } = claim;
+    return {
+        id,
+        formula,
+        profile,
+        dependencies: [...dependencies],
+    };
+};
+exports.stripMDXMetadata = stripMDXMetadata;
+//# sourceMappingURL=parser.js.map

package/dist/text-layer/v2/mdx-bridge/parser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.js","sourceRoot":"","sources":["../../../../src/text-layer/v2/mdx-bridge/parser.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;GAgBG;;;AAMH,MAAM,UAAU,GAAG,+BAA+B,CAAC;AACnD,6CAA6C;AAC7C,gEAAgE;AAChE,MAAM,QAAQ,GAAG,uCAAuC,CAAC;AAEzD,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAE,GAAG,GAAG,EAAE,EAAU,EAAE,CAC/C,CAAC,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AAEnD;;;;;;;GAOG;AACH,MAAM,UAAU,GAAG,CAAC,GAAW,EAA0B,EAAE;IACzD,MAAM,KAAK,GAA2B,EAAE,CAAC;IACzC,oDAAoD;IACpD,MAAM,EAAE,GAAG,gEAAgE,CAAC;IAC5E,IAAI,CAAyB,CAAC;IAC9B,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QACnC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACjB,IAAI,GAAG,KAAK,SAAS;YAAE,SAAS;QAChC,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACzC,KAAK,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;IACrB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,SAAS,GAAG,CAAC,GAAuB,EAAY,EAAE;IACtD,IAAI,CAAC,GAAG;QAAE,OAAO,EAAE,CAAC;IACpB,OAAO,GAAG;SACP,KAAK,CAAC,GAAG,CAAC;SACV,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;SACpB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AACjC,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CACjB,KAA6B,EAC7B,OAAe,EACf,QAAgB,EAChB,MAAc,EAC2D,EAAE;IAC3E,MAAM,EAAE,GAAG,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC;IAC5B,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC;IACtC,MAAM,cAAc,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;IAEtC,IAAI,CAAC,EAAE,EAAE,CAAC;QACR,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EAAE;gBACP,MAAM;gBACN,OAAO,EAAE,iBAAiB;gBAC1B,OAAO,EAAE,QAAQ,CAAC,QAAQ,CAAC;aAC5B;SACF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EAAE;gBACP,MAAM;gBACN,OAAO,EAAE,aAAa,EAAE,eAAe;gBACvC,OAAO,EAAE,QAAQ,CAAC,QAAQ,CAAC;aAC5B;SACF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,cAAc,EAAE,CAAC;QACpB,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EAAE;gBACP,MAAM;gBACN,OAAO,EAAE,aAAa,EAAE,eAAe;gBACvC,OAAO,EAAE,QAAQ,CAAC,QAAQ,CAAC;aAC5B;SACF,CAAC;IACJ,CAAC;IAED,MAAM,YAAY,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,YAAY,CAAC,CAAC;IAEjE,MAAM,KAAK,GAAa;QACtB,EAAE;QACF,OAAO,EAAE,cAAc;QACvB,OAAO;QACP,YAAY;QACZ,QAAQ;KACT,CAAC;IAEF,sEAAsE;IACtE,iDAAiD;IACjD,KAAK,CAAC,MAAM,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC;IAErC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AAC7B,CAAC,CAAC;AAEF;;GAEG;AACI,MAAM,mBAAmB,GAAG,CAAC,GAAW,EAAkB,EAAE;IACjE,MAAM,MAAM,GAAe,EAAE,CAAC;IAC9B,MAAM,QAAQ,GAAsB,EAAE,CAAC;IACvC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAElC,8EAA8E;IAC9E,UAAU,CAAC,SAAS,GAAG,CAAC,CAAC;IACzB,QAAQ,CAAC,SAAS,GAAG,CAAC,CAAC;IAEvB,sBAAsB;IACtB,IAAI,EAA0B,CAAC;IAC/B,OAAO,CAAC,EAAE,GAAG,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QAC5C,MAAM,QAAQ,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACvB,MAAM,OAAO,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,EAAE,CAAC,KAAK,CAAC;QACxB,MAAM,KAAK,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC;QAClC,+DAA+D;QAC/D,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;QAC3D,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;YACd,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAC7B,SAAS;QACX,CAAC;QACD,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;YAChC,QAAQ,CAAC,IAAI,CAAC;gBACZ,MAAM;gBACN,OAAO,EAAE,2BAA2B,KAAK,CAAC,KAAK,CAAC,EAAE,GAAG;gBACrD,OAAO,EAAE,QAAQ,CAAC,QAAQ,CAAC;aAC5B,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC5B,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC3B,CAAC;IAED,6BAA6B;IAC7B,IAAI,EAA0B,CAAC;IAC/B,OAAO,CAAC,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QAC1C,MAAM,QAAQ,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACvB,MAAM,OAAO,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,EAAE,CAAC,KAAK,CAAC;QACxB,MAAM,KAAK,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC;QAClC,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;QACxD,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;YACd,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAC7B,SAAS;QACX,CAAC;QACD,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;YAChC,QAAQ,CAAC,IAAI,CAAC;gBACZ,MAAM;gBACN,OAAO,EAAE,2BAA2B,KAAK,CAAC,KAAK,CAAC,EAAE,GAAG;gBACrD,OAAO,EAAE,QAAQ,CAAC,QAAQ,CAAC;aAC5B,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC5B,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC3B,CAAC;IAED,6EAA6E;IAC7E,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACnB,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,EAAE,MAAM,IAAI,CAAC,CAAC;QACjC,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,EAAE,MAAM,IAAI,CAAC,CAAC;QACjC,OAAO,EAAE,GAAG,EAAE,CAAC;IACjB,CAAC,CAAC,CAAC;IAEH,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AAC9B,CAAC,CAAC;AApEW,QAAA,mBAAmB,uBAoE9B;AAEF;;GAEG;AACI,MAAM,WAAW,GAAG,CAAC,GAAW,EAAc,EAAE;IACrD,OAAO,IAAA,2BAAmB,EAAC,GAAG,CAAC,CAAC,MAAM,CAAC;AACzC,CAAC,CAAC;AAFW,QAAA,WAAW,eAEtB;AAEF;;;GAGG;AACI,MAAM,gBAAgB,GAAG,CAAC,KAAe,EAAS,EAAE;IACzD,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,GAAG,KAAK,CAAC;IACrD,OAAO;QACL,EAAE;QACF,OAAO;QACP,OAAO;QACP,YAAY,EAAE,CAAC,GAAG,YAAY,CAAC;KAChC,CAAC;AACJ,CAAC,CAAC;AARW,QAAA,gBAAgB,oBAQ3B"}

package/dist/text-layer/v2/mdx-bridge/serializer.d.ts

@@ -0,0 +1,17 @@
+/**
+ * Claim[] → MDX serializer.
+ *
+ * Produce MDX con bloques sincronizables en formato 'comment' o 'fence'.
+ * El round-trip `mdxToClaims(claimsToMDX(claims))` reproduce los campos
+ * lógicos (id, formula, profile, dependencies) sin pérdida.
+ */
+import type { Claim } from '../types';
+import type { ClaimsToMDXOptions } from './types';
+/**
+ * Claim[] → MDX string.
+ *
+ * Separa cada bloque con doble newline. El orden de salida respeta el
+ * orden del array de entrada.
+ */
+export declare const claimsToMDX: (claims: Claim[], options?: ClaimsToMDXOptions) => string;
+//# sourceMappingURL=serializer.d.ts.map

package/dist/text-layer/v2/mdx-bridge/serializer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"serializer.d.ts","sourceRoot":"","sources":["../../../../src/text-layer/v2/mdx-bridge/serializer.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,UAAU,CAAC;AAEtC,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,SAAS,CAAC;AAoDlD;;;;;GAKG;AACH,eAAO,MAAM,WAAW,GAAI,QAAQ,KAAK,EAAE,EAAE,UAAS,kBAAuB,KAAG,MAI/E,CAAC"}

package/dist/text-layer/v2/mdx-bridge/serializer.js

@@ -0,0 +1,69 @@
+"use strict";
+/**
+ * Claim[] → MDX serializer.
+ *
+ * Produce MDX con bloques sincronizables en formato 'comment' o 'fence'.
+ * El round-trip `mdxToClaims(claimsToMDX(claims))` reproduce los campos
+ * lógicos (id, formula, profile, dependencies) sin pérdida.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.claimsToMDX = void 0;
+/**
+ * Escape para atributo entre comillas dobles. Reemplaza " por " y
+ * mantiene el resto. No es HTML-completo (no escapa <>&) porque vive
+ * dentro de un comentario HTML, donde sólo "--" sería problemático.
+ *
+ * Si la fórmula contiene "--", la rompemos insertando un zero-width-space.
+ * En la práctica las fórmulas ST no contienen "--" (sí "<->", "->", etc.),
+ * así que es defense-in-depth.
+ */
+const escapeAttr = (s) => s.replace(/"/g, '&quot;').replace(/--/g, '-​-');
+const unescapedRoundtripCheck = (raw) => !raw.includes('--');
+/**
+ * Para fence-style: los atributos no llevan comillas si el valor no tiene
+ * espacios ni caracteres especiales; si los tiene, usamos comillas dobles.
+ */
+const fenceAttrValue = (value) => {
+    if (/^[A-Za-z0-9._\-:]+$/.test(value))
+        return value;
+    return `"${value.replace(/"/g, '\\"')}"`;
+};
+const formatComment = (claim) => {
+    const parts = [];
+    parts.push(`id="${escapeAttr(claim.id)}"`);
+    parts.push(`profile="${escapeAttr(claim.profile)}"`);
+    parts.push(`formula="${escapeAttr(claim.formula)}"`);
+    if (claim.dependencies.length > 0) {
+        parts.push(`deps="${escapeAttr(claim.dependencies.join(','))}"`);
+    }
+    // Sanity: el cierre `-->` del comentario no debe aparecer en los atributos.
+    const inside = parts.join(' ');
+    if (!unescapedRoundtripCheck(inside)) {
+        // Si quedó "--" tras escape, es un edge-case raro: igual emitimos y
+        // dejamos que el parser lo reconozca (regex es no-greedy).
+    }
+    return `<!-- st:claim ${inside} -->`;
+};
+const formatFence = (claim) => {
+    const headerParts = [];
+    headerParts.push(`id=${fenceAttrValue(claim.id)}`);
+    headerParts.push(`profile=${fenceAttrValue(claim.profile)}`);
+    if (claim.dependencies.length > 0) {
+        headerParts.push(`deps=${fenceAttrValue(claim.dependencies.join(','))}`);
+    }
+    const header = headerParts.join(' ');
+    return ['```st-claim ' + header, claim.formula, '```'].join('\n');
+};
+/**
+ * Claim[] → MDX string.
+ *
+ * Separa cada bloque con doble newline. El orden de salida respeta el
+ * orden del array de entrada.
+ */
+const claimsToMDX = (claims, options = {}) => {
+    const template = options.template ?? 'fence';
+    const blocks = claims.map((c) => (template === 'comment' ? formatComment(c) : formatFence(c)));
+    return blocks.join('\n\n');
+};
+exports.claimsToMDX = claimsToMDX;
+//# sourceMappingURL=serializer.js.map

package/dist/text-layer/v2/mdx-bridge/serializer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"serializer.js","sourceRoot":"","sources":["../../../../src/text-layer/v2/mdx-bridge/serializer.ts"],"names":[],"mappings":";AAAA;;;;;;GAMG;;;AAMH;;;;;;;;GAQG;AACH,MAAM,UAAU,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;AAE1F,MAAM,uBAAuB,GAAG,CAAC,GAAW,EAAW,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AAE9E;;;GAGG;AACH,MAAM,cAAc,GAAG,CAAC,KAAa,EAAU,EAAE;IAC/C,IAAI,qBAAqB,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACpD,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC;AAC3C,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CAAC,KAAY,EAAU,EAAE;IAC7C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,OAAO,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;IAC3C,KAAK,CAAC,IAAI,CAAC,YAAY,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACrD,KAAK,CAAC,IAAI,CAAC,YAAY,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACrD,IAAI,KAAK,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,KAAK,CAAC,IAAI,CAAC,SAAS,UAAU,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;IACnE,CAAC;IACD,4EAA4E;IAC5E,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC/B,IAAI,CAAC,uBAAuB,CAAC,MAAM,CAAC,EAAE,CAAC;QACrC,oEAAoE;QACpE,2DAA2D;IAC7D,CAAC;IACD,OAAO,iBAAiB,MAAM,MAAM,CAAC;AACvC,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAAC,KAAY,EAAU,EAAE;IAC3C,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,WAAW,CAAC,IAAI,CAAC,MAAM,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IACnD,WAAW,CAAC,IAAI,CAAC,WAAW,cAAc,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC7D,IAAI,KAAK,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,WAAW,CAAC,IAAI,CAAC,QAAQ,cAAc,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;IAC3E,CAAC;IACD,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACrC,OAAO,CAAC,cAAc,GAAG,MAAM,EAAE,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACpE,CAAC,CAAC;AAEF;;;;;GAKG;AACI,MAAM,WAAW,GAAG,CAAC,MAAe,EAAE,UAA8B,EAAE,EAAU,EAAE;IACvF,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,OAAO,CAAC;IAC7C,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/F,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC7B,CAAC,CAAC;AAJW,QAAA,WAAW,eAItB"}

package/dist/text-layer/v2/mdx-bridge/types.d.ts

@@ -0,0 +1,53 @@
+/**
+ * MDX bridge — tipos públicos para conversión bidireccional Claim[] ↔ MDX.
+ *
+ * Una Claim se serializa en MDX con dos formatos posibles:
+ *
+ *   1. "comment" (compacto, una sola línea, atributos HTML):
+ *      <!-- st:claim id="c1" profile="classical.propositional" formula="A->B" deps="c0" -->
+ *
+ *   2. "fence" (legible, multi-línea):
+ *      ```st-claim id=c1 profile=classical.propositional deps=c0
+ *      A->B
+ *      ```
+ *
+ * En ambos formatos los IDs son únicos por documento. El parser conserva el
+ * texto crudo del bloque en `rawBlock` para poder reescribir o comparar.
+ */
+import type { Claim } from '../types';
+export interface MDXClaim extends Claim {
+    /** Texto completo del bloque tal como apareció en el MDX original. */
+    rawBlock: string;
+}
+export type MDXClaimTemplate = 'comment' | 'fence';
+export interface ClaimsToMDXOptions {
+    /** Formato a emitir. Default: 'fence'. */
+    template?: MDXClaimTemplate;
+}
+export interface MDXDelta {
+    added: Claim[];
+    removed: string[];
+    modified: Array<{
+        id: string;
+        before: Claim;
+        after: Claim;
+    }>;
+}
+/**
+ * Warning emitido por el parser cuando encuentra un bloque malformado.
+ * El parser no lanza excepciones: ignora el bloque problemático y acumula
+ * warnings para diagnóstico.
+ */
+export interface MDXParseWarning {
+    /** Posición aproximada (offset en el string de entrada). */
+    offset: number;
+    /** Mensaje legible describiendo qué falló. */
+    message: string;
+    /** Snippet del texto problemático (truncado). */
+    snippet: string;
+}
+export interface MDXParseResult {
+    claims: MDXClaim[];
+    warnings: MDXParseWarning[];
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/text-layer/v2/mdx-bridge/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../../src/text-layer/v2/mdx-bridge/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,UAAU,CAAC;AAEtC,MAAM,WAAW,QAAS,SAAQ,KAAK;IACrC,sEAAsE;IACtE,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,MAAM,gBAAgB,GAAG,SAAS,GAAG,OAAO,CAAC;AAEnD,MAAM,WAAW,kBAAkB;IACjC,0CAA0C;IAC1C,QAAQ,CAAC,EAAE,gBAAgB,CAAC;CAC7B;AAED,MAAM,WAAW,QAAQ;IACvB,KAAK,EAAE,KAAK,EAAE,CAAC;IACf,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,QAAQ,EAAE,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,KAAK,CAAC;QAAC,KAAK,EAAE,KAAK,CAAA;KAAE,CAAC,CAAC;CAC9D;AAED;;;;GAIG;AACH,MAAM,WAAW,eAAe;IAC9B,4DAA4D;IAC5D,MAAM,EAAE,MAAM,CAAC;IACf,8CAA8C;IAC9C,OAAO,EAAE,MAAM,CAAC;IAChB,iDAAiD;IACjD,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,cAAc;IAC7B,MAAM,EAAE,QAAQ,EAAE,CAAC;IACnB,QAAQ,EAAE,eAAe,EAAE,CAAC;CAC7B"}

package/dist/text-layer/v2/mdx-bridge/types.js

@@ -0,0 +1,19 @@
+"use strict";
+/**
+ * MDX bridge — tipos públicos para conversión bidireccional Claim[] ↔ MDX.
+ *
+ * Una Claim se serializa en MDX con dos formatos posibles:
+ *
+ *   1. "comment" (compacto, una sola línea, atributos HTML):
+ *      <!-- st:claim id="c1" profile="classical.propositional" formula="A->B" deps="c0" -->
+ *
+ *   2. "fence" (legible, multi-línea):
+ *      ```st-claim id=c1 profile=classical.propositional deps=c0
+ *      A->B
+ *      ```
+ *
+ * En ambos formatos los IDs son únicos por documento. El parser conserva el
+ * texto crudo del bloque en `rawBlock` para poder reescribir o comparar.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=types.js.map

package/dist/text-layer/v2/mdx-bridge/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../../src/text-layer/v2/mdx-bridge/types.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;GAeG"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@stevenvo780/st-lang",
-  "version": "4.0.0",
+  "version": "4.1.0",
   "description": "ST — Lenguaje ejecutable con nucleo logico y capa textual. Motor multi-perfil (11 lógicas), derivaciones, tablas de verdad, contramodelos, aliases modales, Belnap 4-valores y capa textual para formalización de documentos.",
   "main": "dist/index.js",
   "types": "dist/index.d.ts",