@stevenvo780/st-lang 4.14.1 → 4.15.1

package/dist/index.js

@@ -43,7 +43,7 @@ exports.TypeChecker = exports.typeCheck = exports.REPL = exports.ProtocolHandler
 exports.explainProof = exports.deriveWithCitations = exports.detectAvailableSMT = exports.SubprocessSMTBackend = exports.MockSMTBackend = exports.toSMTLIB = exports.generateLessonPath = exports.checkAnswer = exports.generateExercise = exports.SnapshotStore = exports.captureSnapshot = exports.generateKeyPair = exports.verifyProof = exports.signProof = exports.hashProof = exports.canonicalize = exports.TptpTokenizerError = exports.TptpParserError = exports.tptpFormulaToFol = exports.tptpToFolProverFormat = exports.emitTptpFormula = exports.emitTptp = exports.parseTptpFormula = exports.parseTptp = exports.toCNF = exports.skolemize = exports.unify = exports.proveFOL = exports.dotExport = exports.defends = exports.isConflictFree = exports.isAdmissible = exports.computeExtensions = exports.exportProofToCoq = exports.exportToCoq = exports.removeUnusedSubproofs = exports.compactModusPonensChain = exports.minifyProof = exports.minimizeCountermodel = exports.streamEval = exports.tryReuseProof = exports.TheoremCache = exports.hashFormula = exports.DerivationCache = exports.shutdownPool = exports.evalParallel = exports.solveCDCLv2 = exports.BaseASTVisitor = exports.visitProgram = exports.visit = void 0;
 exports.lcBetaStep = exports.lcMakeFreshSupply = exports.lcAlphaRename = exports.lcSubstitute = exports.lcFreeVars = exports.lcTermToString = exports.lcAlphaEq = exports.lcApN = exports.lcAp = exports.lcLam = exports.lcVar = exports.mlttTermToString = exports.mlttOccursFree = exports.mlttFreeVars = exports.mlttSubstitute = exports.mlttAlphaBetaEq = exports.mlttAlphaEq = exports.mlttIsNormal = exports.mlttReduceStep = exports.mlttNormalize = exports.mlttIsInferError = exports.mlttCheckType = exports.mlttInferType = exports.mArrow = exports.mSucc = exports.mZero = exports.mNat = exports.mRefl = exports.mId = exports.mSnd = exports.mFst = exports.mPair = exports.mSigma = exports.mApp = exports.mLam = exports.mPi = exports.mUniverse = exports.mVar = exports.chEqType = exports.chTermToString = exports.chTypeToString = exports.ProofConversionError = exports.proofIsConsistent = exports.proofToTerm = exports.termToProof = exports.isNormal = exports.normalize = exports.reduceBeta = exports.isInferError = exports.inferType = void 0;
 exports.isBisimilar = exports.fibonacci = exports.naturals = exports.streamZipWith = exports.streamMap = exports.streamIterate = exports.streamRepeat = exports.streamTake = exports.lsFreeVars = exports.lsTermToString = exports.listsSignature = exports.booleansSignature = exports.naturalNumbersSignature = exports.verifyConjectures = exports.pruneConsequences = exports.synthesizeEqualities = exports.lsEnumerateTerms = exports.ipcBottom = exports.ipcNot = exports.ipcImplies = exports.ipcOr = exports.ipcAnd = exports.ipcAtom = exports.play = exports.winningStrategy = exports.createPropositionalProver = exports.TableauProver = exports.TRANSLATIONS = exports.translateFormula = exports.findTranslationPath = exports.ctlToLTL = exports.ltlToCTL = exports.godelTranslation = exports.glivenkoTranslation = exports.lcChurchMul = exports.lcChurchAdd = exports.lcChurchSucc = exports.lcEvalChurch = exports.lcDecodeChurch = exports.lcChurchNumeral = exports.lcOmegaSmall = exports.lcOmega = exports.lcY = exports.lcS = exports.lcK = exports.lcI = exports.lcIsWHNF = exports.lcIsNormalForm = exports.lcNormalize = exports.lcEtaStep = void 0;
-exports.Semantics = exports.Reasoning = exports.Solvers = exports.TypeTheory = exports.ProofSystems = exports.Logic = exports.CSPHoare = exports.hmSchemeToString = exports.hmTypeToString = exports.HMTypeEnv = exports.hmInstantiate = exports.hmGeneralize = exports.hmResetFreshSupply = exports.hmFreshTypeVar = exports.hmComposeSubsts = exports.hmApplySubst = exports.hmIsUnifyError = exports.hmUnify = exports.hmNormalizeScheme = exports.hmInitialEnv = exports.hmIsInferError = exports.hmInferScheme = exports.hmInfer = exports.hmAlgorithmW = exports.applyHOSubst = exports.hoUnifyPattern = exports.isHigherOrderPattern = exports.hoIsPattern = void 0;
+exports.TacticDSL = exports.LemmaRAG = exports.DLHybridReasoning = exports.DLHybrid = exports.STNotebook = exports.ProofMining = exports.Semantics = exports.Reasoning = exports.Solvers = exports.TypeTheory = exports.ProofSystems = exports.Logic = exports.CSPHoare = exports.hmSchemeToString = exports.hmTypeToString = exports.HMTypeEnv = exports.hmInstantiate = exports.hmGeneralize = exports.hmResetFreshSupply = exports.hmFreshTypeVar = exports.hmComposeSubsts = exports.hmApplySubst = exports.hmIsUnifyError = exports.hmUnify = exports.hmNormalizeScheme = exports.hmInitialEnv = exports.hmIsInferError = exports.hmInferScheme = exports.hmInfer = exports.hmAlgorithmW = exports.applyHOSubst = exports.hoUnifyPattern = exports.isHigherOrderPattern = exports.hoIsPattern = void 0;
 // API programática (uso recomendado para integración)
 var api_1 = require("./api");
 Object.defineProperty(exports, "evaluate", { enumerable: true, get: function () { return api_1.evaluate; } });
@@ -373,4 +373,11 @@ exports.TypeTheory = __importStar(require("./namespaces/type-theory"));
 exports.Solvers = __importStar(require("./namespaces/solvers"));
 exports.Reasoning = __importStar(require("./namespaces/reasoning"));
 exports.Semantics = __importStar(require("./namespaces/semantics"));
