@proposit/proposit-core 0.9.0 → 0.10.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (153) hide show
  1. package/README.md +59 -26
  2. package/dist/cli/commands/arguments.d.ts.map +1 -1
  3. package/dist/cli/commands/arguments.js +8 -16
  4. package/dist/cli/commands/arguments.js.map +1 -1
  5. package/dist/cli/commands/citations.d.ts +3 -0
  6. package/dist/cli/commands/citations.d.ts.map +1 -0
  7. package/dist/cli/commands/citations.js +89 -0
  8. package/dist/cli/commands/citations.js.map +1 -0
  9. package/dist/cli/commands/claims.d.ts.map +1 -1
  10. package/dist/cli/commands/claims.js +10 -2
  11. package/dist/cli/commands/claims.js.map +1 -1
  12. package/dist/cli/commands/parse.d.ts.map +1 -1
  13. package/dist/cli/commands/parse.js +9 -17
  14. package/dist/cli/commands/parse.js.map +1 -1
  15. package/dist/cli/commands/render.d.ts.map +1 -1
  16. package/dist/cli/commands/render.js +44 -18
  17. package/dist/cli/commands/render.js.map +1 -1
  18. package/dist/cli/commands/variables.d.ts.map +1 -1
  19. package/dist/cli/commands/variables.js +1 -0
  20. package/dist/cli/commands/variables.js.map +1 -1
  21. package/dist/cli/engine.d.ts.map +1 -1
  22. package/dist/cli/engine.js +12 -9
  23. package/dist/cli/engine.js.map +1 -1
  24. package/dist/cli/import.d.ts +2 -4
  25. package/dist/cli/import.d.ts.map +1 -1
  26. package/dist/cli/import.js +8 -7
  27. package/dist/cli/import.js.map +1 -1
  28. package/dist/cli/router.js +1 -1
  29. package/dist/cli/router.js.map +1 -1
  30. package/dist/cli/storage/libraries.d.ts +4 -7
  31. package/dist/cli/storage/libraries.d.ts.map +1 -1
  32. package/dist/cli/storage/libraries.js +9 -28
  33. package/dist/cli/storage/libraries.js.map +1 -1
  34. package/dist/cli/storage/migrate-v0.10.d.ts +10 -0
  35. package/dist/cli/storage/migrate-v0.10.d.ts.map +1 -0
  36. package/dist/cli/storage/migrate-v0.10.js +213 -0
  37. package/dist/cli/storage/migrate-v0.10.js.map +1 -0
  38. package/dist/cli.js +2 -2
  39. package/dist/cli.js.map +1 -1
  40. package/dist/extensions/basics/argument-parser.d.ts +1 -2
  41. package/dist/extensions/basics/argument-parser.d.ts.map +1 -1
  42. package/dist/extensions/basics/argument-parser.js.map +1 -1
  43. package/dist/extensions/basics/schemata.d.ts +1 -0
  44. package/dist/extensions/basics/schemata.d.ts.map +1 -1
  45. package/dist/extensions/ieee/{source.d.ts → citation-claim.d.ts} +5 -3
  46. package/dist/extensions/ieee/citation-claim.d.ts.map +1 -0
  47. package/dist/extensions/ieee/{source.js → citation-claim.js} +5 -4
  48. package/dist/extensions/ieee/citation-claim.js.map +1 -0
  49. package/dist/extensions/ieee/index.d.ts +1 -1
  50. package/dist/extensions/ieee/index.d.ts.map +1 -1
  51. package/dist/extensions/ieee/index.js +1 -1
  52. package/dist/extensions/ieee/index.js.map +1 -1
  53. package/dist/lib/consts.d.ts.map +1 -1
  54. package/dist/lib/consts.js +9 -13
  55. package/dist/lib/consts.js.map +1 -1
  56. package/dist/lib/core/argument-engine.d.ts +8 -8
  57. package/dist/lib/core/argument-engine.d.ts.map +1 -1
  58. package/dist/lib/core/argument-engine.js +7 -9
  59. package/dist/lib/core/argument-engine.js.map +1 -1
  60. package/dist/lib/core/argument-library.d.ts +13 -15
  61. package/dist/lib/core/argument-library.d.ts.map +1 -1
  62. package/dist/lib/core/argument-library.js +23 -9
  63. package/dist/lib/core/argument-library.js.map +1 -1
  64. package/dist/lib/core/claim-citation-library.d.ts +44 -0
  65. package/dist/lib/core/claim-citation-library.d.ts.map +1 -0
  66. package/dist/lib/core/claim-citation-library.js +336 -0
  67. package/dist/lib/core/claim-citation-library.js.map +1 -0
  68. package/dist/lib/core/claim-library.d.ts +33 -1
  69. package/dist/lib/core/claim-library.d.ts.map +1 -1
  70. package/dist/lib/core/claim-library.js +71 -3
  71. package/dist/lib/core/claim-library.js.map +1 -1
  72. package/dist/lib/core/fork-library.d.ts +19 -10
  73. package/dist/lib/core/fork-library.d.ts.map +1 -1
  74. package/dist/lib/core/fork-library.js +16 -13
  75. package/dist/lib/core/fork-library.js.map +1 -1
  76. package/dist/lib/core/fork.d.ts +6 -7
  77. package/dist/lib/core/fork.d.ts.map +1 -1
  78. package/dist/lib/core/fork.js +8 -3
  79. package/dist/lib/core/fork.js.map +1 -1
  80. package/dist/lib/core/interfaces/index.d.ts +1 -1
  81. package/dist/lib/core/interfaces/index.d.ts.map +1 -1
  82. package/dist/lib/core/interfaces/library.interfaces.d.ts +66 -160
  83. package/dist/lib/core/interfaces/library.interfaces.d.ts.map +1 -1
  84. package/dist/lib/core/proposit-core.d.ts +30 -32
  85. package/dist/lib/core/proposit-core.d.ts.map +1 -1
  86. package/dist/lib/core/proposit-core.js +68 -89
  87. package/dist/lib/core/proposit-core.js.map +1 -1
  88. package/dist/lib/index.d.ts +2 -3
  89. package/dist/lib/index.d.ts.map +1 -1
  90. package/dist/lib/index.js +2 -3
  91. package/dist/lib/index.js.map +1 -1
  92. package/dist/lib/parsing/argument-parser.d.ts +9 -12
  93. package/dist/lib/parsing/argument-parser.d.ts.map +1 -1
  94. package/dist/lib/parsing/argument-parser.js +27 -45
  95. package/dist/lib/parsing/argument-parser.js.map +1 -1
  96. package/dist/lib/parsing/index.d.ts +2 -2
  97. package/dist/lib/parsing/index.d.ts.map +1 -1
  98. package/dist/lib/parsing/index.js +1 -1
  99. package/dist/lib/parsing/index.js.map +1 -1
  100. package/dist/lib/parsing/prompt-builder.d.ts.map +1 -1
  101. package/dist/lib/parsing/prompt-builder.js +31 -24
  102. package/dist/lib/parsing/prompt-builder.js.map +1 -1
  103. package/dist/lib/parsing/schemata.d.ts +7 -19
  104. package/dist/lib/parsing/schemata.d.ts.map +1 -1
  105. package/dist/lib/parsing/schemata.js +7 -14
  106. package/dist/lib/parsing/schemata.js.map +1 -1
  107. package/dist/lib/parsing/types.d.ts +1 -2
  108. package/dist/lib/parsing/types.d.ts.map +1 -1
  109. package/dist/lib/schemata/claim-citation.d.ts +11 -0
  110. package/dist/lib/schemata/claim-citation.d.ts.map +1 -0
  111. package/dist/lib/schemata/claim-citation.js +25 -0
  112. package/dist/lib/schemata/claim-citation.js.map +1 -0
  113. package/dist/lib/schemata/claim.d.ts +1 -0
  114. package/dist/lib/schemata/claim.d.ts.map +1 -1
  115. package/dist/lib/schemata/claim.js +3 -0
  116. package/dist/lib/schemata/claim.js.map +1 -1
  117. package/dist/lib/schemata/fork.d.ts +0 -11
  118. package/dist/lib/schemata/fork.d.ts.map +1 -1
  119. package/dist/lib/schemata/fork.js +0 -10
  120. package/dist/lib/schemata/fork.js.map +1 -1
  121. package/dist/lib/schemata/index.d.ts +1 -1
  122. package/dist/lib/schemata/index.d.ts.map +1 -1
  123. package/dist/lib/schemata/index.js +1 -1
  124. package/dist/lib/schemata/index.js.map +1 -1
  125. package/dist/lib/types/checksum.d.ts +3 -5
  126. package/dist/lib/types/checksum.d.ts.map +1 -1
  127. package/dist/lib/types/validation.d.ts +9 -7
  128. package/dist/lib/types/validation.d.ts.map +1 -1
  129. package/dist/lib/types/validation.js +10 -8
  130. package/dist/lib/types/validation.js.map +1 -1
  131. package/dist/lib/utils/lookup.d.ts +7 -15
  132. package/dist/lib/utils/lookup.d.ts.map +1 -1
  133. package/dist/lib/utils/lookup.js +8 -18
  134. package/dist/lib/utils/lookup.js.map +1 -1
  135. package/package.json +7 -4
  136. package/dist/cli/commands/sources.d.ts +0 -3
  137. package/dist/cli/commands/sources.d.ts.map +0 -1
  138. package/dist/cli/commands/sources.js +0 -103
  139. package/dist/cli/commands/sources.js.map +0 -1
  140. package/dist/extensions/ieee/source.d.ts.map +0 -1
  141. package/dist/extensions/ieee/source.js.map +0 -1
  142. package/dist/lib/core/claim-source-library.d.ts +0 -32
  143. package/dist/lib/core/claim-source-library.d.ts.map +0 -1
  144. package/dist/lib/core/claim-source-library.js +0 -193
  145. package/dist/lib/core/claim-source-library.js.map +0 -1
  146. package/dist/lib/core/source-library.d.ts +0 -23
  147. package/dist/lib/core/source-library.d.ts.map +0 -1
  148. package/dist/lib/core/source-library.js +0 -21
  149. package/dist/lib/core/source-library.js.map +0 -1
  150. package/dist/lib/schemata/source.d.ts +0 -18
  151. package/dist/lib/schemata/source.d.ts.map +0 -1
  152. package/dist/lib/schemata/source.js +0 -35
  153. package/dist/lib/schemata/source.js.map +0 -1
