@polintpro/proposit-core 0.7.5 → 0.8.0

package/dist/lib/schemata/fork.js

@@ -1,27 +1,55 @@
 import Type, {} from "typebox";
 import { UUID } from "./shared.js";
+// ---------------------------------------------------------------------------
+// New entity fork record schemas
+// ---------------------------------------------------------------------------
 /**
- * Schema for a fork record. Represents a single fork operation — the event of
- * creating an independent copy of an argument. Create-or-delete only; fork
- * records are immutable after creation.
+ * Base schema shared by all entity fork records. Each record tracks that
+ * a specific entity was created as part of a fork operation.
+ *
+ * No checksum field — fork records are immutable after creation.
  */
-export const CoreForkSchema = Type.Object({
-    id: UUID,
-    sourceArgumentId: UUID,
-    sourceArgumentVersion: Type.Number({
-        description: "The version of the source argument at the time of the fork.",
+export const CoreEntityForkRecordSchema = Type.Object({
+    entityId: UUID,
+    forkedFromEntityId: UUID,
+    forkedFromArgumentId: UUID,
+    forkedFromArgumentVersion: Type.Number({
+        minimum: 0,
+        description: "Version of the original argument at fork time",
     }),
-    createdOn: Type.String({
-        description: "ISO 8601 timestamp of when the fork was created.",
+    forkId: UUID,
+}, { additionalProperties: true });
+/** Argument fork record. Identical to base. */
+export const CoreArgumentForkRecordSchema = CoreEntityForkRecordSchema;
+/** Premise fork record. Identical to base. */
+export const CorePremiseForkRecordSchema = CoreEntityForkRecordSchema;
+/** Expression fork record. Adds source premise reference. */
+export const CoreExpressionForkRecordSchema = Type.Intersect([
+    CoreEntityForkRecordSchema,
+    Type.Object({
+        forkedFromPremiseId: UUID,
     }),
-    creatorId: Type.Optional(Type.String({
-        description: "Optional application-provided ID of the creator.",
-    })),
-    checksum: Type.String({
-        description: "Fork record checksum for sync detection.",
+], { additionalProperties: true });
+/** Variable fork record. Identical to base. */
+export const CoreVariableForkRecordSchema = CoreEntityForkRecordSchema;
+/** Claim fork record. Adds version tracking for independently versioned claims. */
+export const CoreClaimForkRecordSchema = Type.Intersect([
+    CoreEntityForkRecordSchema,
+    Type.Object({
+        forkedFromEntityVersion: Type.Number({
+            minimum: 0,
+            description: "Claim version that was cloned",
+        }),
     }),
-}, {
-    additionalProperties: true,
-    description: "A fork record. Extended via generics for additional fields.",
-});
+], { additionalProperties: true });
+/** Source fork record. Adds version tracking for independently versioned sources. */
+export const CoreSourceForkRecordSchema = Type.Intersect([
+    CoreEntityForkRecordSchema,
+    Type.Object({
+        forkedFromEntityVersion: Type.Number({
+            minimum: 0,
+            description: "Source version that was cloned",
+        }),
+    }),
+], { additionalProperties: true });
 //# sourceMappingURL=fork.js.map

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

@@ -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;;;;GAIG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CACrC;IACI,EAAE,EAAE,IAAI;IACR,gBAAgB,EAAE,IAAI;IACtB,qBAAqB,EAAE,IAAI,CAAC,MAAM,CAAC;QAC/B,WAAW,EACP,6DAA6D;KACpE,CAAC;IACF,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC;QACnB,WAAW,EAAE,kDAAkD;KAClE,CAAC;IACF,SAAS,EAAE,IAAI,CAAC,QAAQ,CACpB,IAAI,CAAC,MAAM,CAAC;QACR,WAAW,EAAE,kDAAkD;KAClE,CAAC,CACL;IACD,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,WAAW,EAAE,0CAA0C;KAC1D,CAAC;CACL,EACD;IACI,oBAAoB,EAAE,IAAI;IAC1B,WAAW,EACP,6DAA6D;CACpE,CACJ,CAAA"}
+{"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"}

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

@@ -11,11 +11,6 @@ export declare const CorePropositionalVariableExpressionSchema: Type.TObject<{
     checksum: Type.TString;
     descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
     combinedChecksum: Type.TString;
-    forkedFromExpressionId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
-    forkedFromPremiseId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
-    forkedFromArgumentId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
-    forkedFromArgumentVersion: Type.TOptional<Type.TUnion<[Type.TNumber, Type.TNull]>>;
-    forkId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
     type: Type.TLiteral<"variable">;
     variableId: Type.TString;
 }>;
@@ -32,11 +27,6 @@ export declare const CoreOperatorExpressionSchema: Type.TObject<{
     checksum: Type.TString;
     descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
     combinedChecksum: Type.TString;
-    forkedFromExpressionId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
-    forkedFromPremiseId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
-    forkedFromArgumentId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
-    forkedFromArgumentVersion: Type.TOptional<Type.TUnion<[Type.TNumber, Type.TNull]>>;
-    forkId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
     type: Type.TLiteral<"operator">;
     operator: Type.TUnion<[Type.TLiteral<"not">, Type.TLiteral<"and">, Type.TLiteral<"or">, Type.TLiteral<"implies">, Type.TLiteral<"iff">]>;
 }>;
@@ -51,11 +41,6 @@ export declare const CoreFormulaExpressionSchema: Type.TObject<{
     checksum: Type.TString;
     descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
     combinedChecksum: Type.TString;
-    forkedFromExpressionId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
-    forkedFromPremiseId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
-    forkedFromArgumentId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
-    forkedFromArgumentVersion: Type.TOptional<Type.TUnion<[Type.TNumber, Type.TNull]>>;
-    forkId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
     type: Type.TLiteral<"formula">;
 }>;
 export type TCoreFormulaExpression = Static<typeof CoreFormulaExpressionSchema>;
@@ -69,11 +54,6 @@ export declare const CorePropositionalExpressionSchema: Type.TUnion<[Type.TObjec
     checksum: Type.TString;
     descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
     combinedChecksum: Type.TString;
-    forkedFromExpressionId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
-    forkedFromPremiseId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
-    forkedFromArgumentId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
-    forkedFromArgumentVersion: Type.TOptional<Type.TUnion<[Type.TNumber, Type.TNull]>>;
-    forkId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
     type: Type.TLiteral<"variable">;
     variableId: Type.TString;
 }>, Type.TObject<{
@@ -86,11 +66,6 @@ export declare const CorePropositionalExpressionSchema: Type.TUnion<[Type.TObjec
     checksum: Type.TString;
     descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
     combinedChecksum: Type.TString;
-    forkedFromExpressionId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
-    forkedFromPremiseId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
-    forkedFromArgumentId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
-    forkedFromArgumentVersion: Type.TOptional<Type.TUnion<[Type.TNumber, Type.TNull]>>;
-    forkId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
     type: Type.TLiteral<"operator">;
     operator: Type.TUnion<[Type.TLiteral<"not">, Type.TLiteral<"and">, Type.TLiteral<"or">, Type.TLiteral<"implies">, Type.TLiteral<"iff">]>;
 }>, Type.TObject<{
@@ -103,11 +78,6 @@ export declare const CorePropositionalExpressionSchema: Type.TUnion<[Type.TObjec
     checksum: Type.TString;
     descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
     combinedChecksum: Type.TString;
-    forkedFromExpressionId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
-    forkedFromPremiseId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
-    forkedFromArgumentId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
-    forkedFromArgumentVersion: Type.TOptional<Type.TUnion<[Type.TNumber, Type.TNull]>>;
-    forkId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
     type: Type.TLiteral<"formula">;
 }>]>;
 export type TCorePropositionalExpressionCombined = Static<typeof CorePropositionalExpressionSchema>;
@@ -122,10 +92,6 @@ export declare const CoreClaimBoundVariableSchema: Type.TObject<{
     argumentVersion: Type.TNumber;
     symbol: Type.TString;
     checksum: Type.TString;
-    forkedFromVariableId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
-    forkedFromArgumentId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
-    forkedFromArgumentVersion: Type.TOptional<Type.TUnion<[Type.TNumber, Type.TNull]>>;
-    forkId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
 }>;
 export type TClaimBoundVariable = Static<typeof CoreClaimBoundVariableSchema>;
 export declare const CorePremiseBoundVariableSchema: Type.TObject<{
@@ -137,10 +103,6 @@ export declare const CorePremiseBoundVariableSchema: Type.TObject<{
     argumentVersion: Type.TNumber;
     symbol: Type.TString;
     checksum: Type.TString;
-    forkedFromVariableId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
-    forkedFromArgumentId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
-    forkedFromArgumentVersion: Type.TOptional<Type.TUnion<[Type.TNumber, Type.TNull]>>;
-    forkId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
 }>;
 export type TPremiseBoundVariable = Static<typeof CorePremiseBoundVariableSchema>;
 export declare const CorePropositionalVariableSchema: Type.TUnion<[Type.TObject<{
@@ -151,10 +113,6 @@ export declare const CorePropositionalVariableSchema: Type.TUnion<[Type.TObject<
     argumentVersion: Type.TNumber;
     symbol: Type.TString;
     checksum: Type.TString;
-    forkedFromVariableId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
-    forkedFromArgumentId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
-    forkedFromArgumentVersion: Type.TOptional<Type.TUnion<[Type.TNumber, Type.TNull]>>;
-    forkId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
 }>, Type.TObject<{
     boundPremiseId: Type.TString;
     boundArgumentId: Type.TString;
@@ -164,10 +122,6 @@ export declare const CorePropositionalVariableSchema: Type.TUnion<[Type.TObject<
     argumentVersion: Type.TNumber;
     symbol: Type.TString;
     checksum: Type.TString;
-    forkedFromVariableId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
-    forkedFromArgumentId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
-    forkedFromArgumentVersion: Type.TOptional<Type.TUnion<[Type.TNumber, Type.TNull]>>;
-    forkId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
 }>]>;
 export type TCorePropositionalVariable = Static<typeof CorePropositionalVariableSchema>;
 /** Type guard: returns `true` if the variable is claim-bound. */
@@ -183,10 +137,6 @@ export declare const CorePremiseSchema: Type.TObject<{
     checksum: Type.TString;
     descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
     combinedChecksum: Type.TString;
-    forkedFromPremiseId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
-    forkedFromArgumentId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
-    forkedFromArgumentVersion: Type.TOptional<Type.TUnion<[Type.TNumber, Type.TNull]>>;
-    forkId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
 }>;
 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;AA6DD,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;AAsC9D,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,iGAAiG;AACjG,wBAAgB,iBAAiB,CAC7B,CAAC,EAAE,qBAAqB,EACxB,UAAU,EAAE,MAAM,GACnB,OAAO,CAET;AAED,eAAO,MAAM,iBAAiB;;;;;;;;;;;EA8C7B,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,iGAAiG;AACjG,wBAAgB,iBAAiB,CAC7B,CAAC,EAAE,qBAAqB,EACxB,UAAU,EAAE,MAAM,GACnB,OAAO,CAET;AAED,eAAO,MAAM,iBAAiB;;;;;;;EAsB7B,CAAA;AAED,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA"}

package/dist/lib/schemata/propositional.js

@@ -28,21 +28,6 @@ const BasePropositionalExpressionSchema = Type.Object({
     combinedChecksum: Type.String({
         description: "Hash of checksum + descendantChecksum. Equals checksum when descendantChecksum is null.",
     }),
-    forkedFromExpressionId: Type.Optional(Nullable(UUID, {
-        description: "The ID of the expression this was forked from, or null if not a fork.",
-    })),
-    forkedFromPremiseId: Type.Optional(Nullable(UUID, {
-        description: "The premise ID of the expression this was forked from, or null if not a fork.",
-    })),
-    forkedFromArgumentId: Type.Optional(Nullable(UUID, {
-        description: "The argument ID of the expression this was forked from, or null if not a fork.",
-    })),
-    forkedFromArgumentVersion: Type.Optional(Nullable(Type.Number(), {
-        description: "The argument version of the expression this was forked from, or null if not a fork.",
-    })),
-    forkId: Type.Optional(Nullable(UUID, {
-        description: "References the fork record this expression belongs to, or null if not from a fork.",
-    })),
 });
 export const CorePropositionalVariableExpressionSchema = Type.Interface([BasePropositionalExpressionSchema], {
     type: VariableType,
@@ -77,18 +62,6 @@ const CoreVariableBaseFields = {
     checksum: Type.String({
         description: "Entity-level checksum for sync detection.",
     }),
-    forkedFromVariableId: Type.Optional(Nullable(UUID, {
-        description: "The ID of the variable this was forked from, or null if not a fork.",
-    })),
-    forkedFromArgumentId: Type.Optional(Nullable(UUID, {
-        description: "The argument ID of the variable this was forked from, or null if not a fork.",
-    })),
-    forkedFromArgumentVersion: Type.Optional(Nullable(Type.Number(), {
-        description: "The argument version of the variable this was forked from, or null if not a fork.",
-    })),
-    forkId: Type.Optional(Nullable(UUID, {
-        description: "References the fork record this variable belongs to, or null if not from a fork.",
-    })),
 };
 export const CoreClaimBoundVariableSchema = Type.Object({
     ...CoreVariableBaseFields,
@@ -140,18 +113,6 @@ export const CorePremiseSchema = Type.Object({
     combinedChecksum: Type.String({
         description: "Hash of checksum + descendantChecksum. Equals checksum when descendantChecksum is null.",
     }),
-    forkedFromPremiseId: Type.Optional(Nullable(UUID, {
-        description: "The ID of the premise this was forked from, or null if not a fork.",
-    })),
-    forkedFromArgumentId: Type.Optional(Nullable(UUID, {
-        description: "The argument ID of the premise this was forked from, or null if not a fork.",
-    })),
-    forkedFromArgumentVersion: Type.Optional(Nullable(Type.Number(), {
-        description: "The argument version of the premise this was forked from, or null if not a fork.",
-    })),
-    forkId: Type.Optional(Nullable(UUID, {
-        description: "References the fork record this premise belongs to, or null if not from a fork.",
-    })),
 }, {
     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;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;IACF,sBAAsB,EAAE,IAAI,CAAC,QAAQ,CACjC,QAAQ,CAAC,IAAI,EAAE;QACX,WAAW,EACP,uEAAuE;KAC9E,CAAC,CACL;IACD,mBAAmB,EAAE,IAAI,CAAC,QAAQ,CAC9B,QAAQ,CAAC,IAAI,EAAE;QACX,WAAW,EACP,+EAA+E;KACtF,CAAC,CACL;IACD,oBAAoB,EAAE,IAAI,CAAC,QAAQ,CAC/B,QAAQ,CAAC,IAAI,EAAE;QACX,WAAW,EACP,gFAAgF;KACvF,CAAC,CACL;IACD,yBAAyB,EAAE,IAAI,CAAC,QAAQ,CACpC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE;QACpB,WAAW,EACP,qFAAqF;KAC5F,CAAC,CACL;IACD,MAAM,EAAE,IAAI,CAAC,QAAQ,CACjB,QAAQ,CAAC,IAAI,EAAE;QACX,WAAW,EACP,oFAAoF;KAC3F,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,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;IACF,oBAAoB,EAAE,IAAI,CAAC,QAAQ,CAC/B,QAAQ,CAAC,IAAI,EAAE;QACX,WAAW,EACP,qEAAqE;KAC5E,CAAC,CACL;IACD,oBAAoB,EAAE,IAAI,CAAC,QAAQ,CAC/B,QAAQ,CAAC,IAAI,EAAE;QACX,WAAW,EACP,8EAA8E;KACrF,CAAC,CACL;IACD,yBAAyB,EAAE,IAAI,CAAC,QAAQ,CACpC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE;QACpB,WAAW,EACP,mFAAmF;KAC1F,CAAC,CACL;IACD,MAAM,EAAE,IAAI,CAAC,QAAQ,CACjB,QAAQ,CAAC,IAAI,EAAE;QACX,WAAW,EACP,kFAAkF;KACzF,CAAC,CACL;CACJ,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,iGAAiG;AACjG,MAAM,UAAU,iBAAiB,CAC7B,CAAwB,EACxB,UAAkB;IAElB,OAAO,CAAC,CAAC,eAAe,KAAK,UAAU,CAAA;AAC3C,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;IACF,mBAAmB,EAAE,IAAI,CAAC,QAAQ,CAC9B,QAAQ,CAAC,IAAI,EAAE;QACX,WAAW,EACP,oEAAoE;KAC3E,CAAC,CACL;IACD,oBAAoB,EAAE,IAAI,CAAC,QAAQ,CAC/B,QAAQ,CAAC,IAAI,EAAE;QACX,WAAW,EACP,6EAA6E;KACpF,CAAC,CACL;IACD,yBAAyB,EAAE,IAAI,CAAC,QAAQ,CACpC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE;QACpB,WAAW,EACP,kFAAkF;KACzF,CAAC,CACL;IACD,MAAM,EAAE,IAAI,CAAC,QAAQ,CACjB,QAAQ,CAAC,IAAI,EAAE;QACX,WAAW,EACP,iFAAiF;KACxF,CAAC,CACL;CACJ,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,iGAAiG;AACjG,MAAM,UAAU,iBAAiB,CAC7B,CAAwB,EACxB,UAAkB;IAElB,OAAO,CAAC,CAAC,eAAe,KAAK,UAAU,CAAA;AAC3C,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/types/checksum.d.ts

@@ -16,7 +16,5 @@ export interface TCoreChecksumConfig {
     sourceFields?: Set<string>;
     /** Fields to hash for claim-source associations. */
     claimSourceAssociationFields?: Set<string>;
-    /** Fields to hash for fork records. Defaults to ["id", "sourceArgumentId", "sourceArgumentVersion", "createdOn"]. */
-    forkFields?: Set<string>;
 }
 //# sourceMappingURL=checksum.d.ts.map

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,wEAAwE;IACxE,WAAW,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IACzB,yEAAyE;IACzE,YAAY,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC1B,oDAAoD;IACpD,4BAA4B,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC1C,qHAAqH;IACrH,UAAU,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;CAC3B"}
+{"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,wEAAwE;IACxE,WAAW,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IACzB,yEAAyE;IACzE,YAAY,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC1B,oDAAoD;IACpD,4BAA4B,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;CAC7C"}

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

@@ -1,4 +1,4 @@
-export type TInvariantViolationEntityType = "expression" | "variable" | "premise" | "argument" | "claim" | "source" | "association" | "fork";
+export type TInvariantViolationEntityType = "expression" | "variable" | "premise" | "argument" | "claim" | "source" | "association" | "fork" | "forkRecord";
 export type TInvariantViolation = {
     code: string;
     message: string;
@@ -43,5 +43,5 @@ export declare const ASSOC_SCHEMA_INVALID = "ASSOC_SCHEMA_INVALID";
 export declare const ASSOC_DUPLICATE_ID = "ASSOC_DUPLICATE_ID";
 export declare const ASSOC_CLAIM_REF_NOT_FOUND = "ASSOC_CLAIM_REF_NOT_FOUND";
 export declare const ASSOC_SOURCE_REF_NOT_FOUND = "ASSOC_SOURCE_REF_NOT_FOUND";
-export declare const FORK_SCHEMA_INVALID = "FORK_SCHEMA_INVALID";
+export declare const FORK_RECORD_SCHEMA_INVALID = "FORK_RECORD_SCHEMA_INVALID";
 //# sourceMappingURL=validation.d.ts.map

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

@@ -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,CAAA;AAEZ,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,mBAAmB,wBAAwB,CAAA"}
+{"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"}

package/dist/lib/types/validation.js

@@ -38,6 +38,6 @@ export const ASSOC_SCHEMA_INVALID = "ASSOC_SCHEMA_INVALID";
 export const ASSOC_DUPLICATE_ID = "ASSOC_DUPLICATE_ID";
 export const ASSOC_CLAIM_REF_NOT_FOUND = "ASSOC_CLAIM_REF_NOT_FOUND";
 export const ASSOC_SOURCE_REF_NOT_FOUND = "ASSOC_SOURCE_REF_NOT_FOUND";
-// -- ForksLibrary codes --
-export const FORK_SCHEMA_INVALID = "FORK_SCHEMA_INVALID";
+// -- ForkNamespace codes --
+export const FORK_RECORD_SCHEMA_INVALID = "FORK_RECORD_SCHEMA_INVALID";
 //# sourceMappingURL=validation.js.map

package/dist/lib/types/validation.js.map

@@ -1 +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,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,2BAA2B;AAC3B,MAAM,CAAC,MAAM,mBAAmB,GAAG,qBAAqB,CAAA"}
+{"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"}

package/package.json

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

package/dist/lib/core/forks-library.d.ts

@@ -1,58 +0,0 @@
-import type { TCoreFork } from "../schemata/fork.js";
-import type { TCoreArgument, TCorePremise, TCorePropositionalExpression, TCorePropositionalVariable } from "../schemata/index.js";
-import type { TCoreClaim } from "../schemata/claim.js";
-import type { TCoreSource, TCoreClaimSourceAssociation } from "../schemata/source.js";
-import type { TCoreChecksumConfig } from "../types/checksum.js";
-import type { TForkArgumentOptions, TForkRemapTable } from "../types/fork.js";
-import { ArgumentEngine } from "./argument-engine.js";
-import type { TClaimLookup, TSourceLookup, TClaimSourceLookup, TForkLookup, TForksLibrarySnapshot } from "./interfaces/library.interfaces.js";
-import type { TInvariantValidationResult } from "../types/validation.js";
-export declare class ForksLibrary<TFork extends TCoreFork = TCoreFork> implements TForkLookup<TFork> {
-    private forks;
-    private checksumConfig?;
-    constructor(options?: {
-        checksumConfig?: TCoreChecksumConfig;
-    });
-    private restoreFromSnapshot;
-    private withValidation;
-    private computeChecksum;
-    create(fork: Omit<TFork, "checksum"> & {
-        checksum?: string;
-    }): TFork;
-    get(id: string): TFork | undefined;
-    getAll(): TFork[];
-    remove(id: string): TFork;
-    snapshot(): TForksLibrarySnapshot<TFork>;
-    validate(): TInvariantValidationResult;
-    /**
-     * Creates an independent copy of an argument engine under a new argument ID,
-     * with a fork record tracking the operation.
-     *
-     * Calls `engine.canFork()` as a guard. Delegates engine forking to
-     * `forkArgumentEngine()`, creates the fork record, and sets `forkId` on
-     * all entities in the forked engine.
-     *
-     * @param engine - The source engine to fork.
-     * @param newArgumentId - The ID for the forked argument.
-     * @param libraries - Claim, source, and claim-source libraries for the fork.
-     * @param options - Fork options plus optional `forkId` and `creatorId`.
-     * @returns The forked engine, remap table, and fork record.
-     * @throws If `engine.canFork()` returns false.
-     */
-    forkArgument<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TSource extends TCoreSource = TCoreSource, TClaim extends TCoreClaim = TCoreClaim, TAssoc extends TCoreClaimSourceAssociation = TCoreClaimSourceAssociation>(engine: ArgumentEngine<TArg, TPremise, TExpr, TVar, TSource, TClaim, TAssoc>, newArgumentId: string, libraries: {
-        claimLibrary: TClaimLookup<TClaim>;
-        sourceLibrary: TSourceLookup<TSource>;
-        claimSourceLibrary: TClaimSourceLookup<TAssoc>;
-    }, options?: TForkArgumentOptions & {
-        forkId?: string;
-        creatorId?: string;
-    }): {
-        engine: ArgumentEngine<TArg, TPremise, TExpr, TVar, TSource, TClaim, TAssoc>;
-        remapTable: TForkRemapTable;
-        fork: TFork;
-    };
-    static fromSnapshot<TFork extends TCoreFork = TCoreFork>(snapshot: TForksLibrarySnapshot<TFork>, options?: {
-        checksumConfig?: TCoreChecksumConfig;
-    }): ForksLibrary<TFork>;
-}
-//# sourceMappingURL=forks-library.d.ts.map

package/dist/lib/core/forks-library.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"forks-library.d.ts","sourceRoot":"","sources":["../../../src/lib/core/forks-library.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAA;AAEpD,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC7B,MAAM,sBAAsB,CAAA;AAC7B,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAA;AACtD,OAAO,KAAK,EACR,WAAW,EACX,2BAA2B,EAC9B,MAAM,uBAAuB,CAAA;AAC9B,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAC/D,OAAO,KAAK,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAA;AAG7E,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAErD,OAAO,KAAK,EACR,YAAY,EACZ,aAAa,EACb,kBAAkB,EAClB,WAAW,EACX,qBAAqB,EACxB,MAAM,oCAAoC,CAAA;AAC3C,OAAO,KAAK,EACR,0BAA0B,EAE7B,MAAM,wBAAwB,CAAA;AAI/B,qBAAa,YAAY,CACrB,KAAK,SAAS,SAAS,GAAG,SAAS,CACrC,YAAW,WAAW,CAAC,KAAK,CAAC;IAC3B,OAAO,CAAC,KAAK,CAAoB;IACjC,OAAO,CAAC,cAAc,CAAC,CAAqB;gBAEhC,OAAO,CAAC,EAAE;QAAE,cAAc,CAAC,EAAE,mBAAmB,CAAA;KAAE;IAK9D,OAAO,CAAC,mBAAmB;IAO3B,OAAO,CAAC,cAAc;IAkBtB,OAAO,CAAC,eAAe;IAUhB,MAAM,CACT,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,UAAU,CAAC,GAAG;QAAE,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAE,GACtD,KAAK;IAgBD,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,KAAK,GAAG,SAAS;IAIlC,MAAM,IAAI,KAAK,EAAE;IAIjB,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG,KAAK;IAYzB,QAAQ,IAAI,qBAAqB,CAAC,KAAK,CAAC;IAIxC,QAAQ,IAAI,0BAA0B;IAe7C;;;;;;;;;;;;;;OAcG;IACH,YAAY,CACR,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GACtC,4BAA4B,EAChC,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,OAAO,SAAS,WAAW,GAAG,WAAW,EACzC,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,MAAM,SAAS,2BAA2B,GACtC,2BAA2B,EAE/B,MAAM,EAAE,cAAc,CAClB,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,OAAO,EACP,MAAM,EACN,MAAM,CACT,EACD,aAAa,EAAE,MAAM,EACrB,SAAS,EAAE;QACP,YAAY,EAAE,YAAY,CAAC,MAAM,CAAC,CAAA;QAClC,aAAa,EAAE,aAAa,CAAC,OAAO,CAAC,CAAA;QACrC,kBAAkB,EAAE,kBAAkB,CAAC,MAAM,CAAC,CAAA;KACjD,EACD,OAAO,CAAC,EAAE,oBAAoB,GAAG;QAC7B,MAAM,CAAC,EAAE,MAAM,CAAA;QACf,SAAS,CAAC,EAAE,MAAM,CAAA;KACrB,GACF;QACC,MAAM,EAAE,cAAc,CAClB,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,OAAO,EACP,MAAM,EACN,MAAM,CACT,CAAA;QACD,UAAU,EAAE,eAAe,CAAA;QAC3B,IAAI,EAAE,KAAK,CAAA;KACd;WA4Da,YAAY,CAAC,KAAK,SAAS,SAAS,GAAG,SAAS,EAC1D,QAAQ,EAAE,qBAAqB,CAAC,KAAK,CAAC,EACtC,OAAO,CAAC,EAAE;QAAE,cAAc,CAAC,EAAE,mBAAmB,CAAA;KAAE,GACnD,YAAY,CAAC,KAAK,CAAC;CAOzB"}

package/dist/lib/core/forks-library.js

@@ -1,142 +0,0 @@
-import { randomUUID } from "node:crypto";
-import { Value } from "typebox/value";
-import { CoreForkSchema } from "../schemata/fork.js";
-import { DEFAULT_CHECKSUM_CONFIG } from "../consts.js";
-import { entityChecksum } from "./checksum.js";
-import { ArgumentEngine } from "./argument-engine.js";
-import { forkArgumentEngine } from "./fork.js";
-import { FORK_SCHEMA_INVALID } from "../types/validation.js";
-import { InvariantViolationError } from "./invariant-violation-error.js";
-export class ForksLibrary {
-    forks;
-    checksumConfig;
-    constructor(options) {
-        this.forks = new Map();
-        this.checksumConfig = options?.checksumConfig;
-    }
-    restoreFromSnapshot(snap) {
-        this.forks = new Map();
-        for (const fork of snap.forks) {
-            this.forks.set(fork.id, fork);
-        }
-    }
-    withValidation(fn) {
-        const snap = this.snapshot();
-        try {
-            const result = fn();
-            const validation = this.validate();
-            if (!validation.ok) {
-                this.restoreFromSnapshot(snap);
-                throw new InvariantViolationError(validation.violations);
-            }
-            return result;
-        }
-        catch (e) {
-            if (!(e instanceof InvariantViolationError)) {
-                this.restoreFromSnapshot(snap);
-            }
-            throw e;
-        }
-    }
-    computeChecksum(fork) {
-        const fields = this.checksumConfig?.forkFields ??
-            DEFAULT_CHECKSUM_CONFIG.forkFields;
-        return entityChecksum(fork, fields);
-    }
-    create(fork) {
-        return this.withValidation(() => {
-            if (this.forks.has(fork.id)) {
-                throw new Error(`Fork record with ID "${fork.id}" already exists.`);
-            }
-            const full = { ...fork, checksum: "" };
-            full.checksum = this.computeChecksum(full);
-            this.forks.set(full.id, full);
-            return full;
-        });
-    }
-    get(id) {
-        return this.forks.get(id);
-    }
-    getAll() {
-        return Array.from(this.forks.values());
-    }
-    remove(id) {
-        return this.withValidation(() => {
-            const fork = this.forks.get(id);
-            if (!fork) {
-                throw new Error(`Fork record "${id}" not found.`);
-            }
-            this.forks.delete(id);
-            return fork;
-        });
-    }
-    snapshot() {
-        return { forks: this.getAll() };
-    }
-    validate() {
-        const violations = [];
-        for (const [id, fork] of this.forks) {
-            if (!Value.Check(CoreForkSchema, fork)) {
-                violations.push({
-                    code: FORK_SCHEMA_INVALID,
-                    message: `Fork record "${id}" does not conform to schema`,
-                    entityType: "fork",
-                    entityId: id,
-                });
-            }
-        }
-        return { ok: violations.length === 0, violations };
-    }
-    /**
-     * Creates an independent copy of an argument engine under a new argument ID,
-     * with a fork record tracking the operation.
-     *
-     * Calls `engine.canFork()` as a guard. Delegates engine forking to
-     * `forkArgumentEngine()`, creates the fork record, and sets `forkId` on
-     * all entities in the forked engine.
-     *
-     * @param engine - The source engine to fork.
-     * @param newArgumentId - The ID for the forked argument.
-     * @param libraries - Claim, source, and claim-source libraries for the fork.
-     * @param options - Fork options plus optional `forkId` and `creatorId`.
-     * @returns The forked engine, remap table, and fork record.
-     * @throws If `engine.canFork()` returns false.
-     */
-    forkArgument(engine, newArgumentId, libraries, options) {
-        // 1. Guard
-        if (!engine.canFork()) {
-            throw new Error("Forking is not allowed for this engine.");
-        }
-        // 2. Snapshot source argument metadata for the fork record
-        const sourceArg = engine.getArgument();
-        // 3. Fork the engine
-        const { engine: forkedEngine, remapTable } = forkArgumentEngine(engine, newArgumentId, libraries, options);
-        // 4. Create fork record
-        const forkId = options?.forkId ?? randomUUID();
-        const fork = this.create({
-            id: forkId,
-            sourceArgumentId: sourceArg.id,
-            sourceArgumentVersion: sourceArg.version,
-            createdOn: new Date().toISOString(),
-            ...(options?.creatorId ? { creatorId: options.creatorId } : {}),
-        });
-        // 5. Set forkId on all entities via snapshot → inject → reconstruct
-        const snap = forkedEngine.snapshot();
-        snap.argument = { ...snap.argument, forkId };
-        for (const ps of snap.premises) {
-            ps.premise = { ...ps.premise, forkId };
-            ps.expressions.expressions = ps.expressions.expressions.map((expr) => ({ ...expr, forkId }));
-        }
-        snap.variables.variables = snap.variables.variables.map((v) => ({ ...v, forkId }));
-        const finalEngine = ArgumentEngine.fromSnapshot(snap, libraries.claimLibrary, libraries.sourceLibrary, libraries.claimSourceLibrary, snap.config?.grammarConfig, "ignore");
-        return { engine: finalEngine, remapTable, fork };
-    }
-    static fromSnapshot(snapshot, options) {
-        const lib = new ForksLibrary(options);
-        for (const fork of snapshot.forks) {
-            lib.forks.set(fork.id, fork);
-        }
-        return lib;
-    }
-}
-//# sourceMappingURL=forks-library.js.map

package/dist/lib/core/forks-library.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"forks-library.js","sourceRoot":"","sources":["../../../src/lib/core/forks-library.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAErC,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAA;AAcpD,OAAO,EAAE,uBAAuB,EAAE,MAAM,cAAc,CAAA;AACtD,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAC9C,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AACrD,OAAO,EAAE,kBAAkB,EAAE,MAAM,WAAW,CAAA;AAY9C,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAA;AAC5D,OAAO,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAA;AAExE,MAAM,OAAO,YAAY;IAGb,KAAK,CAAoB;IACzB,cAAc,CAAsB;IAE5C,YAAY,OAAkD;QAC1D,IAAI,CAAC,KAAK,GAAG,IAAI,GAAG,EAAE,CAAA;QACtB,IAAI,CAAC,cAAc,GAAG,OAAO,EAAE,cAAc,CAAA;IACjD,CAAC;IAEO,mBAAmB,CAAC,IAAkC;QAC1D,IAAI,CAAC,KAAK,GAAG,IAAI,GAAG,EAAE,CAAA;QACtB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC5B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAA;QACjC,CAAC;IACL,CAAC;IAEO,cAAc,CAAI,EAAW;QACjC,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAA;QAC5B,IAAI,CAAC;YACD,MAAM,MAAM,GAAG,EAAE,EAAE,CAAA;YACnB,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAA;YAClC,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC;gBACjB,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAA;gBAC9B,MAAM,IAAI,uBAAuB,CAAC,UAAU,CAAC,UAAU,CAAC,CAAA;YAC5D,CAAC;YACD,OAAO,MAAM,CAAA;QACjB,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACT,IAAI,CAAC,CAAC,CAAC,YAAY,uBAAuB,CAAC,EAAE,CAAC;gBAC1C,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAA;YAClC,CAAC;YACD,MAAM,CAAC,CAAA;QACX,CAAC;IACL,CAAC;IAEO,eAAe,CAAC,IAAW;QAC/B,MAAM,MAAM,GACR,IAAI,CAAC,cAAc,EAAE,UAAU;YAC/B,uBAAuB,CAAC,UAAW,CAAA;QACvC,OAAO,cAAc,CACjB,IAA0C,EAC1C,MAAM,CACT,CAAA;IACL,CAAC;IAEM,MAAM,CACT,IAAqD;QAErD,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE;YAC5B,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC1B,MAAM,IAAI,KAAK,CACX,wBAAwB,IAAI,CAAC,EAAE,mBAAmB,CACrD,CAAA;YACL,CAAC;YAED,MAAM,IAAI,GAAG,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAW,CAAA;YAC/C,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAA;YAE1C,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAA;YAC7B,OAAO,IAAI,CAAA;QACf,CAAC,CAAC,CAAA;IACN,CAAC;IAEM,GAAG,CAAC,EAAU;QACjB,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IAC7B,CAAC;IAEM,MAAM;QACT,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAA;IAC1C,CAAC;IAEM,MAAM,CAAC,EAAU;QACpB,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE;YAC5B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YAC/B,IAAI,CAAC,IAAI,EAAE,CAAC;gBACR,MAAM,IAAI,KAAK,CAAC,gBAAgB,EAAE,cAAc,CAAC,CAAA;YACrD,CAAC;YAED,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;YACrB,OAAO,IAAI,CAAA;QACf,CAAC,CAAC,CAAA;IACN,CAAC;IAEM,QAAQ;QACX,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAAA;IACnC,CAAC;IAEM,QAAQ;QACX,MAAM,UAAU,GAA0B,EAAE,CAAA;QAC5C,KAAK,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAClC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,cAAc,EAAE,IAAI,CAAC,EAAE,CAAC;gBACrC,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,mBAAmB;oBACzB,OAAO,EAAE,gBAAgB,EAAE,8BAA8B;oBACzD,UAAU,EAAE,MAAM;oBAClB,QAAQ,EAAE,EAAE;iBACf,CAAC,CAAA;YACN,CAAC;QACL,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,UAAU,EAAE,CAAA;IACtD,CAAC;IAED;;;;;;;;;;;;;;OAcG;IACH,YAAY,CAWR,MAQC,EACD,aAAqB,EACrB,SAIC,EACD,OAGC;QAcD,WAAW;QACX,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;YACpB,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAA;QAC9D,CAAC;QAED,2DAA2D;QAC3D,MAAM,SAAS,GAAG,MAAM,CAAC,WAAW,EAAE,CAAA;QAEtC,qBAAqB;QACrB,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,UAAU,EAAE,GAAG,kBAAkB,CAC3D,MAAM,EACN,aAAa,EACb,SAAS,EACT,OAAO,CACV,CAAA;QAED,wBAAwB;QACxB,MAAM,MAAM,GAAG,OAAO,EAAE,MAAM,IAAI,UAAU,EAAE,CAAA;QAC9C,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;YACrB,EAAE,EAAE,MAAM;YACV,gBAAgB,EAAE,SAAS,CAAC,EAAE;YAC9B,qBAAqB,EAAE,SAAS,CAAC,OAAO;YACxC,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACnC,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACvC,CAAC,CAAA;QAE7B,oEAAoE;QACpE,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,EAAE,CAAA;QACpC,IAAI,CAAC,QAAQ,GAAG,EAAE,GAAG,IAAI,CAAC,QAAQ,EAAE,MAAM,EAA0B,CAAA;QACpE,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC7B,EAAE,CAAC,OAAO,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,EAAE,MAAM,EAAuB,CAAA;YAC3D,EAAE,CAAC,WAAW,CAAC,WAAW,GAAG,EAAE,CAAC,WAAW,CAAC,WAAW,CAAC,GAAG,CACvD,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,CAAgB,CACjD,CAAA;QACL,CAAC;QACD,IAAI,CAAC,SAAS,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CACnD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,CAAa,CACxC,CAAA;QAED,MAAM,WAAW,GAAG,cAAc,CAAC,YAAY,CAS3C,IAAI,EACJ,SAAS,CAAC,YAAY,EACtB,SAAS,CAAC,aAAa,EACvB,SAAS,CAAC,kBAAkB,EAC5B,IAAI,CAAC,MAAM,EAAE,aAAa,EAC1B,QAAQ,CACX,CAAA;QAED,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,UAAU,EAAE,IAAI,EAAE,CAAA;IACpD,CAAC;IAEM,MAAM,CAAC,YAAY,CACtB,QAAsC,EACtC,OAAkD;QAElD,MAAM,GAAG,GAAG,IAAI,YAAY,CAAQ,OAAO,CAAC,CAAA;QAC5C,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;YAChC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAA;QAChC,CAAC;QACD,OAAO,GAAG,CAAA;IACd,CAAC;CACJ"}