@proposit/shared 0.1.0

package/dist/schemas/integrations/index.js

@@ -0,0 +1,72 @@
+import { Type } from "typebox";
+// IMPORTANT NOTE: These literals need to match the auth provider if an import platform
+//  is also an argument data platform. Right now, twitter is the only such example.
+//  Specifically, the auth provider `id` value must match.
+export const TwitterImport = Type.Literal("twitter");
+export const RedditImport = Type.Literal("reddit");
+export const FromText = Type.Literal("raw_text");
+export const NoImport = Type.Literal("manual");
+export const ArgumentImportOrigin = Type.Union([
+    TwitterImport,
+    RedditImport,
+    FromText,
+    NoImport,
+]);
+// Common
+// For all origins other than manual
+const ExternalPlatformData = Type.Object({
+    argumentTitle: Type.Optional(Type.String()),
+    textContent: Type.String(),
+});
+// If manual, there must be a title but never content
+const NoPlatformData = Type.Object({
+    argumentTitle: Type.String(),
+    textContent: Type.Null(),
+});
+// Twitter specifics
+export const TwitterImportSelfMode = Type.Literal("self_author");
+export const TwitterImportOtherMode = Type.Literal("other_author");
+export const TwitterImportCopyMode = Type.Literal("copy_contents");
+export const TwitterImportMode = Type.Union([
+    TwitterImportSelfMode,
+    TwitterImportOtherMode,
+    TwitterImportCopyMode,
+]);
+export const TwitterEmbedResponse = Type.Object({
+    url: Type.String(),
+    authorUrl: Type.String(),
+    authorName: Type.String(),
+    html: Type.String(),
+    width: Type.Optional(Type.Number()),
+    height: Type.Optional(Type.Union([Type.Number(), Type.Null()])),
+    type: Type.Optional(Type.String()),
+    version: Type.Optional(Type.String()),
+    providerName: Type.Optional(Type.String()),
+    providerUrl: Type.Optional(Type.String()),
+    cacheAge: Type.Optional(Type.String()),
+});
+export const TwitterArgumentPlatformData = Type.Interface([ExternalPlatformData], {
+    postUrl: Type.String(),
+    importMode: TwitterImportMode,
+    // From https://developer.x.com/en/docs/x-for-websites/oembed-api#item1
+    embedResponse: Type.Optional(TwitterEmbedResponse),
+    username: Type.Optional(Type.String()),
+});
+// Reddit specifics
+export const RedditArgumentPlatformData = Type.Interface([ExternalPlatformData], {
+    postUrl: Type.String(),
+    username: Type.Optional(Type.String()),
+});
+// Full mapping
+export const ArgumentPlatformDataMap = Type.Object({
+    twitter: TwitterArgumentPlatformData,
+    reddit: RedditArgumentPlatformData,
+    raw_text: ExternalPlatformData,
+    manual: NoPlatformData,
+});
+export const ArgumentPlatformData = Type.Index(ArgumentPlatformDataMap, Type.KeyOf(ArgumentPlatformDataMap));
+export const CreateArgumentFromImportSchema = Type.Object({
+    origin: ArgumentImportOrigin,
+    data: Type.Index(Type.Omit(ArgumentPlatformDataMap, NoImport), Type.KeyOf(Type.Omit(ArgumentPlatformDataMap, NoImport))),
+});
+//# sourceMappingURL=index.js.map

