@stevenvo780/st-lang 4.2.0 → 4.4.0

package/dist/refinement-types/subtype.js

@@ -0,0 +1,39 @@
+"use strict";
+// ============================================================
+// Refinement types — Subtipado por implicación
+// ============================================================
+//
+// Definición:
+//   { x : B | P(x) } <: { y : B | Q(y) }
+//     ⟺  B = B'  ∧  ∀x. P(x) ⇒ Q[x/y]
+//
+// Para tipos arrow se aplica contravarianza en el parámetro y
+// covarianza en el resultado, como en sistemas refinados estándar.
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.isSubtype = isSubtype;
+const solver_1 = require("./solver");
+const predicate_1 = require("./predicate");
+/**
+ * isSubtype — devuelve true si T1 <: T2 bajo las suposiciones del contexto.
+ *
+ * - Para tipos base iguales: chequea P(x) ⇒ Q(x) renombrando el binding.
+ * - Para arrows: contravarianza en `from`, covarianza en `to`.
+ */
+function isSubtype(t1, t2, opts = {}) {
+    return isSubBase(t1.base, t2.base, opts) && isSubRefinement(t1, t2, opts);
+}
+function isSubBase(b1, b2, opts) {
+    if (typeof b1 === 'string' || typeof b2 === 'string')
+        return b1 === b2;
+    // arrow: contravariant en from, covariant en to
+    return isSubtype(b2.from, b1.from, opts) && isSubtype(b1.to, b2.to, opts);
+}
+function isSubRefinement(t1, t2, opts) {
+    // Renombramos el binding de t2 al de t1 para chequear P(x) ⇒ Q(x).
+    const sharedName = t1.binding;
+    const p = t1.predicate.trim() === '' ? 'true' : t1.predicate;
+    const q = (0, predicate_1.renameVar)(t2.predicate.trim() === '' ? 'true' : t2.predicate, t2.binding, sharedName);
+    const premises = [p, ...(opts.extraAssumptions ?? [])];
+    return (0, solver_1.implies)(premises, q, opts);
+}
+//# sourceMappingURL=subtype.js.map

package/dist/refinement-types/subtype.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"subtype.js","sourceRoot":"","sources":["../../src/refinement-types/subtype.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,+CAA+C;AAC/C,+DAA+D;AAC/D,EAAE;AACF,cAAc;AACd,yCAAyC;AACzC,sCAAsC;AACtC,EAAE;AACF,8DAA8D;AAC9D,mEAAmE;;AAiBnE,8BAEC;AAhBD,qCAAoD;AACpD,2CAAwC;AAOxC;;;;;GAKG;AACH,SAAgB,SAAS,CAAC,EAAW,EAAE,EAAW,EAAE,OAAoB,EAAE;IACxE,OAAO,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,eAAe,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;AAC5E,CAAC;AAED,SAAS,SAAS,CAAC,EAAY,EAAE,EAAY,EAAE,IAAiB;IAC9D,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,OAAO,EAAE,KAAK,QAAQ;QAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IACvE,gDAAgD;IAChD,OAAO,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,SAAS,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;AAC5E,CAAC;AAED,SAAS,eAAe,CAAC,EAAW,EAAE,EAAW,EAAE,IAAiB;IAClE,mEAAmE;IACnE,MAAM,UAAU,GAAG,EAAE,CAAC,OAAO,CAAC;IAC9B,MAAM,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC;IAC7D,MAAM,CAAC,GAAG,IAAA,qBAAS,EAAC,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,EAAE,EAAE,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;IAChG,MAAM,QAAQ,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC,CAAC;IACvD,OAAO,IAAA,gBAAO,EAAC,QAAQ,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;AACpC,CAAC"}

package/dist/refinement-types/types.d.ts

@@ -0,0 +1,64 @@
+export type BaseType = 'Int' | 'Bool' | 'String' | {
+    kind: 'arrow';
+    from: RefType;
+    to: RefType;
+};
+export interface RefType {
+    base: BaseType;
+    /** Nombre de la variable de binding usada por el predicado (e.g. "x"). */
+    binding: string;
+    /** Predicado P(binding); cadena vacía o "true" significa "sin refinamiento". */
+    predicate: string;
+}
+export type RTerm = {
+    kind: 'lit';
+    value: number | boolean | string;
+} | {
+    kind: 'var';
+    name: string;
+} | {
+    kind: 'binop';
+    op: '+' | '-' | '*' | '<' | '<=' | '>' | '>=' | '==' | '!=' | '&&' | '||';
+    left: RTerm;
+    right: RTerm;
+} | {
+    kind: 'if';
+    cond: RTerm;
+    then: RTerm;
+    else: RTerm;
+} | {
+    kind: 'lam';
+    param: string;
+    paramType: RefType;
+    body: RTerm;
+} | {
+    kind: 'app';
+    fn: RTerm;
+    arg: RTerm;
+} | {
+    kind: 'let';
+    bind: string;
+    bindType?: RefType;
+    value: RTerm;
+    body: RTerm;
+};
+export declare const tInt: (binding?: string, predicate?: string) => RefType;
+export declare const tBool: (binding?: string, predicate?: string) => RefType;
+export declare const tString: (binding?: string, predicate?: string) => RefType;
+export declare const tArrow: (from: RefType, to: RefType, binding?: string, predicate?: string) => RefType;
+export declare const refine: (base: BaseType, binding: string, predicate: string) => RefType;
+export declare const rLit: (value: number | boolean | string) => RTerm;
+export declare const rVar: (name: string) => RTerm;
+export declare const rBinop: (op: Extract<RTerm, {
+    kind: "binop";
+}>["op"], left: RTerm, right: RTerm) => RTerm;
+export declare const rIf: (cond: RTerm, t: RTerm, e: RTerm) => RTerm;
+export declare const rLam: (param: string, paramType: RefType, body: RTerm) => RTerm;
+export declare const rApp: (fn: RTerm, arg: RTerm) => RTerm;
+export declare const rLet: (bind: string, value: RTerm, body: RTerm, bindType?: RefType) => RTerm;
+export declare function eqBase(a: BaseType, b: BaseType): boolean;
+export declare function eqRefType(a: RefType, b: RefType): boolean;
+export declare function baseToString(b: BaseType): string;
+export declare function refTypeToString(t: RefType): string;
+export declare function termToString(t: RTerm): string;
+//# sourceMappingURL=types.d.ts.map