@@ -1 +1 @@
1
- {"version":3,"file":"claim.d.ts","sourceRoot":"","sources":["../../../src/lib/schemata/claim.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAG3C,eAAO,MAAM,eAAe;;;;;EAmB3B,CAAA;AACD,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,eAAe,CAAC,CAAA"}
1
+ {"version":3,"file":"claim.d.ts","sourceRoot":"","sources":["../../../src/lib/schemata/claim.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAG3C,eAAO,MAAM,eAAe;;;;;;EAuB3B,CAAA;AACD,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,eAAe,CAAC,CAAA"}
@@ -11,6 +11,9 @@ export const CoreClaimSchema = Type.Object({
11
11
  checksum: Type.String({
12
12
  description: "Entity-level checksum for sync detection.",
13
13
  }),
14
+ type: Type.Union([Type.Literal("normal"), Type.Literal("citation")], {
15
+ description: "Distinguishes a primary-reasoning claim ('normal') from a cited external-content claim ('citation'). Immutable post-creation.",
16
+ }),
14
17
  }, {
15
18
  additionalProperties: true,
16
19
  description: "A global claim representing propositional content. Variables reference claims by ID and version.",
@@ -1 +1 @@
1
- {"version":3,"file":"claim.js","sourceRoot":"","sources":["../../../src/lib/schemata/claim.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,MAAM,aAAa,CAAA;AAElC,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,CAAC,MAAM,CACtC;IACI,EAAE,EAAE,IAAI;IACR,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC;QACjB,WAAW,EAAE,oCAAoC;KACpD,CAAC;IACF,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC;QACjB,WAAW,EACP,gFAAgF;KACvF,CAAC;IACF,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,WAAW,EAAE,2CAA2C;KAC3D,CAAC;CACL,EACD;IACI,oBAAoB,EAAE,IAAI;IAC1B,WAAW,EACP,kGAAkG;CACzG,CACJ,CAAA"}
1
+ {"version":3,"file":"claim.js","sourceRoot":"","sources":["../../../src/lib/schemata/claim.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,MAAM,aAAa,CAAA;AAElC,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,CAAC,MAAM,CACtC;IACI,EAAE,EAAE,IAAI;IACR,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC;QACjB,WAAW,EAAE,oCAAoC;KACpD,CAAC;IACF,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC;QACjB,WAAW,EACP,gFAAgF;KACvF,CAAC;IACF,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,WAAW,EAAE,2CAA2C;KAC3D,CAAC;IACF,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,EAAE;QACjE,WAAW,EACP,+HAA+H;KACtI,CAAC;CACL,EACD;IACI,oBAAoB,EAAE,IAAI;IAC1B,WAAW,EACP,kGAAkG;CACzG,CACJ,CAAA"}
@@ -62,15 +62,4 @@ export declare const CoreClaimForkRecordSchema: Type.TIntersect<[Type.TObject<{
62
62
  forkedFromEntityVersion: Type.TNumber;
63
63
  }>]>;
64
64
  export type TCoreClaimForkRecord = Static<typeof CoreClaimForkRecordSchema>;
65
- /** Source fork record. Adds version tracking for independently versioned sources. */
66
- export declare const CoreSourceForkRecordSchema: Type.TIntersect<[Type.TObject<{
67
- entityId: Type.TString;
68
- forkedFromEntityId: Type.TString;
69
- forkedFromArgumentId: Type.TString;
70
- forkedFromArgumentVersion: Type.TNumber;
71
- forkId: Type.TString;
72
- }>, Type.TObject<{
73
- forkedFromEntityVersion: Type.TNumber;
74
- }>]>;
75
- export type TCoreSourceForkRecord = Static<typeof CoreSourceForkRecordSchema>;
76
65
  //# sourceMappingURL=fork.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"fork.d.ts","sourceRoot":"","sources":["../../../src/lib/schemata/fork.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAO3C;;;;;GAKG;AACH,eAAO,MAAM,0BAA0B;;;;;;EAYtC,CAAA;AAED,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAA;AAE7E,+CAA+C;AAC/C,eAAO,MAAM,4BAA4B;;;;;;EAA6B,CAAA;AACtE,MAAM,MAAM,uBAAuB,GAAG,qBAAqB,CAAA;AAE3D,8CAA8C;AAC9C,eAAO,MAAM,2BAA2B;;;;;;EAA6B,CAAA;AACrE,MAAM,MAAM,sBAAsB,GAAG,qBAAqB,CAAA;AAE1D,6DAA6D;AAC7D,eAAO,MAAM,8BAA8B;;;;;;;;IAQ1C,CAAA;AACD,MAAM,MAAM,yBAAyB,GAAG,MAAM,CAC1C,OAAO,8BAA8B,CACxC,CAAA;AAED,+CAA+C;AAC/C,eAAO,MAAM,4BAA4B;;;;;;EAA6B,CAAA;AACtE,MAAM,MAAM,uBAAuB,GAAG,qBAAqB,CAAA;AAE3D,mFAAmF;AACnF,eAAO,MAAM,yBAAyB;;;;;;;;IAWrC,CAAA;AACD,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,yBAAyB,CAAC,CAAA;AAE3E,qFAAqF;AACrF,eAAO,MAAM,0BAA0B;;;;;;;;IAWtC,CAAA;AACD,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAA"}
1
+ {"version":3,"file":"fork.d.ts","sourceRoot":"","sources":["../../../src/lib/schemata/fork.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAO3C;;;;;GAKG;AACH,eAAO,MAAM,0BAA0B;;;;;;EAYtC,CAAA;AAED,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAA;AAE7E,+CAA+C;AAC/C,eAAO,MAAM,4BAA4B;;;;;;EAA6B,CAAA;AACtE,MAAM,MAAM,uBAAuB,GAAG,qBAAqB,CAAA;AAE3D,8CAA8C;AAC9C,eAAO,MAAM,2BAA2B;;;;;;EAA6B,CAAA;AACrE,MAAM,MAAM,sBAAsB,GAAG,qBAAqB,CAAA;AAE1D,6DAA6D;AAC7D,eAAO,MAAM,8BAA8B;;;;;;;;IAQ1C,CAAA;AACD,MAAM,MAAM,yBAAyB,GAAG,MAAM,CAC1C,OAAO,8BAA8B,CACxC,CAAA;AAED,+CAA+C;AAC/C,eAAO,MAAM,4BAA4B;;;;;;EAA6B,CAAA;AACtE,MAAM,MAAM,uBAAuB,GAAG,qBAAqB,CAAA;AAE3D,mFAAmF;AACnF,eAAO,MAAM,yBAAyB;;;;;;;;IAWrC,CAAA;AACD,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,yBAAyB,CAAC,CAAA"}
@@ -42,14 +42,4 @@ export const CoreClaimForkRecordSchema = Type.Intersect([
42
42
  }),
43
43
  }),
44
44
  ], { additionalProperties: true });
45
- /** Source fork record. Adds version tracking for independently versioned sources. */
46
- export const CoreSourceForkRecordSchema = Type.Intersect([
47
- CoreEntityForkRecordSchema,
48
- Type.Object({
49
- forkedFromEntityVersion: Type.Number({
50
- minimum: 0,
51
- description: "Source version that was cloned",
52
- }),
53
- }),
54
- ], { additionalProperties: true });
55
45
  //# sourceMappingURL=fork.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"fork.js","sourceRoot":"","sources":["../../../src/lib/schemata/fork.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,MAAM,aAAa,CAAA;AAElC,8EAA8E;AAC9E,iCAAiC;AACjC,8EAA8E;AAE9E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,MAAM,CACjD;IACI,QAAQ,EAAE,IAAI;IACd,kBAAkB,EAAE,IAAI;IACxB,oBAAoB,EAAE,IAAI;IAC1B,yBAAyB,EAAE,IAAI,CAAC,MAAM,CAAC;QACnC,OAAO,EAAE,CAAC;QACV,WAAW,EAAE,+CAA+C;KAC/D,CAAC;IACF,MAAM,EAAE,IAAI;CACf,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC,CAAA;AAID,+CAA+C;AAC/C,MAAM,CAAC,MAAM,4BAA4B,GAAG,0BAA0B,CAAA;AAGtE,8CAA8C;AAC9C,MAAM,CAAC,MAAM,2BAA2B,GAAG,0BAA0B,CAAA;AAGrE,6DAA6D;AAC7D,MAAM,CAAC,MAAM,8BAA8B,GAAG,IAAI,CAAC,SAAS,CACxD;IACI,0BAA0B;IAC1B,IAAI,CAAC,MAAM,CAAC;QACR,mBAAmB,EAAE,IAAI;KAC5B,CAAC;CACL,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC,CAAA;AAKD,+CAA+C;AAC/C,MAAM,CAAC,MAAM,4BAA4B,GAAG,0BAA0B,CAAA;AAGtE,mFAAmF;AACnF,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC,SAAS,CACnD;IACI,0BAA0B;IAC1B,IAAI,CAAC,MAAM,CAAC;QACR,uBAAuB,EAAE,IAAI,CAAC,MAAM,CAAC;YACjC,OAAO,EAAE,CAAC;YACV,WAAW,EAAE,+BAA+B;SAC/C,CAAC;KACL,CAAC;CACL,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC,CAAA;AAGD,qFAAqF;AACrF,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,SAAS,CACpD;IACI,0BAA0B;IAC1B,IAAI,CAAC,MAAM,CAAC;QACR,uBAAuB,EAAE,IAAI,CAAC,MAAM,CAAC;YACjC,OAAO,EAAE,CAAC;YACV,WAAW,EAAE,gCAAgC;SAChD,CAAC;KACL,CAAC;CACL,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC,CAAA"}
1
+ {"version":3,"file":"fork.js","sourceRoot":"","sources":["../../../src/lib/schemata/fork.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,MAAM,aAAa,CAAA;AAElC,8EAA8E;AAC9E,iCAAiC;AACjC,8EAA8E;AAE9E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,MAAM,CACjD;IACI,QAAQ,EAAE,IAAI;IACd,kBAAkB,EAAE,IAAI;IACxB,oBAAoB,EAAE,IAAI;IAC1B,yBAAyB,EAAE,IAAI,CAAC,MAAM,CAAC;QACnC,OAAO,EAAE,CAAC;QACV,WAAW,EAAE,+CAA+C;KAC/D,CAAC;IACF,MAAM,EAAE,IAAI;CACf,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC,CAAA;AAID,+CAA+C;AAC/C,MAAM,CAAC,MAAM,4BAA4B,GAAG,0BAA0B,CAAA;AAGtE,8CAA8C;AAC9C,MAAM,CAAC,MAAM,2BAA2B,GAAG,0BAA0B,CAAA;AAGrE,6DAA6D;AAC7D,MAAM,CAAC,MAAM,8BAA8B,GAAG,IAAI,CAAC,SAAS,CACxD;IACI,0BAA0B;IAC1B,IAAI,CAAC,MAAM,CAAC;QACR,mBAAmB,EAAE,IAAI;KAC5B,CAAC;CACL,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC,CAAA;AAKD,+CAA+C;AAC/C,MAAM,CAAC,MAAM,4BAA4B,GAAG,0BAA0B,CAAA;AAGtE,mFAAmF;AACnF,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC,SAAS,CACnD;IACI,0BAA0B;IAC1B,IAAI,CAAC,MAAM,CAAC;QACR,uBAAuB,EAAE,IAAI,CAAC,MAAM,CAAC;YACjC,OAAO,EAAE,CAAC;YACV,WAAW,EAAE,+BAA+B;SAC/C,CAAC;KACL,CAAC;CACL,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC,CAAA"}
@@ -1,8 +1,8 @@
1
1
  export * from "./analysis.js";
2
2
  export * from "./argument.js";
3
3
  export * from "./claim.js";
4
+ export * from "./claim-citation.js";
4
5
  export * from "./fork.js";
5
6
  export * from "./propositional.js";
6
7
  export * from "./shared.js";
7
- export * from "./source.js";
8
8
  //# sourceMappingURL=index.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/lib/schemata/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAA;AAC7B,cAAc,eAAe,CAAA;AAC7B,cAAc,YAAY,CAAA;AAC1B,cAAc,WAAW,CAAA;AACzB,cAAc,oBAAoB,CAAA;AAClC,cAAc,aAAa,CAAA;AAC3B,cAAc,aAAa,CAAA"}
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/lib/schemata/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAA;AAC7B,cAAc,eAAe,CAAA;AAC7B,cAAc,YAAY,CAAA;AAC1B,cAAc,qBAAqB,CAAA;AACnC,cAAc,WAAW,CAAA;AACzB,cAAc,oBAAoB,CAAA;AAClC,cAAc,aAAa,CAAA"}
@@ -1,8 +1,8 @@
1
1
  export * from "./analysis.js";
2
2
  export * from "./argument.js";
3
3
  export * from "./claim.js";
4
+ export * from "./claim-citation.js";
4
5
  export * from "./fork.js";
5
6
  export * from "./propositional.js";
6
7
  export * from "./shared.js";
7
- export * from "./source.js";
8
8
  //# sourceMappingURL=index.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/lib/schemata/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAA;AAC7B,cAAc,eAAe,CAAA;AAC7B,cAAc,YAAY,CAAA;AAC1B,cAAc,WAAW,CAAA;AACzB,cAAc,oBAAoB,CAAA;AAClC,cAAc,aAAa,CAAA;AAC3B,cAAc,aAAa,CAAA"}
1
+ {"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/lib/schemata/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAA;AAC7B,cAAc,eAAe,CAAA;AAC7B,cAAc,YAAY,CAAA;AAC1B,cAAc,qBAAqB,CAAA;AACnC,cAAc,WAAW,CAAA;AACzB,cAAc,oBAAoB,CAAA;AAClC,cAAc,aAAa,CAAA"}
@@ -10,11 +10,9 @@ export interface TCoreChecksumConfig {
10
10
  argumentFields?: Set<string>;
11
11
  /** Fields to hash for role state. Defaults to ["conclusionPremiseId"]. */
12
12
  roleFields?: Set<string>;
13
- /** Fields to hash for claim entities. Defaults to ["version"]. */
13
+ /** Fields to hash for claim entities. Defaults to ["version", "type"]. */
14
14
  claimFields?: Set<string>;
15
- /** Fields to hash for source entities. Defaults to ["version"]. */
16
- sourceFields?: Set<string>;
17
- /** Fields to hash for claim-source associations. Defaults to ["claimId", "claimVersion", "sourceId", "sourceVersion"]. */
18
- claimSourceAssociationFields?: Set<string>;
15
+ /** Fields to hash for claim citations. Defaults to ["citingClaimId", "citingClaimVersion", "sourceClaimId", "sourceClaimVersion"]. */
16
+ claimCitationFields?: Set<string>;
19
17
  }
20
18
  //# sourceMappingURL=checksum.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"checksum.d.ts","sourceRoot":"","sources":["../../../src/lib/types/checksum.ts"],"names":[],"mappings":"AAAA,qEAAqE;AACrE,MAAM,WAAW,mBAAmB;IAChC,kGAAkG;IAClG,gBAAgB,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC9B,yFAAyF;IACzF,cAAc,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC5B,0FAA0F;IAC1F,aAAa,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC3B,qEAAqE;IACrE,cAAc,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC5B,0EAA0E;IAC1E,UAAU,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IACxB,kEAAkE;IAClE,WAAW,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IACzB,mEAAmE;IACnE,YAAY,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC1B,0HAA0H;IAC1H,4BAA4B,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;CAC7C"}
1
+ {"version":3,"file":"checksum.d.ts","sourceRoot":"","sources":["../../../src/lib/types/checksum.ts"],"names":[],"mappings":"AAAA,qEAAqE;AACrE,MAAM,WAAW,mBAAmB;IAChC,kGAAkG;IAClG,gBAAgB,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC9B,yFAAyF;IACzF,cAAc,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC5B,0FAA0F;IAC1F,aAAa,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC3B,qEAAqE;IACrE,cAAc,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC5B,0EAA0E;IAC1E,UAAU,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IACxB,0EAA0E;IAC1E,WAAW,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IACzB,sIAAsI;IACtI,mBAAmB,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;CACpC"}
@@ -1,4 +1,4 @@
1
- export type TInvariantViolationEntityType = "expression" | "variable" | "premise" | "argument" | "claim" | "source" | "association" | "fork" | "forkRecord";
1
+ export type TInvariantViolationEntityType = "expression" | "variable" | "premise" | "argument" | "claim" | "citation" | "fork" | "forkRecord";
2
2
  export type TInvariantViolation = {
3
3
  code: string;
4
4
  message: string;
@@ -37,11 +37,13 @@ export declare const ARG_CONCLUSION_NOT_FOUND = "ARG_CONCLUSION_NOT_FOUND";
37
37
  export declare const ARG_CHECKSUM_MISMATCH = "ARG_CHECKSUM_MISMATCH";
38
38
  export declare const CLAIM_SCHEMA_INVALID = "CLAIM_SCHEMA_INVALID";
39
39
  export declare const CLAIM_FROZEN_NO_SUCCESSOR = "CLAIM_FROZEN_NO_SUCCESSOR";
40
- export declare const SOURCE_SCHEMA_INVALID = "SOURCE_SCHEMA_INVALID";
41
- export declare const SOURCE_FROZEN_NO_SUCCESSOR = "SOURCE_FROZEN_NO_SUCCESSOR";
42
- export declare const ASSOC_SCHEMA_INVALID = "ASSOC_SCHEMA_INVALID";
43
- export declare const ASSOC_DUPLICATE_ID = "ASSOC_DUPLICATE_ID";
44
- export declare const ASSOC_CLAIM_REF_NOT_FOUND = "ASSOC_CLAIM_REF_NOT_FOUND";
45
- export declare const ASSOC_SOURCE_REF_NOT_FOUND = "ASSOC_SOURCE_REF_NOT_FOUND";
40
+ export declare const CLAIM_TYPE_IMMUTABLE = "CLAIM_TYPE_IMMUTABLE";
41
+ export declare const LEGACY_CLAIM_MISSING_TYPE = "LEGACY_CLAIM_MISSING_TYPE";
42
+ export declare const CITATION_SCHEMA_INVALID = "CITATION_SCHEMA_INVALID";
43
+ export declare const CITATION_DUPLICATE_ID = "CITATION_DUPLICATE_ID";
44
+ export declare const CITATION_CITING_REF_NOT_FOUND = "CITATION_CITING_REF_NOT_FOUND";
45
+ export declare const CITATION_SOURCE_REF_NOT_FOUND = "CITATION_SOURCE_REF_NOT_FOUND";
46
+ export declare const CITATION_SOURCE_NOT_CITATION_TYPE = "CITATION_SOURCE_NOT_CITATION_TYPE";
47
+ export declare const CITATION_CYCLE_DETECTED = "CITATION_CYCLE_DETECTED";
46
48
  export declare const FORK_RECORD_SCHEMA_INVALID = "FORK_RECORD_SCHEMA_INVALID";
47
49
  //# sourceMappingURL=validation.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"validation.d.ts","sourceRoot":"","sources":["../../../src/lib/types/validation.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,6BAA6B,GACnC,YAAY,GACZ,UAAU,GACV,SAAS,GACT,UAAU,GACV,OAAO,GACP,QAAQ,GACR,aAAa,GACb,MAAM,GACN,YAAY,CAAA;AAElB,MAAM,MAAM,mBAAmB,GAAG;IAC9B,IAAI,EAAE,MAAM,CAAA;IACZ,OAAO,EAAE,MAAM,CAAA;IACf,UAAU,EAAE,6BAA6B,CAAA;IACzC,QAAQ,EAAE,MAAM,CAAA;IAChB,SAAS,CAAC,EAAE,MAAM,CAAA;CACrB,CAAA;AAED,MAAM,MAAM,0BAA0B,GAAG;IACrC,EAAE,EAAE,OAAO,CAAA;IACX,UAAU,EAAE,mBAAmB,EAAE,CAAA;CACpC,CAAA;AAGD,eAAO,MAAM,mBAAmB,wBAAwB,CAAA;AACxD,eAAO,MAAM,iBAAiB,sBAAsB,CAAA;AACpD,eAAO,MAAM,4BAA4B,iCAAiC,CAAA;AAC1E,eAAO,MAAM,qBAAqB,0BAA0B,CAAA;AAC5D,eAAO,MAAM,yBAAyB,8BAA8B,CAAA;AACpE,eAAO,MAAM,uBAAuB,4BAA4B,CAAA;AAChE,eAAO,MAAM,uCAAuC,4CACP,CAAA;AAC7C,eAAO,MAAM,yBAAyB,8BAA8B,CAAA;AACpE,eAAO,MAAM,uBAAuB,4BAA4B,CAAA;AAChE,eAAO,MAAM,sBAAsB,2BAA2B,CAAA;AAG9D,eAAO,MAAM,sBAAsB,2BAA2B,CAAA;AAC9D,eAAO,MAAM,+BAA+B,oCAAoC,CAAA;AAChF,eAAO,MAAM,8BAA8B,mCAAmC,CAAA;AAC9E,eAAO,MAAM,yBAAyB,8BAA8B,CAAA;AAGpE,eAAO,MAAM,kBAAkB,uBAAuB,CAAA;AACtD,eAAO,MAAM,gBAAgB,qBAAqB,CAAA;AAClD,eAAO,MAAM,oBAAoB,yBAAyB,CAAA;AAC1D,eAAO,MAAM,qBAAqB,0BAA0B,CAAA;AAG5D,eAAO,MAAM,kBAAkB,uBAAuB,CAAA;AACtD,eAAO,MAAM,sBAAsB,2BAA2B,CAAA;AAC9D,eAAO,MAAM,uBAAuB,4BAA4B,CAAA;AAChE,eAAO,MAAM,yBAAyB,8BAA8B,CAAA;AACpE,eAAO,MAAM,wBAAwB,6BAA6B,CAAA;AAClE,eAAO,MAAM,wBAAwB,6BAA6B,CAAA;AAClE,eAAO,MAAM,qBAAqB,0BAA0B,CAAA;AAG5D,eAAO,MAAM,oBAAoB,yBAAyB,CAAA;AAC1D,eAAO,MAAM,yBAAyB,8BAA8B,CAAA;AAGpE,eAAO,MAAM,qBAAqB,0BAA0B,CAAA;AAC5D,eAAO,MAAM,0BAA0B,+BAA+B,CAAA;AAGtE,eAAO,MAAM,oBAAoB,yBAAyB,CAAA;AAC1D,eAAO,MAAM,kBAAkB,uBAAuB,CAAA;AACtD,eAAO,MAAM,yBAAyB,8BAA8B,CAAA;AACpE,eAAO,MAAM,0BAA0B,+BAA+B,CAAA;AAGtE,eAAO,MAAM,0BAA0B,+BAA+B,CAAA"}
1
+ {"version":3,"file":"validation.d.ts","sourceRoot":"","sources":["../../../src/lib/types/validation.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,6BAA6B,GACnC,YAAY,GACZ,UAAU,GACV,SAAS,GACT,UAAU,GACV,OAAO,GACP,UAAU,GACV,MAAM,GACN,YAAY,CAAA;AAElB,MAAM,MAAM,mBAAmB,GAAG;IAC9B,IAAI,EAAE,MAAM,CAAA;IACZ,OAAO,EAAE,MAAM,CAAA;IACf,UAAU,EAAE,6BAA6B,CAAA;IACzC,QAAQ,EAAE,MAAM,CAAA;IAChB,SAAS,CAAC,EAAE,MAAM,CAAA;CACrB,CAAA;AAED,MAAM,MAAM,0BAA0B,GAAG;IACrC,EAAE,EAAE,OAAO,CAAA;IACX,UAAU,EAAE,mBAAmB,EAAE,CAAA;CACpC,CAAA;AAGD,eAAO,MAAM,mBAAmB,wBAAwB,CAAA;AACxD,eAAO,MAAM,iBAAiB,sBAAsB,CAAA;AACpD,eAAO,MAAM,4BAA4B,iCAAiC,CAAA;AAC1E,eAAO,MAAM,qBAAqB,0BAA0B,CAAA;AAC5D,eAAO,MAAM,yBAAyB,8BAA8B,CAAA;AACpE,eAAO,MAAM,uBAAuB,4BAA4B,CAAA;AAChE,eAAO,MAAM,uCAAuC,4CACP,CAAA;AAC7C,eAAO,MAAM,yBAAyB,8BAA8B,CAAA;AACpE,eAAO,MAAM,uBAAuB,4BAA4B,CAAA;AAChE,eAAO,MAAM,sBAAsB,2BAA2B,CAAA;AAG9D,eAAO,MAAM,sBAAsB,2BAA2B,CAAA;AAC9D,eAAO,MAAM,+BAA+B,oCAAoC,CAAA;AAChF,eAAO,MAAM,8BAA8B,mCAAmC,CAAA;AAC9E,eAAO,MAAM,yBAAyB,8BAA8B,CAAA;AAGpE,eAAO,MAAM,kBAAkB,uBAAuB,CAAA;AACtD,eAAO,MAAM,gBAAgB,qBAAqB,CAAA;AAClD,eAAO,MAAM,oBAAoB,yBAAyB,CAAA;AAC1D,eAAO,MAAM,qBAAqB,0BAA0B,CAAA;AAG5D,eAAO,MAAM,kBAAkB,uBAAuB,CAAA;AACtD,eAAO,MAAM,sBAAsB,2BAA2B,CAAA;AAC9D,eAAO,MAAM,uBAAuB,4BAA4B,CAAA;AAChE,eAAO,MAAM,yBAAyB,8BAA8B,CAAA;AACpE,eAAO,MAAM,wBAAwB,6BAA6B,CAAA;AAClE,eAAO,MAAM,wBAAwB,6BAA6B,CAAA;AAClE,eAAO,MAAM,qBAAqB,0BAA0B,CAAA;AAG5D,eAAO,MAAM,oBAAoB,yBAAyB,CAAA;AAC1D,eAAO,MAAM,yBAAyB,8BAA8B,CAAA;AAGpE,eAAO,MAAM,oBAAoB,yBAAyB,CAAA;AAC1D,eAAO,MAAM,yBAAyB,8BAA8B,CAAA;AAGpE,eAAO,MAAM,uBAAuB,4BAA4B,CAAA;AAChE,eAAO,MAAM,qBAAqB,0BAA0B,CAAA;AAC5D,eAAO,MAAM,6BAA6B,kCAAkC,CAAA;AAC5E,eAAO,MAAM,6BAA6B,kCAAkC,CAAA;AAC5E,eAAO,MAAM,iCAAiC,sCACP,CAAA;AACvC,eAAO,MAAM,uBAAuB,4BAA4B,CAAA;AAGhE,eAAO,MAAM,0BAA0B,+BAA+B,CAAA"}
@@ -30,14 +30,16 @@ export const ARG_CHECKSUM_MISMATCH = "ARG_CHECKSUM_MISMATCH";
30
30
  // -- ClaimLibrary codes --
31
31
  export const CLAIM_SCHEMA_INVALID = "CLAIM_SCHEMA_INVALID";
32
32
  export const CLAIM_FROZEN_NO_SUCCESSOR = "CLAIM_FROZEN_NO_SUCCESSOR";
33
- // -- SourceLibrary codes --
34
- export const SOURCE_SCHEMA_INVALID = "SOURCE_SCHEMA_INVALID";
35
- export const SOURCE_FROZEN_NO_SUCCESSOR = "SOURCE_FROZEN_NO_SUCCESSOR";
36
- // -- ClaimSourceLibrary codes --
37
- export const ASSOC_SCHEMA_INVALID = "ASSOC_SCHEMA_INVALID";
38
- export const ASSOC_DUPLICATE_ID = "ASSOC_DUPLICATE_ID";
39
- export const ASSOC_CLAIM_REF_NOT_FOUND = "ASSOC_CLAIM_REF_NOT_FOUND";
40
- export const ASSOC_SOURCE_REF_NOT_FOUND = "ASSOC_SOURCE_REF_NOT_FOUND";
33
+ // -- ClaimLibrary type-immutability and legacy codes --
34
+ export const CLAIM_TYPE_IMMUTABLE = "CLAIM_TYPE_IMMUTABLE";
35
+ export const LEGACY_CLAIM_MISSING_TYPE = "LEGACY_CLAIM_MISSING_TYPE";
36
+ // -- ClaimCitationLibrary codes --
37
+ export const CITATION_SCHEMA_INVALID = "CITATION_SCHEMA_INVALID";
38
+ export const CITATION_DUPLICATE_ID = "CITATION_DUPLICATE_ID";
39
+ export const CITATION_CITING_REF_NOT_FOUND = "CITATION_CITING_REF_NOT_FOUND";
40
+ export const CITATION_SOURCE_REF_NOT_FOUND = "CITATION_SOURCE_REF_NOT_FOUND";
41
+ export const CITATION_SOURCE_NOT_CITATION_TYPE = "CITATION_SOURCE_NOT_CITATION_TYPE";
42
+ export const CITATION_CYCLE_DETECTED = "CITATION_CYCLE_DETECTED";
41
43
  // -- ForkNamespace codes --
42
44
  export const FORK_RECORD_SCHEMA_INVALID = "FORK_RECORD_SCHEMA_INVALID";
43
45
  //# sourceMappingURL=validation.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"validation.js","sourceRoot":"","sources":["../../../src/lib/types/validation.ts"],"names":[],"mappings":"AAwBA,+BAA+B;AAC/B,MAAM,CAAC,MAAM,mBAAmB,GAAG,qBAAqB,CAAA;AACxD,MAAM,CAAC,MAAM,iBAAiB,GAAG,mBAAmB,CAAA;AACpD,MAAM,CAAC,MAAM,4BAA4B,GAAG,8BAA8B,CAAA;AAC1E,MAAM,CAAC,MAAM,qBAAqB,GAAG,uBAAuB,CAAA;AAC5D,MAAM,CAAC,MAAM,yBAAyB,GAAG,2BAA2B,CAAA;AACpE,MAAM,CAAC,MAAM,uBAAuB,GAAG,yBAAyB,CAAA;AAChE,MAAM,CAAC,MAAM,uCAAuC,GAChD,yCAAyC,CAAA;AAC7C,MAAM,CAAC,MAAM,yBAAyB,GAAG,2BAA2B,CAAA;AACpE,MAAM,CAAC,MAAM,uBAAuB,GAAG,yBAAyB,CAAA;AAChE,MAAM,CAAC,MAAM,sBAAsB,GAAG,wBAAwB,CAAA;AAE9D,4BAA4B;AAC5B,MAAM,CAAC,MAAM,sBAAsB,GAAG,wBAAwB,CAAA;AAC9D,MAAM,CAAC,MAAM,+BAA+B,GAAG,iCAAiC,CAAA;AAChF,MAAM,CAAC,MAAM,8BAA8B,GAAG,gCAAgC,CAAA;AAC9E,MAAM,CAAC,MAAM,yBAAyB,GAAG,2BAA2B,CAAA;AAEpE,6BAA6B;AAC7B,MAAM,CAAC,MAAM,kBAAkB,GAAG,oBAAoB,CAAA;AACtD,MAAM,CAAC,MAAM,gBAAgB,GAAG,kBAAkB,CAAA;AAClD,MAAM,CAAC,MAAM,oBAAoB,GAAG,sBAAsB,CAAA;AAC1D,MAAM,CAAC,MAAM,qBAAqB,GAAG,uBAAuB,CAAA;AAE5D,6BAA6B;AAC7B,MAAM,CAAC,MAAM,kBAAkB,GAAG,oBAAoB,CAAA;AACtD,MAAM,CAAC,MAAM,sBAAsB,GAAG,wBAAwB,CAAA;AAC9D,MAAM,CAAC,MAAM,uBAAuB,GAAG,yBAAyB,CAAA;AAChE,MAAM,CAAC,MAAM,yBAAyB,GAAG,2BAA2B,CAAA;AACpE,MAAM,CAAC,MAAM,wBAAwB,GAAG,0BAA0B,CAAA;AAClE,MAAM,CAAC,MAAM,wBAAwB,GAAG,0BAA0B,CAAA;AAClE,MAAM,CAAC,MAAM,qBAAqB,GAAG,uBAAuB,CAAA;AAE5D,2BAA2B;AAC3B,MAAM,CAAC,MAAM,oBAAoB,GAAG,sBAAsB,CAAA;AAC1D,MAAM,CAAC,MAAM,yBAAyB,GAAG,2BAA2B,CAAA;AAEpE,4BAA4B;AAC5B,MAAM,CAAC,MAAM,qBAAqB,GAAG,uBAAuB,CAAA;AAC5D,MAAM,CAAC,MAAM,0BAA0B,GAAG,4BAA4B,CAAA;AAEtE,iCAAiC;AACjC,MAAM,CAAC,MAAM,oBAAoB,GAAG,sBAAsB,CAAA;AAC1D,MAAM,CAAC,MAAM,kBAAkB,GAAG,oBAAoB,CAAA;AACtD,MAAM,CAAC,MAAM,yBAAyB,GAAG,2BAA2B,CAAA;AACpE,MAAM,CAAC,MAAM,0BAA0B,GAAG,4BAA4B,CAAA;AAEtE,4BAA4B;AAC5B,MAAM,CAAC,MAAM,0BAA0B,GAAG,4BAA4B,CAAA"}
1
+ {"version":3,"file":"validation.js","sourceRoot":"","sources":["../../../src/lib/types/validation.ts"],"names":[],"mappings":"AAuBA,+BAA+B;AAC/B,MAAM,CAAC,MAAM,mBAAmB,GAAG,qBAAqB,CAAA;AACxD,MAAM,CAAC,MAAM,iBAAiB,GAAG,mBAAmB,CAAA;AACpD,MAAM,CAAC,MAAM,4BAA4B,GAAG,8BAA8B,CAAA;AAC1E,MAAM,CAAC,MAAM,qBAAqB,GAAG,uBAAuB,CAAA;AAC5D,MAAM,CAAC,MAAM,yBAAyB,GAAG,2BAA2B,CAAA;AACpE,MAAM,CAAC,MAAM,uBAAuB,GAAG,yBAAyB,CAAA;AAChE,MAAM,CAAC,MAAM,uCAAuC,GAChD,yCAAyC,CAAA;AAC7C,MAAM,CAAC,MAAM,yBAAyB,GAAG,2BAA2B,CAAA;AACpE,MAAM,CAAC,MAAM,uBAAuB,GAAG,yBAAyB,CAAA;AAChE,MAAM,CAAC,MAAM,sBAAsB,GAAG,wBAAwB,CAAA;AAE9D,4BAA4B;AAC5B,MAAM,CAAC,MAAM,sBAAsB,GAAG,wBAAwB,CAAA;AAC9D,MAAM,CAAC,MAAM,+BAA+B,GAAG,iCAAiC,CAAA;AAChF,MAAM,CAAC,MAAM,8BAA8B,GAAG,gCAAgC,CAAA;AAC9E,MAAM,CAAC,MAAM,yBAAyB,GAAG,2BAA2B,CAAA;AAEpE,6BAA6B;AAC7B,MAAM,CAAC,MAAM,kBAAkB,GAAG,oBAAoB,CAAA;AACtD,MAAM,CAAC,MAAM,gBAAgB,GAAG,kBAAkB,CAAA;AAClD,MAAM,CAAC,MAAM,oBAAoB,GAAG,sBAAsB,CAAA;AAC1D,MAAM,CAAC,MAAM,qBAAqB,GAAG,uBAAuB,CAAA;AAE5D,6BAA6B;AAC7B,MAAM,CAAC,MAAM,kBAAkB,GAAG,oBAAoB,CAAA;AACtD,MAAM,CAAC,MAAM,sBAAsB,GAAG,wBAAwB,CAAA;AAC9D,MAAM,CAAC,MAAM,uBAAuB,GAAG,yBAAyB,CAAA;AAChE,MAAM,CAAC,MAAM,yBAAyB,GAAG,2BAA2B,CAAA;AACpE,MAAM,CAAC,MAAM,wBAAwB,GAAG,0BAA0B,CAAA;AAClE,MAAM,CAAC,MAAM,wBAAwB,GAAG,0BAA0B,CAAA;AAClE,MAAM,CAAC,MAAM,qBAAqB,GAAG,uBAAuB,CAAA;AAE5D,2BAA2B;AAC3B,MAAM,CAAC,MAAM,oBAAoB,GAAG,sBAAsB,CAAA;AAC1D,MAAM,CAAC,MAAM,yBAAyB,GAAG,2BAA2B,CAAA;AAEpE,wDAAwD;AACxD,MAAM,CAAC,MAAM,oBAAoB,GAAG,sBAAsB,CAAA;AAC1D,MAAM,CAAC,MAAM,yBAAyB,GAAG,2BAA2B,CAAA;AAEpE,mCAAmC;AACnC,MAAM,CAAC,MAAM,uBAAuB,GAAG,yBAAyB,CAAA;AAChE,MAAM,CAAC,MAAM,qBAAqB,GAAG,uBAAuB,CAAA;AAC5D,MAAM,CAAC,MAAM,6BAA6B,GAAG,+BAA+B,CAAA;AAC5E,MAAM,CAAC,MAAM,6BAA6B,GAAG,+BAA+B,CAAA;AAC5E,MAAM,CAAC,MAAM,iCAAiC,GAC1C,mCAAmC,CAAA;AACvC,MAAM,CAAC,MAAM,uBAAuB,GAAG,yBAAyB,CAAA;AAEhE,4BAA4B;AAC5B,MAAM,CAAC,MAAM,0BAA0B,GAAG,4BAA4B,CAAA"}
@@ -1,13 +1,12 @@
1
- import type { TClaimLookup, TSourceLookup, TClaimSourceLookup } from "../core/interfaces/library.interfaces.js";
1
+ import type { TClaimLookup, TClaimCitationLookup } from "../core/interfaces/library.interfaces.js";
2
2
  /**
3
3
  * Creates a keyed lookup from an array of items. Items are indexed by a
4
4
  * composite string key (typically `"id:version"`), and the returned object
5
5
  * exposes a `get(id, version)` method that reconstructs the same key
6
6
  * internally.
7
7
  *
8
- * Use this to build the `TClaimLookup` or `TSourceLookup` required by
9
- * `ArgumentEngine`'s constructor from flat arrays (e.g. database query
10
- * results).
8
+ * Use this to build the `TClaimLookup` required by `ArgumentEngine`'s
9
+ * constructor from flat arrays (e.g. database query results).
11
10
  *
12
11
  * @param items - The array of items to index.
13
12
  * @param getKey - A function that produces the composite key for each item.
@@ -20,8 +19,7 @@ import type { TClaimLookup, TSourceLookup, TClaimSourceLookup } from "../core/in
20
19
  * @example
21
20
  * ```ts
22
21
  * const claimLookup = createLookup(claims, (c) => `${c.id}:${c.version}`)
23
- * const sourceLookup = createLookup(sources, (s) => `${s.id}:${s.version}`)
24
- * const engine = new ArgumentEngine(arg, claimLookup, sourceLookup, ...)
22
+ * const engine = new ArgumentEngine(arg, claimLookup, ...)
25
23
  * ```
26
24
  */
27
25
  export declare function createLookup<T>(items: T[], getKey: (item: T) => string): {
@@ -34,14 +32,8 @@ export declare function createLookup<T>(items: T[], getKey: (item: T) => string)
34
32
  */
35
33
  export declare const EMPTY_CLAIM_LOOKUP: TClaimLookup;
36
34
  /**
37
- * A no-op source lookup that always returns `undefined`. Use this when the
38
- * consumer does not use sources.
35
+ * A no-op claim-citation lookup that always returns `undefined` or empty
36
+ * arrays. Use this when the consumer does not use claim citations.
39
37
  */
40
- export declare const EMPTY_SOURCE_LOOKUP: TSourceLookup;
41
- /**
42
- * A no-op claim-source association lookup that always returns `undefined`
43
- * or empty arrays. Use this when the consumer does not use claim-source
44
- * associations.
45
- */
46
- export declare const EMPTY_CLAIM_SOURCE_LOOKUP: TClaimSourceLookup;
38
+ export declare const EMPTY_CLAIM_CITATION_LOOKUP: TClaimCitationLookup;
47
39
  //# sourceMappingURL=lookup.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"lookup.d.ts","sourceRoot":"","sources":["../../../src/lib/utils/lookup.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,YAAY,EACZ,aAAa,EACb,kBAAkB,EACrB,MAAM,0CAA0C,CAAA;AAEjD;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,wBAAgB,YAAY,CAAC,CAAC,EAC1B,KAAK,EAAE,CAAC,EAAE,EACV,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,MAAM,GAC5B;IAAE,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,CAAC,GAAG,SAAS,CAAA;CAAE,CAUrD;AAED;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,EAAE,YAEhC,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,mBAAmB,EAAE,aAEjC,CAAA;AAED;;;;GAIG;AACH,eAAO,MAAM,yBAAyB,EAAE,kBAIvC,CAAA"}
1
+ {"version":3,"file":"lookup.d.ts","sourceRoot":"","sources":["../../../src/lib/utils/lookup.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,YAAY,EACZ,oBAAoB,EACvB,MAAM,0CAA0C,CAAA;AAEjD;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAgB,YAAY,CAAC,CAAC,EAC1B,KAAK,EAAE,CAAC,EAAE,EACV,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,MAAM,GAC5B;IAAE,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,CAAC,GAAG,SAAS,CAAA;CAAE,CAUrD;AAED;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,EAAE,YAEhC,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,2BAA2B,EAAE,oBAIzC,CAAA"}
@@ -4,9 +4,8 @@
4
4
  * exposes a `get(id, version)` method that reconstructs the same key
5
5
  * internally.
6
6
  *
7
- * Use this to build the `TClaimLookup` or `TSourceLookup` required by
8
- * `ArgumentEngine`'s constructor from flat arrays (e.g. database query
9
- * results).
7
+ * Use this to build the `TClaimLookup` required by `ArgumentEngine`'s
8
+ * constructor from flat arrays (e.g. database query results).
10
9
  *
11
10
  * @param items - The array of items to index.
12
11
  * @param getKey - A function that produces the composite key for each item.
@@ -19,8 +18,7 @@
19
18
  * @example
20
19
  * ```ts
21
20
  * const claimLookup = createLookup(claims, (c) => `${c.id}:${c.version}`)
22
- * const sourceLookup = createLookup(sources, (s) => `${s.id}:${s.version}`)
23
- * const engine = new ArgumentEngine(arg, claimLookup, sourceLookup, ...)
21
+ * const engine = new ArgumentEngine(arg, claimLookup, ...)
24
22
  * ```
25
23
  */
26
24
  export function createLookup(items, getKey) {
@@ -43,20 +41,12 @@ export const EMPTY_CLAIM_LOOKUP = {
43
41
  get: () => undefined,
44
42
  };
45
43
  /**
46
- * A no-op source lookup that always returns `undefined`. Use this when the
47
- * consumer does not use sources.
44
+ * A no-op claim-citation lookup that always returns `undefined` or empty
45
+ * arrays. Use this when the consumer does not use claim citations.
48
46
  */
49
- export const EMPTY_SOURCE_LOOKUP = {
50
- get: () => undefined,
51
- };
52
- /**
53
- * A no-op claim-source association lookup that always returns `undefined`
54
- * or empty arrays. Use this when the consumer does not use claim-source
55
- * associations.
56
- */
57
- export const EMPTY_CLAIM_SOURCE_LOOKUP = {
58
- getForClaim: () => [],
59
- getForSource: () => [],
47
+ export const EMPTY_CLAIM_CITATION_LOOKUP = {
48
+ getCitationsForCitingClaim: () => [],
49
+ getCitationsForSourceClaim: () => [],
60
50
  get: () => undefined,
61
51
  };
62
52
  //# sourceMappingURL=lookup.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"lookup.js","sourceRoot":"","sources":["../../../src/lib/utils/lookup.ts"],"names":[],"mappings":"AAMA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,UAAU,YAAY,CACxB,KAAU,EACV,MAA2B;IAE3B,MAAM,GAAG,GAAG,IAAI,GAAG,EAAa,CAAA;IAChC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACvB,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAA;IAC/B,CAAC;IACD,OAAO;QACH,GAAG,CAAC,EAAU,EAAE,OAAe;YAC3B,OAAO,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,OAAO,EAAE,CAAC,CAAA;QACtC,CAAC;KACJ,CAAA;AACL,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAiB;IAC5C,GAAG,EAAE,GAAG,EAAE,CAAC,SAAS;CACvB,CAAA;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAkB;IAC9C,GAAG,EAAE,GAAG,EAAE,CAAC,SAAS;CACvB,CAAA;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAuB;IACzD,WAAW,EAAE,GAAG,EAAE,CAAC,EAAE;IACrB,YAAY,EAAE,GAAG,EAAE,CAAC,EAAE;IACtB,GAAG,EAAE,GAAG,EAAE,CAAC,SAAS;CACvB,CAAA"}
1
+ {"version":3,"file":"lookup.js","sourceRoot":"","sources":["../../../src/lib/utils/lookup.ts"],"names":[],"mappings":"AAKA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,UAAU,YAAY,CACxB,KAAU,EACV,MAA2B;IAE3B,MAAM,GAAG,GAAG,IAAI,GAAG,EAAa,CAAA;IAChC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACvB,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAA;IAC/B,CAAC;IACD,OAAO;QACH,GAAG,CAAC,EAAU,EAAE,OAAe;YAC3B,OAAO,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,OAAO,EAAE,CAAC,CAAA;QACtC,CAAC;KACJ,CAAA;AACL,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAiB;IAC5C,GAAG,EAAE,GAAG,EAAE,CAAC,SAAS;CACvB,CAAA;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAyB;IAC7D,0BAA0B,EAAE,GAAG,EAAE,CAAC,EAAE;IACpC,0BAA0B,EAAE,GAAG,EAAE,CAAC,EAAE;IACpC,GAAG,EAAE,GAAG,EAAE,CAAC,SAAS;CACvB,CAAA"}
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@proposit/proposit-core",
3
- "version": "0.9.0",
3
+ "version": "0.10.0",
4
4
  "description": "Core engine for building and manipulating propositional logic arguments.",
5
5
  "license": "MIT",
6
6
  "keywords": [
@@ -20,15 +20,18 @@
20
20
  "exports": {
21
21
  ".": {
22
22
  "types": "./dist/index.d.ts",
23
- "import": "./dist/index.js"
23
+ "import": "./dist/index.js",
24
+ "default": "./dist/index.js"
24
25
  },
25
26
  "./extensions/ieee": {
26
27
  "types": "./dist/extensions/ieee/index.d.ts",
27
- "import": "./dist/extensions/ieee/index.js"
28
+ "import": "./dist/extensions/ieee/index.js",
29
+ "default": "./dist/extensions/ieee/index.js"
28
30
  },
29
31
  "./extensions/basics": {
30
32
  "types": "./dist/extensions/basics/index.d.ts",
31
- "import": "./dist/extensions/basics/index.js"
33
+ "import": "./dist/extensions/basics/index.js",
34
+ "default": "./dist/extensions/basics/index.js"
32
35
  }
33
36
  },
34
37
  "bin": {
@@ -1,3 +0,0 @@
1
- import { Command } from "commander";
2
- export declare function registerSourceCommands(program: Command): void;
3
- //# sourceMappingURL=sources.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"sources.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/sources.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAInC,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAsG7D"}
@@ -1,103 +0,0 @@
1
- import { randomUUID } from "node:crypto";
2
- import { Command } from "commander";
3
- import { hydratePropositCore, persistCore } from "../engine.js";
4
- import { errorExit, printJson, printLine } from "../output.js";
5
- export function registerSourceCommands(program) {
6
- const sources = program
7
- .command("sources")
8
- .description("Manage global source library");
9
- sources
10
- .command("list")
11
- .description("List all sources")
12
- .option("--json", "Output as JSON")
13
- .action(async (opts) => {
14
- const core = await hydratePropositCore();
15
- const all = core.sources.getAll();
16
- if (opts.json) {
17
- printJson(all);
18
- }
19
- else {
20
- for (const source of all) {
21
- const extras = source;
22
- const text = typeof extras.text === "string"
23
- ? ` | ${extras.text}`
24
- : "";
25
- printLine(`${source.id}@${source.version}${text}`);
26
- }
27
- }
28
- });
29
- sources
30
- .command("show <source_id>")
31
- .description("Show all versions of a source")
32
- .option("--json", "Output as JSON")
33
- .action(async (sourceId, opts) => {
34
- const core = await hydratePropositCore();
35
- const versions = core.sources.getVersions(sourceId);
36
- if (versions.length === 0) {
37
- errorExit(`Source "${sourceId}" not found.`);
38
- }
39
- if (opts.json) {
40
- printJson(versions);
41
- }
42
- else {
43
- for (const v of versions) {
44
- const extras = v;
45
- const frozen = v.frozen ? " [frozen]" : "";
46
- const text = typeof extras.text === "string"
47
- ? ` | ${extras.text}`
48
- : "";
49
- printLine(`v${v.version}${frozen}${text}`);
50
- }
51
- }
52
- });
53
- sources
54
- .command("add")
55
- .description("Create a new source")
56
- .requiredOption("--text <text>", "Source text")
57
- .action(async (opts) => {
58
- const core = await hydratePropositCore();
59
- const source = core.sources.create({
60
- id: randomUUID(),
61
- text: opts.text,
62
- });
63
- await persistCore(core);
64
- printLine(source.id);
65
- });
66
- sources
67
- .command("link-claim <source_id> <claim_id>")
68
- .description("Link a source to a claim via a new association")
69
- .action(async (sourceId, claimId) => {
70
- const core = await hydratePropositCore();
71
- const source = core.sources.getCurrent(sourceId);
72
- if (!source) {
73
- errorExit(`Source "${sourceId}" not found.`);
74
- }
75
- const claim = core.claims.getCurrent(claimId);
76
- if (!claim) {
77
- errorExit(`Claim "${claimId}" not found.`);
78
- }
79
- const assoc = core.claimSources.add({
80
- id: randomUUID(),
81
- claimId: claim.id,
82
- claimVersion: claim.version,
83
- sourceId: source.id,
84
- sourceVersion: source.version,
85
- });
86
- await persistCore(core);
87
- printLine(assoc.id);
88
- });
89
- sources
90
- .command("unlink <association_id>")
91
- .description("Remove a claim-source association")
92
- .action(async (associationId) => {
93
- const core = await hydratePropositCore();
94
- const assoc = core.claimSources.get(associationId);
95
- if (!assoc) {
96
- errorExit(`Association "${associationId}" not found.`);
97
- }
98
- core.claimSources.remove(associationId);
99
- await persistCore(core);
100
- printLine("success");
101
- });
102
- }
103
- //# sourceMappingURL=sources.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"sources.js","sourceRoot":"","sources":["../../../src/cli/commands/sources.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,mBAAmB,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AAC/D,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAE9D,MAAM,UAAU,sBAAsB,CAAC,OAAgB;IACnD,MAAM,OAAO,GAAG,OAAO;SAClB,OAAO,CAAC,SAAS,CAAC;SAClB,WAAW,CAAC,8BAA8B,CAAC,CAAA;IAEhD,OAAO;SACF,OAAO,CAAC,MAAM,CAAC;SACf,WAAW,CAAC,kBAAkB,CAAC;SAC/B,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,IAAwB,EAAE,EAAE;QACvC,MAAM,IAAI,GAAG,MAAM,mBAAmB,EAAE,CAAA;QACxC,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAA;QACjC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,GAAG,CAAC,CAAA;QAClB,CAAC;aAAM,CAAC;YACJ,KAAK,MAAM,MAAM,IAAI,GAAG,EAAE,CAAC;gBACvB,MAAM,MAAM,GAAG,MAAiC,CAAA;gBAChD,MAAM,IAAI,GACN,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ;oBAC3B,CAAC,CAAC,MAAM,MAAM,CAAC,IAAI,EAAE;oBACrB,CAAC,CAAC,EAAE,CAAA;gBACZ,SAAS,CAAC,GAAG,MAAM,CAAC,EAAE,IAAI,MAAM,CAAC,OAAO,GAAG,IAAI,EAAE,CAAC,CAAA;YACtD,CAAC;QACL,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,OAAO;SACF,OAAO,CAAC,kBAAkB,CAAC;SAC3B,WAAW,CAAC,+BAA+B,CAAC;SAC5C,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,QAAgB,EAAE,IAAwB,EAAE,EAAE;QACzD,MAAM,IAAI,GAAG,MAAM,mBAAmB,EAAE,CAAA;QACxC,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAA;QACnD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,SAAS,CAAC,WAAW,QAAQ,cAAc,CAAC,CAAA;QAChD,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,QAAQ,CAAC,CAAA;QACvB,CAAC;aAAM,CAAC;YACJ,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;gBACvB,MAAM,MAAM,GAAG,CAA4B,CAAA;gBAC3C,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAA;gBAC1C,MAAM,IAAI,GACN,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ;oBAC3B,CAAC,CAAC,MAAM,MAAM,CAAC,IAAI,EAAE;oBACrB,CAAC,CAAC,EAAE,CAAA;gBACZ,SAAS,CAAC,IAAI,CAAC,CAAC,OAAO,GAAG,MAAM,GAAG,IAAI,EAAE,CAAC,CAAA;YAC9C,CAAC;QACL,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,OAAO;SACF,OAAO,CAAC,KAAK,CAAC;SACd,WAAW,CAAC,qBAAqB,CAAC;SAClC,cAAc,CAAC,eAAe,EAAE,aAAa,CAAC;SAC9C,MAAM,CAAC,KAAK,EAAE,IAAsB,EAAE,EAAE;QACrC,MAAM,IAAI,GAAG,MAAM,mBAAmB,EAAE,CAAA;QACxC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;YAC/B,EAAE,EAAE,UAAU,EAAE;YAChB,IAAI,EAAE,IAAI,CAAC,IAAI;SAC2B,CAAC,CAAA;QAC/C,MAAM,WAAW,CAAC,IAAI,CAAC,CAAA;QACvB,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;IACxB,CAAC,CAAC,CAAA;IAEN,OAAO;SACF,OAAO,CAAC,mCAAmC,CAAC;SAC5C,WAAW,CAAC,gDAAgD,CAAC;SAC7D,MAAM,CAAC,KAAK,EAAE,QAAgB,EAAE,OAAe,EAAE,EAAE;QAChD,MAAM,IAAI,GAAG,MAAM,mBAAmB,EAAE,CAAA;QACxC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAA;QAChD,IAAI,CAAC,MAAM,EAAE,CAAC;YACV,SAAS,CAAC,WAAW,QAAQ,cAAc,CAAC,CAAA;QAChD,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAA;QAC7C,IAAI,CAAC,KAAK,EAAE,CAAC;YACT,SAAS,CAAC,UAAU,OAAO,cAAc,CAAC,CAAA;QAC9C,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC;YAChC,EAAE,EAAE,UAAU,EAAE;YAChB,OAAO,EAAE,KAAK,CAAC,EAAE;YACjB,YAAY,EAAE,KAAK,CAAC,OAAO;YAC3B,QAAQ,EAAE,MAAM,CAAC,EAAE;YACnB,aAAa,EAAE,MAAM,CAAC,OAAO;SAChC,CAAC,CAAA;QACF,MAAM,WAAW,CAAC,IAAI,CAAC,CAAA;QACvB,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;IACvB,CAAC,CAAC,CAAA;IAEN,OAAO;SACF,OAAO,CAAC,yBAAyB,CAAC;SAClC,WAAW,CAAC,mCAAmC,CAAC;SAChD,MAAM,CAAC,KAAK,EAAE,aAAqB,EAAE,EAAE;QACpC,MAAM,IAAI,GAAG,MAAM,mBAAmB,EAAE,CAAA;QACxC,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,aAAa,CAAC,CAAA;QAClD,IAAI,CAAC,KAAK,EAAE,CAAC;YACT,SAAS,CAAC,gBAAgB,aAAa,cAAc,CAAC,CAAA;QAC1D,CAAC;QACD,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,aAAa,CAAC,CAAA;QACvC,MAAM,WAAW,CAAC,IAAI,CAAC,CAAA;QACvB,SAAS,CAAC,SAAS,CAAC,CAAA;IACxB,CAAC,CAAC,CAAA;AACV,CAAC"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"source.d.ts","sourceRoot":"","sources":["../../../src/extensions/ieee/source.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAK3C,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAM3B,CAAA;AACF,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC,OAAO,gBAAgB,CAAC,CAAA"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"source.js","sourceRoot":"","sources":["../../../src/extensions/ieee/source.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAA;AAC9D,OAAO,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AACvD,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAA;AAErD,MAAM,CAAC,MAAM,gBAAgB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC3C,gBAAgB;IAChB,IAAI,CAAC,MAAM,CAAC;QACR,GAAG,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QAC5B,QAAQ,EAAE,mBAAmB;KAChC,CAAC;CACL,CAAC,CAAA"}
@@ -1,32 +0,0 @@
1
- import type { TCoreClaimSourceAssociation } from "../schemata/source.js";
2
- import type { TCoreChecksumConfig } from "../types/checksum.js";
3
- import type { TClaimLookup, TSourceLookup, TClaimSourceLibraryManagement, TClaimSourceLibrarySnapshot } from "./interfaces/library.interfaces.js";
4
- import type { TInvariantValidationResult } from "../types/validation.js";
5
- export declare class ClaimSourceLibrary<TAssoc extends TCoreClaimSourceAssociation = TCoreClaimSourceAssociation> implements TClaimSourceLibraryManagement<TAssoc> {
6
- private associations;
7
- private claimToAssociations;
8
- private sourceToAssociations;
9
- private claimLookup;
10
- private sourceLookup;
11
- private checksumConfig?;
12
- constructor(claimLookup: TClaimLookup, sourceLookup: TSourceLookup, options?: {
13
- checksumConfig?: TCoreChecksumConfig;
14
- });
15
- private restoreFromSnapshot;
16
- private withValidation;
17
- add(assoc: Omit<TAssoc, "checksum">): TAssoc;
18
- remove(id: string): TAssoc;
19
- getForClaim(claimId: string): TAssoc[];
20
- getForSource(sourceId: string): TAssoc[];
21
- get(id: string): TAssoc | undefined;
22
- getAll(): TAssoc[];
23
- filter(predicate: (a: TAssoc) => boolean): TAssoc[];
24
- snapshot(): TClaimSourceLibrarySnapshot<TAssoc>;
25
- /** Restores a claim-source library from a snapshot, re-indexing all associations. */
26
- static fromSnapshot<TAssoc extends TCoreClaimSourceAssociation = TCoreClaimSourceAssociation>(snapshot: TClaimSourceLibrarySnapshot<TAssoc>, claimLookup: TClaimLookup, sourceLookup: TSourceLookup, options?: {
27
- checksumConfig?: TCoreChecksumConfig;
28
- }): ClaimSourceLibrary<TAssoc>;
29
- validate(): TInvariantValidationResult;
30
- private computeChecksum;
31
- }
32
- //# sourceMappingURL=claim-source-library.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"claim-source-library.d.ts","sourceRoot":"","sources":["../../../src/lib/core/claim-source-library.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,uBAAuB,CAAA;AAExE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAG/D,OAAO,KAAK,EACR,YAAY,EACZ,aAAa,EACb,6BAA6B,EAC7B,2BAA2B,EAC9B,MAAM,oCAAoC,CAAA;AAC3C,OAAO,KAAK,EACR,0BAA0B,EAE7B,MAAM,wBAAwB,CAAA;AAQ/B,qBAAa,kBAAkB,CAC3B,MAAM,SAAS,2BAA2B,GAAG,2BAA2B,CAC1E,YAAW,6BAA6B,CAAC,MAAM,CAAC;IAC9C,OAAO,CAAC,YAAY,CAAqB;IACzC,OAAO,CAAC,mBAAmB,CAA0B;IACrD,OAAO,CAAC,oBAAoB,CAA0B;IACtD,OAAO,CAAC,WAAW,CAAc;IACjC,OAAO,CAAC,YAAY,CAAe;IACnC,OAAO,CAAC,cAAc,CAAC,CAAqB;gBAGxC,WAAW,EAAE,YAAY,EACzB,YAAY,EAAE,aAAa,EAC3B,OAAO,CAAC,EAAE;QAAE,cAAc,CAAC,EAAE,mBAAmB,CAAA;KAAE;IAUtD,OAAO,CAAC,mBAAmB;IAwB3B,OAAO,CAAC,cAAc;IAkBf,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG,MAAM;IAmD5C,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM;IAuB1B,WAAW,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE;IAQtC,YAAY,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,EAAE;IAQxC,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAInC,MAAM,IAAI,MAAM,EAAE;IAIlB,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,OAAO,GAAG,MAAM,EAAE;IAInD,QAAQ,IAAI,2BAA2B,CAAC,MAAM,CAAC;IAItD,qFAAqF;WACvE,YAAY,CACtB,MAAM,SAAS,2BAA2B,GACtC,2BAA2B,EAE/B,QAAQ,EAAE,2BAA2B,CAAC,MAAM,CAAC,EAC7C,WAAW,EAAE,YAAY,EACzB,YAAY,EAAE,aAAa,EAC3B,OAAO,CAAC,EAAE;QAAE,cAAc,CAAC,EAAE,mBAAmB,CAAA;KAAE,GACnD,kBAAkB,CAAC,MAAM,CAAC;IA0BtB,QAAQ,IAAI,0BAA0B;IA+B7C,OAAO,CAAC,eAAe;CAS1B"}