package/dist/schemas/integrations/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/schemas/integrations/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAe,MAAM,SAAS,CAAA;AAE3C,uFAAuF;AACvF,mFAAmF;AACnF,0DAA0D;AAC1D,MAAM,CAAC,MAAM,aAAa,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;AACpD,MAAM,CAAC,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAA;AAClD,MAAM,CAAC,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAA;AAChD,MAAM,CAAC,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAA;AAC9C,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,KAAK,CAAC;IAC3C,aAAa;IACb,YAAY;IACZ,QAAQ;IACR,QAAQ;CACX,CAAC,CAAA;AAGF,SAAS;AACT,oCAAoC;AACpC,MAAM,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAAC;IACrC,aAAa,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC3C,WAAW,EAAE,IAAI,CAAC,MAAM,EAAE;CAC7B,CAAC,CAAA;AACF,qDAAqD;AACrD,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC;IAC/B,aAAa,EAAE,IAAI,CAAC,MAAM,EAAE;IAC5B,WAAW,EAAE,IAAI,CAAC,IAAI,EAAE;CAC3B,CAAC,CAAA;AAEF,oBAAoB;AACpB,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,CAAA;AAEhE,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,CAAA;AAElE,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC,CAAA;AAElE,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,KAAK,CAAC;IACxC,qBAAqB;IACrB,sBAAsB;IACtB,qBAAqB;CACxB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC5C,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE;IAClB,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE;IACxB,UAAU,EAAE,IAAI,CAAC,MAAM,EAAE;IACzB,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;IACnB,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACnC,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAC/D,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAClC,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACrC,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC1C,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACzC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CACzC,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,SAAS,CACrD,CAAC,oBAAoB,CAAC,EACtB;IACI,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,UAAU,EAAE,iBAAiB;IAC7B,uEAAuE;IACvE,aAAa,EAAE,IAAI,CAAC,QAAQ,CAAC,oBAAoB,CAAC;IAClD,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CACzC,CACJ,CAAA;AAKD,mBAAmB;AACnB,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,SAAS,CACpD,CAAC,oBAAoB,CAAC,EACtB;IACI,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CACzC,CACJ,CAAA;AAKD,eAAe;AACf,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC/C,OAAO,EAAE,2BAA2B;IACpC,MAAM,EAAE,0BAA0B;IAClC,QAAQ,EAAE,oBAAoB;IAC9B,MAAM,EAAE,cAAc;CACzB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,KAAK,CAC1C,uBAAuB,EACvB,IAAI,CAAC,KAAK,CAAC,uBAAuB,CAAC,CACtC,CAAA;AAGD,MAAM,CAAC,MAAM,8BAA8B,GAAG,IAAI,CAAC,MAAM,CAAC;IACtD,MAAM,EAAE,oBAAoB;IAC5B,IAAI,EAAE,IAAI,CAAC,KAAK,CACZ,IAAI,CAAC,IAAI,CAAC,uBAAuB,EAAE,QAAQ,CAAC,EAC5C,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,uBAAuB,EAAE,QAAQ,CAAC,CAAC,CAC3D;CACJ,CAAC,CAAA"}

package/dist/schemas/logic.d.ts

