@proposit/proposit-core 0.8.9

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

@@ -0,0 +1,76 @@
+import Type, { type Static } from "typebox";
+/**
+ * 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 declare const CoreEntityForkRecordSchema: Type.TObject<{
+    entityId: Type.TString;
+    forkedFromEntityId: Type.TString;
+    forkedFromArgumentId: Type.TString;
+    forkedFromArgumentVersion: Type.TNumber;
+    forkId: Type.TString;
+}>;
+export type TCoreEntityForkRecord = Static<typeof CoreEntityForkRecordSchema>;
+/** Argument fork record. Identical to base. */
+export declare const CoreArgumentForkRecordSchema: Type.TObject<{
+    entityId: Type.TString;
+    forkedFromEntityId: Type.TString;
+    forkedFromArgumentId: Type.TString;
+    forkedFromArgumentVersion: Type.TNumber;
+    forkId: Type.TString;
+}>;
+export type TCoreArgumentForkRecord = TCoreEntityForkRecord;
+/** Premise fork record. Identical to base. */
+export declare const CorePremiseForkRecordSchema: Type.TObject<{
+    entityId: Type.TString;
+    forkedFromEntityId: Type.TString;
+    forkedFromArgumentId: Type.TString;
+    forkedFromArgumentVersion: Type.TNumber;
+    forkId: Type.TString;
+}>;
+export type TCorePremiseForkRecord = TCoreEntityForkRecord;
+/** Expression fork record. Adds source premise reference. */
+export declare const CoreExpressionForkRecordSchema: Type.TIntersect<[Type.TObject<{
+    entityId: Type.TString;
+    forkedFromEntityId: Type.TString;
+    forkedFromArgumentId: Type.TString;
+    forkedFromArgumentVersion: Type.TNumber;
+    forkId: Type.TString;
+}>, Type.TObject<{
+    forkedFromPremiseId: Type.TString;
+}>]>;
+export type TCoreExpressionForkRecord = Static<typeof CoreExpressionForkRecordSchema>;
+/** Variable fork record. Identical to base. */
+export declare const CoreVariableForkRecordSchema: Type.TObject<{
+    entityId: Type.TString;
+    forkedFromEntityId: Type.TString;
+    forkedFromArgumentId: Type.TString;
+    forkedFromArgumentVersion: Type.TNumber;
+    forkId: Type.TString;
+}>;
+export type TCoreVariableForkRecord = TCoreEntityForkRecord;
+/** Claim fork record. Adds version tracking for independently versioned claims. */
+export declare const CoreClaimForkRecordSchema: Type.TIntersect<[Type.TObject<{
+    entityId: Type.TString;
+    forkedFromEntityId: Type.TString;
+    forkedFromArgumentId: Type.TString;
+    forkedFromArgumentVersion: Type.TNumber;
+    forkId: Type.TString;
+}>, Type.TObject<{
+    forkedFromEntityVersion: Type.TNumber;
+}>]>;
+export type TCoreClaimForkRecord = Static<typeof CoreClaimForkRecordSchema>;
+/** Source fork record. Adds version tracking for independently versioned sources. */
+export declare const CoreSourceForkRecordSchema: Type.TIntersect<[Type.TObject<{
+    entityId: Type.TString;
+    forkedFromEntityId: Type.TString;
+    forkedFromArgumentId: Type.TString;
+    forkedFromArgumentVersion: Type.TNumber;
+    forkId: Type.TString;
+}>, Type.TObject<{
+    forkedFromEntityVersion: Type.TNumber;
+}>]>;
+export type TCoreSourceForkRecord = Static<typeof CoreSourceForkRecordSchema>;
+//# sourceMappingURL=fork.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"fork.d.ts","sourceRoot":"","sources":["../../../src/lib/schemata/fork.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAO3C;;;;;GAKG;AACH,eAAO,MAAM,0BAA0B;;;;;;EAYtC,CAAA;AAED,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAA;AAE7E,+CAA+C;AAC/C,eAAO,MAAM,4BAA4B;;;;;;EAA6B,CAAA;AACtE,MAAM,MAAM,uBAAuB,GAAG,qBAAqB,CAAA;AAE3D,8CAA8C;AAC9C,eAAO,MAAM,2BAA2B;;;;;;EAA6B,CAAA;AACrE,MAAM,MAAM,sBAAsB,GAAG,qBAAqB,CAAA;AAE1D,6DAA6D;AAC7D,eAAO,MAAM,8BAA8B;;;;;;;;IAQ1C,CAAA;AACD,MAAM,MAAM,yBAAyB,GAAG,MAAM,CAC1C,OAAO,8BAA8B,CACxC,CAAA;AAED,+CAA+C;AAC/C,eAAO,MAAM,4BAA4B;;;;;;EAA6B,CAAA;AACtE,MAAM,MAAM,uBAAuB,GAAG,qBAAqB,CAAA;AAE3D,mFAAmF;AACnF,eAAO,MAAM,yBAAyB;;;;;;;;IAWrC,CAAA;AACD,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,yBAAyB,CAAC,CAAA;AAE3E,qFAAqF;AACrF,eAAO,MAAM,0BAA0B;;;;;;;;IAWtC,CAAA;AACD,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAA"}