+// === Ciclo 3 V4.15 features ===
+exports.ProofMining = __importStar(require("./reasoning/proof-mining"));
+exports.STNotebook = __importStar(require("./format/stnb"));
+exports.DLHybrid = __importStar(require("./logic/profiles/dl-hybrid"));
+exports.DLHybridReasoning = __importStar(require("./reasoning/dl-hybrid"));
+exports.LemmaRAG = __importStar(require("./reasoning/lemma-rag"));
+exports.TacticDSL = __importStar(require("./reasoning/tactic-dsl"));
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";AAAA;;GAEG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEH,sDAAsD;AACtD,6BAmBe;AAlBb,+FAAA,QAAQ,OAAA;AACR,4FAAA,KAAK,OAAA;AACL,4FAAA,KAAK,OAAA;AACL,gGAAA,SAAS,OAAA;AACT,wGAAA,iBAAiB,OAAA;AACjB,mGAAA,YAAY,OAAA;AACZ,4FAAA,KAAK,OAAA;AACL,8FAAA,OAAO,OAAA;AACP,qGAAA,cAAc,OAAA;AACd,iGAAA,UAAU,OAAA;AACV,6FAAA,MAAM,OAAA;AAUR,QAAQ;AACR,0CAAwB;AAExB,QAAQ;AACR,uCAAsC;AAA7B,8FAAA,KAAK,OAAA;AACd,yCAA4D;AAAnD,mGAAA,SAAS,OAAA;AAAS,kGAAA,QAAQ,OAAA;AAEnC,MAAM;AACN,8CAA4B;AAE5B,SAAS;AACT,0CAAyC;AAAhC,gGAAA,MAAM,OAAA;AAEf,WAAW;AACX,wDAAqF;AAA9D,4GAAA,eAAe,OAAA;AAAE,qGAAA,QAAQ,OAAA;AAChD,0EAAmG;AAA1F,uHAAA,sBAAsB,OAAA;AAAE,gHAAA,eAAe,OAAA;AAChD,sEAA6E;AAApE,kHAAA,mBAAmB,OAAA;AAC5B,8CAAkD;AAAzC,2FAAA,MAAM,OAAA;AACf,iEAA8E;AAArE,8GAAA,oBAAoB,OAAA;AAE7B,oCAAoC;AACpC,wDAAkE;AAAzD,4FAAA,IAAI,OAAA;AAAE,iGAAA,SAAS,OAAA;AAExB,wDAAkE;AAAzD,4FAAA,IAAI,OAAA;AAAE,iGAAA,SAAS,OAAA;AACxB,wEAA+F;AAAtF,gHAAA,gBAAgB,OAAA;AAAE,kHAAA,kBAAkB,OAAA;AAE7C,4BAA4B;AAC5B,2CAAoE;AAA3D,0GAAA,gBAAgB,OAAA;AAAE,wGAAA,cAAc,OAAA;AAEzC,uBAAuB;AACvB,iDAAsD;AAA7C,4GAAA,eAAe,OAAA;AAGxB,aAAa;AACb,4DAcyC;AAZvC,gHAAA,oBAAoB,OAAA;AACpB,2GAAA,eAAe,OAAA;AACf,2GAAA,eAAe,OAAA;AACf,iHAAA,qBAAqB,OAAA;AACrB,yGAAA,aAAa,OAAA;AACb,2GAAA,eAAe,OAAA;AACf,8GAAA,kBAAkB,OAAA;AAClB,2GAAA,eAAe,OAAA;AACf,iHAAA,qBAAqB,OAAA;AACrB,8GAAA,kBAAkB,OAAA;AAClB,0GAAA,cAAc,OAAA;AACd,kHAAA,sBAAsB,OAAA;AAGxB,6EAA6E;AAC7E,gDAAmE;AAA1D,gGAAA,UAAU,OAAA;AAAE,gGAAA,UAAU,OAAA;AAQ/B,UAAU;AACV,qDAAoD;AAA3C,0GAAA,WAAW,OAAA;AAEpB,WAAW;AACX,8CAAqD;AAA5C,0GAAA,eAAe,OAAA;AAExB,OAAO;AACP,oCAAmC;AAA1B,4FAAA,IAAI,OAAA;AAEb,4DAA4D;AAC5D,iDAA6D;AAApD,sGAAA,SAAS,OAAA;AAAE,wGAAA,WAAW,OAAA;AAG/B,4BAA4B;AAC5B,yCAAoE;AAA3D,gGAAA,KAAK,OAAA;AAAE,uGAAA,YAAY,OAAA;AAAE,yGAAA,cAAc,OAAA;AAG5C,UAAU;AACV,4CAA+C;AAAtC,sGAAA,WAAW,OAAA;AAEpB,gBAAgB;AAChB,+CAAgE;AAAvD,wGAAA,YAAY,OAAA;AAAE,wGAAA,YAAY,OAAA;AAGnC,cAAc;AACd,uCAA8D;AAArD,uGAAA,eAAe,OAAA;AAAE,mGAAA,WAAW,OAAA;AAErC,0CAA0C;AAC1C,yDAAsE;AAA7D,6GAAA,YAAY,OAAA;AAAE,8GAAA,aAAa,OAAA;AAQpC,YAAY;AACZ,iDAAiD;AAAxC,uGAAA,UAAU,OAAA;AAGnB,4BAA4B;AAC5B,+DAAkE;AAAzD,wHAAA,oBAAoB,OAAA;AAO7B,qBAAqB;AACrB,6DAIsC;AAHpC,2GAAA,WAAW,OAAA;AACX,uHAAA,uBAAuB,OAAA;AACvB,qHAAA,qBAAqB,OAAA;AASvB,eAAe;AACf,+CAAwE;AAA/D,kGAAA,WAAW,OAAA;AAAE,uGAAA,gBAAgB,OAAA;AAEtC,iCAAiC;AACjC,2DAMmC;AALjC,kHAAA,iBAAiB,OAAA;AACjB,6GAAA,YAAY,OAAA;AACZ,+GAAA,cAAc,OAAA;AACd,wGAAA,OAAO,OAAA;AACP,0GAAA,SAAS,OAAA;AASX,aAAa;AACb,yDAA+E;AAAtE,sGAAA,QAAQ,OAAA;AAAE,mGAAA,KAAK,OAAA;AAAE,uGAAA,SAAS,OAAA;AAAE,mGAAA,KAAK,OAAA;AAE1C,4CAA4C;AAC5C,uCASwB;AARtB,iGAAA,SAAS,OAAA;AACT,wGAAA,YAAY,OAAoB;AAChC,gGAAA,QAAQ,OAAA;AACR,uGAAA,WAAW,OAAmB;AAC9B,6GAAA,iBAAiB,OAAyB;AAC1C,wGAAA,gBAAgB,OAAA;AAChB,uGAAA,eAAe,OAAA;AACf,0GAAA,kBAAkB,OAAA;AAWpB,iBAAiB;AACjB,iEAMwC;AALtC,8GAAA,YAAY,OAAA;AACZ,2GAAA,SAAS,OAAA;AACT,2GAAA,SAAS,OAAA;AACT,6GAAA,WAAW,OAAA;AACX,iHAAA,eAAe,OAAA;AAIjB,cAAc;AACd,qDAAuE;AAA9D,8GAAA,eAAe,OAAA;AAAE,4GAAA,aAAa,OAAA;AAGvC,cAAc;AACd,qDAA0F;AAAjF,+GAAA,gBAAgB,OAAA;AAAE,0GAAA,WAAW,OAAA;AAAE,iHAAA,kBAAkB,OAAA;AAG1D,aAAa;AACb,oCAAkG;AAAzF,+FAAA,QAAQ,OAAA;AAAE,qGAAA,cAAc,OAAA;AAAE,2GAAA,oBAAoB,OAAA;AAAE,yGAAA,kBAAkB,OAAA;AAG3E,0BAA0B;AAC1B,qEAAmF;AAA1E,yHAAA,mBAAmB,OAAA;AAAE,kHAAA,YAAY,OAAA;AAS1C,8CAA8C;AAC9C,2DAaoC;AAZlC,yGAAA,SAAS,OAAA;AACT,4GAAA,YAAY,OAAA;AACZ,0GAAA,UAAU,OAAA;AACV,yGAAA,SAAS,OAAA;AACT,wGAAA,QAAQ,OAAA;AACR,2GAAA,WAAW,OAAA;AACX,2GAAA,WAAW,OAAA;AACX,iHAAA,iBAAiB,OAAA;AACjB,oHAAA,oBAAoB,OAAA;AACpB,8GAAA,YAAY,OAAkB;AAC9B,8GAAA,YAAY,OAAkB;AAC9B,wGAAA,MAAM,OAAY;AAWpB,yDAAyD;AACzD,2CA4B4B;AA3B1B,4FAAA,IAAI,OAAA;AACJ,iGAAA,SAAS,OAAA;AACT,2FAAA,GAAG,OAAA;AACH,4FAAA,IAAI,OAAA;AACJ,4FAAA,IAAI,OAAA;AACJ,8FAAA,MAAM,OAAA;AACN,6FAAA,KAAK,OAAA;AACL,4FAAA,IAAI,OAAA;AACJ,4FAAA,IAAI,OAAA;AACJ,2FAAA,GAAG,OAAA;AACH,6FAAA,KAAK,OAAA;AACL,4FAAA,IAAI,OAAA;AACJ,6FAAA,KAAK,OAAA;AACL,6FAAA,KAAK,OAAA;AACL,8FAAA,MAAM,OAAA;AACN,qGAAA,SAAS,OAAiB;AAC1B,qGAAA,SAAS,OAAiB;AAC1B,wGAAA,YAAY,OAAoB;AAChC,qGAAA,SAAS,OAAiB;AAC1B,sGAAA,UAAU,OAAkB;AAC5B,oGAAA,QAAQ,OAAgB;AACxB,mGAAA,OAAO,OAAe;AACtB,uGAAA,WAAW,OAAmB;AAC9B,sGAAA,UAAU,OAAkB;AAC5B,oGAAA,QAAQ,OAAgB;AACxB,sGAAA,UAAU,OAAkB;AAC5B,wGAAA,YAAY,OAAoB;AAQlC,2EAA2E;AAC3E,yDA4BmC;AA3BjC,oGAAA,CAAC,OAAS;AACV,oGAAA,GAAG,OAAS;AACZ,mGAAA,EAAE,OAAQ;AACV,oGAAA,GAAG,OAAS;AACZ,wGAAA,OAAO,OAAa;AACpB,6GAAA,YAAY,OAAkB;AAC9B,yGAAA,QAAQ,OAAc;AACtB,2GAAA,UAAU,OAAgB;AAC1B,4GAAA,WAAW,OAAiB;AAC5B,gHAAA,eAAe,OAAqB;AACpC,yGAAA,QAAQ,OAAc;AACtB,wGAAA,OAAO,OAAa;AACpB,0GAAA,SAAS,OAAe;AACxB,6GAAA,YAAY,OAAkB;AAC9B,uGAAA,oBAAoB,OAAY;AAChC,kGAAA,CAAC,OAAO;AACR,kGAAA,CAAC,OAAO;AACR,kGAAA,CAAC,OAAO;AACR,kGAAA,CAAC,OAAO;AACR,sGAAA,KAAK,OAAW;AAChB,2GAAA,UAAU,OAAgB;AAC1B,8GAAA,aAAa,OAAmB;AAChC,6GAAA,YAAY,OAAkB;AAC9B,2GAAA,UAAU,OAAgB;AAC1B,2GAAA,UAAU,OAAgB;AAC1B,0GAAA,SAAS,OAAe;AACxB,0GAAA,SAAS,OAAe;AAU1B,uDAAuD;AACvD,yDAQgC;AAP9B,qHAAA,mBAAmB,OAAA;AACnB,kHAAA,gBAAgB,OAAA;AAChB,0GAAA,QAAQ,OAAA;AACR,0GAAA,QAAQ,OAAA;AACR,qHAAA,mBAAmB,OAAA;AACnB,kHAAA,gBAAgB,OAAA;AAChB,8GAAA,YAAY,OAAA;AAId,qDAAqD;AACrD,uEAA6F;AAApF,kHAAA,aAAa,OAAA;AAAE,8HAAA,yBAAyB,OAAA;AASjD,6DAA6D;AAC7D,6DASoC;AARlC,iHAAA,eAAe,OAAA;AACf,sGAAA,IAAI,OAAA;AACJ,yGAAA,OAAO,OAAA;AACP,wGAAA,MAAM,OAAA;AACN,uGAAA,KAAK,OAAA;AACL,4GAAA,UAAU,OAAA;AACV,wGAAA,MAAM,OAAA;AACN,2GAAA,SAAS,OAAA;AAIX,0DAA0D;AAC1D,+DAUqC;AATnC,mHAAA,cAAc,OAAoB;AAClC,uHAAA,oBAAoB,OAAA;AACpB,oHAAA,iBAAiB,OAAA;AACjB,oHAAA,iBAAiB,OAAA;AACjB,0HAAA,uBAAuB,OAAA;AACvB,oHAAA,iBAAiB,OAAA;AACjB,iHAAA,cAAc,OAAA;AACd,iHAAA,YAAY,OAAkB;AAC9B,6GAAA,QAAQ,OAAc;AAYxB,oDAAoD;AACpD,uDASiC;AAR/B,yGAAA,IAAI,OAAc;AAClB,2GAAA,MAAM,OAAgB;AACtB,4GAAA,OAAO,OAAiB;AACxB,wGAAA,GAAG,OAAa;AAChB,4GAAA,OAAO,OAAiB;AACxB,uGAAA,QAAQ,OAAA;AACR,wGAAA,SAAS,OAAA;AACT,0GAAA,WAAW,OAAA;AAIb,qDAAqD;AACrD,yEAK4C;AAJ1C,iHAAA,SAAS,OAAe;AACxB,0HAAA,oBAAoB,OAAA;AACpB,oHAAA,YAAY,OAAkB;AAC9B,kHAAA,YAAY,OAAA;AAId,mEAAmE;AACnE,+DAkBsC;AAjBpC,8GAAA,UAAU,OAAgB;AAC1B,yGAAA,KAAK,OAAW;AAChB,+GAAA,WAAW,OAAiB;AAC5B,gHAAA,YAAY,OAAkB;AAC9B,8GAAA,UAAU,OAAgB;AAC1B,mHAAA,eAAe,OAAqB;AACpC,yGAAA,KAAK,OAAW;AAChB,gHAAA,YAAY,OAAkB;AAC9B,8GAAA,UAAU,OAAgB;AAC1B,iHAAA,aAAa,OAAmB;AAChC,gHAAA,YAAY,OAAkB;AAC9B,oHAAA,gBAAgB,OAAsB;AACtC,8GAAA,UAAU,OAAgB;AAC1B,+GAAA,WAAW,OAAiB;AAC5B,2GAAA,OAAO,OAAa;AACpB,gHAAA,YAAY,OAAkB;AAC9B,kHAAA,cAAc,OAAoB;AAWpC,oEAAoE;AACpE,+EAA+E;AAC/E,4EAA4E;AAC5E,gEAAgD;AAEhD,gFAAgF;AAChF,8EAA8E;AAC9E,mEAAmE;AACnE,EAAE;AACF,yEAAyE;AACzE,6EAA6E;AAC7E,8EAA8E;AAC9E,4DAA4C;AAC5C,2EAA2D;AAC3D,uEAAuD;AACvD,gEAAgD;AAChD,oEAAoD;AACpD,oEAAoD"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";AAAA;;GAEG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEH,sDAAsD;AACtD,6BAmBe;AAlBb,+FAAA,QAAQ,OAAA;AACR,4FAAA,KAAK,OAAA;AACL,4FAAA,KAAK,OAAA;AACL,gGAAA,SAAS,OAAA;AACT,wGAAA,iBAAiB,OAAA;AACjB,mGAAA,YAAY,OAAA;AACZ,4FAAA,KAAK,OAAA;AACL,8FAAA,OAAO,OAAA;AACP,qGAAA,cAAc,OAAA;AACd,iGAAA,UAAU,OAAA;AACV,6FAAA,MAAM,OAAA;AAUR,QAAQ;AACR,0CAAwB;AAExB,QAAQ;AACR,uCAAsC;AAA7B,8FAAA,KAAK,OAAA;AACd,yCAA4D;AAAnD,mGAAA,SAAS,OAAA;AAAS,kGAAA,QAAQ,OAAA;AAEnC,MAAM;AACN,8CAA4B;AAE5B,SAAS;AACT,0CAAyC;AAAhC,gGAAA,MAAM,OAAA;AAEf,WAAW;AACX,wDAAqF;AAA9D,4GAAA,eAAe,OAAA;AAAE,qGAAA,QAAQ,OAAA;AAChD,0EAAmG;AAA1F,uHAAA,sBAAsB,OAAA;AAAE,gHAAA,eAAe,OAAA;AAChD,sEAA6E;AAApE,kHAAA,mBAAmB,OAAA;AAC5B,8CAAkD;AAAzC,2FAAA,MAAM,OAAA;AACf,iEAA8E;AAArE,8GAAA,oBAAoB,OAAA;AAE7B,oCAAoC;AACpC,wDAAkE;AAAzD,4FAAA,IAAI,OAAA;AAAE,iGAAA,SAAS,OAAA;AAExB,wDAAkE;AAAzD,4FAAA,IAAI,OAAA;AAAE,iGAAA,SAAS,OAAA;AACxB,wEAA+F;AAAtF,gHAAA,gBAAgB,OAAA;AAAE,kHAAA,kBAAkB,OAAA;AAE7C,4BAA4B;AAC5B,2CAAoE;AAA3D,0GAAA,gBAAgB,OAAA;AAAE,wGAAA,cAAc,OAAA;AAEzC,uBAAuB;AACvB,iDAAsD;AAA7C,4GAAA,eAAe,OAAA;AAGxB,aAAa;AACb,4DAcyC;AAZvC,gHAAA,oBAAoB,OAAA;AACpB,2GAAA,eAAe,OAAA;AACf,2GAAA,eAAe,OAAA;AACf,iHAAA,qBAAqB,OAAA;AACrB,yGAAA,aAAa,OAAA;AACb,2GAAA,eAAe,OAAA;AACf,8GAAA,kBAAkB,OAAA;AAClB,2GAAA,eAAe,OAAA;AACf,iHAAA,qBAAqB,OAAA;AACrB,8GAAA,kBAAkB,OAAA;AAClB,0GAAA,cAAc,OAAA;AACd,kHAAA,sBAAsB,OAAA;AAGxB,6EAA6E;AAC7E,gDAAmE;AAA1D,gGAAA,UAAU,OAAA;AAAE,gGAAA,UAAU,OAAA;AAQ/B,UAAU;AACV,qDAAoD;AAA3C,0GAAA,WAAW,OAAA;AAEpB,WAAW;AACX,8CAAqD;AAA5C,0GAAA,eAAe,OAAA;AAExB,OAAO;AACP,oCAAmC;AAA1B,4FAAA,IAAI,OAAA;AAEb,4DAA4D;AAC5D,iDAA6D;AAApD,sGAAA,SAAS,OAAA;AAAE,wGAAA,WAAW,OAAA;AAG/B,4BAA4B;AAC5B,yCAAoE;AAA3D,gGAAA,KAAK,OAAA;AAAE,uGAAA,YAAY,OAAA;AAAE,yGAAA,cAAc,OAAA;AAG5C,UAAU;AACV,4CAA+C;AAAtC,sGAAA,WAAW,OAAA;AAEpB,gBAAgB;AAChB,+CAAgE;AAAvD,wGAAA,YAAY,OAAA;AAAE,wGAAA,YAAY,OAAA;AAGnC,cAAc;AACd,uCAA8D;AAArD,uGAAA,eAAe,OAAA;AAAE,mGAAA,WAAW,OAAA;AAErC,0CAA0C;AAC1C,yDAAsE;AAA7D,6GAAA,YAAY,OAAA;AAAE,8GAAA,aAAa,OAAA;AAQpC,YAAY;AACZ,iDAAiD;AAAxC,uGAAA,UAAU,OAAA;AAGnB,4BAA4B;AAC5B,+DAAkE;AAAzD,wHAAA,oBAAoB,OAAA;AAO7B,qBAAqB;AACrB,6DAIsC;AAHpC,2GAAA,WAAW,OAAA;AACX,uHAAA,uBAAuB,OAAA;AACvB,qHAAA,qBAAqB,OAAA;AASvB,eAAe;AACf,+CAAwE;AAA/D,kGAAA,WAAW,OAAA;AAAE,uGAAA,gBAAgB,OAAA;AAEtC,iCAAiC;AACjC,2DAMmC;AALjC,kHAAA,iBAAiB,OAAA;AACjB,6GAAA,YAAY,OAAA;AACZ,+GAAA,cAAc,OAAA;AACd,wGAAA,OAAO,OAAA;AACP,0GAAA,SAAS,OAAA;AASX,aAAa;AACb,yDAA+E;AAAtE,sGAAA,QAAQ,OAAA;AAAE,mGAAA,KAAK,OAAA;AAAE,uGAAA,SAAS,OAAA;AAAE,mGAAA,KAAK,OAAA;AAE1C,4CAA4C;AAC5C,uCASwB;AARtB,iGAAA,SAAS,OAAA;AACT,wGAAA,YAAY,OAAoB;AAChC,gGAAA,QAAQ,OAAA;AACR,uGAAA,WAAW,OAAmB;AAC9B,6GAAA,iBAAiB,OAAyB;AAC1C,wGAAA,gBAAgB,OAAA;AAChB,uGAAA,eAAe,OAAA;AACf,0GAAA,kBAAkB,OAAA;AAWpB,iBAAiB;AACjB,iEAMwC;AALtC,8GAAA,YAAY,OAAA;AACZ,2GAAA,SAAS,OAAA;AACT,2GAAA,SAAS,OAAA;AACT,6GAAA,WAAW,OAAA;AACX,iHAAA,eAAe,OAAA;AAIjB,cAAc;AACd,qDAAuE;AAA9D,8GAAA,eAAe,OAAA;AAAE,4GAAA,aAAa,OAAA;AAGvC,cAAc;AACd,qDAA0F;AAAjF,+GAAA,gBAAgB,OAAA;AAAE,0GAAA,WAAW,OAAA;AAAE,iHAAA,kBAAkB,OAAA;AAG1D,aAAa;AACb,oCAAkG;AAAzF,+FAAA,QAAQ,OAAA;AAAE,qGAAA,cAAc,OAAA;AAAE,2GAAA,oBAAoB,OAAA;AAAE,yGAAA,kBAAkB,OAAA;AAG3E,0BAA0B;AAC1B,qEAAmF;AAA1E,yHAAA,mBAAmB,OAAA;AAAE,kHAAA,YAAY,OAAA;AAS1C,8CAA8C;AAC9C,2DAaoC;AAZlC,yGAAA,SAAS,OAAA;AACT,4GAAA,YAAY,OAAA;AACZ,0GAAA,UAAU,OAAA;AACV,yGAAA,SAAS,OAAA;AACT,wGAAA,QAAQ,OAAA;AACR,2GAAA,WAAW,OAAA;AACX,2GAAA,WAAW,OAAA;AACX,iHAAA,iBAAiB,OAAA;AACjB,oHAAA,oBAAoB,OAAA;AACpB,8GAAA,YAAY,OAAkB;AAC9B,8GAAA,YAAY,OAAkB;AAC9B,wGAAA,MAAM,OAAY;AAWpB,yDAAyD;AACzD,2CA4B4B;AA3B1B,4FAAA,IAAI,OAAA;AACJ,iGAAA,SAAS,OAAA;AACT,2FAAA,GAAG,OAAA;AACH,4FAAA,IAAI,OAAA;AACJ,4FAAA,IAAI,OAAA;AACJ,8FAAA,MAAM,OAAA;AACN,6FAAA,KAAK,OAAA;AACL,4FAAA,IAAI,OAAA;AACJ,4FAAA,IAAI,OAAA;AACJ,2FAAA,GAAG,OAAA;AACH,6FAAA,KAAK,OAAA;AACL,4FAAA,IAAI,OAAA;AACJ,6FAAA,KAAK,OAAA;AACL,6FAAA,KAAK,OAAA;AACL,8FAAA,MAAM,OAAA;AACN,qGAAA,SAAS,OAAiB;AAC1B,qGAAA,SAAS,OAAiB;AAC1B,wGAAA,YAAY,OAAoB;AAChC,qGAAA,SAAS,OAAiB;AAC1B,sGAAA,UAAU,OAAkB;AAC5B,oGAAA,QAAQ,OAAgB;AACxB,mGAAA,OAAO,OAAe;AACtB,uGAAA,WAAW,OAAmB;AAC9B,sGAAA,UAAU,OAAkB;AAC5B,oGAAA,QAAQ,OAAgB;AACxB,sGAAA,UAAU,OAAkB;AAC5B,wGAAA,YAAY,OAAoB;AAQlC,2EAA2E;AAC3E,yDA4BmC;AA3BjC,oGAAA,CAAC,OAAS;AACV,oGAAA,GAAG,OAAS;AACZ,mGAAA,EAAE,OAAQ;AACV,oGAAA,GAAG,OAAS;AACZ,wGAAA,OAAO,OAAa;AACpB,6GAAA,YAAY,OAAkB;AAC9B,yGAAA,QAAQ,OAAc;AACtB,2GAAA,UAAU,OAAgB;AAC1B,4GAAA,WAAW,OAAiB;AAC5B,gHAAA,eAAe,OAAqB;AACpC,yGAAA,QAAQ,OAAc;AACtB,wGAAA,OAAO,OAAa;AACpB,0GAAA,SAAS,OAAe;AACxB,6GAAA,YAAY,OAAkB;AAC9B,uGAAA,oBAAoB,OAAY;AAChC,kGAAA,CAAC,OAAO;AACR,kGAAA,CAAC,OAAO;AACR,kGAAA,CAAC,OAAO;AACR,kGAAA,CAAC,OAAO;AACR,sGAAA,KAAK,OAAW;AAChB,2GAAA,UAAU,OAAgB;AAC1B,8GAAA,aAAa,OAAmB;AAChC,6GAAA,YAAY,OAAkB;AAC9B,2GAAA,UAAU,OAAgB;AAC1B,2GAAA,UAAU,OAAgB;AAC1B,0GAAA,SAAS,OAAe;AACxB,0GAAA,SAAS,OAAe;AAU1B,uDAAuD;AACvD,yDAQgC;AAP9B,qHAAA,mBAAmB,OAAA;AACnB,kHAAA,gBAAgB,OAAA;AAChB,0GAAA,QAAQ,OAAA;AACR,0GAAA,QAAQ,OAAA;AACR,qHAAA,mBAAmB,OAAA;AACnB,kHAAA,gBAAgB,OAAA;AAChB,8GAAA,YAAY,OAAA;AAId,qDAAqD;AACrD,uEAA6F;AAApF,kHAAA,aAAa,OAAA;AAAE,8HAAA,yBAAyB,OAAA;AASjD,6DAA6D;AAC7D,6DASoC;AARlC,iHAAA,eAAe,OAAA;AACf,sGAAA,IAAI,OAAA;AACJ,yGAAA,OAAO,OAAA;AACP,wGAAA,MAAM,OAAA;AACN,uGAAA,KAAK,OAAA;AACL,4GAAA,UAAU,OAAA;AACV,wGAAA,MAAM,OAAA;AACN,2GAAA,SAAS,OAAA;AAIX,0DAA0D;AAC1D,+DAUqC;AATnC,mHAAA,cAAc,OAAoB;AAClC,uHAAA,oBAAoB,OAAA;AACpB,oHAAA,iBAAiB,OAAA;AACjB,oHAAA,iBAAiB,OAAA;AACjB,0HAAA,uBAAuB,OAAA;AACvB,oHAAA,iBAAiB,OAAA;AACjB,iHAAA,cAAc,OAAA;AACd,iHAAA,YAAY,OAAkB;AAC9B,6GAAA,QAAQ,OAAc;AAYxB,oDAAoD;AACpD,uDASiC;AAR/B,yGAAA,IAAI,OAAc;AAClB,2GAAA,MAAM,OAAgB;AACtB,4GAAA,OAAO,OAAiB;AACxB,wGAAA,GAAG,OAAa;AAChB,4GAAA,OAAO,OAAiB;AACxB,uGAAA,QAAQ,OAAA;AACR,wGAAA,SAAS,OAAA;AACT,0GAAA,WAAW,OAAA;AAIb,qDAAqD;AACrD,yEAK4C;AAJ1C,iHAAA,SAAS,OAAe;AACxB,0HAAA,oBAAoB,OAAA;AACpB,oHAAA,YAAY,OAAkB;AAC9B,kHAAA,YAAY,OAAA;AAId,mEAAmE;AACnE,+DAkBsC;AAjBpC,8GAAA,UAAU,OAAgB;AAC1B,yGAAA,KAAK,OAAW;AAChB,+GAAA,WAAW,OAAiB;AAC5B,gHAAA,YAAY,OAAkB;AAC9B,8GAAA,UAAU,OAAgB;AAC1B,mHAAA,eAAe,OAAqB;AACpC,yGAAA,KAAK,OAAW;AAChB,gHAAA,YAAY,OAAkB;AAC9B,8GAAA,UAAU,OAAgB;AAC1B,iHAAA,aAAa,OAAmB;AAChC,gHAAA,YAAY,OAAkB;AAC9B,oHAAA,gBAAgB,OAAsB;AACtC,8GAAA,UAAU,OAAgB;AAC1B,+GAAA,WAAW,OAAiB;AAC5B,2GAAA,OAAO,OAAa;AACpB,gHAAA,YAAY,OAAkB;AAC9B,kHAAA,cAAc,OAAoB;AAWpC,oEAAoE;AACpE,+EAA+E;AAC/E,4EAA4E;AAC5E,gEAAgD;AAEhD,gFAAgF;AAChF,8EAA8E;AAC9E,mEAAmE;AACnE,EAAE;AACF,yEAAyE;AACzE,6EAA6E;AAC7E,8EAA8E;AAC9E,4DAA4C;AAC5C,2EAA2D;AAC3D,uEAAuD;AACvD,gEAAgD;AAChD,oEAAoD;AACpD,oEAAoD;AAEpD,iCAAiC;AACjC,wEAAwD;AACxD,4DAA4C;AAC5C,uEAAuD;AACvD,2EAA2D;AAC3D,kEAAkD;AAClD,oEAAoD"}