@@ -0,0 +1,195 @@
+import Type, { type Static } from "typebox";
+export declare const LogicalOperatorType: Type.TUnion<[Type.TLiteral<"not">, Type.TLiteral<"and">, Type.TLiteral<"or">, Type.TLiteral<"implies">, Type.TLiteral<"iff">]>;
+export type TLogicalOperatorType = Static<typeof LogicalOperatorType>;
+export declare const PropositionalExpressionTypes: Type.TUnion<[Type.TLiteral<"variable">, Type.TLiteral<"operator">, Type.TLiteral<"formula">]>;
+export type TPropositionalExpressionTypes = Static<typeof PropositionalExpressionTypes>;
+export declare const PropositionalVariableExpressionSchema: Type.TIntersect<[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<{
+    createdOn: import("./common.js").TDateType;
+    creatorId: Type.TString;
+}>, Type.TObject<{
+    operator: Type.TNull;
+}>]>;
+export type TPropositionalVariableExpression = Static<typeof PropositionalVariableExpressionSchema>;
+export declare const OperatorExpressionSchema: Type.TIntersect<[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<{
+    createdOn: import("./common.js").TDateType;
+    creatorId: Type.TString;
+}>, Type.TObject<{
+    variableId: Type.TNull;
+}>]>;
+export type TOperatorExpression = Static<typeof OperatorExpressionSchema>;
+export declare const FormulaExpressionSchema: Type.TIntersect<[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">;
+}>, Type.TObject<{
+    createdOn: import("./common.js").TDateType;
+    creatorId: Type.TString;
+}>, Type.TObject<{
+    variableId: Type.TNull;
+    operator: Type.TNull;
+}>]>;
+export type TFormulaExpression = Static<typeof FormulaExpressionSchema>;
+export declare const PropositionalExpressionSchema: Type.TUnion<[Type.TIntersect<[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<{
+    createdOn: import("./common.js").TDateType;
+    creatorId: Type.TString;
+}>, Type.TObject<{
+    operator: Type.TNull;
+}>]>, Type.TIntersect<[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<{
+    createdOn: import("./common.js").TDateType;
+    creatorId: Type.TString;
+}>, Type.TObject<{
+    variableId: Type.TNull;
+}>]>, Type.TIntersect<[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">;
+}>, Type.TObject<{
+    createdOn: import("./common.js").TDateType;
+    creatorId: Type.TString;
+}>, Type.TObject<{
+    variableId: Type.TNull;
+    operator: Type.TNull;
+}>]>]>;
+export type TPropositionalExpressionCombined = Static<typeof PropositionalExpressionSchema>;
+export type TPropositionalExpression<T extends TPropositionalExpressionTypes = TPropositionalExpressionTypes> = Extract<TPropositionalExpressionCombined, {
+    type: T;
+}>;
+export declare const ClaimBoundVariableSchema: Type.TIntersect<[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<{
+    createdOn: import("./common.js").TDateType;
+    creatorId: Type.TString;
+    descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+    combinedChecksum: Type.TString;
+}>]>;
+export type TClaimBoundVariable = Static<typeof ClaimBoundVariableSchema>;
+export declare const PremiseBoundVariableSchema: Type.TIntersect<[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;
+}>, Type.TObject<{
+    createdOn: import("./common.js").TDateType;
+    creatorId: Type.TString;
+    descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+    combinedChecksum: Type.TString;
+}>]>;
+export type TPremiseBoundVariable = Static<typeof PremiseBoundVariableSchema>;
+export declare const PropositionalVariableSchema: Type.TUnion<[Type.TIntersect<[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<{
+    createdOn: import("./common.js").TDateType;
+    creatorId: Type.TString;
+    descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+    combinedChecksum: Type.TString;
+}>]>, Type.TIntersect<[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;
+}>, Type.TObject<{
+    createdOn: import("./common.js").TDateType;
+    creatorId: Type.TString;
+    descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+    combinedChecksum: Type.TString;
+}>]>]>;
+export type TPropositionalVariable = Static<typeof PropositionalVariableSchema>;
+export declare const PremiseRoleType: Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"supporting">]>;
+export type TPremiseRoleType = Static<typeof PremiseRoleType>;
+export declare const PropositionalPremiseSchema: Type.TIntersect<[Type.TObject<{
+    id: Type.TString;
+    argumentId: Type.TString;
+    argumentVersion: Type.TNumber;
+    checksum: Type.TString;
+    descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+    combinedChecksum: Type.TString;
+}>, Type.TObject<{
+    title: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
+    role: Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"supporting">]>;
+    createdOn: Type.TOptional<import("./common.js").TDateType>;
+    creatorId: Type.TOptional<Type.TString>;
+}>]>;
+export type TPropositionalPremise = Static<typeof PropositionalPremiseSchema>;
+//# sourceMappingURL=logic.d.ts.map