package/dist/refinement-types/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/refinement-types/types.ts"],"names":[],"mappings":"AAeA,MAAM,MAAM,QAAQ,GAAG,KAAK,GAAG,MAAM,GAAG,QAAQ,GAAG;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,OAAO,CAAC;IAAC,EAAE,EAAE,OAAO,CAAA;CAAE,CAAC;AAEjG,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,QAAQ,CAAC;IACf,0EAA0E;IAC1E,OAAO,EAAE,MAAM,CAAC;IAChB,gFAAgF;IAChF,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,MAAM,KAAK,GACb;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,MAAM,GAAG,OAAO,GAAG,MAAM,CAAA;CAAE,GACjD;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC7B;IACE,IAAI,EAAE,OAAO,CAAC;IACd,EAAE,EAAE,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,IAAI,GAAG,GAAG,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC;IAC1E,IAAI,EAAE,KAAK,CAAC;IACZ,KAAK,EAAE,KAAK,CAAC;CACd,GACD;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,KAAK,CAAA;CAAE,GACrD;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,KAAK,CAAA;CAAE,GAC/D;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,EAAE,EAAE,KAAK,CAAC;IAAC,GAAG,EAAE,KAAK,CAAA;CAAE,GACtC;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC;AAIjF,eAAO,MAAM,IAAI,GAAI,gBAAc,EAAE,kBAAkB,KAAG,OAIxD,CAAC;AAEH,eAAO,MAAM,KAAK,GAAI,gBAAc,EAAE,kBAAkB,KAAG,OAIzD,CAAC;AAEH,eAAO,MAAM,OAAO,GAAI,gBAAc,EAAE,kBAAkB,KAAG,OAI3D,CAAC;AAEH,eAAO,MAAM,MAAM,GACjB,MAAM,OAAO,EACb,IAAI,OAAO,EACX,gBAAc,EACd,kBAAkB,KACjB,OAID,CAAC;AAEH,eAAO,MAAM,MAAM,GAAI,MAAM,QAAQ,EAAE,SAAS,MAAM,EAAE,WAAW,MAAM,KAAG,OAI1E,CAAC;AAIH,eAAO,MAAM,IAAI,GAAI,OAAO,MAAM,GAAG,OAAO,GAAG,MAAM,KAAG,KAAiC,CAAC;AAC1F,eAAO,MAAM,IAAI,GAAI,MAAM,MAAM,KAAG,KAAgC,CAAC;AACrE,eAAO,MAAM,MAAM,GACjB,IAAI,OAAO,CAAC,KAAK,EAAE;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC,CAAC,IAAI,CAAC,EAC3C,MAAM,KAAK,EACX,OAAO,KAAK,KACX,KAA6C,CAAC;AACjD,eAAO,MAAM,GAAG,GAAI,MAAM,KAAK,EAAE,GAAG,KAAK,EAAE,GAAG,KAAK,KAAG,KAKpD,CAAC;AACH,eAAO,MAAM,IAAI,GAAI,OAAO,MAAM,EAAE,WAAW,OAAO,EAAE,MAAM,KAAK,KAAG,KAKpE,CAAC;AACH,eAAO,MAAM,IAAI,GAAI,IAAI,KAAK,EAAE,KAAK,KAAK,KAAG,KAAmC,CAAC;AACjF,eAAO,MAAM,IAAI,GAAI,MAAM,MAAM,EAAE,OAAO,KAAK,EAAE,MAAM,KAAK,EAAE,WAAW,OAAO,KAAG,KAMjF,CAAC;AAIH,wBAAgB,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,GAAG,OAAO,CAIxD;AAED,wBAAgB,SAAS,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,GAAG,OAAO,CAKzD;AAID,wBAAgB,YAAY,CAAC,CAAC,EAAE,QAAQ,GAAG,MAAM,CAGhD;AAED,wBAAgB,eAAe,CAAC,CAAC,EAAE,OAAO,GAAG,MAAM,CAMlD;AAED,wBAAgB,YAAY,CAAC,CAAC,EAAE,KAAK,GAAG,MAAM,CAiB7C"}

package/dist/refinement-types/types.js