package/dist/logic/profiles/dl-hybrid/__tests__/differential.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=differential.test.d.ts.map

package/dist/logic/profiles/dl-hybrid/__tests__/differential.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"differential.test.d.ts","sourceRoot":"","sources":["../../../../../src/logic/profiles/dl-hybrid/__tests__/differential.test.ts"],"names":[],"mappings":""}

package/dist/logic/profiles/dl-hybrid/__tests__/differential.test.js

@@ -0,0 +1,141 @@
+"use strict";
+// ============================================================
+// ST dL-Hybrid — Tests para resolución de ODEs y derivada de Lie
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const differential_1 = require("../differential");
+const parser_1 = require("../parser");
+const ast_1 = require("../ast");
+function ode(src) {
+    const p = (0, parser_1.parseProgram)(src);
+    if (p.kind !== 'ode')
+        throw new Error('Esperaba ODE');
+    return p.system;
+}
+(0, vitest_1.describe)('dl-hybrid differential — clasificación', () => {
+    (0, vitest_1.it)("detecta x' = 1 como constante", () => {
+        const sys = ode("{x' = 1}");
+        const k = (0, differential_1.classifyOde)(sys);
+        (0, vitest_1.expect)(k.kind).toBe('constant');
+        if (k.kind === 'constant') {
+            (0, vitest_1.expect)(k.rates.get('x')).toBe(1);
+        }
+    });
+    (0, vitest_1.it)("detecta x' = 2 * x como lineal con a=2 b=0", () => {
+        const sys = ode("{x' = 2 * x}");
+        const k = (0, differential_1.classifyOde)(sys);
+        (0, vitest_1.expect)(k.kind).toBe('linear');
+        if (k.kind === 'linear') {
+            const c = k.coeffs.get('x');
+            (0, vitest_1.expect)(c?.a).toBe(2);
+            (0, vitest_1.expect)(c?.b).toBe(0);
+        }
+    });
+    (0, vitest_1.it)("detecta x' = 3 * x + 5 como lineal con a=3 b=5", () => {
+        const sys = ode("{x' = 3 * x + 5}");
+        const k = (0, differential_1.classifyOde)(sys);
+        (0, vitest_1.expect)(k.kind).toBe('linear');
+        if (k.kind === 'linear') {
+            const c = k.coeffs.get('x');
+            (0, vitest_1.expect)(c?.a).toBe(3);
+            (0, vitest_1.expect)(c?.b).toBe(5);
+        }
+    });
+    (0, vitest_1.it)("rechaza x' = x * y como acoplada (unsupported)", () => {
+        const sys = ode("{x' = x * y}");
+        const k = (0, differential_1.classifyOde)(sys);
+        (0, vitest_1.expect)(k.kind).toBe('unsupported');
+    });
+});
+(0, vitest_1.describe)('dl-hybrid differential — flow analítico', () => {
+    (0, vitest_1.it)("x' = 2 desde x0=1, t=3 → x=7", () => {
+        const sys = ode("{x' = 2}");
+        const s0 = new Map([['x', 1]]);
+        const sT = (0, differential_1.flow)(sys, s0, 3);
+        (0, vitest_1.expect)(sT.get('x')).toBeCloseTo(7, 9);
+    });
+    (0, vitest_1.it)("x' = -1 desde x0=10, t=4 → x=6", () => {
+        const sys = ode("{x' = -1}");
+        const s0 = new Map([['x', 10]]);
+        const sT = (0, differential_1.flow)(sys, s0, 4);
+        (0, vitest_1.expect)(sT.get('x')).toBeCloseTo(6, 9);
+    });
+    (0, vitest_1.it)("x' = x desde x0=1, t=1 → x≈e", () => {
+        const sys = ode("{x' = x}");
+        const s0 = new Map([['x', 1]]);
+        const sT = (0, differential_1.flow)(sys, s0, 1);
+        (0, vitest_1.expect)(sT.get('x')).toBeCloseTo(Math.E, 6);
+    });
+    (0, vitest_1.it)("x' = 2*x desde x0=1, t=ln(2)/2 → x=2", () => {
+        // x(t) = x₀ · e^{2t} = 1 · e^{ln 2} = 2
+        const sys = ode("{x' = 2 * x}");
+        const s0 = new Map([['x', 1]]);
+        const t = Math.log(2) / 2;
+        const sT = (0, differential_1.flow)(sys, s0, t);
+        (0, vitest_1.expect)(sT.get('x')).toBeCloseTo(2, 6);
+    });
+});
+(0, vitest_1.describe)('dl-hybrid differential — derivada de Lie', () => {
+    (0, vitest_1.it)("L_f(x) para x' = 1 da 1 (la propia f)", () => {
+        const sys = ode("{x' = 1}");
+        const lie = (0, differential_1.lieDerivative)((0, ast_1.variable)('x'), sys);
+        // Debe simplificarse a const 1.
+        (0, vitest_1.expect)(lie.kind).toBe('const');
+        if (lie.kind === 'const')
+            (0, vitest_1.expect)(lie.value).toBe(1);
+    });
+    (0, vitest_1.it)("L_f(x) para x' = 2x da 2x", () => {
+        const sys = ode("{x' = 2 * x}");
+        const lie = (0, differential_1.lieDerivative)((0, ast_1.variable)('x'), sys);
+        // Evaluamos en x=3 → 2*3 = 6
+        const v = (0, differential_1.evalSym)(lie, new Map([['x', 3]]));
+        (0, vitest_1.expect)(v).toBeCloseTo(6, 9);
+    });
+    (0, vitest_1.it)("L_f(x²) para x' = 1 da 2x", () => {
+        const sys = ode("{x' = 1}");
+        // candidate p = x²
+        const p = (0, parser_1.parseTerm)('x^2');
+        const lie = (0, differential_1.lieDerivative)(p, sys);
+        // En x=5 da 2*5 = 10
+        const v = (0, differential_1.evalSym)(lie, new Map([['x', 5]]));
+        (0, vitest_1.expect)(v).toBeCloseTo(10, 9);
+    });
+    (0, vitest_1.it)("L_f(x² + y²) para x' = -y, y' = x (rotación) da 0 (invariante exacto)", () => {
+        const sys = {
+            equations: [
+                { varName: 'x', rhs: { kind: 'neg', arg: (0, ast_1.variable)('y') } },
+                { varName: 'y', rhs: (0, ast_1.variable)('x') },
+            ],
+        };
+        // L_f(x²+y²) = 2x*(-y) + 2y*x = 0
+        const p = (0, ast_1.plus)({ kind: 'pow', base: (0, ast_1.variable)('x'), exp: 2 }, {
+            kind: 'pow',
+            base: (0, ast_1.variable)('y'),
+            exp: 2,
+        });
+        const lie = (0, differential_1.lieDerivative)(p, sys);
+        const v = (0, differential_1.evalSym)(lie, new Map([['x', 1], ['y', 2]]));
+        (0, vitest_1.expect)(v).toBeCloseTo(0, 6);
+    });
+});
+(0, vitest_1.describe)('dl-hybrid differential — auxiliares', () => {
+    (0, vitest_1.it)('termIsConstant detecta enteros y resultados simplificados', () => {
+        (0, vitest_1.expect)((0, differential_1.termIsConstant)((0, ast_1.num)(5))).toBe(5);
+        (0, vitest_1.expect)((0, differential_1.termIsConstant)((0, ast_1.plus)((0, ast_1.num)(2), (0, ast_1.num)(3)))).toBe(5);
+        (0, vitest_1.expect)((0, differential_1.termIsConstant)((0, ast_1.variable)('x'))).toBeNull();
+    });
+    (0, vitest_1.it)('termIsLinearIn extrae a, b correctamente para 2*x + 3', () => {
+        const lin = (0, differential_1.termIsLinearIn)((0, ast_1.plus)((0, ast_1.times)((0, ast_1.num)(2), (0, ast_1.variable)('x')), (0, ast_1.num)(3)), 'x');
+        (0, vitest_1.expect)(lin).toEqual({ a: 2, b: 3 });
+    });
+    (0, vitest_1.it)('termIsLinearIn devuelve null si hay otras variables', () => {
+        (0, vitest_1.expect)((0, differential_1.termIsLinearIn)((0, ast_1.plus)((0, ast_1.variable)('x'), (0, ast_1.variable)('y')), 'x')).toBeNull();
+    });
+    (0, vitest_1.it)('termToExpr no falla sobre términos parseados', () => {
+        const t = (0, parser_1.parseTerm)('x + 2 * y');
+        const e = (0, differential_1.termToExpr)(t);
+        (0, vitest_1.expect)(e.kind).toBe('add');
+    });
+});
+//# sourceMappingURL=differential.test.js.map

