@proposit/proposit-core 0.12.1 → 0.12.3

package/dist/cli/schemata.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"schemata.d.ts","sourceRoot":"","sources":["../../src/cli/schemata.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAQ3C,eAAO,MAAM,qBAAqB;;;;EAOjC,CAAA;AACD,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,qBAAqB,CAAC,CAAA;AAMnE,eAAO,MAAM,4BAA4B;;;;;EAKvC,CAAA;AACF,MAAM,MAAM,uBAAuB,GAAG,MAAM,CACxC,OAAO,4BAA4B,CACtC,CAAA;AAMD,eAAO,MAAM,iBAAiB;;;;;;;;;;;EAW5B,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAM3D,eAAO,MAAM,oBAAoB;;;EAMhC,CAAA;AACD,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAmCjE,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAc/B,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAKjE,eAAO,MAAM,kBAAkB,oIAI7B,CAAA;AACF,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,kBAAkB,CAAC,CAAA;AAEnE,eAAO,MAAM,sBAAsB,EAAE,SAAS,mBAAmB,EAIhE,CAAA;AAeD,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;IAWzB,CAAA;AACF,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,cAAc,CAAC,CAAA"}
+{"version":3,"file":"schemata.d.ts","sourceRoot":"","sources":["../../src/cli/schemata.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAa3C,eAAO,MAAM,qBAAqB;;;;EAOjC,CAAA;AACD,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,qBAAqB,CAAC,CAAA;AAMnE,eAAO,MAAM,4BAA4B;;;;;EAKvC,CAAA;AACF,MAAM,MAAM,uBAAuB,GAAG,MAAM,CACxC,OAAO,4BAA4B,CACtC,CAAA;AAMD,eAAO,MAAM,iBAAiB;;;;;;;;;;;EAW5B,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAM3D,eAAO,MAAM,oBAAoB;;;EAMhC,CAAA;AACD,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAmCjE,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAc/B,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAKjE,eAAO,MAAM,kBAAkB,oIAI7B,CAAA;AACF,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,kBAAkB,CAAC,CAAA;AAEnE,eAAO,MAAM,sBAAsB,EAAE,SAAS,mBAAmB,EAIhE,CAAA;AAeD,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;IAWzB,CAAA;AACF,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,cAAc,CAAC,CAAA"}

package/dist/cli/schemata.js

@@ -1,6 +1,7 @@
 import Type, {} from "typebox";
 import { CoreLogicalOperatorType } from "../lib/schemata/propositional.js";
 import { EncodableDate, Nullable, UUID } from "../lib/schemata/shared.js";
+import { CoreClaimAxiomaticTypeSchema, CoreClaimCitationTypeSchema, CoreClaimNormalTypeSchema, } from "../lib/index.js";
 // ---------------------------------------------------------------------------
 // Argument meta (stored in arguments/<id>/meta.json)
 // Flat fields: { id, title, description? }
@@ -113,13 +114,13 @@ const CliClaimBase = Type.Object({
 });
 export const CliClaimSchema = Type.Union([
     Type.Interface([CliClaimBase], {
-        type: Type.Literal("normal"),
+        type: CoreClaimNormalTypeSchema,
     }),
     Type.Interface([CliClaimBase], {
-        type: Type.Literal("citation"),
+        type: CoreClaimCitationTypeSchema,
     }),
     Type.Interface([CliClaimBase], {
-        type: Type.Literal("axiomatic"),
+        type: CoreClaimAxiomaticTypeSchema,
         reasonCode: CliAxiomReasonCode,
     }),
 ]);

package/dist/cli/schemata.js.map

@@ -1 +1 @@
-{"version":3,"file":"schemata.js","sourceRoot":"","sources":["../../src/cli/schemata.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,uBAAuB,EAAE,MAAM,kCAAkC,CAAA;AAC1E,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,2BAA2B,CAAA;AAEzE,8EAA8E;AAC9E,qDAAqD;AACrD,2CAA2C;AAC3C,8EAA8E;AAC9E,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,CAAC,MAAM,CAC5C;IACI,EAAE,EAAE,IAAI;IACR,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;IACpB,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CAC5C,EACD,EAAE,oBAAoB,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAC1C,CAAA;AAGD,8EAA8E;AAC9E,8DAA8D;AAC9D,kDAAkD;AAClD,8EAA8E;AAC9E,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,CAAC,MAAM,CAAC;IACpD,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,SAAS,EAAE,aAAa;IACxB,SAAS,EAAE,IAAI,CAAC,OAAO,EAAE;IACzB,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC;CAC5C,CAAC,CAAA;AAKF,8EAA8E;AAC9E,+DAA+D;AAC/D,6DAA6D;AAC7D,8EAA8E;AAC9E,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,MAAM,CAAC;IACzC,EAAE,EAAE,IAAI;IACR,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACtC,kBAAkB,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAC1D,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC9C,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;IACpB,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACzC,SAAS,EAAE,aAAa;IACxB,SAAS,EAAE,IAAI,CAAC,OAAO,EAAE;IACzB,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC;CAC5C,CAAC,CAAA;AAGF,8EAA8E;AAC9E,mDAAmD;AACnD,8BAA8B;AAC9B,8EAA8E;AAC9E,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAC3C;IACI,EAAE,EAAE,IAAI;IACR,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CACtC,EACD,EAAE,oBAAoB,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAC1C,CAAA;AAGD,8EAA8E;AAC9E,+EAA+E;AAC/E,8EAA8E;AAC9E,MAAM,uBAAuB,GAAG,IAAI,CAAC,MAAM,CAAC;IACxC,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IAC9B,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC;IACxB,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE;IACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACtC,kBAAkB,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAC1D,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CACjD,CAAC,CAAA;AAEF,MAAM,mBAAmB,GAAG,IAAI,CAAC,KAAK,CAAC;IACnC,IAAI,CAAC,SAAS,CAAC,CAAC,uBAAuB,CAAC,EAAE;QACtC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;QAC9B,UAAU,EAAE,IAAI;KACnB,CAAC;IACF,IAAI,CAAC,SAAS,CAAC,CAAC,uBAAuB,CAAC,EAAE;QACtC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;QAC9B,QAAQ,EAAE,uBAAuB;KACpC,CAAC;IACF,IAAI,CAAC,SAAS,CAAC,CAAC,uBAAuB,CAAC,EAAE;QACtC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC;KAChC,CAAC;CACL,CAAC,CAAA;AAEF,8EAA8E;AAC9E,mDAAmD;AACnD,gDAAgD;AAChD,8EAA8E;AAC9E,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC5C,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAC3B,IAAI,CAAC,MAAM,CAAC;QACR,WAAW,EACP,4DAA4D;KACnE,CAAC,CACL;IACD,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE;QACxB,WAAW,EAAE,kDAAkD;KAClE,CAAC;IACF,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,mBAAmB,EAAE;QACzC,WAAW,EACP,gEAAgE;KACvE,CAAC;CACL,CAAC,CAAA;AAGF,8EAA8E;AAC9E,uCAAuC;AACvC,8EAA8E;AAC9E,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,CAAC,KAAK,CAAC;IACzC,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC;IAClC,IAAI,CAAC,OAAO,CAAC,0BAA0B,CAAC;IACxC,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC;CACrC,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,sBAAsB,GAAmC;IAClE,oBAAoB;IACpB,0BAA0B;IAC1B,oBAAoB;CACvB,CAAA;AAED,8EAA8E;AAC9E,2EAA2E;AAC3E,kEAAkE;AAClE,8EAA8E;AAC9E,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,CAAC;IAC7B,EAAE,EAAE,IAAI;IACR,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,MAAM,EAAE,IAAI,CAAC,OAAO,EAAE;IACtB,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE;IACvB,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACnC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CACrC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,CAAC,KAAK,CAAC;IACrC,IAAI,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,EAAE;QAC3B,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;KAC/B,CAAC;IACF,IAAI,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,EAAE;QAC3B,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;KACjC,CAAC;IACF,IAAI,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,EAAE;QAC3B,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;QAC/B,UAAU,EAAE,kBAAkB;KACjC,CAAC;CACL,CAAC,CAAA"}
+{"version":3,"file":"schemata.js","sourceRoot":"","sources":["../../src/cli/schemata.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,uBAAuB,EAAE,MAAM,kCAAkC,CAAA;AAC1E,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,2BAA2B,CAAA;AACzE,OAAO,EACH,4BAA4B,EAC5B,2BAA2B,EAC3B,yBAAyB,GAC5B,MAAM,iBAAiB,CAAA;AAExB,8EAA8E;AAC9E,qDAAqD;AACrD,2CAA2C;AAC3C,8EAA8E;AAC9E,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,CAAC,MAAM,CAC5C;IACI,EAAE,EAAE,IAAI;IACR,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;IACpB,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CAC5C,EACD,EAAE,oBAAoB,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAC1C,CAAA;AAGD,8EAA8E;AAC9E,8DAA8D;AAC9D,kDAAkD;AAClD,8EAA8E;AAC9E,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,CAAC,MAAM,CAAC;IACpD,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,SAAS,EAAE,aAAa;IACxB,SAAS,EAAE,IAAI,CAAC,OAAO,EAAE;IACzB,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC;CAC5C,CAAC,CAAA;AAKF,8EAA8E;AAC9E,+DAA+D;AAC/D,6DAA6D;AAC7D,8EAA8E;AAC9E,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,MAAM,CAAC;IACzC,EAAE,EAAE,IAAI;IACR,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACtC,kBAAkB,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAC1D,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC9C,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;IACpB,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACzC,SAAS,EAAE,aAAa;IACxB,SAAS,EAAE,IAAI,CAAC,OAAO,EAAE;IACzB,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC;CAC5C,CAAC,CAAA;AAGF,8EAA8E;AAC9E,mDAAmD;AACnD,8BAA8B;AAC9B,8EAA8E;AAC9E,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAC3C;IACI,EAAE,EAAE,IAAI;IACR,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CACtC,EACD,EAAE,oBAAoB,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAC1C,CAAA;AAGD,8EAA8E;AAC9E,+EAA+E;AAC/E,8EAA8E;AAC9E,MAAM,uBAAuB,GAAG,IAAI,CAAC,MAAM,CAAC;IACxC,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IAC9B,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC;IACxB,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE;IACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACtC,kBAAkB,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAC1D,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CACjD,CAAC,CAAA;AAEF,MAAM,mBAAmB,GAAG,IAAI,CAAC,KAAK,CAAC;IACnC,IAAI,CAAC,SAAS,CAAC,CAAC,uBAAuB,CAAC,EAAE;QACtC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;QAC9B,UAAU,EAAE,IAAI;KACnB,CAAC;IACF,IAAI,CAAC,SAAS,CAAC,CAAC,uBAAuB,CAAC,EAAE;QACtC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;QAC9B,QAAQ,EAAE,uBAAuB;KACpC,CAAC;IACF,IAAI,CAAC,SAAS,CAAC,CAAC,uBAAuB,CAAC,EAAE;QACtC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC;KAChC,CAAC;CACL,CAAC,CAAA;AAEF,8EAA8E;AAC9E,mDAAmD;AACnD,gDAAgD;AAChD,8EAA8E;AAC9E,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC5C,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAC3B,IAAI,CAAC,MAAM,CAAC;QACR,WAAW,EACP,4DAA4D;KACnE,CAAC,CACL;IACD,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE;QACxB,WAAW,EAAE,kDAAkD;KAClE,CAAC;IACF,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,mBAAmB,EAAE;QACzC,WAAW,EACP,gEAAgE;KACvE,CAAC;CACL,CAAC,CAAA;AAGF,8EAA8E;AAC9E,uCAAuC;AACvC,8EAA8E;AAC9E,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,CAAC,KAAK,CAAC;IACzC,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC;IAClC,IAAI,CAAC,OAAO,CAAC,0BAA0B,CAAC;IACxC,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC;CACrC,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,sBAAsB,GAAmC;IAClE,oBAAoB;IACpB,0BAA0B;IAC1B,oBAAoB;CACvB,CAAA;AAED,8EAA8E;AAC9E,2EAA2E;AAC3E,kEAAkE;AAClE,8EAA8E;AAC9E,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,CAAC;IAC7B,EAAE,EAAE,IAAI;IACR,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,MAAM,EAAE,IAAI,CAAC,OAAO,EAAE;IACtB,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE;IACvB,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACnC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CACrC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,CAAC,KAAK,CAAC;IACrC,IAAI,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,EAAE;QAC3B,IAAI,EAAE,yBAAyB;KAClC,CAAC;IACF,IAAI,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,EAAE;QAC3B,IAAI,EAAE,2BAA2B;KACpC,CAAC;IACF,IAAI,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,EAAE;QAC3B,IAAI,EAAE,4BAA4B;QAClC,UAAU,EAAE,kBAAkB;KACjC,CAAC;CACL,CAAC,CAAA"}

package/dist/extensions/basics/schemata.d.ts

@@ -7,10 +7,9 @@ export declare const BasicsArgumentSchema: Type.TIntersect<[Type.TObject<{
     combinedChecksum: Type.TString;
 }>, Type.TObject<{
     title: Type.TString;
-    description: Type.TOptional<Type.TString>;
 }>]>;
 export type TBasicsArgument = Static<typeof BasicsArgumentSchema>;
-export declare const BasicsClaimSchema: Type.TIntersect<[Type.TObject<{
+export declare const BasicsNormalClaimSchema: Type.TIntersect<[Type.TObject<{
     id: Type.TString;
     version: Type.TNumber;
     frozen: Type.TBoolean;
@@ -19,7 +18,62 @@ export declare const BasicsClaimSchema: Type.TIntersect<[Type.TObject<{
 }>, Type.TObject<{
     title: Type.TString;
     body: Type.TString;
+    type: Type.TLiteral<"normal">;
 }>]>;
+export type TBasicsNormalClaim = Static<typeof BasicsNormalClaimSchema>;
+export declare const BasicsCitationClaimSchema: Type.TIntersect<[Type.TObject<{
+    id: Type.TString;
+    version: Type.TNumber;
+    frozen: Type.TBoolean;
+    checksum: Type.TString;
+    type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">, Type.TLiteral<"axiomatic">]>;
+}>, Type.TObject<{
+    title: Type.TString;
+    url: Type.TString;
+    type: Type.TLiteral<"citation">;
+}>]>;
+export type TBasicsCitationClaim = Static<typeof BasicsCitationClaimSchema>;
+export declare const BasicsAxiomaticClaimSchema: Type.TIntersect<[Type.TObject<{
+    id: Type.TString;
+    version: Type.TNumber;
+    frozen: Type.TBoolean;
+    checksum: Type.TString;
+    type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">, Type.TLiteral<"axiomatic">]>;
+}>, Type.TObject<{
+    axiom: Type.TString;
+    type: Type.TLiteral<"axiomatic">;
+}>]>;
+export type TBasicsAxiomaticClaim = Static<typeof BasicsAxiomaticClaimSchema>;
+export declare const BasicsClaimSchema: Type.TUnion<[Type.TIntersect<[Type.TObject<{
+    id: Type.TString;
+    version: Type.TNumber;
+    frozen: Type.TBoolean;
+    checksum: Type.TString;
+    type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">, Type.TLiteral<"axiomatic">]>;
+}>, Type.TObject<{
+    title: Type.TString;
+    body: Type.TString;
+    type: Type.TLiteral<"normal">;
+}>]>, Type.TIntersect<[Type.TObject<{
+    id: Type.TString;
+    version: Type.TNumber;
+    frozen: Type.TBoolean;
+    checksum: Type.TString;
+    type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">, Type.TLiteral<"axiomatic">]>;
+}>, Type.TObject<{
+    title: Type.TString;
+    url: Type.TString;
+    type: Type.TLiteral<"citation">;
+}>]>, Type.TIntersect<[Type.TObject<{
+    id: Type.TString;
+    version: Type.TNumber;
+    frozen: Type.TBoolean;
+    checksum: Type.TString;
+    type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">, Type.TLiteral<"axiomatic">]>;
+}>, Type.TObject<{
+    axiom: Type.TString;
+    type: Type.TLiteral<"axiomatic">;
+}>]>]>;
 export type TBasicsClaim = Static<typeof BasicsClaimSchema>;
 export declare const BasicsPremiseSchema: Type.TIntersect<[Type.TUnion<[Type.TObject<{
     type: Type.TLiteral<"freeform">;

package/dist/extensions/basics/schemata.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"schemata.d.ts","sourceRoot":"","sources":["../../../src/extensions/basics/schemata.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAO3C,eAAO,MAAM,oBAAoB;;;;;;;;;IAM/B,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAEjE,eAAO,MAAM,iBAAiB;;;;;;;;;IAM5B,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAE3D,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;IAK9B,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA;AA4B/D,eAAO,MAAM,mBAAmB,cAI9B,CAAA"}
+{"version":3,"file":"schemata.d.ts","sourceRoot":"","sources":["../../../src/extensions/basics/schemata.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAuE3C,eAAO,MAAM,oBAAoB;;;;;;;;IAG/B,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAEjE,eAAO,MAAM,uBAAuB;;;;;;;;;;IAGlC,CAAA;AACF,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAA;AAEvE,eAAO,MAAM,yBAAyB;;;;;;;;;;IAGpC,CAAA;AACF,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,yBAAyB,CAAC,CAAA;AAE3E,eAAO,MAAM,0BAA0B;;;;;;;;;IAGrC,CAAA;AACF,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAA;AAE7E,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;MAI5B,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAE3D,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;IAG9B,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAE/D,eAAO,MAAM,mBAAmB,cAI9B,CAAA"}

package/dist/extensions/basics/schemata.js

@@ -1,31 +1,10 @@
 import Type, {} from "typebox";
 import { CoreArgumentSchema } from "../../lib/schemata/argument.js";
-import { CoreClaimSchema } from "../../lib/schemata/claim.js";
+import { CoreClaimAxiomaticTypeSchema, CoreClaimCitationTypeSchema, CoreClaimNormalTypeSchema, CoreClaimSchema, } from "../../lib/schemata/claim.js";
 import { CorePremiseSchema } from "../../lib/schemata/propositional.js";
 import { buildParsingResponseSchema } from "../../lib/parsing/schemata.js";
-// Core entity extensions
-export const BasicsArgumentSchema = Type.Intersect([
-    CoreArgumentSchema,
-    Type.Object({
-        title: Type.String(),
-        description: Type.Optional(Type.String()),
-    }),
-]);
-export const BasicsClaimSchema = Type.Intersect([
-    CoreClaimSchema,
-    Type.Object({
-        title: Type.String(),
-        body: Type.String(),
-    }),
-]);
-export const BasicsPremiseSchema = Type.Intersect([
-    CorePremiseSchema,
-    Type.Object({
-        title: Type.String(),
-    }),
-]);
 // Parsing response extensions
-const BasicsClaimExtension = Type.Object({
+const BasicsNormalClaimExtension = Type.Object({
     title: Type.String({
         maxLength: 50,
         description: "A short title summarizing the claim",
@@ -34,6 +13,32 @@ const BasicsClaimExtension = Type.Object({
         maxLength: 500,
         description: "A detailed description of the claim",
     }),
+    type: CoreClaimNormalTypeSchema,
+});
+const BasicsCitationClaimExtension = Type.Object({
+    title: Type.String({
+        maxLength: 50,
+        description: "A short title summarizing the claim",
+    }),
+    url: Type.String({
+        maxLength: 500,
+        description: "The URL of the citation supporting the claim",
+    }),
+    type: CoreClaimCitationTypeSchema,
+});
+const BasicsAxiomaticClaimExtension = Type.Object({
+    axiom: Type.String({
+        maxLength: 50,
+        description: "The axiom supporting the claim",
+    }),
+    type: CoreClaimAxiomaticTypeSchema,
+});
+const BasicsClaimExtension = Type.Union([
+    BasicsNormalClaimExtension,
+    BasicsCitationClaimExtension,
+    BasicsAxiomaticClaimExtension,
+], {
+    description: "Field extensions for all claim types. Each claim must conform to exactly one of the three extensions below, depending on its type.",
 });
 const BasicsPremiseExtension = Type.Object({
     title: Type.String({
@@ -47,6 +52,32 @@ const BasicsArgumentExtension = Type.Object({
         description: "A short title for the argument",
     }),
 });
+// Core entity extensions
+export const BasicsArgumentSchema = Type.Intersect([
+    CoreArgumentSchema,
+    BasicsArgumentExtension,
+]);
+export const BasicsNormalClaimSchema = Type.Intersect([
+    CoreClaimSchema,
+    BasicsNormalClaimExtension,
+]);
+export const BasicsCitationClaimSchema = Type.Intersect([
+    CoreClaimSchema,
+    BasicsCitationClaimExtension,
+]);
+export const BasicsAxiomaticClaimSchema = Type.Intersect([
+    CoreClaimSchema,
+    BasicsAxiomaticClaimExtension,
+]);
+export const BasicsClaimSchema = Type.Union([
+    BasicsNormalClaimSchema,
+    BasicsCitationClaimSchema,
+    BasicsAxiomaticClaimSchema,
+]);
+export const BasicsPremiseSchema = Type.Intersect([
+    CorePremiseSchema,
+    BasicsPremiseExtension,
+]);
 export const BasicsParsingSchema = buildParsingResponseSchema({
     claimSchema: BasicsClaimExtension,
     premiseSchema: BasicsPremiseExtension,

package/dist/extensions/basics/schemata.js.map

@@ -1 +1 @@
-{"version":3,"file":"schemata.js","sourceRoot":"","sources":["../../../src/extensions/basics/schemata.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAA;AACnE,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAA;AAC7D,OAAO,EAAE,iBAAiB,EAAE,MAAM,qCAAqC,CAAA;AACvE,OAAO,EAAE,0BAA0B,EAAE,MAAM,+BAA+B,CAAA;AAE1E,yBAAyB;AACzB,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC/C,kBAAkB;IAClB,IAAI,CAAC,MAAM,CAAC;QACR,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;QACpB,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;KAC5C,CAAC;CACL,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC5C,eAAe;IACf,IAAI,CAAC,MAAM,CAAC;QACR,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;QACpB,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;KACtB,CAAC;CACL,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC9C,iBAAiB;IACjB,IAAI,CAAC,MAAM,CAAC;QACR,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;KACvB,CAAC;CACL,CAAC,CAAA;AAGF,8BAA8B;AAC9B,MAAM,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAAC;IACrC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC;QACf,SAAS,EAAE,EAAE;QACb,WAAW,EAAE,qCAAqC;KACrD,CAAC;IACF,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC;QACd,SAAS,EAAE,GAAG;QACd,WAAW,EAAE,qCAAqC;KACrD,CAAC;CACL,CAAC,CAAA;AAEF,MAAM,sBAAsB,GAAG,IAAI,CAAC,MAAM,CAAC;IACvC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC;QACf,SAAS,EAAE,EAAE;QACb,WAAW,EAAE,gCAAgC;KAChD,CAAC;CACL,CAAC,CAAA;AAEF,MAAM,uBAAuB,GAAG,IAAI,CAAC,MAAM,CAAC;IACxC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC;QACf,SAAS,EAAE,EAAE;QACb,WAAW,EAAE,gCAAgC;KAChD,CAAC;CACL,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,mBAAmB,GAAG,0BAA0B,CAAC;IAC1D,WAAW,EAAE,oBAAoB;IACjC,aAAa,EAAE,sBAAsB;IACrC,oBAAoB,EAAE,uBAAuB;CAChD,CAAC,CAAA"}
+{"version":3,"file":"schemata.js","sourceRoot":"","sources":["../../../src/extensions/basics/schemata.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAA;AACnE,OAAO,EACH,4BAA4B,EAC5B,2BAA2B,EAC3B,yBAAyB,EACzB,eAAe,GAClB,MAAM,6BAA6B,CAAA;AACpC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qCAAqC,CAAA;AACvE,OAAO,EAAE,0BAA0B,EAAE,MAAM,+BAA+B,CAAA;AAE1E,8BAA8B;AAC9B,MAAM,0BAA0B,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3C,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC;QACf,SAAS,EAAE,EAAE;QACb,WAAW,EAAE,qCAAqC;KACrD,CAAC;IACF,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC;QACd,SAAS,EAAE,GAAG;QACd,WAAW,EAAE,qCAAqC;KACrD,CAAC;IACF,IAAI,EAAE,yBAAyB;CAClC,CAAC,CAAA;AAEF,MAAM,4BAA4B,GAAG,IAAI,CAAC,MAAM,CAAC;IAC7C,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC;QACf,SAAS,EAAE,EAAE;QACb,WAAW,EAAE,qCAAqC;KACrD,CAAC;IACF,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC;QACb,SAAS,EAAE,GAAG;QACd,WAAW,EAAE,8CAA8C;KAC9D,CAAC;IACF,IAAI,EAAE,2BAA2B;CACpC,CAAC,CAAA;AAEF,MAAM,6BAA6B,GAAG,IAAI,CAAC,MAAM,CAAC;IAC9C,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC;QACf,SAAS,EAAE,EAAE;QACb,WAAW,EAAE,gCAAgC;KAChD,CAAC;IACF,IAAI,EAAE,4BAA4B;CACrC,CAAC,CAAA;AAEF,MAAM,oBAAoB,GAAG,IAAI,CAAC,KAAK,CACnC;IACI,0BAA0B;IAC1B,4BAA4B;IAC5B,6BAA6B;CAChC,EACD;IACI,WAAW,EACP,oIAAoI;CAC3I,CACJ,CAAA;AAED,MAAM,sBAAsB,GAAG,IAAI,CAAC,MAAM,CAAC;IACvC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC;QACf,SAAS,EAAE,EAAE;QACb,WAAW,EAAE,gCAAgC;KAChD,CAAC;CACL,CAAC,CAAA;AAEF,MAAM,uBAAuB,GAAG,IAAI,CAAC,MAAM,CAAC;IACxC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC;QACf,SAAS,EAAE,EAAE;QACb,WAAW,EAAE,gCAAgC;KAChD,CAAC;CACL,CAAC,CAAA;AAEF,yBAAyB;AACzB,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC/C,kBAAkB;IAClB,uBAAuB;CAC1B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,CAAC,SAAS,CAAC;IAClD,eAAe;IACf,0BAA0B;CAC7B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC,SAAS,CAAC;IACpD,eAAe;IACf,4BAA4B;CAC/B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,SAAS,CAAC;IACrD,eAAe;IACf,6BAA6B;CAChC,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,KAAK,CAAC;IACxC,uBAAuB;IACvB,yBAAyB;IACzB,0BAA0B;CAC7B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC9C,iBAAiB;IACjB,sBAAsB;CACzB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,mBAAmB,GAAG,0BAA0B,CAAC;IAC1D,WAAW,EAAE,oBAAoB;IACjC,aAAa,EAAE,sBAAsB;IACrC,oBAAoB,EAAE,uBAAuB;CAChD,CAAC,CAAA"}

package/dist/lib/core/claim-axiom-library.d.ts

@@ -1,4 +1,4 @@
-import type { TCoreClaimAxiom } from "../schemata/claim-axiom.js";
+import type { TCoreClaimConnection } from "../schemata/claim-connection.js";
 import type { TCoreChecksumConfig } from "../types/checksum.js";
 import type { TClaimLookup, TClaimConnectionLibraryManagement, TClaimConnectionLibrarySnapshot } from "./interfaces/library.interfaces.js";
 import type { TInvariantValidationResult } from "../types/validation.js";
@@ -11,7 +11,7 @@ import type { TInvariantValidationResult } from "../types/validation.js";
  * supported (`claimId`) side — `AXIOM_CLAIM_NOT_NORMAL_TYPE` blocks that —
  * so cycles are structurally impossible.
  */
-export declare class ClaimAxiomLibrary<TConnection extends TCoreClaimAxiom = TCoreClaimAxiom> implements TClaimConnectionLibraryManagement<TConnection> {
+export declare class ClaimAxiomLibrary<TConnection extends TCoreClaimConnection = TCoreClaimConnection> implements TClaimConnectionLibraryManagement<TConnection> {
     private axioms;
     private claimToConnections;
     private claimLookup;
@@ -29,7 +29,7 @@ export declare class ClaimAxiomLibrary<TConnection extends TCoreClaimAxiom = TCo
     filter(predicate: (c: TConnection) => boolean): TConnection[];
     snapshot(): TClaimConnectionLibrarySnapshot<TConnection>;
     /** Restores a claim-axiom library from a snapshot, re-indexing all axioms. */
-    static fromSnapshot<TConnection extends TCoreClaimAxiom = TCoreClaimAxiom>(snapshot: TClaimConnectionLibrarySnapshot<TConnection>, claimLookup: TClaimLookup, options?: {
+    static fromSnapshot<TConnection extends TCoreClaimConnection = TCoreClaimConnection>(snapshot: TClaimConnectionLibrarySnapshot<TConnection>, claimLookup: TClaimLookup, options?: {
         checksumConfig?: TCoreChecksumConfig;
     }): ClaimAxiomLibrary<TConnection>;
     validate(): TInvariantValidationResult;

package/dist/lib/core/claim-axiom-library.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"claim-axiom-library.d.ts","sourceRoot":"","sources":["../../../src/lib/core/claim-axiom-library.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AAEjE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAG/D,OAAO,KAAK,EACR,YAAY,EACZ,iCAAiC,EACjC,+BAA+B,EAClC,MAAM,oCAAoC,CAAA;AAC3C,OAAO,KAAK,EACR,0BAA0B,EAE7B,MAAM,wBAAwB,CAAA;AAY/B;;;;;;;;GAQG;AACH,qBAAa,iBAAiB,CAC1B,WAAW,SAAS,eAAe,GAAG,eAAe,CACvD,YAAW,iCAAiC,CAAC,WAAW,CAAC;IACvD,OAAO,CAAC,MAAM,CAA0B;IACxC,OAAO,CAAC,kBAAkB,CAA0B;IACpD,OAAO,CAAC,WAAW,CAAc;IACjC,OAAO,CAAC,cAAc,CAAC,CAAqB;gBAGxC,WAAW,EAAE,YAAY,EACzB,OAAO,CAAC,EAAE;QAAE,cAAc,CAAC,EAAE,mBAAmB,CAAA;KAAE;IAQtD,OAAO,CAAC,mBAAmB;IAiB3B,OAAO,CAAC,cAAc;IAkBf,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,WAAW,EAAE,UAAU,CAAC,GAAG,WAAW;IA+EtD,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG,WAAW;IAyB/B,sBAAsB,CAAC,OAAO,EAAE,MAAM,GAAG,WAAW,EAAE;IAQtD,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,WAAW,GAAG,SAAS;IAIxC,MAAM,IAAI,WAAW,EAAE;IAIvB,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,WAAW,KAAK,OAAO,GAAG,WAAW,EAAE;IAI7D,QAAQ,IAAI,+BAA+B,CAAC,WAAW,CAAC;IAI/D,8EAA8E;WAChE,YAAY,CACtB,WAAW,SAAS,eAAe,GAAG,eAAe,EAErD,QAAQ,EAAE,+BAA+B,CAAC,WAAW,CAAC,EACtD,WAAW,EAAE,YAAY,EACzB,OAAO,CAAC,EAAE;QAAE,cAAc,CAAC,EAAE,mBAAmB,CAAA;KAAE,GACnD,iBAAiB,CAAC,WAAW,CAAC;IAe1B,QAAQ,IAAI,0BAA0B;IAuE7C,OAAO,CAAC,eAAe;CAU1B"}
+{"version":3,"file":"claim-axiom-library.d.ts","sourceRoot":"","sources":["../../../src/lib/core/claim-axiom-library.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,iCAAiC,CAAA;AAE3E,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAG/D,OAAO,KAAK,EACR,YAAY,EACZ,iCAAiC,EACjC,+BAA+B,EAClC,MAAM,oCAAoC,CAAA;AAC3C,OAAO,KAAK,EACR,0BAA0B,EAE7B,MAAM,wBAAwB,CAAA;AAY/B;;;;;;;;GAQG;AACH,qBAAa,iBAAiB,CAC1B,WAAW,SAAS,oBAAoB,GAAG,oBAAoB,CACjE,YAAW,iCAAiC,CAAC,WAAW,CAAC;IACvD,OAAO,CAAC,MAAM,CAA0B;IACxC,OAAO,CAAC,kBAAkB,CAA0B;IACpD,OAAO,CAAC,WAAW,CAAc;IACjC,OAAO,CAAC,cAAc,CAAC,CAAqB;gBAGxC,WAAW,EAAE,YAAY,EACzB,OAAO,CAAC,EAAE;QAAE,cAAc,CAAC,EAAE,mBAAmB,CAAA;KAAE;IAQtD,OAAO,CAAC,mBAAmB;IAiB3B,OAAO,CAAC,cAAc;IAkBf,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,WAAW,EAAE,UAAU,CAAC,GAAG,WAAW;IA+EtD,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG,WAAW;IAyB/B,sBAAsB,CAAC,OAAO,EAAE,MAAM,GAAG,WAAW,EAAE;IAQtD,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,WAAW,GAAG,SAAS;IAIxC,MAAM,IAAI,WAAW,EAAE;IAIvB,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,WAAW,KAAK,OAAO,GAAG,WAAW,EAAE;IAI7D,QAAQ,IAAI,+BAA+B,CAAC,WAAW,CAAC;IAI/D,8EAA8E;WAChE,YAAY,CACtB,WAAW,SAAS,oBAAoB,GAAG,oBAAoB,EAE/D,QAAQ,EAAE,+BAA+B,CAAC,WAAW,CAAC,EACtD,WAAW,EAAE,YAAY,EACzB,OAAO,CAAC,EAAE;QAAE,cAAc,CAAC,EAAE,mBAAmB,CAAA;KAAE,GACnD,iBAAiB,CAAC,WAAW,CAAC;IAe1B,QAAQ,IAAI,0BAA0B;IAuE7C,OAAO,CAAC,eAAe;CAU1B"}

package/dist/lib/core/claim-axiom-library.js

@@ -1,5 +1,5 @@
 import { Value } from "typebox/value";
-import { CoreClaimAxiomSchema } from "../schemata/claim-axiom.js";
+import { CoreClaimConnectionSchema } from "../schemata/claim-connection.js";
 import { DEFAULT_CHECKSUM_CONFIG } from "../consts.js";
 import { entityChecksum } from "./checksum.js";
 import { AXIOM_SCHEMA_INVALID, AXIOM_DUPLICATE_ID, AXIOM_NOT_FOUND, AXIOM_CLAIM_REF_NOT_FOUND, AXIOM_SUPPORTING_REF_NOT_FOUND, AXIOM_SUPPORTING_NOT_AXIOMATIC_TYPE, AXIOM_CLAIM_NOT_NORMAL_TYPE, } from "../types/validation.js";
@@ -180,7 +180,7 @@ export class ClaimAxiomLibrary {
     validate() {
         const violations = [];
         for (const [id, axiom] of this.axioms) {
-            if (!Value.Check(CoreClaimAxiomSchema, axiom)) {
+            if (!Value.Check(CoreClaimConnectionSchema, axiom)) {
                 violations.push({
                     code: AXIOM_SCHEMA_INVALID,
                     message: `${AXIOM_SCHEMA_INVALID}: axiom "${id}" does not conform to schema`,

package/dist/lib/core/claim-axiom-library.js.map

@@ -1 +1 @@
-{"version":3,"file":"claim-axiom-library.js","sourceRoot":"","sources":["../../../src/lib/core/claim-axiom-library.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAErC,OAAO,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAA;AAEjE,OAAO,EAAE,uBAAuB,EAAE,MAAM,cAAc,CAAA;AACtD,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAU9C,OAAO,EACH,oBAAoB,EACpB,kBAAkB,EAClB,eAAe,EACf,yBAAyB,EACzB,8BAA8B,EAC9B,mCAAmC,EACnC,2BAA2B,GAC9B,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAA;AAExE;;;;;;;;GAQG;AACH,MAAM,OAAO,iBAAiB;IAGlB,MAAM,CAA0B;IAChC,kBAAkB,CAA0B;IAC5C,WAAW,CAAc;IACzB,cAAc,CAAsB;IAE5C,YACI,WAAyB,EACzB,OAAkD;QAElD,IAAI,CAAC,MAAM,GAAG,IAAI,GAAG,EAAE,CAAA;QACvB,IAAI,CAAC,kBAAkB,GAAG,IAAI,GAAG,EAAE,CAAA;QACnC,IAAI,CAAC,WAAW,GAAG,WAAW,CAAA;QAC9B,IAAI,CAAC,cAAc,GAAG,OAAO,EAAE,cAAc,CAAA;IACjD,CAAC;IAEO,mBAAmB,CACvB,IAAkD;QAElD,IAAI,CAAC,MAAM,GAAG,IAAI,GAAG,EAAE,CAAA;QACvB,IAAI,CAAC,kBAAkB,GAAG,IAAI,GAAG,EAAE,CAAA;QACnC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACnC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;QACpC,CAAC;QACD,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YACpC,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAA;YAC9B,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACzC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,GAAG,EAAE,CAAC,CAAA;YACpD,CAAC;YACD,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QAClD,CAAC;IACL,CAAC;IAEO,cAAc,CAAI,EAAW;QACjC,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAA;QAC5B,IAAI,CAAC;YACD,MAAM,MAAM,GAAG,EAAE,EAAE,CAAA;YACnB,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAA;YAClC,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC;gBACjB,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAA;gBAC9B,MAAM,IAAI,uBAAuB,CAAC,UAAU,CAAC,UAAU,CAAC,CAAA;YAC5D,CAAC;YACD,OAAO,MAAM,CAAA;QACjB,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACT,IAAI,CAAC,CAAC,CAAC,YAAY,uBAAuB,CAAC,EAAE,CAAC;gBAC1C,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAA;YAClC,CAAC;YACD,MAAM,CAAC,CAAA;QACX,CAAC;IACL,CAAC;IAEM,GAAG,CAAC,KAAoC;QAC3C,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE;YAC5B,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC5B,MAAM,IAAI,uBAAuB,CAAC;oBAC9B;wBACI,IAAI,EAAE,kBAAkB;wBACxB,OAAO,EAAE,GAAG,kBAAkB,mBAAmB,KAAK,CAAC,EAAE,iBAAiB;wBAC1E,UAAU,EAAE,OAAO;wBACnB,QAAQ,EAAE,KAAK,CAAC,EAAE;qBACrB;iBACJ,CAAC,CAAA;YACN,CAAC;YAED,MAAM,cAAc,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CACvC,KAAK,CAAC,OAAO,EACb,KAAK,CAAC,YAAY,CACrB,CAAA;YACD,IAAI,CAAC,cAAc,EAAE,CAAC;gBAClB,MAAM,IAAI,uBAAuB,CAAC;oBAC9B;wBACI,IAAI,EAAE,yBAAyB;wBAC/B,OAAO,EAAE,GAAG,yBAAyB,8CAA8C,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,YAAY,EAAE;wBACxH,UAAU,EAAE,OAAO;wBACnB,QAAQ,EAAE,KAAK,CAAC,EAAE;qBACrB;iBACJ,CAAC,CAAA;YACN,CAAC;YACD,IAAI,cAAc,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACnC,MAAM,IAAI,uBAAuB,CAAC;oBAC9B;wBACI,IAAI,EAAE,2BAA2B;wBACjC,OAAO,EAAE,GAAG,2BAA2B,2BAA2B,KAAK,CAAC,OAAO,cAAc,cAAc,CAAC,IAAI,qDAAqD;wBACrK,UAAU,EAAE,OAAO;wBACnB,QAAQ,EAAE,KAAK,CAAC,EAAE;qBACrB;iBACJ,CAAC,CAAA;YACN,CAAC;YAED,MAAM,eAAe,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CACxC,KAAK,CAAC,iBAAiB,EACvB,KAAK,CAAC,sBAAsB,CAC/B,CAAA;YACD,IAAI,CAAC,eAAe,EAAE,CAAC;gBACnB,MAAM,IAAI,uBAAuB,CAAC;oBAC9B;wBACI,IAAI,EAAE,8BAA8B;wBACpC,OAAO,EAAE,GAAG,8BAA8B,+CAA+C,KAAK,CAAC,iBAAiB,IAAI,KAAK,CAAC,sBAAsB,EAAE;wBAClJ,UAAU,EAAE,OAAO;wBACnB,QAAQ,EAAE,KAAK,CAAC,EAAE;qBACrB;iBACJ,CAAC,CAAA;YACN,CAAC;YACD,IAAI,eAAe,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBACvC,MAAM,IAAI,uBAAuB,CAAC;oBAC9B;wBACI,IAAI,EAAE,mCAAmC;wBACzC,OAAO,EAAE,GAAG,mCAAmC,4BAA4B,KAAK,CAAC,iBAAiB,cAAc,eAAe,CAAC,IAAI,yDAAyD;wBAC7L,UAAU,EAAE,OAAO;wBACnB,QAAQ,EAAE,KAAK,CAAC,EAAE;qBACrB;iBACJ,CAAC,CAAA;YACN,CAAC;YAED,MAAM,IAAI,GAAG,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAiB,CAAA;YACtD,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAA;YAE1C,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAA;YAE9B,IAAI,QAAQ,GAAG,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;YACxD,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACZ,QAAQ,GAAG,IAAI,GAAG,EAAE,CAAA;gBACpB,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAA;YACvD,CAAC;YACD,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;YAErB,OAAO,IAAI,CAAA;QACf,CAAC,CAAC,CAAA;IACN,CAAC;IAEM,MAAM,CAAC,EAAU;QACpB,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE;YAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YACjC,IAAI,CAAC,KAAK,EAAE,CAAC;gBACT,MAAM,IAAI,uBAAuB,CAAC;oBAC9B;wBACI,IAAI,EAAE,eAAe;wBACrB,OAAO,EAAE,GAAG,eAAe,oBAAoB,EAAE,aAAa;wBAC9D,UAAU,EAAE,OAAO;wBACnB,QAAQ,EAAE,EAAE;qBACf;iBACJ,CAAC,CAAA;YACN,CAAC;YAED,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;YAEtB,MAAM,QAAQ,GAAG,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;YAC3D,IAAI,QAAQ,EAAE,CAAC;gBACX,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;YACvB,CAAC;YAED,OAAO,KAAK,CAAA;QAChB,CAAC,CAAC,CAAA;IACN,CAAC;IAEM,sBAAsB,CAAC,OAAe;QACzC,MAAM,GAAG,GAAG,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;QAChD,IAAI,CAAC,GAAG;YAAE,OAAO,EAAE,CAAA;QACnB,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC;aACjB,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC;aACjC,MAAM,CAAC,OAAO,CAAC,CAAA;IACxB,CAAC;IAEM,GAAG,CAAC,EAAU;QACjB,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IAC9B,CAAC;IAEM,MAAM;QACT,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAA;IAC3C,CAAC;IAEM,MAAM,CAAC,SAAsC;QAChD,OAAO,IAAI,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;IAC1C,CAAC;IAEM,QAAQ;QACX,OAAO,EAAE,WAAW,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAAA;IACzC,CAAC;IAED,8EAA8E;IACvE,MAAM,CAAC,YAAY,CAGtB,QAAsD,EACtD,WAAyB,EACzB,OAAkD;QAElD,MAAM,GAAG,GAAG,IAAI,iBAAiB,CAAc,WAAW,EAAE,OAAO,CAAC,CAAA;QACpE,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,WAAW,EAAE,CAAC;YACvC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;YAE/B,IAAI,QAAQ,GAAG,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;YACxD,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACZ,QAAQ,GAAG,IAAI,GAAG,EAAE,CAAA;gBACpB,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAA;YACvD,CAAC;YACD,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QAC1B,CAAC;QACD,OAAO,GAAG,CAAA;IACd,CAAC;IAEM,QAAQ;QACX,MAAM,UAAU,GAA0B,EAAE,CAAA;QAC5C,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YACpC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,oBAAoB,EAAE,KAAK,CAAC,EAAE,CAAC;gBAC5C,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,oBAAoB;oBAC1B,OAAO,EAAE,GAAG,oBAAoB,YAAY,EAAE,8BAA8B;oBAC5E,UAAU,EAAE,OAAO;oBACnB,QAAQ,EAAE,EAAE;iBACf,CAAC,CAAA;YACN,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC;gBAC3D,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,yBAAyB;oBAC/B,OAAO,EAAE,GAAG,yBAAyB,YAAY,EAAE,8CAA8C,KAAK,CAAC,OAAO,aAAa,KAAK,CAAC,YAAY,EAAE;oBAC/I,UAAU,EAAE,OAAO;oBACnB,QAAQ,EAAE,EAAE;iBACf,CAAC,CAAA;YACN,CAAC;YACD,IACI,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CACjB,KAAK,CAAC,iBAAiB,EACvB,KAAK,CAAC,sBAAsB,CAC/B,EACH,CAAC;gBACC,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,8BAA8B;oBACpC,OAAO,EAAE,GAAG,8BAA8B,YAAY,EAAE,+CAA+C,KAAK,CAAC,iBAAiB,aAAa,KAAK,CAAC,sBAAsB,EAAE;oBACzK,UAAU,EAAE,OAAO;oBACnB,QAAQ,EAAE,EAAE;iBACf,CAAC,CAAA;YACN,CAAC;QACL,CAAC;QAED,wEAAwE;QACxE,wEAAwE;QACxE,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;YACvC,MAAM,eAAe,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CACxC,KAAK,CAAC,iBAAiB,EACvB,KAAK,CAAC,sBAAsB,CAC/B,CAAA;YACD,IAAI,eAAe,IAAI,eAAe,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAC1D,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,mCAAmC;oBACzC,OAAO,EAAE,GAAG,mCAAmC,WAAW,KAAK,CAAC,EAAE,qBAAqB,KAAK,CAAC,iBAAiB,cAAc,eAAe,CAAC,IAAI,yDAAyD;oBACzM,UAAU,EAAE,OAAO;oBACnB,QAAQ,EAAE,KAAK,CAAC,EAAE;iBACrB,CAAC,CAAA;YACN,CAAC;QACL,CAAC;QAED,sEAAsE;QACtE,qEAAqE;QACrE,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;YACvC,MAAM,cAAc,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CACvC,KAAK,CAAC,OAAO,EACb,KAAK,CAAC,YAAY,CACrB,CAAA;YACD,IAAI,cAAc,IAAI,cAAc,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACrD,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,2BAA2B;oBACjC,OAAO,EAAE,GAAG,2BAA2B,WAAW,KAAK,CAAC,EAAE,oBAAoB,KAAK,CAAC,OAAO,cAAc,cAAc,CAAC,IAAI,qDAAqD;oBACjL,UAAU,EAAE,OAAO;oBACnB,QAAQ,EAAE,KAAK,CAAC,EAAE;iBACrB,CAAC,CAAA;YACN,CAAC;QACL,CAAC;QAED,OAAO,EAAE,EAAE,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,UAAU,EAAE,CAAA;IACtD,CAAC;IAEO,eAAe,CAAC,KAAkB;QACtC,MAAM,MAAM,GACR,IAAI,CAAC,cAAc,EAAE,gBAAgB;YACrC,uBAAuB,CAAC,gBAAgB;YACxC,uBAAuB,CAAC,mBAAoB,CAAA;QAChD,OAAO,cAAc,CACjB,KAA2C,EAC3C,MAAM,CACT,CAAA;IACL,CAAC;CACJ"}
+{"version":3,"file":"claim-axiom-library.js","sourceRoot":"","sources":["../../../src/lib/core/claim-axiom-library.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAErC,OAAO,EAAE,yBAAyB,EAAE,MAAM,iCAAiC,CAAA;AAE3E,OAAO,EAAE,uBAAuB,EAAE,MAAM,cAAc,CAAA;AACtD,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAU9C,OAAO,EACH,oBAAoB,EACpB,kBAAkB,EAClB,eAAe,EACf,yBAAyB,EACzB,8BAA8B,EAC9B,mCAAmC,EACnC,2BAA2B,GAC9B,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAA;AAExE;;;;;;;;GAQG;AACH,MAAM,OAAO,iBAAiB;IAGlB,MAAM,CAA0B;IAChC,kBAAkB,CAA0B;IAC5C,WAAW,CAAc;IACzB,cAAc,CAAsB;IAE5C,YACI,WAAyB,EACzB,OAAkD;QAElD,IAAI,CAAC,MAAM,GAAG,IAAI,GAAG,EAAE,CAAA;QACvB,IAAI,CAAC,kBAAkB,GAAG,IAAI,GAAG,EAAE,CAAA;QACnC,IAAI,CAAC,WAAW,GAAG,WAAW,CAAA;QAC9B,IAAI,CAAC,cAAc,GAAG,OAAO,EAAE,cAAc,CAAA;IACjD,CAAC;IAEO,mBAAmB,CACvB,IAAkD;QAElD,IAAI,CAAC,MAAM,GAAG,IAAI,GAAG,EAAE,CAAA;QACvB,IAAI,CAAC,kBAAkB,GAAG,IAAI,GAAG,EAAE,CAAA;QACnC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACnC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;QACpC,CAAC;QACD,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YACpC,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAA;YAC9B,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACzC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,GAAG,EAAE,CAAC,CAAA;YACpD,CAAC;YACD,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QAClD,CAAC;IACL,CAAC;IAEO,cAAc,CAAI,EAAW;QACjC,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAA;QAC5B,IAAI,CAAC;YACD,MAAM,MAAM,GAAG,EAAE,EAAE,CAAA;YACnB,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAA;YAClC,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC;gBACjB,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAA;gBAC9B,MAAM,IAAI,uBAAuB,CAAC,UAAU,CAAC,UAAU,CAAC,CAAA;YAC5D,CAAC;YACD,OAAO,MAAM,CAAA;QACjB,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACT,IAAI,CAAC,CAAC,CAAC,YAAY,uBAAuB,CAAC,EAAE,CAAC;gBAC1C,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAA;YAClC,CAAC;YACD,MAAM,CAAC,CAAA;QACX,CAAC;IACL,CAAC;IAEM,GAAG,CAAC,KAAoC;QAC3C,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE;YAC5B,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC5B,MAAM,IAAI,uBAAuB,CAAC;oBAC9B;wBACI,IAAI,EAAE,kBAAkB;wBACxB,OAAO,EAAE,GAAG,kBAAkB,mBAAmB,KAAK,CAAC,EAAE,iBAAiB;wBAC1E,UAAU,EAAE,OAAO;wBACnB,QAAQ,EAAE,KAAK,CAAC,EAAE;qBACrB;iBACJ,CAAC,CAAA;YACN,CAAC;YAED,MAAM,cAAc,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CACvC,KAAK,CAAC,OAAO,EACb,KAAK,CAAC,YAAY,CACrB,CAAA;YACD,IAAI,CAAC,cAAc,EAAE,CAAC;gBAClB,MAAM,IAAI,uBAAuB,CAAC;oBAC9B;wBACI,IAAI,EAAE,yBAAyB;wBAC/B,OAAO,EAAE,GAAG,yBAAyB,8CAA8C,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,YAAY,EAAE;wBACxH,UAAU,EAAE,OAAO;wBACnB,QAAQ,EAAE,KAAK,CAAC,EAAE;qBACrB;iBACJ,CAAC,CAAA;YACN,CAAC;YACD,IAAI,cAAc,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACnC,MAAM,IAAI,uBAAuB,CAAC;oBAC9B;wBACI,IAAI,EAAE,2BAA2B;wBACjC,OAAO,EAAE,GAAG,2BAA2B,2BAA2B,KAAK,CAAC,OAAO,cAAc,cAAc,CAAC,IAAI,qDAAqD;wBACrK,UAAU,EAAE,OAAO;wBACnB,QAAQ,EAAE,KAAK,CAAC,EAAE;qBACrB;iBACJ,CAAC,CAAA;YACN,CAAC;YAED,MAAM,eAAe,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CACxC,KAAK,CAAC,iBAAiB,EACvB,KAAK,CAAC,sBAAsB,CAC/B,CAAA;YACD,IAAI,CAAC,eAAe,EAAE,CAAC;gBACnB,MAAM,IAAI,uBAAuB,CAAC;oBAC9B;wBACI,IAAI,EAAE,8BAA8B;wBACpC,OAAO,EAAE,GAAG,8BAA8B,+CAA+C,KAAK,CAAC,iBAAiB,IAAI,KAAK,CAAC,sBAAsB,EAAE;wBAClJ,UAAU,EAAE,OAAO;wBACnB,QAAQ,EAAE,KAAK,CAAC,EAAE;qBACrB;iBACJ,CAAC,CAAA;YACN,CAAC;YACD,IAAI,eAAe,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBACvC,MAAM,IAAI,uBAAuB,CAAC;oBAC9B;wBACI,IAAI,EAAE,mCAAmC;wBACzC,OAAO,EAAE,GAAG,mCAAmC,4BAA4B,KAAK,CAAC,iBAAiB,cAAc,eAAe,CAAC,IAAI,yDAAyD;wBAC7L,UAAU,EAAE,OAAO;wBACnB,QAAQ,EAAE,KAAK,CAAC,EAAE;qBACrB;iBACJ,CAAC,CAAA;YACN,CAAC;YAED,MAAM,IAAI,GAAG,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAiB,CAAA;YACtD,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAA;YAE1C,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAA;YAE9B,IAAI,QAAQ,GAAG,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;YACxD,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACZ,QAAQ,GAAG,IAAI,GAAG,EAAE,CAAA;gBACpB,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAA;YACvD,CAAC;YACD,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;YAErB,OAAO,IAAI,CAAA;QACf,CAAC,CAAC,CAAA;IACN,CAAC;IAEM,MAAM,CAAC,EAAU;QACpB,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE;YAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YACjC,IAAI,CAAC,KAAK,EAAE,CAAC;gBACT,MAAM,IAAI,uBAAuB,CAAC;oBAC9B;wBACI,IAAI,EAAE,eAAe;wBACrB,OAAO,EAAE,GAAG,eAAe,oBAAoB,EAAE,aAAa;wBAC9D,UAAU,EAAE,OAAO;wBACnB,QAAQ,EAAE,EAAE;qBACf;iBACJ,CAAC,CAAA;YACN,CAAC;YAED,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;YAEtB,MAAM,QAAQ,GAAG,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;YAC3D,IAAI,QAAQ,EAAE,CAAC;gBACX,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;YACvB,CAAC;YAED,OAAO,KAAK,CAAA;QAChB,CAAC,CAAC,CAAA;IACN,CAAC;IAEM,sBAAsB,CAAC,OAAe;QACzC,MAAM,GAAG,GAAG,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;QAChD,IAAI,CAAC,GAAG;YAAE,OAAO,EAAE,CAAA;QACnB,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC;aACjB,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC;aACjC,MAAM,CAAC,OAAO,CAAC,CAAA;IACxB,CAAC;IAEM,GAAG,CAAC,EAAU;QACjB,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IAC9B,CAAC;IAEM,MAAM;QACT,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAA;IAC3C,CAAC;IAEM,MAAM,CAAC,SAAsC;QAChD,OAAO,IAAI,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;IAC1C,CAAC;IAEM,QAAQ;QACX,OAAO,EAAE,WAAW,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAAA;IACzC,CAAC;IAED,8EAA8E;IACvE,MAAM,CAAC,YAAY,CAGtB,QAAsD,EACtD,WAAyB,EACzB,OAAkD;QAElD,MAAM,GAAG,GAAG,IAAI,iBAAiB,CAAc,WAAW,EAAE,OAAO,CAAC,CAAA;QACpE,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,WAAW,EAAE,CAAC;YACvC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;YAE/B,IAAI,QAAQ,GAAG,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;YACxD,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACZ,QAAQ,GAAG,IAAI,GAAG,EAAE,CAAA;gBACpB,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAA;YACvD,CAAC;YACD,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QAC1B,CAAC;QACD,OAAO,GAAG,CAAA;IACd,CAAC;IAEM,QAAQ;QACX,MAAM,UAAU,GAA0B,EAAE,CAAA;QAC5C,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YACpC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,yBAAyB,EAAE,KAAK,CAAC,EAAE,CAAC;gBACjD,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,oBAAoB;oBAC1B,OAAO,EAAE,GAAG,oBAAoB,YAAY,EAAE,8BAA8B;oBAC5E,UAAU,EAAE,OAAO;oBACnB,QAAQ,EAAE,EAAE;iBACf,CAAC,CAAA;YACN,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC;gBAC3D,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,yBAAyB;oBAC/B,OAAO,EAAE,GAAG,yBAAyB,YAAY,EAAE,8CAA8C,KAAK,CAAC,OAAO,aAAa,KAAK,CAAC,YAAY,EAAE;oBAC/I,UAAU,EAAE,OAAO;oBACnB,QAAQ,EAAE,EAAE;iBACf,CAAC,CAAA;YACN,CAAC;YACD,IACI,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CACjB,KAAK,CAAC,iBAAiB,EACvB,KAAK,CAAC,sBAAsB,CAC/B,EACH,CAAC;gBACC,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,8BAA8B;oBACpC,OAAO,EAAE,GAAG,8BAA8B,YAAY,EAAE,+CAA+C,KAAK,CAAC,iBAAiB,aAAa,KAAK,CAAC,sBAAsB,EAAE;oBACzK,UAAU,EAAE,OAAO;oBACnB,QAAQ,EAAE,EAAE;iBACf,CAAC,CAAA;YACN,CAAC;QACL,CAAC;QAED,wEAAwE;QACxE,wEAAwE;QACxE,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;YACvC,MAAM,eAAe,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CACxC,KAAK,CAAC,iBAAiB,EACvB,KAAK,CAAC,sBAAsB,CAC/B,CAAA;YACD,IAAI,eAAe,IAAI,eAAe,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAC1D,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,mCAAmC;oBACzC,OAAO,EAAE,GAAG,mCAAmC,WAAW,KAAK,CAAC,EAAE,qBAAqB,KAAK,CAAC,iBAAiB,cAAc,eAAe,CAAC,IAAI,yDAAyD;oBACzM,UAAU,EAAE,OAAO;oBACnB,QAAQ,EAAE,KAAK,CAAC,EAAE;iBACrB,CAAC,CAAA;YACN,CAAC;QACL,CAAC;QAED,sEAAsE;QACtE,qEAAqE;QACrE,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;YACvC,MAAM,cAAc,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CACvC,KAAK,CAAC,OAAO,EACb,KAAK,CAAC,YAAY,CACrB,CAAA;YACD,IAAI,cAAc,IAAI,cAAc,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACrD,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,2BAA2B;oBACjC,OAAO,EAAE,GAAG,2BAA2B,WAAW,KAAK,CAAC,EAAE,oBAAoB,KAAK,CAAC,OAAO,cAAc,cAAc,CAAC,IAAI,qDAAqD;oBACjL,UAAU,EAAE,OAAO;oBACnB,QAAQ,EAAE,KAAK,CAAC,EAAE;iBACrB,CAAC,CAAA;YACN,CAAC;QACL,CAAC;QAED,OAAO,EAAE,EAAE,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,UAAU,EAAE,CAAA;IACtD,CAAC;IAEO,eAAe,CAAC,KAAkB;QACtC,MAAM,MAAM,GACR,IAAI,CAAC,cAAc,EAAE,gBAAgB;YACrC,uBAAuB,CAAC,gBAAgB;YACxC,uBAAuB,CAAC,mBAAoB,CAAA;QAChD,OAAO,cAAc,CACjB,KAA2C,EAC3C,MAAM,CACT,CAAA;IACL,CAAC;CACJ"}

package/dist/lib/core/claim-citation-library.d.ts

@@ -1,8 +1,8 @@
-import type { TCoreClaimCitation } from "../schemata/claim-citation.js";
+import type { TCoreClaimConnection } from "../schemata/claim-connection.js";
 import type { TCoreChecksumConfig } from "../types/checksum.js";
 import type { TClaimLookup, TClaimConnectionLibraryManagement, TClaimConnectionLibrarySnapshot } from "./interfaces/library.interfaces.js";
 import type { TInvariantValidationResult } from "../types/validation.js";
-export declare class ClaimCitationLibrary<TCitation extends TCoreClaimCitation = TCoreClaimCitation> implements TClaimConnectionLibraryManagement<TCitation> {
+export declare class ClaimCitationLibrary<TCitation extends TCoreClaimConnection = TCoreClaimConnection> implements TClaimConnectionLibraryManagement<TCitation> {
     private citations;
     private claimToConnections;
     private claimLookup;
@@ -20,7 +20,7 @@ export declare class ClaimCitationLibrary<TCitation extends TCoreClaimCitation =
     filter(predicate: (c: TCitation) => boolean): TCitation[];
     snapshot(): TClaimConnectionLibrarySnapshot<TCitation>;
     /** Restores a claim-citation library from a snapshot, re-indexing all citations. */
-    static fromSnapshot<TCitation extends TCoreClaimCitation = TCoreClaimCitation>(snapshot: TClaimConnectionLibrarySnapshot<TCitation>, claimLookup: TClaimLookup, options?: {
+    static fromSnapshot<TCitation extends TCoreClaimConnection = TCoreClaimConnection>(snapshot: TClaimConnectionLibrarySnapshot<TCitation>, claimLookup: TClaimLookup, options?: {
         checksumConfig?: TCoreChecksumConfig;
     }): ClaimCitationLibrary<TCitation>;
     validate(): TInvariantValidationResult;

package/dist/lib/core/claim-citation-library.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"claim-citation-library.d.ts","sourceRoot":"","sources":["../../../src/lib/core/claim-citation-library.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAA;AAEvE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAG/D,OAAO,KAAK,EACR,YAAY,EACZ,iCAAiC,EACjC,+BAA+B,EAClC,MAAM,oCAAoC,CAAA;AAC3C,OAAO,KAAK,EACR,0BAA0B,EAE7B,MAAM,wBAAwB,CAAA;AAa/B,qBAAa,oBAAoB,CAC7B,SAAS,SAAS,kBAAkB,GAAG,kBAAkB,CAC3D,YAAW,iCAAiC,CAAC,SAAS,CAAC;IACrD,OAAO,CAAC,SAAS,CAAwB;IACzC,OAAO,CAAC,kBAAkB,CAA0B;IACpD,OAAO,CAAC,WAAW,CAAc;IACjC,OAAO,CAAC,cAAc,CAAC,CAAqB;gBAGxC,WAAW,EAAE,YAAY,EACzB,OAAO,CAAC,EAAE;QAAE,cAAc,CAAC,EAAE,mBAAmB,CAAA;KAAE;IAQtD,OAAO,CAAC,mBAAmB;IAiB3B,OAAO,CAAC,cAAc;IAkBf,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC,GAAG,SAAS;IAqFrD,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS;IAyB7B,sBAAsB,CAAC,OAAO,EAAE,MAAM,GAAG,SAAS,EAAE;IAQpD,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS;IAItC,MAAM,IAAI,SAAS,EAAE;IAIrB,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,SAAS,KAAK,OAAO,GAAG,SAAS,EAAE;IAIzD,QAAQ,IAAI,+BAA+B,CAAC,SAAS,CAAC;IAI7D,oFAAoF;WACtE,YAAY,CACtB,SAAS,SAAS,kBAAkB,GAAG,kBAAkB,EAEzD,QAAQ,EAAE,+BAA+B,CAAC,SAAS,CAAC,EACpD,WAAW,EAAE,YAAY,EACzB,OAAO,CAAC,EAAE;QAAE,cAAc,CAAC,EAAE,mBAAmB,CAAA;KAAE,GACnD,oBAAoB,CAAC,SAAS,CAAC;IAwD3B,QAAQ,IAAI,0BAA0B;IA6D7C;;;;OAIG;IACH,OAAO,CAAC,eAAe;IA+CvB;;;;;;OAMG;IACH,OAAO,CAAC,gBAAgB;IAgCxB,OAAO,CAAC,eAAe;CAS1B"}
+{"version":3,"file":"claim-citation-library.d.ts","sourceRoot":"","sources":["../../../src/lib/core/claim-citation-library.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,iCAAiC,CAAA;AAE3E,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAG/D,OAAO,KAAK,EACR,YAAY,EACZ,iCAAiC,EACjC,+BAA+B,EAClC,MAAM,oCAAoC,CAAA;AAC3C,OAAO,KAAK,EACR,0BAA0B,EAE7B,MAAM,wBAAwB,CAAA;AAa/B,qBAAa,oBAAoB,CAC7B,SAAS,SAAS,oBAAoB,GAAG,oBAAoB,CAC/D,YAAW,iCAAiC,CAAC,SAAS,CAAC;IACrD,OAAO,CAAC,SAAS,CAAwB;IACzC,OAAO,CAAC,kBAAkB,CAA0B;IACpD,OAAO,CAAC,WAAW,CAAc;IACjC,OAAO,CAAC,cAAc,CAAC,CAAqB;gBAGxC,WAAW,EAAE,YAAY,EACzB,OAAO,CAAC,EAAE;QAAE,cAAc,CAAC,EAAE,mBAAmB,CAAA;KAAE;IAQtD,OAAO,CAAC,mBAAmB;IAiB3B,OAAO,CAAC,cAAc;IAkBf,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC,GAAG,SAAS;IAqFrD,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS;IAyB7B,sBAAsB,CAAC,OAAO,EAAE,MAAM,GAAG,SAAS,EAAE;IAQpD,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS;IAItC,MAAM,IAAI,SAAS,EAAE;IAIrB,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,SAAS,KAAK,OAAO,GAAG,SAAS,EAAE;IAIzD,QAAQ,IAAI,+BAA+B,CAAC,SAAS,CAAC;IAI7D,oFAAoF;WACtE,YAAY,CACtB,SAAS,SAAS,oBAAoB,GAAG,oBAAoB,EAE7D,QAAQ,EAAE,+BAA+B,CAAC,SAAS,CAAC,EACpD,WAAW,EAAE,YAAY,EACzB,OAAO,CAAC,EAAE;QAAE,cAAc,CAAC,EAAE,mBAAmB,CAAA;KAAE,GACnD,oBAAoB,CAAC,SAAS,CAAC;IAwD3B,QAAQ,IAAI,0BAA0B;IA6D7C;;;;OAIG;IACH,OAAO,CAAC,eAAe;IA+CvB;;;;;;OAMG;IACH,OAAO,CAAC,gBAAgB;IAgCxB,OAAO,CAAC,eAAe;CAS1B"}

package/dist/lib/core/claim-citation-library.js

@@ -1,5 +1,5 @@
 import { Value } from "typebox/value";
-import { CoreClaimCitationSchema } from "../schemata/claim-citation.js";
+import { CoreClaimConnectionSchema } from "../schemata/claim-connection.js";
 import { DEFAULT_CHECKSUM_CONFIG } from "../consts.js";
 import { entityChecksum } from "./checksum.js";
 import { CITATION_SCHEMA_INVALID, CITATION_DUPLICATE_ID, CITATION_NOT_FOUND, CITATION_CLAIM_REF_NOT_FOUND, CITATION_SUPPORTING_REF_NOT_FOUND, CITATION_SUPPORTING_NOT_CITATION_TYPE, CITATION_CYCLE_DETECTED, LEGACY_CLAIM_CITATION_SHAPE, } from "../types/validation.js";
@@ -206,7 +206,7 @@ export class ClaimCitationLibrary {
     validate() {
         const violations = [];
         for (const [id, citation] of this.citations) {
-            if (!Value.Check(CoreClaimCitationSchema, citation)) {
+            if (!Value.Check(CoreClaimConnectionSchema, citation)) {
                 violations.push({
                     code: CITATION_SCHEMA_INVALID,
                     message: `Citation "${id}" does not conform to schema`,

package/dist/lib/core/claim-citation-library.js.map

@@ -1 +1 @@
-{"version":3,"file":"claim-citation-library.js","sourceRoot":"","sources":["../../../src/lib/core/claim-citation-library.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAErC,OAAO,EAAE,uBAAuB,EAAE,MAAM,+BAA+B,CAAA;AAEvE,OAAO,EAAE,uBAAuB,EAAE,MAAM,cAAc,CAAA;AACtD,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAU9C,OAAO,EACH,uBAAuB,EACvB,qBAAqB,EACrB,kBAAkB,EAClB,4BAA4B,EAC5B,iCAAiC,EACjC,qCAAqC,EACrC,uBAAuB,EACvB,2BAA2B,GAC9B,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAA;AAExE,MAAM,OAAO,oBAAoB;IAGrB,SAAS,CAAwB;IACjC,kBAAkB,CAA0B;IAC5C,WAAW,CAAc;IACzB,cAAc,CAAsB;IAE5C,YACI,WAAyB,EACzB,OAAkD;QAElD,IAAI,CAAC,SAAS,GAAG,IAAI,GAAG,EAAE,CAAA;QAC1B,IAAI,CAAC,kBAAkB,GAAG,IAAI,GAAG,EAAE,CAAA;QACnC,IAAI,CAAC,WAAW,GAAG,WAAW,CAAA;QAC9B,IAAI,CAAC,cAAc,GAAG,OAAO,EAAE,cAAc,CAAA;IACjD,CAAC;IAEO,mBAAmB,CACvB,IAAgD;QAEhD,IAAI,CAAC,SAAS,GAAG,IAAI,GAAG,EAAE,CAAA;QAC1B,IAAI,CAAC,kBAAkB,GAAG,IAAI,GAAG,EAAE,CAAA;QACnC,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACtC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAA;QAC7C,CAAC;QACD,KAAK,MAAM,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YAC1C,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAA;YACjC,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACzC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,GAAG,EAAE,CAAC,CAAA;YACpD,CAAC;YACD,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QAClD,CAAC;IACL,CAAC;IAEO,cAAc,CAAI,EAAW;QACjC,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAA;QAC5B,IAAI,CAAC;YACD,MAAM,MAAM,GAAG,EAAE,EAAE,CAAA;YACnB,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAA;YAClC,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC;gBACjB,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAA;gBAC9B,MAAM,IAAI,uBAAuB,CAAC,UAAU,CAAC,UAAU,CAAC,CAAA;YAC5D,CAAC;YACD,OAAO,MAAM,CAAA;QACjB,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACT,IAAI,CAAC,CAAC,CAAC,YAAY,uBAAuB,CAAC,EAAE,CAAC;gBAC1C,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAA;YAClC,CAAC;YACD,MAAM,CAAC,CAAA;QACX,CAAC;IACL,CAAC;IAEM,GAAG,CAAC,QAAqC;QAC5C,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE;YAC5B,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;gBAClC,MAAM,IAAI,uBAAuB,CAAC;oBAC9B;wBACI,IAAI,EAAE,qBAAqB;wBAC3B,OAAO,EAAE,oBAAoB,QAAQ,CAAC,EAAE,iBAAiB;wBACzD,UAAU,EAAE,UAAU;wBACtB,QAAQ,EAAE,QAAQ,CAAC,EAAE;qBACxB;iBACJ,CAAC,CAAA;YACN,CAAC;YAED,MAAM,cAAc,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CACvC,QAAQ,CAAC,OAAO,EAChB,QAAQ,CAAC,YAAY,CACxB,CAAA;YACD,IAAI,CAAC,cAAc,EAAE,CAAC;gBAClB,MAAM,IAAI,uBAAuB,CAAC;oBAC9B;wBACI,IAAI,EAAE,4BAA4B;wBAClC,OAAO,EAAE,+CAA+C,QAAQ,CAAC,OAAO,IAAI,QAAQ,CAAC,YAAY,EAAE;wBACnG,UAAU,EAAE,UAAU;wBACtB,QAAQ,EAAE,QAAQ,CAAC,EAAE;qBACxB;iBACJ,CAAC,CAAA;YACN,CAAC;YAED,MAAM,eAAe,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CACxC,QAAQ,CAAC,iBAAiB,EAC1B,QAAQ,CAAC,sBAAsB,CAClC,CAAA;YACD,IAAI,CAAC,eAAe,EAAE,CAAC;gBACnB,MAAM,IAAI,uBAAuB,CAAC;oBAC9B;wBACI,IAAI,EAAE,iCAAiC;wBACvC,OAAO,EAAE,gDAAgD,QAAQ,CAAC,iBAAiB,IAAI,QAAQ,CAAC,sBAAsB,EAAE;wBACxH,UAAU,EAAE,UAAU;wBACtB,QAAQ,EAAE,QAAQ,CAAC,EAAE;qBACxB;iBACJ,CAAC,CAAA;YACN,CAAC;YACD,IAAI,eAAe,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBACtC,MAAM,IAAI,uBAAuB,CAAC;oBAC9B;wBACI,IAAI,EAAE,qCAAqC;wBAC3C,OAAO,EAAE,6BAA6B,QAAQ,CAAC,iBAAiB,cAAc,eAAe,CAAC,IAAI,wDAAwD;wBAC1J,UAAU,EAAE,UAAU;wBACtB,QAAQ,EAAE,QAAQ,CAAC,EAAE;qBACxB;iBACJ,CAAC,CAAA;YACN,CAAC;YAED,IACI,IAAI,CAAC,gBAAgB,CACjB,QAAQ,CAAC,OAAO,EAChB,QAAQ,CAAC,iBAAiB,CAC7B,EACH,CAAC;gBACC,MAAM,IAAI,uBAAuB,CAAC;oBAC9B;wBACI,IAAI,EAAE,uBAAuB;wBAC7B,OAAO,EAAE,wBAAwB,QAAQ,CAAC,OAAO,OAAO,QAAQ,CAAC,iBAAiB,mDAAmD;wBACrI,UAAU,EAAE,UAAU;wBACtB,QAAQ,EAAE,QAAQ,CAAC,EAAE;qBACxB;iBACJ,CAAC,CAAA;YACN,CAAC;YAED,MAAM,IAAI,GAAG,EAAE,GAAG,QAAQ,EAAE,QAAQ,EAAE,EAAE,EAAe,CAAA;YACvD,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAA;YAE1C,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAA;YAEjC,IAAI,QAAQ,GAAG,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;YACxD,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACZ,QAAQ,GAAG,IAAI,GAAG,EAAE,CAAA;gBACpB,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAA;YACvD,CAAC;YACD,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;YAErB,OAAO,IAAI,CAAA;QACf,CAAC,CAAC,CAAA;IACN,CAAC;IAEM,MAAM,CAAC,EAAU;QACpB,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE;YAC5B,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YACvC,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACZ,MAAM,IAAI,uBAAuB,CAAC;oBAC9B;wBACI,IAAI,EAAE,kBAAkB;wBACxB,OAAO,EAAE,GAAG,kBAAkB,uBAAuB,EAAE,aAAa;wBACpE,UAAU,EAAE,UAAU;wBACtB,QAAQ,EAAE,EAAE;qBACf;iBACJ,CAAC,CAAA;YACN,CAAC;YAED,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;YAEzB,MAAM,QAAQ,GAAG,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAA;YAC9D,IAAI,QAAQ,EAAE,CAAC;gBACX,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;YACvB,CAAC;YAED,OAAO,QAAQ,CAAA;QACnB,CAAC,CAAC,CAAA;IACN,CAAC;IAEM,sBAAsB,CAAC,OAAe;QACzC,MAAM,GAAG,GAAG,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;QAChD,IAAI,CAAC,GAAG;YAAE,OAAO,EAAE,CAAA;QACnB,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC;aACjB,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC;aACpC,MAAM,CAAC,OAAO,CAAC,CAAA;IACxB,CAAC;IAEM,GAAG,CAAC,EAAU;QACjB,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IACjC,CAAC;IAEM,MAAM;QACT,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAA;IAC9C,CAAC;IAEM,MAAM,CAAC,SAAoC;QAC9C,OAAO,IAAI,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;IAC1C,CAAC;IAEM,QAAQ;QACX,OAAO,EAAE,WAAW,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAAA;IACzC,CAAC;IAED,oFAAoF;IAC7E,MAAM,CAAC,YAAY,CAGtB,QAAoD,EACpD,WAAyB,EACzB,OAAkD;QAElD,mEAAmE;QACnE,0EAA0E;QAC1E,0EAA0E;QAC1E,MAAM,GAAG,GAAG,QAA8C,CAAA;QAC1D,IAAI,gBAAgB,IAAI,GAAG,IAAI,CAAC,CAAC,aAAa,IAAI,GAAG,CAAC,EAAE,CAAC;YACrD,MAAM,IAAI,uBAAuB,CAAC;gBAC9B;oBACI,IAAI,EAAE,2BAA2B;oBACjC,OAAO,EAAE,GAAG,2BAA2B,wFAAwF;oBAC/H,UAAU,EAAE,UAAU;oBACtB,QAAQ,EAAE,YAAY;iBACzB;aACJ,CAAC,CAAA;QACN,CAAC;QACD,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CACrB,GAAiC,CAAC,WAAW,CACjD;YACG,CAAC,CAAE,GAAkC,CAAC,WAAW;YACjD,CAAC,CAAC,EAAE,CAAA;QACR,KAAK,MAAM,MAAM,IAAI,IAAI,EAAE,CAAC;YACxB,IACI,MAAM,KAAK,IAAI;gBACf,OAAO,MAAM,KAAK,QAAQ;gBAC1B,CAAC,eAAe,IAAK,MAAkC;oBACnD,eAAe,IAAK,MAAkC,CAAC,EAC7D,CAAC;gBACC,MAAM,EAAE,GACJ,OAAQ,MAA2B,CAAC,EAAE,KAAK,QAAQ;oBAC/C,CAAC,CAAE,MAAyB,CAAC,EAAE;oBAC/B,CAAC,CAAC,WAAW,CAAA;gBACrB,MAAM,IAAI,uBAAuB,CAAC;oBAC9B;wBACI,IAAI,EAAE,2BAA2B;wBACjC,OAAO,EAAE,GAAG,2BAA2B,eAAe,EAAE,0FAA0F;wBAClJ,UAAU,EAAE,UAAU;wBACtB,QAAQ,EAAE,EAAE;qBACf;iBACJ,CAAC,CAAA;YACN,CAAC;QACL,CAAC;QAED,MAAM,GAAG,GAAG,IAAI,oBAAoB,CAAY,WAAW,EAAE,OAAO,CAAC,CAAA;QACrE,KAAK,MAAM,QAAQ,IAAI,QAAQ,CAAC,WAAW,EAAE,CAAC;YAC1C,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAA;YAExC,IAAI,QAAQ,GAAG,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAA;YAC3D,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACZ,QAAQ,GAAG,IAAI,GAAG,EAAE,CAAA;gBACpB,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAA;YAC1D,CAAC;YACD,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;QAC7B,CAAC;QACD,OAAO,GAAG,CAAA;IACd,CAAC;IAEM,QAAQ;QACX,MAAM,UAAU,GAA0B,EAAE,CAAA;QAC5C,KAAK,MAAM,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YAC1C,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,uBAAuB,EAAE,QAAQ,CAAC,EAAE,CAAC;gBAClD,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,uBAAuB;oBAC7B,OAAO,EAAE,aAAa,EAAE,8BAA8B;oBACtD,UAAU,EAAE,UAAU;oBACtB,QAAQ,EAAE,EAAE;iBACf,CAAC,CAAA;YACN,CAAC;YACD,IACI,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,YAAY,CAAC,EAChE,CAAC;gBACC,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,4BAA4B;oBAClC,OAAO,EAAE,aAAa,EAAE,8CAA8C,QAAQ,CAAC,OAAO,aAAa,QAAQ,CAAC,YAAY,EAAE;oBAC1H,UAAU,EAAE,UAAU;oBACtB,QAAQ,EAAE,EAAE;iBACf,CAAC,CAAA;YACN,CAAC;YACD,IACI,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CACjB,QAAQ,CAAC,iBAAiB,EAC1B,QAAQ,CAAC,sBAAsB,CAClC,EACH,CAAC;gBACC,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,iCAAiC;oBACvC,OAAO,EAAE,aAAa,EAAE,+CAA+C,QAAQ,CAAC,iBAAiB,aAAa,QAAQ,CAAC,sBAAsB,EAAE;oBAC/I,UAAU,EAAE,UAAU;oBACtB,QAAQ,EAAE,EAAE;iBACf,CAAC,CAAA;YACN,CAAC;QACL,CAAC;QAED,2EAA2E;QAC3E,uEAAuE;QACvE,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;YAC7C,MAAM,eAAe,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CACxC,QAAQ,CAAC,iBAAiB,EAC1B,QAAQ,CAAC,sBAAsB,CAClC,CAAA;YACD,IAAI,eAAe,IAAI,eAAe,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBACzD,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,qCAAqC;oBAC3C,OAAO,EAAE,YAAY,QAAQ,CAAC,EAAE,qBAAqB,QAAQ,CAAC,iBAAiB,cAAc,eAAe,CAAC,IAAI,wDAAwD;oBACzK,UAAU,EAAE,UAAU;oBACtB,QAAQ,EAAE,QAAQ,CAAC,EAAE;iBACxB,CAAC,CAAA;YACN,CAAC;QACL,CAAC;QAED,kEAAkE;QAClE,2DAA2D;QAC3D,MAAM,eAAe,GAAG,IAAI,CAAC,eAAe,EAAE,CAAA;QAC9C,KAAK,MAAM,CAAC,IAAI,eAAe;YAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QAEnD,OAAO,EAAE,EAAE,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,UAAU,EAAE,CAAA;IACtD,CAAC;IAED;;;;OAIG;IACK,eAAe;QACnB,MAAM,UAAU,GAA0B,EAAE,CAAA;QAC5C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAA;QACjC,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAA;QACpC,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAA;QAE1C,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,IAAc,EAAQ,EAAE;YACjD,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACvB,sDAAsD;gBACtD,2DAA2D;gBAC3D,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;gBAClC,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;oBAC/C,IACI,UAAU,CAAC,OAAO,KAAK,IAAI;wBAC3B,UAAU,CAAC,iBAAiB,KAAK,IAAI;wBACrC,CAAC,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,EACtC,CAAC;wBACC,UAAU,CAAC,IAAI,CAAC;4BACZ,IAAI,EAAE,uBAAuB;4BAC7B,OAAO,EAAE,mDAAmD,IAAI,EAAE;4BAClE,UAAU,EAAE,UAAU;4BACtB,QAAQ,EAAE,UAAU,CAAC,EAAE;yBAC1B,CAAC,CAAA;wBACF,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;oBACvC,CAAC;gBACL,CAAC;gBACD,OAAM;YACV,CAAC;YACD,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAM;YAC7B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YACjB,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YACpB,MAAM,QAAQ,GAAG,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YAClD,IAAI,QAAQ,EAAE,CAAC;gBACX,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;oBACzB,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;oBACjC,IAAI,CAAC;wBAAE,KAAK,CAAC,CAAC,CAAC,iBAAiB,EAAE,CAAC,GAAG,IAAI,EAAE,IAAI,CAAC,CAAC,CAAA;gBACtD,CAAC;YACL,CAAC;YACD,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;QAC3B,CAAC,CAAA;QAED,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,kBAAkB,CAAC,IAAI,EAAE,EAAE,CAAC;YAChD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,CAAA;QAC3C,CAAC;QACD,OAAO,UAAU,CAAA;IACrB,CAAC;IAED;;;;;;OAMG;IACK,gBAAgB,CACpB,OAAe,EACf,iBAAyB;QAEzB,sEAAsE;QACtE,sEAAsE;QACtE,6DAA6D;QAC7D,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,IAAI,CAAA;QACxD,IAAI,SAAS,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAA;QAExC,8DAA8D;QAC9D,4DAA4D;QAC5D,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAA;QACjC,MAAM,KAAK,GAAa,CAAC,iBAAiB,CAAC,CAAA;QAC3C,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,EAAG,CAAA;YACzB,IAAI,IAAI,KAAK,OAAO;gBAAE,OAAO,IAAI,CAAA;YACjC,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAQ;YAC/B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YACjB,MAAM,WAAW,GAAG,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YACrD,IAAI,WAAW,EAAE,CAAC;gBACd,KAAK,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;oBAC5B,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;oBACjC,IAAI,CAAC,EAAE,CAAC;wBACJ,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAA;oBACnC,CAAC;gBACL,CAAC;YACL,CAAC;QACL,CAAC;QACD,OAAO,KAAK,CAAA;IAChB,CAAC;IAEO,eAAe,CAAC,QAAmB;QACvC,MAAM,MAAM,GACR,IAAI,CAAC,cAAc,EAAE,mBAAmB;YACxC,uBAAuB,CAAC,mBAAoB,CAAA;QAChD,OAAO,cAAc,CACjB,QAA8C,EAC9C,MAAM,CACT,CAAA;IACL,CAAC;CACJ"}
+{"version":3,"file":"claim-citation-library.js","sourceRoot":"","sources":["../../../src/lib/core/claim-citation-library.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAErC,OAAO,EAAE,yBAAyB,EAAE,MAAM,iCAAiC,CAAA;AAE3E,OAAO,EAAE,uBAAuB,EAAE,MAAM,cAAc,CAAA;AACtD,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAU9C,OAAO,EACH,uBAAuB,EACvB,qBAAqB,EACrB,kBAAkB,EAClB,4BAA4B,EAC5B,iCAAiC,EACjC,qCAAqC,EACrC,uBAAuB,EACvB,2BAA2B,GAC9B,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAA;AAExE,MAAM,OAAO,oBAAoB;IAGrB,SAAS,CAAwB;IACjC,kBAAkB,CAA0B;IAC5C,WAAW,CAAc;IACzB,cAAc,CAAsB;IAE5C,YACI,WAAyB,EACzB,OAAkD;QAElD,IAAI,CAAC,SAAS,GAAG,IAAI,GAAG,EAAE,CAAA;QAC1B,IAAI,CAAC,kBAAkB,GAAG,IAAI,GAAG,EAAE,CAAA;QACnC,IAAI,CAAC,WAAW,GAAG,WAAW,CAAA;QAC9B,IAAI,CAAC,cAAc,GAAG,OAAO,EAAE,cAAc,CAAA;IACjD,CAAC;IAEO,mBAAmB,CACvB,IAAgD;QAEhD,IAAI,CAAC,SAAS,GAAG,IAAI,GAAG,EAAE,CAAA;QAC1B,IAAI,CAAC,kBAAkB,GAAG,IAAI,GAAG,EAAE,CAAA;QACnC,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACtC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAA;QAC7C,CAAC;QACD,KAAK,MAAM,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YAC1C,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAA;YACjC,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACzC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,GAAG,EAAE,CAAC,CAAA;YACpD,CAAC;YACD,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QAClD,CAAC;IACL,CAAC;IAEO,cAAc,CAAI,EAAW;QACjC,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAA;QAC5B,IAAI,CAAC;YACD,MAAM,MAAM,GAAG,EAAE,EAAE,CAAA;YACnB,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAA;YAClC,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC;gBACjB,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAA;gBAC9B,MAAM,IAAI,uBAAuB,CAAC,UAAU,CAAC,UAAU,CAAC,CAAA;YAC5D,CAAC;YACD,OAAO,MAAM,CAAA;QACjB,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACT,IAAI,CAAC,CAAC,CAAC,YAAY,uBAAuB,CAAC,EAAE,CAAC;gBAC1C,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAA;YAClC,CAAC;YACD,MAAM,CAAC,CAAA;QACX,CAAC;IACL,CAAC;IAEM,GAAG,CAAC,QAAqC;QAC5C,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE;YAC5B,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;gBAClC,MAAM,IAAI,uBAAuB,CAAC;oBAC9B;wBACI,IAAI,EAAE,qBAAqB;wBAC3B,OAAO,EAAE,oBAAoB,QAAQ,CAAC,EAAE,iBAAiB;wBACzD,UAAU,EAAE,UAAU;wBACtB,QAAQ,EAAE,QAAQ,CAAC,EAAE;qBACxB;iBACJ,CAAC,CAAA;YACN,CAAC;YAED,MAAM,cAAc,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CACvC,QAAQ,CAAC,OAAO,EAChB,QAAQ,CAAC,YAAY,CACxB,CAAA;YACD,IAAI,CAAC,cAAc,EAAE,CAAC;gBAClB,MAAM,IAAI,uBAAuB,CAAC;oBAC9B;wBACI,IAAI,EAAE,4BAA4B;wBAClC,OAAO,EAAE,+CAA+C,QAAQ,CAAC,OAAO,IAAI,QAAQ,CAAC,YAAY,EAAE;wBACnG,UAAU,EAAE,UAAU;wBACtB,QAAQ,EAAE,QAAQ,CAAC,EAAE;qBACxB;iBACJ,CAAC,CAAA;YACN,CAAC;YAED,MAAM,eAAe,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CACxC,QAAQ,CAAC,iBAAiB,EAC1B,QAAQ,CAAC,sBAAsB,CAClC,CAAA;YACD,IAAI,CAAC,eAAe,EAAE,CAAC;gBACnB,MAAM,IAAI,uBAAuB,CAAC;oBAC9B;wBACI,IAAI,EAAE,iCAAiC;wBACvC,OAAO,EAAE,gDAAgD,QAAQ,CAAC,iBAAiB,IAAI,QAAQ,CAAC,sBAAsB,EAAE;wBACxH,UAAU,EAAE,UAAU;wBACtB,QAAQ,EAAE,QAAQ,CAAC,EAAE;qBACxB;iBACJ,CAAC,CAAA;YACN,CAAC;YACD,IAAI,eAAe,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBACtC,MAAM,IAAI,uBAAuB,CAAC;oBAC9B;wBACI,IAAI,EAAE,qCAAqC;wBAC3C,OAAO,EAAE,6BAA6B,QAAQ,CAAC,iBAAiB,cAAc,eAAe,CAAC,IAAI,wDAAwD;wBAC1J,UAAU,EAAE,UAAU;wBACtB,QAAQ,EAAE,QAAQ,CAAC,EAAE;qBACxB;iBACJ,CAAC,CAAA;YACN,CAAC;YAED,IACI,IAAI,CAAC,gBAAgB,CACjB,QAAQ,CAAC,OAAO,EAChB,QAAQ,CAAC,iBAAiB,CAC7B,EACH,CAAC;gBACC,MAAM,IAAI,uBAAuB,CAAC;oBAC9B;wBACI,IAAI,EAAE,uBAAuB;wBAC7B,OAAO,EAAE,wBAAwB,QAAQ,CAAC,OAAO,OAAO,QAAQ,CAAC,iBAAiB,mDAAmD;wBACrI,UAAU,EAAE,UAAU;wBACtB,QAAQ,EAAE,QAAQ,CAAC,EAAE;qBACxB;iBACJ,CAAC,CAAA;YACN,CAAC;YAED,MAAM,IAAI,GAAG,EAAE,GAAG,QAAQ,EAAE,QAAQ,EAAE,EAAE,EAAe,CAAA;YACvD,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAA;YAE1C,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAA;YAEjC,IAAI,QAAQ,GAAG,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;YACxD,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACZ,QAAQ,GAAG,IAAI,GAAG,EAAE,CAAA;gBACpB,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAA;YACvD,CAAC;YACD,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;YAErB,OAAO,IAAI,CAAA;QACf,CAAC,CAAC,CAAA;IACN,CAAC;IAEM,MAAM,CAAC,EAAU;QACpB,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE;YAC5B,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YACvC,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACZ,MAAM,IAAI,uBAAuB,CAAC;oBAC9B;wBACI,IAAI,EAAE,kBAAkB;wBACxB,OAAO,EAAE,GAAG,kBAAkB,uBAAuB,EAAE,aAAa;wBACpE,UAAU,EAAE,UAAU;wBACtB,QAAQ,EAAE,EAAE;qBACf;iBACJ,CAAC,CAAA;YACN,CAAC;YAED,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;YAEzB,MAAM,QAAQ,GAAG,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAA;YAC9D,IAAI,QAAQ,EAAE,CAAC;gBACX,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;YACvB,CAAC;YAED,OAAO,QAAQ,CAAA;QACnB,CAAC,CAAC,CAAA;IACN,CAAC;IAEM,sBAAsB,CAAC,OAAe;QACzC,MAAM,GAAG,GAAG,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;QAChD,IAAI,CAAC,GAAG;YAAE,OAAO,EAAE,CAAA;QACnB,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC;aACjB,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC;aACpC,MAAM,CAAC,OAAO,CAAC,CAAA;IACxB,CAAC;IAEM,GAAG,CAAC,EAAU;QACjB,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IACjC,CAAC;IAEM,MAAM;QACT,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAA;IAC9C,CAAC;IAEM,MAAM,CAAC,SAAoC;QAC9C,OAAO,IAAI,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;IAC1C,CAAC;IAEM,QAAQ;QACX,OAAO,EAAE,WAAW,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAAA;IACzC,CAAC;IAED,oFAAoF;IAC7E,MAAM,CAAC,YAAY,CAGtB,QAAoD,EACpD,WAAyB,EACzB,OAAkD;QAElD,mEAAmE;QACnE,0EAA0E;QAC1E,0EAA0E;QAC1E,MAAM,GAAG,GAAG,QAA8C,CAAA;QAC1D,IAAI,gBAAgB,IAAI,GAAG,IAAI,CAAC,CAAC,aAAa,IAAI,GAAG,CAAC,EAAE,CAAC;YACrD,MAAM,IAAI,uBAAuB,CAAC;gBAC9B;oBACI,IAAI,EAAE,2BAA2B;oBACjC,OAAO,EAAE,GAAG,2BAA2B,wFAAwF;oBAC/H,UAAU,EAAE,UAAU;oBACtB,QAAQ,EAAE,YAAY;iBACzB;aACJ,CAAC,CAAA;QACN,CAAC;QACD,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CACrB,GAAiC,CAAC,WAAW,CACjD;YACG,CAAC,CAAE,GAAkC,CAAC,WAAW;YACjD,CAAC,CAAC,EAAE,CAAA;QACR,KAAK,MAAM,MAAM,IAAI,IAAI,EAAE,CAAC;YACxB,IACI,MAAM,KAAK,IAAI;gBACf,OAAO,MAAM,KAAK,QAAQ;gBAC1B,CAAC,eAAe,IAAK,MAAkC;oBACnD,eAAe,IAAK,MAAkC,CAAC,EAC7D,CAAC;gBACC,MAAM,EAAE,GACJ,OAAQ,MAA2B,CAAC,EAAE,KAAK,QAAQ;oBAC/C,CAAC,CAAE,MAAyB,CAAC,EAAE;oBAC/B,CAAC,CAAC,WAAW,CAAA;gBACrB,MAAM,IAAI,uBAAuB,CAAC;oBAC9B;wBACI,IAAI,EAAE,2BAA2B;wBACjC,OAAO,EAAE,GAAG,2BAA2B,eAAe,EAAE,0FAA0F;wBAClJ,UAAU,EAAE,UAAU;wBACtB,QAAQ,EAAE,EAAE;qBACf;iBACJ,CAAC,CAAA;YACN,CAAC;QACL,CAAC;QAED,MAAM,GAAG,GAAG,IAAI,oBAAoB,CAAY,WAAW,EAAE,OAAO,CAAC,CAAA;QACrE,KAAK,MAAM,QAAQ,IAAI,QAAQ,CAAC,WAAW,EAAE,CAAC;YAC1C,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAA;YAExC,IAAI,QAAQ,GAAG,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAA;YAC3D,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACZ,QAAQ,GAAG,IAAI,GAAG,EAAE,CAAA;gBACpB,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAA;YAC1D,CAAC;YACD,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;QAC7B,CAAC;QACD,OAAO,GAAG,CAAA;IACd,CAAC;IAEM,QAAQ;QACX,MAAM,UAAU,GAA0B,EAAE,CAAA;QAC5C,KAAK,MAAM,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YAC1C,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,yBAAyB,EAAE,QAAQ,CAAC,EAAE,CAAC;gBACpD,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,uBAAuB;oBAC7B,OAAO,EAAE,aAAa,EAAE,8BAA8B;oBACtD,UAAU,EAAE,UAAU;oBACtB,QAAQ,EAAE,EAAE;iBACf,CAAC,CAAA;YACN,CAAC;YACD,IACI,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,YAAY,CAAC,EAChE,CAAC;gBACC,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,4BAA4B;oBAClC,OAAO,EAAE,aAAa,EAAE,8CAA8C,QAAQ,CAAC,OAAO,aAAa,QAAQ,CAAC,YAAY,EAAE;oBAC1H,UAAU,EAAE,UAAU;oBACtB,QAAQ,EAAE,EAAE;iBACf,CAAC,CAAA;YACN,CAAC;YACD,IACI,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CACjB,QAAQ,CAAC,iBAAiB,EAC1B,QAAQ,CAAC,sBAAsB,CAClC,EACH,CAAC;gBACC,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,iCAAiC;oBACvC,OAAO,EAAE,aAAa,EAAE,+CAA+C,QAAQ,CAAC,iBAAiB,aAAa,QAAQ,CAAC,sBAAsB,EAAE;oBAC/I,UAAU,EAAE,UAAU;oBACtB,QAAQ,EAAE,EAAE;iBACf,CAAC,CAAA;YACN,CAAC;QACL,CAAC;QAED,2EAA2E;QAC3E,uEAAuE;QACvE,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;YAC7C,MAAM,eAAe,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CACxC,QAAQ,CAAC,iBAAiB,EAC1B,QAAQ,CAAC,sBAAsB,CAClC,CAAA;YACD,IAAI,eAAe,IAAI,eAAe,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBACzD,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,qCAAqC;oBAC3C,OAAO,EAAE,YAAY,QAAQ,CAAC,EAAE,qBAAqB,QAAQ,CAAC,iBAAiB,cAAc,eAAe,CAAC,IAAI,wDAAwD;oBACzK,UAAU,EAAE,UAAU;oBACtB,QAAQ,EAAE,QAAQ,CAAC,EAAE;iBACxB,CAAC,CAAA;YACN,CAAC;QACL,CAAC;QAED,kEAAkE;QAClE,2DAA2D;QAC3D,MAAM,eAAe,GAAG,IAAI,CAAC,eAAe,EAAE,CAAA;QAC9C,KAAK,MAAM,CAAC,IAAI,eAAe;YAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QAEnD,OAAO,EAAE,EAAE,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,UAAU,EAAE,CAAA;IACtD,CAAC;IAED;;;;OAIG;IACK,eAAe;QACnB,MAAM,UAAU,GAA0B,EAAE,CAAA;QAC5C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAA;QACjC,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAA;QACpC,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAA;QAE1C,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,IAAc,EAAQ,EAAE;YACjD,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACvB,sDAAsD;gBACtD,2DAA2D;gBAC3D,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;gBAClC,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;oBAC/C,IACI,UAAU,CAAC,OAAO,KAAK,IAAI;wBAC3B,UAAU,CAAC,iBAAiB,KAAK,IAAI;wBACrC,CAAC,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,EACtC,CAAC;wBACC,UAAU,CAAC,IAAI,CAAC;4BACZ,IAAI,EAAE,uBAAuB;4BAC7B,OAAO,EAAE,mDAAmD,IAAI,EAAE;4BAClE,UAAU,EAAE,UAAU;4BACtB,QAAQ,EAAE,UAAU,CAAC,EAAE;yBAC1B,CAAC,CAAA;wBACF,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;oBACvC,CAAC;gBACL,CAAC;gBACD,OAAM;YACV,CAAC;YACD,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAM;YAC7B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YACjB,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YACpB,MAAM,QAAQ,GAAG,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YAClD,IAAI,QAAQ,EAAE,CAAC;gBACX,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;oBACzB,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;oBACjC,IAAI,CAAC;wBAAE,KAAK,CAAC,CAAC,CAAC,iBAAiB,EAAE,CAAC,GAAG,IAAI,EAAE,IAAI,CAAC,CAAC,CAAA;gBACtD,CAAC;YACL,CAAC;YACD,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;QAC3B,CAAC,CAAA;QAED,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,kBAAkB,CAAC,IAAI,EAAE,EAAE,CAAC;YAChD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,CAAA;QAC3C,CAAC;QACD,OAAO,UAAU,CAAA;IACrB,CAAC;IAED;;;;;;OAMG;IACK,gBAAgB,CACpB,OAAe,EACf,iBAAyB;QAEzB,sEAAsE;QACtE,sEAAsE;QACtE,6DAA6D;QAC7D,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,IAAI,CAAA;QACxD,IAAI,SAAS,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAA;QAExC,8DAA8D;QAC9D,4DAA4D;QAC5D,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAA;QACjC,MAAM,KAAK,GAAa,CAAC,iBAAiB,CAAC,CAAA;QAC3C,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,EAAG,CAAA;YACzB,IAAI,IAAI,KAAK,OAAO;gBAAE,OAAO,IAAI,CAAA;YACjC,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAQ;YAC/B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YACjB,MAAM,WAAW,GAAG,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YACrD,IAAI,WAAW,EAAE,CAAC;gBACd,KAAK,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;oBAC5B,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;oBACjC,IAAI,CAAC,EAAE,CAAC;wBACJ,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAA;oBACnC,CAAC;gBACL,CAAC;YACL,CAAC;QACL,CAAC;QACD,OAAO,KAAK,CAAA;IAChB,CAAC;IAEO,eAAe,CAAC,QAAmB;QACvC,MAAM,MAAM,GACR,IAAI,CAAC,cAAc,EAAE,mBAAmB;YACxC,uBAAuB,CAAC,mBAAoB,CAAA;QAChD,OAAO,cAAc,CACjB,QAA8C,EAC9C,MAAM,CACT,CAAA;IACL,CAAC;CACJ"}

package/dist/lib/core/interfaces/library.interfaces.d.ts

@@ -1,7 +1,5 @@
 import type { TCoreClaim } from "../../schemata/claim.js";
-import type { TCoreClaimCitation } from "../../schemata/claim-citation.js";
 import type { TCoreClaimConnection } from "../../schemata/claim-connection.js";
-import type { TCoreClaimAxiom } from "../../schemata/claim-axiom.js";
 import type { TCoreArgumentForkRecord, TCorePremiseForkRecord, TCoreExpressionForkRecord, TCoreVariableForkRecord, TCoreClaimForkRecord } from "../../schemata/fork.js";
 import type { TInvariantValidationResult } from "../../types/validation.js";
 import type { TCoreArgument, TCorePremise, TCorePropositionalExpression, TCorePropositionalVariable } from "../../schemata/index.js";
@@ -242,7 +240,7 @@ export type TArgumentLibrarySnapshot<TArg extends TCoreArgument = TCoreArgument,
  * all managed libraries: arguments, claims, claim citations, axioms, and fork
  * records.
  */
-export type TPropositCoreSnapshot<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TClaim extends TCoreClaim = TCoreClaim, TCitation extends TCoreClaimCitation = TCoreClaimCitation, TAxiom extends TCoreClaimAxiom = TCoreClaimAxiom, TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord, TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord, TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord, TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord, TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord> = {
+export type TPropositCoreSnapshot<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TClaim extends TCoreClaim = TCoreClaim, TCitation extends TCoreClaimConnection = TCoreClaimConnection, TAxiom extends TCoreClaimConnection = TCoreClaimConnection, TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord, TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord, TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord, TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord, TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord> = {
     /** Snapshot of all argument engines. */
     arguments: TArgumentLibrarySnapshot<TArg, TPremise, TExpr, TVar>;
     /** Snapshot of the claim library. */

package/dist/lib/core/interfaces/library.interfaces.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"library.interfaces.d.ts","sourceRoot":"","sources":["../../../../src/lib/core/interfaces/library.interfaces.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAA;AACzD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,kCAAkC,CAAA;AAC1E,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,oCAAoC,CAAA;AAC9E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAA;AACpE,OAAO,KAAK,EACR,uBAAuB,EACvB,sBAAsB,EACtB,yBAAyB,EACzB,uBAAuB,EACvB,oBAAoB,EACvB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAA;AAC3E,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC7B,MAAM,yBAAyB,CAAA;AAChC,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAA;AACpE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAA;AAClE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAA;AAClE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAA;AAE5D;;;;GAIG;AACH,MAAM,WAAW,YAAY,CAAC,MAAM,SAAS,UAAU,GAAG,UAAU;IAChE;;;;;;OAMG;IACH,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAA;IAEpD;;;;;;;;;;;OAWG;IACH,UAAU,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAA;CAC7C;AAED;;;GAGG;AACH,MAAM,WAAW,uBAAuB,CACpC,MAAM,SAAS,UAAU,GAAG,UAAU,CACxC,SAAQ,YAAY,CAAC,MAAM,CAAC;IAC1B;;;;;;;;;;OAUG;IACH,MAAM,CACF,KAAK,EACC,IAAI,CAAC,MAAM,EAAE,SAAS,GAAG,QAAQ,GAAG,UAAU,CAAC,GAC/C,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,GAAG,SAAS,GAAG,QAAQ,GAAG,UAAU,CAAC,GAAG;QACtD,EAAE,CAAC,EAAE,MAAM,CAAA;KACd,CAAC,GACT,MAAM,CAAA;IAET;;;;;;;;;;OAUG;IACH,MAAM,CACF,EAAE,EAAE,MAAM,EACV,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,GAAG,SAAS,GAAG,QAAQ,GAAG,UAAU,CAAC,CAAC,GACzE,MAAM,CAAA;IAET;;;;;;;;;OASG;IACH,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAA;IAEvD;;;;;OAKG;IACH,UAAU,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAA;IAE1C;;;;OAIG;IACH,MAAM,IAAI,MAAM,EAAE,CAAA;IAElB;;;;;;OAMG;IACH,WAAW,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,EAAE,CAAA;IAEjC;;;;OAIG;IACH,QAAQ,IAAI,qBAAqB,CAAC,MAAM,CAAC,CAAA;IAEzC;;;;OAIG;IACH,QAAQ,IAAI,0BAA0B,CAAA;CACzC;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,sBAAsB,CACnC,KAAK,SAAS,oBAAoB,GAAG,oBAAoB;IAEzD;;;;;;OAMG;IACH,sBAAsB,CAAC,OAAO,EAAE,MAAM,GAAG,KAAK,EAAE,CAAA;IAEhD;;;;;OAKG;IACH,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,KAAK,GAAG,SAAS,CAAA;CACrC;AAED;;;;GAIG;AACH,MAAM,WAAW,iCAAiC,CAC9C,KAAK,SAAS,oBAAoB,GAAG,oBAAoB,CAC3D,SAAQ,sBAAsB,CAAC,KAAK,CAAC;IACnC;;;;;;;;;;;;;;;;OAgBG;IACH,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,KAAK,EAAE,UAAU,CAAC,GAAG,KAAK,CAAA;IAE/C;;;;;;OAMG;IACH,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG,KAAK,CAAA;IAEzB;;;;OAIG;IACH,MAAM,IAAI,KAAK,EAAE,CAAA;IAEjB;;;;;OAKG;IACH,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,OAAO,GAAG,KAAK,EAAE,CAAA;IAEjD;;;;OAIG;IACH,QAAQ,IAAI,+BAA+B,CAAC,KAAK,CAAC,CAAA;IAElD;;;;OAIG;IACH,QAAQ,IAAI,0BAA0B,CAAA;CACzC;AAED,MAAM,MAAM,+BAA+B,CACvC,KAAK,SAAS,oBAAoB,GAAG,oBAAoB,IACzD;IACA,oDAAoD;IACpD,WAAW,EAAE,KAAK,EAAE,CAAA;CACvB,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,qBAAqB,CAAC,MAAM,SAAS,UAAU,GAAG,UAAU,IAAI;IACxE,yCAAyC;IACzC,MAAM,EAAE,MAAM,EAAE,CAAA;CACnB,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,oBAAoB,CAC5B,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB,IAC9D;IACA,iCAAiC;IACjC,SAAS,EAAE,QAAQ,EAAE,CAAA;IACrB,gCAAgC;IAChC,QAAQ,EAAE,YAAY,EAAE,CAAA;IACxB,mCAAmC;IACnC,WAAW,EAAE,SAAS,EAAE,CAAA;IACxB,iCAAiC;IACjC,SAAS,EAAE,QAAQ,EAAE,CAAA;IACrB,8BAA8B;IAC9B,MAAM,EAAE,UAAU,EAAE,CAAA;CACvB,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,wBAAwB,CAChC,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,IACpE;IACA,wDAAwD;IACxD,SAAS,EAAE,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,CAAA;CACpE,CAAA;AAED;;;;GAIG;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,kBAAkB,GAAG,kBAAkB,EACzD,MAAM,SAAS,eAAe,GAAG,eAAe,EAChD,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB,IAC9D;IACA,wCAAwC;IACxC,SAAS,EAAE,wBAAwB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;IAChE,qCAAqC;IACrC,MAAM,EAAE,qBAAqB,CAAC,MAAM,CAAC,CAAA;IACrC,8CAA8C;IAC9C,SAAS,EAAE,+BAA+B,CAAC,SAAS,CAAC,CAAA;IACrD,2CAA2C;IAC3C,MAAM,EAAE,+BAA+B,CAAC,MAAM,CAAC,CAAA;IAC/C,oCAAoC;IACpC,KAAK,EAAE,oBAAoB,CACvB,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb,CAAA;CACJ,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,mBAAmB,GAAG;IAC9B,+DAA+D;IAC/D,cAAc,CAAC,EAAE,mBAAmB,CAAA;IACpC,4CAA4C;IAC5C,cAAc,CAAC,EAAE,mBAAmB,CAAA;IACpC,2CAA2C;IAC3C,aAAa,CAAC,EAAE,cAAc,CAAA;IAC9B,uFAAuF;IACvF,UAAU,CAAC,EAAE,MAAM,MAAM,CAAA;CAC5B,CAAA"}
+{"version":3,"file":"library.interfaces.d.ts","sourceRoot":"","sources":["../../../../src/lib/core/interfaces/library.interfaces.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAA;AACzD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,oCAAoC,CAAA;AAC9E,OAAO,KAAK,EACR,uBAAuB,EACvB,sBAAsB,EACtB,yBAAyB,EACzB,uBAAuB,EACvB,oBAAoB,EACvB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAA;AAC3E,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC7B,MAAM,yBAAyB,CAAA;AAChC,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAA;AACpE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAA;AAClE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAA;AAClE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAA;AAE5D;;;;GAIG;AACH,MAAM,WAAW,YAAY,CAAC,MAAM,SAAS,UAAU,GAAG,UAAU;IAChE;;;;;;OAMG;IACH,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAA;IAEpD;;;;;;;;;;;OAWG;IACH,UAAU,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAA;CAC7C;AAED;;;GAGG;AACH,MAAM,WAAW,uBAAuB,CACpC,MAAM,SAAS,UAAU,GAAG,UAAU,CACxC,SAAQ,YAAY,CAAC,MAAM,CAAC;IAC1B;;;;;;;;;;OAUG;IACH,MAAM,CACF,KAAK,EACC,IAAI,CAAC,MAAM,EAAE,SAAS,GAAG,QAAQ,GAAG,UAAU,CAAC,GAC/C,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,GAAG,SAAS,GAAG,QAAQ,GAAG,UAAU,CAAC,GAAG;QACtD,EAAE,CAAC,EAAE,MAAM,CAAA;KACd,CAAC,GACT,MAAM,CAAA;IAET;;;;;;;;;;OAUG;IACH,MAAM,CACF,EAAE,EAAE,MAAM,EACV,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,GAAG,SAAS,GAAG,QAAQ,GAAG,UAAU,CAAC,CAAC,GACzE,MAAM,CAAA;IAET;;;;;;;;;OASG;IACH,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAA;IAEvD;;;;;OAKG;IACH,UAAU,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAA;IAE1C;;;;OAIG;IACH,MAAM,IAAI,MAAM,EAAE,CAAA;IAElB;;;;;;OAMG;IACH,WAAW,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,EAAE,CAAA;IAEjC;;;;OAIG;IACH,QAAQ,IAAI,qBAAqB,CAAC,MAAM,CAAC,CAAA;IAEzC;;;;OAIG;IACH,QAAQ,IAAI,0BAA0B,CAAA;CACzC;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,sBAAsB,CACnC,KAAK,SAAS,oBAAoB,GAAG,oBAAoB;IAEzD;;;;;;OAMG;IACH,sBAAsB,CAAC,OAAO,EAAE,MAAM,GAAG,KAAK,EAAE,CAAA;IAEhD;;;;;OAKG;IACH,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,KAAK,GAAG,SAAS,CAAA;CACrC;AAED;;;;GAIG;AACH,MAAM,WAAW,iCAAiC,CAC9C,KAAK,SAAS,oBAAoB,GAAG,oBAAoB,CAC3D,SAAQ,sBAAsB,CAAC,KAAK,CAAC;IACnC;;;;;;;;;;;;;;;;OAgBG;IACH,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,KAAK,EAAE,UAAU,CAAC,GAAG,KAAK,CAAA;IAE/C;;;;;;OAMG;IACH,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG,KAAK,CAAA;IAEzB;;;;OAIG;IACH,MAAM,IAAI,KAAK,EAAE,CAAA;IAEjB;;;;;OAKG;IACH,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,OAAO,GAAG,KAAK,EAAE,CAAA;IAEjD;;;;OAIG;IACH,QAAQ,IAAI,+BAA+B,CAAC,KAAK,CAAC,CAAA;IAElD;;;;OAIG;IACH,QAAQ,IAAI,0BAA0B,CAAA;CACzC;AAED,MAAM,MAAM,+BAA+B,CACvC,KAAK,SAAS,oBAAoB,GAAG,oBAAoB,IACzD;IACA,oDAAoD;IACpD,WAAW,EAAE,KAAK,EAAE,CAAA;CACvB,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,qBAAqB,CAAC,MAAM,SAAS,UAAU,GAAG,UAAU,IAAI;IACxE,yCAAyC;IACzC,MAAM,EAAE,MAAM,EAAE,CAAA;CACnB,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,oBAAoB,CAC5B,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB,IAC9D;IACA,iCAAiC;IACjC,SAAS,EAAE,QAAQ,EAAE,CAAA;IACrB,gCAAgC;IAChC,QAAQ,EAAE,YAAY,EAAE,CAAA;IACxB,mCAAmC;IACnC,WAAW,EAAE,SAAS,EAAE,CAAA;IACxB,iCAAiC;IACjC,SAAS,EAAE,QAAQ,EAAE,CAAA;IACrB,8BAA8B;IAC9B,MAAM,EAAE,UAAU,EAAE,CAAA;CACvB,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,wBAAwB,CAChC,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,IACpE;IACA,wDAAwD;IACxD,SAAS,EAAE,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,CAAA;CACpE,CAAA;AAED;;;;GAIG;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,EAC1D,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB,IAC9D;IACA,wCAAwC;IACxC,SAAS,EAAE,wBAAwB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;IAChE,qCAAqC;IACrC,MAAM,EAAE,qBAAqB,CAAC,MAAM,CAAC,CAAA;IACrC,8CAA8C;IAC9C,SAAS,EAAE,+BAA+B,CAAC,SAAS,CAAC,CAAA;IACrD,2CAA2C;IAC3C,MAAM,EAAE,+BAA+B,CAAC,MAAM,CAAC,CAAA;IAC/C,oCAAoC;IACpC,KAAK,EAAE,oBAAoB,CACvB,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb,CAAA;CACJ,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,mBAAmB,GAAG;IAC9B,+DAA+D;IAC/D,cAAc,CAAC,EAAE,mBAAmB,CAAA;IACpC,4CAA4C;IAC5C,cAAc,CAAC,EAAE,mBAAmB,CAAA;IACpC,2CAA2C;IAC3C,aAAa,CAAC,EAAE,cAAc,CAAA;IAC9B,uFAAuF;IACvF,UAAU,CAAC,EAAE,MAAM,MAAM,CAAA;CAC5B,CAAA"}

package/dist/lib/core/proposit-core.d.ts

@@ -1,6 +1,6 @@
-import type { TCoreArgument, TCorePremise, TCorePropositionalExpression, TCorePropositionalVariable, TCoreClaimAxiom } from "../schemata/index.js";
+import type { TCoreArgument, TCorePremise, TCorePropositionalExpression, TCorePropositionalVariable } from "../schemata/index.js";
 import type { TCoreClaim } from "../schemata/claim.js";
-import type { TCoreClaimCitation } from "../schemata/claim-citation.js";
+import type { TCoreClaimConnection } from "../schemata/claim-connection.js";
 import type { TCoreArgumentForkRecord, TCorePremiseForkRecord, TCoreExpressionForkRecord, TCoreVariableForkRecord, TCoreClaimForkRecord } from "../schemata/fork.js";
 import type { TPropositCoreSnapshot, TPropositCoreConfig } from "./interfaces/library.interfaces.js";
 import type { TInvariantValidationResult } from "../types/validation.js";
@@ -18,7 +18,7 @@ import { ForkLibrary } from "./fork-library.js";
  * library instance is provided, it is used directly; otherwise a new one
  * is constructed using the shared config.
  */
-export type TPropositCoreOptions<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TClaim extends TCoreClaim = TCoreClaim, TCitation extends TCoreClaimCitation = TCoreClaimCitation, TAxiom extends TCoreClaimAxiom = TCoreClaimAxiom, TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord, TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord, TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord, TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord, TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord> = TPropositCoreConfig & {
+export type TPropositCoreOptions<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TClaim extends TCoreClaim = TCoreClaim, TCitation extends TCoreClaimConnection = TCoreClaimConnection, TAxiom extends TCoreClaimConnection = TCoreClaimConnection, TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord, TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord, TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord, TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord, TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord> = TPropositCoreConfig & {
     /** Pre-constructed claim library instance. */
     claimLibrary?: ClaimLibrary<TClaim>;
     /** Pre-constructed claim-citation library instance. */
@@ -43,7 +43,7 @@ export type TPropositCoreOptions<TArg extends TCoreArgument = TCoreArgument, TPr
  * claims with `type: "citation"`. As of v0.12.0 a parallel `axioms` library
  * holds axiomatic-claim connections (a third claim type `"axiomatic"`).
  */
-export declare class PropositCore<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TClaim extends TCoreClaim = TCoreClaim, TCitation extends TCoreClaimCitation = TCoreClaimCitation, TAxiom extends TCoreClaimAxiom = TCoreClaimAxiom, TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord, TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord, TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord, TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord, TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord> {
+export declare class PropositCore<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TClaim extends TCoreClaim = TCoreClaim, TCitation extends TCoreClaimConnection = TCoreClaimConnection, TAxiom extends TCoreClaimConnection = TCoreClaimConnection, TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord, TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord, TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord, TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord, TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord> {
     readonly claims: ClaimLibrary<TClaim>;
     readonly citations: ClaimCitationLibrary<TCitation>;
     readonly axioms: ClaimAxiomLibrary<TAxiom>;
@@ -65,7 +65,7 @@ export declare class PropositCore<TArg extends TCoreArgument = TCoreArgument, TP
      * @param config - Optional shared configuration for the restored instance.
      * @returns A fully restored `PropositCore` instance.
      */
-    static fromSnapshot<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TClaim extends TCoreClaim = TCoreClaim, TCitation extends TCoreClaimCitation = TCoreClaimCitation, TAxiom extends TCoreClaimAxiom = TCoreClaimAxiom, TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord, TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord, TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord, TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord, TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord>(snapshot: TPropositCoreSnapshot<TArg, TPremise, TExpr, TVar, TClaim, TCitation, TAxiom, TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>, config?: TPropositCoreConfig): PropositCore<TArg, TPremise, TExpr, TVar, TClaim, TCitation, TAxiom, TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>;
+    static fromSnapshot<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TClaim extends TCoreClaim = TCoreClaim, TCitation extends TCoreClaimConnection = TCoreClaimConnection, TAxiom extends TCoreClaimConnection = TCoreClaimConnection, TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord, TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord, TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord, TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord, TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord>(snapshot: TPropositCoreSnapshot<TArg, TPremise, TExpr, TVar, TClaim, TCitation, TAxiom, TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>, config?: TPropositCoreConfig): PropositCore<TArg, TPremise, TExpr, TVar, TClaim, TCitation, TAxiom, TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>;
     /**
      * Runs invariant validation across all managed libraries and merges
      * the results.

package/dist/lib/core/proposit-core.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"proposit-core.d.ts","sourceRoot":"","sources":["../../../src/lib/core/proposit-core.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EAEZ,4BAA4B,EAC5B,0BAA0B,EAC1B,eAAe,EAClB,MAAM,sBAAsB,CAAA;AAC7B,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAA;AACtD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAA;AACvE,OAAO,KAAK,EACR,uBAAuB,EACvB,sBAAsB,EACtB,yBAAyB,EACzB,uBAAuB,EACvB,oBAAoB,EACvB,MAAM,qBAAqB,CAAA;AAC5B,OAAO,KAAK,EACR,qBAAqB,EACrB,mBAAmB,EACtB,MAAM,oCAAoC,CAAA;AAC3C,OAAO,KAAK,EACR,0BAA0B,EAE7B,MAAM,wBAAwB,CAAA;AAK/B,OAAO,KAAK,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAA;AAC7E,OAAO,KAAK,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AAE3E,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACjD,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAA;AAClE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAA;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EAAE,cAAc,EAAqB,MAAM,sBAAsB,CAAA;AACxE,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAK/C;;;;;GAKG;AACH,MAAM,MAAM,oBAAoB,CAC5B,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,kBAAkB,GAAG,kBAAkB,EACzD,MAAM,SAAS,eAAe,GAAG,eAAe,EAChD,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB,IAC9D,mBAAmB,GAAG;IACtB,8CAA8C;IAC9C,YAAY,CAAC,EAAE,YAAY,CAAC,MAAM,CAAC,CAAA;IACnC,uDAAuD;IACvD,oBAAoB,CAAC,EAAE,oBAAoB,CAAC,SAAS,CAAC,CAAA;IACtD,oDAAoD;IACpD,iBAAiB,CAAC,EAAE,iBAAiB,CAAC,MAAM,CAAC,CAAA;IAC7C,6CAA6C;IAC7C,WAAW,CAAC,EAAE,WAAW,CACrB,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb,CAAA;IACD,iDAAiD;IACjD,eAAe,CAAC,EAAE,eAAe,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAA;CACzE,CAAA;AAED;;;;;;;;;;;;GAYG;AACH,qBAAa,YAAY,CACrB,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,kBAAkB,GAAG,kBAAkB,EACzD,MAAM,SAAS,eAAe,GAAG,eAAe,EAChD,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB;IAE9D,SAAgB,MAAM,EAAE,YAAY,CAAC,MAAM,CAAC,CAAA;IAC5C,SAAgB,SAAS,EAAE,oBAAoB,CAAC,SAAS,CAAC,CAAA;IAC1D,SAAgB,MAAM,EAAE,iBAAiB,CAAC,MAAM,CAAC,CAAA;IACjD,SAAgB,KAAK,EAAE,WAAW,CAC9B,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb,CAAA;IACD,SAAgB,SAAS,EAAE,eAAe,CACtC,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,MAAM,CACT,CAAA;IACD,SAAS,CAAC,UAAU,EAAE,MAAM,MAAM,CAAA;gBAG9B,OAAO,CAAC,EAAE,oBAAoB,CAC1B,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,MAAM,EACN,SAAS,EACT,MAAM,EACN,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb;IA6CL;;;OAGG;IACI,QAAQ,IAAI,qBAAqB,CACpC,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,MAAM,EACN,SAAS,EACT,MAAM,EACN,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb;IAUD;;;;;;;;OAQG;WACW,YAAY,CACtB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GACtC,4BAA4B,EAChC,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,SAAS,SAAS,kBAAkB,GAAG,kBAAkB,EACzD,MAAM,SAAS,eAAe,GAAG,eAAe,EAChD,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB,EAE9D,QAAQ,EAAE,qBAAqB,CAC3B,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,MAAM,EACN,SAAS,EACT,MAAM,EACN,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb,EACD,MAAM,CAAC,EAAE,mBAAmB,GAC7B,YAAY,CACX,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,MAAM,EACN,SAAS,EACT,MAAM,EACN,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb;IAkGD;;;;;OAKG;IACI,QAAQ,IAAI,0BAA0B;IAW7C;;;;;;;;;;OAUG;IACI,YAAY,CACf,UAAU,EAAE,MAAM,EAClB,aAAa,CAAC,EAAE,MAAM,EACtB,OAAO,CAAC,EAAE,oBAAoB,GAAG;QAC7B,MAAM,CAAC,EAAE,MAAM,CAAA;QACf,kBAAkB,CAAC,EAAE,OAAO,CACxB,IAAI,CAAC,QAAQ,EAAE,MAAM,uBAAuB,CAAC,CAChD,CAAA;QACD,iBAAiB,CAAC,EAAE,OAAO,CACvB,IAAI,CAAC,YAAY,EAAE,MAAM,sBAAsB,CAAC,CACnD,CAAA;QACD,oBAAoB,CAAC,EAAE,OAAO,CAC1B,IAAI,CAAC,SAAS,EAAE,MAAM,yBAAyB,CAAC,CACnD,CAAA;QACD,kBAAkB,CAAC,EAAE,OAAO,CACxB,IAAI,CAAC,QAAQ,EAAE,MAAM,uBAAuB,CAAC,CAChD,CAAA;QACD,eAAe,CAAC,EAAE,OAAO,CACrB,IAAI,CAAC,UAAU,EAAE,MAAM,oBAAoB,CAAC,CAC/C,CAAA;KACJ,GACF;QACC,MAAM,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAA;QAC3D,UAAU,EAAE,eAAe,CAAA;QAC3B,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;QAC/B,YAAY,EAAE,QAAQ,CAAA;KACzB;IA+QD;;;;;;;;;;;OAWG;IACI,aAAa,CAChB,WAAW,EAAE,MAAM,EACnB,WAAW,EAAE,MAAM,EACnB,OAAO,CAAC,EAAE,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,GACxD,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC;CAiCpD"}
+{"version":3,"file":"proposit-core.d.ts","sourceRoot":"","sources":["../../../src/lib/core/proposit-core.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EAEZ,4BAA4B,EAC5B,0BAA0B,EAC7B,MAAM,sBAAsB,CAAA;AAC7B,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAA;AACtD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,iCAAiC,CAAA;AAC3E,OAAO,KAAK,EACR,uBAAuB,EACvB,sBAAsB,EACtB,yBAAyB,EACzB,uBAAuB,EACvB,oBAAoB,EACvB,MAAM,qBAAqB,CAAA;AAC5B,OAAO,KAAK,EACR,qBAAqB,EACrB,mBAAmB,EACtB,MAAM,oCAAoC,CAAA;AAC3C,OAAO,KAAK,EACR,0BAA0B,EAE7B,MAAM,wBAAwB,CAAA;AAK/B,OAAO,KAAK,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAA;AAC7E,OAAO,KAAK,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AAE3E,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACjD,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAA;AAClE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAA;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EAAE,cAAc,EAAqB,MAAM,sBAAsB,CAAA;AACxE,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAK/C;;;;;GAKG;AACH,MAAM,MAAM,oBAAoB,CAC5B,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,EAC1D,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB,IAC9D,mBAAmB,GAAG;IACtB,8CAA8C;IAC9C,YAAY,CAAC,EAAE,YAAY,CAAC,MAAM,CAAC,CAAA;IACnC,uDAAuD;IACvD,oBAAoB,CAAC,EAAE,oBAAoB,CAAC,SAAS,CAAC,CAAA;IACtD,oDAAoD;IACpD,iBAAiB,CAAC,EAAE,iBAAiB,CAAC,MAAM,CAAC,CAAA;IAC7C,6CAA6C;IAC7C,WAAW,CAAC,EAAE,WAAW,CACrB,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb,CAAA;IACD,iDAAiD;IACjD,eAAe,CAAC,EAAE,eAAe,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAA;CACzE,CAAA;AAED;;;;;;;;;;;;GAYG;AACH,qBAAa,YAAY,CACrB,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,EAC1D,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB;IAE9D,SAAgB,MAAM,EAAE,YAAY,CAAC,MAAM,CAAC,CAAA;IAC5C,SAAgB,SAAS,EAAE,oBAAoB,CAAC,SAAS,CAAC,CAAA;IAC1D,SAAgB,MAAM,EAAE,iBAAiB,CAAC,MAAM,CAAC,CAAA;IACjD,SAAgB,KAAK,EAAE,WAAW,CAC9B,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb,CAAA;IACD,SAAgB,SAAS,EAAE,eAAe,CACtC,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,MAAM,CACT,CAAA;IACD,SAAS,CAAC,UAAU,EAAE,MAAM,MAAM,CAAA;gBAG9B,OAAO,CAAC,EAAE,oBAAoB,CAC1B,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,MAAM,EACN,SAAS,EACT,MAAM,EACN,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb;IA6CL;;;OAGG;IACI,QAAQ,IAAI,qBAAqB,CACpC,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,MAAM,EACN,SAAS,EACT,MAAM,EACN,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb;IAUD;;;;;;;;OAQG;WACW,YAAY,CACtB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GACtC,4BAA4B,EAChC,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,SAAS,SAAS,oBAAoB,GAAG,oBAAoB,EAC7D,MAAM,SAAS,oBAAoB,GAAG,oBAAoB,EAC1D,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB,EAE9D,QAAQ,EAAE,qBAAqB,CAC3B,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,MAAM,EACN,SAAS,EACT,MAAM,EACN,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb,EACD,MAAM,CAAC,EAAE,mBAAmB,GAC7B,YAAY,CACX,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,MAAM,EACN,SAAS,EACT,MAAM,EACN,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb;IAkGD;;;;;OAKG;IACI,QAAQ,IAAI,0BAA0B;IAW7C;;;;;;;;;;OAUG;IACI,YAAY,CACf,UAAU,EAAE,MAAM,EAClB,aAAa,CAAC,EAAE,MAAM,EACtB,OAAO,CAAC,EAAE,oBAAoB,GAAG;QAC7B,MAAM,CAAC,EAAE,MAAM,CAAA;QACf,kBAAkB,CAAC,EAAE,OAAO,CACxB,IAAI,CAAC,QAAQ,EAAE,MAAM,uBAAuB,CAAC,CAChD,CAAA;QACD,iBAAiB,CAAC,EAAE,OAAO,CACvB,IAAI,CAAC,YAAY,EAAE,MAAM,sBAAsB,CAAC,CACnD,CAAA;QACD,oBAAoB,CAAC,EAAE,OAAO,CAC1B,IAAI,CAAC,SAAS,EAAE,MAAM,yBAAyB,CAAC,CACnD,CAAA;QACD,kBAAkB,CAAC,EAAE,OAAO,CACxB,IAAI,CAAC,QAAQ,EAAE,MAAM,uBAAuB,CAAC,CAChD,CAAA;QACD,eAAe,CAAC,EAAE,OAAO,CACrB,IAAI,CAAC,UAAU,EAAE,MAAM,oBAAoB,CAAC,CAC/C,CAAA;KACJ,GACF;QACC,MAAM,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAA;QAC3D,UAAU,EAAE,eAAe,CAAA;QAC3B,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;QAC/B,YAAY,EAAE,QAAQ,CAAA;KACzB;IA+QD;;;;;;;;;;;OAWG;IACI,aAAa,CAChB,WAAW,EAAE,MAAM,EACnB,WAAW,EAAE,MAAM,EACnB,OAAO,CAAC,EAAE,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,GACxD,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC;CAiCpD"}