@@ -0,0 +1,130 @@
+"use strict";
+// ============================================================
+// Refinement types — AST, tipos refinados y términos
+// ============================================================
+//
+// Un tipo refinado expresa { x : B | P(x) } donde:
+//   - B es un tipo base (Int / Bool / String / arrow)
+//   - x es la variable de binding
+//   - P(x) es un predicado escrito como expresión sintáctica
+//     (cadenas de la forma "x > 0 && x < 100").
+//
+// El módulo es minimalista (al estilo Liquid Haskell didáctico):
+// el solver de VCs no es Z3 — es un evaluador/SAT-search sobre
+// enteros y booleanos suficiente para los predicados que se
+// construyen en los tests y para casos pequeños de subtipado.
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.rLet = exports.rApp = exports.rLam = exports.rIf = exports.rBinop = exports.rVar = exports.rLit = exports.refine = exports.tArrow = exports.tString = exports.tBool = exports.tInt = void 0;
+exports.eqBase = eqBase;
+exports.eqRefType = eqRefType;
+exports.baseToString = baseToString;
+exports.refTypeToString = refTypeToString;
+exports.termToString = termToString;
+// ---------- Constructores convenientes ----------
+const tInt = (binding = '_v', predicate = 'true') => ({
+    base: 'Int',
+    binding,
+    predicate,
+});
+exports.tInt = tInt;
+const tBool = (binding = '_v', predicate = 'true') => ({
+    base: 'Bool',
+    binding,
+    predicate,
+});
+exports.tBool = tBool;
+const tString = (binding = '_v', predicate = 'true') => ({
+    base: 'String',
+    binding,
+    predicate,
+});
+exports.tString = tString;
+const tArrow = (from, to, binding = '_v', predicate = 'true') => ({
+    base: { kind: 'arrow', from, to },
+    binding,
+    predicate,
+});
+exports.tArrow = tArrow;
+const refine = (base, binding, predicate) => ({
+    base,
+    binding,
+    predicate,
+});
+exports.refine = refine;
+// ---------- Constructores de términos ----------
+const rLit = (value) => ({ kind: 'lit', value });
+exports.rLit = rLit;
+const rVar = (name) => ({ kind: 'var', name });
+exports.rVar = rVar;
+const rBinop = (op, left, right) => ({ kind: 'binop', op, left, right });
+exports.rBinop = rBinop;
+const rIf = (cond, t, e) => ({
+    kind: 'if',
+    cond,
+    then: t,
+    else: e,
+});
+exports.rIf = rIf;
+const rLam = (param, paramType, body) => ({
+    kind: 'lam',
+    param,
+    paramType,
+    body,
+});
+exports.rLam = rLam;
+const rApp = (fn, arg) => ({ kind: 'app', fn, arg });
+exports.rApp = rApp;
+const rLet = (bind, value, body, bindType) => ({
+    kind: 'let',
+    bind,
+    bindType,
+    value,
+    body,
+});
+exports.rLet = rLet;
+// ---------- Igualdad estructural de tipos base ----------
+function eqBase(a, b) {
+    if (typeof a === 'string' || typeof b === 'string')
+        return a === b;
+    // both arrows
+    return eqRefType(a.from, b.from) && eqRefType(a.to, b.to);
+}
+function eqRefType(a, b) {
+    if (!eqBase(a.base, b.base))
+        return false;
+    // No exigimos la igualdad textual del predicado a este nivel; el chequeo de
+    // subtipado se ocupa de la equivalencia semántica (P ↔ Q).
+    return true;
+}
+// ---------- Serialización legible ----------
+function baseToString(b) {
+    if (typeof b === 'string')
+        return b;
+    return `(${refTypeToString(b.from)}) -> (${refTypeToString(b.to)})`;
+}
+function refTypeToString(t) {
+    const pred = t.predicate.trim();
+    if (pred === '' || pred === 'true') {
+        return `{ ${t.binding} : ${baseToString(t.base)} }`;
+    }
+    return `{ ${t.binding} : ${baseToString(t.base)} | ${pred} }`;
+}
+function termToString(t) {
+    switch (t.kind) {
+        case 'lit':
+            return typeof t.value === 'string' ? JSON.stringify(t.value) : String(t.value);
+        case 'var':
+            return t.name;
+        case 'binop':
+            return `(${termToString(t.left)} ${t.op} ${termToString(t.right)})`;
+        case 'if':
+            return `if ${termToString(t.cond)} then ${termToString(t.then)} else ${termToString(t.else)}`;
+        case 'lam':
+            return `(λ ${t.param} : ${refTypeToString(t.paramType)} . ${termToString(t.body)})`;
+        case 'app':
+            return `(${termToString(t.fn)} ${termToString(t.arg)})`;
+        case 'let':
+            return `let ${t.bind}${t.bindType ? ` : ${refTypeToString(t.bindType)}` : ''} = ${termToString(t.value)} in ${termToString(t.body)}`;
+    }
+}
+//# sourceMappingURL=types.js.map

