@stevenvo780/autologic 2.2.0 → 2.2.2
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/formalize.d.ts.map +1 -1
- package/dist/formalize.js +5 -3
- package/dist/formalize.js.map +1 -1
- package/dist/generator/st-emitter.d.ts.map +1 -1
- package/dist/generator/st-emitter.js +6 -12
- package/dist/generator/st-emitter.js.map +1 -1
- package/dist/llm-parser.d.ts +4 -2
- package/dist/llm-parser.d.ts.map +1 -1
- package/dist/llm-parser.js +102 -27
- package/dist/llm-parser.js.map +1 -1
- package/package.json +1 -1
package/dist/formalize.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"formalize.d.ts","sourceRoot":"","sources":["../src/formalize.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,KAAK,EAAE,gBAAgB,EAAE,mBAAmB,EAAiD,MAAM,SAAS,CAAC;AAmBpH;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,GAAE,gBAAqB,GAAG,mBAAmB,CAmJ3F;AAqBD,OAAO,EAAmC,eAAe,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAC3F,OAAO,EAAsC,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAErF,MAAM,WAAW,uBAAwB,SAAQ,gBAAgB;IAC/D,SAAS,EAAE,SAAS,CAAC;IACrB,mBAAmB,CAAC,EAAE,OAAO,CAAC;CAC/B;AAED,MAAM,WAAW,sBAAuB,SAAQ,mBAAmB;IACjE,iBAAiB,EAAE,kBAAkB,EAAE,CAAC;IACxC,SAAS,CAAC,EAAE,eAAe,CAAC;CAC7B;AAED;;;;GAIG;AACH,wBAAsB,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,uBAAuB,GAAG,OAAO,CAAC,sBAAsB,CAAC,
|
|
1
|
+
{"version":3,"file":"formalize.d.ts","sourceRoot":"","sources":["../src/formalize.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,KAAK,EAAE,gBAAgB,EAAE,mBAAmB,EAAiD,MAAM,SAAS,CAAC;AAmBpH;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,GAAE,gBAAqB,GAAG,mBAAmB,CAmJ3F;AAqBD,OAAO,EAAmC,eAAe,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAC3F,OAAO,EAAsC,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAErF,MAAM,WAAW,uBAAwB,SAAQ,gBAAgB;IAC/D,SAAS,EAAE,SAAS,CAAC;IACrB,mBAAmB,CAAC,EAAE,OAAO,CAAC;CAC/B;AAED,MAAM,WAAW,sBAAuB,SAAQ,mBAAmB;IACjE,iBAAiB,EAAE,kBAAkB,EAAE,CAAC;IACxC,SAAS,CAAC,EAAE,eAAe,CAAC;CAC7B;AAED;;;;GAIG;AACH,wBAAsB,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,uBAAuB,GAAG,OAAO,CAAC,sBAAsB,CAAC,CA2EtH"}
|
package/dist/formalize.js
CHANGED
|
@@ -209,10 +209,12 @@ async function formalizeWithLLM(text, options) {
|
|
|
209
209
|
baseResult.llmRawAst = parsedAst;
|
|
210
210
|
// 3. Traducimos el Árbol JSON a código ST
|
|
211
211
|
const stLines = (0, llm_parser_1.llmResultToST)(parsedAst);
|
|
212
|
-
|
|
212
|
+
let axiomIdx = 0;
|
|
213
|
+
let deriveIdx = 0;
|
|
214
|
+
const generatorInput = stLines.map((line) => ({
|
|
213
215
|
formula: line.formula,
|
|
214
|
-
stType: line.type,
|
|
215
|
-
label: line.type === 'axiom' ? `a${
|
|
216
|
+
stType: line.type === 'derive' ? 'derive' : line.type,
|
|
217
|
+
label: line.type === 'axiom' ? `a${++axiomIdx}` : line.type === 'derive' ? `d${++deriveIdx}` : `c${++deriveIdx}`,
|
|
216
218
|
sourceText: '', sourceSentence: 0
|
|
217
219
|
}));
|
|
218
220
|
const { code: stCode, diagnostics: emitDiags } = (0, st_emitter_1.emitST)({
|
package/dist/formalize.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"formalize.js","sourceRoot":"","sources":["../src/formalize.ts"],"names":[],"mappings":";;AAyCA,8BAmJC;AAuCD,
|
|
1
|
+
{"version":3,"file":"formalize.js","sourceRoot":"","sources":["../src/formalize.ts"],"names":[],"mappings":";;AAyCA,8BAmJC;AAuCD,4CA2EC;AAvSD,2CAAsC;AACtC,2CAA+C;AAC/C,mCAAuC;AACvC,uCAA0C;AAC1C,uDAAgD;AAChD,2DAA0D;AAC1D,qDAA+G;AAE/G,2BAA2B;AAC3B,MAAM,QAAQ,GAA+B;IAC3C,OAAO,EAAE,yBAAyB;IAClC,QAAQ,EAAE,IAAI;IACd,SAAS,EAAE,UAAU;IACrB,eAAe,EAAE,IAAI;IACrB,cAAc,EAAE,IAAI;IACpB,cAAc,EAAE,CAAC;CAClB,CAAC;AAEF;;;;;;;;;;;;;;;GAeG;AACH,SAAgB,SAAS,CAAC,IAAY,EAAE,UAA4B,EAAE;IACpE,MAAM,IAAI,GAAG,EAAE,GAAG,QAAQ,EAAE,GAAG,OAAO,EAAE,CAAC;IACzC,MAAM,WAAW,GAAiB,EAAE,CAAC;IAErC,+CAA+C;IAC/C,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;QAC1B,OAAO,WAAW,CAAC,iCAAiC,EAAE,WAAW,CAAC,CAAC;IACrE,CAAC;IAED,IAAI,CAAC;QAEH,gDAAgD;QAChD,MAAM,aAAa,GAAG,IAAA,uCAAmB,EAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QAC9D,IAAI,aAAa,EAAE,CAAC;YAClB,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,GAAG,IAAA,mBAAM,EAAC;gBACtD,OAAO,EAAE,IAAI,CAAC,OAAO;gBACrB,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,eAAe,EAAE,IAAI,CAAC,eAAe;gBACrC,KAAK,EAAE,IAAI,GAAG,EAAE;gBAChB,QAAQ,EAAE,aAAa,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;oBACxC,OAAO,EAAE,EAAE,CAAC,OAAO;oBACnB,MAAM,EAAE,EAAE,CAAC,IAAI;oBACf,KAAK,EAAE,IAAI,GAAG,GAAC,CAAC,EAAE;oBAClB,UAAU,EAAE,IAAI;oBAChB,cAAc,EAAE,CAAC;iBAClB,CAAC,CAAC;gBACH,gBAAgB,EAAE,CAAC,cAAc,CAAC;aACnC,CAAC,CAAC;YACH,WAAW,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC;YAE/B,OAAO;gBACL,EAAE,EAAE,IAAI;gBACR,MAAM;gBACN,QAAQ,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,iBAAiB,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,EAAE,gBAAgB,EAAE,EAAE,EAAE;gBACtI,KAAK,EAAE,IAAI,GAAG,EAAE;gBAChB,QAAQ,EAAE,EAAE;gBACZ,WAAW;gBACX,YAAY,EAAE,EAAC,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAC;gBACpC,WAAW,EAAE,SAAS;aACvB,CAAA;QACH,CAAC;QAED,+CAA+C;QAC/C,MAAM,SAAS,GAAG,IAAA,mBAAO,EAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QAE/C,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3B,OAAO,WAAW,CAAC,yCAAyC,EAAE,WAAW,CAAC,CAAC;QAC7E,CAAC;QAED,mDAAmD;QACnD,IAAI,WAAW,GAAG,EAAE,CAAC;QACrB,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;YACjC,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;gBACrC,qDAAqD;gBACrD,kCAAkC;gBAClC,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;gBACrC,KAAK,IAAI,CAAC,GAAC,CAAC,EAAE,CAAC,GAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBAClC,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;oBACjC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAC,CAAC,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,CAAC,GAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;wBACtG,WAAW,GAAG,KAAK,CAAC,CAAC,GAAC,CAAC,CAAC,CAAC;oBAC5B,CAAC;gBACH,CAAC;gBAED,sBAAsB;gBACtB,IAAI,WAAW,EAAE,CAAC;oBACf,MAAM,CAAC,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,uCAAuC,EAAE,WAAW,CAAC,CAAC;oBACxF,MAAM,CAAC,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,qBAAqB,EAAE,WAAW,CAAC,CAAC;gBACzE,CAAC;YACJ,CAAC;QACH,CAAC;QAED,+CAA+C;QAC/C,MAAM,QAAQ,GAAG,IAAA,4BAAgB,EAAC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QAE5D,+CAA+C;QAC/C,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,IAAA,oBAAY,EAAC,QAAQ,CAAC,SAAS,EAAE;YACvE,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,OAAO,EAAE,IAAI,CAAC,OAAO;SACtB,CAAC,CAAC;QAEH,+CAA+C;QAC/C,MAAM,QAAQ,GAAG,IAAA,uBAAa,EAC5B,QAAQ,CAAC,SAAS,EAClB,WAAW,EACX,IAAI,CAAC,OAAO,EACZ,QAAQ,CAAC,gBAAgB,CAC1B,CAAC;QAEF,+CAA+C;QAC/C,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,SAAS,EAAE,GAAG,IAAA,mBAAM,EAAC;YAC9C,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,eAAe,EAAE,IAAI,CAAC,eAAe;YACrC,KAAK;YACL,QAAQ;YACR,gBAAgB,EAAE,QAAQ,CAAC,gBAAgB;SAC5C,CAAC,CAAC;QACH,WAAW,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC;QAE/B,+CAA+C;QAC/C,IAAI,YAA2D,CAAC;QAChE,IAAI,WAES,CAAC;QACd,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;YACxB,YAAY,GAAG,IAAA,sBAAU,EAAC,IAAI,CAAC,CAAC;YAChC,WAAW,CAAC,IAAI,CAAC,GAAG,IAAA,mCAAuB,EAAC,YAAY,CAAC,CAAC,CAAC;YAE3D,IAAI,YAAY,CAAC,EAAE,EAAE,CAAC;gBACpB,WAAW,GAAG,IAAA,qBAAS,EAAC,IAAI,CAAC,CAAC;gBAC9B,WAAW,CAAC,IAAI,CAAC,GAAG,IAAA,kCAAsB,EAAC,WAAW,CAAC,CAAC,CAAC;YAC3D,CAAC;QACH,CAAC;QAED,OAAO;YACL,EAAE,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC;YAClD,MAAM,EAAE,IAAI;YACZ,QAAQ;YACR,KAAK;YACL,QAAQ;YACR,WAAW;YACX,YAAY;YACZ,WAAW;SACZ,CAAC;IAEJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACvE,WAAW,CAAC,IAAI,CAAC;YACf,QAAQ,EAAE,OAAO;YACjB,OAAO,EAAE,uCAAuC,OAAO,EAAE;YACzD,IAAI,EAAE,gBAAgB;SACvB,CAAC,CAAC;QAEH,OAAO;YACL,EAAE,EAAE,KAAK;YACT,MAAM,EAAE,EAAE;YACV,QAAQ,EAAE;gBACR,SAAS,EAAE,EAAE;gBACb,iBAAiB,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE;gBACnF,gBAAgB,EAAE,EAAE;aACrB;YACD,KAAK,EAAE,IAAI,GAAG,EAAE;YAChB,QAAQ,EAAE,EAAE;YACZ,WAAW;SACZ,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,WAAW,CAAC,OAAe,EAAE,WAAyB;IAC7D,WAAW,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,CAAC;IACxE,OAAO;QACL,EAAE,EAAE,KAAK;QACT,MAAM,EAAE,EAAE;QACV,QAAQ,EAAE;YACR,SAAS,EAAE,EAAE;YACb,iBAAiB,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE;YACnF,gBAAgB,EAAE,EAAE;SACrB;QACD,KAAK,EAAE,IAAI,GAAG,EAAE;QAChB,QAAQ,EAAE,EAAE;QACZ,WAAW;KACZ,CAAC;AACJ,CAAC;AAED,6CAA2F;AAC3F,2CAAqF;AAYrF;;;;GAIG;AACI,KAAK,UAAU,gBAAgB,CAAC,IAAY,EAAE,OAAgC;IACnF,MAAM,IAAI,GAAG,EAAE,GAAG,QAAQ,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,OAAO,EAAE,CAAC;IACpE,MAAM,UAAU,GAA2B;QACvC,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,iBAAiB,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,EAAE,gBAAgB,EAAE,EAAE,EAAE;QAC7J,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,YAAY,EAAE,EAAC,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAC,EAAE,WAAW,EAAE,SAAS;QAC7G,iBAAiB,EAAE,EAAE;KACxB,CAAC;IAEF,iBAAiB;IACjB,MAAM,iBAAiB,GAAG,IAAA,+BAAmB,EAAC,IAAI,EAAE,yBAAa,CAAC,CAAC;IACnE,UAAU,CAAC,iBAAiB,GAAG,iBAAiB,CAAC;IAEjD,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IACtE,IAAI,SAAS,IAAI,IAAI,CAAC,mBAAmB,EAAE,CAAC;QACxC,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC;YACxB,QAAQ,EAAE,OAAO;YACjB,IAAI,EAAE,iBAAiB;YACvB,OAAO,EAAE,2EAA2E;SACvF,CAAC,CAAC;QACH,OAAO,UAAU,CAAC;IACtB,CAAC;IAED,IAAI,CAAC;QACD,2CAA2C;QAC3C,MAAM,SAAS,GAAG,MAAM,IAAA,6BAAgB,EAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;QAC7E,UAAU,CAAC,SAAS,GAAG,SAAS,CAAC;QAEjC,0CAA0C;QAC1C,MAAM,OAAO,GAAG,IAAA,0BAAa,EAAC,SAAS,CAAC,CAAC;QAEzC,IAAI,QAAQ,GAAG,CAAC,CAAC;QACjB,IAAI,SAAS,GAAG,CAAC,CAAC;QAClB,MAAM,cAAc,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAC1C,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,MAAM,EAAE,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAyB;YACnF,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE;YAChH,UAAU,EAAE,EAAE,EAAE,cAAc,EAAE,CAAC;SACpC,CAAC,CAAC,CAAC;QAEJ,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,GAAG,IAAA,mBAAM,EAAC;YACpD,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,eAAe,EAAE,IAAI,CAAC,eAAe;YACrC,KAAK,EAAE,IAAI,GAAG,EAAE;YAChB,QAAQ,EAAE,cAAc;YACxB,gBAAgB,EAAE,CAAC,eAAe,CAAC;SACtC,CAAC,CAAC;QAEH,UAAU,CAAC,MAAM,GAAG,MAAM,CAAC;QAC3B,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC;QAE1C,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;YACtB,MAAM,YAAY,GAAG,IAAA,sBAAU,EAAC,MAAM,CAAC,CAAC;YACxC,UAAU,CAAC,YAAY,GAAG,YAAY,CAAC;YACvC,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,IAAA,mCAAuB,EAAC,YAAY,CAAC,CAAC,CAAC;YAEtE,IAAI,YAAY,CAAC,EAAE,EAAE,CAAC;gBAClB,MAAM,WAAW,GAAG,IAAA,qBAAS,EAAC,MAAM,CAAC,CAAC;gBACtC,UAAU,CAAC,WAAW,GAAG,WAAW,CAAC;gBACrC,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,IAAA,kCAAsB,EAAC,WAAW,CAAC,CAAC,CAAC;YACxE,CAAC;QACL,CAAC;QAED,MAAM,QAAQ,GAAG,UAAU,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;QAC3E,UAAU,CAAC,EAAE,GAAG,QAAQ,CAAC;QACzB,OAAO,UAAU,CAAC;IAEtB,CAAC;IAAC,OAAO,GAAQ,EAAE,CAAC;QAChB,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC;YACxB,QAAQ,EAAE,OAAO;YACjB,IAAI,EAAE,oBAAoB;YAC1B,OAAO,EAAE,4CAA4C,GAAG,CAAC,OAAO,EAAE;SACrE,CAAC,CAAC;QACH,OAAO,UAAU,CAAC;IACtB,CAAC;AACH,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"st-emitter.d.ts","sourceRoot":"","sources":["../../src/generator/st-emitter.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,KAAK,EAAE,YAAY,EAAE,YAAY,EAAa,UAAU,EAAE,MAAM,UAAU,CAAC;AAElF,UAAU,WAAW;IACnB,OAAO,EAAE,YAAY,CAAC;IACtB,QAAQ,EAAE,IAAI,GAAG,IAAI,CAAC;IACtB,eAAe,EAAE,OAAO,CAAC;IACzB,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC3B,QAAQ,EAAE,YAAY,EAAE,CAAC;IACzB,gBAAgB,EAAE,MAAM,EAAE,CAAC;CAC5B;AAED;;GAEG;AACH,wBAAgB,MAAM,CAAC,OAAO,EAAE,WAAW,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,UAAU,EAAE,CAAA;CAAE,
|
|
1
|
+
{"version":3,"file":"st-emitter.d.ts","sourceRoot":"","sources":["../../src/generator/st-emitter.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,KAAK,EAAE,YAAY,EAAE,YAAY,EAAa,UAAU,EAAE,MAAM,UAAU,CAAC;AAElF,UAAU,WAAW;IACnB,OAAO,EAAE,YAAY,CAAC;IACtB,QAAQ,EAAE,IAAI,GAAG,IAAI,CAAC;IACtB,eAAe,EAAE,OAAO,CAAC;IACzB,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC3B,QAAQ,EAAE,YAAY,EAAE,CAAC;IACzB,gBAAgB,EAAE,MAAM,EAAE,CAAC;CAC5B;AAED;;GAEG;AACH,wBAAgB,MAAM,CAAC,OAAO,EAAE,WAAW,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,UAAU,EAAE,CAAA;CAAE,CA2GxF"}
|
|
@@ -73,24 +73,18 @@ function emitST(options) {
|
|
|
73
73
|
if (derives.length > 0 && checks.length > 0) {
|
|
74
74
|
lines.push('');
|
|
75
75
|
}
|
|
76
|
-
// Emitir checks
|
|
76
|
+
// Emitir checks (solo los generados explícitamente por el pipeline)
|
|
77
77
|
for (const check of checks) {
|
|
78
78
|
if (includeComments && check.comment) {
|
|
79
79
|
lines.push(`// ${check.comment}`);
|
|
80
80
|
}
|
|
81
81
|
lines.push(`check valid (${check.formula})`);
|
|
82
82
|
}
|
|
83
|
-
//
|
|
84
|
-
|
|
85
|
-
|
|
86
|
-
|
|
87
|
-
|
|
88
|
-
lines.push('// ── Verificación ──────────────────────');
|
|
89
|
-
}
|
|
90
|
-
for (const ca of conditionalAxioms) {
|
|
91
|
-
lines.push(`check valid (${ca.formula})`);
|
|
92
|
-
}
|
|
93
|
-
}
|
|
83
|
+
// NOTE: We no longer auto-generate `check valid` for conditional axioms.
|
|
84
|
+
// `check valid` tests tautology (true in ALL interpretations), not argument
|
|
85
|
+
// validity. Contingent conditionals like P→Q are never tautologies, so
|
|
86
|
+
// auto-checking them always fails and produces misleading output.
|
|
87
|
+
// Argument validity is already verified by `derive ... from {axioms}`.
|
|
94
88
|
}
|
|
95
89
|
// Limpiar líneas en blanco consecutivas
|
|
96
90
|
const code = cleanOutput(lines);
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"st-emitter.js","sourceRoot":"","sources":["../../src/generator/st-emitter.ts"],"names":[],"mappings":";;AAoBA,
|
|
1
|
+
{"version":3,"file":"st-emitter.js","sourceRoot":"","sources":["../../src/generator/st-emitter.ts"],"names":[],"mappings":";;AAoBA,wBA2GC;AA9GD;;GAEG;AACH,SAAgB,MAAM,CAAC,OAAoB;IACzC,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,eAAe,EAAE,KAAK,EAAE,QAAQ,EAAE,gBAAgB,EAAE,GAAG,OAAO,CAAC;IAC1F,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,WAAW,GAAiB,EAAE,CAAC;IAErC,+CAA+C;IAC/C,IAAI,eAAe,EAAE,CAAC;QACpB,KAAK,CAAC,IAAI,CAAC,4CAA4C,CAAC,CAAC;QACzD,KAAK,CAAC,IAAI,CAAC,yCAAyC,CAAC,CAAC;QACtD,KAAK,CAAC,IAAI,CAAC,cAAc,OAAO,EAAE,CAAC,CAAC;QACpC,KAAK,CAAC,IAAI,CAAC,cAAc,QAAQ,EAAE,CAAC,CAAC;QACrC,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,gBAAgB,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC5D,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,4CAA4C,CAAC,CAAC;QACzD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,+CAA+C;IAC/C,KAAK,CAAC,IAAI,CAAC,SAAS,OAAO,EAAE,CAAC,CAAC;IAC/B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,+CAA+C;IAC/C,IAAI,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACnB,IAAI,eAAe,EAAE,CAAC;YACpB,KAAK,CAAC,IAAI,CAAC,2CAA2C,CAAC,CAAC;QAC1D,CAAC;QAED,KAAK,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC;YACnC,KAAK,CAAC,IAAI,CAAC,cAAc,IAAI,QAAQ,MAAM,EAAE,CAAC,CAAC;QACjD,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,+CAA+C;IAC/C,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,IAAI,eAAe,EAAE,CAAC;YACpB,KAAK,CAAC,IAAI,CAAC,2CAA2C,CAAC,CAAC;YACxD,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAChC,KAAK,CAAC,IAAI,CAAC,wBAAwB,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACpE,CAAC;QACH,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEf,mBAAmB;QACnB,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC;QAC1D,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC;QAC5D,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC;QAE1D,uDAAuD;QACvD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,eAAe,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;gBACrC,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;YACpC,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,SAAS,KAAK,CAAC,KAAK,MAAM,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QACxD,CAAC;QAED,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,CAAC;QAED,oEAAoE;QACpE,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,IAAI,eAAe,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;gBACtC,KAAK,CAAC,IAAI,CAAC,MAAM,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;YACrC,CAAC;YACD,wDAAwD;YACxD,MAAM,aAAa,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAC/C,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC7B,KAAK,CAAC,IAAI,CAAC,UAAU,MAAM,CAAC,OAAO,UAAU,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC5E,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,IAAI,CAAC,UAAU,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;YACzC,CAAC;QACH,CAAC;QAED,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,CAAC;QAED,oEAAoE;QACpE,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,eAAe,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;gBACrC,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;YACpC,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,gBAAgB,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC;QAC/C,CAAC;QAED,yEAAyE;QACzE,4EAA4E;QAC5E,uEAAuE;QACvE,kEAAkE;QAClE,uEAAuE;IACzE,CAAC;IAED,wCAAwC;IACxC,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IAEhC,iCAAiC;IACjC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,WAAW,CAAC,IAAI,CAAC;YACf,QAAQ,EAAE,SAAS;YACnB,OAAO,EAAE,2GAA2G;YACpH,IAAI,EAAE,aAAa;SACpB,CAAC,CAAC;IACL,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;AAC/B,CAAC;AAED;;GAEG;AACH,SAAS,WAAW,CAAC,KAAe;IAClC,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,YAAY,GAAG,KAAK,CAAC;IAEzB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;QACnC,IAAI,OAAO,IAAI,YAAY;YAAE,SAAS;QACtC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClB,YAAY,GAAG,OAAO,CAAC;IACzB,CAAC;IAED,uCAAuC;IACvC,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACpE,MAAM,CAAC,GAAG,EAAE,CAAC;IACf,CAAC;IAED,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;AAClC,CAAC"}
|
package/dist/llm-parser.d.ts
CHANGED
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
import { LogicNode } from './formula/ast';
|
|
2
2
|
import { LogicProfile } from './types';
|
|
3
3
|
export interface LLMConfig {
|
|
4
|
-
provider: 'openai' | 'anthropic' | 'gemini' | 'custom' | 'ollama' | 'web-distilled';
|
|
4
|
+
provider: 'openai' | 'anthropic' | 'gemini' | 'custom' | 'ollama' | 'openwebui' | 'web-distilled';
|
|
5
5
|
apiKey: string;
|
|
6
6
|
endpoint?: string;
|
|
7
7
|
model?: string;
|
|
@@ -21,9 +21,11 @@ export interface LLMParsedResult {
|
|
|
21
21
|
export declare function parseTextWithLLM(text: string, profile: LogicProfile, config: LLMConfig): Promise<LLMParsedResult>;
|
|
22
22
|
/**
|
|
23
23
|
* Transforma la respuesta estructurada del LLM directamente a líneas de código ST seguras.
|
|
24
|
+
* Conclusions become 'derive' statements (derived from all axioms).
|
|
24
25
|
*/
|
|
25
26
|
export declare function llmResultToST(result: LLMParsedResult): {
|
|
26
27
|
formula: string;
|
|
27
|
-
type: 'axiom' | 'check';
|
|
28
|
+
type: 'axiom' | 'derive' | 'check';
|
|
29
|
+
deriveSources?: string[];
|
|
28
30
|
}[];
|
|
29
31
|
//# sourceMappingURL=llm-parser.d.ts.map
|
package/dist/llm-parser.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"llm-parser.d.ts","sourceRoot":"","sources":["../src/llm-parser.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAO,MAAM,eAAe,CAAC;AAE/C,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAGvC,MAAM,WAAW,SAAS;IACxB,QAAQ,EAAE,QAAQ,GAAG,WAAW,GAAG,QAAQ,GAAG,QAAQ,GAAG,QAAQ,GAAG,eAAe,CAAC;
|
|
1
|
+
{"version":3,"file":"llm-parser.d.ts","sourceRoot":"","sources":["../src/llm-parser.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAO,MAAM,eAAe,CAAC;AAE/C,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAGvC,MAAM,WAAW,SAAS;IACxB,QAAQ,EAAE,QAAQ,GAAG,WAAW,GAAG,QAAQ,GAAG,QAAQ,GAAG,QAAQ,GAAG,WAAW,GAAG,eAAe,CAAC;IAClG,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAGD,MAAM,WAAW,eAAe;IAC9B,MAAM,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,SAAS,CAAA;KAAE,CAAC,CAAC;IACxD,WAAW,EAAE,KAAK,CAAC;QAAE,WAAW,EAAE,SAAS,CAAA;KAAE,CAAC,CAAC;CAChD;AAuED;;GAEG;AACH,wBAAsB,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,SAAS,GAAG,OAAO,CAAC,eAAe,CAAC,CAwGvH;AAED;;;GAGG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,eAAe,GAAG;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,OAAO,GAAG,QAAQ,GAAG,OAAO,CAAC;IAAC,aAAa,CAAC,EAAE,MAAM,EAAE,CAAA;CAAE,EAAE,CAmB1I"}
|
package/dist/llm-parser.js
CHANGED
|
@@ -9,24 +9,71 @@ const local_slm_web_1 = require("./local-slm-web");
|
|
|
9
9
|
* Instruye al LLM para actuar como un destilador proposicional situado.
|
|
10
10
|
*/
|
|
11
11
|
function buildSystemPrompt(profile) {
|
|
12
|
-
return `You are Autologic's semantic AST parser.
|
|
13
|
-
Your goal is to read complex human text
|
|
12
|
+
return `You are Autologic's semantic AST parser.
|
|
13
|
+
Your goal is to read complex human text and translate it into Situated Propositional Logic or bounded First-Order Logic depending on the profile: '${profile}'.
|
|
14
14
|
DO NOT try to resolve or prove the logic. Only extract the claims and their semantic relations.
|
|
15
|
-
AVOID deep First-Order combinatorial explosions.
|
|
15
|
+
AVOID deep First-Order combinatorial explosions. Collapse contextual instances into descriptive propositional atoms like: 'CumpleInformesOrdinarios'.
|
|
16
16
|
|
|
17
|
-
You MUST return a pure JSON object conforming exactly to this
|
|
17
|
+
You MUST return a pure JSON object conforming exactly to this interface, nothing else:
|
|
18
18
|
{
|
|
19
|
-
"axioms": [ { "name": "a1", "formulaJSON":
|
|
20
|
-
"conclusions": [ { "formulaJSON":
|
|
19
|
+
"axioms": [ { "name": "a1", "formulaJSON": <LogicNode> }, ... ],
|
|
20
|
+
"conclusions": [ { "formulaJSON": <LogicNode> } ]
|
|
21
21
|
}
|
|
22
|
-
Available types for formulaJSON:
|
|
23
|
-
- Atom (id)
|
|
24
|
-
- Connective (operator: AND, OR, IMPLIES, IFF, NOT, left, right)
|
|
25
|
-
- Modal (operator: K, B, O, P, BOX, DIA, etc., child, agent)
|
|
26
|
-
- Quantifier (operator: FORALL, EXISTS, variables, child)
|
|
27
|
-
- predicate (name, args: ObjectNode[])
|
|
28
22
|
|
|
29
|
-
|
|
23
|
+
Available LogicNode types for formulaJSON:
|
|
24
|
+
- AtomNode: { "type": "Atom", "id": "CAMEL_CASE_ID", "text": "human readable description" }
|
|
25
|
+
- ConnectiveNode: { "type": "Connective", "operator": "AND"|"OR"|"IMPLIES"|"IFF"|"NOT", "left": <node>, "right": <node> }
|
|
26
|
+
For NOT: { "type": "Connective", "operator": "NOT", "left": <child_node> }
|
|
27
|
+
- ModalNode: { "type": "Modal", "operator": "K"|"B"|"O"|"P"|"F"|"BOX"|"DIA"|"ALWAYS"|"EVENTUALLY"|"NEXT", "child": <node>, "agent": "optional" }
|
|
28
|
+
- QuantifierNode: { "type": "Quantifier", "operator": "FORALL"|"EXISTS", "variables": ["x"], "child": <node> }
|
|
29
|
+
- PredicateNode: { "type": "Predicate", "name": "P", "args": [{"type":"Object","name":"x"}] }
|
|
30
|
+
|
|
31
|
+
Rules:
|
|
32
|
+
- axioms = premises and rules that are assumed true
|
|
33
|
+
- conclusions = what should be derived from axioms
|
|
34
|
+
- Use the SAME Atom id across axioms/conclusions when referring to the same proposition
|
|
35
|
+
- Atom ids must be SCREAMING_SNAKE_CASE
|
|
36
|
+
- Be precise. Return ONLY the raw JSON object. No markdown, no codeblocks.`;
|
|
37
|
+
}
|
|
38
|
+
/**
|
|
39
|
+
* Extracts the first JSON object from a string that may contain markdown fences or trailing text.
|
|
40
|
+
*/
|
|
41
|
+
function extractFirstJSON(raw) {
|
|
42
|
+
// Strip markdown code fences
|
|
43
|
+
let cleaned = raw.replace(/^```json?\s*/m, '').replace(/```\s*$/m, '').trim();
|
|
44
|
+
let braceCount = 0;
|
|
45
|
+
let jsonStart = -1;
|
|
46
|
+
for (let i = 0; i < cleaned.length; i++) {
|
|
47
|
+
if (cleaned[i] === '{') {
|
|
48
|
+
if (jsonStart === -1)
|
|
49
|
+
jsonStart = i;
|
|
50
|
+
braceCount++;
|
|
51
|
+
}
|
|
52
|
+
else if (cleaned[i] === '}') {
|
|
53
|
+
braceCount--;
|
|
54
|
+
if (braceCount === 0 && jsonStart !== -1) {
|
|
55
|
+
return cleaned.substring(jsonStart, i + 1);
|
|
56
|
+
}
|
|
57
|
+
}
|
|
58
|
+
}
|
|
59
|
+
return cleaned;
|
|
60
|
+
}
|
|
61
|
+
/**
|
|
62
|
+
* Parse raw LLM output to LLMParsedResult with validation.
|
|
63
|
+
*/
|
|
64
|
+
function parseAndValidateLLMJSON(raw) {
|
|
65
|
+
const jsonStr = extractFirstJSON(raw);
|
|
66
|
+
try {
|
|
67
|
+
const parsed = JSON.parse(jsonStr);
|
|
68
|
+
if (!parsed.axioms || !Array.isArray(parsed.axioms))
|
|
69
|
+
parsed.axioms = [];
|
|
70
|
+
if (!parsed.conclusions || !Array.isArray(parsed.conclusions))
|
|
71
|
+
parsed.conclusions = [];
|
|
72
|
+
return parsed;
|
|
73
|
+
}
|
|
74
|
+
catch (e) {
|
|
75
|
+
throw new Error(`Failed to parse LLM JSON. Raw (first 300 chars): ${raw.substring(0, 300)}`);
|
|
76
|
+
}
|
|
30
77
|
}
|
|
31
78
|
/**
|
|
32
79
|
* Llama a la API del LLM (usando fetch isomorfico) para abstraer el texto a AST.
|
|
@@ -37,13 +84,13 @@ async function parseTextWithLLM(text, profile, config) {
|
|
|
37
84
|
return await (0, local_slm_web_1.runDistilledWebInference)(text, profile, systemPrompt, config.endpoint);
|
|
38
85
|
}
|
|
39
86
|
if (config.provider === 'ollama') {
|
|
40
|
-
//
|
|
87
|
+
// Ollama native API (direct, no auth)
|
|
41
88
|
const url = config.endpoint || 'http://localhost:11434/api/chat';
|
|
42
89
|
const response = await fetch(url, {
|
|
43
90
|
method: 'POST',
|
|
44
91
|
headers: { 'Content-Type': 'application/json' },
|
|
45
92
|
body: JSON.stringify({
|
|
46
|
-
model: config.model || 'qwen2.5:
|
|
93
|
+
model: config.model || 'qwen2.5-coder:14b',
|
|
47
94
|
messages: [
|
|
48
95
|
{ role: 'system', content: systemPrompt },
|
|
49
96
|
{ role: 'user', content: `Formalize this text:\n\n${text}` }
|
|
@@ -61,12 +108,37 @@ async function parseTextWithLLM(text, profile, config) {
|
|
|
61
108
|
}
|
|
62
109
|
const data = await response.json();
|
|
63
110
|
const rawContent = data.message.content;
|
|
64
|
-
|
|
65
|
-
|
|
66
|
-
|
|
67
|
-
|
|
68
|
-
|
|
111
|
+
return parseAndValidateLLMJSON(rawContent);
|
|
112
|
+
}
|
|
113
|
+
if (config.provider === 'openwebui') {
|
|
114
|
+
// Open WebUI — OpenAI-compatible endpoint with Bearer auth
|
|
115
|
+
if (!config.endpoint)
|
|
116
|
+
throw new Error('openwebui provider requires an explicit endpoint URL in LLMConfig.endpoint');
|
|
117
|
+
const url = config.endpoint;
|
|
118
|
+
const response = await fetch(url, {
|
|
119
|
+
method: 'POST',
|
|
120
|
+
headers: {
|
|
121
|
+
'Content-Type': 'application/json',
|
|
122
|
+
'Authorization': `Bearer ${config.apiKey}`
|
|
123
|
+
},
|
|
124
|
+
body: JSON.stringify({
|
|
125
|
+
model: config.model || 'qwen2.5-coder:14b',
|
|
126
|
+
messages: [
|
|
127
|
+
{ role: 'system', content: systemPrompt },
|
|
128
|
+
{ role: 'user', content: `Formalize this text:\n\n${text}` }
|
|
129
|
+
],
|
|
130
|
+
temperature: 0.1
|
|
131
|
+
})
|
|
132
|
+
});
|
|
133
|
+
if (!response.ok) {
|
|
134
|
+
const errText = await response.text();
|
|
135
|
+
throw new Error(`OpenWebUI API Error: ${response.status} - ${errText}`);
|
|
69
136
|
}
|
|
137
|
+
const data = await response.json();
|
|
138
|
+
const rawContent = data.choices?.[0]?.message?.content;
|
|
139
|
+
if (!rawContent)
|
|
140
|
+
throw new Error('OpenWebUI returned empty content');
|
|
141
|
+
return parseAndValidateLLMJSON(rawContent);
|
|
70
142
|
}
|
|
71
143
|
let url = config.endpoint || 'https://api.openai.com/v1/chat/completions';
|
|
72
144
|
let headers = {
|
|
@@ -99,23 +171,26 @@ async function parseTextWithLLM(text, profile, config) {
|
|
|
99
171
|
}
|
|
100
172
|
const data = await response.json();
|
|
101
173
|
const rawContent = data.choices[0].message.content;
|
|
102
|
-
|
|
103
|
-
return JSON.parse(rawContent);
|
|
104
|
-
}
|
|
105
|
-
catch (e) {
|
|
106
|
-
throw new Error(`Failed to parse LLM JSON output. Raw: ${rawContent}`);
|
|
107
|
-
}
|
|
174
|
+
return parseAndValidateLLMJSON(rawContent);
|
|
108
175
|
}
|
|
109
176
|
/**
|
|
110
177
|
* Transforma la respuesta estructurada del LLM directamente a líneas de código ST seguras.
|
|
178
|
+
* Conclusions become 'derive' statements (derived from all axioms).
|
|
111
179
|
*/
|
|
112
180
|
function llmResultToST(result) {
|
|
113
181
|
const lines = [];
|
|
182
|
+
const axiomLabels = [];
|
|
114
183
|
for (const ax of result.axioms) {
|
|
184
|
+
const label = ax.name || `a${axiomLabels.length + 1}`;
|
|
185
|
+
axiomLabels.push(label);
|
|
115
186
|
lines.push({ formula: (0, ast_compiler_1.compileAST)(ax.formulaJSON), type: 'axiom' });
|
|
116
187
|
}
|
|
117
188
|
for (const conc of result.conclusions) {
|
|
118
|
-
lines.push({
|
|
189
|
+
lines.push({
|
|
190
|
+
formula: (0, ast_compiler_1.compileAST)(conc.formulaJSON),
|
|
191
|
+
type: 'derive',
|
|
192
|
+
deriveSources: [...axiomLabels]
|
|
193
|
+
});
|
|
119
194
|
}
|
|
120
195
|
return lines;
|
|
121
196
|
}
|
package/dist/llm-parser.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"llm-parser.js","sourceRoot":"","sources":["../src/llm-parser.ts"],"names":[],"mappings":";;
|
|
1
|
+
{"version":3,"file":"llm-parser.js","sourceRoot":"","sources":["../src/llm-parser.ts"],"names":[],"mappings":";;AA0FA,4CAwGC;AAMD,sCAmBC;AA1ND,yDAAoD;AAEpD,mDAA2D;AAe3D;;;GAGG;AACH,SAAS,iBAAiB,CAAC,OAAqB;IAC9C,OAAO;qJAC4I,OAAO;;;;;;;;;;;;;;;;;;;;;;;2EAuBjF,CAAC;AAC5E,CAAC;AAED;;GAEG;AACH,SAAS,gBAAgB,CAAC,GAAW;IACnC,6BAA6B;IAC7B,IAAI,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC9E,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,SAAS,GAAG,CAAC,CAAC,CAAC;IACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YACvB,IAAI,SAAS,KAAK,CAAC,CAAC;gBAAE,SAAS,GAAG,CAAC,CAAC;YACpC,UAAU,EAAE,CAAC;QACf,CAAC;aAAM,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YAC9B,UAAU,EAAE,CAAC;YACb,IAAI,UAAU,KAAK,CAAC,IAAI,SAAS,KAAK,CAAC,CAAC,EAAE,CAAC;gBACzC,OAAO,OAAO,CAAC,SAAS,CAAC,SAAS,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YAC7C,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;GAEG;AACH,SAAS,uBAAuB,CAAC,GAAW;IAC1C,MAAM,OAAO,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;IACtC,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAoB,CAAC;QACtD,IAAI,CAAC,MAAM,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC;YAAE,MAAM,CAAC,MAAM,GAAG,EAAE,CAAC;QACxE,IAAI,CAAC,MAAM,CAAC,WAAW,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,WAAW,CAAC;YAAE,MAAM,CAAC,WAAW,GAAG,EAAE,CAAC;QACvF,OAAO,MAAM,CAAC;IAChB,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,IAAI,KAAK,CAAC,oDAAoD,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;IAC/F,CAAC;AACH,CAAC;AAED;;GAEG;AACI,KAAK,UAAU,gBAAgB,CAAC,IAAY,EAAE,OAAqB,EAAE,MAAiB;IAC3F,MAAM,YAAY,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;IAEhD,IAAI,MAAM,CAAC,QAAQ,KAAK,eAAe,EAAE,CAAC;QACvC,OAAO,MAAM,IAAA,wCAAwB,EAAC,IAAI,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;IACvF,CAAC;IAED,IAAI,MAAM,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACjC,sCAAsC;QACtC,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,IAAI,iCAAiC,CAAC;QACjE,MAAM,QAAQ,GAAG,MAAM,KAAK,CAAC,GAAG,EAAE;YAChC,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,EAAE,cAAc,EAAE,kBAAkB,EAAE;YAC/C,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC;gBACnB,KAAK,EAAE,MAAM,CAAC,KAAK,IAAI,mBAAmB;gBAC1C,QAAQ,EAAE;oBACR,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,YAAY,EAAE;oBACzC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,2BAA2B,IAAI,EAAE,EAAE;iBAC7D;gBACD,MAAM,EAAE,KAAK;gBACb,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE;oBACP,WAAW,EAAE,GAAG;iBACjB;aACF,CAAC;SACH,CAAC,CAAC;QAEH,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;YACjB,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAC;YACtC,MAAM,IAAI,KAAK,CAAC,qBAAqB,QAAQ,CAAC,MAAM,MAAM,OAAO,EAAE,CAAC,CAAC;QACvE,CAAC;QAED,MAAM,IAAI,GAAQ,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAC;QACxC,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC;QACxC,OAAO,uBAAuB,CAAC,UAAU,CAAC,CAAC;IAC7C,CAAC;IAED,IAAI,MAAM,CAAC,QAAQ,KAAK,WAAW,EAAE,CAAC;QACpC,2DAA2D;QAC3D,IAAI,CAAC,MAAM,CAAC,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,4EAA4E,CAAC,CAAC;QACpH,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC;QAC5B,MAAM,QAAQ,GAAG,MAAM,KAAK,CAAC,GAAG,EAAE;YAChC,MAAM,EAAE,MAAM;YACd,OAAO,EAAE;gBACP,cAAc,EAAE,kBAAkB;gBAClC,eAAe,EAAE,UAAU,MAAM,CAAC,MAAM,EAAE;aAC3C;YACD,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC;gBACnB,KAAK,EAAE,MAAM,CAAC,KAAK,IAAI,mBAAmB;gBAC1C,QAAQ,EAAE;oBACR,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,YAAY,EAAE;oBACzC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,2BAA2B,IAAI,EAAE,EAAE;iBAC7D;gBACD,WAAW,EAAE,GAAG;aACjB,CAAC;SACH,CAAC,CAAC;QAEH,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;YACjB,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAC;YACtC,MAAM,IAAI,KAAK,CAAC,wBAAwB,QAAQ,CAAC,MAAM,MAAM,OAAO,EAAE,CAAC,CAAC;QAC1E,CAAC;QAED,MAAM,IAAI,GAAQ,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAC;QACxC,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC;QACvD,IAAI,CAAC,UAAU;YAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;QACrE,OAAO,uBAAuB,CAAC,UAAU,CAAC,CAAC;IAC7C,CAAC;IAED,IAAI,GAAG,GAAG,MAAM,CAAC,QAAQ,IAAI,4CAA4C,CAAC;IAC1E,IAAI,OAAO,GAAQ;QACjB,cAAc,EAAE,kBAAkB;KACnC,CAAC;IACF,IAAI,IAAI,GAAQ,EAAE,CAAC;IAEnB,IAAI,MAAM,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACjC,OAAO,CAAC,eAAe,CAAC,GAAG,UAAU,MAAM,CAAC,MAAM,EAAE,CAAC;QACrD,IAAI,GAAG;YACL,KAAK,EAAE,MAAM,CAAC,KAAK,IAAI,QAAQ;YAC/B,QAAQ,EAAE;gBACR,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,YAAY,EAAE;gBACzC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,2BAA2B,IAAI,EAAE,EAAE;aAC7D;YACD,eAAe,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE;YACxC,WAAW,EAAE,GAAG;SACjB,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,YAAY,MAAM,CAAC,QAAQ,2DAA2D,CAAC,CAAC;IAC1G,CAAC;IAED,MAAM,QAAQ,GAAG,MAAM,KAAK,CAAC,GAAG,EAAE;QAChC,MAAM,EAAE,MAAM;QACd,OAAO;QACP,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;KAC3B,CAAC,CAAC;IAEH,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;QACjB,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAC;QACtC,MAAM,IAAI,KAAK,CAAC,kBAAkB,QAAQ,CAAC,MAAM,MAAM,OAAO,EAAE,CAAC,CAAC;IACpE,CAAC;IAED,MAAM,IAAI,GAAQ,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAC;IACxC,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;IAEnD,OAAO,uBAAuB,CAAC,UAAU,CAAC,CAAC;AAC7C,CAAC;AAED;;;GAGG;AACH,SAAgB,aAAa,CAAC,MAAuB;IACnD,MAAM,KAAK,GAAwF,EAAE,CAAC;IACtG,MAAM,WAAW,GAAa,EAAE,CAAC;IAEjC,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,EAAE,CAAC,IAAI,IAAI,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtD,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxB,KAAK,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,IAAA,yBAAU,EAAC,EAAE,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;IACrE,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;QACtC,KAAK,CAAC,IAAI,CAAC;YACT,OAAO,EAAE,IAAA,yBAAU,EAAC,IAAI,CAAC,WAAW,CAAC;YACrC,IAAI,EAAE,QAAQ;YACd,aAAa,EAAE,CAAC,GAAG,WAAW,CAAC;SAChC,CAAC,CAAC;IACL,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC"}
|
package/package.json
CHANGED