@proposit/proposit-core 0.8.18 → 0.8.19
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/extensions/ieee/formatting.d.ts.map +1 -1
- package/dist/extensions/ieee/formatting.js +1 -0
- package/dist/extensions/ieee/formatting.js.map +1 -1
- package/dist/extensions/ieee/references.d.ts +121 -100
- package/dist/extensions/ieee/references.d.ts.map +1 -1
- package/dist/extensions/ieee/references.js +21 -0
- package/dist/extensions/ieee/references.js.map +1 -1
- package/dist/extensions/ieee/relaxed.d.ts +120 -99
- package/dist/extensions/ieee/relaxed.d.ts.map +1 -1
- package/dist/extensions/ieee/relaxed.js +4 -1
- package/dist/extensions/ieee/relaxed.js.map +1 -1
- package/dist/extensions/ieee/segment-templates.d.ts +1 -0
- package/dist/extensions/ieee/segment-templates.d.ts.map +1 -1
- package/dist/extensions/ieee/segment-templates.js +27 -0
- package/dist/extensions/ieee/segment-templates.js.map +1 -1
- package/dist/extensions/ieee/source.d.ts +39 -33
- package/dist/extensions/ieee/source.d.ts.map +1 -1
- package/dist/lib/parsing/prompt-builder.d.ts.map +1 -1
- package/dist/lib/parsing/prompt-builder.js +7 -2
- package/dist/lib/parsing/prompt-builder.js.map +1 -1
- package/dist/lib/parsing/schemata.d.ts +6 -3
- package/dist/lib/parsing/schemata.d.ts.map +1 -1
- package/dist/lib/parsing/schemata.js +4 -1
- package/dist/lib/parsing/schemata.js.map +1 -1
- package/package.json +1 -1
|
@@ -19,7 +19,10 @@ export const ParsedVariableSchema = Type.Object({
|
|
|
19
19
|
}, { additionalProperties: true });
|
|
20
20
|
export const ParsedSourceSchema = Type.Object({
|
|
21
21
|
miniId: Type.String(),
|
|
22
|
-
|
|
22
|
+
url: Type.String({ description: "URL of the source" }),
|
|
23
|
+
text: Type.Optional(Type.String({
|
|
24
|
+
description: "Display text or description for the source (e.g. link text from markdown)",
|
|
25
|
+
})),
|
|
23
26
|
}, { additionalProperties: true });
|
|
24
27
|
export const ParsedPremiseSchema = Type.Object({
|
|
25
28
|
miniId: Type.String(),
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"schemata.js","sourceRoot":"","sources":["../../../src/lib/parsing/schemata.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAA2C,MAAM,SAAS,CAAA;AACvE,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAA;AAGhD,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,KAAK,CAAC;IAC1C,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC;IACvB,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC;IAC1B,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC;CAC/B,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,MAAM,CACxC;IACI,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;IACrB,IAAI,EAAE,mBAAmB;IACzB,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE;QACrC,WAAW,EACP,qNAAqN;KAC5N,CAAC;CACL,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC,CAAA;AAGD,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAC3C;IACI,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;IACrB,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;IACrB,WAAW,EAAE,IAAI,CAAC,MAAM,EAAE;CAC7B,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC,CAAA;AAGD,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,CAAC,MAAM,CACzC;IACI,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;IACrB,
|
|
1
|
+
{"version":3,"file":"schemata.js","sourceRoot":"","sources":["../../../src/lib/parsing/schemata.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAA2C,MAAM,SAAS,CAAA;AACvE,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAA;AAGhD,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,KAAK,CAAC;IAC1C,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC;IACvB,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC;IAC1B,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC;CAC/B,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,MAAM,CACxC;IACI,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;IACrB,IAAI,EAAE,mBAAmB;IACzB,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE;QACrC,WAAW,EACP,qNAAqN;KAC5N,CAAC;CACL,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC,CAAA;AAGD,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAC3C;IACI,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;IACrB,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;IACrB,WAAW,EAAE,IAAI,CAAC,MAAM,EAAE;CAC7B,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC,CAAA;AAGD,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,CAAC,MAAM,CACzC;IACI,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;IACrB,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,mBAAmB,EAAE,CAAC;IACtD,IAAI,EAAE,IAAI,CAAC,QAAQ,CACf,IAAI,CAAC,MAAM,CAAC;QACR,WAAW,EACP,2EAA2E;KAClF,CAAC,CACL;CACJ,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC,CAAA;AAGD,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,MAAM,CAC1C;IACI,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;IACrB,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;CACzB,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC,CAAA;AAGD,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAC3C;IACI,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,iBAAiB,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IACtD,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,oBAAoB,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IAC5D,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC;IACvC,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,mBAAmB,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IAC1D,uBAAuB,EAAE,IAAI,CAAC,MAAM,EAAE;CACzC,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC,CAAA;AAGD,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,CAAC,MAAM,CACnD;IACI,QAAQ,EAAE,QAAQ,CAAC,oBAAoB,CAAC;IACxC,iBAAiB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC1C,kBAAkB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC3C,WAAW,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CACvC,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC,CAAA;AAKD,SAAS,kBAAkB,CAAC,IAAa,EAAE,SAAkB;IACzD,OAAO,IAAI,CAAC,MAAM,CACd,EAAE,GAAG,IAAI,CAAC,UAAU,EAAE,GAAG,SAAS,CAAC,UAAU,EAAE,EAC/C,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC,CAAA;AACL,CAAC;AAED,0HAA0H;AAC1H,MAAM,UAAU,0BAA0B,CACtC,OAA+B;IAE/B,IAAI,CAAC,OAAO;QAAE,OAAO,4BAA4B,CAAA;IAEjD,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAW;QAChC,CAAC,CAAC,kBAAkB,CAAC,iBAAiB,EAAE,OAAO,CAAC,WAAsB,CAAC;QACvE,CAAC,CAAC,iBAAiB,CAAA;IAEvB,MAAM,WAAW,GAAG,OAAO,CAAC,cAAc;QACtC,CAAC,CAAC,kBAAkB,CACd,oBAAoB,EACpB,OAAO,CAAC,cAAyB,CACpC;QACH,CAAC,CAAC,oBAAoB,CAAA;IAE1B,MAAM,SAAS,GAAG,OAAO,CAAC,YAAY;QAClC,CAAC,CAAC,kBAAkB,CACd,kBAAkB,EAClB,OAAO,CAAC,YAAuB,CAClC;QACH,CAAC,CAAC,kBAAkB,CAAA;IAExB,MAAM,UAAU,GAAG,OAAO,CAAC,aAAa;QACpC,CAAC,CAAC,kBAAkB,CACd,mBAAmB,EACnB,OAAO,CAAC,aAAwB,CACnC;QACH,CAAC,CAAC,mBAAmB,CAAA;IAEzB,MAAM,YAAY,GAAG;QACjB,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;QAC7C,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;QACnD,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC;QAC9B,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;QACjD,uBAAuB,EAAE,IAAI,CAAC,MAAM,EAAE;KACzC,CAAA;IAED,MAAM,MAAM,GAAG,OAAO,CAAC,oBAAoB;QACvC,CAAC,CAAC,IAAI,CAAC,MAAM,CACP;YACI,GAAG,YAAY;YACf,GAAI,OAAO,CAAC,oBAAgC,CAAC,UAAU;SAC1D,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC;QACH,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE,EAAE,oBAAoB,EAAE,IAAI,EAAE,CAAC,CAAA;IAE/D,MAAM,iBAAiB,GAAG;QACtB,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC;QAC1B,iBAAiB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QAC1C,kBAAkB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QAC3C,WAAW,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;KACvC,CAAA;IAED,MAAM,WAAW,GAAG,OAAO,CAAC,cAAc;QACtC,CAAC,CAAC,IAAI,CAAC,MAAM,CACP;YACI,GAAG,iBAAiB;YACpB,GAAI,OAAO,CAAC,cAA0B,CAAC,UAAU;SACpD,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC;QACH,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,iBAAiB,EAAE,EAAE,oBAAoB,EAAE,IAAI,EAAE,CAAC,CAAA;IAEpE,OAAO,WAAW,CAAA;AACtB,CAAC;AAED,qHAAqH;AACrH,MAAM,UAAU,wBAAwB,CACpC,MAAgB;IAEhB,MAAM,MAAM,GAAG,MAAM,IAAI,4BAA4B,CAAA;IACrD,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAA4B,CAAA;AACxE,CAAC"}
|