package/dist/refinement-types/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/refinement-types/types.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,qDAAqD;AACrD,+DAA+D;AAC/D,EAAE;AACF,mDAAmD;AACnD,sDAAsD;AACtD,kCAAkC;AAClC,6DAA6D;AAC7D,gDAAgD;AAChD,EAAE;AACF,iEAAiE;AACjE,+DAA+D;AAC/D,4DAA4D;AAC5D,8DAA8D;;;AA+F9D,wBAIC;AAED,8BAKC;AAID,oCAGC;AAED,0CAMC;AAED,oCAiBC;AAlHD,mDAAmD;AAE5C,MAAM,IAAI,GAAG,CAAC,OAAO,GAAG,IAAI,EAAE,SAAS,GAAG,MAAM,EAAW,EAAE,CAAC,CAAC;IACpE,IAAI,EAAE,KAAK;IACX,OAAO;IACP,SAAS;CACV,CAAC,CAAC;AAJU,QAAA,IAAI,QAId;AAEI,MAAM,KAAK,GAAG,CAAC,OAAO,GAAG,IAAI,EAAE,SAAS,GAAG,MAAM,EAAW,EAAE,CAAC,CAAC;IACrE,IAAI,EAAE,MAAM;IACZ,OAAO;IACP,SAAS;CACV,CAAC,CAAC;AAJU,QAAA,KAAK,SAIf;AAEI,MAAM,OAAO,GAAG,CAAC,OAAO,GAAG,IAAI,EAAE,SAAS,GAAG,MAAM,EAAW,EAAE,CAAC,CAAC;IACvE,IAAI,EAAE,QAAQ;IACd,OAAO;IACP,SAAS;CACV,CAAC,CAAC;AAJU,QAAA,OAAO,WAIjB;AAEI,MAAM,MAAM,GAAG,CACpB,IAAa,EACb,EAAW,EACX,OAAO,GAAG,IAAI,EACd,SAAS,GAAG,MAAM,EACT,EAAE,CAAC,CAAC;IACb,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE;IACjC,OAAO;IACP,SAAS;CACV,CAAC,CAAC;AATU,QAAA,MAAM,UAShB;AAEI,MAAM,MAAM,GAAG,CAAC,IAAc,EAAE,OAAe,EAAE,SAAiB,EAAW,EAAE,CAAC,CAAC;IACtF,IAAI;IACJ,OAAO;IACP,SAAS;CACV,CAAC,CAAC;AAJU,QAAA,MAAM,UAIhB;AAEH,kDAAkD;AAE3C,MAAM,IAAI,GAAG,CAAC,KAAgC,EAAS,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;AAA7E,QAAA,IAAI,QAAyE;AACnF,MAAM,IAAI,GAAG,CAAC,IAAY,EAAS,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AAAxD,QAAA,IAAI,QAAoD;AAC9D,MAAM,MAAM,GAAG,CACpB,EAA2C,EAC3C,IAAW,EACX,KAAY,EACL,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;AAJpC,QAAA,MAAM,UAI8B;AAC1C,MAAM,GAAG,GAAG,CAAC,IAAW,EAAE,CAAQ,EAAE,CAAQ,EAAS,EAAE,CAAC,CAAC;IAC9D,IAAI,EAAE,IAAI;IACV,IAAI;IACJ,IAAI,EAAE,CAAC;IACP,IAAI,EAAE,CAAC;CACR,CAAC,CAAC;AALU,QAAA,GAAG,OAKb;AACI,MAAM,IAAI,GAAG,CAAC,KAAa,EAAE,SAAkB,EAAE,IAAW,EAAS,EAAE,CAAC,CAAC;IAC9E,IAAI,EAAE,KAAK;IACX,KAAK;IACL,SAAS;IACT,IAAI;CACL,CAAC,CAAC;AALU,QAAA,IAAI,QAKd;AACI,MAAM,IAAI,GAAG,CAAC,EAAS,EAAE,GAAU,EAAS,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;AAApE,QAAA,IAAI,QAAgE;AAC1E,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,KAAY,EAAE,IAAW,EAAE,QAAkB,EAAS,EAAE,CAAC,CAAC;IAC3F,IAAI,EAAE,KAAK;IACX,IAAI;IACJ,QAAQ;IACR,KAAK;IACL,IAAI;CACL,CAAC,CAAC;AANU,QAAA,IAAI,QAMd;AAEH,2DAA2D;AAE3D,SAAgB,MAAM,CAAC,CAAW,EAAE,CAAW;IAC7C,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IACnE,cAAc;IACd,OAAO,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AAC5D,CAAC;AAED,SAAgB,SAAS,CAAC,CAAU,EAAE,CAAU;IAC9C,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC1C,4EAA4E;IAC5E,2DAA2D;IAC3D,OAAO,IAAI,CAAC;AACd,CAAC;AAED,8CAA8C;AAE9C,SAAgB,YAAY,CAAC,CAAW;IACtC,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC;IACpC,OAAO,IAAI,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC;AACtE,CAAC;AAED,SAAgB,eAAe,CAAC,CAAU;IACxC,MAAM,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;IAChC,IAAI,IAAI,KAAK,EAAE,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;QACnC,OAAO,KAAK,CAAC,CAAC,OAAO,MAAM,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;IACtD,CAAC;IACD,OAAO,KAAK,CAAC,CAAC,OAAO,MAAM,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC;AAChE,CAAC;AAED,SAAgB,YAAY,CAAC,CAAQ;IACnC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,KAAK;YACR,OAAO,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACjF,KAAK,KAAK;YACR,OAAO,CAAC,CAAC,IAAI,CAAC;QAChB,KAAK,OAAO;YACV,OAAO,IAAI,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;QACtE,KAAK,IAAI;YACP,OAAO,MAAM,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QAChG,KAAK,KAAK;YACR,OAAO,MAAM,CAAC,CAAC,KAAK,MAAM,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QACtF,KAAK,KAAK;YACR,OAAO,IAAI,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;QAC1D,KAAK,KAAK;YACR,OAAO,OAAO,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,eAAe,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;IACzI,CAAC;AACH,CAAC"}

package/dist/runtime/abduction/entails.d.ts

@@ -0,0 +1,21 @@
+import type { EntailmentOracle, Formula } from './types';
+export interface DefaultEntailsOptions {
+    /** Nombres tratados como variables. Default: `{x,y,z,u,v,w}`. */
+    variableNames?: ReadonlySet<string>;
+    /** Tope de iteraciones de forward-chaining. Default 1000. */
+    maxIterations?: number;
+}
+/**
+ * Oráculo de entailment por defecto. Forward-chaining sobre Horn-like.
+ *
+ * Devuelve `true` sii `target` (ground) es derivable de `premises`.
+ * Si `target` contiene variables se reporta `false` (no soportamos
+ * ∃-targets aquí; usar custom oracle).
+ */
+export declare function defaultEntails(opts?: DefaultEntailsOptions): EntailmentOracle;
+/**
+ * Oráculo de consistencia por defecto. Considera inconsistente sii
+ * el forward-chaining deriva un par {p, ¬p}.
+ */
+export declare function defaultConsistent(opts?: DefaultEntailsOptions): (premises: ReadonlyArray<Formula>) => boolean;
+//# sourceMappingURL=entails.d.ts.map

