@proposit/proposit-core 2.2.0 → 2.3.0

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.
Files changed (74) hide show
  1. package/dist/extensions/basics/schemata.d.ts +4 -0
  2. package/dist/extensions/basics/schemata.d.ts.map +1 -1
  3. package/dist/extensions/basics/schemata.js +14 -0
  4. package/dist/extensions/basics/schemata.js.map +1 -1
  5. package/dist/extensions/chat-completions/structured-output.d.ts.map +1 -1
  6. package/dist/extensions/chat-completions/structured-output.js +13 -3
  7. package/dist/extensions/chat-completions/structured-output.js.map +1 -1
  8. package/dist/extensions/openai/openai-retrieval.d.ts.map +1 -1
  9. package/dist/extensions/openai/openai-retrieval.js +2 -9
  10. package/dist/extensions/openai/openai-retrieval.js.map +1 -1
  11. package/dist/extensions/openai/provider.d.ts.map +1 -1
  12. package/dist/extensions/openai/provider.js +5 -9
  13. package/dist/extensions/openai/provider.js.map +1 -1
  14. package/dist/extensions/openai/structured-output.d.ts.map +1 -1
  15. package/dist/extensions/openai/structured-output.js +12 -3
  16. package/dist/extensions/openai/structured-output.js.map +1 -1
  17. package/dist/extensions/openai/types.d.ts +19 -0
  18. package/dist/extensions/openai/types.d.ts.map +1 -1
  19. package/dist/extensions/openai/types.js +22 -0
  20. package/dist/extensions/openai/types.js.map +1 -1
  21. package/dist/extensions/pipelines/base/finalize-response-v2.d.ts.map +1 -1
  22. package/dist/extensions/pipelines/base/finalize-response-v2.js +88 -22
  23. package/dist/extensions/pipelines/base/finalize-response-v2.js.map +1 -1
  24. package/dist/extensions/pipelines/base/stages/claim-canonicalization.d.ts +1 -1
  25. package/dist/extensions/pipelines/base/stages/claim-canonicalization.d.ts.map +1 -1
  26. package/dist/extensions/pipelines/base/stages/claim-canonicalization.js +1 -1
  27. package/dist/extensions/pipelines/base/stages/conclusion-selection.d.ts +3 -3
  28. package/dist/extensions/pipelines/base/stages/conclusion-selection.d.ts.map +1 -1
  29. package/dist/extensions/pipelines/base/stages/conclusion-selection.js +5 -5
  30. package/dist/extensions/pipelines/base/stages/conclusion-selection.js.map +1 -1
  31. package/dist/extensions/pipelines/base/stages/formula-compilation.d.ts +69 -14
  32. package/dist/extensions/pipelines/base/stages/formula-compilation.d.ts.map +1 -1
  33. package/dist/extensions/pipelines/base/stages/formula-compilation.js +204 -76
  34. package/dist/extensions/pipelines/base/stages/formula-compilation.js.map +1 -1
  35. package/dist/extensions/pipelines/base/stages/relation-extraction.d.ts +1 -1
  36. package/dist/extensions/pipelines/base/stages/relation-extraction.d.ts.map +1 -1
  37. package/dist/extensions/pipelines/base/stages/relation-extraction.js +20 -19
  38. package/dist/extensions/pipelines/base/stages/relation-extraction.js.map +1 -1
  39. package/dist/extensions/pipelines/base/stages/schemas.d.ts +10 -8
  40. package/dist/extensions/pipelines/base/stages/schemas.d.ts.map +1 -1
  41. package/dist/extensions/pipelines/base/stages/schemas.js +14 -11
  42. package/dist/extensions/pipelines/base/stages/schemas.js.map +1 -1
  43. package/dist/extensions/pipelines/ingestion/scribe/extract-stage.d.ts +1 -1
  44. package/dist/extensions/pipelines/ingestion/scribe/extract-stage.d.ts.map +1 -1
  45. package/dist/extensions/pipelines/ingestion/scribe/extract-stage.js +2 -1
  46. package/dist/extensions/pipelines/ingestion/scribe/extract-stage.js.map +1 -1
  47. package/dist/extensions/pipelines/ingestion/scribe/schemas.d.ts +3 -3
  48. package/dist/extensions/pipelines/ingestion/scribe/structure-stage.d.ts +1 -1
  49. package/dist/extensions/pipelines/ingestion/scribe/structure-stage.d.ts.map +1 -1
  50. package/dist/extensions/pipelines/ingestion/scribe/structure-stage.js +2 -2
  51. package/dist/extensions/pipelines/ingestion/scribe/structure-stage.js.map +1 -1
  52. package/dist/extensions/structured-output/length-hint.d.ts +29 -0
  53. package/dist/extensions/structured-output/length-hint.d.ts.map +1 -0
  54. package/dist/extensions/structured-output/length-hint.js +120 -0
  55. package/dist/extensions/structured-output/length-hint.js.map +1 -0
  56. package/dist/lib/parsing/argument-parser.d.ts.map +1 -1
  57. package/dist/lib/parsing/argument-parser.js +18 -68
  58. package/dist/lib/parsing/argument-parser.js.map +1 -1
  59. package/dist/lib/parsing/schemata.d.ts +13 -0
  60. package/dist/lib/parsing/schemata.d.ts.map +1 -1
  61. package/dist/lib/parsing/schemata.js +10 -0
  62. package/dist/lib/parsing/schemata.js.map +1 -1
  63. package/dist/lib/pipelines/debug-log.d.ts +14 -0
  64. package/dist/lib/pipelines/debug-log.d.ts.map +1 -1
  65. package/dist/lib/pipelines/debug-log.js +13 -0
  66. package/dist/lib/pipelines/debug-log.js.map +1 -1
  67. package/dist/lib/pipelines/index.d.ts +1 -1
  68. package/dist/lib/pipelines/index.d.ts.map +1 -1
  69. package/dist/lib/pipelines/index.js +1 -1
  70. package/dist/lib/pipelines/index.js.map +1 -1
  71. package/dist/lib/pipelines/stage-helpers.d.ts.map +1 -1
  72. package/dist/lib/pipelines/stage-helpers.js +16 -4
  73. package/dist/lib/pipelines/stage-helpers.js.map +1 -1
  74. package/package.json +1 -1
@@ -1 +1 @@
1
- {"version":3,"file":"schemas.js","sourceRoot":"","sources":["../../../../../src/extensions/pipelines/base/stages/schemas.ts"],"names":[],"mappings":"AAAA,kEAAkE;AAClE,EAAE;AACF,uEAAuE;AACvE,2EAA2E;AAC3E,sEAAsE;AACtE,sEAAsE;AAEtE,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAE3C,kEAAkE;AAClE,2DAA2D;AAC3D,mEAAmE;AACnE,gEAAgE;AAChE,kEAAkE;AAClE,qEAAqE;AACrE,8DAA8D;AAC9D,gEAAgE;AAChE,mEAAmE;AACnE,kEAAkE;AAClE,gEAAgE;AAChE,sEAAsE;AACtE,6FAA6F;AAC7F,6DAA6D;AAC7D,kDAAkD;AAClD,MAAM,CAAC,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC;IAClC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC;QACf,WAAW,EACP,iFAAiF;KACxF,CAAC;IACF,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC;QACb,WAAW,EACP,+EAA+E;KACtF,CAAC;CACL,CAAC,CAAA;AAGF,8BAA8B;AAE9B,oEAAoE;AACpE,sEAAsE;AACtE,sEAAsE;AACtE,oEAAoE;AACpE,mEAAmE;AACnE,sEAAsE;AACtE,gEAAgE;AAChE,oEAAoE;AACpE,iEAAiE;AACjE,sEAAsE;AACtE,mEAAmE;AACnE,sDAAsD;AAEtD,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,MAAM,CAAC;IAChD,QAAQ,EAAE,IAAI,CAAC,KAAK,CAChB,IAAI,CAAC,MAAM,CAAC;QACR,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE;QACxB,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;QACnB,IAAI,EAAE,UAAU;KACnB,CAAC,CACL;CACJ,CAAC,CAAA;AAIF,0CAA0C;AAE1C,MAAM,CAAC,MAAM,kCAAkC,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1D,QAAQ,EAAE,IAAI,CAAC,KAAK,CAChB,IAAI,CAAC,MAAM,CAAC;QACR,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE;QACxB,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE;QACxB,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;QACnB,IAAI,EAAE,UAAU;KACnB,CAAC,CACL;CACJ,CAAC,CAAA;AAMF,2CAA2C;AAE3C,MAAM,CAAC,MAAM,mCAAmC,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3D,OAAO,EAAE,IAAI,CAAC,KAAK,CACf,IAAI,CAAC,MAAM,CAAC;QACR,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE;QACvB,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACrC,YAAY,EAAE,IAAI,CAAC,MAAM,EAAE;QAC3B,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QAC7C,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC;KAChC,CAAC,CACL;CACJ,CAAC,CAAA;AAMF,2CAA2C;AAE3C,MAAM,CAAC,MAAM,mCAAmC,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3D,MAAM,EAAE,IAAI,CAAC,KAAK,CACd,IAAI,CAAC,MAAM,CAAC;QACR,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;QACtB,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACrC,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE;QACxB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC;KAChC,CAAC,CACL;CACJ,CAAC,CAAA;AAMF,wCAAwC;AAExC,qDAAqD;AACrD,4DAA4D;AAC5D,qEAAqE;AACrE,oEAAoE;AACpE,2CAA2C;AAC3C,kEAAkE;AAClE,mDAAmD;AACnD,EAAE;AACF,mEAAmE;AACnE,uDAAuD;AACvD,8DAA8D;AAC9D,uEAAuE;AACvE,kEAAkE;AAClE,yBAAyB;AACzB,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,MAAM,CAAC;IAChD,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;IACrB,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACrC,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,yDAAyD;IACzD,kDAAkD;IAClD,+DAA+D;IAC/D,gEAAgE;IAChE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC;QACb,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;QACtB,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;QACxB,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;KAC5B,CAAC;CACL,CAAC,CAAA;AAGF,wEAAwE;AACxE,qEAAqE;AACrE,sEAAsE;AACtE,sEAAsE;AACtE,mEAAmE;AACnE,6DAA6D;AAC7D,wDAAwD;AACxD,iEAAiE;AACjE,mEAAmE;AACnE,kEAAkE;AAClE,+BAA+B;AAC/B,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC,MAAM,CAAC;IACjD,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE;IACxB,WAAW,EAAE,IAAI,CAAC,MAAM,EAAE;CAC7B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,iCAAiC,GAAG,IAAI,CAAC,MAAM,CAAC;IACzD,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC,wBAAwB,CAAC;IACrD,cAAc,EAAE,IAAI,CAAC,KAAK,CAAC,yBAAyB,CAAC;CACxD,CAAC,CAAA;AAOF,2CAA2C;AAE3C,iEAAiE;AACjE,oEAAoE;AACpE,4DAA4D;AAC5D,iEAAiE;AACjE,+DAA+D;AAC/D,wCAAwC;AACxC,MAAM,CAAC,MAAM,kCAAkC,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1D,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;IACrB,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC;QACb,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;QACtB,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;QACxB,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;KAC5B,CAAC;IACF,YAAY,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;CACzD,CAAC,CAAA;AAKF,MAAM,CAAC,MAAM,mCAAmC,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3D,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC,kCAAkC,CAAC;CAClE,CAAC,CAAA;AAKF,qCAAqC;AAErC,MAAM,CAAC,MAAM,8BAA8B,GAAG,IAAI,CAAC,KAAK,CACpD,IAAI,CAAC,MAAM,CAAC;IACR,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;IACrB,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;IACrB,WAAW,EAAE,IAAI,CAAC,MAAM,EAAE;CAC7B,CAAC,CACL,CAAA;AAMD,qCAAqC;AAErC,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,CAAC,KAAK,CAAC;IACzC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC;IACvB,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC;IAC7B,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC;CACrC,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,8BAA8B,GAAG,IAAI,CAAC,MAAM,CAAC;IACtD,SAAS,EAAE,IAAI,CAAC,KAAK,CACjB,IAAI,CAAC,MAAM,CAAC;QACR,UAAU,EAAE,IAAI,CAAC,MAAM,EAAE;QACzB,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QAClC,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;QACrB,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;YAClB,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;YACrC,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;SACvB,CAAC;KACL,CAAC,CACL;CACJ,CAAC,CAAA;AAMF,uCAAuC;AAEvC,gEAAgE;AAChE,uEAAuE;AACvE,wEAAwE;AACxE,gDAAgD;AAChD,MAAM,CAAC,MAAM,kCAAkC,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1D,oBAAoB,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC/C,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE;CAC3B,CAAC,CAAA;AAKF,mEAAmE;AACnE,qEAAqE;AACrE,8DAA8D;AAC9D,oEAAoE;AACpE,2DAA2D;AAC3D,MAAM,CAAC,MAAM,+BAA+B,GAAG,IAAI,CAAC,MAAM,CAAC;IACvD,gBAAgB,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IAC1D,oBAAoB,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC/C,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE;CAC3B,CAAC,CAAA;AAKF,sCAAsC;AAEtC,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,CAAC,KAAK,CAAC;IACnD,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC;IACvB,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC;IAC7B,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC;IAC1B,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC;CAC7B,CAAC,CAAA;AAKF,MAAM,CAAC,MAAM,8BAA8B,GAAG,IAAI,CAAC,MAAM,CAAC;IACtD,QAAQ,EAAE,IAAI,CAAC,KAAK,CAChB,IAAI,CAAC,MAAM,CAAC;QACR,aAAa,EAAE,IAAI,CAAC,MAAM,EAAE;QAC5B,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;QACtB,QAAQ,EAAE,4BAA4B;QACtC,2DAA2D;QAC3D,qDAAqD;QACrD,sCAAsC;QACtC,gBAAgB,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;KAC7D,CAAC,CACL;IACD,uBAAuB,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;CACpE,CAAC,CAAA;AAMF,oEAAoE;AACpE,oEAAoE;AACpE,uEAAuE;AACvE,gEAAgE;AAEhE,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,KAAK,CACjD,IAAI,CAAC,MAAM,CAAC;IACR,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;IACnB,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;CACrE,CAAC,CACL,CAAA;AAGD,sBAAsB;AAEtB,MAAM,CAAC,MAAM,SAAS,GAAG;IACrB,YAAY,EAAE,cAAc;IAC5B,sBAAsB,EAAE,0BAA0B;IAClD,uBAAuB,EAAE,2BAA2B;IACpD,uBAAuB,EAAE,2BAA2B;IACpD,qBAAqB,EAAE,wBAAwB;IAC/C,uBAAuB,EAAE,2BAA2B;IACpD,wBAAwB,EAAE,4BAA4B;IACtD,kBAAkB,EAAE,qBAAqB;IACzC,kBAAkB,EAAE,qBAAqB;IACzC,mBAAmB,EAAE,sBAAsB;IAC3C,kBAAkB,EAAE,qBAAqB;IACzC,iBAAiB,EAAE,oBAAoB;IACvC,gEAAgE;IAChE,6DAA6D;IAC7D,kEAAkE;IAClE,sEAAsE;IACtE,kEAAkE;IAClE,aAAa;IACb,OAAO,EAAE,SAAS;IAClB,eAAe,EAAE,kBAAkB;CAC7B,CAAA"}
1
+ {"version":3,"file":"schemas.js","sourceRoot":"","sources":["../../../../../src/extensions/pipelines/base/stages/schemas.ts"],"names":[],"mappings":"AAAA,kEAAkE;AAClE,EAAE;AACF,uEAAuE;AACvE,2EAA2E;AAC3E,sEAAsE;AACtE,sEAAsE;AAEtE,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAE3C,kEAAkE;AAClE,2DAA2D;AAC3D,mEAAmE;AACnE,gEAAgE;AAChE,kEAAkE;AAClE,qEAAqE;AACrE,8DAA8D;AAC9D,gEAAgE;AAChE,mEAAmE;AACnE,kEAAkE;AAClE,gEAAgE;AAChE,sEAAsE;AACtE,6FAA6F;AAC7F,6DAA6D;AAC7D,kDAAkD;AAClD,MAAM,CAAC,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC;IAClC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC;QACf,WAAW,EACP,iFAAiF;KACxF,CAAC;IACF,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC;QACb,WAAW,EACP,+EAA+E;KACtF,CAAC;CACL,CAAC,CAAA;AAGF,8BAA8B;AAE9B,oEAAoE;AACpE,sEAAsE;AACtE,sEAAsE;AACtE,oEAAoE;AACpE,mEAAmE;AACnE,sEAAsE;AACtE,gEAAgE;AAChE,oEAAoE;AACpE,iEAAiE;AACjE,sEAAsE;AACtE,mEAAmE;AACnE,sDAAsD;AAEtD,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,MAAM,CAAC;IAChD,QAAQ,EAAE,IAAI,CAAC,KAAK,CAChB,IAAI,CAAC,MAAM,CAAC;QACR,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE;QACxB,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;QACnB,IAAI,EAAE,UAAU;KACnB,CAAC,CACL;CACJ,CAAC,CAAA;AAIF,0CAA0C;AAE1C,MAAM,CAAC,MAAM,kCAAkC,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1D,QAAQ,EAAE,IAAI,CAAC,KAAK,CAChB,IAAI,CAAC,MAAM,CAAC;QACR,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE;QACxB,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE;QACxB,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;QACnB,IAAI,EAAE,UAAU;KACnB,CAAC,CACL;CACJ,CAAC,CAAA;AAMF,2CAA2C;AAE3C,MAAM,CAAC,MAAM,mCAAmC,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3D,OAAO,EAAE,IAAI,CAAC,KAAK,CACf,IAAI,CAAC,MAAM,CAAC;QACR,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE;QACvB,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACrC,YAAY,EAAE,IAAI,CAAC,MAAM,EAAE;QAC3B,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QAC7C,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC;KAChC,CAAC,CACL;CACJ,CAAC,CAAA;AAMF,2CAA2C;AAE3C,MAAM,CAAC,MAAM,mCAAmC,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3D,MAAM,EAAE,IAAI,CAAC,KAAK,CACd,IAAI,CAAC,MAAM,CAAC;QACR,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;QACtB,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACrC,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE;QACxB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC;KAChC,CAAC,CACL;CACJ,CAAC,CAAA;AAMF,wCAAwC;AAExC,qDAAqD;AACrD,4DAA4D;AAC5D,qEAAqE;AACrE,oEAAoE;AACpE,2CAA2C;AAC3C,kEAAkE;AAClE,mDAAmD;AACnD,EAAE;AACF,mEAAmE;AACnE,uDAAuD;AACvD,8DAA8D;AAC9D,uEAAuE;AACvE,kEAAkE;AAClE,yBAAyB;AACzB,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,MAAM,CAAC;IAChD,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;IACrB,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACrC,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,yDAAyD;IACzD,kDAAkD;IAClD,+DAA+D;IAC/D,gEAAgE;IAChE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC;QACb,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;QACtB,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;QACxB,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;KAC5B,CAAC;CACL,CAAC,CAAA;AAGF,wEAAwE;AACxE,qEAAqE;AACrE,sEAAsE;AACtE,sEAAsE;AACtE,mEAAmE;AACnE,6DAA6D;AAC7D,wDAAwD;AACxD,iEAAiE;AACjE,mEAAmE;AACnE,kEAAkE;AAClE,+BAA+B;AAC/B,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC,MAAM,CAAC;IACjD,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE;IACxB,WAAW,EAAE,IAAI,CAAC,MAAM,EAAE;CAC7B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,iCAAiC,GAAG,IAAI,CAAC,MAAM,CAAC;IACzD,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC,wBAAwB,CAAC;IACrD,cAAc,EAAE,IAAI,CAAC,KAAK,CAAC,yBAAyB,CAAC;CACxD,CAAC,CAAA;AAOF,2CAA2C;AAE3C,iEAAiE;AACjE,oEAAoE;AACpE,4DAA4D;AAC5D,iEAAiE;AACjE,+DAA+D;AAC/D,wCAAwC;AACxC,MAAM,CAAC,MAAM,kCAAkC,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1D,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;IACrB,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC;QACb,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;QACtB,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;QACxB,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;KAC5B,CAAC;IACF,YAAY,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;CACzD,CAAC,CAAA;AAKF,MAAM,CAAC,MAAM,mCAAmC,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3D,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC,kCAAkC,CAAC;CAClE,CAAC,CAAA;AAKF,qCAAqC;AAErC,MAAM,CAAC,MAAM,8BAA8B,GAAG,IAAI,CAAC,KAAK,CACpD,IAAI,CAAC,MAAM,CAAC;IACR,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;IACrB,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;IACrB,WAAW,EAAE,IAAI,CAAC,MAAM,EAAE;CAC7B,CAAC,CACL,CAAA;AAMD,qCAAqC;AAErC,MAAM,CAAC,MAAM,8BAA8B,GAAG,IAAI,CAAC,MAAM,CAAC;IACtD,SAAS,EAAE,IAAI,CAAC,KAAK,CACjB,IAAI,CAAC,MAAM,CAAC;QACR,UAAU,EAAE,IAAI,CAAC,MAAM,EAAE;QACzB,6DAA6D;QAC7D,0DAA0D;QAC1D,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;QAC/B,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACtC,UAAU,EAAE,IAAI,CAAC,MAAM,EAAE;QACzB,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;YAClB,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;YACrC,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;SACvB,CAAC;KACL,CAAC,CACL;CACJ,CAAC,CAAA;AAMF,uCAAuC;AAEvC,gEAAgE;AAChE,uEAAuE;AACvE,wEAAwE;AACxE,gDAAgD;AAChD,MAAM,CAAC,MAAM,kCAAkC,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1D,oBAAoB,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC/C,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE;CAC3B,CAAC,CAAA;AAKF,mEAAmE;AACnE,qEAAqE;AACrE,8DAA8D;AAC9D,oEAAoE;AACpE,2DAA2D;AAC3D,MAAM,CAAC,MAAM,+BAA+B,GAAG,IAAI,CAAC,MAAM,CAAC;IACvD,gBAAgB,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IAC1D,oBAAoB,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC/C,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE;CAC3B,CAAC,CAAA;AAKF,sCAAsC;AAEtC,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,CAAC,KAAK,CAAC;IACnD,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;IACxB,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC;CAC7B,CAAC,CAAA;AAKF,MAAM,CAAC,MAAM,8BAA8B,GAAG,IAAI,CAAC,MAAM,CAAC;IACtD,QAAQ,EAAE,IAAI,CAAC,KAAK,CAChB,IAAI,CAAC,MAAM,CAAC;QACR,aAAa,EAAE,IAAI,CAAC,MAAM,EAAE;QAC5B,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;QACtB,QAAQ,EAAE,4BAA4B;QACtC,2DAA2D;QAC3D,qDAAqD;QACrD,sCAAsC;QACtC,gBAAgB,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;KAC7D,CAAC,CACL;IACD,uBAAuB,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IACjE,mEAAmE;IACnE,oEAAoE;IACpE,8DAA8D;IAC9D,+CAA+C;IAC/C,iBAAiB,EAAE,IAAI,CAAC,KAAK,CACzB,IAAI,CAAC,MAAM,CAAC;QACR,kBAAkB,EAAE,IAAI,CAAC,MAAM,EAAE;QACjC,sBAAsB,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;KACpD,CAAC,CACL;CACJ,CAAC,CAAA;AAMF,oEAAoE;AACpE,oEAAoE;AACpE,uEAAuE;AACvE,gEAAgE;AAEhE,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,KAAK,CACjD,IAAI,CAAC,MAAM,CAAC;IACR,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;IACnB,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;CACrE,CAAC,CACL,CAAA;AAGD,sBAAsB;AAEtB,MAAM,CAAC,MAAM,SAAS,GAAG;IACrB,YAAY,EAAE,cAAc;IAC5B,sBAAsB,EAAE,0BAA0B;IAClD,uBAAuB,EAAE,2BAA2B;IACpD,uBAAuB,EAAE,2BAA2B;IACpD,qBAAqB,EAAE,wBAAwB;IAC/C,uBAAuB,EAAE,2BAA2B;IACpD,wBAAwB,EAAE,4BAA4B;IACtD,kBAAkB,EAAE,qBAAqB;IACzC,kBAAkB,EAAE,qBAAqB;IACzC,mBAAmB,EAAE,sBAAsB;IAC3C,kBAAkB,EAAE,qBAAqB;IACzC,iBAAiB,EAAE,oBAAoB;IACvC,gEAAgE;IAChE,6DAA6D;IAC7D,kEAAkE;IAClE,sEAAsE;IACtE,kEAAkE;IAClE,aAAa;IACb,OAAO,EAAE,SAAS;IAClB,eAAe,EAAE,kBAAkB;CAC7B,CAAA"}
@@ -4,7 +4,7 @@ import type { TIngestionExtension, TLlmStageOptionsOverride } from "../../base/t
4
4
  export declare const EXTRACT_MODEL = "gpt-5.4-mini";