package/dist/logic/profiles/dl-hybrid/__tests__/differential.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"differential.test.js","sourceRoot":"","sources":["../../../../../src/logic/profiles/dl-hybrid/__tests__/differential.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,iEAAiE;AACjE,+DAA+D;;AAE/D,mCAA8C;AAC9C,kDAQyB;AACzB,sCAAoD;AAEpD,gCAAoD;AAEpD,SAAS,GAAG,CAAC,GAAW;IACtB,MAAM,CAAC,GAAG,IAAA,qBAAY,EAAC,GAAG,CAAC,CAAC;IAC5B,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,cAAc,CAAC,CAAC;IACtD,OAAO,CAAC,CAAC,MAAM,CAAC;AAClB,CAAC;AAED,IAAA,iBAAQ,EAAC,wCAAwC,EAAE,GAAG,EAAE;IACtD,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,GAAG,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAA,0BAAW,EAAC,GAAG,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAChC,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC1B,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,GAAG,GAAG,GAAG,CAAC,cAAc,CAAC,CAAC;QAChC,MAAM,CAAC,GAAG,IAAA,0BAAW,EAAC,GAAG,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC9B,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACxB,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC5B,IAAA,eAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACrB,IAAA,eAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvB,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,GAAG,GAAG,GAAG,CAAC,kBAAkB,CAAC,CAAC;QACpC,MAAM,CAAC,GAAG,IAAA,0BAAW,EAAC,GAAG,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC9B,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACxB,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC5B,IAAA,eAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACrB,IAAA,eAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvB,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,GAAG,GAAG,GAAG,CAAC,cAAc,CAAC,CAAC;QAChC,MAAM,CAAC,GAAG,IAAA,0BAAW,EAAC,GAAG,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,GAAG,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC;QAC5B,MAAM,EAAE,GAAU,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,EAAE,GAAG,IAAA,mBAAI,EAAC,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,GAAG,GAAG,GAAG,CAAC,WAAW,CAAC,CAAC;QAC7B,MAAM,EAAE,GAAU,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QACvC,MAAM,EAAE,GAAG,IAAA,mBAAI,EAAC,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,GAAG,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC;QAC5B,MAAM,EAAE,GAAU,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,EAAE,GAAG,IAAA,mBAAI,EAAC,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,wCAAwC;QACxC,MAAM,GAAG,GAAG,GAAG,CAAC,cAAc,CAAC,CAAC;QAChC,MAAM,EAAE,GAAU,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAC1B,MAAM,EAAE,GAAG,IAAA,mBAAI,EAAC,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,0CAA0C,EAAE,GAAG,EAAE;IACxD,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,GAAG,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC;QAC5B,MAAM,GAAG,GAAG,IAAA,4BAAa,EAAC,IAAA,cAAQ,EAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;QAC9C,gCAAgC;QAChC,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC/B,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO;YAAE,IAAA,eAAM,EAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,GAAG,GAAG,GAAG,CAAC,cAAc,CAAC,CAAC;QAChC,MAAM,GAAG,GAAG,IAAA,4BAAa,EAAC,IAAA,cAAQ,EAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;QAC9C,6BAA6B;QAC7B,MAAM,CAAC,GAAG,IAAA,sBAAO,EAAC,GAAG,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,GAAG,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC;QAC5B,mBAAmB;QACnB,MAAM,CAAC,GAAG,IAAA,kBAAS,EAAC,KAAK,CAAC,CAAC;QAC3B,MAAM,GAAG,GAAG,IAAA,4BAAa,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAClC,qBAAqB;QACrB,MAAM,CAAC,GAAG,IAAA,sBAAO,EAAC,GAAG,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,GAAG,GAAc;YACrB,SAAS,EAAE;gBACT,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAA,cAAQ,EAAC,GAAG,CAAC,EAAE,EAAE;gBAC1D,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,IAAA,cAAQ,EAAC,GAAG,CAAC,EAAE;aACrC;SACF,CAAC;QACF,kCAAkC;QAClC,MAAM,CAAC,GAAG,IAAA,UAAI,EAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAA,cAAQ,EAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE;YAC3D,IAAI,EAAE,KAAK;YACX,IAAI,EAAE,IAAA,cAAQ,EAAC,GAAG,CAAC;YACnB,GAAG,EAAE,CAAC;SACP,CAAC,CAAC;QACH,MAAM,GAAG,GAAG,IAAA,4BAAa,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAClC,MAAM,CAAC,GAAG,IAAA,sBAAO,EAAC,GAAG,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,IAAA,eAAM,EAAC,IAAA,6BAAc,EAAC,IAAA,SAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,6BAAc,EAAC,IAAA,UAAI,EAAC,IAAA,SAAG,EAAC,CAAC,CAAC,EAAE,IAAA,SAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,IAAA,6BAAc,EAAC,IAAA,cAAQ,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,GAAG,GAAG,IAAA,6BAAc,EAAC,IAAA,UAAI,EAAC,IAAA,WAAK,EAAC,IAAA,SAAG,EAAC,CAAC,CAAC,EAAE,IAAA,cAAQ,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,SAAG,EAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAC5E,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,IAAA,eAAM,EAAC,IAAA,6BAAc,EAAC,IAAA,UAAI,EAAC,IAAA,cAAQ,EAAC,GAAG,CAAC,EAAE,IAAA,cAAQ,EAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC7E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,GAAG,IAAA,kBAAS,EAAC,WAAW,CAAC,CAAC;QACjC,MAAM,CAAC,GAAG,IAAA,yBAAU,EAAC,CAAC,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/logic/profiles/dl-hybrid/__tests__/examples.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=examples.test.d.ts.map

package/dist/logic/profiles/dl-hybrid/__tests__/examples.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"examples.test.d.ts","sourceRoot":"","sources":["../../../../../src/logic/profiles/dl-hybrid/__tests__/examples.test.ts"],"names":[],"mappings":""}