package/dist/runtime/abduction/entails.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"entails.d.ts","sourceRoot":"","sources":["../../../src/runtime/abduction/entails.ts"],"names":[],"mappings":"AA8BA,OAAO,KAAK,EAAE,gBAAgB,EAAE,OAAO,EAAE,MAAM,SAAS,CAAC;AAwQzD,MAAM,WAAW,qBAAqB;IACpC,iEAAiE;IACjE,aAAa,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACpC,6DAA6D;IAC7D,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,IAAI,GAAE,qBAA0B,GAAG,gBAAgB,CASjF;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAC/B,IAAI,GAAE,qBAA0B,GAC/B,CAAC,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,KAAK,OAAO,CAO/C"}

package/dist/runtime/abduction/entails.js

@@ -0,0 +1,308 @@
+"use strict";
+// ============================================================
+// ST Abduction — Oráculo de entailment por defecto
+// ============================================================
+//
+// Implementación de entailment por forward-chaining sobre un
+// fragmento Horn con unificación simple:
+//
+//   Sintaxis soportada:
+//     - Átomos:   `p`, `bird(tweety)`, `parent(alice, bob)`
+//     - Reglas:   `A → B`  (también acepta `->`)
+//     - Reglas conjuntivas: `A ∧ B → C` (también `&&`, `and`, `,`)
+//     - Negación de conclusión: `A → ¬B` (también `~B`, `!B`)
+//
+//   Variables: identificadores que empiezan con letra minúscula y
+//   están dentro de argumentos de un predicado son variables
+//   universalmente cuantificadas (estilo Prolog implícito).
+//   Constantes: empiezan con mayúscula o son nombres entre comillas;
+//   los demás identificadores se tratan como variables si están
+//   dentro de un predicado.
+//
+//   Por convención de los tests del usuario, `bird(x)` tiene `x` como
+//   variable y `bird(tweety)` tiene `tweety` como constante: usamos
+//   un set de "variable names" configurable, default = nombres de
+//   una sola letra ASCII minúscula (`x`, `y`, `z`, `u`, `v`, `w`).
+//
+// Limitaciones consciente: no es un demostrador FOL completo. Es
+// suficiente para los casos de abducción típicos (diagnóstico,
+// Horn-like). Para fragmentos más ricos, pasar un `EntailmentOracle`
+// custom.
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.defaultEntails = defaultEntails;
+exports.defaultConsistent = defaultConsistent;
+// Reservamos un set chico de variable-names canónicas. Para casos
+// que necesiten más, pasar un EntailmentOracle propio.
+const DEFAULT_VARS = new Set(['x', 'y', 'z', 'u', 'v', 'w']);
+function tokenizeArgs(s) {
+    const out = [];
+    let depth = 0;
+    let cur = '';
+    for (const ch of s) {
+        if (ch === '(') {
+            depth++;
+            cur += ch;
+        }
+        else if (ch === ')') {
+            depth--;
+            cur += ch;
+        }
+        else if (ch === ',' && depth === 0) {
+            out.push(cur.trim());
+            cur = '';
+        }
+        else {
+            cur += ch;
+        }
+    }
+    if (cur.trim().length > 0)
+        out.push(cur.trim());
+    return out;
+}
+function parseAtom(rawIn) {
+    let raw = rawIn.trim();
+    let negated = false;
+    while (raw.startsWith('¬') || raw.startsWith('~') || raw.startsWith('!')) {
+        negated = !negated;
+        raw = raw.slice(1).trim();
+    }
+    const lp = raw.indexOf('(');
+    if (lp === -1) {
+        return { predicate: raw, args: [], negated };
+    }
+    const rp = raw.lastIndexOf(')');
+    if (rp === -1 || rp < lp) {
+        return { predicate: raw, args: [], negated };
+    }
+    const predicate = raw.slice(0, lp).trim();
+    const argsRaw = raw.slice(lp + 1, rp);
+    const args = tokenizeArgs(argsRaw);
+    return { predicate, args, negated };
+}
+function splitImplication(formula) {
+    // Soportar → (→), -> y =>.
+    const arrows = ['→', '->', '=>'];
+    for (const arr of arrows) {
+        const idx = formula.indexOf(arr);
+        if (idx >= 0) {
+            return {
+                lhs: formula.slice(0, idx).trim(),
+                rhs: formula.slice(idx + arr.length).trim(),
+            };
+        }
+    }
+    return null;
+}
+function splitConjunction(lhs) {
+    // Soportar ∧, &&, ` and ` (con espacios), y ',' (a tope).
+    // Procesamos a profundidad-0 para no romper args(a, b).
+    const seps = ['∧', '&&'];
+    for (const s of seps) {
+        if (lhs.includes(s)) {
+            return lhs
+                .split(s)
+                .map((p) => p.trim())
+                .filter((p) => p.length > 0);
+        }
+    }
+    // ' and ' como separador case-insensitive.
+    const andRegex = /\s+and\s+/i;
+    if (andRegex.test(lhs)) {
+        return lhs
+            .split(andRegex)
+            .map((p) => p.trim())
+            .filter((p) => p.length > 0);
+    }
+    // ',' a profundidad 0 (no dentro de args(...)).
+    const parts = [];
+    let depth = 0;
+    let cur = '';
+    for (const ch of lhs) {
+        if (ch === '(') {
+            depth++;
+            cur += ch;
+        }
+        else if (ch === ')') {
+            depth--;
+            cur += ch;
+        }
+        else if (ch === ',' && depth === 0) {
+            parts.push(cur.trim());
+            cur = '';
+        }
+        else {
+            cur += ch;
+        }
+    }
+    if (cur.trim().length > 0)
+        parts.push(cur.trim());
+    return parts.filter((p) => p.length > 0);
+}
+function parseFormula(formula) {
+    const imp = splitImplication(formula);
+    if (imp) {
+        const premises = splitConjunction(imp.lhs).map(parseAtom);
+        const conclusion = parseAtom(imp.rhs);
+        return { premises, conclusion };
+    }
+    return { premises: [], conclusion: parseAtom(formula) };
+}
+function isVariable(term, varNames) {
+    return varNames.has(term);
+}
+function atomKey(a) {
+    const sign = a.negated ? '¬' : '';
+    if (a.args.length === 0)
+        return `${sign}${a.predicate}`;
+    return `${sign}${a.predicate}(${a.args.join(',')})`;
+}
+/** Unifica `pattern` (puede tener vars) con `ground` (sin vars).
+ *  Retorna mapa var→constante o null si falla. Asume ground sin vars. */
+function unify(pattern, ground, varNames, subst) {
+    if (pattern.predicate !== ground.predicate)
+        return null;
+    if (pattern.negated !== ground.negated)
+        return null;
+    if (pattern.args.length !== ground.args.length)
+        return null;
+    const next = new Map(subst);
+    for (let i = 0; i < pattern.args.length; i++) {
+        const pa = pattern.args[i];
+        const ga = ground.args[i];
+        if (pa === undefined || ga === undefined)
+            return null;
+        if (isVariable(pa, varNames)) {
+            const bound = next.get(pa);
+            if (bound !== undefined) {
+                if (bound !== ga)
+                    return null;
+            }
+            else {
+                next.set(pa, ga);
+            }
+        }
+        else if (pa !== ga) {
+            return null;
+        }
+    }
+    return next;
+}
+function applySubst(a, subst) {
+    return {
+        predicate: a.predicate,
+        args: a.args.map((arg) => subst.get(arg) ?? arg),
+        negated: a.negated,
+    };
+}
+function isGround(a, varNames) {
+    return a.args.every((arg) => !isVariable(arg, varNames));
+}
+/** Forward-chaining: deriva el cierre de hechos a partir de premisas. */
+function forwardChain(premises, varNames, maxIterations = 1000) {
+    const parsed = premises.map(parseFormula);
+    const facts = new Set();
+    const rules = [];
+    for (const p of parsed) {
+        if (p.premises.length === 0 && isGround(p.conclusion, varNames)) {
+            facts.add(atomKey(p.conclusion));
+        }
+        else {
+            rules.push(p);
+        }
+    }
+    // Check trivial inconsistency en facts (p y ¬p ambos hechos).
+    for (const f of facts) {
+        if (f.startsWith('¬')) {
+            if (facts.has(f.slice(1)))
+                return { facts, inconsistent: true };
+        }
+        else {
+            if (facts.has(`¬${f}`))
+                return { facts, inconsistent: true };
+        }
+    }
+    let changed = true;
+    let iter = 0;
+    while (changed && iter < maxIterations) {
+        changed = false;
+        iter++;
+        for (const rule of rules) {
+            // Generar todas las substituciones que satisfacen las premisas.
+            const substitutions = matchPremises(rule.premises, facts, varNames);
+            for (const subst of substitutions) {
+                const conc = applySubst(rule.conclusion, subst);
+                if (!isGround(conc, varNames))
+                    continue;
+                const key = atomKey(conc);
+                if (!facts.has(key)) {
+                    // ¿Crea inconsistencia con un hecho existente?
+                    const opposite = conc.negated ? atomKey({ ...conc, negated: false }) : `¬${key}`;
+                    if (facts.has(opposite)) {
+                        facts.add(key);
+                        return { facts, inconsistent: true };
+                    }
+                    facts.add(key);
+                    changed = true;
+                }
+            }
+        }
+    }
+    return { facts, inconsistent: false };
+}
+/** Devuelve todas las substituciones que satisfacen una lista de premisas
+ *  contra el conjunto actual de hechos (ground). */
+function matchPremises(premises, facts, varNames) {
+    if (premises.length === 0)
+        return [new Map()];
+    // Parse facts a atoms ground una sola vez.
+    const groundAtoms = [];
+    for (const f of facts)
+        groundAtoms.push(parseAtom(f));
+    let cur = [new Map()];
+    for (const prem of premises) {
+        const next = [];
+        for (const subst of cur) {
+            const inst = applySubst(prem, subst);
+            for (const ga of groundAtoms) {
+                const u = unify(inst, ga, varNames, subst);
+                if (u !== null)
+                    next.push(u);
+            }
+        }
+        cur = next;
+        if (cur.length === 0)
+            return [];
+    }
+    return cur;
+}
+/**
+ * Oráculo de entailment por defecto. Forward-chaining sobre Horn-like.
+ *
+ * Devuelve `true` sii `target` (ground) es derivable de `premises`.
+ * Si `target` contiene variables se reporta `false` (no soportamos
+ * ∃-targets aquí; usar custom oracle).
+ */
+function defaultEntails(opts = {}) {
+    const varNames = opts.variableNames ?? DEFAULT_VARS;
+    const maxIter = opts.maxIterations ?? 1000;
+    return (premises, target) => {
+        const { facts } = forwardChain(premises, varNames, maxIter);
+        const targetAtom = parseAtom(target);
+        if (!isGround(targetAtom, varNames))
+            return false;
+        return facts.has(atomKey(targetAtom));
+    };
+}
+/**
+ * Oráculo de consistencia por defecto. Considera inconsistente sii
+ * el forward-chaining deriva un par {p, ¬p}.
+ */
+function defaultConsistent(opts = {}) {
+    const varNames = opts.variableNames ?? DEFAULT_VARS;
+    const maxIter = opts.maxIterations ?? 1000;
+    return (premises) => {
+        const { inconsistent } = forwardChain(premises, varNames, maxIter);
+        return !inconsistent;
+    };
+}
+//# sourceMappingURL=entails.js.map