package/dist/lib/schemata/fork.js

@@ -0,0 +1,55 @@
+import Type, {} from "typebox";
+import { UUID } from "./shared.js";
+// ---------------------------------------------------------------------------
+// New entity fork record schemas
+// ---------------------------------------------------------------------------
+/**
+ * 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 CoreEntityForkRecordSchema = Type.Object({
+    entityId: UUID,
+    forkedFromEntityId: UUID,
+    forkedFromArgumentId: UUID,
+    forkedFromArgumentVersion: Type.Number({
+        minimum: 0,
+        description: "Version of the original argument at fork time",
+    }),
+    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,
+    }),
+], { 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 });
+/** 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

@@ -0,0 +1 @@
+{"version":3,"file":"fork.js","sourceRoot":"","sources":["../../../src/lib/schemata/fork.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,MAAM,aAAa,CAAA;AAElC,8EAA8E;AAC9E,iCAAiC;AACjC,8EAA8E;AAE9E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,MAAM,CACjD;IACI,QAAQ,EAAE,IAAI;IACd,kBAAkB,EAAE,IAAI;IACxB,oBAAoB,EAAE,IAAI;IAC1B,yBAAyB,EAAE,IAAI,CAAC,MAAM,CAAC;QACnC,OAAO,EAAE,CAAC;QACV,WAAW,EAAE,+CAA+C;KAC/D,CAAC;IACF,MAAM,EAAE,IAAI;CACf,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC,CAAA;AAID,+CAA+C;AAC/C,MAAM,CAAC,MAAM,4BAA4B,GAAG,0BAA0B,CAAA;AAGtE,8CAA8C;AAC9C,MAAM,CAAC,MAAM,2BAA2B,GAAG,0BAA0B,CAAA;AAGrE,6DAA6D;AAC7D,MAAM,CAAC,MAAM,8BAA8B,GAAG,IAAI,CAAC,SAAS,CACxD;IACI,0BAA0B;IAC1B,IAAI,CAAC,MAAM,CAAC;QACR,mBAAmB,EAAE,IAAI;KAC5B,CAAC;CACL,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC,CAAA;AAKD,+CAA+C;AAC/C,MAAM,CAAC,MAAM,4BAA4B,GAAG,0BAA0B,CAAA;AAGtE,mFAAmF;AACnF,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC,SAAS,CACnD;IACI,0BAA0B;IAC1B,IAAI,CAAC,MAAM,CAAC;QACR,uBAAuB,EAAE,IAAI,CAAC,MAAM,CAAC;YACjC,OAAO,EAAE,CAAC;YACV,WAAW,EAAE,+BAA+B;SAC/C,CAAC;KACL,CAAC;CACL,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC,CAAA;AAGD,qFAAqF;AACrF,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,SAAS,CACpD;IACI,0BAA0B;IAC1B,IAAI,CAAC,MAAM,CAAC;QACR,uBAAuB,EAAE,IAAI,CAAC,MAAM,CAAC;YACjC,OAAO,EAAE,CAAC;YACV,WAAW,EAAE,gCAAgC;SAChD,CAAC;KACL,CAAC;CACL,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC,CAAA"}

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

@@ -0,0 +1,33 @@
+import Type, { type Static } from "typebox";
+export declare const CoreYamlPremiseMetadataSchema: Type.TObject<{
+    title: Type.TOptional<Type.TString>;
+}>;
+export type TCoreYamlPremiseMetadata = Static<typeof CoreYamlPremiseMetadataSchema>;
+export declare const CoreYamlPremiseSchema: Type.TObject<{
+    metadata: Type.TOptional<Type.TObject<{
+        title: Type.TOptional<Type.TString>;
+    }>>;
+    role: Type.TOptional<Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"supporting">]>>;
+    formula: Type.TString;
+}>;
+export type TCoreYamlPremise = Static<typeof CoreYamlPremiseSchema>;
+export declare const CoreYamlArgumentMetadataSchema: Type.TObject<{
+    title: Type.TString;
+    description: Type.TOptional<Type.TString>;
+}>;
+export type TCoreYamlArgumentMetadata = Static<typeof CoreYamlArgumentMetadataSchema>;
+export declare const CoreYamlArgumentSchema: Type.TObject<{
+    metadata: Type.TObject<{
+        title: Type.TString;
+        description: Type.TOptional<Type.TString>;
+    }>;
+    premises: Type.TArray<Type.TObject<{
+        metadata: Type.TOptional<Type.TObject<{
+            title: Type.TOptional<Type.TString>;
+        }>>;
+        role: Type.TOptional<Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"supporting">]>>;
+        formula: Type.TString;
+    }>>;
+}>;
+export type TCoreYamlArgument = Static<typeof CoreYamlArgumentSchema>;
+//# sourceMappingURL=import.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"import.d.ts","sourceRoot":"","sources":["../../../src/lib/schemata/import.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAE3C,eAAO,MAAM,6BAA6B;;EAKzC,CAAA;AACD,MAAM,MAAM,wBAAwB,GAAG,MAAM,CACzC,OAAO,6BAA6B,CACvC,CAAA;AAED,eAAO,MAAM,qBAAqB;;;;;;EAMhC,CAAA;AAEF,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,qBAAqB,CAAC,CAAA;AAEnE,eAAO,MAAM,8BAA8B;;;EAM1C,CAAA;AACD,MAAM,MAAM,yBAAyB,GAAG,MAAM,CAC1C,OAAO,8BAA8B,CACxC,CAAA;AAED,eAAO,MAAM,sBAAsB;;;;;;;;;;;;EAGjC,CAAA;AAEF,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAA"}

package/dist/lib/schemata/import.js

@@ -0,0 +1,18 @@
+import Type, {} from "typebox";
+export const CoreYamlPremiseMetadataSchema = Type.Object({
+    title: Type.Optional(Type.String()),
+}, { additionalProperties: Type.String() });
+export const CoreYamlPremiseSchema = Type.Object({
+    metadata: Type.Optional(CoreYamlPremiseMetadataSchema),
+    role: Type.Optional(Type.Union([Type.Literal("conclusion"), Type.Literal("supporting")])),
+    formula: Type.String(),
+});
+export const CoreYamlArgumentMetadataSchema = Type.Object({
+    title: Type.String(),
+    description: Type.Optional(Type.String({ default: "" })),
+}, { additionalProperties: Type.String() });
+export const CoreYamlArgumentSchema = Type.Object({
+    metadata: CoreYamlArgumentMetadataSchema,
+    premises: Type.Array(CoreYamlPremiseSchema, { minItems: 1 }),
+});
+//# sourceMappingURL=import.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"import.js","sourceRoot":"","sources":["../../../src/lib/schemata/import.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAE3C,MAAM,CAAC,MAAM,6BAA6B,GAAG,IAAI,CAAC,MAAM,CACpD;IACI,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CACtC,EACD,EAAE,oBAAoB,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAC1C,CAAA;AAKD,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC7C,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,6BAA6B,CAAC;IACtD,IAAI,EAAE,IAAI,CAAC,QAAQ,CACf,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CACvE;IACD,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;CACzB,CAAC,CAAA;AAIF,MAAM,CAAC,MAAM,8BAA8B,GAAG,IAAI,CAAC,MAAM,CACrD;IACI,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;IACpB,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;CAC3D,EACD,EAAE,oBAAoB,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAC1C,CAAA;AAKD,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC9C,QAAQ,EAAE,8BAA8B;IACxC,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,qBAAqB,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;CAC/D,CAAC,CAAA"}

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

@@ -0,0 +1,8 @@
+export * from "./analysis.js";
+export * from "./argument.js";
+export * from "./claim.js";
+export * from "./fork.js";
+export * from "./propositional.js";
+export * from "./shared.js";
+export * from "./source.js";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/lib/schemata/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAA;AAC7B,cAAc,eAAe,CAAA;AAC7B,cAAc,YAAY,CAAA;AAC1B,cAAc,WAAW,CAAA;AACzB,cAAc,oBAAoB,CAAA;AAClC,cAAc,aAAa,CAAA;AAC3B,cAAc,aAAa,CAAA"}

package/dist/lib/schemata/index.js

@@ -0,0 +1,8 @@
+export * from "./analysis.js";
+export * from "./argument.js";
+export * from "./claim.js";
+export * from "./fork.js";
+export * from "./propositional.js";
+export * from "./shared.js";
+export * from "./source.js";
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/lib/schemata/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAA;AAC7B,cAAc,eAAe,CAAA;AAC7B,cAAc,YAAY,CAAA;AAC1B,cAAc,WAAW,CAAA;AACzB,cAAc,oBAAoB,CAAA;AAClC,cAAc,aAAa,CAAA;AAC3B,cAAc,aAAa,CAAA"}

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

@@ -0,0 +1,142 @@
+import Type, { type Static } from "typebox";
+export declare const CorePropositionalExpressionTypes: Type.TUnion<[Type.TLiteral<"variable">, Type.TLiteral<"operator">, Type.TLiteral<"formula">]>;
+export type TCorePropositionalExpressionTypes = Static<typeof CorePropositionalExpressionTypes>;
+export declare const CorePropositionalVariableExpressionSchema: Type.TObject<{
+    id: Type.TString;
+    argumentId: Type.TString;
+    argumentVersion: Type.TNumber;
+    premiseId: Type.TString;
+    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;
+}>;
+export type TCorePropositionalVariableExpression = Static<typeof CorePropositionalVariableExpressionSchema>;
+export declare const CoreLogicalOperatorType: Type.TUnion<[Type.TLiteral<"not">, Type.TLiteral<"and">, Type.TLiteral<"or">, Type.TLiteral<"implies">, Type.TLiteral<"iff">]>;
+export type TCoreLogicalOperatorType = Static<typeof CoreLogicalOperatorType>;
+export declare const CoreOperatorExpressionSchema: Type.TObject<{
+    id: Type.TString;
+    argumentId: Type.TString;
+    argumentVersion: Type.TNumber;
+    premiseId: Type.TString;
+    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">]>;
+}>;
+export type TCoreOperatorExpression = Static<typeof CoreOperatorExpressionSchema>;
+export declare const CoreFormulaExpressionSchema: Type.TObject<{
+    id: Type.TString;
+    argumentId: Type.TString;
+    argumentVersion: Type.TNumber;
+    premiseId: Type.TString;
+    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>;
+export declare const CorePropositionalExpressionSchema: Type.TUnion<[Type.TObject<{
+    id: Type.TString;
+    argumentId: Type.TString;
+    argumentVersion: Type.TNumber;
+    premiseId: Type.TString;
+    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<{
+    id: Type.TString;
+    argumentId: Type.TString;
+    argumentVersion: Type.TNumber;
+    premiseId: Type.TString;
+    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<{
+    id: Type.TString;
+    argumentId: Type.TString;
+    argumentVersion: Type.TNumber;
+    premiseId: Type.TString;
+    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>;
+export type TCorePropositionalExpression<T extends TCorePropositionalExpressionTypes = TCorePropositionalExpressionTypes> = Extract<TCorePropositionalExpressionCombined, {
+    type: T;
+}>;
+export declare const CoreClaimBoundVariableSchema: Type.TObject<{
+    claimId: Type.TString;
+    claimVersion: Type.TNumber;
+    id: Type.TString;
+    argumentId: Type.TString;
+    argumentVersion: Type.TNumber;
+    symbol: Type.TString;
+    checksum: Type.TString;
+}>;
+export type TClaimBoundVariable = Static<typeof CoreClaimBoundVariableSchema>;
+export declare const CorePremiseBoundVariableSchema: Type.TObject<{
+    boundPremiseId: Type.TString;
+    boundArgumentId: Type.TString;
+    boundArgumentVersion: Type.TNumber;
+    id: Type.TString;
+    argumentId: Type.TString;
+    argumentVersion: Type.TNumber;
+    symbol: Type.TString;
+    checksum: Type.TString;
+}>;
+export type TPremiseBoundVariable = Static<typeof CorePremiseBoundVariableSchema>;
+export declare const CorePropositionalVariableSchema: Type.TUnion<[Type.TObject<{
+    claimId: Type.TString;
+    claimVersion: Type.TNumber;
+    id: Type.TString;
+    argumentId: Type.TString;
+    argumentVersion: Type.TNumber;
+    symbol: Type.TString;
+    checksum: Type.TString;
+}>, Type.TObject<{
+    boundPremiseId: Type.TString;
+    boundArgumentId: Type.TString;
+    boundArgumentVersion: Type.TNumber;
+    id: Type.TString;
+    argumentId: Type.TString;
+    argumentVersion: Type.TNumber;
+    symbol: Type.TString;
+    checksum: Type.TString;
+}>]>;
+export type TCorePropositionalVariable = Static<typeof CorePropositionalVariableSchema>;
+/** Type guard: returns `true` if the variable is claim-bound. */
+export declare function isClaimBound(v: TCorePropositionalVariable): v is TClaimBoundVariable;
+/** Type guard: returns `true` if the variable is premise-bound. */
+export declare function isPremiseBound(v: TCorePropositionalVariable): v is TPremiseBoundVariable;
+/** Returns `true` if the premise-bound variable references a premise in a different argument. */
+export declare function isExternallyBound(v: TPremiseBoundVariable, argumentId: string): boolean;
+export declare const CorePremiseSchema: Type.TObject<{
+    id: Type.TString;
+    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

@@ -0,0 +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;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

@@ -0,0 +1,120 @@
+import Type, {} from "typebox";
+import { UUID, Nullable } from "./shared.js";
+const VariableType = Type.Literal("variable");
+const OperatorType = Type.Literal("operator");
+const FormulaType = Type.Literal("formula");
+export const CorePropositionalExpressionTypes = Type.Union([
+    VariableType,
+    OperatorType,
+    FormulaType,
+]);
+const BasePropositionalExpressionSchema = Type.Object({
+    id: UUID,
+    argumentId: UUID,
+    argumentVersion: Type.Number(),
+    premiseId: UUID,
+    parentId: Nullable(UUID, {
+        description: "The ID of the parent operator expression, or null if this is a top-level expression.",
+    }),
+    position: Type.Number({
+        description: "The ordering of this expression among its siblings under the same parent. Must be unique within (parentId, argumentId, argumentVersion).",
+    }),
+    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,
+    variableId: UUID,
+});
+export const CoreLogicalOperatorType = Type.Union([
+    Type.Literal("not"), // unary
+    Type.Literal("and"), // variadic (≥2)
+    Type.Literal("or"), // variadic (≥2)
+    Type.Literal("implies"), // binary (ordered)
+    Type.Literal("iff"), // binary (unordered but fixed 2)
+]);
+export const CoreOperatorExpressionSchema = Type.Interface([BasePropositionalExpressionSchema], {
+    type: OperatorType,
+    operator: CoreLogicalOperatorType,
+});
+export const CoreFormulaExpressionSchema = Type.Interface([BasePropositionalExpressionSchema], {
+    type: FormulaType,
+});
+export const CorePropositionalExpressionSchema = Type.Union([
+    CorePropositionalVariableExpressionSchema,
+    CoreOperatorExpressionSchema,
+    CoreFormulaExpressionSchema,
+]);
+const CoreVariableBaseFields = {
+    id: UUID,
+    argumentId: UUID,
+    argumentVersion: Type.Number(),
+    symbol: Type.String({
+        description: 'Human-readable symbol for this variable (e.g. "P", "Q").',
+    }),
+    checksum: Type.String({
+        description: "Entity-level checksum for sync detection.",
+    }),
+};
+export const CoreClaimBoundVariableSchema = Type.Object({
+    ...CoreVariableBaseFields,
+    claimId: UUID,
+    claimVersion: Type.Number({
+        description: "The version of the claim this variable references.",
+    }),
+}, {
+    additionalProperties: true,
+    description: "A claim-bound propositional variable referencing a global claim.",
+});
+export const CorePremiseBoundVariableSchema = Type.Object({
+    ...CoreVariableBaseFields,
+    boundPremiseId: UUID,
+    boundArgumentId: UUID,
+    boundArgumentVersion: Type.Number({
+        description: "The version of the argument that owns the bound premise.",
+    }),
+}, {
+    additionalProperties: true,
+    description: "A premise-bound propositional variable whose truth value is derived from another premise's evaluation.",
+});
+export const CorePropositionalVariableSchema = Type.Union([
+    CoreClaimBoundVariableSchema,
+    CorePremiseBoundVariableSchema,
+]);
+/** Type guard: returns `true` if the variable is claim-bound. */
+export function isClaimBound(v) {
+    return "claimId" in v;
+}
+/** Type guard: returns `true` if the variable is premise-bound. */
+export function isPremiseBound(v) {
+    return "boundPremiseId" in v;
+}
+/** Returns `true` if the premise-bound variable references a premise in a different argument. */
+export function isExternallyBound(v, argumentId) {
+    return v.boundArgumentId !== argumentId;
+}
+export const CorePremiseSchema = Type.Object({
+    id: UUID,
+    argumentId: UUID,
+    argumentVersion: Type.Number(),
+    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.",
+});
+//# sourceMappingURL=propositional.js.map

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

@@ -0,0 +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;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/schemata/shared.d.ts

@@ -0,0 +1,41 @@
+import Type, { type Static, type TSchema, type TSchemaOptions } from "typebox";
+/** Custom TypeBox type that validates, converts, and clones `Date` values. */
+export declare class TDateType extends Type.Base<Date> {
+    readonly type: DateConstructor;
+    Check(value: unknown): value is Date;
+    Errors(value: unknown): object[];
+    Convert(value: unknown): Date;
+    Clone(): Type.Base<Date>;
+}
+/** Creates a new {@link TDateType} schema instance. */
+export declare function dateType(): TDateType;
+export declare const EncodableDate: TDateType;
+export declare const JsonPrimitiveSchema: Type.TUnion<[Type.TString, Type.TNumber, Type.TBoolean, Type.TNull, TDateType]>;
+export type TJsonPrimitive = Static<typeof JsonPrimitiveSchema>;
+export declare const JsonValueSchema: Type.TCyclic<{
+    JsonValueSchema: Type.TUnion<[Type.TRecord<"^.*$", Type.TRef<"JsonValueSchema">>, Type.TArray<Type.TRef<"JsonValueSchema">>, Type.TString, Type.TNumber, Type.TBoolean, Type.TNull, TDateType]>;
+}, "JsonValueSchema">;
+export declare const JsonObjectSchema: Type.TRecord<"^.*$", Type.TAny>;
+export declare const JsonArraySchema: Type.TArray<Type.TCyclic<{
+    JsonValueSchema: Type.TUnion<[Type.TRecord<"^.*$", Type.TRef<"JsonValueSchema">>, Type.TArray<Type.TRef<"JsonValueSchema">>, Type.TString, Type.TNumber, Type.TBoolean, Type.TNull, TDateType]>;
+}, "JsonValueSchema">>;
+export type TJsonValue = TJsonPrimitive | {
+    [key: string]: TJsonValue;
+} | TJsonValue[];
+export type TJsonObject = Record<string, TJsonValue>;
+export type TJsonArray = TJsonValue[];
+/** Wraps a TypeBox schema in a `Union([schema, Null()])` with `default: null`. */
+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`, `descendantChecksum`, and `combinedChecksum` fields optional on a type that has them. */
+export type TOptionalChecksum<T extends {
+    checksum?: unknown;
+}> = 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

@@ -0,0 +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,8EAA8E;AAC9E,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,uDAAuD;AACvD,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,kFAAkF;AAClF,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/dist/lib/schemata/shared.js

@@ -0,0 +1,66 @@
+import Type, {} from "typebox";
+// ---------------------------------------------------------------------------
+// EncodableDate — custom TypeBox type for Date values
+// ---------------------------------------------------------------------------
+/** Custom TypeBox type that validates, converts, and clones `Date` values. */
+export class TDateType extends Type.Base {
+    type = Date;
+    Check(value) {
+        return value instanceof Date;
+    }
+    Errors(value) {
+        if (this.Check(value))
+            return [];
+        return [{ message: "Invalid date", value }];
+    }
+    Convert(value) {
+        if (this.Check(value))
+            return value;
+        if (typeof value === "string" || typeof value === "number") {
+            const date = new Date(value);
+            if (this.Check(date))
+                return date;
+        }
+        throw new Error("Cannot convert value to Date");
+    }
+    Clone() {
+        return new TDateType();
+    }
+}
+/** Creates a new {@link TDateType} schema instance. */
+export function dateType() {
+    return new TDateType();
+}
+export const EncodableDate = dateType();
+// ---------------------------------------------------------------------------
+// JSON value schemata
+// ---------------------------------------------------------------------------
+export const JsonPrimitiveSchema = Type.Union([
+    Type.String(),
+    Type.Number(),
+    Type.Boolean(),
+    Type.Null(),
+    EncodableDate,
+]);
+export const JsonValueSchema = Type.Cyclic({
+    JsonValueSchema: Type.Union([
+        Type.Record(Type.String(), Type.Ref("JsonValueSchema")),
+        Type.Array(Type.Ref("JsonValueSchema")),
+        Type.String(),
+        Type.Number(),
+        Type.Boolean(),
+        Type.Null(),
+        EncodableDate,
+    ]),
+}, "JsonValueSchema");
+export const JsonObjectSchema = Type.Record(Type.String(), Type.Any());
+export const JsonArraySchema = Type.Array(JsonValueSchema);
+// ---------------------------------------------------------------------------
+// Helpers
+// ---------------------------------------------------------------------------
+/** Wraps a TypeBox schema in a `Union([schema, Null()])` with `default: null`. */
+export const Nullable = (schema, options) => {
+    return Type.Union([schema, Type.Null()], { ...options, default: null });
+};
+export const UUID = Type.String(); // `${string}-${string}-${string}-${string}-${string}`
+//# sourceMappingURL=shared.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"shared.js","sourceRoot":"","sources":["../../../src/lib/schemata/shared.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAkD,MAAM,SAAS,CAAA;AAE9E,8EAA8E;AAC9E,sDAAsD;AACtD,8EAA8E;AAC9E,8EAA8E;AAC9E,MAAM,OAAO,SAAU,SAAQ,IAAI,CAAC,IAAU;IAC1B,IAAI,GAAG,IAAI,CAAA;IAEX,KAAK,CAAC,KAAc;QAChC,OAAO,KAAK,YAAY,IAAI,CAAA;IAChC,CAAC;IACe,MAAM,CAAC,KAAc;QACjC,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;YAAE,OAAO,EAAE,CAAA;QAChC,OAAO,CAAC,EAAE,OAAO,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,CAAA;IAC/C,CAAC;IACe,OAAO,CAAC,KAAc;QAClC,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAA;QACnC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YACzD,MAAM,IAAI,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,CAAA;YAC5B,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAA;QACrC,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAA;IACnD,CAAC;IACe,KAAK;QACjB,OAAO,IAAI,SAAS,EAAE,CAAA;IAC1B,CAAC;CACJ;AACD,uDAAuD;AACvD,MAAM,UAAU,QAAQ;IACpB,OAAO,IAAI,SAAS,EAAE,CAAA;AAC1B,CAAC;AACD,MAAM,CAAC,MAAM,aAAa,GAAG,QAAQ,EAAE,CAAA;AAEvC,8EAA8E;AAC9E,sBAAsB;AACtB,8EAA8E;AAC9E,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,KAAK,CAAC;IAC1C,IAAI,CAAC,MAAM,EAAE;IACb,IAAI,CAAC,MAAM,EAAE;IACb,IAAI,CAAC,OAAO,EAAE;IACd,IAAI,CAAC,IAAI,EAAE;IACX,aAAa;CAChB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,CAAC,MAAM,CACtC;IACI,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC;QACxB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;QACvD,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;QACvC,IAAI,CAAC,MAAM,EAAE;QACb,IAAI,CAAC,MAAM,EAAE;QACb,IAAI,CAAC,OAAO,EAAE;QACd,IAAI,CAAC,IAAI,EAAE;QACX,aAAa;KAChB,CAAC;CACL,EACD,iBAAiB,CACpB,CAAA;AAED,MAAM,CAAC,MAAM,gBAAgB,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAA;AAEtE,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,CAAA;AAW1D,8EAA8E;AAC9E,UAAU;AACV,8EAA8E;AAC9E,kFAAkF;AAClF,MAAM,CAAC,MAAM,QAAQ,GAAG,CACpB,MAAS,EACT,OAAyC,EAC3C,EAAE;IACA,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,GAAG,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAA;AAC3E,CAAC,CAAA;AACD,MAAM,CAAC,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,EAAE,CAAA,CAAC,sDAAsD"}

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

@@ -0,0 +1,18 @@
+import Type, { type Static } from "typebox";
+export declare const CoreSourceSchema: Type.TObject<{
+    id: Type.TString;
+    version: Type.TNumber;
+    frozen: Type.TBoolean;
+    checksum: Type.TString;
+}>;
+export type TCoreSource = Static<typeof CoreSourceSchema>;
+export declare const CoreClaimSourceAssociationSchema: Type.TObject<{
+    id: Type.TString;
+    claimId: Type.TString;
+    claimVersion: Type.TNumber;
+    sourceId: Type.TString;
+    sourceVersion: Type.TNumber;
+    checksum: Type.TString;
+}>;
+export type TCoreClaimSourceAssociation = Static<typeof CoreClaimSourceAssociationSchema>;
+//# sourceMappingURL=source.d.ts.map

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

@@ -0,0 +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;;;;;EAmB5B,CAAA;AACD,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC,OAAO,gBAAgB,CAAC,CAAA;AAEzD,eAAO,MAAM,gCAAgC;;;;;;;EAoB5C,CAAA;AACD,MAAM,MAAM,2BAA2B,GAAG,MAAM,CAC5C,OAAO,gCAAgC,CAC1C,CAAA"}