@polintpro/proposit-core 0.2.1 → 0.2.2

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (50) hide show
  1. package/README.md +17 -13
  2. package/dist/cli/commands/expressions.d.ts.map +1 -1
  3. package/dist/cli/commands/expressions.js.map +1 -1
  4. package/dist/cli/engine.d.ts.map +1 -1
  5. package/dist/cli/engine.js +4 -1
  6. package/dist/cli/engine.js.map +1 -1
  7. package/dist/cli/import.d.ts.map +1 -1
  8. package/dist/cli/import.js.map +1 -1
  9. package/dist/cli/schemata.d.ts +2 -3
  10. package/dist/cli/schemata.d.ts.map +1 -1
  11. package/dist/cli/schemata.js +38 -14
  12. package/dist/cli/schemata.js.map +1 -1
  13. package/dist/cli/storage/variables.d.ts +1 -1
  14. package/dist/cli/storage/variables.d.ts.map +1 -1
  15. package/dist/cli/storage/variables.js +10 -2
  16. package/dist/cli/storage/variables.js.map +1 -1
  17. package/dist/index.d.ts +1 -1
  18. package/dist/index.d.ts.map +1 -1
  19. package/dist/index.js.map +1 -1
  20. package/dist/lib/core/ArgumentEngine.d.ts +3 -3
  21. package/dist/lib/core/ArgumentEngine.d.ts.map +1 -1
  22. package/dist/lib/core/ArgumentEngine.js +18 -6
  23. package/dist/lib/core/ArgumentEngine.js.map +1 -1
  24. package/dist/lib/core/ChangeCollector.d.ts +11 -9
  25. package/dist/lib/core/ChangeCollector.d.ts.map +1 -1
  26. package/dist/lib/core/ChangeCollector.js.map +1 -1
  27. package/dist/lib/core/ExpressionManager.d.ts +35 -8
  28. package/dist/lib/core/ExpressionManager.d.ts.map +1 -1
  29. package/dist/lib/core/ExpressionManager.js.map +1 -1
  30. package/dist/lib/core/PremiseManager.d.ts +4 -4
  31. package/dist/lib/core/PremiseManager.d.ts.map +1 -1
  32. package/dist/lib/core/PremiseManager.js +7 -1
  33. package/dist/lib/core/PremiseManager.js.map +1 -1
  34. package/dist/lib/core/VariableManager.d.ts +7 -12
  35. package/dist/lib/core/VariableManager.d.ts.map +1 -1
  36. package/dist/lib/core/VariableManager.js.map +1 -1
  37. package/dist/lib/index.d.ts +1 -1
  38. package/dist/lib/index.d.ts.map +1 -1
  39. package/dist/lib/index.js.map +1 -1
  40. package/dist/lib/schemata/argument.d.ts +1 -1
  41. package/dist/lib/schemata/argument.d.ts.map +1 -1
  42. package/dist/lib/schemata/argument.js +2 -2
  43. package/dist/lib/schemata/argument.js.map +1 -1
  44. package/dist/lib/schemata/propositional.d.ts +11 -11
  45. package/dist/lib/schemata/propositional.d.ts.map +1 -1
  46. package/dist/lib/schemata/propositional.js +6 -6
  47. package/dist/lib/schemata/propositional.js.map +1 -1
  48. package/dist/lib/types/mutation.d.ts +13 -0
  49. package/dist/lib/types/mutation.d.ts.map +1 -1
  50. package/package.json +1 -1
package/dist/lib/schemata/propositional.d.ts CHANGED
@@ -7,7 +7,7 @@ export declare const CorePropositionalVariableExpressionSchema: Type.TObject<{
7
7
  argumentVersion: Type.TNumber;
8
8
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
9
9
  position: Type.TNumber;
10
- checksum: Type.TOptional<Type.TString>;
10
+ checksum: Type.TString;
11
11
  type: Type.TLiteral<"variable">;
12
12
  variableId: Type.TString;
13
13
  }>;