package/dist/runtime/abduction/entails.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"entails.js","sourceRoot":"","sources":["../../../src/runtime/abduction/entails.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,mDAAmD;AACnD,+DAA+D;AAC/D,EAAE;AACF,6DAA6D;AAC7D,yCAAyC;AACzC,EAAE;AACF,wBAAwB;AACxB,4DAA4D;AAC5D,iDAAiD;AACjD,mEAAmE;AACnE,8DAA8D;AAC9D,EAAE;AACF,kEAAkE;AAClE,6DAA6D;AAC7D,4DAA4D;AAC5D,qEAAqE;AACrE,gEAAgE;AAChE,4BAA4B;AAC5B,EAAE;AACF,sEAAsE;AACtE,oEAAoE;AACpE,kEAAkE;AAClE,mEAAmE;AACnE,EAAE;AACF,iEAAiE;AACjE,+DAA+D;AAC/D,qEAAqE;AACrE,UAAU;;AAwRV,wCASC;AAMD,8CASC;AA5SD,kEAAkE;AAClE,uDAAuD;AACvD,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AAc7D,SAAS,YAAY,CAAC,CAAS;IAC7B,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,KAAK,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;QACnB,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,KAAK,EAAE,CAAC;YACR,GAAG,IAAI,EAAE,CAAC;QACZ,CAAC;aAAM,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACtB,KAAK,EAAE,CAAC;YACR,GAAG,IAAI,EAAE,CAAC;QACZ,CAAC;aAAM,IAAI,EAAE,KAAK,GAAG,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YACrC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;YACrB,GAAG,GAAG,EAAE,CAAC;QACX,CAAC;aAAM,CAAC;YACN,GAAG,IAAI,EAAE,CAAC;QACZ,CAAC;IACH,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;QAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;IAChD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,SAAS,CAAC,KAAa;IAC9B,IAAI,GAAG,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IACvB,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,OAAO,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACzE,OAAO,GAAG,CAAC,OAAO,CAAC;QACnB,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC5B,CAAC;IACD,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC5B,IAAI,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;QACd,OAAO,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC;IAC/C,CAAC;IACD,MAAM,EAAE,GAAG,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IAChC,IAAI,EAAE,KAAK,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC;QACzB,OAAO,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC;IAC/C,CAAC;IACD,MAAM,SAAS,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC1C,MAAM,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;IACtC,MAAM,IAAI,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;IACnC,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AACtC,CAAC;AAED,SAAS,gBAAgB,CAAC,OAAe;IACvC,2BAA2B;IAC3B,MAAM,MAAM,GAAG,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACjC,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACjC,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC;YACb,OAAO;gBACL,GAAG,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE;gBACjC,GAAG,EAAE,OAAO,CAAC,KAAK,CAAC,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE;aAC5C,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,gBAAgB,CAAC,GAAW;IACnC,0DAA0D;IAC1D,wDAAwD;IACxD,MAAM,IAAI,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACzB,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;YACpB,OAAO,GAAG;iBACP,KAAK,CAAC,CAAC,CAAC;iBACR,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;iBACpB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;IACD,2CAA2C;IAC3C,MAAM,QAAQ,GAAG,YAAY,CAAC;IAC9B,IAAI,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO,GAAG;aACP,KAAK,CAAC,QAAQ,CAAC;aACf,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;aACpB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACjC,CAAC;IACD,gDAAgD;IAChD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;QACrB,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,KAAK,EAAE,CAAC;YACR,GAAG,IAAI,EAAE,CAAC;QACZ,CAAC;aAAM,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACtB,KAAK,EAAE,CAAC;YACR,GAAG,IAAI,EAAE,CAAC;QACZ,CAAC;aAAM,IAAI,EAAE,KAAK,GAAG,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YACrC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;YACvB,GAAG,GAAG,EAAE,CAAC;QACX,CAAC;aAAM,CAAC;YACN,GAAG,IAAI,EAAE,CAAC;QACZ,CAAC;IACH,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;IAClD,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AAC3C,CAAC;AAED,SAAS,YAAY,CAAC,OAAgB;IACpC,MAAM,GAAG,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;IACtC,IAAI,GAAG,EAAE,CAAC;QACR,MAAM,QAAQ,GAAG,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC1D,MAAM,UAAU,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACtC,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;IAClC,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,UAAU,EAAE,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;AAC1D,CAAC;AAED,SAAS,UAAU,CAAC,IAAY,EAAE,QAA6B;IAC7D,OAAO,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AAC5B,CAAC;AAED,SAAS,OAAO,CAAC,CAAO;IACtB,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IAClC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,CAAC;IACxD,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AACtD,CAAC;AAED;yEACyE;AACzE,SAAS,KAAK,CACZ,OAAa,EACb,MAAY,EACZ,QAA6B,EAC7B,KAA0B;IAE1B,IAAI,OAAO,CAAC,SAAS,KAAK,MAAM,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IACxD,IAAI,OAAO,CAAC,OAAO,KAAK,MAAM,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IACpD,IAAI,OAAO,CAAC,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IAC5D,MAAM,IAAI,GAAG,IAAI,GAAG,CAAiB,KAAK,CAAC,CAAC;IAC5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QACtD,IAAI,UAAU,CAAC,EAAE,EAAE,QAAQ,CAAC,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC3B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,IAAI,KAAK,KAAK,EAAE;oBAAE,OAAO,IAAI,CAAC;YAChC,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YACnB,CAAC;QACH,CAAC;aAAM,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;YACrB,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,UAAU,CAAC,CAAO,EAAE,KAAkC;IAC7D,OAAO;QACL,SAAS,EAAE,CAAC,CAAC,SAAS;QACtB,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC;QAChD,OAAO,EAAE,CAAC,CAAC,OAAO;KACnB,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CAAC,CAAO,EAAE,QAA6B;IACtD,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC;AAC3D,CAAC;AAED,yEAAyE;AACzE,SAAS,YAAY,CACnB,QAAgC,EAChC,QAA6B,EAC7B,aAAa,GAAG,IAAI;IAEpB,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,MAAM,KAAK,GAAoB,EAAE,CAAC;IAElC,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,UAAU,EAAE,QAAQ,CAAC,EAAE,CAAC;YAChE,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;QACnC,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChB,CAAC;IACH,CAAC;IAED,8DAA8D;IAC9D,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACtB,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBAAE,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC;QAClE,CAAC;aAAM,CAAC;YACN,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAAE,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC;QAC/D,CAAC;IACH,CAAC;IAED,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,OAAO,OAAO,IAAI,IAAI,GAAG,aAAa,EAAE,CAAC;QACvC,OAAO,GAAG,KAAK,CAAC;QAChB,IAAI,EAAE,CAAC;QACP,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,gEAAgE;YAChE,MAAM,aAAa,GAAG,aAAa,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;YACpE,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;gBAClC,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;gBAChD,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;oBAAE,SAAS;gBACxC,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;gBAC1B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBACpB,+CAA+C;oBAC/C,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC;oBACjF,IAAI,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;wBACxB,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;wBACf,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC;oBACvC,CAAC;oBACD,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;oBACf,OAAO,GAAG,IAAI,CAAC;gBACjB,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;AACxC,CAAC;AAED;oDACoD;AACpD,SAAS,aAAa,CACpB,QAA6B,EAC7B,KAA0B,EAC1B,QAA6B;IAE7B,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,IAAI,GAAG,EAAkB,CAAC,CAAC;IAE9D,2CAA2C;IAC3C,MAAM,WAAW,GAAW,EAAE,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,KAAK;QAAE,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IAEtD,IAAI,GAAG,GAA0B,CAAC,IAAI,GAAG,EAAkB,CAAC,CAAC;IAC7D,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,MAAM,IAAI,GAA0B,EAAE,CAAC;QACvC,KAAK,MAAM,KAAK,IAAI,GAAG,EAAE,CAAC;YACxB,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACrC,KAAK,MAAM,EAAE,IAAI,WAAW,EAAE,CAAC;gBAC7B,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;gBAC3C,IAAI,CAAC,KAAK,IAAI;oBAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC/B,CAAC;QACH,CAAC;QACD,GAAG,GAAG,IAAI,CAAC;QACX,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;IAClC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AASD;;;;;;GAMG;AACH,SAAgB,cAAc,CAAC,OAA8B,EAAE;IAC7D,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,IAAI,YAAY,CAAC;IACpD,MAAM,OAAO,GAAG,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC;IAC3C,OAAO,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE;QAC1B,MAAM,EAAE,KAAK,EAAE,GAAG,YAAY,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC5D,MAAM,UAAU,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;QACrC,IAAI,CAAC,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC;YAAE,OAAO,KAAK,CAAC;QAClD,OAAO,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAgB,iBAAiB,CAC/B,OAA8B,EAAE;IAEhC,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,IAAI,YAAY,CAAC;IACpD,MAAM,OAAO,GAAG,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC;IAC3C,OAAO,CAAC,QAAQ,EAAE,EAAE;QAClB,MAAM,EAAE,YAAY,EAAE,GAAG,YAAY,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QACnE,OAAO,CAAC,YAAY,CAAC;IACvB,CAAC,CAAC;AACJ,CAAC"}