5
5
  /** Internal default knobs for scribe's `extract` stage. */
6
6
  export declare const EXTRACT_STAGE_DEFAULTS: TLlmStageOptionsOverride;
7
- export declare const EXTRACT_SYSTEM_PROMPT = "You read a raw argument and emit its canonical claim set in one pass.\n\nFor each distinct proposition the author makes, emit one canonical claim. Two phrasings of the same proposition merge into a single claim.\n\nEach canonical claim carries:\n- `miniId` \u2014 assign in order: c1, c2, c3, ...\n- `mentionIds` \u2014 leave as a single synthetic id per claim (e.g. [\"c1-m\"]); scribe does not track sub-claim mentions.\n- `type` \u2014 \"normal\" (a primary proposition), \"citation\" (content is \"the cited source asserts X\"; populate `url` + `title`), or \"axiomatic\" (invoked as self-evident; populate `axiom`).\n- `suggestedSymbol` \u2014 a short PascalCase-or-snake_case identifier (letters/digits/underscores, starts with a letter or underscore, under 32 chars). Avoid single letters and generic names.\n- the extension fields your output schema requires (title, body, url, axiom \u2014 whichever apply to the claim's type).\n- `mentionToClaim` \u2014 one `{ \"mentionId\": \"...\", \"claimMiniId\": \"...\" }` entry per synthetic mention id you used.\n\nStyle:\n- Third-person, present-tense, active voice.\n- State the proposition itself \u2014 never \"The author claims that ...\". For a citation claim, the title summarizes what the source asserts.\n\nOutput ONLY the schema-shaped object. No prose.";
7
+ export declare const EXTRACT_SYSTEM_PROMPT = "You read a raw argument and emit its canonical claim set in one pass.\n\nFor each distinct proposition the author makes, emit one canonical claim. Two phrasings of the same proposition merge into a single claim.\n\nEach canonical claim carries:\n- `miniId` \u2014 assign in order: c1, c2, c3, ...\n- `mentionIds` \u2014 leave as a single synthetic id per claim (e.g. [\"c1-m\"]); scribe does not track sub-claim mentions.\n- `type` \u2014 \"normal\" (a primary proposition), \"citation\" (content is \"the cited source asserts X\"; populate `url` + `title`, and set `citationTypeGuess`), or \"axiomatic\" (invoked as self-evident; populate `axiom`).\n- `citationTypeGuess` (citation claims only) \u2014 your best guess at the source's IEEE reference type, chosen from the allowed values in your output schema (e.g. \"JournalArticle\", \"NewspaperArticle\", \"Book\", \"Website\", \"GovernmentPublication\", \u2026). Use \"unknown\" when no IEEE type fits or you cannot tell.\n- `suggestedSymbol` \u2014 a short PascalCase-or-snake_case identifier (letters/digits/underscores, starts with a letter or underscore, under 32 chars). Avoid single letters and generic names.\n- the extension fields your output schema requires (title, body, url, axiom \u2014 whichever apply to the claim's type).\n- `mentionToClaim` \u2014 one `{ \"mentionId\": \"...\", \"claimMiniId\": \"...\" }` entry per synthetic mention id you used.\n\nStyle:\n- Third-person, present-tense, active voice.\n- State the proposition itself \u2014 never \"The author claims that ...\". For a citation claim, the title summarizes what the source asserts.\n\nOutput ONLY the schema-shaped object. No prose.";
8
8
  /**
9
9
  * Build scribe's `extract` LLM stage. Its `outputSchema` is the
10
10
  * per-extension canonicalization schema, so the cheap model is asked
@@ -1 +1 @@
1
- {"version":3,"file":"extract-stage.d.ts","sourceRoot":"","sources":["../../../../../src/extensions/pipelines/ingestion/scribe/extract-stage.ts"],"names":[],"mappings":"AAaA,OAAO,KAAK,EAAE,MAAM,EAAiB,MAAM,oCAAoC,CAAA;AAC/E,OAAO,EAIH,KAAK,4BAA4B,EACjC,KAAK,8BAA8B,EACtC,MAAM,4BAA4B,CAAA;AACnC,OAAO,KAAK,EACR,mBAAmB,EAEnB,wBAAwB,EAC3B,MAAM,qBAAqB,CAAA;AAE5B,eAAO,MAAM,aAAa,iBAAiB,CAAA;AAE3C,2DAA2D;AAC3D,eAAO,MAAM,sBAAsB,EAAE,wBAEpC,CAAA;AAED,eAAO,MAAM,qBAAqB,wyCAgBc,CAAA;AAYhD;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAC9B,SAAS,EAAE,mBAAmB,EAC9B,OAAO,CAAC,EAAE,wBAAwB,GACnC,MAAM,CAAC,4BAA4B,CAAC,CAWtC;AAED;;;;;;;GAOG;AACH,wBAAgB,yCAAyC,CACrD,SAAS,EAAE,mBAAmB,GAC/B,MAAM,CAAC,4BAA4B,CAAC,CAWtC;AAED;;;;;;GAMG;AACH,eAAO,MAAM,iCAAiC,EAAE,MAAM,CAAC,8BAA8B,CAmB/E,CAAA"}
1
+ {"version":3,"file":"extract-stage.d.ts","sourceRoot":"","sources":["../../../../../src/extensions/pipelines/ingestion/scribe/extract-stage.ts"],"names":[],"mappings":"AAaA,OAAO,KAAK,EAAE,MAAM,EAAiB,MAAM,oCAAoC,CAAA;AAC/E,OAAO,EAIH,KAAK,4BAA4B,EACjC,KAAK,8BAA8B,EACtC,MAAM,4BAA4B,CAAA;AACnC,OAAO,KAAK,EACR,mBAAmB,EAEnB,wBAAwB,EAC3B,MAAM,qBAAqB,CAAA;AAE5B,eAAO,MAAM,aAAa,iBAAiB,CAAA;AAE3C,2DAA2D;AAC3D,eAAO,MAAM,sBAAsB,EAAE,wBAEpC,CAAA;AAED,eAAO,MAAM,qBAAqB,0oDAiBc,CAAA;AAYhD;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAC9B,SAAS,EAAE,mBAAmB,EAC9B,OAAO,CAAC,EAAE,wBAAwB,GACnC,MAAM,CAAC,4BAA4B,CAAC,CAWtC;AAED;;;;;;;GAOG;AACH,wBAAgB,yCAAyC,CACrD,SAAS,EAAE,mBAAmB,GAC/B,MAAM,CAAC,4BAA4B,CAAC,CAWtC;AAED;;;;;;GAMG;AACH,eAAO,MAAM,iCAAiC,EAAE,MAAM,CAAC,8BAA8B,CAmB/E,CAAA"}
@@ -23,7 +23,8 @@ For each distinct proposition the author makes, emit one canonical claim. Two ph
23
23
  Each canonical claim carries:
24
24
  - \`miniId\` — assign in order: c1, c2, c3, ...
25
25
  - \`mentionIds\` — leave as a single synthetic id per claim (e.g. ["c1-m"]); scribe does not track sub-claim mentions.
26
- - \`type\` — "normal" (a primary proposition), "citation" (content is "the cited source asserts X"; populate \`url\` + \`title\`), or "axiomatic" (invoked as self-evident; populate \`axiom\`).
26
+ - \`type\` — "normal" (a primary proposition), "citation" (content is "the cited source asserts X"; populate \`url\` + \`title\`, and set \`citationTypeGuess\`), or "axiomatic" (invoked as self-evident; populate \`axiom\`).
27
+ - \`citationTypeGuess\` (citation claims only) — your best guess at the source's IEEE reference type, chosen from the allowed values in your output schema (e.g. "JournalArticle", "NewspaperArticle", "Book", "Website", "GovernmentPublication", …). Use "unknown" when no IEEE type fits or you cannot tell.
27
28
  - \`suggestedSymbol\` — a short PascalCase-or-snake_case identifier (letters/digits/underscores, starts with a letter or underscore, under 32 chars). Avoid single letters and generic names.
28
29
  - the extension fields your output schema requires (title, body, url, axiom — whichever apply to the claim's type).
29
30
  - \`mentionToClaim\` — one \`{ "mentionId": "...", "claimMiniId": "..." }\` entry per synthetic mention id you used.
@@ -1 +1 @@
1
- {"version":3,"file":"extract-stage.js","sourceRoot":"","sources":["../../../../../src/extensions/pipelines/ingestion/scribe/extract-stage.ts"],"names":[],"mappings":"AAAA,mEAAmE;AACnE,qEAAqE;AACrE,wEAAwE;AACxE,iEAAiE;AACjE,oDAAoD;AACpD,EAAE;AACF,sEAAsE;AACtE,uEAAuE;AACvE,wEAAwE;AACxE,uCAAuC;AAEvC,OAAO,EAAE,QAAQ,EAAE,MAAM,4CAA4C,CAAA;AACrE,OAAO,EAAE,kBAAkB,EAAE,MAAM,4CAA4C,CAAA;AAE/E,OAAO,EACH,SAAS,EACT,mBAAmB,EACnB,mCAAmC,GAGtC,MAAM,4BAA4B,CAAA;AAOnC,MAAM,CAAC,MAAM,aAAa,GAAG,cAAc,CAAA;AAE3C,2DAA2D;AAC3D,MAAM,CAAC,MAAM,sBAAsB,GAA6B;IAC5D,KAAK,EAAE,aAAa;CACvB,CAAA;AAED,MAAM,CAAC,MAAM,qBAAqB,GAAG;;;;;;;;;;;;;;;;gDAgBW,CAAA;AAEhD,SAAS,kBAAkB,CAAC,GAAkB;IAI1C,MAAM,KAAK,GAAG,GAAG,CAAC,KAAwB,CAAA;IAC1C,MAAM,MAAM,GAAG,kBAAkB,SAAS,CAAC,OAAO,SAAS,qBAAqB,EAAE,CAAA;IAClF,MAAM,IAAI,GAAG,kBAAkB,KAAK,CAAC,IAAI,0DAA0D,CAAA;IACnG,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,CAAA;AAC3B,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAC9B,SAA8B,EAC9B,OAAkC;IAElC,OAAO,QAAQ,CAA+B;QAC1C,EAAE,EAAE,SAAS,CAAC,OAAO;QACrB,SAAS,EAAE,EAAE;QACb,YAAY,EAAE,mBAAmB,CAAC,SAAS,CAAC;QAC5C,KAAK,EAAE,OAAO,EAAE,KAAK,IAAI,aAAa;QACtC,eAAe,EAAE,OAAO,EAAE,eAAe;QACzC,eAAe,EAAE,OAAO,EAAE,eAAe;QACzC,KAAK,EAAE,OAAO,EAAE,KAAK;QACrB,WAAW,EAAE,kBAAkB;KAClC,CAAC,CAAA;AACN,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,yCAAyC,CACrD,SAA8B;IAE9B,OAAO,kBAAkB,CAA+B;QACpD,EAAE,EAAE,SAAS,CAAC,qBAAqB;QACnC,SAAS,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC;QAC9B,YAAY,EAAE,mBAAmB,CAAC,SAAS,CAAC;QAC5C,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,CACR,GAAG,CAAC,GAAG,CAA+B,SAAS,CAAC,OAAO,CAAC,IAAI;YACxD,eAAe,EAAE,EAAE;YACnB,cAAc,EAAE,EAAE;SACrB;KACR,CAAC,CAAA;AACN,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,iCAAiC,GAC1C,kBAAkB,CAAiC;IAC/C,EAAE,EAAE,SAAS,CAAC,uBAAuB;IACrC,SAAS,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC;IAC9B,YAAY,EAAE,mCAAmC;IACjD,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE;QACR,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CACjB,SAAS,CAAC,OAAO,CACpB,CAAA;QACD,MAAM,MAAM,GAAG,KAAK,EAAE,eAAe,IAAI,EAAE,CAAA;QAC3C,OAAO;YACH,eAAe,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBAC9B,MAAM,GAAG,GAAI,CAA6B,CAAC,GAAG,CAAA;gBAC9C,MAAM,YAAY,GACd,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAA;gBAC1D,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,YAAY,EAAE,CAAA;YAC3D,CAAC,CAAC;SACL,CAAA;IACL,CAAC;CACJ,CAAC,CAAA"}
1
+ {"version":3,"file":"extract-stage.js","sourceRoot":"","sources":["../../../../../src/extensions/pipelines/ingestion/scribe/extract-stage.ts"],"names":[],"mappings":"AAAA,mEAAmE;AACnE,qEAAqE;AACrE,wEAAwE;AACxE,iEAAiE;AACjE,oDAAoD;AACpD,EAAE;AACF,sEAAsE;AACtE,uEAAuE;AACvE,wEAAwE;AACxE,uCAAuC;AAEvC,OAAO,EAAE,QAAQ,EAAE,MAAM,4CAA4C,CAAA;AACrE,OAAO,EAAE,kBAAkB,EAAE,MAAM,4CAA4C,CAAA;AAE/E,OAAO,EACH,SAAS,EACT,mBAAmB,EACnB,mCAAmC,GAGtC,MAAM,4BAA4B,CAAA;AAOnC,MAAM,CAAC,MAAM,aAAa,GAAG,cAAc,CAAA;AAE3C,2DAA2D;AAC3D,MAAM,CAAC,MAAM,sBAAsB,GAA6B;IAC5D,KAAK,EAAE,aAAa;CACvB,CAAA;AAED,MAAM,CAAC,MAAM,qBAAqB,GAAG;;;;;;;;;;;;;;;;;gDAiBW,CAAA;AAEhD,SAAS,kBAAkB,CAAC,GAAkB;IAI1C,MAAM,KAAK,GAAG,GAAG,CAAC,KAAwB,CAAA;IAC1C,MAAM,MAAM,GAAG,kBAAkB,SAAS,CAAC,OAAO,SAAS,qBAAqB,EAAE,CAAA;IAClF,MAAM,IAAI,GAAG,kBAAkB,KAAK,CAAC,IAAI,0DAA0D,CAAA;IACnG,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,CAAA;AAC3B,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAC9B,SAA8B,EAC9B,OAAkC;IAElC,OAAO,QAAQ,CAA+B;QAC1C,EAAE,EAAE,SAAS,CAAC,OAAO;QACrB,SAAS,EAAE,EAAE;QACb,YAAY,EAAE,mBAAmB,CAAC,SAAS,CAAC;QAC5C,KAAK,EAAE,OAAO,EAAE,KAAK,IAAI,aAAa;QACtC,eAAe,EAAE,OAAO,EAAE,eAAe;QACzC,eAAe,EAAE,OAAO,EAAE,eAAe;QACzC,KAAK,EAAE,OAAO,EAAE,KAAK;QACrB,WAAW,EAAE,kBAAkB;KAClC,CAAC,CAAA;AACN,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,yCAAyC,CACrD,SAA8B;IAE9B,OAAO,kBAAkB,CAA+B;QACpD,EAAE,EAAE,SAAS,CAAC,qBAAqB;QACnC,SAAS,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC;QAC9B,YAAY,EAAE,mBAAmB,CAAC,SAAS,CAAC;QAC5C,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,CACR,GAAG,CAAC,GAAG,CAA+B,SAAS,CAAC,OAAO,CAAC,IAAI;YACxD,eAAe,EAAE,EAAE;YACnB,cAAc,EAAE,EAAE;SACrB;KACR,CAAC,CAAA;AACN,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,iCAAiC,GAC1C,kBAAkB,CAAiC;IAC/C,EAAE,EAAE,SAAS,CAAC,uBAAuB;IACrC,SAAS,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC;IAC9B,YAAY,EAAE,mCAAmC;IACjD,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE;QACR,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CACjB,SAAS,CAAC,OAAO,CACpB,CAAA;QACD,MAAM,MAAM,GAAG,KAAK,EAAE,eAAe,IAAI,EAAE,CAAA;QAC3C,OAAO;YACH,eAAe,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBAC9B,MAAM,GAAG,GAAI,CAA6B,CAAC,GAAG,CAAA;gBAC9C,MAAM,YAAY,GACd,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAA;gBAC1D,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,YAAY,EAAE,CAAA;YAC3D,CAAC,CAAC;SACL,CAAA;IACL,CAAC;CACJ,CAAC,CAAA"}
@@ -2,9 +2,9 @@ import Type, { type Static } from "typebox";
2
2
  export declare const ScribeStructureOutputSchema: Type.TObject<{
3
3
  relations: Type.TArray<Type.TObject<{
4
4
  relationId: Type.TString;
5
- type: Type.TUnion<[Type.TLiteral<"support">, Type.TLiteral<"joint-support">, Type.TLiteral<"derivation-support">]>;
6
- sources: Type.TArray<Type.TString>;
7
- target: Type.TString;
5
+ type: Type.TLiteral<"inference">;
6
+ antecedents: Type.TArray<Type.TString>;
7
+ consequent: Type.TString;
8
8
  evidence: Type.TObject<{
9
9
  segmentIds: Type.TArray<Type.TString>;
10
10
  quote: Type.TString;
@@ -5,7 +5,7 @@ import { type TScribeStructureOutput } from "./schemas.js";
5
5
  export declare const STRUCTURE_MODEL = "gpt-5.4-mini";
6
6
  /** Internal default knobs for scribe's `structure` stage. */