@@ -20,7 +20,7 @@ export declare const CoreOperatorExpressionSchema: Type.TObject<{
20
20
  argumentVersion: Type.TNumber;
21
21
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
22
22
  position: Type.TNumber;
23
- checksum: Type.TOptional<Type.TString>;
23
+ checksum: Type.TString;
24
24
  type: Type.TLiteral<"operator">;
25
25
  operator: Type.TUnion<[Type.TLiteral<"not">, Type.TLiteral<"and">, Type.TLiteral<"or">, Type.TLiteral<"implies">, Type.TLiteral<"iff">]>;
26
26
  }>;
@@ -31,7 +31,7 @@ export declare const CoreFormulaExpressionSchema: Type.TObject<{
31
31
  argumentVersion: Type.TNumber;
32
32
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
33
33
  position: Type.TNumber;
34
- checksum: Type.TOptional<Type.TString>;
34
+ checksum: Type.TString;
35
35
  type: Type.TLiteral<"formula">;
36
36
  }>;
37
37
  export type TCoreFormulaExpression = Static<typeof CoreFormulaExpressionSchema>;
@@ -41,7 +41,7 @@ export declare const CorePropositionalExpressionSchema: Type.TUnion<[Type.TObjec
41
41
  argumentVersion: Type.TNumber;
42
42
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
43
43
  position: Type.TNumber;
44
- checksum: Type.TOptional<Type.TString>;
44
+ checksum: Type.TString;
45
45
  type: Type.TLiteral<"variable">;
46
46
  variableId: Type.TString;
47
47
  }>, Type.TObject<{
@@ -50,7 +50,7 @@ export declare const CorePropositionalExpressionSchema: Type.TUnion<[Type.TObjec
50
50
  argumentVersion: Type.TNumber;
51
51
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
52
52
  position: Type.TNumber;
53
- checksum: Type.TOptional<Type.TString>;
53
+ checksum: Type.TString;
54
54
  type: Type.TLiteral<"operator">;
55
55
  operator: Type.TUnion<[Type.TLiteral<"not">, Type.TLiteral<"and">, Type.TLiteral<"or">, Type.TLiteral<"implies">, Type.TLiteral<"iff">]>;
56
56
  }>, Type.TObject<{
@@ -59,7 +59,7 @@ export declare const CorePropositionalExpressionSchema: Type.TUnion<[Type.TObjec
59
59
  argumentVersion: Type.TNumber;
60
60
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
61
61
  position: Type.TNumber;
62
- checksum: Type.TOptional<Type.TString>;
62
+ checksum: Type.TString;
63
63
  type: Type.TLiteral<"formula">;
64
64
  }>]>;
65
65
  export type TCorePropositionalExpressionCombined = Static<typeof CorePropositionalExpressionSchema>;
@@ -71,7 +71,7 @@ export declare const CorePropositionalVariableSchema: Type.TObject<{
71
71
  argumentId: Type.TString;
72
72
  argumentVersion: Type.TNumber;
73
73
  symbol: Type.TString;
74
- checksum: Type.TOptional<Type.TString>;
74
+ checksum: Type.TString;
75
75
  }>;
76
76
  export type TCorePropositionalVariable = Static<typeof CorePropositionalVariableSchema>;
77
77
  export declare const CorePremiseSchema: Type.TObject<{
@@ -84,7 +84,7 @@ export declare const CorePremiseSchema: Type.TObject<{
84
84
  argumentVersion: Type.TNumber;
85
85
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
86
86
  position: Type.TNumber;
87
- checksum: Type.TOptional<Type.TString>;
87
+ checksum: Type.TString;
88
88
  type: Type.TLiteral<"variable">;
89
89
  variableId: Type.TString;
90
90
  }>, Type.TObject<{
@@ -93,7 +93,7 @@ export declare const CorePremiseSchema: Type.TObject<{
93
93
  argumentVersion: Type.TNumber;
94
94
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
95
95
  position: Type.TNumber;
96
- checksum: Type.TOptional<Type.TString>;
96
+ checksum: Type.TString;
97
97
  type: Type.TLiteral<"operator">;
98
98
  operator: Type.TUnion<[Type.TLiteral<"not">, Type.TLiteral<"and">, Type.TLiteral<"or">, Type.TLiteral<"implies">, Type.TLiteral<"iff">]>;
99
99
  }>, Type.TObject<{
@@ -102,10 +102,10 @@ export declare const CorePremiseSchema: Type.TObject<{
102
102
  argumentVersion: Type.TNumber;
103
103
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
104
104
  position: Type.TNumber;
105
- checksum: Type.TOptional<Type.TString>;
105
+ checksum: Type.TString;
106
106
  type: Type.TLiteral<"formula">;
107
107
  }>]>>;
108
- checksum: Type.TOptional<Type.TString>;
108
+ checksum: Type.TString;
109
109
  }>;
110
110
  export type TCorePremise = Static<typeof CorePremiseSchema>;
111
111
  //# sourceMappingURL=propositional.d.ts.map
package/dist/lib/schemata/propositional.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"propositional.d.ts","sourceRoot":"","sources":["../../../src/lib/schemata/propositional.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAO3C,eAAO,MAAM,gCAAgC,+FAI3C,CAAA;AACF,MAAM,MAAM,iCAAiC,GAAG,MAAM,CAClD,OAAO,gCAAgC,CAC1C,CAAA;AAwBD,eAAO,MAAM,yCAAyC;;;;;;;;;EAMrD,CAAA;AAED,MAAM,MAAM,oCAAoC,GAAG,MAAM,CACrD,OAAO,yCAAyC,CACnD,CAAA;AAED,eAAO,MAAM,uBAAuB,gIAMlC,CAAA;AAEF,MAAM,MAAM,wBAAwB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAA;AAE7E,eAAO,MAAM,4BAA4B;;;;;;;;;EAMxC,CAAA;AACD,MAAM,MAAM,uBAAuB,GAAG,MAAM,CACxC,OAAO,4BAA4B,CACtC,CAAA;AAED,eAAO,MAAM,2BAA2B;;;;;;;;EAKvC,CAAA;AACD,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAE/E,eAAO,MAAM,iCAAiC;;;;;;;;;;;;;;;;;;;;;;;;;;IAI5C,CAAA;AAEF,MAAM,MAAM,oCAAoC,GAAG,MAAM,CACrD,OAAO,iCAAiC,CAC3C,CAAA;AAED,MAAM,MAAM,4BAA4B,CACpC,CAAC,SAAS,iCAAiC,GACvC,iCAAiC,IACrC,OAAO,CAAC,oCAAoC,EAAE;IAAE,IAAI,EAAE,CAAC,CAAA;CAAE,CAAC,CAAA;AAE9D,eAAO,MAAM,+BAA+B;;;;;;EAoB3C,CAAA;AAED,MAAM,MAAM,0BAA0B,GAAG,MAAM,CAC3C,OAAO,+BAA+B,CACzC,CAAA;AAED,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA2B7B,CAAA;AAED,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA"}
1
+ {"version":3,"file":"propositional.d.ts","sourceRoot":"","sources":["../../../src/lib/schemata/propositional.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAO3C,eAAO,MAAM,gCAAgC,+FAI3C,CAAA;AACF,MAAM,MAAM,iCAAiC,GAAG,MAAM,CAClD,OAAO,gCAAgC,CAC1C,CAAA;AAsBD,eAAO,MAAM,yCAAyC;;;;;;;;;EAMrD,CAAA;AAED,MAAM,MAAM,oCAAoC,GAAG,MAAM,CACrD,OAAO,yCAAyC,CACnD,CAAA;AAED,eAAO,MAAM,uBAAuB,gIAMlC,CAAA;AAEF,MAAM,MAAM,wBAAwB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAA;AAE7E,eAAO,MAAM,4BAA4B;;;;;;;;;EAMxC,CAAA;AACD,MAAM,MAAM,uBAAuB,GAAG,MAAM,CACxC,OAAO,4BAA4B,CACtC,CAAA;AAED,eAAO,MAAM,2BAA2B;;;;;;;;EAKvC,CAAA;AACD,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAE/E,eAAO,MAAM,iCAAiC;;;;;;;;;;;;;;;;;;;;;;;;;;IAI5C,CAAA;AAEF,MAAM,MAAM,oCAAoC,GAAG,MAAM,CACrD,OAAO,iCAAiC,CAC3C,CAAA;AAED,MAAM,MAAM,4BAA4B,CACpC,CAAC,SAAS,iCAAiC,GACvC,iCAAiC,IACrC,OAAO,CAAC,oCAAoC,EAAE;IAAE,IAAI,EAAE,CAAC,CAAA;CAAE,CAAC,CAAA;AAE9D,eAAO,MAAM,+BAA+B;;;;;;EAkB3C,CAAA;AAED,MAAM,MAAM,0BAA0B,GAAG,MAAM,CAC3C,OAAO,+BAA+B,CACzC,CAAA;AAED,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAyB7B,CAAA;AAED,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA"}
package/dist/lib/schemata/propositional.js CHANGED
@@ -19,9 +19,9 @@ const BasePropositionalExpressionSchema = Type.Object({
19
19
  minimum: 0,
20
20
  description: "The ordering of this expression among its siblings under the same parent. Must be unique within (parentId, argumentId, argumentVersion).",
21
21
  }),
22
- checksum: Type.Optional(Type.String({
22
+ checksum: Type.String({
23
23
  description: "Entity-level checksum for sync detection.",
24
- })),
24
+ }),
25
25
  });
26
26
  export const CorePropositionalVariableExpressionSchema = Type.Interface([BasePropositionalExpressionSchema], {
27
27
  type: VariableType,
@@ -53,9 +53,9 @@ export const CorePropositionalVariableSchema = Type.Object({
53
53
  symbol: Type.String({
54
54
  description: 'Human-readable symbol for this variable (e.g. "P", "Q").',
55
55
  }),
56
- checksum: Type.Optional(Type.String({
56
+ checksum: Type.String({
57
57
  description: "Entity-level checksum for sync detection.",
58
- })),
58
+ }),
59
59
  }, {
60
60
  additionalProperties: true,
61
61
  description: "A named propositional variable belonging to a specific argument version.",
@@ -71,9 +71,9 @@ export const CorePremiseSchema = Type.Object({
71
71
  expressions: Type.Array(CorePropositionalExpressionSchema, {
72
72
  description: "All expressions in this premise. The root has a null parentId.",
73
73
  }),
74
- checksum: Type.Optional(Type.String({
74
+ checksum: Type.String({
75
75
  description: "Premise-level checksum for sync detection.",
76
- })),
76
+ }),
77
77
  }, {
78
78
  additionalProperties: true,
79
79
  description: "A premise containing an expression tree and variable references.",
package/dist/lib/schemata/propositional.js.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"propositional.js","sourceRoot":"","sources":["../../../src/lib/schemata/propositional.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAA;AAE5C,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAA;AAC7C,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAA;AAC7C,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;AAE3C,MAAM,CAAC,MAAM,gCAAgC,GAAG,IAAI,CAAC,KAAK,CAAC;IACvD,YAAY;IACZ,YAAY;IACZ,WAAW;CACd,CAAC,CAAA;AAKF,MAAM,iCAAiC,GAAG,IAAI,CAAC,MAAM,CAAC;IAClD,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE;QACrB,WAAW,EACP,sFAAsF;KAC7F,CAAC;IAEF,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,OAAO,EAAE,CAAC;QACV,WAAW,EACP,0IAA0I;KACjJ,CAAC;IAEF,QAAQ,EAAE,IAAI,CAAC,QAAQ,CACnB,IAAI,CAAC,MAAM,CAAC;QACR,WAAW,EAAE,2CAA2C;KAC3D,CAAC,CACL;CACJ,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,yCAAyC,GAAG,IAAI,CAAC,SAAS,CACnE,CAAC,iCAAiC,CAAC,EACnC;IACI,IAAI,EAAE,YAAY;IAClB,UAAU,EAAE,IAAI;CACnB,CACJ,CAAA;AAMD,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,CAAC,KAAK,CAAC;IAC9C,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,QAAQ;IAC7B,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,gBAAgB;IACrC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,gBAAgB;IACpC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,mBAAmB;IAC5C,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,iCAAiC;CACzD,CAAC,CAAA;AAIF,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,CAAC,SAAS,CACtD,CAAC,iCAAiC,CAAC,EACnC;IACI,IAAI,EAAE,YAAY;IAClB,QAAQ,EAAE,uBAAuB;CACpC,CACJ,CAAA;AAKD,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,SAAS,CACrD,CAAC,iCAAiC,CAAC,EACnC;IACI,IAAI,EAAE,WAAW;CACpB,CACJ,CAAA;AAGD,MAAM,CAAC,MAAM,iCAAiC,GAAG,IAAI,CAAC,KAAK,CAAC;IACxD,yCAAyC;IACzC,4BAA4B;IAC5B,2BAA2B;CAC9B,CAAC,CAAA;AAWF,MAAM,CAAC,MAAM,+BAA+B,GAAG,IAAI,CAAC,MAAM,CACtD;IACI,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC;QAChB,WAAW,EACP,0DAA0D;KACjE,CAAC;IACF,QAAQ,EAAE,IAAI,CAAC,QAAQ,CACnB,IAAI,CAAC,MAAM,CAAC;QACR,WAAW,EAAE,2CAA2C;KAC3D,CAAC,CACL;CACJ,EACD;IACI,oBAAoB,EAAE,IAAI;IAC1B,WAAW,EACP,0EAA0E;CACjF,CACJ,CAAA;AAMD,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,MAAM,CACxC;IACI,EAAE,EAAE,IAAI;IACR,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,iCAAiC,EAAE;QACvD,WAAW,EACP,gEAAgE;KACvE,CAAC;IACF,QAAQ,EAAE,IAAI,CAAC,QAAQ,CACnB,IAAI,CAAC,MAAM,CAAC;QACR,WAAW,EAAE,4CAA4C;KAC5D,CAAC,CACL;CACJ,EACD;IACI,oBAAoB,EAAE,IAAI;IAC1B,WAAW,EACP,kEAAkE;CACzE,CACJ,CAAA"}
1
+ {"version":3,"file":"propositional.js","sourceRoot":"","sources":["../../../src/lib/schemata/propositional.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAA;AAE5C,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAA;AAC7C,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAA;AAC7C,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;AAE3C,MAAM,CAAC,MAAM,gCAAgC,GAAG,IAAI,CAAC,KAAK,CAAC;IACvD,YAAY;IACZ,YAAY;IACZ,WAAW;CACd,CAAC,CAAA;AAKF,MAAM,iCAAiC,GAAG,IAAI,CAAC,MAAM,CAAC;IAClD,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE;QACrB,WAAW,EACP,sFAAsF;KAC7F,CAAC;IAEF,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,OAAO,EAAE,CAAC;QACV,WAAW,EACP,0IAA0I;KACjJ,CAAC;IAEF,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,WAAW,EAAE,2CAA2C;KAC3D,CAAC;CACL,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,yCAAyC,GAAG,IAAI,CAAC,SAAS,CACnE,CAAC,iCAAiC,CAAC,EACnC;IACI,IAAI,EAAE,YAAY;IAClB,UAAU,EAAE,IAAI;CACnB,CACJ,CAAA;AAMD,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,CAAC,KAAK,CAAC;IAC9C,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,QAAQ;IAC7B,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,gBAAgB;IACrC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,gBAAgB;IACpC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,mBAAmB;IAC5C,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,iCAAiC;CACzD,CAAC,CAAA;AAIF,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,CAAC,SAAS,CACtD,CAAC,iCAAiC,CAAC,EACnC;IACI,IAAI,EAAE,YAAY;IAClB,QAAQ,EAAE,uBAAuB;CACpC,CACJ,CAAA;AAKD,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,SAAS,CACrD,CAAC,iCAAiC,CAAC,EACnC;IACI,IAAI,EAAE,WAAW;CACpB,CACJ,CAAA;AAGD,MAAM,CAAC,MAAM,iCAAiC,GAAG,IAAI,CAAC,KAAK,CAAC;IACxD,yCAAyC;IACzC,4BAA4B;IAC5B,2BAA2B;CAC9B,CAAC,CAAA;AAWF,MAAM,CAAC,MAAM,+BAA+B,GAAG,IAAI,CAAC,MAAM,CACtD;IACI,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC;QAChB,WAAW,EACP,0DAA0D;KACjE,CAAC;IACF,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,WAAW,EAAE,2CAA2C;KAC3D,CAAC;CACL,EACD;IACI,oBAAoB,EAAE,IAAI;IAC1B,WAAW,EACP,0EAA0E;CACjF,CACJ,CAAA;AAMD,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,MAAM,CACxC;IACI,EAAE,EAAE,IAAI;IACR,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,iCAAiC,EAAE;QACvD,WAAW,EACP,gEAAgE;KACvE,CAAC;IACF,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,WAAW,EAAE,4CAA4C;KAC5D,CAAC;CACL,EACD;IACI,oBAAoB,EAAE,IAAI;IAC1B,WAAW,EACP,kEAAkE;CACzE,CACJ,CAAA"}
package/dist/lib/types/mutation.d.ts CHANGED
@@ -1,5 +1,7 @@
1
1
  import type { TCorePropositionalExpression, TCorePropositionalVariable, TCorePremise } from "../schemata/propositional.js";
2
2
  import type { TCoreArgument, TCoreArgumentRoleState } from "../schemata/argument.js";
3
+ import type { TExpressionInput } from "../core/ExpressionManager.js";
4
+ import type { TVariableInput } from "../core/VariableManager.js";
3
5
  /** Added/modified/removed entities of one type within a single mutation. */
4
6
  export interface TCoreEntityChanges<T> {
5
7
  added: T[];
@@ -19,6 +21,17 @@ export interface TCoreChangeset {
19
21
  /** New argument metadata, present only when argument changed. */
20
22
  argument?: TCoreArgument;
21
23
  }
24
+ /**
25
+ * Internal changeset type used by ChangeCollector before checksums are
26
+ * attached. Expression and variable entities lack the `checksum` field.
27
+ */
28
+ export interface TCoreRawChangeset {
29
+ expressions?: TCoreEntityChanges<TExpressionInput>;
30
+ variables?: TCoreEntityChanges<TVariableInput>;
31
+ premises?: TCoreEntityChanges<TCorePremise>;
32
+ roles?: TCoreArgumentRoleState;
33
+ argument?: TCoreArgument;
34
+ }
22
35
  /**
23
36
  * Every mutating method returns this wrapper.
24
37
  * `result` is the direct answer (e.g. the removed expression).
package/dist/lib/types/mutation.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"mutation.d.ts","sourceRoot":"","sources":["../../../src/lib/types/mutation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,4BAA4B,EAC5B,0BAA0B,EAC1B,YAAY,EACf,MAAM,8BAA8B,CAAA;AACrC,OAAO,KAAK,EACR,aAAa,EACb,sBAAsB,EACzB,MAAM,yBAAyB,CAAA;AAEhC,4EAA4E;AAC5E,MAAM,WAAW,kBAAkB,CAAC,CAAC;IACjC,KAAK,EAAE,CAAC,EAAE,CAAA;IACV,QAAQ,EAAE,CAAC,EAAE,CAAA;IACb,OAAO,EAAE,CAAC,EAAE,CAAA;CACf;AAED;;;GAGG;AACH,MAAM,WAAW,cAAc;IAC3B,WAAW,CAAC,EAAE,kBAAkB,CAAC,4BAA4B,CAAC,CAAA;IAC9D,SAAS,CAAC,EAAE,kBAAkB,CAAC,0BAA0B,CAAC,CAAA;IAC1D,QAAQ,CAAC,EAAE,kBAAkB,CAAC,YAAY,CAAC,CAAA;IAC3C,uDAAuD;IACvD,KAAK,CAAC,EAAE,sBAAsB,CAAA;IAC9B,iEAAiE;IACjE,QAAQ,CAAC,EAAE,aAAa,CAAA;CAC3B;AAED;;;;GAIG;AACH,MAAM,WAAW,mBAAmB,CAAC,CAAC;IAClC,MAAM,EAAE,CAAC,CAAA;IACT,OAAO,EAAE,cAAc,CAAA;CAC1B"}
1
+ {"version":3,"file":"mutation.d.ts","sourceRoot":"","sources":["../../../src/lib/types/mutation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,4BAA4B,EAC5B,0BAA0B,EAC1B,YAAY,EACf,MAAM,8BAA8B,CAAA;AACrC,OAAO,KAAK,EACR,aAAa,EACb,sBAAsB,EACzB,MAAM,yBAAyB,CAAA;AAChC,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAA;AACpE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAA;AAEhE,4EAA4E;AAC5E,MAAM,WAAW,kBAAkB,CAAC,CAAC;IACjC,KAAK,EAAE,CAAC,EAAE,CAAA;IACV,QAAQ,EAAE,CAAC,EAAE,CAAA;IACb,OAAO,EAAE,CAAC,EAAE,CAAA;CACf;AAED;;;GAGG;AACH,MAAM,WAAW,cAAc;IAC3B,WAAW,CAAC,EAAE,kBAAkB,CAAC,4BAA4B,CAAC,CAAA;IAC9D,SAAS,CAAC,EAAE,kBAAkB,CAAC,0BAA0B,CAAC,CAAA;IAC1D,QAAQ,CAAC,EAAE,kBAAkB,CAAC,YAAY,CAAC,CAAA;IAC3C,uDAAuD;IACvD,KAAK,CAAC,EAAE,sBAAsB,CAAA;IAC9B,iEAAiE;IACjE,QAAQ,CAAC,EAAE,aAAa,CAAA;CAC3B;AAED;;;GAGG;AACH,MAAM,WAAW,iBAAiB;IAC9B,WAAW,CAAC,EAAE,kBAAkB,CAAC,gBAAgB,CAAC,CAAA;IAClD,SAAS,CAAC,EAAE,kBAAkB,CAAC,cAAc,CAAC,CAAA;IAC9C,QAAQ,CAAC,EAAE,kBAAkB,CAAC,YAAY,CAAC,CAAA;IAC3C,KAAK,CAAC,EAAE,sBAAsB,CAAA;IAC9B,QAAQ,CAAC,EAAE,aAAa,CAAA;CAC3B;AAED;;;;GAIG;AACH,MAAM,WAAW,mBAAmB,CAAC,CAAC;IAClC,MAAM,EAAE,CAAC,CAAA;IACT,OAAO,EAAE,cAAc,CAAA;CAC1B"}
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@polintpro/proposit-core",
3
- "version": "0.2.1",
3
+ "version": "0.2.2",
4
4
  "description": "Core engine for building and manipulating propositional logic arguments.",
5
5
  "license": "MIT",
6
6
  "keywords": [