package/dist/runtime/abduction/find.d.ts

@@ -0,0 +1,18 @@
+import type { AbductionOptions, AbductionProblem, Explanation } from './types';
+/**
+ * Encuentra todas las explicaciones de un problema abductivo.
+ *
+ * - Enumera subsets de abducibles en orden creciente de tamaño.
+ * - Filtra los inconsistentes y los que no implican la observación.
+ * - Calcula minimalidad por inclusión (parsimony) post-hoc.
+ * - Aplica el filtro `preferred` para el output final.
+ */
+export declare function findExplanations(problem: AbductionProblem, opts?: AbductionOptions): Explanation[];
+/**
+ * Devuelve UNA explicación: la "mejor" según `preferred`. Si hay
+ * empate, la primera en orden lex (consistente y reproducible).
+ *
+ * Devuelve `null` si no hay explicación posible.
+ */
+export declare function bestExplanation(problem: AbductionProblem, opts?: AbductionOptions): Explanation | null;
+//# sourceMappingURL=find.d.ts.map

package/dist/runtime/abduction/find.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"find.d.ts","sourceRoot":"","sources":["../../../src/runtime/abduction/find.ts"],"names":[],"mappings":"AAuBA,OAAO,KAAK,EACV,gBAAgB,EAChB,gBAAgB,EAGhB,WAAW,EAGZ,MAAM,SAAS,CAAC;AAwEjB;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAC9B,OAAO,EAAE,gBAAgB,EACzB,IAAI,CAAC,EAAE,gBAAgB,GACtB,WAAW,EAAE,CAsEf;AA6BD;;;;;GAKG;AACH,wBAAgB,eAAe,CAC7B,OAAO,EAAE,gBAAgB,EACzB,IAAI,CAAC,EAAE,gBAAgB,GACtB,WAAW,GAAG,IAAI,CAQpB"}