@polintpro/proposit-core 0.5.12 → 0.6.2

package/dist/lib/schemata/propositional.d.ts

@@ -9,6 +9,8 @@ export declare const CorePropositionalVariableExpressionSchema: Type.TObject<{
     parentId: Type.TUnion<[Type.TString, Type.TNull]>;
     position: Type.TNumber;
     checksum: Type.TString;
+    descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+    combinedChecksum: Type.TString;
     type: Type.TLiteral<"variable">;
     variableId: Type.TString;
 }>;
@@ -23,6 +25,8 @@ export declare const CoreOperatorExpressionSchema: Type.TObject<{
     parentId: Type.TUnion<[Type.TString, Type.TNull]>;
     position: Type.TNumber;
     checksum: Type.TString;
+    descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+    combinedChecksum: Type.TString;
     type: Type.TLiteral<"operator">;
     operator: Type.TUnion<[Type.TLiteral<"not">, Type.TLiteral<"and">, Type.TLiteral<"or">, Type.TLiteral<"implies">, Type.TLiteral<"iff">]>;
 }>;
@@ -35,6 +39,8 @@ export declare const CoreFormulaExpressionSchema: Type.TObject<{
     parentId: Type.TUnion<[Type.TString, Type.TNull]>;
     position: Type.TNumber;
     checksum: Type.TString;
+    descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+    combinedChecksum: Type.TString;
     type: Type.TLiteral<"formula">;
 }>;
 export type TCoreFormulaExpression = Static<typeof CoreFormulaExpressionSchema>;
