@polintpro/proposit-core 0.4.0 → 0.5.0

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,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,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;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,WAAW,EAAE,IAAI;IACjB,gBAAgB,EAAE,IAAI,CAAC,MAAM,CAAC;QAC1B,WAAW,EACP,wDAAwD;KAC/D,CAAC;IACF,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,WAAW,EAAE,2CAA2C;KAC3D,CAAC;CACL,EACD;IACI,oBAAoB,EAAE,IAAI;IAC1B,WAAW,EACP,0GAA0G;CACjH,CACJ,CAAA;AAMD,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"}

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

@@ -1,14 +1,15 @@
 import Type, { type Static } from "typebox";
 export declare const CoreSourceSchema: Type.TObject<{
     id: Type.TString;
-    argumentId: Type.TString;
-    argumentVersion: Type.TNumber;
+    version: Type.TNumber;
+    frozen: Type.TBoolean;
     checksum: Type.TString;
 }>;
 export type TCoreSource = Static<typeof CoreSourceSchema>;
 export declare const CoreVariableSourceAssociationSchema: Type.TObject<{
     id: Type.TString;
     sourceId: Type.TString;
+    sourceVersion: Type.TNumber;
     variableId: Type.TString;
     argumentId: Type.TString;
     argumentVersion: Type.TNumber;
@@ -18,6 +19,7 @@ export type TCoreVariableSourceAssociation = Static<typeof CoreVariableSourceAss
 export declare const CoreExpressionSourceAssociationSchema: Type.TObject<{
     id: Type.TString;
     sourceId: Type.TString;
+    sourceVersion: Type.TNumber;
     expressionId: Type.TString;
     premiseId: Type.TString;
     argumentId: Type.TString;

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

@@ -1 +1 @@
-{"version":3,"file":"source.d.ts","sourceRoot":"","sources":["../../../src/lib/schemata/source.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAG3C,eAAO,MAAM,gBAAgB;;;;;EAc5B,CAAA;AACD,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC,OAAO,gBAAgB,CAAC,CAAA;AAEzD,eAAO,MAAM,mCAAmC;;;;;;;EAS9C,CAAA;AACF,MAAM,MAAM,8BAA8B,GAAG,MAAM,CAC/C,OAAO,mCAAmC,CAC7C,CAAA;AAED,eAAO,MAAM,qCAAqC;;;;;;;;EAUhD,CAAA;AACF,MAAM,MAAM,gCAAgC,GAAG,MAAM,CACjD,OAAO,qCAAqC,CAC/C,CAAA"}
+{"version":3,"file":"source.d.ts","sourceRoot":"","sources":["../../../src/lib/schemata/source.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAG3C,eAAO,MAAM,gBAAgB;;;;;EAmB5B,CAAA;AACD,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC,OAAO,gBAAgB,CAAC,CAAA;AAEzD,eAAO,MAAM,mCAAmC;;;;;;;;EAY9C,CAAA;AACF,MAAM,MAAM,8BAA8B,GAAG,MAAM,CAC/C,OAAO,mCAAmC,CAC7C,CAAA;AAED,eAAO,MAAM,qCAAqC;;;;;;;;;EAahD,CAAA;AACF,MAAM,MAAM,gCAAgC,GAAG,MAAM,CACjD,OAAO,qCAAqC,CAC/C,CAAA"}

package/dist/lib/schemata/source.js

@@ -2,18 +2,25 @@ import Type, {} from "typebox";
 import { UUID } from "./shared.js";
 export const CoreSourceSchema = Type.Object({
     id: UUID,
-    argumentId: UUID,
-    argumentVersion: Type.Number(),
+    version: Type.Number({
+        description: "Source version number. Starts at 0.",
+    }),
+    frozen: Type.Boolean({
+        description: "Whether this version is frozen (immutable). Frozen versions cannot be updated.",
+    }),
     checksum: Type.String({
         description: "Source-level checksum for sync detection.",
     }),
 }, {
     additionalProperties: true,
-    description: "A source entity providing evidentiary support for variables or expressions.",
+    description: "A global source entity providing evidentiary support for variables or expressions.",
 });
 export const CoreVariableSourceAssociationSchema = Type.Object({
     id: UUID,
     sourceId: UUID,
+    sourceVersion: Type.Number({
+        description: "The version of the source this association pins to.",
+    }),
     variableId: UUID,
     argumentId: UUID,
     argumentVersion: Type.Number(),
@@ -24,6 +31,9 @@ export const CoreVariableSourceAssociationSchema = Type.Object({
 export const CoreExpressionSourceAssociationSchema = Type.Object({
     id: UUID,
     sourceId: UUID,
+    sourceVersion: Type.Number({
+        description: "The version of the source this association pins to.",
+    }),
     expressionId: UUID,
     premiseId: UUID,
     argumentId: UUID,

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

@@ -1 +1 @@
-{"version":3,"file":"source.js","sourceRoot":"","sources":["../../../src/lib/schemata/source.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,MAAM,aAAa,CAAA;AAElC,MAAM,CAAC,MAAM,gBAAgB,GAAG,IAAI,CAAC,MAAM,CACvC;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,2CAA2C;KAC3D,CAAC;CACL,EACD;IACI,oBAAoB,EAAE,IAAI;IAC1B,WAAW,EACP,6EAA6E;CACpF,CACJ,CAAA;AAGD,MAAM,CAAC,MAAM,mCAAmC,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3D,EAAE,EAAE,IAAI;IACR,QAAQ,EAAE,IAAI;IACd,UAAU,EAAE,IAAI;IAChB,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,WAAW,EAAE,0CAA0C;KAC1D,CAAC;CACL,CAAC,CAAA;AAKF,MAAM,CAAC,MAAM,qCAAqC,GAAG,IAAI,CAAC,MAAM,CAAC;IAC7D,EAAE,EAAE,IAAI;IACR,QAAQ,EAAE,IAAI;IACd,YAAY,EAAE,IAAI;IAClB,SAAS,EAAE,IAAI;IACf,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,WAAW,EAAE,0CAA0C;KAC1D,CAAC;CACL,CAAC,CAAA"}
+{"version":3,"file":"source.js","sourceRoot":"","sources":["../../../src/lib/schemata/source.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,MAAM,aAAa,CAAA;AAElC,MAAM,CAAC,MAAM,gBAAgB,GAAG,IAAI,CAAC,MAAM,CACvC;IACI,EAAE,EAAE,IAAI;IACR,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC;QACjB,WAAW,EAAE,qCAAqC;KACrD,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,oFAAoF;CAC3F,CACJ,CAAA;AAGD,MAAM,CAAC,MAAM,mCAAmC,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3D,EAAE,EAAE,IAAI;IACR,QAAQ,EAAE,IAAI;IACd,aAAa,EAAE,IAAI,CAAC,MAAM,CAAC;QACvB,WAAW,EAAE,qDAAqD;KACrE,CAAC;IACF,UAAU,EAAE,IAAI;IAChB,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,WAAW,EAAE,0CAA0C;KAC1D,CAAC;CACL,CAAC,CAAA;AAKF,MAAM,CAAC,MAAM,qCAAqC,GAAG,IAAI,CAAC,MAAM,CAAC;IAC7D,EAAE,EAAE,IAAI;IACR,QAAQ,EAAE,IAAI;IACd,aAAa,EAAE,IAAI,CAAC,MAAM,CAAC;QACvB,WAAW,EAAE,qDAAqD;KACrE,CAAC;IACF,YAAY,EAAE,IAAI;IAClB,SAAS,EAAE,IAAI;IACf,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,WAAW,EAAE,0CAA0C;KAC1D,CAAC;CACL,CAAC,CAAA"}

package/dist/lib/types/checksum.d.ts

@@ -10,7 +10,9 @@ export interface TCoreChecksumConfig {
     argumentFields?: Set<string>;
     /** Fields to hash for role state. Defaults to ["conclusionPremiseId"]. */
     roleFields?: Set<string>;
-    /** Fields to hash for source entities. Defaults to ["id", "argumentId", "argumentVersion"]. */
+    /** Fields to hash for assertion entities. Defaults to ["id", "version"]. */
+    assertionFields?: Set<string>;
+    /** Fields to hash for source entities. Defaults to ["id", "version"]. */
     sourceFields?: Set<string>;
     /** Fields to hash for variable-source associations. */
     variableSourceAssociationFields?: Set<string>;

package/dist/lib/types/checksum.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"checksum.d.ts","sourceRoot":"","sources":["../../../src/lib/types/checksum.ts"],"names":[],"mappings":"AAAA,qEAAqE;AACrE,MAAM,WAAW,mBAAmB;IAChC,sFAAsF;IACtF,gBAAgB,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC9B,6EAA6E;IAC7E,cAAc,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC5B,gGAAgG;IAChG,aAAa,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC3B,2EAA2E;IAC3E,cAAc,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC5B,0EAA0E;IAC1E,UAAU,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IACxB,+FAA+F;IAC/F,YAAY,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC1B,uDAAuD;IACvD,+BAA+B,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC7C,yDAAyD;IACzD,iCAAiC,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;CAClD"}
+{"version":3,"file":"checksum.d.ts","sourceRoot":"","sources":["../../../src/lib/types/checksum.ts"],"names":[],"mappings":"AAAA,qEAAqE;AACrE,MAAM,WAAW,mBAAmB;IAChC,sFAAsF;IACtF,gBAAgB,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC9B,6EAA6E;IAC7E,cAAc,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC5B,gGAAgG;IAChG,aAAa,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC3B,2EAA2E;IAC3E,cAAc,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC5B,0EAA0E;IAC1E,UAAU,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IACxB,4EAA4E;IAC5E,eAAe,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC7B,yEAAyE;IACzE,YAAY,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC1B,uDAAuD;IACvD,+BAA+B,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC7C,yDAAyD;IACzD,iCAAiC,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;CAClD"}

package/dist/lib/types/diff.d.ts

@@ -1,4 +1,4 @@
-import type { TCoreArgument, TCorePremise, TCorePropositionalExpression, TCorePropositionalVariable, TCoreSource, TCoreVariableSourceAssociation, TCoreExpressionSourceAssociation } from "../schemata/index.js";
+import type { TCoreArgument, TCorePremise, TCorePropositionalExpression, TCorePropositionalVariable, TCoreVariableSourceAssociation, TCoreExpressionSourceAssociation } from "../schemata/index.js";
 /** A single field-level change on an entity. */
 export interface TCoreFieldChange {
     field: string;
@@ -36,24 +36,22 @@ export interface TCoreRoleDiff {
     };
 }
 /** Top-level diff result from `diffArguments`. */
-export interface TCoreArgumentDiff<TArg extends TCoreArgument = TCoreArgument, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TSource extends TCoreSource = TCoreSource> {
+export interface TCoreArgumentDiff<TArg extends TCoreArgument = TCoreArgument, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression> {
     argument: TCoreEntityFieldDiff<TArg>;
     variables: TCoreEntitySetDiff<TVar>;
     premises: TCorePremiseSetDiff<TPremise, TExpr>;
     roles: TCoreRoleDiff;
-    sources: TCoreEntitySetDiff<TSource>;
     variableSourceAssociations: TCoreEntitySetDiff<TCoreVariableSourceAssociation>;
     expressionSourceAssociations: TCoreEntitySetDiff<TCoreExpressionSourceAssociation>;
 }
 /** A comparator receives two matched objects and returns field-level changes. */
 export type TCoreFieldComparator<T> = (before: T, after: T) => TCoreFieldChange[];
 /** Per-entity comparator overrides for `diffArguments`. */
-export interface TCoreDiffOptions<TArg extends TCoreArgument = TCoreArgument, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TSource extends TCoreSource = TCoreSource> {
+export interface TCoreDiffOptions<TArg extends TCoreArgument = TCoreArgument, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression> {
     compareArgument?: TCoreFieldComparator<TArg>;
     compareVariable?: TCoreFieldComparator<TVar>;
     comparePremise?: TCoreFieldComparator<TPremise>;
     compareExpression?: TCoreFieldComparator<TExpr>;
-    compareSource?: TCoreFieldComparator<TSource>;
     compareVariableSourceAssociation?: TCoreFieldComparator<TCoreVariableSourceAssociation>;
     compareExpressionSourceAssociation?: TCoreFieldComparator<TCoreExpressionSourceAssociation>;
 }

package/dist/lib/types/diff.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"diff.d.ts","sourceRoot":"","sources":["../../../src/lib/types/diff.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC1B,WAAW,EACX,8BAA8B,EAC9B,gCAAgC,EACnC,MAAM,sBAAsB,CAAA;AAE7B,gDAAgD;AAChD,MAAM,WAAW,gBAAgB;IAC7B,KAAK,EAAE,MAAM,CAAA;IACb,MAAM,EAAE,OAAO,CAAA;IACf,KAAK,EAAE,OAAO,CAAA;CACjB;AAED,oDAAoD;AACpD,MAAM,WAAW,oBAAoB,CAAC,CAAC;IACnC,MAAM,EAAE,CAAC,CAAA;IACT,KAAK,EAAE,CAAC,CAAA;IACR,OAAO,EAAE,gBAAgB,EAAE,CAAA;CAC9B;AAED,4DAA4D;AAC5D,MAAM,WAAW,kBAAkB,CAAC,CAAC,SAAS;IAAE,EAAE,EAAE,MAAM,CAAA;CAAE;IACxD,KAAK,EAAE,CAAC,EAAE,CAAA;IACV,OAAO,EAAE,CAAC,EAAE,CAAA;IACZ,QAAQ,EAAE,oBAAoB,CAAC,CAAC,CAAC,EAAE,CAAA;CACtC;AAED,qDAAqD;AACrD,MAAM,WAAW,gBAAgB,CAC7B,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,CAC3E,SAAQ,oBAAoB,CAAC,QAAQ,CAAC;IACpC,WAAW,EAAE,kBAAkB,CAAC,KAAK,CAAC,CAAA;CACzC;AAED,MAAM,WAAW,mBAAmB,CAChC,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B;IAEzE,KAAK,EAAE,QAAQ,EAAE,CAAA;IACjB,OAAO,EAAE,QAAQ,EAAE,CAAA;IACnB,QAAQ,EAAE,gBAAgB,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAA;CAChD;AAED,kDAAkD;AAClD,MAAM,WAAW,aAAa;IAC1B,UAAU,EAAE;QAAE,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;QAAC,KAAK,EAAE,MAAM,GAAG,SAAS,CAAA;KAAE,CAAA;CACxE;AAED,kDAAkD;AAClD,MAAM,WAAW,iBAAiB,CAC9B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,OAAO,SAAS,WAAW,GAAG,WAAW;IAEzC,QAAQ,EAAE,oBAAoB,CAAC,IAAI,CAAC,CAAA;IACpC,SAAS,EAAE,kBAAkB,CAAC,IAAI,CAAC,CAAA;IACnC,QAAQ,EAAE,mBAAmB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;IAC9C,KAAK,EAAE,aAAa,CAAA;IACpB,OAAO,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAA;IACpC,0BAA0B,EAAE,kBAAkB,CAAC,8BAA8B,CAAC,CAAA;IAC9E,4BAA4B,EAAE,kBAAkB,CAAC,gCAAgC,CAAC,CAAA;CACrF;AAED,iFAAiF;AACjF,MAAM,MAAM,oBAAoB,CAAC,CAAC,IAAI,CAClC,MAAM,EAAE,CAAC,EACT,KAAK,EAAE,CAAC,KACP,gBAAgB,EAAE,CAAA;AAEvB,2DAA2D;AAC3D,MAAM,WAAW,gBAAgB,CAC7B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,OAAO,SAAS,WAAW,GAAG,WAAW;IAEzC,eAAe,CAAC,EAAE,oBAAoB,CAAC,IAAI,CAAC,CAAA;IAC5C,eAAe,CAAC,EAAE,oBAAoB,CAAC,IAAI,CAAC,CAAA;IAC5C,cAAc,CAAC,EAAE,oBAAoB,CAAC,QAAQ,CAAC,CAAA;IAC/C,iBAAiB,CAAC,EAAE,oBAAoB,CAAC,KAAK,CAAC,CAAA;IAC/C,aAAa,CAAC,EAAE,oBAAoB,CAAC,OAAO,CAAC,CAAA;IAC7C,gCAAgC,CAAC,EAAE,oBAAoB,CAAC,8BAA8B,CAAC,CAAA;IACvF,kCAAkC,CAAC,EAAE,oBAAoB,CAAC,gCAAgC,CAAC,CAAA;CAC9F"}
+{"version":3,"file":"diff.d.ts","sourceRoot":"","sources":["../../../src/lib/types/diff.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC1B,8BAA8B,EAC9B,gCAAgC,EACnC,MAAM,sBAAsB,CAAA;AAE7B,gDAAgD;AAChD,MAAM,WAAW,gBAAgB;IAC7B,KAAK,EAAE,MAAM,CAAA;IACb,MAAM,EAAE,OAAO,CAAA;IACf,KAAK,EAAE,OAAO,CAAA;CACjB;AAED,oDAAoD;AACpD,MAAM,WAAW,oBAAoB,CAAC,CAAC;IACnC,MAAM,EAAE,CAAC,CAAA;IACT,KAAK,EAAE,CAAC,CAAA;IACR,OAAO,EAAE,gBAAgB,EAAE,CAAA;CAC9B;AAED,4DAA4D;AAC5D,MAAM,WAAW,kBAAkB,CAAC,CAAC,SAAS;IAAE,EAAE,EAAE,MAAM,CAAA;CAAE;IACxD,KAAK,EAAE,CAAC,EAAE,CAAA;IACV,OAAO,EAAE,CAAC,EAAE,CAAA;IACZ,QAAQ,EAAE,oBAAoB,CAAC,CAAC,CAAC,EAAE,CAAA;CACtC;AAED,qDAAqD;AACrD,MAAM,WAAW,gBAAgB,CAC7B,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,CAC3E,SAAQ,oBAAoB,CAAC,QAAQ,CAAC;IACpC,WAAW,EAAE,kBAAkB,CAAC,KAAK,CAAC,CAAA;CACzC;AAED,MAAM,WAAW,mBAAmB,CAChC,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B;IAEzE,KAAK,EAAE,QAAQ,EAAE,CAAA;IACjB,OAAO,EAAE,QAAQ,EAAE,CAAA;IACnB,QAAQ,EAAE,gBAAgB,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAA;CAChD;AAED,kDAAkD;AAClD,MAAM,WAAW,aAAa;IAC1B,UAAU,EAAE;QAAE,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;QAAC,KAAK,EAAE,MAAM,GAAG,SAAS,CAAA;KAAE,CAAA;CACxE;AAED,kDAAkD;AAClD,MAAM,WAAW,iBAAiB,CAC9B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B;IAEzE,QAAQ,EAAE,oBAAoB,CAAC,IAAI,CAAC,CAAA;IACpC,SAAS,EAAE,kBAAkB,CAAC,IAAI,CAAC,CAAA;IACnC,QAAQ,EAAE,mBAAmB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;IAC9C,KAAK,EAAE,aAAa,CAAA;IACpB,0BAA0B,EAAE,kBAAkB,CAAC,8BAA8B,CAAC,CAAA;IAC9E,4BAA4B,EAAE,kBAAkB,CAAC,gCAAgC,CAAC,CAAA;CACrF;AAED,iFAAiF;AACjF,MAAM,MAAM,oBAAoB,CAAC,CAAC,IAAI,CAClC,MAAM,EAAE,CAAC,EACT,KAAK,EAAE,CAAC,KACP,gBAAgB,EAAE,CAAA;AAEvB,2DAA2D;AAC3D,MAAM,WAAW,gBAAgB,CAC7B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B;IAEzE,eAAe,CAAC,EAAE,oBAAoB,CAAC,IAAI,CAAC,CAAA;IAC5C,eAAe,CAAC,EAAE,oBAAoB,CAAC,IAAI,CAAC,CAAA;IAC5C,cAAc,CAAC,EAAE,oBAAoB,CAAC,QAAQ,CAAC,CAAA;IAC/C,iBAAiB,CAAC,EAAE,oBAAoB,CAAC,KAAK,CAAC,CAAA;IAC/C,gCAAgC,CAAC,EAAE,oBAAoB,CAAC,8BAA8B,CAAC,CAAA;IACvF,kCAAkC,CAAC,EAAE,oBAAoB,CAAC,gCAAgC,CAAC,CAAA;CAC9F"}

package/dist/lib/types/mutation.d.ts

@@ -1,6 +1,6 @@
 import type { TCorePropositionalExpression, TCorePropositionalVariable, TCorePremise } from "../schemata/propositional.js";
 import type { TCoreArgument, TCoreArgumentRoleState } from "../schemata/argument.js";
-import type { TCoreSource, TCoreVariableSourceAssociation, TCoreExpressionSourceAssociation } from "../schemata/index.js";
+import type { TCoreVariableSourceAssociation, TCoreExpressionSourceAssociation } from "../schemata/index.js";
 /** Added/modified/removed entities of one type within a single mutation. */
 export interface TCoreEntityChanges<T> {
     added: T[];
@@ -11,7 +11,7 @@ export interface TCoreEntityChanges<T> {
  * Entity-typed changeset produced by every mutating operation.
  * Only categories that were actually affected are present.
  */
-export interface TCoreChangeset<TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TPremise extends TCorePremise = TCorePremise, TArg extends TCoreArgument = TCoreArgument, TSource extends TCoreSource = TCoreSource> {
+export interface TCoreChangeset<TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TPremise extends TCorePremise = TCorePremise, TArg extends TCoreArgument = TCoreArgument> {
     expressions?: TCoreEntityChanges<TExpr>;
     variables?: TCoreEntityChanges<TVar>;
     premises?: TCoreEntityChanges<TPremise>;
@@ -19,7 +19,6 @@ export interface TCoreChangeset<TExpr extends TCorePropositionalExpression = TCo
     roles?: TCoreArgumentRoleState;
     /** New argument metadata, present only when argument changed. */
     argument?: TArg;
-    sources?: TCoreEntityChanges<TSource>;
     variableSourceAssociations?: TCoreEntityChanges<TCoreVariableSourceAssociation>;
     expressionSourceAssociations?: TCoreEntityChanges<TCoreExpressionSourceAssociation>;
 }
@@ -28,8 +27,8 @@ export interface TCoreChangeset<TExpr extends TCorePropositionalExpression = TCo
  * `result` is the direct answer (e.g. the removed expression).
  * `changes` is the full set of DB-level side effects.
  */
-export interface TCoreMutationResult<T, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TPremise extends TCorePremise = TCorePremise, TArg extends TCoreArgument = TCoreArgument, TSource extends TCoreSource = TCoreSource> {
+export interface TCoreMutationResult<T, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TPremise extends TCorePremise = TCorePremise, TArg extends TCoreArgument = TCoreArgument> {
     result: T;
-    changes: TCoreChangeset<TExpr, TVar, TPremise, TArg, TSource>;
+    changes: TCoreChangeset<TExpr, TVar, TPremise, TArg>;
 }
 //# sourceMappingURL=mutation.d.ts.map

package/dist/lib/types/mutation.d.ts.map

@@ -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;AAChC,OAAO,KAAK,EACR,WAAW,EACX,8BAA8B,EAC9B,gCAAgC,EACnC,MAAM,sBAAsB,CAAA;AAE7B,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,CAC3B,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,OAAO,SAAS,WAAW,GAAG,WAAW;IAEzC,WAAW,CAAC,EAAE,kBAAkB,CAAC,KAAK,CAAC,CAAA;IACvC,SAAS,CAAC,EAAE,kBAAkB,CAAC,IAAI,CAAC,CAAA;IACpC,QAAQ,CAAC,EAAE,kBAAkB,CAAC,QAAQ,CAAC,CAAA;IACvC,uDAAuD;IACvD,KAAK,CAAC,EAAE,sBAAsB,CAAA;IAC9B,iEAAiE;IACjE,QAAQ,CAAC,EAAE,IAAI,CAAA;IACf,OAAO,CAAC,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAA;IACrC,0BAA0B,CAAC,EAAE,kBAAkB,CAAC,8BAA8B,CAAC,CAAA;IAC/E,4BAA4B,CAAC,EAAE,kBAAkB,CAAC,gCAAgC,CAAC,CAAA;CACtF;AAED;;;;GAIG;AACH,MAAM,WAAW,mBAAmB,CAChC,CAAC,EACD,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,OAAO,SAAS,WAAW,GAAG,WAAW;IAEzC,MAAM,EAAE,CAAC,CAAA;IACT,OAAO,EAAE,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,CAAA;CAChE"}
+{"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,EACR,8BAA8B,EAC9B,gCAAgC,EACnC,MAAM,sBAAsB,CAAA;AAE7B,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,CAC3B,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,IAAI,SAAS,aAAa,GAAG,aAAa;IAE1C,WAAW,CAAC,EAAE,kBAAkB,CAAC,KAAK,CAAC,CAAA;IACvC,SAAS,CAAC,EAAE,kBAAkB,CAAC,IAAI,CAAC,CAAA;IACpC,QAAQ,CAAC,EAAE,kBAAkB,CAAC,QAAQ,CAAC,CAAA;IACvC,uDAAuD;IACvD,KAAK,CAAC,EAAE,sBAAsB,CAAA;IAC9B,iEAAiE;IACjE,QAAQ,CAAC,EAAE,IAAI,CAAA;IACf,0BAA0B,CAAC,EAAE,kBAAkB,CAAC,8BAA8B,CAAC,CAAA;IAC/E,4BAA4B,CAAC,EAAE,kBAAkB,CAAC,gCAAgC,CAAC,CAAA;CACtF;AAED;;;;GAIG;AACH,MAAM,WAAW,mBAAmB,CAChC,CAAC,EACD,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,IAAI,SAAS,aAAa,GAAG,aAAa;IAE1C,MAAM,EAAE,CAAC,CAAA;IACT,OAAO,EAAE,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAA;CACvD"}

package/dist/lib/types/reactive.d.ts

@@ -1,16 +1,15 @@
-import type { TCoreArgument, TCorePremise, TCorePropositionalExpression, TCorePropositionalVariable, TCoreSource, TCoreVariableSourceAssociation, TCoreExpressionSourceAssociation } from "../schemata/index.js";
+import type { TCoreArgument, TCorePremise, TCorePropositionalExpression, TCorePropositionalVariable, TCoreVariableSourceAssociation, TCoreExpressionSourceAssociation } from "../schemata/index.js";
 import type { TCoreArgumentRoleState } from "./evaluation.js";
 export type TReactivePremiseSnapshot<TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression> = {
     premise: TPremise;
     expressions: Record<string, TExpr>;
     rootExpressionId: string | undefined;
 };
-export type TReactiveSnapshot<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TSource extends TCoreSource = TCoreSource> = {
+export type TReactiveSnapshot<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable> = {
     argument: TArg;
     variables: Record<string, TVar>;
     premises: Record<string, TReactivePremiseSnapshot<TPremise, TExpr>>;
     roles: TCoreArgumentRoleState;
-    sources: Record<string, TSource>;
     variableSourceAssociations: Record<string, TCoreVariableSourceAssociation>;
     expressionSourceAssociations: Record<string, TCoreExpressionSourceAssociation>;
 };

package/dist/lib/types/reactive.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"reactive.d.ts","sourceRoot":"","sources":["../../../src/lib/types/reactive.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC1B,WAAW,EACX,8BAA8B,EAC9B,gCAAgC,EACnC,MAAM,sBAAsB,CAAA;AAC7B,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAA;AAE7D,MAAM,MAAM,wBAAwB,CAChC,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,IACzE;IACA,OAAO,EAAE,QAAQ,CAAA;IACjB,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;IAClC,gBAAgB,EAAE,MAAM,GAAG,SAAS,CAAA;CACvC,CAAA;AAED,MAAM,MAAM,iBAAiB,CACzB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,OAAO,SAAS,WAAW,GAAG,WAAW,IACzC;IACA,QAAQ,EAAE,IAAI,CAAA;IACd,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;IAC/B,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,wBAAwB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAA;IACnE,KAAK,EAAE,sBAAsB,CAAA;IAC7B,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAChC,0BAA0B,EAAE,MAAM,CAAC,MAAM,EAAE,8BAA8B,CAAC,CAAA;IAC1E,4BAA4B,EAAE,MAAM,CAChC,MAAM,EACN,gCAAgC,CACnC,CAAA;CACJ,CAAA"}
+{"version":3,"file":"reactive.d.ts","sourceRoot":"","sources":["../../../src/lib/types/reactive.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC1B,8BAA8B,EAC9B,gCAAgC,EACnC,MAAM,sBAAsB,CAAA;AAC7B,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAA;AAE7D,MAAM,MAAM,wBAAwB,CAChC,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,IACzE;IACA,OAAO,EAAE,QAAQ,CAAA;IACjB,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;IAClC,gBAAgB,EAAE,MAAM,GAAG,SAAS,CAAA;CACvC,CAAA;AAED,MAAM,MAAM,iBAAiB,CACzB,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,QAAQ,EAAE,IAAI,CAAA;IACd,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;IAC/B,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,wBAAwB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAA;IACnE,KAAK,EAAE,sBAAsB,CAAA;IAC7B,0BAA0B,EAAE,MAAM,CAAC,MAAM,EAAE,8BAA8B,CAAC,CAAA;IAC1E,4BAA4B,EAAE,MAAM,CAChC,MAAM,EACN,gCAAgC,CACnC,CAAA;CACJ,CAAA"}

package/package.json

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