package/dist/schemas/logic.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"logic.d.ts","sourceRoot":"","sources":["../../src/schemas/logic.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAgB3C,eAAO,MAAM,mBAAmB,gIAA0B,CAAA;AAC1D,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAGrE,eAAO,MAAM,4BAA4B,+FAAmC,CAAA;AAC5E,MAAM,MAAM,6BAA6B,GAAG,MAAM,CAC9C,OAAO,4BAA4B,CACtC,CAAA;AASD,eAAO,MAAM,qCAAqC;;;;;;;;;;;;;;;;;IAIhD,CAAA;AACF,MAAM,MAAM,gCAAgC,GAAG,MAAM,CACjD,OAAO,qCAAqC,CAC/C,CAAA;AAGD,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;IAInC,CAAA;AACF,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAGzE,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;IAIlC,CAAA;AACF,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAA;AAGvE,eAAO,MAAM,6BAA6B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;MAIxC,CAAA;AACF,MAAM,MAAM,gCAAgC,GAAG,MAAM,CACjD,OAAO,6BAA6B,CACvC,CAAA;AAGD,MAAM,MAAM,wBAAwB,CAChC,CAAC,SAAS,6BAA6B,GAAG,6BAA6B,IACvE,OAAO,CAAC,gCAAgC,EAAE;IAAE,IAAI,EAAE,CAAC,CAAA;CAAE,CAAC,CAAA;AAW1D,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;IAGnC,CAAA;AACF,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAGzE,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;IAGrC,CAAA;AACF,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAA;AAK7E,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;MAGtC,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAG/E,eAAO,MAAM,eAAe,yEAG1B,CAAA;AACF,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,eAAe,CAAC,CAAA;AAG7D,eAAO,MAAM,0BAA0B;;;;;;;;;;;;IAQrC,CAAA;AACF,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAA"}

package/dist/schemas/logic.js

@@ -0,0 +1,77 @@
+import Type, {} from "typebox";
+import { UUID, Nullable, EncodableDate } from "./common.js";
+import { CoreLogicalOperatorType, CorePropositionalExpressionTypes, CorePropositionalVariableExpressionSchema, CoreOperatorExpressionSchema, CoreFormulaExpressionSchema, CoreClaimBoundVariableSchema, CorePremiseBoundVariableSchema, CorePremiseSchema, } from "@proposit/proposit-core";
+// PROPOSITIONAL LOGIC SCHEMAS
+// Logical operator type — re-exported from proposit-core
+export const LogicalOperatorType = CoreLogicalOperatorType;
+// Expression type discriminant — re-exported from proposit-core
+export const PropositionalExpressionTypes = CorePropositionalExpressionTypes;
+// Local expression extensions shared across all expression sub-types.
+const ExpressionLocalExtensions = Type.Object({
+    createdOn: EncodableDate,
+    creatorId: UUID,
+});
+// Variable expression: core + local extensions + operator discriminant null
+export const PropositionalVariableExpressionSchema = Type.Intersect([
+    CorePropositionalVariableExpressionSchema,
+    ExpressionLocalExtensions,
+    Type.Object({ operator: Type.Null() }),
+]);
+// Operator expression: core + local extensions + variableId discriminant null
+export const OperatorExpressionSchema = Type.Intersect([
+    CoreOperatorExpressionSchema,
+    ExpressionLocalExtensions,
+    Type.Object({ variableId: Type.Null() }),
+]);
+// Formula expression: core + local extensions + both discriminants null
+export const FormulaExpressionSchema = Type.Intersect([
+    CoreFormulaExpressionSchema,
+    ExpressionLocalExtensions,
+    Type.Object({ variableId: Type.Null(), operator: Type.Null() }),
+]);
+// Union of all expression types
+export const PropositionalExpressionSchema = Type.Union([
+    PropositionalVariableExpressionSchema,
+    OperatorExpressionSchema,
+    FormulaExpressionSchema,
+]);
+// Local extensions shared by all propositional variable sub-types.
+const VariableLocalExtensions = Type.Object({
+    createdOn: EncodableDate,
+    creatorId: UUID,
+    descendantChecksum: Nullable(Type.String()),
+    combinedChecksum: Type.String(),
+});
+// Claim-bound variable: core claim-bound schema + local extensions.
+export const ClaimBoundVariableSchema = Type.Intersect([
+    CoreClaimBoundVariableSchema,
+    VariableLocalExtensions,
+]);
+// Premise-bound variable: core premise-bound schema + local extensions.
+export const PremiseBoundVariableSchema = Type.Intersect([
+    CorePremiseBoundVariableSchema,
+    VariableLocalExtensions,
+]);
+// Propositional variable — union of claim-bound and premise-bound, each with
+// app-level extensions. This matches the core union and satisfies the engine's
+// type parameter constraint.
+export const PropositionalVariableSchema = Type.Union([
+    ClaimBoundVariableSchema,
+    PremiseBoundVariableSchema,
+]);
+// Premise role type (local-only; core manages roles via ArgumentRoleState)
+export const PremiseRoleType = Type.Union([
+    Type.Literal("conclusion"),
+    Type.Literal("supporting"),
+]);
+// Propositional premise — full core schema + local extensions
+export const PropositionalPremiseSchema = Type.Intersect([
+    CorePremiseSchema,
+    Type.Object({
+        title: Type.Optional(Nullable(Type.String())),
+        role: PremiseRoleType,
+        createdOn: Type.Optional(EncodableDate),
+        creatorId: Type.Optional(UUID),
+    }),
+]);
+//# sourceMappingURL=logic.js.map