@@ -46,6 +52,8 @@ export declare const CorePropositionalExpressionSchema: Type.TUnion<[Type.TObjec
     parentId: Type.TUnion<[Type.TString, Type.TNull]>;
     position: Type.TNumber;
     checksum: Type.TString;
+    descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+    combinedChecksum: Type.TString;
     type: Type.TLiteral<"variable">;
     variableId: Type.TString;
 }>, Type.TObject<{
@@ -56,6 +64,8 @@ export declare const CorePropositionalExpressionSchema: Type.TUnion<[Type.TObjec
     parentId: Type.TUnion<[Type.TString, Type.TNull]>;
     position: Type.TNumber;
     checksum: Type.TString;
+    descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+    combinedChecksum: Type.TString;
     type: Type.TLiteral<"operator">;
     operator: Type.TUnion<[Type.TLiteral<"not">, Type.TLiteral<"and">, Type.TLiteral<"or">, Type.TLiteral<"implies">, Type.TLiteral<"iff">]>;
 }>, Type.TObject<{
@@ -66,6 +76,8 @@ export declare const CorePropositionalExpressionSchema: Type.TUnion<[Type.TObjec
     parentId: Type.TUnion<[Type.TString, Type.TNull]>;
     position: Type.TNumber;
     checksum: Type.TString;
+    descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+    combinedChecksum: Type.TString;
     type: Type.TLiteral<"formula">;
 }>]>;
 export type TCorePropositionalExpressionCombined = Static<typeof CorePropositionalExpressionSchema>;
@@ -121,6 +133,8 @@ export declare const CorePremiseSchema: Type.TObject<{
     argumentId: Type.TString;
     argumentVersion: Type.TNumber;
     checksum: Type.TString;
+    descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+    combinedChecksum: Type.TString;
 }>;
 export type TCorePremise = Static<typeof CorePremiseSchema>;
 //# sourceMappingURL=propositional.d.ts.map

package/dist/lib/schemata/propositional.d.ts.map

@@ -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;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;AAc9D,eAAO,MAAM,4BAA4B;;;;;;;;EAaxC,CAAA;AAED,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,4BAA4B,CAAC,CAAA;AAE7E,eAAO,MAAM,8BAA8B;;;;;;;;;EAe1C,CAAA;AAED,MAAM,MAAM,qBAAqB,GAAG,MAAM,CACtC,OAAO,8BAA8B,CACxC,CAAA;AAED,eAAO,MAAM,+BAA+B;;;;;;;;;;;;;;;;;IAG1C,CAAA;AAEF,MAAM,MAAM,0BAA0B,GAAG,MAAM,CAC3C,OAAO,+BAA+B,CACzC,CAAA;AAED,iEAAiE;AACjE,wBAAgB,YAAY,CACxB,CAAC,EAAE,0BAA0B,GAC9B,CAAC,IAAI,mBAAmB,CAE1B;AAED,mEAAmE;AACnE,wBAAgB,cAAc,CAC1B,CAAC,EAAE,0BAA0B,GAC9B,CAAC,IAAI,qBAAqB,CAE5B;AAED,eAAO,MAAM,iBAAiB;;;;;EAc7B,CAAA;AAED,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA"}
+{"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;AA+BD,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;AAc9D,eAAO,MAAM,4BAA4B;;;;;;;;EAaxC,CAAA;AAED,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,4BAA4B,CAAC,CAAA;AAE7E,eAAO,MAAM,8BAA8B;;;;;;;;;EAe1C,CAAA;AAED,MAAM,MAAM,qBAAqB,GAAG,MAAM,CACtC,OAAO,8BAA8B,CACxC,CAAA;AAED,eAAO,MAAM,+BAA+B;;;;;;;;;;;;;;;;;IAG1C,CAAA;AAEF,MAAM,MAAM,0BAA0B,GAAG,MAAM,CAC3C,OAAO,+BAA+B,CACzC,CAAA;AAED,iEAAiE;AACjE,wBAAgB,YAAY,CACxB,CAAC,EAAE,0BAA0B,GAC9B,CAAC,IAAI,mBAAmB,CAE1B;AAED,mEAAmE;AACnE,wBAAgB,cAAc,CAC1B,CAAC,EAAE,0BAA0B,GAC9B,CAAC,IAAI,qBAAqB,CAE5B;AAED,eAAO,MAAM,iBAAiB;;;;;;;EAsB7B,CAAA;AAED,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA"}

package/dist/lib/schemata/propositional.js

@@ -22,6 +22,12 @@ const BasePropositionalExpressionSchema = Type.Object({
     checksum: Type.String({
         description: "Entity-level checksum for sync detection.",
     }),
+    descendantChecksum: Nullable(Type.String(), {
+        description: "Checksum derived from direct children's combinedChecksums. Null for leaf expressions.",
+    }),
+    combinedChecksum: Type.String({
+        description: "Hash of checksum + descendantChecksum. Equals checksum when descendantChecksum is null.",
+    }),
 });
 export const CorePropositionalVariableExpressionSchema = Type.Interface([BasePropositionalExpressionSchema], {
     type: VariableType,
@@ -97,6 +103,12 @@ export const CorePremiseSchema = Type.Object({
     checksum: Type.String({
         description: "Premise-level checksum for sync detection.",
     }),
+    descendantChecksum: Nullable(Type.String(), {
+        description: "Checksum derived from descendant expression tree. Null if premise has no expressions.",
+    }),
+    combinedChecksum: Type.String({
+        description: "Hash of checksum + descendantChecksum. Equals checksum when descendantChecksum is null.",
+    }),
 }, {
     additionalProperties: true,
     description: "A premise entity with identity and metadata. Expressions and variables are managed by PremiseEngine.",

package/dist/lib/schemata/propositional.js.map

@@ -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,SAAS,EAAE,IAAI;IACf,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE;QACrB,WAAW,EACP,sFAAsF;KAC7F,CAAC;IAEF,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,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,sBAAsB,GAAG;IAC3B,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC;QAChB,WAAW,EAAE,0DAA0D;KAC1E,CAAC;IACF,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,WAAW,EAAE,2CAA2C;KAC3D,CAAC;CACL,CAAA;AAED,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,CAAC,MAAM,CACnD;IACI,GAAG,sBAAsB;IACzB,OAAO,EAAE,IAAI;IACb,YAAY,EAAE,IAAI,CAAC,MAAM,CAAC;QACtB,WAAW,EAAE,oDAAoD;KACpE,CAAC;CACL,EACD;IACI,oBAAoB,EAAE,IAAI;IAC1B,WAAW,EACP,kEAAkE;CACzE,CACJ,CAAA;AAID,MAAM,CAAC,MAAM,8BAA8B,GAAG,IAAI,CAAC,MAAM,CACrD;IACI,GAAG,sBAAsB;IACzB,cAAc,EAAE,IAAI;IACpB,eAAe,EAAE,IAAI;IACrB,oBAAoB,EAAE,IAAI,CAAC,MAAM,CAAC;QAC9B,WAAW,EACP,0DAA0D;KACjE,CAAC;CACL,EACD;IACI,oBAAoB,EAAE,IAAI;IAC1B,WAAW,EACP,wGAAwG;CAC/G,CACJ,CAAA;AAMD,MAAM,CAAC,MAAM,+BAA+B,GAAG,IAAI,CAAC,KAAK,CAAC;IACtD,4BAA4B;IAC5B,8BAA8B;CACjC,CAAC,CAAA;AAMF,iEAAiE;AACjE,MAAM,UAAU,YAAY,CACxB,CAA6B;IAE7B,OAAO,SAAS,IAAI,CAAC,CAAA;AACzB,CAAC;AAED,mEAAmE;AACnE,MAAM,UAAU,cAAc,CAC1B,CAA6B;IAE7B,OAAO,gBAAgB,IAAI,CAAC,CAAA;AAChC,CAAC;AAED,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,MAAM,CACxC;IACI,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,WAAW,EAAE,4CAA4C;KAC5D,CAAC;CACL,EACD;IACI,oBAAoB,EAAE,IAAI;IAC1B,WAAW,EACP,sGAAsG;CAC7G,CACJ,CAAA"}
+{"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,SAAS,EAAE,IAAI;IACf,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE;QACrB,WAAW,EACP,sFAAsF;KAC7F,CAAC;IAEF,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,WAAW,EACP,0IAA0I;KACjJ,CAAC;IAEF,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,WAAW,EAAE,2CAA2C;KAC3D,CAAC;IAEF,kBAAkB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE;QACxC,WAAW,EACP,uFAAuF;KAC9F,CAAC;IACF,gBAAgB,EAAE,IAAI,CAAC,MAAM,CAAC;QAC1B,WAAW,EACP,yFAAyF;KAChG,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,sBAAsB,GAAG;IAC3B,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC;QAChB,WAAW,EAAE,0DAA0D;KAC1E,CAAC;IACF,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,WAAW,EAAE,2CAA2C;KAC3D,CAAC;CACL,CAAA;AAED,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,CAAC,MAAM,CACnD;IACI,GAAG,sBAAsB;IACzB,OAAO,EAAE,IAAI;IACb,YAAY,EAAE,IAAI,CAAC,MAAM,CAAC;QACtB,WAAW,EAAE,oDAAoD;KACpE,CAAC;CACL,EACD;IACI,oBAAoB,EAAE,IAAI;IAC1B,WAAW,EACP,kEAAkE;CACzE,CACJ,CAAA;AAID,MAAM,CAAC,MAAM,8BAA8B,GAAG,IAAI,CAAC,MAAM,CACrD;IACI,GAAG,sBAAsB;IACzB,cAAc,EAAE,IAAI;IACpB,eAAe,EAAE,IAAI;IACrB,oBAAoB,EAAE,IAAI,CAAC,MAAM,CAAC;QAC9B,WAAW,EACP,0DAA0D;KACjE,CAAC;CACL,EACD;IACI,oBAAoB,EAAE,IAAI;IAC1B,WAAW,EACP,wGAAwG;CAC/G,CACJ,CAAA;AAMD,MAAM,CAAC,MAAM,+BAA+B,GAAG,IAAI,CAAC,KAAK,CAAC;IACtD,4BAA4B;IAC5B,8BAA8B;CACjC,CAAC,CAAA;AAMF,iEAAiE;AACjE,MAAM,UAAU,YAAY,CACxB,CAA6B;IAE7B,OAAO,SAAS,IAAI,CAAC,CAAA;AACzB,CAAC;AAED,mEAAmE;AACnE,MAAM,UAAU,cAAc,CAC1B,CAA6B;IAE7B,OAAO,gBAAgB,IAAI,CAAC,CAAA;AAChC,CAAC;AAED,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,MAAM,CACxC;IACI,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,WAAW,EAAE,4CAA4C;KAC5D,CAAC;IACF,kBAAkB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE;QACxC,WAAW,EACP,uFAAuF;KAC9F,CAAC;IACF,gBAAgB,EAAE,IAAI,CAAC,MAAM,CAAC;QAC1B,WAAW,EACP,yFAAyF;KAChG,CAAC;CACL,EACD;IACI,oBAAoB,EAAE,IAAI;IAC1B,WAAW,EACP,sGAAsG;CAC7G,CACJ,CAAA"}

package/dist/lib/schemata/shared.d.ts

@@ -25,8 +25,14 @@ export type TJsonArray = TJsonValue[];
 export declare const Nullable: <T extends TSchema>(schema: T, options?: Omit<TSchemaOptions, "default">) => Type.TUnion<[T, Type.TNull]>;
 export declare const UUID: Type.TString;
 export type TUUID = Static<typeof UUID>;
-/** Makes the `checksum` field optional on a type that has one. */
+/** Makes the `checksum`, `descendantChecksum`, and `combinedChecksum` fields optional on a type that has them. */
 export type TOptionalChecksum<T extends {
     checksum?: unknown;
-}> = Omit<T, "checksum"> & Partial<Pick<T, "checksum">>;
+}> = Omit<T, "checksum" | "descendantChecksum" | "combinedChecksum"> & Partial<Pick<T, Extract<keyof T, "checksum" | "descendantChecksum" | "combinedChecksum">>>;
+/** Makes checksum, descendantChecksum, and combinedChecksum optional on a hierarchical entity type. */
+export type TOptionalHierarchicalChecksum<T extends {
+    checksum: unknown;
+    descendantChecksum: unknown;
+    combinedChecksum: unknown;
+}> = Omit<T, "checksum" | "descendantChecksum" | "combinedChecksum"> & Partial<Pick<T, "checksum" | "descendantChecksum" | "combinedChecksum">>;
 //# sourceMappingURL=shared.d.ts.map

package/dist/lib/schemata/shared.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"shared.d.ts","sourceRoot":"","sources":["../../../src/lib/schemata/shared.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,KAAK,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,SAAS,CAAA;AAK9E,qBAAa,SAAU,SAAQ,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IAC1C,SAAgB,IAAI,kBAAO;IAEX,KAAK,CAAC,KAAK,EAAE,OAAO;IAGpB,MAAM,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,EAAE;IAIhC,OAAO,CAAC,KAAK,EAAE,OAAO;IAQtB,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;CAG3C;AACD,wBAAgB,QAAQ,IAAI,SAAS,CAEpC;AACD,eAAO,MAAM,aAAa,WAAa,CAAA;AAKvC,eAAO,MAAM,mBAAmB,iFAM9B,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAE/D,eAAO,MAAM,eAAe;;qBAa3B,CAAA;AAED,eAAO,MAAM,gBAAgB,iCAAyC,CAAA;AAEtE,eAAO,MAAM,eAAe;;sBAA8B,CAAA;AAI1D,MAAM,MAAM,UAAU,GAChB,cAAc,GACd;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,UAAU,CAAA;CAAE,GAC7B,UAAU,EAAE,CAAA;AAClB,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;AACpD,MAAM,MAAM,UAAU,GAAG,UAAU,EAAE,CAAA;AAKrC,eAAO,MAAM,QAAQ,GAAI,CAAC,SAAS,OAAO,EACtC,QAAQ,CAAC,EACT,UAAU,IAAI,CAAC,cAAc,EAAE,SAAS,CAAC,iCAG5C,CAAA;AACD,eAAO,MAAM,IAAI,cAAgB,CAAA;AACjC,MAAM,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,IAAI,CAAC,CAAA;AAEvC,kEAAkE;AAClE,MAAM,MAAM,iBAAiB,CAAC,CAAC,SAAS;IAAE,QAAQ,CAAC,EAAE,OAAO,CAAA;CAAE,IAAI,IAAI,CAClE,CAAC,EACD,UAAU,CACb,GACG,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAA"}
+{"version":3,"file":"shared.d.ts","sourceRoot":"","sources":["../../../src/lib/schemata/shared.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,KAAK,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,SAAS,CAAA;AAK9E,qBAAa,SAAU,SAAQ,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IAC1C,SAAgB,IAAI,kBAAO;IAEX,KAAK,CAAC,KAAK,EAAE,OAAO;IAGpB,MAAM,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,EAAE;IAIhC,OAAO,CAAC,KAAK,EAAE,OAAO;IAQtB,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;CAG3C;AACD,wBAAgB,QAAQ,IAAI,SAAS,CAEpC;AACD,eAAO,MAAM,aAAa,WAAa,CAAA;AAKvC,eAAO,MAAM,mBAAmB,iFAM9B,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAE/D,eAAO,MAAM,eAAe;;qBAa3B,CAAA;AAED,eAAO,MAAM,gBAAgB,iCAAyC,CAAA;AAEtE,eAAO,MAAM,eAAe;;sBAA8B,CAAA;AAI1D,MAAM,MAAM,UAAU,GAChB,cAAc,GACd;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,UAAU,CAAA;CAAE,GAC7B,UAAU,EAAE,CAAA;AAClB,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;AACpD,MAAM,MAAM,UAAU,GAAG,UAAU,EAAE,CAAA;AAKrC,eAAO,MAAM,QAAQ,GAAI,CAAC,SAAS,OAAO,EACtC,QAAQ,CAAC,EACT,UAAU,IAAI,CAAC,cAAc,EAAE,SAAS,CAAC,iCAG5C,CAAA;AACD,eAAO,MAAM,IAAI,cAAgB,CAAA;AACjC,MAAM,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,IAAI,CAAC,CAAA;AAEvC,kHAAkH;AAClH,MAAM,MAAM,iBAAiB,CAAC,CAAC,SAAS;IAAE,QAAQ,CAAC,EAAE,OAAO,CAAA;CAAE,IAAI,IAAI,CAClE,CAAC,EACD,UAAU,GAAG,oBAAoB,GAAG,kBAAkB,CACzD,GACG,OAAO,CACH,IAAI,CACA,CAAC,EACD,OAAO,CACH,MAAM,CAAC,EACP,UAAU,GAAG,oBAAoB,GAAG,kBAAkB,CACzD,CACJ,CACJ,CAAA;AAEL,uGAAuG;AACvG,MAAM,MAAM,6BAA6B,CACrC,CAAC,SAAS;IACN,QAAQ,EAAE,OAAO,CAAA;IACjB,kBAAkB,EAAE,OAAO,CAAA;IAC3B,gBAAgB,EAAE,OAAO,CAAA;CAC5B,IACD,IAAI,CAAC,CAAC,EAAE,UAAU,GAAG,oBAAoB,GAAG,kBAAkB,CAAC,GAC/D,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,UAAU,GAAG,oBAAoB,GAAG,kBAAkB,CAAC,CAAC,CAAA"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@polintpro/proposit-core",
-  "version": "0.5.12",
+  "version": "0.6.2",
   "description": "Core engine for building and manipulating propositional logic arguments.",
   "license": "MIT",
   "keywords": [