package/dist/logic/profiles/dl-hybrid/__tests__/examples.test.js

@@ -0,0 +1,55 @@
+"use strict";
+// ============================================================
+// ST dL-Hybrid — Tests sobre los ejemplos canónicos del directorio
+// ============================================================
+// Versiones programáticas de thermostat.dl, water-tank.dl y traffic-light.dl
+// que verifican que el motor valida (o refuta correctamente) las
+// propiedades documentadas en cada archivo.
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const parser_1 = require("../parser");
+const tableau_1 = require("../tableau");
+const profile_1 = require("../profile");
+(0, vitest_1.describe)('dl-hybrid examples — thermostat', () => {
+    // [ ?(t >= 18); {t' = -1 & t > 17} ] t >= 17
+    // El dominio t > 17 fuerza que la evolución se detenga antes de que
+    // t baje de 17 (estricto), así la post-condición t ≥ 17 se cumple en
+    // todos los puntos del rango.
+    (0, vitest_1.it)('temperatura no cae bajo 17 si arranca >= 18 con t apagado y dominio t > 17', () => {
+        const res = (0, tableau_1.checkValid)((0, parser_1.parseFormula)("[ ?(t >= 18); {t' = -1 & t > 17} ] t >= 17"));
+        (0, vitest_1.expect)(res.status).toBe('valid');
+    });
+});
+(0, vitest_1.describe)('dl-hybrid examples — water-tank', () => {
+    // Versión simplificada: si el sensor dispara la apertura, el tanque
+    // no se desborda mientras el dominio guarda x < 10.
+    (0, vitest_1.it)('tanque no desborda con válvula abierta y dominio x < 10', () => {
+        const res = (0, tableau_1.checkValid)((0, parser_1.parseFormula)("[ ?(x <= 1); v := 1; {x' = 2 & x < 10} ] x <= 10"));
+        (0, vitest_1.expect)(res.status).toBe('valid');
+    });
+});
+(0, vitest_1.describe)('dl-hybrid examples — traffic-light', () => {
+    // Invariante de mutua exclusión: cada transición preserva g + y + r = 1.
+    // Probamos desde estados específicos para evitar la malla con todos
+    // los valores cubriendo cero/uno (la malla por defecto incluiría
+    // muchos estados sin sentido para este ejemplo).
+    (0, vitest_1.it)('transición verde → amarillo preserva g + y + r = 1', () => {
+        // pre: g = 1 & y = 0 & r = 0
+        // tras g := 0; y := 1 queda (0,1,0) → suma 1.
+        const res = (0, tableau_1.checkValid)((0, parser_1.parseFormula)('g = 1 & y = 0 & r = 0 -> [ g := 0; y := 1 ] g + y + r = 1'));
+        (0, vitest_1.expect)(res.status).toBe('valid');
+    });
+    (0, vitest_1.it)('transición amarillo → rojo preserva g + y + r = 1', () => {
+        const res = (0, tableau_1.checkValid)((0, parser_1.parseFormula)('g = 0 & y = 1 & r = 0 -> [ y := 0; r := 1 ] g + y + r = 1'));
+        (0, vitest_1.expect)(res.status).toBe('valid');
+    });
+});
+(0, vitest_1.describe)('dl-hybrid profile — adapter smoke', () => {
+    (0, vitest_1.it)('explainSystem describe el sistema correctamente', () => {
+        const p = new profile_1.DLHybridProfile();
+        const desc = p.explainSystem();
+        (0, vitest_1.expect)(desc).toContain('dL');
+        (0, vitest_1.expect)(desc).toContain('híbridos');
+    });
+});
+//# sourceMappingURL=examples.test.js.map