package/dist/schemas/logic.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"logic.js","sourceRoot":"","sources":["../../src/schemas/logic.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAC3D,OAAO,EACH,uBAAuB,EACvB,gCAAgC,EAChC,yCAAyC,EACzC,4BAA4B,EAC5B,2BAA2B,EAC3B,4BAA4B,EAC5B,8BAA8B,EAC9B,iBAAiB,GACpB,MAAM,yBAAyB,CAAA;AAEhC,8BAA8B;AAE9B,yDAAyD;AACzD,MAAM,CAAC,MAAM,mBAAmB,GAAG,uBAAuB,CAAA;AAG1D,gEAAgE;AAChE,MAAM,CAAC,MAAM,4BAA4B,GAAG,gCAAgC,CAAA;AAK5E,sEAAsE;AACtE,MAAM,yBAAyB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1C,SAAS,EAAE,aAAa;IACxB,SAAS,EAAE,IAAI;CAClB,CAAC,CAAA;AAEF,4EAA4E;AAC5E,MAAM,CAAC,MAAM,qCAAqC,GAAG,IAAI,CAAC,SAAS,CAAC;IAChE,yCAAyC;IACzC,yBAAyB;IACzB,IAAI,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;CACzC,CAAC,CAAA;AAKF,8EAA8E;AAC9E,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,SAAS,CAAC;IACnD,4BAA4B;IAC5B,yBAAyB;IACzB,IAAI,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;CAC3C,CAAC,CAAA;AAGF,wEAAwE;AACxE,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,CAAC,SAAS,CAAC;IAClD,2BAA2B;IAC3B,yBAAyB;IACzB,IAAI,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;CAClE,CAAC,CAAA;AAGF,gCAAgC;AAChC,MAAM,CAAC,MAAM,6BAA6B,GAAG,IAAI,CAAC,KAAK,CAAC;IACpD,qCAAqC;IACrC,wBAAwB;IACxB,uBAAuB;CAC1B,CAAC,CAAA;AAUF,mEAAmE;AACnE,MAAM,uBAAuB,GAAG,IAAI,CAAC,MAAM,CAAC;IACxC,SAAS,EAAE,aAAa;IACxB,SAAS,EAAE,IAAI;IACf,kBAAkB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC3C,gBAAgB,EAAE,IAAI,CAAC,MAAM,EAAE;CAClC,CAAC,CAAA;AAEF,oEAAoE;AACpE,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,SAAS,CAAC;IACnD,4BAA4B;IAC5B,uBAAuB;CAC1B,CAAC,CAAA;AAGF,wEAAwE;AACxE,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,SAAS,CAAC;IACrD,8BAA8B;IAC9B,uBAAuB;CAC1B,CAAC,CAAA;AAGF,6EAA6E;AAC7E,+EAA+E;AAC/E,6BAA6B;AAC7B,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,KAAK,CAAC;IAClD,wBAAwB;IACxB,0BAA0B;CAC7B,CAAC,CAAA;AAGF,2EAA2E;AAC3E,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,CAAC,KAAK,CAAC;IACtC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC;IAC1B,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC;CAC7B,CAAC,CAAA;AAGF,8DAA8D;AAC9D,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,SAAS,CAAC;IACrD,iBAAiB;IACjB,IAAI,CAAC,MAAM,CAAC;QACR,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QAC7C,IAAI,EAAE,eAAe;QACrB,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC;QACvC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;KACjC,CAAC;CACL,CAAC,CAAA"}