@stevenvo780/st-lang 4.0.1 → 4.2.0

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.1",
+  "version": "4.2.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",