package/dist/logic/profiles/dl-hybrid/__tests__/examples.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"examples.test.js","sourceRoot":"","sources":["../../../../../src/logic/profiles/dl-hybrid/__tests__/examples.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,mEAAmE;AACnE,+DAA+D;AAC/D,6EAA6E;AAC7E,iEAAiE;AACjE,4CAA4C;;AAE5C,mCAA8C;AAC9C,sCAAyC;AACzC,wCAAwC;AACxC,wCAA6C;AAE7C,IAAA,iBAAQ,EAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,6CAA6C;IAC7C,oEAAoE;IACpE,qEAAqE;IACrE,8BAA8B;IAC9B,IAAA,WAAE,EAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,MAAM,GAAG,GAAG,IAAA,oBAAU,EAAC,IAAA,qBAAY,EAAC,4CAA4C,CAAC,CAAC,CAAC;QACnF,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,oEAAoE;IACpE,oDAAoD;IACpD,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,GAAG,GAAG,IAAA,oBAAU,EAAC,IAAA,qBAAY,EAAC,kDAAkD,CAAC,CAAC,CAAC;QACzF,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,yEAAyE;IACzE,oEAAoE;IACpE,iEAAiE;IACjE,iDAAiD;IACjD,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,6BAA6B;QAC7B,8CAA8C;QAC9C,MAAM,GAAG,GAAG,IAAA,oBAAU,EACpB,IAAA,qBAAY,EAAC,2DAA2D,CAAC,CAC1E,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,GAAG,GAAG,IAAA,oBAAU,EACpB,IAAA,qBAAY,EAAC,2DAA2D,CAAC,CAC1E,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,GAAG,IAAI,yBAAe,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,CAAC,CAAC,aAAa,EAAE,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/logic/profiles/dl-hybrid/__tests__/parser.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=parser.test.d.ts.map

package/dist/logic/profiles/dl-hybrid/__tests__/parser.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.test.d.ts","sourceRoot":"","sources":["../../../../../src/logic/profiles/dl-hybrid/__tests__/parser.test.ts"],"names":[],"mappings":""}

package/dist/logic/profiles/dl-hybrid/__tests__/parser.test.js

@@ -0,0 +1,149 @@
+"use strict";
+// ============================================================
+// ST dL-Hybrid — Parser tests
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const parser_1 = require("../parser");
+const ast_1 = require("../ast");
+(0, vitest_1.describe)('dl-hybrid parser — términos', () => {
+    (0, vitest_1.it)('parsea números enteros y reales', () => {
+        (0, vitest_1.expect)((0, parser_1.parseTerm)('42')).toEqual({ kind: 'num', value: 42 });
+        (0, vitest_1.expect)((0, parser_1.parseTerm)('3.14')).toEqual({ kind: 'num', value: 3.14 });
+    });
+    (0, vitest_1.it)('parsea variables', () => {
+        (0, vitest_1.expect)((0, parser_1.parseTerm)('x')).toEqual({ kind: 'var', name: 'x' });
+    });
+    (0, vitest_1.it)('parsea aritmética con precedencia correcta', () => {
+        // x + 2 * y debe parsear como x + (2 * y)
+        const t = (0, parser_1.parseTerm)('x + 2 * y');
+        (0, vitest_1.expect)(t).toEqual({
+            kind: 'plus',
+            left: { kind: 'var', name: 'x' },
+            right: {
+                kind: 'times',
+                left: { kind: 'num', value: 2 },
+                right: { kind: 'var', name: 'y' },
+            },
+        });
+    });
+    (0, vitest_1.it)('parsea potencias con exponente entero', () => {
+        (0, vitest_1.expect)((0, parser_1.parseTerm)('x^2')).toEqual({
+            kind: 'pow',
+            base: { kind: 'var', name: 'x' },
+            exp: 2,
+        });
+    });
+    (0, vitest_1.it)('soporta negación unaria', () => {
+        (0, vitest_1.expect)((0, parser_1.parseTerm)('-x')).toEqual({ kind: 'neg', arg: { kind: 'var', name: 'x' } });
+    });
+});
+(0, vitest_1.describe)('dl-hybrid parser — fórmulas', () => {
+    (0, vitest_1.it)('parsea comparaciones básicas', () => {
+        const f = (0, parser_1.parseFormula)('x > 0');
+        (0, vitest_1.expect)(f).toEqual({
+            kind: 'comp',
+            op: '>',
+            left: { kind: 'var', name: 'x' },
+            right: { kind: 'num', value: 0 },
+        });
+    });
+    (0, vitest_1.it)('parsea cada operador relacional', () => {
+        (0, vitest_1.expect)((0, parser_1.parseFormula)('x = 1').kind).toBe('comp');
+        (0, vitest_1.expect)((0, parser_1.parseFormula)('x != 1').kind).toBe('comp');
+        (0, vitest_1.expect)((0, parser_1.parseFormula)('x <= 1').kind).toBe('comp');
+        (0, vitest_1.expect)((0, parser_1.parseFormula)('x >= 1').kind).toBe('comp');
+    });
+    (0, vitest_1.it)('parsea conjunción y disyunción con precedencia', () => {
+        // x > 0 & y > 0 | z > 0  →  (x>0 & y>0) | z>0
+        const f = (0, parser_1.parseFormula)('x > 0 & y > 0 | z > 0');
+        (0, vitest_1.expect)(f.kind).toBe('or');
+    });
+    (0, vitest_1.it)('parsea implicación con asociatividad derecha', () => {
+        const f = (0, parser_1.parseFormula)('x = 0 -> y = 1 -> z = 2');
+        (0, vitest_1.expect)(f.kind).toBe('implies');
+    });
+    (0, vitest_1.it)('parsea booleanos true/false', () => {
+        (0, vitest_1.expect)((0, parser_1.parseFormula)('true')).toEqual({ kind: 'true' });
+        (0, vitest_1.expect)((0, parser_1.parseFormula)('false')).toEqual({ kind: 'false' });
+    });
+    (0, vitest_1.it)('parsea negación', () => {
+        (0, vitest_1.expect)((0, parser_1.parseFormula)('!(x = 0)').kind).toBe('not');
+    });
+    (0, vitest_1.it)('parsea modalidad [α]φ con asignación', () => {
+        const f = (0, parser_1.parseFormula)('[ x := 0 ] x = 0');
+        (0, vitest_1.expect)(f.kind).toBe('box');
+        if (f.kind === 'box') {
+            (0, vitest_1.expect)(f.program.kind).toBe('assign');
+            (0, vitest_1.expect)(f.post.kind).toBe('comp');
+        }
+    });
+    (0, vitest_1.it)('parsea modalidad ⟨α⟩φ con asignación', () => {
+        const f = (0, parser_1.parseFormula)('<x := 1> x > 0');
+        (0, vitest_1.expect)(f.kind).toBe('diamond');
+    });
+});
+(0, vitest_1.describe)('dl-hybrid parser — programas híbridos', () => {
+    (0, vitest_1.it)('parsea asignación simple', () => {
+        const p = (0, parser_1.parseProgram)('x := x + 1');
+        (0, vitest_1.expect)(p.kind).toBe('assign');
+    });
+    (0, vitest_1.it)('parsea asignación no determinista', () => {
+        const p = (0, parser_1.parseProgram)('x := *');
+        (0, vitest_1.expect)(p.kind).toBe('nondet');
+    });
+    (0, vitest_1.it)('parsea test bloqueante', () => {
+        const p = (0, parser_1.parseProgram)('?(x > 0)');
+        (0, vitest_1.expect)(p.kind).toBe('test');
+    });
+    (0, vitest_1.it)('parsea secuencia', () => {
+        const p = (0, parser_1.parseProgram)('x := 0; x := x + 1');
+        (0, vitest_1.expect)(p.kind).toBe('seq');
+    });
+    (0, vitest_1.it)('parsea choice con ++', () => {
+        const p = (0, parser_1.parseProgram)('x := 0 ++ x := 1');
+        (0, vitest_1.expect)(p.kind).toBe('choice');
+    });
+    (0, vitest_1.it)('parsea loop con *', () => {
+        const p = (0, parser_1.parseProgram)('(x := x + 1)*');
+        (0, vitest_1.expect)(p.kind).toBe('loop');
+    });
+    (0, vitest_1.it)('parsea ODE con dominio', () => {
+        const p = (0, parser_1.parseProgram)("{x' = 1 & x < 10}");
+        (0, vitest_1.expect)(p.kind).toBe('ode');
+        if (p.kind === 'ode') {
+            (0, vitest_1.expect)(p.system.equations).toHaveLength(1);
+            (0, vitest_1.expect)(p.system.equations[0]?.varName).toBe('x');
+            (0, vitest_1.expect)(p.system.domain).toBeDefined();
+        }
+    });
+    (0, vitest_1.it)('parsea ODE multi-variable', () => {
+        const p = (0, parser_1.parseProgram)("{x' = 1, y' = 2}");
+        (0, vitest_1.expect)(p.kind).toBe('ode');
+        if (p.kind === 'ode') {
+            (0, vitest_1.expect)(p.system.equations).toHaveLength(2);
+        }
+    });
+    (0, vitest_1.it)('round-trip: programToString invertible para casos simples', () => {
+        const p = (0, parser_1.parseProgram)('x := x + 1');
+        const s = (0, ast_1.programToString)(p);
+        const p2 = (0, parser_1.parseProgram)(s);
+        (0, vitest_1.expect)(p2.kind).toBe(p.kind);
+    });
+    (0, vitest_1.it)('round-trip: formulaToString preserva estructura', () => {
+        const f = (0, parser_1.parseFormula)('x > 0');
+        (0, vitest_1.expect)((0, ast_1.formulaToString)(f)).toBe('x > 0');
+    });
+    (0, vitest_1.it)('round-trip: termToString recoge variables', () => {
+        const t = (0, parser_1.parseTerm)('x + 1');
+        (0, vitest_1.expect)((0, ast_1.termToString)(t)).toContain('x');
+        (0, vitest_1.expect)((0, ast_1.termToString)(t)).toContain('1');
+    });
+    (0, vitest_1.it)('rechaza tokens sobrantes', () => {
+        (0, vitest_1.expect)(() => (0, parser_1.parseFormula)('x = 0 xxx')).toThrow();
+    });
+    (0, vitest_1.it)('rechaza paréntesis no balanceados', () => {
+        (0, vitest_1.expect)(() => (0, parser_1.parseFormula)('(x = 0')).toThrow();
+    });
+});
+//# sourceMappingURL=parser.test.js.map

package/dist/logic/profiles/dl-hybrid/__tests__/parser.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.test.js","sourceRoot":"","sources":["../../../../../src/logic/profiles/dl-hybrid/__tests__/parser.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,8BAA8B;AAC9B,+DAA+D;;AAE/D,mCAA8C;AAC9C,sCAAkE;AAClE,gCAAwE;AAExE,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,IAAA,eAAM,EAAC,IAAA,kBAAS,EAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,IAAA,kBAAS,EAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,IAAA,eAAM,EAAC,IAAA,kBAAS,EAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,0CAA0C;QAC1C,MAAM,CAAC,GAAG,IAAA,kBAAS,EAAC,WAAW,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,OAAO,CAAC;YAChB,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;YAChC,KAAK,EAAE;gBACL,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE;gBAC/B,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;aAClC;SACF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,IAAA,eAAM,EAAC,IAAA,kBAAS,EAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC;YAC/B,IAAI,EAAE,KAAK;YACX,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;YAChC,GAAG,EAAE,CAAC;SACP,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,IAAA,eAAM,EAAC,IAAA,kBAAS,EAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;IACpF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAG,IAAA,qBAAY,EAAC,OAAO,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,OAAO,CAAC;YAChB,IAAI,EAAE,MAAM;YACZ,EAAE,EAAE,GAAG;YACP,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;YAChC,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE;SACjC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,IAAA,eAAM,EAAC,IAAA,qBAAY,EAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,IAAA,qBAAY,EAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,IAAA,qBAAY,EAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,IAAA,qBAAY,EAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,8CAA8C;QAC9C,MAAM,CAAC,GAAG,IAAA,qBAAY,EAAC,uBAAuB,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,GAAG,IAAA,qBAAY,EAAC,yBAAyB,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,IAAA,eAAM,EAAC,IAAA,qBAAY,EAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,IAAA,qBAAY,EAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,IAAA,eAAM,EAAC,IAAA,qBAAY,EAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,IAAA,qBAAY,EAAC,kBAAkB,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACrB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACtC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACnC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,IAAA,qBAAY,EAAC,gBAAgB,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,GAAG,IAAA,qBAAY,EAAC,YAAY,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,IAAA,qBAAY,EAAC,QAAQ,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,CAAC,GAAG,IAAA,qBAAY,EAAC,UAAU,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,MAAM,CAAC,GAAG,IAAA,qBAAY,EAAC,oBAAoB,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,CAAC,GAAG,IAAA,qBAAY,EAAC,kBAAkB,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,CAAC,GAAG,IAAA,qBAAY,EAAC,eAAe,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,CAAC,GAAG,IAAA,qBAAY,EAAC,mBAAmB,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACrB,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;YAC3C,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACjD,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;QACxC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,CAAC,GAAG,IAAA,qBAAY,EAAC,kBAAkB,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACrB,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,CAAC,GAAG,IAAA,qBAAY,EAAC,YAAY,CAAC,CAAC;QACrC,MAAM,CAAC,GAAG,IAAA,qBAAe,EAAC,CAAC,CAAC,CAAC;QAC7B,MAAM,EAAE,GAAG,IAAA,qBAAY,EAAC,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,GAAG,IAAA,qBAAY,EAAC,OAAO,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,qBAAe,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,IAAA,kBAAS,EAAC,OAAO,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,kBAAY,EAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,kBAAY,EAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,qBAAY,EAAC,WAAW,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,qBAAY,EAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/logic/profiles/dl-hybrid/__tests__/tableau.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=tableau.test.d.ts.map

package/dist/logic/profiles/dl-hybrid/__tests__/tableau.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tableau.test.d.ts","sourceRoot":"","sources":["../../../../../src/logic/profiles/dl-hybrid/__tests__/tableau.test.ts"],"names":[],"mappings":""}

package/dist/logic/profiles/dl-hybrid/__tests__/tableau.test.js

@@ -0,0 +1,105 @@
+"use strict";
+// ============================================================
+// ST dL-Hybrid — Decision procedure tests
+// ============================================================
+// Casos canónicos del paper de Platzer adaptados al subset.
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const parser_1 = require("../parser");
+const tableau_1 = require("../tableau");
+const valid = (src, opts) => (0, tableau_1.checkValid)((0, parser_1.parseFormula)(src), opts).status === 'valid';
+const sat = (src, opts) => (0, tableau_1.checkSatisfiable)((0, parser_1.parseFormula)(src), opts).status === 'satisfiable';
+(0, vitest_1.describe)('dl-hybrid tableau — asignaciones discretas', () => {
+    (0, vitest_1.it)('[ x := 0 ] x = 0 es válida', () => {
+        (0, vitest_1.expect)(valid('[ x := 0 ] x = 0')).toBe(true);
+    });
+    (0, vitest_1.it)('[ x := 0 ] x > 0 NO es válida', () => {
+        (0, vitest_1.expect)(valid('[ x := 0 ] x > 0')).toBe(false);
+    });
+    (0, vitest_1.it)('precondición → postcondición tras asignación: x >= 0 -> [x := x + 1] x > 0', () => {
+        (0, vitest_1.expect)(valid('x >= 0 -> [ x := x + 1 ] x > 0')).toBe(true);
+    });
+    (0, vitest_1.it)('contraejemplo: x = -1 → [x := x + 1] x > 0 falla', () => {
+        // En estado x=-1, tras x:=x+1 queda x=0, no > 0.
+        const f = (0, parser_1.parseFormula)('[ x := x + 1 ] x > 0');
+        const s = new Map([['x', -1]]);
+        (0, vitest_1.expect)((0, tableau_1.evalInState)(f, s)).toBe(false);
+    });
+    (0, vitest_1.it)('asignación encadenada: [x := 1; x := x + 1] x = 2', () => {
+        (0, vitest_1.expect)(valid('[ x := 1; x := x + 1 ] x = 2')).toBe(true);
+    });
+});
+(0, vitest_1.describe)('dl-hybrid tableau — choice y test', () => {
+    (0, vitest_1.it)('[x := 0 ++ x := 1] x >= 0 es válida', () => {
+        (0, vitest_1.expect)(valid('[ x := 0 ++ x := 1 ] x >= 0')).toBe(true);
+    });
+    (0, vitest_1.it)('[x := 0 ++ x := -1] x >= 0 NO es válida (rama -1 viola)', () => {
+        (0, vitest_1.expect)(valid('[ x := 0 ++ x := -1 ] x >= 0')).toBe(false);
+    });
+    (0, vitest_1.it)('test bloqueante: [?(x > 0); x := 1] x > 0 es válida (vacuous si bloquea)', () => {
+        (0, vitest_1.expect)(valid('[ ?(x > 0); x := 1 ] x > 0')).toBe(true);
+    });
+    (0, vitest_1.it)('test que pasa con precondición: x > 0 -> [?(x > 0)] x > 0', () => {
+        (0, vitest_1.expect)(valid('x > 0 -> [ ?(x > 0) ] x > 0')).toBe(true);
+    });
+});
+(0, vitest_1.describe)('dl-hybrid tableau — diamond (existencial)', () => {
+    (0, vitest_1.it)('<x := 5> x > 0 es válida — existe outcome con x > 0', () => {
+        (0, vitest_1.expect)(valid('<x := 5> x > 0')).toBe(true);
+    });
+    (0, vitest_1.it)('<x := 0> x > 0 NO es válida — único outcome es x=0', () => {
+        (0, vitest_1.expect)(valid('<x := 0> x > 0')).toBe(false);
+    });
+    (0, vitest_1.it)('diamond y choice: <x := 0 ++ x := 1> x > 0 vale (rama 1)', () => {
+        (0, vitest_1.expect)(valid('<x := 0 ++ x := 1> x > 0')).toBe(true);
+    });
+});
+(0, vitest_1.describe)('dl-hybrid tableau — loops bounded', () => {
+    (0, vitest_1.it)('[(x := x + 1)*] true siempre vale', () => {
+        (0, vitest_1.expect)(valid('[(x := x + 1)*] true')).toBe(true);
+    });
+    (0, vitest_1.it)('[x := 0; (x := x + 1)*] x >= 0 es válida (todos los unfolds preservan x >= 0)', () => {
+        (0, vitest_1.expect)(valid('[ x := 0; (x := x + 1)* ] x >= 0')).toBe(true);
+    });
+    (0, vitest_1.it)('[(x := x - 1)*] x >= 0 NO es válida (un unfold rompe la cota)', () => {
+        (0, vitest_1.expect)(valid('[ x := 0; (x := x - 1)* ] x >= 0', { loopUnfold: 2 })).toBe(false);
+    });
+});
+(0, vitest_1.describe)('dl-hybrid tableau — ODEs continuas', () => {
+    (0, vitest_1.it)("[{x' = 1 & x < 5}] x <= 5 es válida con dominio", () => {
+        (0, vitest_1.expect)(valid("[{x' = 1 & x < 5}] x <= 5")).toBe(true);
+    });
+    (0, vitest_1.it)("[{x' = 0}] x = x0 — flujo trivial preserva valor (cualquier x)", () => {
+        // x' = 0 → x permanece constante.
+        // Como x se interpreta como el valor en el estado, [{x'=0}] (x = x0) sólo
+        // tiene sentido con x0 ligado al estado. Probamos invariante simple:
+        // x >= 0 -> [{x' = 0}] x >= 0
+        (0, vitest_1.expect)(valid("x >= 0 -> [{x' = 0}] x >= 0")).toBe(true);
+    });
+    (0, vitest_1.it)("evolución sin dominio: <{x' = 1}> x > 0 vale cuando x >= 0 (acepta t>0)", () => {
+        (0, vitest_1.expect)(valid("x >= 0 -> <{x' = 1}> x >= 0")).toBe(true);
+    });
+});
+(0, vitest_1.describe)('dl-hybrid tableau — satisfiability', () => {
+    (0, vitest_1.it)('x > 0 es satisfacible (testigo: x=1)', () => {
+        (0, vitest_1.expect)(sat('x > 0')).toBe(true);
+    });
+    (0, vitest_1.it)('false NO es satisfacible', () => {
+        (0, vitest_1.expect)(sat('false')).toBe(false);
+    });
+    (0, vitest_1.it)('x > 0 & x < 0 es insatisfacible en la malla', () => {
+        (0, vitest_1.expect)(sat('x > 0 & x < 0')).toBe(false);
+    });
+});
+(0, vitest_1.describe)('dl-hybrid tableau — booleano puro', () => {
+    (0, vitest_1.it)('true es válida', () => {
+        (0, vitest_1.expect)(valid('true')).toBe(true);
+    });
+    (0, vitest_1.it)('false NO es válida', () => {
+        (0, vitest_1.expect)(valid('false')).toBe(false);
+    });
+    (0, vitest_1.it)('tautología clásica: x = 0 | !(x = 0)', () => {
+        (0, vitest_1.expect)(valid('x = 0 | !(x = 0)')).toBe(true);
+    });
+});
+//# sourceMappingURL=tableau.test.js.map

package/dist/logic/profiles/dl-hybrid/__tests__/tableau.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tableau.test.js","sourceRoot":"","sources":["../../../../../src/logic/profiles/dl-hybrid/__tests__/tableau.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,0CAA0C;AAC1C,+DAA+D;AAC/D,4DAA4D;;AAE5D,mCAA8C;AAC9C,sCAAyC;AACzC,wCAAuE;AAGvE,MAAM,KAAK,GAAG,CAAC,GAAW,EAAE,IAAuC,EAAW,EAAE,CAC9E,IAAA,oBAAU,EAAC,IAAA,qBAAY,EAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,MAAM,KAAK,OAAO,CAAC;AAEzD,MAAM,GAAG,GAAG,CAAC,GAAW,EAAE,IAA6C,EAAW,EAAE,CAClF,IAAA,0BAAgB,EAAC,IAAA,qBAAY,EAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,MAAM,KAAK,aAAa,CAAC;AAErE,IAAA,iBAAQ,EAAC,4CAA4C,EAAE,GAAG,EAAE;IAC1D,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,IAAA,eAAM,EAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,IAAA,eAAM,EAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,IAAA,eAAM,EAAC,KAAK,CAAC,gCAAgC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,iDAAiD;QACjD,MAAM,CAAC,GAAG,IAAA,qBAAY,EAAC,sBAAsB,CAAC,CAAC;QAC/C,MAAM,CAAC,GAAU,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAA,qBAAW,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,IAAA,eAAM,EAAC,KAAK,CAAC,8BAA8B,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,IAAA,eAAM,EAAC,KAAK,CAAC,6BAA6B,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,IAAA,eAAM,EAAC,KAAK,CAAC,8BAA8B,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0EAA0E,EAAE,GAAG,EAAE;QAClF,IAAA,eAAM,EAAC,KAAK,CAAC,4BAA4B,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,IAAA,eAAM,EAAC,KAAK,CAAC,6BAA6B,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,2CAA2C,EAAE,GAAG,EAAE;IACzD,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,IAAA,eAAM,EAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,IAAA,eAAM,EAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,IAAA,eAAM,EAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,IAAA,eAAM,EAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+EAA+E,EAAE,GAAG,EAAE;QACvF,IAAA,eAAM,EAAC,KAAK,CAAC,kCAAkC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,IAAA,eAAM,EAAC,KAAK,CAAC,kCAAkC,EAAE,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,IAAA,eAAM,EAAC,KAAK,CAAC,2BAA2B,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,kCAAkC;QAClC,0EAA0E;QAC1E,qEAAqE;QACrE,8BAA8B;QAC9B,IAAA,eAAM,EAAC,KAAK,CAAC,6BAA6B,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,IAAA,eAAM,EAAC,KAAK,CAAC,6BAA6B,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,IAAA,eAAM,EAAC,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,IAAA,WAAE,EAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,IAAA,eAAM,EAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,IAAA,eAAM,EAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}