7
7
  export declare const STRUCTURE_STAGE_DEFAULTS: TLlmStageOptionsOverride;
8
- export declare const STRUCTURE_SYSTEM_PROMPT = "You read a canonical claim set \u2014 each claim's id, type, and content fields (title/body) \u2014 and emit the argument's structure.\n\nEmit:\n- `relations` \u2014 the support edges between claims. Each relation: a stable `relationId` (r1, r2, ...), a `type` of \"support\" / \"joint-support\" / \"derivation-support\", a `sources` array of supporting claim miniIds, a single `target` claim miniId, and an `evidence` object ({ segmentIds: [], quote: \"\" } is acceptable when you have no span to cite).\n- `conclusionCandidates` \u2014 the claim miniIds that could be the argument's conclusion, ordered by DECREASING confidence (best first). The conclusion is the claim other claims support but that supports nothing further. Never list a citation- or axiomatic-typed claim. Return an empty array only when there is no argument structure.\n- `rationale` \u2014 one sentence explaining your best pick (or why none qualifies).\n\nOutput ONLY the schema-shaped object. No prose.";
8
+ export declare const STRUCTURE_SYSTEM_PROMPT = "You read a canonical claim set \u2014 each claim's id, type, and content fields (title/body) \u2014 and emit the argument's structure.\n\nEmit:\n- `relations` \u2014 the inference edges between claims. Each relation: a stable `relationId` (r1, r2, ...), a `type` of \"inference\", an `antecedents` array of the claim miniIds whose conjunction implies the consequent (one or more; citation- or axiomatic-typed claims may appear here, but never as the consequent), a single `consequent` claim miniId, and an `evidence` object ({ segmentIds: [], quote: \"\" } is acceptable when you have no span to cite).\n- `conclusionCandidates` \u2014 the claim miniIds that could be the argument's conclusion, ordered by DECREASING confidence (best first). The conclusion is the claim other claims support but that supports nothing further. Never list a citation- or axiomatic-typed claim. Return an empty array only when there is no argument structure.\n- `rationale` \u2014 one sentence explaining your best pick (or why none qualifies).\n\nOutput ONLY the schema-shaped object. No prose.";
9
9
  /**
10
10
  * Build scribe's `structure` LLM stage. Depends on the canonicalization
11
11
  * + classification slots (populated by `extract`'s adapters) so the
@@ -1 +1 @@
1
- {"version":3,"file":"structure-stage.d.ts","sourceRoot":"","sources":["../../../../../src/extensions/pipelines/ingestion/scribe/structure-stage.ts"],"names":[],"mappings":"AAgBA,OAAO,KAAK,EAAE,MAAM,EAAiB,MAAM,oCAAoC,CAAA;AAC/E,OAAO,EAQH,KAAK,0BAA0B,EAC/B,KAAK,yBAAyB,EACjC,MAAM,4BAA4B,CAAA;AACnC,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,qBAAqB,CAAA;AACnE,OAAO,EAEH,KAAK,sBAAsB,EAC9B,MAAM,cAAc,CAAA;AAErB,eAAO,MAAM,eAAe,iBAAiB,CAAA;AAE7C,6DAA6D;AAC7D,eAAO,MAAM,wBAAwB,EAAE,wBAEtC,CAAA;AAED,eAAO,MAAM,uBAAuB,s9BAOY,CAAA;AAwChD;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAChC,OAAO,CAAC,EAAE,wBAAwB,GACnC,MAAM,CAAC,sBAAsB,CAAC,CAchC;AAED;;;GAGG;AACH,eAAO,MAAM,6BAA6B,EAAE,MAAM,CAAC,yBAAyB,CAUtE,CAAA;AAEN;;;;;;;GAOG;AACH,eAAO,MAAM,+BAA+B,EAAE,MAAM,CAAC,0BAA0B,CAwDzE,CAAA"}
1
+ {"version":3,"file":"structure-stage.d.ts","sourceRoot":"","sources":["../../../../../src/extensions/pipelines/ingestion/scribe/structure-stage.ts"],"names":[],"mappings":"AAgBA,OAAO,KAAK,EAAE,MAAM,EAAiB,MAAM,oCAAoC,CAAA;AAC/E,OAAO,EAQH,KAAK,0BAA0B,EAC/B,KAAK,yBAAyB,EACjC,MAAM,4BAA4B,CAAA;AACnC,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,qBAAqB,CAAA;AACnE,OAAO,EAEH,KAAK,sBAAsB,EAC9B,MAAM,cAAc,CAAA;AAErB,eAAO,MAAM,eAAe,iBAAiB,CAAA;AAE7C,6DAA6D;AAC7D,eAAO,MAAM,wBAAwB,EAAE,wBAEtC,CAAA;AAED,eAAO,MAAM,uBAAuB,wjCAOY,CAAA;AAwChD;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAChC,OAAO,CAAC,EAAE,wBAAwB,GACnC,MAAM,CAAC,sBAAsB,CAAC,CAchC;AAED;;;GAGG;AACH,eAAO,MAAM,6BAA6B,EAAE,MAAM,CAAC,yBAAyB,CAUtE,CAAA;AAEN;;;;;;;GAOG;AACH,eAAO,MAAM,+BAA+B,EAAE,MAAM,CAAC,0BAA0B,CAwDzE,CAAA"}
@@ -1,5 +1,5 @@
1
1
  // scribe stage 2 — `structure`: one cheap LLM call that produces the
2
- // support relation graph + a confidence-ranked list of conclusion
2
+ // inference relation graph + a confidence-ranked list of conclusion
3
3
  // candidates, collapsing scholar's relation-extraction and
4
4
  // conclusion-selection LLM stages. Paired with two deterministic
5
5
  // adapters that republish the relation-extraction and
@@ -23,7 +23,7 @@ export const STRUCTURE_STAGE_DEFAULTS = {
23
23
  export const STRUCTURE_SYSTEM_PROMPT = `You read a canonical claim set — each claim's id, type, and content fields (title/body) — and emit the argument's structure.
24
24
 
25
25
  Emit:
26
- - \`relations\` — the support edges between claims. Each relation: a stable \`relationId\` (r1, r2, ...), a \`type\` of "support" / "joint-support" / "derivation-support", a \`sources\` array of supporting claim miniIds, a single \`target\` claim miniId, and an \`evidence\` object ({ segmentIds: [], quote: "" } is acceptable when you have no span to cite).
26
+ - \`relations\` — the inference edges between claims. Each relation: a stable \`relationId\` (r1, r2, ...), a \`type\` of "inference", an \`antecedents\` array of the claim miniIds whose conjunction implies the consequent (one or more; citation- or axiomatic-typed claims may appear here, but never as the consequent), a single \`consequent\` claim miniId, and an \`evidence\` object ({ segmentIds: [], quote: "" } is acceptable when you have no span to cite).
27
27
  - \`conclusionCandidates\` — the claim miniIds that could be the argument's conclusion, ordered by DECREASING confidence (best first). The conclusion is the claim other claims support but that supports nothing further. Never list a citation- or axiomatic-typed claim. Return an empty array only when there is no argument structure.
28
28
  - \`rationale\` — one sentence explaining your best pick (or why none qualifies).
29
29
 
@@ -1 +1 @@
1
- {"version":3,"file":"structure-stage.js","sourceRoot":"","sources":["../../../../../src/extensions/pipelines/ingestion/scribe/structure-stage.ts"],"names":[],"mappings":"AAAA,qEAAqE;AACrE,kEAAkE;AAClE,2DAA2D;AAC3D,iEAAiE;AACjE,sDAAsD;AACtD,gEAAgE;AAChE,EAAE;AACF,mEAAmE;AACnE,kEAAkE;AAClE,qEAAqE;AACrE,sEAAsE;AACtE,sEAAsE;AACtE,sCAAsC;AAEtC,OAAO,EAAE,QAAQ,EAAE,MAAM,4CAA4C,CAAA;AACrE,OAAO,EAAE,kBAAkB,EAAE,MAAM,4CAA4C,CAAA;AAE/E,OAAO,EACH,SAAS,EACT,8BAA8B,EAC9B,+BAA+B,EAC/B,wBAAwB,EACxB,+CAA+C,GAKlD,MAAM,4BAA4B,CAAA;AAEnC,OAAO,EACH,2BAA2B,GAE9B,MAAM,cAAc,CAAA;AAErB,MAAM,CAAC,MAAM,eAAe,GAAG,cAAc,CAAA;AAE7C,6DAA6D;AAC7D,MAAM,CAAC,MAAM,wBAAwB,GAA6B;IAC9D,KAAK,EAAE,eAAe;CACzB,CAAA;AAED,MAAM,CAAC,MAAM,uBAAuB,GAAG;;;;;;;gDAOS,CAAA;AAEhD,SAAS,oBAAoB,CAAC,GAAkB;IAI5C,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CACjB,SAAS,CAAC,qBAAqB,CAClC,CAAA;IACD,MAAM,YAAY,GAAG,GAAG,CAAC,GAAG,CACxB,SAAS,CAAC,uBAAuB,CACpC,CAAA;IACD,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAA;IAC9C,KAAK,MAAM,KAAK,IAAI,YAAY,EAAE,eAAe,IAAI,EAAE,EAAE,CAAC;QACtD,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAA;IAC9C,CAAC;IACD,oEAAoE;IACpE,qEAAqE;IACrE,sEAAsE;IACtE,kEAAkE;IAClE,gEAAgE;IAChE,MAAM,UAAU,GAAG,CAAC,KAAK,EAAE,eAAe,IAAI,EAAE,CAAC;SAC5C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACP,MAAM,WAAW,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAA;QACxD,OAAO,MAAM,CAAC,CAAC,MAAM,UAAU,WAAW,WAAW,CAAC,CAAC,eAAe,WAAW,IAAI,CAAC,SAAS,CAC3F;YACI,GAAG,CAAC;YACJ,MAAM,EAAE,SAAS;YACjB,UAAU,EAAE,SAAS;YACrB,eAAe,EAAE,SAAS;YAC1B,IAAI,EAAE,SAAS;SAClB,CACJ,EAAE,CAAA;IACP,CAAC,CAAC;SACD,IAAI,CAAC,IAAI,CAAC,CAAA;IACf,MAAM,MAAM,GAAG,kBAAkB,SAAS,CAAC,eAAe,SAAS,uBAAuB,EAAE,CAAA;IAC5F,MAAM,IAAI,GAAG,oDAAoD,UAAU,mEAAmE,CAAA;IAC9I,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,CAAA;AAC3B,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAChC,OAAkC;IAElC,OAAO,QAAQ,CAAyB;QACpC,EAAE,EAAE,SAAS,CAAC,eAAe;QAC7B,SAAS,EAAE;YACP,SAAS,CAAC,qBAAqB;YAC/B,SAAS,CAAC,uBAAuB;SACpC;QACD,YAAY,EAAE,2BAA2B;QACzC,KAAK,EAAE,OAAO,EAAE,KAAK,IAAI,eAAe;QACxC,eAAe,EAAE,OAAO,EAAE,eAAe;QACzC,eAAe,EAAE,OAAO,EAAE,eAAe;QACzC,KAAK,EAAE,OAAO,EAAE,KAAK;QACrB,WAAW,EAAE,oBAAoB;KACpC,CAAC,CAAA;AACN,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,6BAA6B,GACtC,kBAAkB,CAA4B;IAC1C,EAAE,EAAE,SAAS,CAAC,kBAAkB;IAChC,SAAS,EAAE,CAAC,SAAS,CAAC,eAAe,CAAC;IACtC,YAAY,EAAE,8BAA8B;IAC5C,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACV,SAAS,EACL,GAAG,CAAC,GAAG,CAAyB,SAAS,CAAC,eAAe,CAAC;YACtD,EAAE,SAAS,IAAI,EAAE;KAC5B,CAAC;CACL,CAAC,CAAA;AAEN;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,+BAA+B,GACxC,kBAAkB,CAA6B;IAC3C,EAAE,EAAE,SAAS,CAAC,mBAAmB;IACjC,SAAS,EAAE;QACP,SAAS,CAAC,eAAe;QACzB,SAAS,CAAC,uBAAuB;QACjC,SAAS,CAAC,kBAAkB;KAC/B;IACD,YAAY,EAAE,+BAA+B;IAC7C,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE;QACR,MAAM,SAAS,GAAG,GAAG,CAAC,GAAG,CACrB,SAAS,CAAC,eAAe,CAC5B,CAAA;QACD,MAAM,UAAU,GAAG,SAAS,EAAE,oBAAoB,IAAI,EAAE,CAAA;QACxD,MAAM,SAAS,GAAG,SAAS,EAAE,SAAS,IAAI,EAAE,CAAA;QAC5C,MAAM,eAAe,GACjB,GAAG,CAAC,GAAG,CACH,SAAS,CAAC,uBAAuB,CACpC,EAAE,eAAe,IAAI,EAAE,CAAA;QAC5B,MAAM,SAAS,GACX,GAAG,CAAC,GAAG,CAA4B,SAAS,CAAC,kBAAkB,CAAC;YAC5D,EAAE,SAAS,IAAI,EAAE,CAAA;QAEzB,MAAM,aAAa,GAAG,IAAI,GAAG,CACzB,eAAe;aACV,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC;aAC1C,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CACpC,CAAA;QACD,MAAM,SAAS,GACX,UAAU,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,IAAI,CAAA;QAClE,MAAM,gBAAgB,GAClB,SAAS;YACT,wBAAwB,CAAC,eAAe,EAAE,SAAS,CAAC,CAAA;QACxD,MAAM,iBAAiB,GACnB,SAAS,KAAK,IAAI,IAAI,gBAAgB,KAAK,IAAI,CAAA;QAEnD,IAAI,gBAAgB,KAAK,IAAI,EAAE,CAAC;YAC5B,GAAG,CAAC,UAAU,CAAC;gBACX,IAAI,EAAE,+CAA+C;gBACrD,OAAO,EACH,SAAS,CAAC,MAAM,GAAG,CAAC;oBAChB,CAAC,CAAC,SAAS;oBACX,CAAC,CAAC,yCAAyC;gBACnD,QAAQ,EAAE,SAAS;gBACnB,OAAO,EAAE,EAAE,SAAS,EAAE;aACzB,CAAC,CAAA;QACN,CAAC;QAED,OAAO;YACH,gBAAgB;YAChB,oBAAoB,EAAE,UAAU;YAChC,SAAS,EAAE,iBAAiB;gBACxB,CAAC,CAAC,iBAAiB,gBAAgB,iEAAiE;gBACpG,CAAC,CAAC,SAAS;SAClB,CAAA;IACL,CAAC;CACJ,CAAC,CAAA"}
1
+ {"version":3,"file":"structure-stage.js","sourceRoot":"","sources":["../../../../../src/extensions/pipelines/ingestion/scribe/structure-stage.ts"],"names":[],"mappings":"AAAA,qEAAqE;AACrE,oEAAoE;AACpE,2DAA2D;AAC3D,iEAAiE;AACjE,sDAAsD;AACtD,gEAAgE;AAChE,EAAE;AACF,mEAAmE;AACnE,kEAAkE;AAClE,qEAAqE;AACrE,sEAAsE;AACtE,sEAAsE;AACtE,sCAAsC;AAEtC,OAAO,EAAE,QAAQ,EAAE,MAAM,4CAA4C,CAAA;AACrE,OAAO,EAAE,kBAAkB,EAAE,MAAM,4CAA4C,CAAA;AAE/E,OAAO,EACH,SAAS,EACT,8BAA8B,EAC9B,+BAA+B,EAC/B,wBAAwB,EACxB,+CAA+C,GAKlD,MAAM,4BAA4B,CAAA;AAEnC,OAAO,EACH,2BAA2B,GAE9B,MAAM,cAAc,CAAA;AAErB,MAAM,CAAC,MAAM,eAAe,GAAG,cAAc,CAAA;AAE7C,6DAA6D;AAC7D,MAAM,CAAC,MAAM,wBAAwB,GAA6B;IAC9D,KAAK,EAAE,eAAe;CACzB,CAAA;AAED,MAAM,CAAC,MAAM,uBAAuB,GAAG;;;;;;;gDAOS,CAAA;AAEhD,SAAS,oBAAoB,CAAC,GAAkB;IAI5C,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CACjB,SAAS,CAAC,qBAAqB,CAClC,CAAA;IACD,MAAM,YAAY,GAAG,GAAG,CAAC,GAAG,CACxB,SAAS,CAAC,uBAAuB,CACpC,CAAA;IACD,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAA;IAC9C,KAAK,MAAM,KAAK,IAAI,YAAY,EAAE,eAAe,IAAI,EAAE,EAAE,CAAC;QACtD,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAA;IAC9C,CAAC;IACD,oEAAoE;IACpE,qEAAqE;IACrE,sEAAsE;IACtE,kEAAkE;IAClE,gEAAgE;IAChE,MAAM,UAAU,GAAG,CAAC,KAAK,EAAE,eAAe,IAAI,EAAE,CAAC;SAC5C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACP,MAAM,WAAW,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAA;QACxD,OAAO,MAAM,CAAC,CAAC,MAAM,UAAU,WAAW,WAAW,CAAC,CAAC,eAAe,WAAW,IAAI,CAAC,SAAS,CAC3F;YACI,GAAG,CAAC;YACJ,MAAM,EAAE,SAAS;YACjB,UAAU,EAAE,SAAS;YACrB,eAAe,EAAE,SAAS;YAC1B,IAAI,EAAE,SAAS;SAClB,CACJ,EAAE,CAAA;IACP,CAAC,CAAC;SACD,IAAI,CAAC,IAAI,CAAC,CAAA;IACf,MAAM,MAAM,GAAG,kBAAkB,SAAS,CAAC,eAAe,SAAS,uBAAuB,EAAE,CAAA;IAC5F,MAAM,IAAI,GAAG,oDAAoD,UAAU,mEAAmE,CAAA;IAC9I,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,CAAA;AAC3B,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAChC,OAAkC;IAElC,OAAO,QAAQ,CAAyB;QACpC,EAAE,EAAE,SAAS,CAAC,eAAe;QAC7B,SAAS,EAAE;YACP,SAAS,CAAC,qBAAqB;YAC/B,SAAS,CAAC,uBAAuB;SACpC;QACD,YAAY,EAAE,2BAA2B;QACzC,KAAK,EAAE,OAAO,EAAE,KAAK,IAAI,eAAe;QACxC,eAAe,EAAE,OAAO,EAAE,eAAe;QACzC,eAAe,EAAE,OAAO,EAAE,eAAe;QACzC,KAAK,EAAE,OAAO,EAAE,KAAK;QACrB,WAAW,EAAE,oBAAoB;KACpC,CAAC,CAAA;AACN,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,6BAA6B,GACtC,kBAAkB,CAA4B;IAC1C,EAAE,EAAE,SAAS,CAAC,kBAAkB;IAChC,SAAS,EAAE,CAAC,SAAS,CAAC,eAAe,CAAC;IACtC,YAAY,EAAE,8BAA8B;IAC5C,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACV,SAAS,EACL,GAAG,CAAC,GAAG,CAAyB,SAAS,CAAC,eAAe,CAAC;YACtD,EAAE,SAAS,IAAI,EAAE;KAC5B,CAAC;CACL,CAAC,CAAA;AAEN;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,+BAA+B,GACxC,kBAAkB,CAA6B;IAC3C,EAAE,EAAE,SAAS,CAAC,mBAAmB;IACjC,SAAS,EAAE;QACP,SAAS,CAAC,eAAe;QACzB,SAAS,CAAC,uBAAuB;QACjC,SAAS,CAAC,kBAAkB;KAC/B;IACD,YAAY,EAAE,+BAA+B;IAC7C,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE;QACR,MAAM,SAAS,GAAG,GAAG,CAAC,GAAG,CACrB,SAAS,CAAC,eAAe,CAC5B,CAAA;QACD,MAAM,UAAU,GAAG,SAAS,EAAE,oBAAoB,IAAI,EAAE,CAAA;QACxD,MAAM,SAAS,GAAG,SAAS,EAAE,SAAS,IAAI,EAAE,CAAA;QAC5C,MAAM,eAAe,GACjB,GAAG,CAAC,GAAG,CACH,SAAS,CAAC,uBAAuB,CACpC,EAAE,eAAe,IAAI,EAAE,CAAA;QAC5B,MAAM,SAAS,GACX,GAAG,CAAC,GAAG,CAA4B,SAAS,CAAC,kBAAkB,CAAC;YAC5D,EAAE,SAAS,IAAI,EAAE,CAAA;QAEzB,MAAM,aAAa,GAAG,IAAI,GAAG,CACzB,eAAe;aACV,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC;aAC1C,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CACpC,CAAA;QACD,MAAM,SAAS,GACX,UAAU,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,IAAI,CAAA;QAClE,MAAM,gBAAgB,GAClB,SAAS;YACT,wBAAwB,CAAC,eAAe,EAAE,SAAS,CAAC,CAAA;QACxD,MAAM,iBAAiB,GACnB,SAAS,KAAK,IAAI,IAAI,gBAAgB,KAAK,IAAI,CAAA;QAEnD,IAAI,gBAAgB,KAAK,IAAI,EAAE,CAAC;YAC5B,GAAG,CAAC,UAAU,CAAC;gBACX,IAAI,EAAE,+CAA+C;gBACrD,OAAO,EACH,SAAS,CAAC,MAAM,GAAG,CAAC;oBAChB,CAAC,CAAC,SAAS;oBACX,CAAC,CAAC,yCAAyC;gBACnD,QAAQ,EAAE,SAAS;gBACnB,OAAO,EAAE,EAAE,SAAS,EAAE;aACzB,CAAC,CAAA;QACN,CAAC;QAED,OAAO;YACH,gBAAgB;YAChB,oBAAoB,EAAE,UAAU;YAChC,SAAS,EAAE,iBAAiB;gBACxB,CAAC,CAAC,iBAAiB,gBAAgB,iEAAiE;gBACpG,CAAC,CAAC,SAAS;SAClB,CAAA;IACL,CAAC;CACJ,CAAC,CAAA"}
@@ -0,0 +1,29 @@
1
+ import type { TSchema } from "typebox";
2
+ /**
3
+ * Fraction of a free-text field's declared `maxLength` to project into
4
+ * the wire schema — leaving headroom below the true cap so the model's
5
+ * tendency to overshoot lands under the real limit rather than past it.
6
+ *
7
+ * ponytail: tunable heuristic knob. Lower it (e.g. 0.85, 0.8) if
8
+ * truncation still surfaces in practice; raise it toward 1.0 if the
9
+ * steering is clipping legitimately long values. A plain constant on
10
+ * purpose — not an env var or config object.
11
+ */
12
+ export declare const SHRINK = 0.9;
13
+ /**
14
+ * Project a TypeBox String node into the wire-schema String object,
15
+ * applying free-text length steering.
16
+ *
17
+ * - A free-text String with a `maxLength` gets a shrunk `maxLength` and
18
+ * a `description` ending `…at most <shrunk> characters`.
19
+ * - An exact-value String (declares a `format`, or a very small
20
+ * `maxLength`) keeps its original `maxLength`/`description` and gets
21
+ * no hint.
22
+ * - A String with no `maxLength` is returned as a bare
23
+ * `{ type: "string" }` (no shrink, no hint).
24
+ *
25
+ * Returns a plain object literal (the loose shape both converters
26
+ * round-trip through the request body), never mutating the source.
27
+ */
28
+ export declare function projectStringLengthHint(schema: TSchema): Record<string, unknown>;
29
+ //# sourceMappingURL=length-hint.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"length-hint.d.ts","sourceRoot":"","sources":["../../../src/extensions/structured-output/length-hint.ts"],"names":[],"mappings":"AAmCA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,SAAS,CAAA;AAEtC;;;;;;;;;GASG;AACH,eAAO,MAAM,MAAM,MAAM,CAAA;AAyCzB;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,uBAAuB,CACnC,MAAM,EAAE,OAAO,GAChB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAuCzB"}
@@ -0,0 +1,120 @@
1
+ // Shared free-text length steering for the structured-output schema
2
+ // converters.
3
+ //
4
+ // Both structured-output converters — the OpenAI Responses-API
5
+ // strict-mode one (`../openai/structured-output.ts`) and the standard
6
+ // `json_schema` one for chat-completions (`../chat-completions/
7
+ // structured-output.ts`) — deliberately drop a String field's
8
+ // `maxLength`/`description` and project only `{ type: "string" }`.
9
+ // That left the per-field budget with no representation in the wire
10
+ // schema, so a model would routinely overshoot a declared cap and the
11
+ // overshoot reached the user as a value cut off mid-word.
12
+ //
13
+ // This helper restores a *steering* projection for free-text String
14
+ // fields, shared so the shrink math, hint wording, and exact-value
15
+ // exemption rule live in exactly one place. It does NOT enforce the
16
+ // true limit — a post-hoc clamp against the original (unshrunk) schema
17
+ // remains the only thing that truncates. The projection only nudges
18
+ // the model toward the limit:
19
+ //
20
+ // * Project a *shrunk* `maxLength` (`floor(original * SHRINK)`,
21
+ // floored at 1). On a respected-`maxLength` consumer (a local
22
+ // llama-server compiling to GBNF) this caps output strictly below
23
+ // the true limit. On OpenAI strict mode the value is ignored, so
24
+ // it is an inert structural placeholder there.
25
+ // * Append the budget to `description` so a model reading the prose
26
+ // schema sees the cap explicitly — this is what steers OpenAI,
27
+ // which ignores `maxLength` but does read `description`.
28
+ //
29
+ // Exact-value fields are exempt from both. A String that declares a
30
+ // `format` (e.g. `uri`) or a very small `maxLength` is not free text:
31
+ // shrinking it could clip a valid value short (a 500→450 `url` shrink
32
+ // would drop a long URL 50 chars early) and a "write fewer characters"
33
+ // hint is meaningless for an exact value. Those keep their original
34
+ // `maxLength` (and original `description`), with no hint.
35
+ /**
36
+ * Fraction of a free-text field's declared `maxLength` to project into
37
+ * the wire schema — leaving headroom below the true cap so the model's
38
+ * tendency to overshoot lands under the real limit rather than past it.
39
+ *
40
+ * ponytail: tunable heuristic knob. Lower it (e.g. 0.85, 0.8) if
41
+ * truncation still surfaces in practice; raise it toward 1.0 if the
42
+ * steering is clipping legitimately long values. A plain constant on
43
+ * purpose — not an env var or config object.
44
+ */
45
+ export const SHRINK = 0.9;
46
+ // A String whose declared `maxLength` is at or below this is treated as
47
+ // an exact-value field (short identifiers, codes, enum-like strings)
48
+ // rather than free text: not shrunk, not hinted. Kept below the
49
+ // smallest real free-text budget (ingestion titles at 50) so those
50
+ // still steer.
51
+ const EXACT_VALUE_MAX_LENGTH = 16;
52
+ function readStringLengthFields(schema) {
53
+ const s = schema;
54
+ return {
55
+ maxLength: typeof s.maxLength === "number" ? s.maxLength : undefined,
56
+ description: typeof s.description === "string" ? s.description : undefined,
57
+ format: typeof s.format === "string" ? s.format : undefined,
58
+ };
59
+ }
60
+ function isExactValueField(fields) {
61
+ if (fields.format !== undefined)
62
+ return true;
63
+ if (fields.maxLength !== undefined &&
64
+ fields.maxLength <= EXACT_VALUE_MAX_LENGTH) {
65
+ return true;
66
+ }
67
+ return false;
68
+ }
69
+ /**
70
+ * Project a TypeBox String node into the wire-schema String object,
71
+ * applying free-text length steering.
72
+ *
73
+ * - A free-text String with a `maxLength` gets a shrunk `maxLength` and
74
+ * a `description` ending `…at most <shrunk> characters`.
75
+ * - An exact-value String (declares a `format`, or a very small
76
+ * `maxLength`) keeps its original `maxLength`/`description` and gets
77
+ * no hint.
78
+ * - A String with no `maxLength` is returned as a bare
79
+ * `{ type: "string" }` (no shrink, no hint).
80
+ *
81
+ * Returns a plain object literal (the loose shape both converters
82
+ * round-trip through the request body), never mutating the source.
83
+ */
84
+ export function projectStringLengthHint(schema) {
85
+ const fields = readStringLengthFields(schema);
86
+ // No budget declared: nothing to steer. Stay a bare string so the
87
+ // converters' historical output is unchanged for unbounded fields.
88
+ if (fields.maxLength === undefined) {
89
+ return { type: "string" };
90
+ }
91
+ // Exact-value field: keep the real limit and any description as-is;
92
+ // no shrink, no hint. `format` is read only to MAKE the exemption
93
+ // decision — it is never projected into the wire object: the
94
+ // converters strip all non-structural metadata, and OpenAI strict
95
+ // mode supports only a fixed string-`format` set (date-time, date,
96
+ // time, duration, email, hostname, ipv4, ipv6, uuid) — emitting an
97
+ // unsupported `format` like `uri` risks a 400 at generation time.
98
+ if (isExactValueField(fields)) {
99
+ const exact = {
100
+ type: "string",
101
+ maxLength: fields.maxLength,
102
+ };
103
+ if (fields.description !== undefined) {
104
+ exact.description = fields.description;
105
+ }
106
+ return exact;
107
+ }
108
+ // Free-text field: shrink the cap and restate the budget in prose.
109
+ const shrunk = Math.max(1, Math.floor(fields.maxLength * SHRINK));
110
+ const budgetHint = `at most ${String(shrunk)} characters`;
111
+ const description = fields.description !== undefined
112
+ ? `${fields.description}; ${budgetHint}`
113
+ : budgetHint;
114
+ return {
115
+ type: "string",
116
+ maxLength: shrunk,
117
+ description,
118
+ };
119
+ }
120
+ //# sourceMappingURL=length-hint.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"length-hint.js","sourceRoot":"","sources":["../../../src/extensions/structured-output/length-hint.ts"],"names":[],"mappings":"AAAA,oEAAoE;AACpE,cAAc;AACd,EAAE;AACF,+DAA+D;AAC/D,sEAAsE;AACtE,gEAAgE;AAChE,8DAA8D;AAC9D,mEAAmE;AACnE,oEAAoE;AACpE,sEAAsE;AACtE,0DAA0D;AAC1D,EAAE;AACF,oEAAoE;AACpE,mEAAmE;AACnE,oEAAoE;AACpE,uEAAuE;AACvE,oEAAoE;AACpE,8BAA8B;AAC9B,EAAE;AACF,kEAAkE;AAClE,kEAAkE;AAClE,sEAAsE;AACtE,qEAAqE;AACrE,mDAAmD;AACnD,sEAAsE;AACtE,mEAAmE;AACnE,6DAA6D;AAC7D,EAAE;AACF,oEAAoE;AACpE,sEAAsE;AACtE,sEAAsE;AACtE,uEAAuE;AACvE,oEAAoE;AACpE,0DAA0D;AAI1D;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,GAAG,CAAA;AAEzB,wEAAwE;AACxE,qEAAqE;AACrE,gEAAgE;AAChE,mEAAmE;AACnE,eAAe;AACf,MAAM,sBAAsB,GAAG,EAAE,CAAA;AAajC,SAAS,sBAAsB,CAAC,MAAe;IAC3C,MAAM,CAAC,GAAG,MAA6B,CAAA;IACvC,OAAO;QACH,SAAS,EAAE,OAAO,CAAC,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS;QACpE,WAAW,EACP,OAAO,CAAC,CAAC,WAAW,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS;QACjE,MAAM,EAAE,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS;KAC9D,CAAA;AACL,CAAC;AAED,SAAS,iBAAiB,CAAC,MAA2B;IAClD,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS;QAAE,OAAO,IAAI,CAAA;IAC5C,IACI,MAAM,CAAC,SAAS,KAAK,SAAS;QAC9B,MAAM,CAAC,SAAS,IAAI,sBAAsB,EAC5C,CAAC;QACC,OAAO,IAAI,CAAA;IACf,CAAC;IACD,OAAO,KAAK,CAAA;AAChB,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,uBAAuB,CACnC,MAAe;IAEf,MAAM,MAAM,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAA;IAE7C,kEAAkE;IAClE,mEAAmE;IACnE,IAAI,MAAM,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QACjC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAA;IAC7B,CAAC;IAED,oEAAoE;IACpE,kEAAkE;IAClE,6DAA6D;IAC7D,kEAAkE;IAClE,mEAAmE;IACnE,mEAAmE;IACnE,kEAAkE;IAClE,IAAI,iBAAiB,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5B,MAAM,KAAK,GAA4B;YACnC,IAAI,EAAE,QAAQ;YACd,SAAS,EAAE,MAAM,CAAC,SAAS;SAC9B,CAAA;QACD,IAAI,MAAM,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;YACnC,KAAK,CAAC,WAAW,GAAG,MAAM,CAAC,WAAW,CAAA;QAC1C,CAAC;QACD,OAAO,KAAK,CAAA;IAChB,CAAC;IAED,mEAAmE;IACnE,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,GAAG,MAAM,CAAC,CAAC,CAAA;IACjE,MAAM,UAAU,GAAG,WAAW,MAAM,CAAC,MAAM,CAAC,aAAa,CAAA;IACzD,MAAM,WAAW,GACb,MAAM,CAAC,WAAW,KAAK,SAAS;QAC5B,CAAC,CAAC,GAAG,MAAM,CAAC,WAAW,KAAK,UAAU,EAAE;QACxC,CAAC,CAAC,UAAU,CAAA;IACpB,OAAO;QACH,IAAI,EAAE,QAAQ;QACd,SAAS,EAAE,MAAM;QACjB,WAAW;KACd,CAAA;AACL,CAAC"}
@@ -1 +1 @@
1
- {"version":3,"file":"argument-parser.d.ts","sourceRoot":"","sources":["../../../src/lib/parsing/argument-parser.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,SAAS,CAAA;AACtC,OAAO,KAAK,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAA;AACrE,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC1B,UAAU,EACV,oBAAoB,EACvB,MAAM,sBAAsB,CAAA;AAS7B,OAAO,EAAE,cAAc,EAAqB,MAAM,4BAA4B,CAAA;AAC9E,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA;AACvD,OAAO,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAA;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAA;AAGlE,OAAO,KAAK,EACR,uBAAuB,EACvB,eAAe,EACf,YAAY,EACZ,eAAe,EACf,cAAc,EACjB,MAAM,eAAe,CAAA;AAEtB;;GAEG;AACH,MAAM,MAAM,qBAAqB,CAC7B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,SAAS,SAAS,oBAAoB,GAAG,oBAAoB,EAC7D,MAAM,SAAS,oBAAoB,GAAG,oBAAoB,IAC1D;IACA,MAAM,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAA;IAC3D,YAAY,EAAE,YAAY,CAAC,MAAM,CAAC,CAAA;IAClC,oBAAoB,EAAE,oBAAoB,CAAC,SAAS,CAAC,CAAA;IACrD,iBAAiB,EAAE,iBAAiB,CAAC,MAAM,CAAC,CAAA;IAC5C,QAAQ,EAAE,cAAc,EAAE,CAAA;CAC7B,CAAA;AA2MD;;;;;GAKG;AACH,qBAAa,cAAc,CACvB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,SAAS,SAAS,oBAAoB,GAAG,oBAAoB,EAC7D,MAAM,SAAS,oBAAoB,GAAG,oBAAoB;IAE1D,SAAS,CAAC,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAA;gBAE9B,cAAc,CAAC,EAAE,OAAO;IAIpC;;OAEG;IACI,QAAQ,CAAC,GAAG,EAAE,OAAO,GAAG,uBAAuB;IAKtD;;;;;;;;OAQG;IACI,KAAK,CACR,QAAQ,EAAE,uBAAuB,EACjC,OAAO,CAAC,EAAE,mBAAmB,GAC9B,qBAAqB,CACpB,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,MAAM,EACN,SAAS,EACT,MAAM,CACT;IAsbD,SAAS,CAAC,WAAW,CAAC,OAAO,EAAE,eAAe,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAIxE,SAAS,CAAC,QAAQ,CAAC,OAAO,EAAE,YAAY,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAIlE,SAAS,CAAC,WAAW,CAAC,OAAO,EAAE,eAAe,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAIxE,SAAS,CAAC,UAAU,CAAC,OAAO,EAAE,cAAc,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAItE,SAAS,CAAC,gBAAgB,CACtB,gBAAgB,EAAE,YAAY,EAC9B,iBAAiB,EAAE,YAAY,EAC/B,iBAAiB,EAAE,MAAM,EACzB,kBAAkB,EAAE,MAAM,GAC3B,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAI1B,SAAS,CAAC,aAAa,CACnB,gBAAgB,EAAE,YAAY,EAC9B,iBAAiB,EAAE,YAAY,EAC/B,iBAAiB,EAAE,MAAM,EACzB,kBAAkB,EAAE,MAAM,GAC3B,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;CAG7B"}
1
+ {"version":3,"file":"argument-parser.d.ts","sourceRoot":"","sources":["../../../src/lib/parsing/argument-parser.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,SAAS,CAAA;AACtC,OAAO,KAAK,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAA;AACrE,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC1B,UAAU,EACV,oBAAoB,EACvB,MAAM,sBAAsB,CAAA;AAM7B,OAAO,EAAE,cAAc,EAAqB,MAAM,4BAA4B,CAAA;AAC9E,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA;AACvD,OAAO,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAA;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAA;AAGlE,OAAO,KAAK,EACR,uBAAuB,EACvB,eAAe,EACf,YAAY,EACZ,eAAe,EACf,cAAc,EACjB,MAAM,eAAe,CAAA;AAEtB;;GAEG;AACH,MAAM,MAAM,qBAAqB,CAC7B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,SAAS,SAAS,oBAAoB,GAAG,oBAAoB,EAC7D,MAAM,SAAS,oBAAoB,GAAG,oBAAoB,IAC1D;IACA,MAAM,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAA;IAC3D,YAAY,EAAE,YAAY,CAAC,MAAM,CAAC,CAAA;IAClC,oBAAoB,EAAE,oBAAoB,CAAC,SAAS,CAAC,CAAA;IACrD,iBAAiB,EAAE,iBAAiB,CAAC,MAAM,CAAC,CAAA;IAC5C,QAAQ,EAAE,cAAc,EAAE,CAAA;CAC7B,CAAA;AA2LD;;;;;GAKG;AACH,qBAAa,cAAc,CACvB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,SAAS,SAAS,oBAAoB,GAAG,oBAAoB,EAC7D,MAAM,SAAS,oBAAoB,GAAG,oBAAoB;IAE1D,SAAS,CAAC,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAA;gBAE9B,cAAc,CAAC,EAAE,OAAO;IAIpC;;OAEG;IACI,QAAQ,CAAC,GAAG,EAAE,OAAO,GAAG,uBAAuB;IAKtD;;;;;;;;OAQG;IACI,KAAK,CACR,QAAQ,EAAE,uBAAuB,EACjC,OAAO,CAAC,EAAE,mBAAmB,GAC9B,qBAAqB,CACpB,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,MAAM,EACN,SAAS,EACT,MAAM,CACT;IA+YD,SAAS,CAAC,WAAW,CAAC,OAAO,EAAE,eAAe,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAIxE,SAAS,CAAC,QAAQ,CAAC,OAAO,EAAE,YAAY,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAIlE,SAAS,CAAC,WAAW,CAAC,OAAO,EAAE,eAAe,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAIxE,SAAS,CAAC,UAAU,CAAC,OAAO,EAAE,cAAc,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAItE,SAAS,CAAC,gBAAgB,CACtB,gBAAgB,EAAE,YAAY,EAC9B,iBAAiB,EAAE,YAAY,EAC/B,iBAAiB,EAAE,MAAM,EACzB,kBAAkB,EAAE,MAAM,GAC3B,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAI1B,SAAS,CAAC,aAAa,CACnB,gBAAgB,EAAE,YAAY,EAC9B,iBAAiB,EAAE,YAAY,EAC/B,iBAAiB,EAAE,MAAM,EACzB,kBAAkB,EAAE,MAAM,GAC3B,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;CAG7B"}
@@ -1,5 +1,5 @@
1
1
  import { Value } from "typebox/value";
2
- import { isClaimBound, } from "../schemata/propositional.js";
2
+ import {} from "../schemata/propositional.js";
3
3
  import { parseFormula } from "../core/parser/formula.js";
4
4
  import { POSITION_INITIAL } from "../utils/position.js";
5
5
  import { ArgumentEngine, defaultGenerateId } from "../core/argument-engine.js";
@@ -37,17 +37,6 @@ function validateRootOnly(ast, isRoot, premiseMiniId) {
37
37
  break;
38
38
  }
39
39
  }
40
- /** Collect all variable IDs reachable in a subtree, traversing through and/or/not/formula/implies/iff. */
41
- function collectVariableIdsInSubtree(rootExpression, expressionsByParent, out) {
42
- if (rootExpression.type === "variable") {
43
- out.add(rootExpression.variableId);
44
- return;
45
- }
46
- const children = expressionsByParent.get(rootExpression.id) ?? [];
47
- for (const child of children) {
48
- collectVariableIdsInSubtree(child, expressionsByParent, out);
49
- }
50
- }
51
40
  /** Recursively collects all variable names from a formula AST. */
52
41
  function collectVariableNames(ast, names) {
53
42
  switch (ast.type) {
@@ -381,11 +370,12 @@ export class ArgumentParser {
381
370
  else {
382
371
  engine.setConclusionPremise(conclusionId);
383
372
  }
384
- // 9. Formula-inferred support edges
385
- // Walk each implies/iff-rooted premise; right-hand operand is the
386
- // consequent claim, left-hand subtree contributes antecedent variables.
387
- // Citation-typed antecedent varsClaimCitationLibrary edge;
388
- // axiomatic-typed antecedent vars ClaimAxiomLibrary edge.
373
+ // 9. Derivation backing edges
374
+ // The pipeline's deterministic relation sort extracted
375
+ // citation/axiomatic antecedents out of freeform premises into
376
+ // `derivationBacking` (each backed claim its citation/axiomatic
377
+ // supporters). Materialize each as a ClaimCitationLibrary /
378
+ // ClaimAxiomLibrary edge.
389
379
  const citationEdgeKeys = new Set();
390
380
  const axiomEdgeKeys = new Set();
391
381
  const tryAddSupportEdge = (params) => {
@@ -421,63 +411,23 @@ export class ArgumentParser {
421
411
  });
422
412
  }
423
413
  };
424
- for (const premise of engine.listPremises()) {
425
- const root = premise.getRootExpression();
426
- if (!root)
427
- continue;
428
- if (root.type !== "operator")
429
- continue;
430
- if (root.operator !== "implies" && root.operator !== "iff")
431
- continue;
432
- const allExpressions = premise.getExpressions();
433
- const expressionsByParent = new Map();
434
- for (const expr of allExpressions) {
435
- const bucket = expressionsByParent.get(expr.parentId) ?? [];
436
- bucket.push(expr);
437
- expressionsByParent.set(expr.parentId, bucket);
438
- }
439
- // Children of the root, sorted by position. Right-hand operand is at
440
- // position 1 (consequent); position-0 subtree is the antecedent.
441
- const rootChildren = (expressionsByParent.get(root.id) ?? [])
442
- .slice()
443
- .sort((a, b) => a.position - b.position);
444
- if (rootChildren.length !== 2)
414
+ for (const backing of arg.derivationBacking ?? []) {
415
+ const consequentRef = claimMiniIdToId.get(backing.derivedClaimMiniId);
416
+ if (!consequentRef)
445
417
  continue;
446
- const antecedentRoot = rootChildren[0];
447
- const consequentRoot = rootChildren[1];
448
- // Consequent must be a variable expression for the edge model to apply.
449
- if (consequentRoot.type !== "variable")
450
- continue;
451
- const consequentVariable = engine.getVariable(consequentRoot.variableId);
452
- if (!consequentVariable)
453
- continue;
454
- if (!isClaimBound(consequentVariable))
455
- continue;
456
- const consequentClaimId = consequentVariable.claimId;
457
- const consequentClaimVersion = consequentVariable.claimVersion;
458
- const antecedentVariableIds = new Set();
459
- collectVariableIdsInSubtree(antecedentRoot, expressionsByParent, antecedentVariableIds);
460
- // Find which parsed claim corresponds to the consequent — we need the
461
- // parsed-claim form for mapClaimCitation/mapClaimAxiom mapping hooks.
462
- const consequentParsed = arg.claims.find((pc) => {
463
- const ref = claimMiniIdToId.get(pc.miniId);
464
- return ref?.id === consequentClaimId;
465
- });
418
+ const consequentParsed = arg.claims.find((pc) => pc.miniId === backing.derivedClaimMiniId);
466
419
  if (!consequentParsed)
467
420
  continue;
468
- for (const variableId of antecedentVariableIds) {
469
- const antecedentVariable = engine.getVariable(variableId);
470
- if (!antecedentVariable)
471
- continue;
472
- if (!isClaimBound(antecedentVariable))
421
+ const consequentClaimId = consequentRef.id;
422
+ const consequentClaimVersion = consequentRef.version;
423
+ for (const supporterMiniId of backing.supportingClaimMiniIds) {
424
+ const supporterRef = claimMiniIdToId.get(supporterMiniId);
425
+ if (!supporterRef)
473
426
  continue;
474
- const supportingClaim = claimLibrary.get(antecedentVariable.claimId, antecedentVariable.claimVersion);
427
+ const supportingClaim = claimLibrary.get(supporterRef.id, supporterRef.version);
475
428
  if (!supportingClaim)
476
429
  continue;
477
- const supportingParsed = arg.claims.find((pc) => {
478
- const ref = claimMiniIdToId.get(pc.miniId);
479
- return ref?.id === supportingClaim.id;
480
- });
430
+ const supportingParsed = arg.claims.find((pc) => pc.miniId === supporterMiniId);
481
431
  if (!supportingParsed)
482
432
  continue;
483
433
  const edgeKey = `${consequentClaimId}|${supportingClaim.id}`;
@@ -1 +1 @@
1
- {"version":3,"file":"argument-parser.js","sourceRoot":"","sources":["../../../src/lib/parsing/argument-parser.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAWrC,OAAO,EACH,YAAY,GAEf,MAAM,8BAA8B,CAAA;AACrC,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAA;AAGxD,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAA;AACvD,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAA;AAC9E,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA;AACvD,OAAO,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAA;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAA;AAClE,OAAO,EAAE,4BAA4B,EAAE,MAAM,eAAe,CAAA;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAA;AA4BxD,8EAA8E;AAC9E,4DAA4D;AAC5D,8EAA8E;AAE9E;;GAEG;AACH,SAAS,gBAAgB,CACrB,GAAgB,EAChB,MAAe,EACf,aAAqB;IAErB,IAAI,CAAC,MAAM,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;QAC5D,MAAM,IAAI,KAAK,CACX,GAAG,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,mBAAmB,4EAA4E,aAAa,IAAI,CACnK,CAAA;IACL,CAAC;IACD,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,UAAU;YACX,MAAK;QACT,KAAK,KAAK;YACN,gBAAgB,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,aAAa,CAAC,CAAA;YACnD,MAAK;QACT,KAAK,KAAK,CAAC;QACX,KAAK,IAAI;YACL,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;gBACjC,gBAAgB,CAAC,OAAO,EAAE,KAAK,EAAE,aAAa,CAAC,CAAA;YACnD,CAAC;YACD,MAAK;QACT,KAAK,SAAS,CAAC;QACf,KAAK,KAAK;YACN,gBAAgB,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,aAAa,CAAC,CAAA;YAChD,gBAAgB,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,aAAa,CAAC,CAAA;YACjD,MAAK;IACb,CAAC;AACL,CAAC;AAED,0GAA0G;AAC1G,SAAS,2BAA2B,CAChC,cAA4C,EAC5C,mBAAuE,EACvE,GAAgB;IAEhB,IAAI,cAAc,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACrC,GAAG,CAAC,GAAG,CAAC,cAAc,CAAC,UAAU,CAAC,CAAA;QAClC,OAAM;IACV,CAAC;IACD,MAAM,QAAQ,GAAG,mBAAmB,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC,IAAI,EAAE,CAAA;IACjE,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;QAC3B,2BAA2B,CAAC,KAAK,EAAE,mBAAmB,EAAE,GAAG,CAAC,CAAA;IAChE,CAAC;AACL,CAAC;AAED,kEAAkE;AAClE,SAAS,oBAAoB,CAAC,GAAgB,EAAE,KAAkB;IAC9D,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,UAAU;YACX,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YACnB,MAAK;QACT,KAAK,KAAK;YACN,oBAAoB,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;YACxC,MAAK;QACT,KAAK,KAAK,CAAC;QACX,KAAK,IAAI;YACL,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;gBACjC,oBAAoB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;YACxC,CAAC;YACD,MAAK;QACT,KAAK,SAAS,CAAC;QACf,KAAK,KAAK;YACN,oBAAoB,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;YACrC,oBAAoB,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;YACtC,MAAK;IACb,CAAC;AACL,CAAC;AAED;;GAEG;AACH,SAAS,gBAAgB,CACrB,GAAgB,EAChB,QAAuB,EACvB,QAAgB,EAChB,UAAkB,EAClB,eAAuB,EACvB,SAAiB,EACjB,iBAAqE,EACrE,aAA+C,EAC/C,UAAwB;IAExB,MAAM,EAAE,GAAG,UAAU,EAAE,CAAA;IAEvB,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,UAAU,CAAC,CAAC,CAAC;YACd,MAAM,QAAQ,GAAG,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAE,CAAA;YACjD,aAAa,CAAC;gBACV,EAAE;gBACF,UAAU;gBACV,eAAe;gBACf,SAAS;gBACT,IAAI,EAAE,UAAU;gBAChB,UAAU,EAAE,QAAQ,CAAC,EAAE;gBACvB,QAAQ;gBACR,QAAQ;aACX,CAAC,CAAA;YACF,OAAO,EAAE,CAAA;QACb,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACT,aAAa,CAAC;gBACV,EAAE;gBACF,UAAU;gBACV,eAAe;gBACf,SAAS;gBACT,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,KAAK;gBACf,QAAQ;gBACR,QAAQ;aACX,CAAC,CAAA;YACF,gBAAgB,CACZ,GAAG,CAAC,OAAO,EACX,EAAE,EACF,CAAC,EACD,UAAU,EACV,eAAe,EACf,SAAS,EACT,iBAAiB,EACjB,aAAa,EACb,UAAU,CACb,CAAA;YACD,OAAO,EAAE,CAAA;QACb,CAAC;QACD,KAAK,KAAK,CAAC;QACX,KAAK,IAAI,CAAC,CAAC,CAAC;YACR,aAAa,CAAC;gBACV,EAAE;gBACF,UAAU;gBACV,eAAe;gBACf,SAAS;gBACT,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,GAAG,CAAC,IAAI;gBAClB,QAAQ;gBACR,QAAQ;aACX,CAAC,CAAA;YACF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC3C,gBAAgB,CACZ,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EACf,EAAE,EACF,CAAC,EACD,UAAU,EACV,eAAe,EACf,SAAS,EACT,iBAAiB,EACjB,aAAa,EACb,UAAU,CACb,CAAA;YACL,CAAC;YACD,OAAO,EAAE,CAAA;QACb,CAAC;QACD,KAAK,SAAS,CAAC;QACf,KAAK,KAAK,CAAC,CAAC,CAAC;YACT,aAAa,CAAC;gBACV,EAAE;gBACF,UAAU;gBACV,eAAe;gBACf,SAAS;gBACT,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,GAAG,CAAC,IAAI;gBAClB,QAAQ;gBACR,QAAQ;aACX,CAAC,CAAA;YACF,gBAAgB,CACZ,GAAG,CAAC,IAAI,EACR,EAAE,EACF,CAAC,EACD,UAAU,EACV,eAAe,EACf,SAAS,EACT,iBAAiB,EACjB,aAAa,EACb,UAAU,CACb,CAAA;YACD,gBAAgB,CACZ,GAAG,CAAC,KAAK,EACT,EAAE,EACF,CAAC,EACD,UAAU,EACV,eAAe,EACf,SAAS,EACT,iBAAiB,EACjB,aAAa,EACb,UAAU,CACb,CAAA;YACD,OAAO,EAAE,CAAA;QACb,CAAC;IACL,CAAC;AACL,CAAC;AAED,8EAA8E;AAC9E,iBAAiB;AACjB,8EAA8E;AAE9E;;;;;GAKG;AACH,MAAM,OAAO,cAAc;IASJ,cAAc,CAAS;IAE1C,YAAY,cAAwB;QAChC,IAAI,CAAC,cAAc,GAAG,cAAc,IAAI,4BAA4B,CAAA;IACxE,CAAC;IAED;;OAEG;IACI,QAAQ,CAAC,GAAY;QACxB,eAAe,CAAC,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC,CAAA;QACzC,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC,CAAA;IAChD,CAAC;IAED;;;;;;;;OAQG;IACI,KAAK,CACR,QAAiC,EACjC,OAA6B;QAU7B,MAAM,QAAQ,GAAqB,EAAE,CAAA;QACrC,MAAM,MAAM,GAAG,OAAO,EAAE,MAAM,IAAI,IAAI,CAAA;QACtC,MAAM,KAAK,GAAG,OAAO,EAAE,UAAU,IAAI,iBAAiB,CAAA;QACtD,MAAM,GAAG,GAAG,QAAQ,CAAC,QAAQ,CAAA;QAC7B,IAAI,CAAC,GAAG,EAAE,CAAC;YACP,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAA;QACtD,CAAC;QAED,6CAA6C;QAC7C,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAA;QACnE,MAAM,cAAc,GAChB,EAAE,CAAA;QAEN,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;YACjC,IAAI,GAAgB,CAAA;YACpB,IAAI,CAAC;gBACD,GAAG,GAAG,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;YACvC,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACb,MAAM,GAAG,GACL,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;gBAC1D,IAAI,MAAM,EAAE,CAAC;oBACT,MAAM,IAAI,KAAK,CACX,wCAAwC,OAAO,CAAC,MAAM,MAAM,GAAG,EAAE,CACpE,CAAA;gBACL,CAAC;gBACD,QAAQ,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,qBAAqB;oBAC3B,OAAO,EAAE,wCAAwC,OAAO,CAAC,MAAM,MAAM,GAAG,EAAE;oBAC1E,OAAO,EAAE;wBACL,aAAa,EAAE,OAAO,CAAC,MAAM;wBAC7B,OAAO,EAAE,OAAO,CAAC,OAAO;qBAC3B;iBACJ,CAAC,CAAA;gBACF,SAAQ;YACZ,CAAC;YAED,gCAAgC;YAChC,IAAI,CAAC;gBACD,gBAAgB,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,CAAA;YAC/C,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACb,MAAM,GAAG,GACL,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;gBAC1D,IAAI,MAAM,EAAE,CAAC;oBACT,MAAM,KAAK,CAAA;gBACf,CAAC;gBACD,QAAQ,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,yBAAyB;oBAC/B,OAAO,EAAE,GAAG;oBACZ,OAAO,EAAE;wBACL,aAAa,EAAE,OAAO,CAAC,MAAM;wBAC7B,OAAO,EAAE,OAAO,CAAC,OAAO;qBAC3B;iBACJ,CAAC,CAAA;gBACF,SAAQ;YACZ,CAAC;YAED,cAAc,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CAAA;QACzC,CAAC;QAED,qBAAqB;QACrB,MAAM,UAAU,GAAG,KAAK,EAAE,CAAA;QAC1B,MAAM,eAAe,GAAG,CAAC,CAAA;QACzB,MAAM,cAAc,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAA;QAC5C,MAAM,QAAQ,GAAG;YACb,GAAG,cAAc;YACjB,EAAE,EAAE,UAAU;YACd,OAAO,EAAE,eAAe;SACnB,CAAA;QAET,+DAA+D;QAC/D,MAAM,YAAY,GAAG,IAAI,YAAY,EAAU,CAAA;QAC/C,MAAM,eAAe,GAAG,IAAI,GAAG,EAG5B,CAAA;QAEH,KAAK,MAAM,WAAW,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;YACnC,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAA;YACzC,MAAM,OAAO,GAAG,KAAK,EAAE,CAAA;YACvB,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,CAAC;gBAC9B,GAAG,MAAM;gBACT,EAAE,EAAE,OAAO;gBACX,IAAI,EAAE,WAAW,CAAC,IAAI;aAC0B,CAAC,CAAA;YACrD,eAAe,CAAC,GAAG,CAAC,WAAW,CAAC,MAAM,EAAE;gBACpC,EAAE,EAAE,KAAK,CAAC,EAAE;gBACZ,OAAO,EAAE,KAAK,CAAC,OAAO;aACzB,CAAC,CAAA;QACN,CAAC;QAED,MAAM,oBAAoB,GAAG,IAAI,oBAAoB,CACjD,YAAY,CACf,CAAA;QACD,MAAM,iBAAiB,GAAG,IAAI,iBAAiB,CAAS,YAAY,CAAC,CAAA;QAErE,2BAA2B;QAC3B,MAAM,MAAM,GAAG,IAAI,cAAc,CAC7B,QAAQ,EACR,YAAY,EACZ;YACI,UAAU,EAAE,KAAK;SACpB,CACJ,CAAA;QAED,+DAA+D;QAC/D,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAG9B,CAAA;QAEH,KAAK,MAAM,SAAS,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;YACpC,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,WAAW,CAAC,CAAA;YAC3D,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACZ,IAAI,MAAM,EAAE,CAAC;oBACT,MAAM,IAAI,KAAK,CACX,aAAa,SAAS,CAAC,MAAM,yCAAyC,SAAS,CAAC,WAAW,IAAI,CAClG,CAAA;gBACL,CAAC;gBACD,QAAQ,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,yBAAyB;oBAC/B,OAAO,EAAE,aAAa,SAAS,CAAC,MAAM,yCAAyC,SAAS,CAAC,WAAW,IAAI;oBACxG,OAAO,EAAE;wBACL,cAAc,EAAE,SAAS,CAAC,MAAM;wBAChC,WAAW,EAAE,SAAS,CAAC,WAAW;qBACrC;iBACJ,CAAC,CAAA;gBACF,eAAe,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAA;gBACxC,SAAQ;YACZ,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,CAAA;YAC1C,MAAM,QAAQ,GACgB;gBAC1B,GAAG,MAAM;gBACT,EAAE,EAAE,KAAK,EAAE;gBACX,UAAU;gBACV,eAAe;gBACf,MAAM,EAAE,SAAS,CAAC,MAAM;gBACxB,OAAO,EAAE,QAAQ,CAAC,EAAE;gBACpB,YAAY,EAAE,QAAQ,CAAC,OAAO;aACjC,CAAA;YACD,iBAAiB,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;YACjD,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAA;QAChC,CAAC;QAED,yDAAyD;QACzD,MAAM,iBAAiB,GAA0B,EAAE,CAAA;QACnD,KAAK,MAAM,KAAK,IAAI,cAAc,EAAE,CAAC;YACjC,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAA;YACzC,oBAAoB,CAAC,KAAK,CAAC,GAAG,EAAE,eAAe,CAAC,CAAA;YAChD,IAAI,aAAa,GAAG,KAAK,CAAA;YACzB,KAAK,MAAM,IAAI,IAAI,eAAe,EAAE,CAAC;gBACjC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC7B,IAAI,MAAM,EAAE,CAAC;wBACT,MAAM,IAAI,KAAK,CACX,wBAAwB,KAAK,CAAC,OAAO,CAAC,MAAM,4CAA4C,IAAI,wBAAwB,CAAC,GAAG,eAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACzJ,CAAA;oBACL,CAAC;oBACD,QAAQ,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,4BAA4B;wBAClC,OAAO,EAAE,wBAAwB,KAAK,CAAC,OAAO,CAAC,MAAM,4CAA4C,IAAI,wBAAwB,CAAC,GAAG,eAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;wBAC/J,OAAO,EAAE;4BACL,aAAa,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM;4BACnC,MAAM,EAAE,IAAI;yBACf;qBACJ,CAAC,CAAA;oBACF,aAAa,GAAG,IAAI,CAAA;oBACpB,MAAK;gBACT,CAAC;YACL,CAAC;YACD,IAAI,CAAC,aAAa;gBAAE,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACrD,CAAC;QAED,iDAAiD;QACjD,EAAE;QACF,uDAAuD;QACvD,kDAAkD;QAClD,6DAA6D;QAC7D,6DAA6D;QAC7D,0DAA0D;QAC1D,oDAAoD;QACpD,4DAA4D;QAC5D,0DAA0D;QAC1D,qDAAqD;QACrD,wDAAwD;QACxD,4CAA4C;QAC5C,EAAE;QACF,yDAAyD;QACzD,0DAA0D;QAC1D,0CAA0C;QAC1C,EAAE;QACF,yDAAyD;QACzD,wDAAwD;QACxD,sDAAsD;QACtD,yDAAyD;QACzD,6DAA6D;QAC7D,uDAAuD;QACvD,2DAA2D;QAC3D,8CAA8C;QAC9C,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAkB,CAAA;QACnD,MAAM,aAAa,GAAG,MAAM,CAAC,QAAQ,CAAA;QACrC,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC,CAAA;QAChC,IAAI,CAAC;YACD,KAAK,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,aAAa,EAAE,IAAI,iBAAiB,EAAE,CAAC;gBAC9D,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,CAAA;gBAC7C,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAA;gBACnD,iBAAiB,CAAC,GAAG,CAAC,aAAa,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,CAAA;gBAEvD,gBAAgB,CACZ,GAAG,EACH,IAAI,EACJ,gBAAgB,EAChB,UAAU,EACV,eAAe,EACf,EAAE,CAAC,KAAK,EAAE,EACV,iBAAiB,EACjB,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,aAAa,CAAC,IAA+B,CAAC,EAC3D,KAAK,CACR,CAAA;YACL,CAAC;YAED,0DAA0D;YAC1D,0DAA0D;YAC1D,qDAAqD;YACrD,aAAa;YACb,MAAM,CAAC,WAAW,CAAC,aAAa,CAAC,CAAA;YACjC,IAAI,aAAa,KAAK,WAAW,EAAE,CAAC;gBAChC,MAAM,CAAC,SAAS,EAAE,CAAA;YACtB,CAAC;QACL,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACT,sDAAsD;YACtD,0DAA0D;YAC1D,oDAAoD;YACpD,yDAAyD;YACzD,oCAAoC;YACpC,MAAM,CAAC,WAAW,CAAC,aAAa,CAAC,CAAA;YACjC,MAAM,CAAC,CAAA;QACX,CAAC;QAED,oBAAoB;QACpB,MAAM,YAAY,GAAG,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAA;QACvE,IAAI,CAAC,YAAY,EAAE,CAAC;YAChB,IAAI,MAAM,EAAE,CAAC;gBACT,MAAM,IAAI,KAAK,CACX,8BAA8B,GAAG,CAAC,uBAAuB,uCAAuC,CACnG,CAAA;YACL,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,8BAA8B;gBACpC,OAAO,EAAE,8BAA8B,GAAG,CAAC,uBAAuB,uCAAuC;gBACzG,OAAO,EAAE;oBACL,uBAAuB,EAAE,GAAG,CAAC,uBAAuB;iBACvD;aACJ,CAAC,CAAA;QACN,CAAC;aAAM,CAAC;YACJ,MAAM,CAAC,oBAAoB,CAAC,YAAY,CAAC,CAAA;QAC7C,CAAC;QAED,oCAAoC;QACpC,qEAAqE;QACrE,2EAA2E;QAC3E,iEAAiE;QACjE,+DAA+D;QAC/D,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAA;QAC1C,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAA;QAEvC,MAAM,iBAAiB,GAAG,CAExB,MAmBD,EAAQ,EAAE;YACP,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC;gBAAE,OAAM;YAC/C,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;YACnC,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CACzB,MAAM,CAAC,gBAAgB,EACvB,MAAM,CAAC,gBAAgB,EACvB,MAAM,CAAC,iBAAiB,EACxB,MAAM,CAAC,eAAe,CAAC,EAAE,CAC5B,CAAA;YACD,IAAI,CAAC;gBACD,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC;oBACf,GAAG,MAAM;oBACT,EAAE,EAAE,KAAK,EAAE;oBACX,OAAO,EAAE,MAAM,CAAC,iBAAiB;oBACjC,YAAY,EAAE,MAAM,CAAC,sBAAsB;oBAC3C,iBAAiB,EAAE,MAAM,CAAC,eAAe,CAAC,EAAE;oBAC5C,sBAAsB,EAAE,MAAM,CAAC,eAAe,CAAC,OAAO;iBACxB,CAAC,CAAA;YACvC,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACb,IAAI,MAAM;oBAAE,MAAM,KAAK,CAAA;gBACvB,MAAM,IAAI,GACN,KAAK,YAAY,KAAK,IAAI,YAAY,IAAI,KAAK;oBAC3C,CAAC,CAAE,KAA4C;yBACxC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI;oBAC1B,CAAC,CAAC,SAAS,CAAA;gBACnB,QAAQ,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,MAAM,CAAC,WAAW;oBACxB,OAAO,EAAE,GAAG,MAAM,CAAC,QAAQ,SAAS,MAAM,CAAC,iBAAiB,MAAM,MAAM,CAAC,eAAe,CAAC,EAAE,yBAAyB,IAAI,EAAE;oBAC1H,OAAO,EAAE;wBACL,OAAO,EAAE,MAAM,CAAC,iBAAiB;wBACjC,iBAAiB,EAAE,MAAM,CAAC,eAAe,CAAC,EAAE;wBAC5C,gBAAgB,EAAE,MAAM,CAAC,IAAI,CAAC;qBACjC;iBACJ,CAAC,CAAA;YACN,CAAC;QACL,CAAC,CAAA;QAED,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC;YAC1C,MAAM,IAAI,GAAG,OAAO,CAAC,iBAAiB,EAAE,CAAA;YACxC,IAAI,CAAC,IAAI;gBAAE,SAAQ;YACnB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;gBAAE,SAAQ;YACtC,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK;gBAAE,SAAQ;YAEpE,MAAM,cAAc,GAAG,OAAO,CAAC,cAAc,EAAE,CAAA;YAC/C,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAGhC,CAAA;YACH,KAAK,MAAM,IAAI,IAAI,cAAc,EAAE,CAAC;gBAChC,MAAM,MAAM,GAAG,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAA;gBAC3D,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBACjB,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAA;YAClD,CAAC;YACD,qEAAqE;YACrE,iEAAiE;YACjE,MAAM,YAAY,GAAG,CAAC,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;iBACxD,KAAK,EAAE;iBACP,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAA;YAC5C,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAQ;YACvC,MAAM,cAAc,GAAG,YAAY,CAAC,CAAC,CAAC,CAAA;YACtC,MAAM,cAAc,GAAG,YAAY,CAAC,CAAC,CAAC,CAAA;YAEtC,wEAAwE;YACxE,IAAI,cAAc,CAAC,IAAI,KAAK,UAAU;gBAAE,SAAQ;YAChD,MAAM,kBAAkB,GAAG,MAAM,CAAC,WAAW,CACzC,cAAc,CAAC,UAAU,CAC5B,CAAA;YACD,IAAI,CAAC,kBAAkB;gBAAE,SAAQ;YACjC,IAAI,CAAC,YAAY,CAAC,kBAAkB,CAAC;gBAAE,SAAQ;YAC/C,MAAM,iBAAiB,GAAG,kBAAkB,CAAC,OAAO,CAAA;YACpD,MAAM,sBAAsB,GAAG,kBAAkB,CAAC,YAAY,CAAA;YAE9D,MAAM,qBAAqB,GAAG,IAAI,GAAG,EAAU,CAAA;YAC/C,2BAA2B,CACvB,cAAc,EACd,mBAAmB,EACnB,qBAAqB,CACxB,CAAA;YAED,sEAAsE;YACtE,sEAAsE;YACtE,MAAM,gBAAgB,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE;gBAC5C,MAAM,GAAG,GAAG,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,CAAA;gBAC1C,OAAO,GAAG,EAAE,EAAE,KAAK,iBAAiB,CAAA;YACxC,CAAC,CAAC,CAAA;YACF,IAAI,CAAC,gBAAgB;gBAAE,SAAQ;YAE/B,KAAK,MAAM,UAAU,IAAI,qBAAqB,EAAE,CAAC;gBAC7C,MAAM,kBAAkB,GAAG,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,CAAA;gBACzD,IAAI,CAAC,kBAAkB;oBAAE,SAAQ;gBACjC,IAAI,CAAC,YAAY,CAAC,kBAAkB,CAAC;oBAAE,SAAQ;gBAC/C,MAAM,eAAe,GAAG,YAAY,CAAC,GAAG,CACpC,kBAAkB,CAAC,OAAO,EAC1B,kBAAkB,CAAC,YAAY,CAClC,CAAA;gBACD,IAAI,CAAC,eAAe;oBAAE,SAAQ;gBAC9B,MAAM,gBAAgB,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE;oBAC5C,MAAM,GAAG,GAAG,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,CAAA;oBAC1C,OAAO,GAAG,EAAE,EAAE,KAAK,eAAe,CAAC,EAAE,CAAA;gBACzC,CAAC,CAAC,CAAA;gBACF,IAAI,CAAC,gBAAgB;oBAAE,SAAQ;gBAE/B,MAAM,OAAO,GAAG,GAAG,iBAAiB,IAAI,eAAe,CAAC,EAAE,EAAE,CAAA;gBAE5D,IAAI,eAAe,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBACtC,iBAAiB,CAAY;wBACzB,OAAO,EAAE,oBAAoB;wBAC7B,QAAQ,EAAE,gBAAgB;wBAC1B,OAAO;wBACP,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CACpB,IAAI,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;wBACrC,gBAAgB;wBAChB,gBAAgB;wBAChB,iBAAiB;wBACjB,sBAAsB;wBACtB,eAAe;wBACf,WAAW,EAAE,wBAAwB;wBACrC,QAAQ,EAAE,UAAU;qBACvB,CAAC,CAAA;gBACN,CAAC;qBAAM,IAAI,eAAe,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;oBAC9C,iBAAiB,CAAS;wBACtB,OAAO,EAAE,iBAAiB;wBAC1B,QAAQ,EAAE,aAAa;wBACvB,OAAO;wBACP,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;wBACvD,gBAAgB;wBAChB,gBAAgB;wBAChB,iBAAiB;wBACjB,sBAAsB;wBACtB,eAAe;wBACf,WAAW,EAAE,qBAAqB;wBAClC,QAAQ,EAAE,OAAO;qBACpB,CAAC,CAAA;gBACN,CAAC;gBACD,8BAA8B;YAClC,CAAC;QACL,CAAC;QAED,OAAO;YACH,MAAM;YACN,YAAY;YACZ,oBAAoB;YACpB,iBAAiB;YACjB,QAAQ;SACX,CAAA;IACL,CAAC;IAED,0EAA0E;IAC1E,6DAA6D;IAC7D,0EAA0E;IAEhE,WAAW,CAAC,OAAwB;QAC1C,OAAO,EAAE,CAAA;IACb,CAAC;IAES,QAAQ,CAAC,OAAqB;QACpC,OAAO,EAAE,CAAA;IACb,CAAC;IAES,WAAW,CAAC,OAAwB;QAC1C,OAAO,EAAE,CAAA;IACb,CAAC;IAES,UAAU,CAAC,OAAuB;QACxC,OAAO,EAAE,CAAA;IACb,CAAC;IAES,gBAAgB,CACtB,gBAA8B,EAC9B,iBAA+B,EAC/B,iBAAyB,EACzB,kBAA0B;QAE1B,OAAO,EAAE,CAAA;IACb,CAAC;IAES,aAAa,CACnB,gBAA8B,EAC9B,iBAA+B,EAC/B,iBAAyB,EACzB,kBAA0B;QAE1B,OAAO,EAAE,CAAA;IACb,CAAC;CACJ"}
1
+ {"version":3,"file":"argument-parser.js","sourceRoot":"","sources":["../../../src/lib/parsing/argument-parser.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAWrC,OAAO,EAA4B,MAAM,8BAA8B,CAAA;AACvE,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAA;AAGxD,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAA;AACvD,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAA;AAC9E,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA;AACvD,OAAO,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAA;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAA;AAClE,OAAO,EAAE,4BAA4B,EAAE,MAAM,eAAe,CAAA;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAA;AA4BxD,8EAA8E;AAC9E,4DAA4D;AAC5D,8EAA8E;AAE9E;;GAEG;AACH,SAAS,gBAAgB,CACrB,GAAgB,EAChB,MAAe,EACf,aAAqB;IAErB,IAAI,CAAC,MAAM,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;QAC5D,MAAM,IAAI,KAAK,CACX,GAAG,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,mBAAmB,4EAA4E,aAAa,IAAI,CACnK,CAAA;IACL,CAAC;IACD,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,UAAU;YACX,MAAK;QACT,KAAK,KAAK;YACN,gBAAgB,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,aAAa,CAAC,CAAA;YACnD,MAAK;QACT,KAAK,KAAK,CAAC;QACX,KAAK,IAAI;YACL,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;gBACjC,gBAAgB,CAAC,OAAO,EAAE,KAAK,EAAE,aAAa,CAAC,CAAA;YACnD,CAAC;YACD,MAAK;QACT,KAAK,SAAS,CAAC;QACf,KAAK,KAAK;YACN,gBAAgB,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,aAAa,CAAC,CAAA;YAChD,gBAAgB,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,aAAa,CAAC,CAAA;YACjD,MAAK;IACb,CAAC;AACL,CAAC;AAED,kEAAkE;AAClE,SAAS,oBAAoB,CAAC,GAAgB,EAAE,KAAkB;IAC9D,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,UAAU;YACX,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YACnB,MAAK;QACT,KAAK,KAAK;YACN,oBAAoB,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;YACxC,MAAK;QACT,KAAK,KAAK,CAAC;QACX,KAAK,IAAI;YACL,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;gBACjC,oBAAoB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;YACxC,CAAC;YACD,MAAK;QACT,KAAK,SAAS,CAAC;QACf,KAAK,KAAK;YACN,oBAAoB,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;YACrC,oBAAoB,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;YACtC,MAAK;IACb,CAAC;AACL,CAAC;AAED;;GAEG;AACH,SAAS,gBAAgB,CACrB,GAAgB,EAChB,QAAuB,EACvB,QAAgB,EAChB,UAAkB,EAClB,eAAuB,EACvB,SAAiB,EACjB,iBAAqE,EACrE,aAA+C,EAC/C,UAAwB;IAExB,MAAM,EAAE,GAAG,UAAU,EAAE,CAAA;IAEvB,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,UAAU,CAAC,CAAC,CAAC;YACd,MAAM,QAAQ,GAAG,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAE,CAAA;YACjD,aAAa,CAAC;gBACV,EAAE;gBACF,UAAU;gBACV,eAAe;gBACf,SAAS;gBACT,IAAI,EAAE,UAAU;gBAChB,UAAU,EAAE,QAAQ,CAAC,EAAE;gBACvB,QAAQ;gBACR,QAAQ;aACX,CAAC,CAAA;YACF,OAAO,EAAE,CAAA;QACb,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACT,aAAa,CAAC;gBACV,EAAE;gBACF,UAAU;gBACV,eAAe;gBACf,SAAS;gBACT,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,KAAK;gBACf,QAAQ;gBACR,QAAQ;aACX,CAAC,CAAA;YACF,gBAAgB,CACZ,GAAG,CAAC,OAAO,EACX,EAAE,EACF,CAAC,EACD,UAAU,EACV,eAAe,EACf,SAAS,EACT,iBAAiB,EACjB,aAAa,EACb,UAAU,CACb,CAAA;YACD,OAAO,EAAE,CAAA;QACb,CAAC;QACD,KAAK,KAAK,CAAC;QACX,KAAK,IAAI,CAAC,CAAC,CAAC;YACR,aAAa,CAAC;gBACV,EAAE;gBACF,UAAU;gBACV,eAAe;gBACf,SAAS;gBACT,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,GAAG,CAAC,IAAI;gBAClB,QAAQ;gBACR,QAAQ;aACX,CAAC,CAAA;YACF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC3C,gBAAgB,CACZ,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EACf,EAAE,EACF,CAAC,EACD,UAAU,EACV,eAAe,EACf,SAAS,EACT,iBAAiB,EACjB,aAAa,EACb,UAAU,CACb,CAAA;YACL,CAAC;YACD,OAAO,EAAE,CAAA;QACb,CAAC;QACD,KAAK,SAAS,CAAC;QACf,KAAK,KAAK,CAAC,CAAC,CAAC;YACT,aAAa,CAAC;gBACV,EAAE;gBACF,UAAU;gBACV,eAAe;gBACf,SAAS;gBACT,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,GAAG,CAAC,IAAI;gBAClB,QAAQ;gBACR,QAAQ;aACX,CAAC,CAAA;YACF,gBAAgB,CACZ,GAAG,CAAC,IAAI,EACR,EAAE,EACF,CAAC,EACD,UAAU,EACV,eAAe,EACf,SAAS,EACT,iBAAiB,EACjB,aAAa,EACb,UAAU,CACb,CAAA;YACD,gBAAgB,CACZ,GAAG,CAAC,KAAK,EACT,EAAE,EACF,CAAC,EACD,UAAU,EACV,eAAe,EACf,SAAS,EACT,iBAAiB,EACjB,aAAa,EACb,UAAU,CACb,CAAA;YACD,OAAO,EAAE,CAAA;QACb,CAAC;IACL,CAAC;AACL,CAAC;AAED,8EAA8E;AAC9E,iBAAiB;AACjB,8EAA8E;AAE9E;;;;;GAKG;AACH,MAAM,OAAO,cAAc;IASJ,cAAc,CAAS;IAE1C,YAAY,cAAwB;QAChC,IAAI,CAAC,cAAc,GAAG,cAAc,IAAI,4BAA4B,CAAA;IACxE,CAAC;IAED;;OAEG;IACI,QAAQ,CAAC,GAAY;QACxB,eAAe,CAAC,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC,CAAA;QACzC,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC,CAAA;IAChD,CAAC;IAED;;;;;;;;OAQG;IACI,KAAK,CACR,QAAiC,EACjC,OAA6B;QAU7B,MAAM,QAAQ,GAAqB,EAAE,CAAA;QACrC,MAAM,MAAM,GAAG,OAAO,EAAE,MAAM,IAAI,IAAI,CAAA;QACtC,MAAM,KAAK,GAAG,OAAO,EAAE,UAAU,IAAI,iBAAiB,CAAA;QACtD,MAAM,GAAG,GAAG,QAAQ,CAAC,QAAQ,CAAA;QAC7B,IAAI,CAAC,GAAG,EAAE,CAAC;YACP,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAA;QACtD,CAAC;QAED,6CAA6C;QAC7C,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAA;QACnE,MAAM,cAAc,GAChB,EAAE,CAAA;QAEN,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;YACjC,IAAI,GAAgB,CAAA;YACpB,IAAI,CAAC;gBACD,GAAG,GAAG,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;YACvC,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACb,MAAM,GAAG,GACL,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;gBAC1D,IAAI,MAAM,EAAE,CAAC;oBACT,MAAM,IAAI,KAAK,CACX,wCAAwC,OAAO,CAAC,MAAM,MAAM,GAAG,EAAE,CACpE,CAAA;gBACL,CAAC;gBACD,QAAQ,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,qBAAqB;oBAC3B,OAAO,EAAE,wCAAwC,OAAO,CAAC,MAAM,MAAM,GAAG,EAAE;oBAC1E,OAAO,EAAE;wBACL,aAAa,EAAE,OAAO,CAAC,MAAM;wBAC7B,OAAO,EAAE,OAAO,CAAC,OAAO;qBAC3B;iBACJ,CAAC,CAAA;gBACF,SAAQ;YACZ,CAAC;YAED,gCAAgC;YAChC,IAAI,CAAC;gBACD,gBAAgB,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,CAAA;YAC/C,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACb,MAAM,GAAG,GACL,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;gBAC1D,IAAI,MAAM,EAAE,CAAC;oBACT,MAAM,KAAK,CAAA;gBACf,CAAC;gBACD,QAAQ,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,yBAAyB;oBAC/B,OAAO,EAAE,GAAG;oBACZ,OAAO,EAAE;wBACL,aAAa,EAAE,OAAO,CAAC,MAAM;wBAC7B,OAAO,EAAE,OAAO,CAAC,OAAO;qBAC3B;iBACJ,CAAC,CAAA;gBACF,SAAQ;YACZ,CAAC;YAED,cAAc,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CAAA;QACzC,CAAC;QAED,qBAAqB;QACrB,MAAM,UAAU,GAAG,KAAK,EAAE,CAAA;QAC1B,MAAM,eAAe,GAAG,CAAC,CAAA;QACzB,MAAM,cAAc,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAA;QAC5C,MAAM,QAAQ,GAAG;YACb,GAAG,cAAc;YACjB,EAAE,EAAE,UAAU;YACd,OAAO,EAAE,eAAe;SACnB,CAAA;QAET,+DAA+D;QAC/D,MAAM,YAAY,GAAG,IAAI,YAAY,EAAU,CAAA;QAC/C,MAAM,eAAe,GAAG,IAAI,GAAG,EAG5B,CAAA;QAEH,KAAK,MAAM,WAAW,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;YACnC,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAA;YACzC,MAAM,OAAO,GAAG,KAAK,EAAE,CAAA;YACvB,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,CAAC;gBAC9B,GAAG,MAAM;gBACT,EAAE,EAAE,OAAO;gBACX,IAAI,EAAE,WAAW,CAAC,IAAI;aAC0B,CAAC,CAAA;YACrD,eAAe,CAAC,GAAG,CAAC,WAAW,CAAC,MAAM,EAAE;gBACpC,EAAE,EAAE,KAAK,CAAC,EAAE;gBACZ,OAAO,EAAE,KAAK,CAAC,OAAO;aACzB,CAAC,CAAA;QACN,CAAC;QAED,MAAM,oBAAoB,GAAG,IAAI,oBAAoB,CACjD,YAAY,CACf,CAAA;QACD,MAAM,iBAAiB,GAAG,IAAI,iBAAiB,CAAS,YAAY,CAAC,CAAA;QAErE,2BAA2B;QAC3B,MAAM,MAAM,GAAG,IAAI,cAAc,CAC7B,QAAQ,EACR,YAAY,EACZ;YACI,UAAU,EAAE,KAAK;SACpB,CACJ,CAAA;QAED,+DAA+D;QAC/D,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAG9B,CAAA;QAEH,KAAK,MAAM,SAAS,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;YACpC,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,WAAW,CAAC,CAAA;YAC3D,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACZ,IAAI,MAAM,EAAE,CAAC;oBACT,MAAM,IAAI,KAAK,CACX,aAAa,SAAS,CAAC,MAAM,yCAAyC,SAAS,CAAC,WAAW,IAAI,CAClG,CAAA;gBACL,CAAC;gBACD,QAAQ,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,yBAAyB;oBAC/B,OAAO,EAAE,aAAa,SAAS,CAAC,MAAM,yCAAyC,SAAS,CAAC,WAAW,IAAI;oBACxG,OAAO,EAAE;wBACL,cAAc,EAAE,SAAS,CAAC,MAAM;wBAChC,WAAW,EAAE,SAAS,CAAC,WAAW;qBACrC;iBACJ,CAAC,CAAA;gBACF,eAAe,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAA;gBACxC,SAAQ;YACZ,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,CAAA;YAC1C,MAAM,QAAQ,GACgB;gBAC1B,GAAG,MAAM;gBACT,EAAE,EAAE,KAAK,EAAE;gBACX,UAAU;gBACV,eAAe;gBACf,MAAM,EAAE,SAAS,CAAC,MAAM;gBACxB,OAAO,EAAE,QAAQ,CAAC,EAAE;gBACpB,YAAY,EAAE,QAAQ,CAAC,OAAO;aACjC,CAAA;YACD,iBAAiB,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;YACjD,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAA;QAChC,CAAC;QAED,yDAAyD;QACzD,MAAM,iBAAiB,GAA0B,EAAE,CAAA;QACnD,KAAK,MAAM,KAAK,IAAI,cAAc,EAAE,CAAC;YACjC,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAA;YACzC,oBAAoB,CAAC,KAAK,CAAC,GAAG,EAAE,eAAe,CAAC,CAAA;YAChD,IAAI,aAAa,GAAG,KAAK,CAAA;YACzB,KAAK,MAAM,IAAI,IAAI,eAAe,EAAE,CAAC;gBACjC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC7B,IAAI,MAAM,EAAE,CAAC;wBACT,MAAM,IAAI,KAAK,CACX,wBAAwB,KAAK,CAAC,OAAO,CAAC,MAAM,4CAA4C,IAAI,wBAAwB,CAAC,GAAG,eAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACzJ,CAAA;oBACL,CAAC;oBACD,QAAQ,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,4BAA4B;wBAClC,OAAO,EAAE,wBAAwB,KAAK,CAAC,OAAO,CAAC,MAAM,4CAA4C,IAAI,wBAAwB,CAAC,GAAG,eAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;wBAC/J,OAAO,EAAE;4BACL,aAAa,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM;4BACnC,MAAM,EAAE,IAAI;yBACf;qBACJ,CAAC,CAAA;oBACF,aAAa,GAAG,IAAI,CAAA;oBACpB,MAAK;gBACT,CAAC;YACL,CAAC;YACD,IAAI,CAAC,aAAa;gBAAE,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACrD,CAAC;QAED,iDAAiD;QACjD,EAAE;QACF,uDAAuD;QACvD,kDAAkD;QAClD,6DAA6D;QAC7D,6DAA6D;QAC7D,0DAA0D;QAC1D,oDAAoD;QACpD,4DAA4D;QAC5D,0DAA0D;QAC1D,qDAAqD;QACrD,wDAAwD;QACxD,4CAA4C;QAC5C,EAAE;QACF,yDAAyD;QACzD,0DAA0D;QAC1D,0CAA0C;QAC1C,EAAE;QACF,yDAAyD;QACzD,wDAAwD;QACxD,sDAAsD;QACtD,yDAAyD;QACzD,6DAA6D;QAC7D,uDAAuD;QACvD,2DAA2D;QAC3D,8CAA8C;QAC9C,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAkB,CAAA;QACnD,MAAM,aAAa,GAAG,MAAM,CAAC,QAAQ,CAAA;QACrC,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC,CAAA;QAChC,IAAI,CAAC;YACD,KAAK,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,aAAa,EAAE,IAAI,iBAAiB,EAAE,CAAC;gBAC9D,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,CAAA;gBAC7C,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAA;gBACnD,iBAAiB,CAAC,GAAG,CAAC,aAAa,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,CAAA;gBAEvD,gBAAgB,CACZ,GAAG,EACH,IAAI,EACJ,gBAAgB,EAChB,UAAU,EACV,eAAe,EACf,EAAE,CAAC,KAAK,EAAE,EACV,iBAAiB,EACjB,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,aAAa,CAAC,IAA+B,CAAC,EAC3D,KAAK,CACR,CAAA;YACL,CAAC;YAED,0DAA0D;YAC1D,0DAA0D;YAC1D,qDAAqD;YACrD,aAAa;YACb,MAAM,CAAC,WAAW,CAAC,aAAa,CAAC,CAAA;YACjC,IAAI,aAAa,KAAK,WAAW,EAAE,CAAC;gBAChC,MAAM,CAAC,SAAS,EAAE,CAAA;YACtB,CAAC;QACL,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACT,sDAAsD;YACtD,0DAA0D;YAC1D,oDAAoD;YACpD,yDAAyD;YACzD,oCAAoC;YACpC,MAAM,CAAC,WAAW,CAAC,aAAa,CAAC,CAAA;YACjC,MAAM,CAAC,CAAA;QACX,CAAC;QAED,oBAAoB;QACpB,MAAM,YAAY,GAAG,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAA;QACvE,IAAI,CAAC,YAAY,EAAE,CAAC;YAChB,IAAI,MAAM,EAAE,CAAC;gBACT,MAAM,IAAI,KAAK,CACX,8BAA8B,GAAG,CAAC,uBAAuB,uCAAuC,CACnG,CAAA;YACL,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,8BAA8B;gBACpC,OAAO,EAAE,8BAA8B,GAAG,CAAC,uBAAuB,uCAAuC;gBACzG,OAAO,EAAE;oBACL,uBAAuB,EAAE,GAAG,CAAC,uBAAuB;iBACvD;aACJ,CAAC,CAAA;QACN,CAAC;aAAM,CAAC;YACJ,MAAM,CAAC,oBAAoB,CAAC,YAAY,CAAC,CAAA;QAC7C,CAAC;QAED,8BAA8B;QAC9B,0DAA0D;QAC1D,kEAAkE;QAClE,qEAAqE;QACrE,+DAA+D;QAC/D,6BAA6B;QAC7B,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAA;QAC1C,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAA;QAEvC,MAAM,iBAAiB,GAAG,CAExB,MAmBD,EAAQ,EAAE;YACP,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC;gBAAE,OAAM;YAC/C,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;YACnC,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CACzB,MAAM,CAAC,gBAAgB,EACvB,MAAM,CAAC,gBAAgB,EACvB,MAAM,CAAC,iBAAiB,EACxB,MAAM,CAAC,eAAe,CAAC,EAAE,CAC5B,CAAA;YACD,IAAI,CAAC;gBACD,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC;oBACf,GAAG,MAAM;oBACT,EAAE,EAAE,KAAK,EAAE;oBACX,OAAO,EAAE,MAAM,CAAC,iBAAiB;oBACjC,YAAY,EAAE,MAAM,CAAC,sBAAsB;oBAC3C,iBAAiB,EAAE,MAAM,CAAC,eAAe,CAAC,EAAE;oBAC5C,sBAAsB,EAAE,MAAM,CAAC,eAAe,CAAC,OAAO;iBACxB,CAAC,CAAA;YACvC,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACb,IAAI,MAAM;oBAAE,MAAM,KAAK,CAAA;gBACvB,MAAM,IAAI,GACN,KAAK,YAAY,KAAK,IAAI,YAAY,IAAI,KAAK;oBAC3C,CAAC,CAAE,KAA4C;yBACxC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI;oBAC1B,CAAC,CAAC,SAAS,CAAA;gBACnB,QAAQ,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,MAAM,CAAC,WAAW;oBACxB,OAAO,EAAE,GAAG,MAAM,CAAC,QAAQ,SAAS,MAAM,CAAC,iBAAiB,MAAM,MAAM,CAAC,eAAe,CAAC,EAAE,yBAAyB,IAAI,EAAE;oBAC1H,OAAO,EAAE;wBACL,OAAO,EAAE,MAAM,CAAC,iBAAiB;wBACjC,iBAAiB,EAAE,MAAM,CAAC,eAAe,CAAC,EAAE;wBAC5C,gBAAgB,EAAE,MAAM,CAAC,IAAI,CAAC;qBACjC;iBACJ,CAAC,CAAA;YACN,CAAC;QACL,CAAC,CAAA;QAED,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,iBAAiB,IAAI,EAAE,EAAE,CAAC;YAChD,MAAM,aAAa,GAAG,eAAe,CAAC,GAAG,CACrC,OAAO,CAAC,kBAAkB,CAC7B,CAAA;YACD,IAAI,CAAC,aAAa;gBAAE,SAAQ;YAC5B,MAAM,gBAAgB,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CACpC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,MAAM,KAAK,OAAO,CAAC,kBAAkB,CACnD,CAAA;YACD,IAAI,CAAC,gBAAgB;gBAAE,SAAQ;YAC/B,MAAM,iBAAiB,GAAG,aAAa,CAAC,EAAE,CAAA;YAC1C,MAAM,sBAAsB,GAAG,aAAa,CAAC,OAAO,CAAA;YAEpD,KAAK,MAAM,eAAe,IAAI,OAAO,CAAC,sBAAsB,EAAE,CAAC;gBAC3D,MAAM,YAAY,GAAG,eAAe,CAAC,GAAG,CAAC,eAAe,CAAC,CAAA;gBACzD,IAAI,CAAC,YAAY;oBAAE,SAAQ;gBAC3B,MAAM,eAAe,GAAG,YAAY,CAAC,GAAG,CACpC,YAAY,CAAC,EAAE,EACf,YAAY,CAAC,OAAO,CACvB,CAAA;gBACD,IAAI,CAAC,eAAe;oBAAE,SAAQ;gBAC9B,MAAM,gBAAgB,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CACpC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,MAAM,KAAK,eAAe,CACxC,CAAA;gBACD,IAAI,CAAC,gBAAgB;oBAAE,SAAQ;gBAE/B,MAAM,OAAO,GAAG,GAAG,iBAAiB,IAAI,eAAe,CAAC,EAAE,EAAE,CAAA;gBAE5D,IAAI,eAAe,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBACtC,iBAAiB,CAAY;wBACzB,OAAO,EAAE,oBAAoB;wBAC7B,QAAQ,EAAE,gBAAgB;wBAC1B,OAAO;wBACP,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CACpB,IAAI,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;wBACrC,gBAAgB;wBAChB,gBAAgB;wBAChB,iBAAiB;wBACjB,sBAAsB;wBACtB,eAAe;wBACf,WAAW,EAAE,wBAAwB;wBACrC,QAAQ,EAAE,UAAU;qBACvB,CAAC,CAAA;gBACN,CAAC;qBAAM,IAAI,eAAe,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;oBAC9C,iBAAiB,CAAS;wBACtB,OAAO,EAAE,iBAAiB;wBAC1B,QAAQ,EAAE,aAAa;wBACvB,OAAO;wBACP,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;wBACvD,gBAAgB;wBAChB,gBAAgB;wBAChB,iBAAiB;wBACjB,sBAAsB;wBACtB,eAAe;wBACf,WAAW,EAAE,qBAAqB;wBAClC,QAAQ,EAAE,OAAO;qBACpB,CAAC,CAAA;gBACN,CAAC;gBACD,8BAA8B;YAClC,CAAC;QACL,CAAC;QAED,OAAO;YACH,MAAM;YACN,YAAY;YACZ,oBAAoB;YACpB,iBAAiB;YACjB,QAAQ;SACX,CAAA;IACL,CAAC;IAED,0EAA0E;IAC1E,6DAA6D;IAC7D,0EAA0E;IAEhE,WAAW,CAAC,OAAwB;QAC1C,OAAO,EAAE,CAAA;IACb,CAAC;IAES,QAAQ,CAAC,OAAqB;QACpC,OAAO,EAAE,CAAA;IACb,CAAC;IAES,WAAW,CAAC,OAAwB;QAC1C,OAAO,EAAE,CAAA;IACb,CAAC;IAES,UAAU,CAAC,OAAuB;QACxC,OAAO,EAAE,CAAA;IACb,CAAC;IAES,gBAAgB,CACtB,gBAA8B,EAC9B,iBAA+B,EAC/B,iBAAyB,EACzB,kBAA0B;QAE1B,OAAO,EAAE,CAAA;IACb,CAAC;IAES,aAAa,CACnB,gBAA8B,EAC9B,iBAA+B,EAC/B,iBAAyB,EACzB,kBAA0B;QAE1B,OAAO,EAAE,CAAA;IACb,CAAC;CACJ"}
@@ -19,6 +19,11 @@ export declare const ParsedPremiseSchema: Type.TObject<{
19
19
  formula: Type.TString;
20
20
  }>;
21
21
  export type TParsedPremise = Static<typeof ParsedPremiseSchema>;
22
+ export declare const ParsedDerivationBackingSchema: Type.TObject<{
23
+ derivedClaimMiniId: Type.TString;
24
+ supportingClaimMiniIds: Type.TArray<Type.TString>;
25
+ }>;
26
+ export type TParsedDerivationBacking = Static<typeof ParsedDerivationBackingSchema>;
22
27
  export declare const ParsedArgumentSchema: Type.TObject<{
23
28
  claims: Type.TArray<Type.TObject<{
24
29
  miniId: Type.TString;
@@ -35,6 +40,10 @@ export declare const ParsedArgumentSchema: Type.TObject<{
35
40
  formula: Type.TString;
36
41
  }>>;
37
42
  conclusionPremiseMiniId: Type.TString;
43
+ derivationBacking: Type.TOptional<Type.TArray<Type.TObject<{
44
+ derivedClaimMiniId: Type.TString;
45
+ supportingClaimMiniIds: Type.TArray<Type.TString>;
46
+ }>>>;
38
47
  }>;
39
48
  export type TParsedArgument = Static<typeof ParsedArgumentSchema>;
40
49
  export declare const ParsedArgumentResponseSchema: Type.TObject<{
@@ -54,6 +63,10 @@ export declare const ParsedArgumentResponseSchema: Type.TObject<{
54
63
  formula: Type.TString;
55
64
  }>>;
56
65
  conclusionPremiseMiniId: Type.TString;
66
+ derivationBacking: Type.TOptional<Type.TArray<Type.TObject<{
67
+ derivedClaimMiniId: Type.TString;
68
+ supportingClaimMiniIds: Type.TArray<Type.TString>;
69
+ }>>>;
57
70
  }>, Type.TNull]>;
58
71
  uncategorizedText: Type.TUnion<[Type.TString, Type.TNull]>;
59
72
  selectionRationale: Type.TUnion<[Type.TString, Type.TNull]>;
@@ -1 +1 @@
1
- {"version":3,"file":"schemata.d.ts","sourceRoot":"","sources":["../../../src/lib/parsing/schemata.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAgB,KAAK,OAAO,EAAE,MAAM,SAAS,CAAA;AAEvE,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAA;AAGvD,eAAO,MAAM,mBAAmB,qGAI9B,CAAA;AAEF,eAAO,MAAM,mBAAmB,+FAAsB,CAAA;AAEtD,eAAO,MAAM,iBAAiB;;;;EAO7B,CAAA;AACD,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAE3D,eAAO,MAAM,oBAAoB;;;;EAOhC,CAAA;AACD,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAEjE,eAAO,MAAM,mBAAmB;;;EAM/B,CAAA;AACD,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAE/D,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;EAQhC,CAAA;AACD,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAEjE,eAAO,MAAM,4BAA4B;;;;;;;;;;;;;;;;;;;;;EAQxC,CAAA;AACD,MAAM,MAAM,uBAAuB,GAAG,MAAM,CACxC,OAAO,4BAA4B,CACtC,CAAA;AAmCD,0HAA0H;AAC1H,wBAAgB,0BAA0B,CACtC,OAAO,CAAC,EAAE,qBAAqB,GAChC,OAAO,CAkDT;AAED,qHAAqH;AACrH,wBAAgB,wBAAwB,CACpC,MAAM,CAAC,EAAE,OAAO,GACjB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAGzB"}
1
+ {"version":3,"file":"schemata.d.ts","sourceRoot":"","sources":["../../../src/lib/parsing/schemata.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAgB,KAAK,OAAO,EAAE,MAAM,SAAS,CAAA;AAEvE,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAA;AAGvD,eAAO,MAAM,mBAAmB,qGAI9B,CAAA;AAEF,eAAO,MAAM,mBAAmB,+FAAsB,CAAA;AAEtD,eAAO,MAAM,iBAAiB;;;;EAO7B,CAAA;AACD,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAE3D,eAAO,MAAM,oBAAoB;;;;EAOhC,CAAA;AACD,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAEjE,eAAO,MAAM,mBAAmB;;;EAM/B,CAAA;AACD,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAM/D,eAAO,MAAM,6BAA6B;;;EAGxC,CAAA;AACF,MAAM,MAAM,wBAAwB,GAAG,MAAM,CACzC,OAAO,6BAA6B,CACvC,CAAA;AAED,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;EAWhC,CAAA;AACD,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAEjE,eAAO,MAAM,4BAA4B;;;;;;;;;;;;;;;;;;;;;;;;;EAQxC,CAAA;AACD,MAAM,MAAM,uBAAuB,GAAG,MAAM,CACxC,OAAO,4BAA4B,CACtC,CAAA;AAmCD,0HAA0H;AAC1H,wBAAgB,0BAA0B,CACtC,OAAO,CAAC,EAAE,qBAAqB,GAChC,OAAO,CAqDT;AAED,qHAAqH;AACrH,wBAAgB,wBAAwB,CACpC,MAAM,CAAC,EAAE,OAAO,GACjB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAGzB"}
@@ -21,11 +21,20 @@ export const ParsedPremiseSchema = Type.Object({
21
21
  miniId: Type.String(),
22
22
  formula: Type.String(),
23
23
  }, { additionalProperties: true });
24
+ // Citation/axiomatic backing extracted from inference antecedents during
25
+ // formula compilation: each entry grounds `derivedClaimMiniId` with the
26
+ // listed citation/axiomatic supporting claims. The parser materializes
27
+ // these into derivation edges (claim-citation / claim-axiom links).
28
+ export const ParsedDerivationBackingSchema = Type.Object({
29
+ derivedClaimMiniId: Type.String(),
30
+ supportingClaimMiniIds: Type.Array(Type.String()),
31
+ });
24
32
  export const ParsedArgumentSchema = Type.Object({
25
33
  claims: Type.Array(ParsedClaimSchema, { minItems: 1 }),
26
34
  variables: Type.Array(ParsedVariableSchema, { minItems: 1 }),
27
35
  premises: Type.Array(ParsedPremiseSchema, { minItems: 1 }),
28
36
  conclusionPremiseMiniId: Type.String(),
37
+ derivationBacking: Type.Optional(Type.Array(ParsedDerivationBackingSchema)),
29
38
  }, { additionalProperties: true });
30
39
  export const ParsedArgumentResponseSchema = Type.Object({
31
40
  argument: Nullable(ParsedArgumentSchema),
@@ -72,6 +81,7 @@ export function buildParsingResponseSchema(options) {
72
81
  variables: Type.Array(variableSch, { minItems: 1 }),
73
82
  premises: Type.Array(premiseSch, { minItems: 1 }),
74
83
  conclusionPremiseMiniId: Type.String(),
84
+ derivationBacking: Type.Optional(Type.Array(ParsedDerivationBackingSchema)),
75
85
  };
76
86
  const argSch = options.parsedArgumentSchema
77
87
  ? Type.Object({