@proposit/shared 0.1.0

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

@@ -0,0 +1 @@
+{"version":3,"file":"review.d.ts","sourceRoot":"","sources":["../../src/schemas/review.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAI3C,eAAO,MAAM,oBAAoB,0CAA4C,CAAA;AAC7E,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAGjE,eAAO,MAAM,yBAAyB,+RAQpC,CAAA;AAEF,eAAO,MAAM,0BAA0B,4SASrC,CAAA;AAEF,eAAO,MAAM,4BAA4B,2RASvC,CAAA;AAEF,eAAO,MAAM,8BAA8B,wNAMzC,CAAA;AAEF,eAAO,MAAM,8BAA8B,2RAQzC,CAAA;AAEF,eAAO,MAAM,qBAAqB,q3BAIhC,CAAA;AACF,eAAO,MAAM,wBAAwB,kgBAGnC,CAAA;AACF,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,yBAAyB,CAAC,CAAA;AAC3E,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAA;AAC7E,MAAM,MAAM,uBAAuB,GAAG,MAAM,CACxC,OAAO,4BAA4B,CACtC,CAAA;AACD,MAAM,MAAM,yBAAyB,GAAG,MAAM,CAC1C,OAAO,8BAA8B,CACxC,CAAA;AACD,MAAM,MAAM,yBAAyB,GAAG,MAAM,CAC1C,OAAO,8BAA8B,CACxC,CAAA;AACD,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,qBAAqB,CAAC,CAAA;AACnE,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAKzE,eAAO,MAAM,qBAAqB;;;;;;;EAOhC,CAAA;AACF,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,qBAAqB,CAAC,CAAA;AAEnE,eAAO,MAAM,wBAAwB;;;;;;;;EAQnC,CAAA;AACF,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAEzE,eAAO,MAAM,iBAAiB,2FAI5B,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAE3D,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;EAY5B,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAO3D,eAAO,MAAM,yBAAyB,ozBAkBpC,CAAA;AAEF,eAAO,MAAM,0BAA0B;;;;;;;EAOrC,CAAA;AACF,eAAO,MAAM,2BAA2B;;;;;;;;;;EAGtC,CAAA;AAEF,eAAO,MAAM,6BAA6B;;;;;;EAMxC,CAAA;AAEF,eAAO,MAAM,qCAAqC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IA0BhD,CAAA;AAEF,eAAO,MAAM,kCAAkC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAW7C,CAAA;AAEF,eAAO,MAAM,+BAA+B;;;EAM1C,CAAA;AAEF,eAAO,MAAM,mCAAmC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAuB9C,CAAA;AAEF,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGpC,CAAA;AACF,eAAO,MAAM,8BAA8B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EASzC,CAAA;AAGF,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAO7B,CAAA;AACF,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,kBAAkB,CAAC,CAAA;AAE7D,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAG5B,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA"}

package/dist/schemas/review.js

@@ -0,0 +1,232 @@
+import { Type } from "typebox";
+import { UUID, EncodableDate } from "./common.js";
+// Kleene value (mirrors proposit-core's TCoreTrivalentValue)
+export const TrivalentValueSchema = Type.Union([Type.Boolean(), Type.Null()]);
+// Claim → true (7 codes)
+export const ClaimTrueReasonCodeSchema = Type.Union([
+    Type.Literal("common-knowledge"),
+    Type.Literal("well-supported-by-sources"),
+    Type.Literal("definitionally-true"),
+    Type.Literal("expert-consensus"),
+    Type.Literal("empirically-verified"),
+    Type.Literal("historically-established"),
+    Type.Literal("logically-necessary"),
+]);
+// Claim → false (8 codes)
+export const ClaimFalseReasonCodeSchema = Type.Union([
+    Type.Literal("factually-incorrect"),
+    Type.Literal("contradicts-expert-consensus"),
+    Type.Literal("hyperbole"),
+    Type.Literal("proven-false-elsewhere"),
+    Type.Literal("logical-contradiction"),
+    Type.Literal("strawman"),
+    Type.Literal("equivocation"),
+    Type.Literal("category-error"),
+]);
+// Claim → unknown (8 codes)
+export const ClaimUnknownReasonCodeSchema = Type.Union([
+    Type.Literal("insufficient-evidence"),
+    Type.Literal("unknowable"),
+    Type.Literal("speculation"),
+    Type.Literal("matter-of-opinion"),
+    Type.Literal("ambiguous-wording"),
+    Type.Literal("too-vague"),
+    Type.Literal("context-dependent"),
+    Type.Literal("expert-dispute"),
+]);
+// Operator → accepted (5 codes)
+export const OperatorAcceptReasonCodeSchema = Type.Union([
+    Type.Literal("entailment-holds"),
+    Type.Literal("sound-causal-mechanism"),
+    Type.Literal("strong-inductive-support"),
+    Type.Literal("true-by-definition"),
+    Type.Literal("well-established-inference"),
+]);
+// Operator → rejected (7 codes)
+export const OperatorRejectReasonCodeSchema = Type.Union([
+    Type.Literal("non-sequitur"),
+    Type.Literal("correlation-not-causation"),
+    Type.Literal("hasty-generalization"),
+    Type.Literal("counterexamples-exist"),
+    Type.Literal("false-dichotomy"),
+    Type.Literal("equivocation-across-link"),
+    Type.Literal("circular-inference"),
+]);
+export const ClaimReasonCodeSchema = Type.Union([
+    ClaimTrueReasonCodeSchema,
+    ClaimFalseReasonCodeSchema,
+    ClaimUnknownReasonCodeSchema,
+]);
+export const OperatorReasonCodeSchema = Type.Union([
+    OperatorAcceptReasonCodeSchema,
+    OperatorRejectReasonCodeSchema,
+]);
+// ---- Assignments ----
+// Absence of a claimId key in claimAssignments = never touched.
+// Presence with skipped: true = deferred. Presence with a concrete value = decided.
+export const ClaimAssignmentSchema = Type.Object({
+    assignmentId: UUID,
+    claimId: UUID,
+    value: TrivalentValueSchema,
+    reasonCode: Type.Optional(ClaimReasonCodeSchema),
+    skipped: Type.Boolean(),
+    decidedAt: EncodableDate,
+});
+export const OperatorAssignmentSchema = Type.Object({
+    assignmentId: UUID,
+    premiseId: UUID,
+    expressionId: Type.Optional(UUID),
+    scope: Type.Union([Type.Literal("premise"), Type.Literal("expression")]),
+    decision: Type.Union([Type.Literal("accepted"), Type.Literal("rejected")]),
+    reasonCode: Type.Optional(OperatorReasonCodeSchema),
+    decidedAt: EncodableDate,
+});
+export const ReviewPhaseSchema = Type.Union([
+    Type.Literal("claims"),
+    Type.Literal("operators"),
+    Type.Literal("done"),
+]);
+export const ReviewDraftSchema = Type.Object({
+    schemaVersion: Type.Literal(1),
+    reviewId: UUID,
+    argumentId: UUID,
+    argumentVersion: Type.Number(),
+    userId: Type.Optional(UUID),
+    createdAt: EncodableDate,
+    updatedAt: EncodableDate,
+    phase: ReviewPhaseSchema,
+    currentStepIndex: Type.Integer({ minimum: 0 }),
+    claimAssignments: Type.Record(UUID, ClaimAssignmentSchema),
+    operatorAssignments: Type.Array(OperatorAssignmentSchema),
+});
+// ---- Core evaluation result mirror (full) ----
+// Mirrors @proposit/proposit-core dist/lib/types/evaluation.d.ts.
+// Snapshot-tested against a real core evaluation result in Task G1.
+// TCoreValidationCode enum (17 literals)
+export const TCoreValidationCodeSchema = Type.Union([
+    Type.Literal("ARGUMENT_NO_CONCLUSION"),
+    Type.Literal("ARGUMENT_CONCLUSION_NOT_FOUND"),
+    Type.Literal("ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH"),
+    Type.Literal("ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS"),
+    Type.Literal("PREMISE_EMPTY"),
+    Type.Literal("PREMISE_ROOT_MISSING"),
+    Type.Literal("PREMISE_ROOT_MISMATCH"),
+    Type.Literal("EXPR_CHILD_COUNT_INVALID"),
+    Type.Literal("EXPR_BINARY_POSITIONS_INVALID"),
+    Type.Literal("EXPR_VARIABLE_UNDECLARED"),
+    Type.Literal("ASSIGNMENT_MISSING_VARIABLE"),
+    Type.Literal("ASSIGNMENT_UNKNOWN_VARIABLE"),
+    Type.Literal("SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE"),
+    Type.Literal("SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE"),
+    Type.Literal("SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION"),
+    Type.Literal("SOURCE_ORPHANED"),
+    Type.Literal("EXPR_BOUND_PREMISE_EMPTY"),
+]);
+export const TCoreValidationIssueSchema = Type.Object({
+    code: TCoreValidationCodeSchema,
+    severity: Type.Union([Type.Literal("error"), Type.Literal("warning")]),
+    message: Type.String(),
+    premiseId: Type.Optional(Type.String()),
+    expressionId: Type.Optional(Type.String()),
+    variableId: Type.Optional(Type.String()),
+});
+export const TCoreValidationResultSchema = Type.Object({
+    ok: Type.Boolean(),
+    issues: Type.Array(TCoreValidationIssueSchema),
+});
+export const TCoreDirectionalVacuitySchema = Type.Object({
+    antecedentTrue: TrivalentValueSchema,
+    consequentTrue: TrivalentValueSchema,
+    implicationValue: TrivalentValueSchema,
+    isVacuouslyTrue: TrivalentValueSchema,
+    fired: TrivalentValueSchema,
+});
+export const TCorePremiseInferenceDiagnosticSchema = Type.Union([
+    Type.Object({
+        kind: Type.Literal("implies"),
+        premiseId: Type.String(),
+        rootExpressionId: Type.String(),
+        leftValue: TrivalentValueSchema,
+        rightValue: TrivalentValueSchema,
+        rootValue: TrivalentValueSchema,
+        antecedentTrue: TrivalentValueSchema,
+        consequentTrue: TrivalentValueSchema,
+        isVacuouslyTrue: TrivalentValueSchema,
+        fired: TrivalentValueSchema,
+        firedAndHeld: TrivalentValueSchema,
+    }),
+    Type.Object({
+        kind: Type.Literal("iff"),
+        premiseId: Type.String(),
+        rootExpressionId: Type.String(),
+        leftValue: TrivalentValueSchema,
+        rightValue: TrivalentValueSchema,
+        rootValue: TrivalentValueSchema,
+        leftToRight: TCoreDirectionalVacuitySchema,
+        rightToLeft: TCoreDirectionalVacuitySchema,
+        bothSidesTrue: TrivalentValueSchema,
+        bothSidesFalse: TrivalentValueSchema,
+    }),
+]);
+export const TCorePremiseEvaluationResultSchema = Type.Object({
+    premiseId: Type.String(),
+    premiseType: Type.Union([
+        Type.Literal("inference"),
+        Type.Literal("constraint"),
+    ]),
+    rootExpressionId: Type.Optional(Type.String()),
+    rootValue: Type.Optional(TrivalentValueSchema),
+    expressionValues: Type.Record(Type.String(), TrivalentValueSchema),
+    variableValues: Type.Record(Type.String(), TrivalentValueSchema),
+    inferenceDiagnostic: Type.Optional(TCorePremiseInferenceDiagnosticSchema),
+});
+export const TCoreExpressionAssignmentSchema = Type.Object({
+    variables: Type.Record(Type.String(), TrivalentValueSchema),
+    operatorAssignments: Type.Record(Type.String(), Type.Union([Type.Literal("accepted"), Type.Literal("rejected")])),
+});
+export const TCoreArgumentEvaluationResultSchema = Type.Object({
+    ok: Type.Boolean(),
+    validation: Type.Optional(TCoreValidationResultSchema),
+    assignment: Type.Optional(TCoreExpressionAssignmentSchema),
+    referencedVariableIds: Type.Optional(Type.Array(Type.String())),
+    conclusion: Type.Optional(TCorePremiseEvaluationResultSchema),
+    supportingPremises: Type.Optional(Type.Array(TCorePremiseEvaluationResultSchema)),
+    constraintPremises: Type.Optional(Type.Array(TCorePremiseEvaluationResultSchema)),
+    isAdmissibleAssignment: Type.Optional(TrivalentValueSchema),
+    allSupportingPremisesTrue: Type.Optional(TrivalentValueSchema),
+    conclusionTrue: Type.Optional(TrivalentValueSchema),
+    isCounterexample: Type.Optional(TrivalentValueSchema),
+    preservesTruthUnderAssignment: Type.Optional(TrivalentValueSchema),
+    // Argument-wide propagated-variable map (proposit-core 0.9.0+).
+    // Populated when evaluateArgument is called with includeDiagnostics: true.
+    // Key set = referencedVariableIds (claim-bound and externally-bound).
+    propagatedVariableValues: Type.Optional(Type.Record(Type.String(), TrivalentValueSchema)),
+});
+export const TCoreCounterexampleSchema = Type.Object({
+    assignment: TCoreExpressionAssignmentSchema,
+    result: TCoreArgumentEvaluationResultSchema,
+});
+export const TCoreValidityCheckResultSchema = Type.Object({
+    ok: Type.Boolean(),
+    validation: Type.Optional(TCoreValidationResultSchema),
+    isValid: Type.Optional(Type.Boolean()),
+    checkedVariableIds: Type.Optional(Type.Array(Type.String())),
+    numAssignmentsChecked: Type.Optional(Type.Number()),
+    numAdmissibleAssignments: Type.Optional(Type.Number()),
+    counterexamples: Type.Optional(Type.Array(TCoreCounterexampleSchema)),
+    truncated: Type.Optional(Type.Boolean()),
+});
+// ---- Review result (fingerprint used by stale-banner logic) ----
+export const ReviewResultSchema = Type.Object({
+    schemaVersion: Type.Literal(1),
+    createdAt: EncodableDate,
+    evaluatedAt: EncodableDate,
+    evaluatedFingerprint: Type.String(),
+    evaluation: TCoreArgumentEvaluationResultSchema,
+    validityCheck: Type.Optional(TCoreValidityCheckResultSchema),
+});
+export const ReviewStateSchema = Type.Object({
+    draft: ReviewDraftSchema,
+    lastResult: Type.Optional(ReviewResultSchema),
+});
+//# sourceMappingURL=review.js.map

package/dist/schemas/review.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"review.js","sourceRoot":"","sources":["../../src/schemas/review.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAEjD,6DAA6D;AAC7D,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;AAG7E,yBAAyB;AACzB,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC,KAAK,CAAC;IAChD,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC;IAChC,IAAI,CAAC,OAAO,CAAC,2BAA2B,CAAC;IACzC,IAAI,CAAC,OAAO,CAAC,qBAAqB,CAAC;IACnC,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC;IAChC,IAAI,CAAC,OAAO,CAAC,sBAAsB,CAAC;IACpC,IAAI,CAAC,OAAO,CAAC,0BAA0B,CAAC;IACxC,IAAI,CAAC,OAAO,CAAC,qBAAqB,CAAC;CACtC,CAAC,CAAA;AACF,0BAA0B;AAC1B,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,KAAK,CAAC;IACjD,IAAI,CAAC,OAAO,CAAC,qBAAqB,CAAC;IACnC,IAAI,CAAC,OAAO,CAAC,8BAA8B,CAAC;IAC5C,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;IACzB,IAAI,CAAC,OAAO,CAAC,wBAAwB,CAAC;IACtC,IAAI,CAAC,OAAO,CAAC,uBAAuB,CAAC;IACrC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;IACxB,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC;IAC5B,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC;CACjC,CAAC,CAAA;AACF,4BAA4B;AAC5B,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,CAAC,KAAK,CAAC;IACnD,IAAI,CAAC,OAAO,CAAC,uBAAuB,CAAC;IACrC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC;IAC1B,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC;IAC3B,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC;IACjC,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC;IACjC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;IACzB,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC;IACjC,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC;CACjC,CAAC,CAAA;AACF,gCAAgC;AAChC,MAAM,CAAC,MAAM,8BAA8B,GAAG,IAAI,CAAC,KAAK,CAAC;IACrD,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC;IAChC,IAAI,CAAC,OAAO,CAAC,wBAAwB,CAAC;IACtC,IAAI,CAAC,OAAO,CAAC,0BAA0B,CAAC;IACxC,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC;IAClC,IAAI,CAAC,OAAO,CAAC,4BAA4B,CAAC;CAC7C,CAAC,CAAA;AACF,gCAAgC;AAChC,MAAM,CAAC,MAAM,8BAA8B,GAAG,IAAI,CAAC,KAAK,CAAC;IACrD,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC;IAC5B,IAAI,CAAC,OAAO,CAAC,2BAA2B,CAAC;IACzC,IAAI,CAAC,OAAO,CAAC,sBAAsB,CAAC;IACpC,IAAI,CAAC,OAAO,CAAC,uBAAuB,CAAC;IACrC,IAAI,CAAC,OAAO,CAAC,iBAAiB,CAAC;IAC/B,IAAI,CAAC,OAAO,CAAC,0BAA0B,CAAC;IACxC,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC;CACrC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,CAAC,KAAK,CAAC;IAC5C,yBAAyB;IACzB,0BAA0B;IAC1B,4BAA4B;CAC/B,CAAC,CAAA;AACF,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,KAAK,CAAC;IAC/C,8BAA8B;IAC9B,8BAA8B;CACjC,CAAC,CAAA;AAeF,wBAAwB;AACxB,gEAAgE;AAChE,oFAAoF;AACpF,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC7C,YAAY,EAAE,IAAI;IAClB,OAAO,EAAE,IAAI;IACb,KAAK,EAAE,oBAAoB;IAC3B,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,qBAAqB,CAAC;IAChD,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE;IACvB,SAAS,EAAE,aAAa;CAC3B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,MAAM,CAAC;IAChD,YAAY,EAAE,IAAI;IAClB,SAAS,EAAE,IAAI;IACf,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IACjC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC;IACxE,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;IAC1E,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,wBAAwB,CAAC;IACnD,SAAS,EAAE,aAAa;CAC3B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,KAAK,CAAC;IACxC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;IACtB,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;IACzB,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;CACvB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,MAAM,CAAC;IACzC,aAAa,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;IAC9B,QAAQ,EAAE,IAAI;IACd,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IAC3B,SAAS,EAAE,aAAa;IACxB,SAAS,EAAE,aAAa;IACxB,KAAK,EAAE,iBAAiB;IACxB,gBAAgB,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IAC9C,gBAAgB,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,qBAAqB,CAAC;IAC1D,mBAAmB,EAAE,IAAI,CAAC,KAAK,CAAC,wBAAwB,CAAC;CAC5D,CAAC,CAAA;AAGF,iDAAiD;AACjD,kEAAkE;AAClE,oEAAoE;AAEpE,yCAAyC;AACzC,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC,KAAK,CAAC;IAChD,IAAI,CAAC,OAAO,CAAC,wBAAwB,CAAC;IACtC,IAAI,CAAC,OAAO,CAAC,+BAA+B,CAAC;IAC7C,IAAI,CAAC,OAAO,CAAC,sCAAsC,CAAC;IACpD,IAAI,CAAC,OAAO,CAAC,oCAAoC,CAAC;IAClD,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC;IAC7B,IAAI,CAAC,OAAO,CAAC,sBAAsB,CAAC;IACpC,IAAI,CAAC,OAAO,CAAC,uBAAuB,CAAC;IACrC,IAAI,CAAC,OAAO,CAAC,0BAA0B,CAAC;IACxC,IAAI,CAAC,OAAO,CAAC,+BAA+B,CAAC;IAC7C,IAAI,CAAC,OAAO,CAAC,0BAA0B,CAAC;IACxC,IAAI,CAAC,OAAO,CAAC,6BAA6B,CAAC;IAC3C,IAAI,CAAC,OAAO,CAAC,6BAA6B,CAAC;IAC3C,IAAI,CAAC,OAAO,CAAC,8CAA8C,CAAC;IAC5D,IAAI,CAAC,OAAO,CAAC,+CAA+C,CAAC;IAC7D,IAAI,CAAC,OAAO,CAAC,kDAAkD,CAAC;IAChE,IAAI,CAAC,OAAO,CAAC,iBAAiB,CAAC;IAC/B,IAAI,CAAC,OAAO,CAAC,0BAA0B,CAAC;CAC3C,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,MAAM,CAAC;IAClD,IAAI,EAAE,yBAAyB;IAC/B,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC;IACtE,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACvC,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC1C,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CAC3C,CAAC,CAAA;AACF,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAAC;IACnD,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE;IAClB,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,0BAA0B,CAAC;CACjD,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAG,IAAI,CAAC,MAAM,CAAC;IACrD,cAAc,EAAE,oBAAoB;IACpC,cAAc,EAAE,oBAAoB;IACpC,gBAAgB,EAAE,oBAAoB;IACtC,eAAe,EAAE,oBAAoB;IACrC,KAAK,EAAE,oBAAoB;CAC9B,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,qCAAqC,GAAG,IAAI,CAAC,KAAK,CAAC;IAC5D,IAAI,CAAC,MAAM,CAAC;QACR,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC;QAC7B,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE;QACxB,gBAAgB,EAAE,IAAI,CAAC,MAAM,EAAE;QAC/B,SAAS,EAAE,oBAAoB;QAC/B,UAAU,EAAE,oBAAoB;QAChC,SAAS,EAAE,oBAAoB;QAC/B,cAAc,EAAE,oBAAoB;QACpC,cAAc,EAAE,oBAAoB;QACpC,eAAe,EAAE,oBAAoB;QACrC,KAAK,EAAE,oBAAoB;QAC3B,YAAY,EAAE,oBAAoB;KACrC,CAAC;IACF,IAAI,CAAC,MAAM,CAAC;QACR,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;QACzB,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE;QACxB,gBAAgB,EAAE,IAAI,CAAC,MAAM,EAAE;QAC/B,SAAS,EAAE,oBAAoB;QAC/B,UAAU,EAAE,oBAAoB;QAChC,SAAS,EAAE,oBAAoB;QAC/B,WAAW,EAAE,6BAA6B;QAC1C,WAAW,EAAE,6BAA6B;QAC1C,aAAa,EAAE,oBAAoB;QACnC,cAAc,EAAE,oBAAoB;KACvC,CAAC;CACL,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,kCAAkC,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1D,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE;IACxB,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC;QACpB,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;QACzB,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC;KAC7B,CAAC;IACF,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC9C,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,oBAAoB,CAAC;IAC9C,gBAAgB,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,oBAAoB,CAAC;IAClE,cAAc,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,oBAAoB,CAAC;IAChE,mBAAmB,EAAE,IAAI,CAAC,QAAQ,CAAC,qCAAqC,CAAC;CAC5E,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,+BAA+B,GAAG,IAAI,CAAC,MAAM,CAAC;IACvD,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,oBAAoB,CAAC;IAC3D,mBAAmB,EAAE,IAAI,CAAC,MAAM,CAC5B,IAAI,CAAC,MAAM,EAAE,EACb,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CACnE;CACJ,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,mCAAmC,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3D,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE;IAClB,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,2BAA2B,CAAC;IACtD,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,+BAA+B,CAAC;IAC1D,qBAAqB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAC/D,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,kCAAkC,CAAC;IAC7D,kBAAkB,EAAE,IAAI,CAAC,QAAQ,CAC7B,IAAI,CAAC,KAAK,CAAC,kCAAkC,CAAC,CACjD;IACD,kBAAkB,EAAE,IAAI,CAAC,QAAQ,CAC7B,IAAI,CAAC,KAAK,CAAC,kCAAkC,CAAC,CACjD;IACD,sBAAsB,EAAE,IAAI,CAAC,QAAQ,CAAC,oBAAoB,CAAC;IAC3D,yBAAyB,EAAE,IAAI,CAAC,QAAQ,CAAC,oBAAoB,CAAC;IAC9D,cAAc,EAAE,IAAI,CAAC,QAAQ,CAAC,oBAAoB,CAAC;IACnD,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,oBAAoB,CAAC;IACrD,6BAA6B,EAAE,IAAI,CAAC,QAAQ,CAAC,oBAAoB,CAAC;IAClE,gEAAgE;IAChE,2EAA2E;IAC3E,sEAAsE;IACtE,wBAAwB,EAAE,IAAI,CAAC,QAAQ,CACnC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,oBAAoB,CAAC,CACnD;CACJ,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC,MAAM,CAAC;IACjD,UAAU,EAAE,+BAA+B;IAC3C,MAAM,EAAE,mCAAmC;CAC9C,CAAC,CAAA;AACF,MAAM,CAAC,MAAM,8BAA8B,GAAG,IAAI,CAAC,MAAM,CAAC;IACtD,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE;IAClB,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,2BAA2B,CAAC;IACtD,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;IACtC,kBAAkB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAC5D,qBAAqB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACnD,wBAAwB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACtD,eAAe,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,yBAAyB,CAAC,CAAC;IACrE,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;CAC3C,CAAC,CAAA;AAEF,mEAAmE;AACnE,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1C,aAAa,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;IAC9B,SAAS,EAAE,aAAa;IACxB,WAAW,EAAE,aAAa;IAC1B,oBAAoB,EAAE,IAAI,CAAC,MAAM,EAAE;IACnC,UAAU,EAAE,mCAAmC;IAC/C,aAAa,EAAE,IAAI,CAAC,QAAQ,CAAC,8BAA8B,CAAC;CAC/D,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,MAAM,CAAC;IACzC,KAAK,EAAE,iBAAiB;IACxB,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,kBAAkB,CAAC;CAChD,CAAC,CAAA"}

package/dist/schemas/snapshot.d.ts

@@ -0,0 +1,165 @@
+import Type, { type Static } from "typebox";
+export declare const ArgumentEngineSnapshotSchema: Type.TObject<{
+    argument: Type.TIntersect<[Type.TObject<{
+        createdOn: import("./common.js").TDateType;
+        creatorId: Type.TString;
+        title: Type.TString;
+        published: Type.TBoolean;
+        publishedOn: Type.TUnion<[import("./common.js").TDateType, Type.TNull]>;
+        forkId: Type.TUnion<[Type.TString, Type.TNull]>;
+        digest: Type.TString;
+        description: Type.TUnion<[Type.TString, Type.TNull]>;
+        id: Type.TString;
+        version: Type.TNumber;
+        titleContentHash: Type.TUnion<[Type.TString, Type.TNull]>;
+        popularity: Type.TNumber;
+        platform: Type.TUnion<[Type.TLiteral<"twitter">, Type.TLiteral<"reddit">, Type.TLiteral<"raw_text">, Type.TLiteral<"manual">]>;
+        platformData: Type.TUnion<[Type.TUnion<[Type.TObject<{
+            argumentTitle: Type.TString;
+            textContent: Type.TNull;
+        }>, Type.TObject<{
+            argumentTitle: Type.TOptional<Type.TString>;
+            textContent: Type.TString;
+            postUrl: Type.TString;
+            importMode: Type.TUnion<[Type.TLiteral<"self_author">, Type.TLiteral<"other_author">, Type.TLiteral<"copy_contents">]>;
+            embedResponse: Type.TOptional<Type.TObject<{
+                url: Type.TString;
+                authorUrl: Type.TString;
+                authorName: Type.TString;
+                html: Type.TString;
+                width: Type.TOptional<Type.TNumber>;
+                height: Type.TOptional<Type.TUnion<[Type.TNumber, Type.TNull]>>;
+                type: Type.TOptional<Type.TString>;
+                version: Type.TOptional<Type.TString>;
+                providerName: Type.TOptional<Type.TString>;
+                providerUrl: Type.TOptional<Type.TString>;
+                cacheAge: Type.TOptional<Type.TString>;
+            }>>;
+            username: Type.TOptional<Type.TString>;
+        }>, Type.TObject<{
+            argumentTitle: Type.TOptional<Type.TString>;
+            textContent: Type.TString;
+            postUrl: Type.TString;
+            username: Type.TOptional<Type.TString>;
+        }>, Type.TObject<{
+            argumentTitle: Type.TOptional<Type.TString>;
+            textContent: Type.TString;
+        }>]>, Type.TNull]>;
+        platformUsername: Type.TUnion<[Type.TString, Type.TNull]>;
+    }>, Type.TObject<{
+        checksum: Type.TOptional<Type.TString>;
+        descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
+        combinedChecksum: Type.TOptional<Type.TString>;
+    }>]>;
+    variables: Type.TObject<{
+        variables: Type.TArray<Type.TUnion<[Type.TIntersect<[Type.TObject<{
+            symbol: Type.TString;
+            createdOn: import("./common.js").TDateType;
+            creatorId: Type.TString;
+            claimId: Type.TString;
+            claimVersion: Type.TNumber;
+            argumentId: Type.TString;
+            argumentVersion: Type.TNumber;
+            id: Type.TString;
+        }>, Type.TObject<{
+            checksum: Type.TOptional<Type.TString>;
+            descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
+            combinedChecksum: Type.TOptional<Type.TString>;
+        }>]>, Type.TIntersect<[Type.TObject<{
+            symbol: Type.TString;
+            createdOn: import("./common.js").TDateType;
+            creatorId: Type.TString;
+            boundPremiseId: Type.TString;
+            boundArgumentId: Type.TString;
+            boundArgumentVersion: Type.TNumber;
+            argumentId: Type.TString;
+            argumentVersion: Type.TNumber;
+            id: Type.TString;
+        }>, Type.TObject<{
+            checksum: Type.TOptional<Type.TString>;
+            descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
+            combinedChecksum: Type.TOptional<Type.TString>;
+        }>]>]>>;
+        config: Type.TOptional<Type.TUnknown>;
+    }>;
+    premises: Type.TArray<Type.TObject<{
+        premise: Type.TIntersect<[Type.TObject<{
+            createdOn: Type.TOptional<import("./common.js").TDateType>;
+            creatorId: Type.TOptional<Type.TString>;
+            argumentId: Type.TString;
+            argumentVersion: Type.TNumber;
+            role: Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"supporting">]>;
+            title: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
+            id: Type.TString;
+        }>, Type.TObject<{
+            checksum: Type.TOptional<Type.TString>;
+            descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
+            combinedChecksum: Type.TOptional<Type.TString>;
+        }>]>;
+        rootExpressionId: Type.TOptional<Type.TString>;
+        expressions: Type.TObject<{
+            expressions: Type.TArray<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;
+            }>]>]>>;
+            config: Type.TOptional<Type.TUnknown>;
+        }>;
+        config: Type.TOptional<Type.TUnknown>;
+    }>>;
+    conclusionPremiseId: Type.TOptional<Type.TString>;
+    sources: Type.TOptional<Type.TObject<{
+        variableSourceAssociations: Type.TArray<Type.TUnknown>;
+        expressionSourceAssociations: Type.TArray<Type.TUnknown>;
+    }>>;
+    config: Type.TOptional<Type.TUnknown>;
+}>;
+export type TArgumentEngineSnapshot = Static<typeof ArgumentEngineSnapshotSchema>;
+//# sourceMappingURL=snapshot.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"snapshot.d.ts","sourceRoot":"","sources":["../../src/schemas/snapshot.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAsF3C,eAAO,MAAM,4BAA4B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAOvC,CAAA;AACF,MAAM,MAAM,uBAAuB,GAAG,MAAM,CACxC,OAAO,4BAA4B,CACtC,CAAA"}

package/dist/schemas/snapshot.js

@@ -0,0 +1,80 @@
+import Type, {} from "typebox";
+import { PropositionalExpressionSchema, ClaimBoundVariableSchema, PremiseBoundVariableSchema, PropositionalPremiseSchema, } from "./logic.js";
+import { ArgumentSchema } from "./model/arguments.js";
+import { Nullable } from "./common.js";
+// ---------- ArgumentEngine snapshot schemas ----------
+// Snapshot sub-schemas
+const ExpressionManagerSnapshotSchema = Type.Object({
+    expressions: Type.Array(PropositionalExpressionSchema),
+    config: Type.Optional(Type.Unknown()),
+});
+// Apply optional checksum transformation to each variable union member
+// separately — Type.Omit on a Type.Union would collapse the union.
+const OptionalChecksumFields = Type.Object({
+    checksum: Type.Optional(Type.String()),
+    descendantChecksum: Type.Optional(Nullable(Type.String())),
+    combinedChecksum: Type.Optional(Type.String()),
+});
+const checksumKeys = [
+    "checksum",
+    "descendantChecksum",
+    "combinedChecksum",
+];
+const OptionalChecksumVariable = Type.Union([
+    Type.Intersect([
+        Type.Omit(ClaimBoundVariableSchema, checksumKeys),
+        OptionalChecksumFields,
+    ]),
+    Type.Intersect([
+        Type.Omit(PremiseBoundVariableSchema, checksumKeys),
+        OptionalChecksumFields,
+    ]),
+]);
+const VariableManagerSnapshotSchema = Type.Object({
+    variables: Type.Array(OptionalChecksumVariable),
+    config: Type.Optional(Type.Unknown()),
+});
+// Helper: make checksum fields optional on a schema
+const OptionalChecksumArgument = Type.Intersect([
+    Type.Omit(ArgumentSchema, [
+        "checksum",
+        "descendantChecksum",
+        "combinedChecksum",
+    ]),
+    Type.Object({
+        checksum: Type.Optional(Type.String()),
+        descendantChecksum: Type.Optional(Nullable(Type.String())),
+        combinedChecksum: Type.Optional(Type.String()),
+    }),
+]);
+const OptionalChecksumPremise = Type.Intersect([
+    Type.Omit(PropositionalPremiseSchema, [
+        "checksum",
+        "descendantChecksum",
+        "combinedChecksum",
+    ]),
+    Type.Object({
+        checksum: Type.Optional(Type.String()),
+        descendantChecksum: Type.Optional(Nullable(Type.String())),
+        combinedChecksum: Type.Optional(Type.String()),
+    }),
+]);
+const PremiseEngineSnapshotSchema = Type.Object({
+    premise: OptionalChecksumPremise,
+    rootExpressionId: Type.Optional(Type.String()),
+    expressions: ExpressionManagerSnapshotSchema,
+    config: Type.Optional(Type.Unknown()),
+});
+const SourceManagerSnapshotSchema = Type.Object({
+    variableSourceAssociations: Type.Array(Type.Unknown()),
+    expressionSourceAssociations: Type.Array(Type.Unknown()),
+});
+export const ArgumentEngineSnapshotSchema = Type.Object({
+    argument: OptionalChecksumArgument,
+    variables: VariableManagerSnapshotSchema,
+    premises: Type.Array(PremiseEngineSnapshotSchema),
+    conclusionPremiseId: Type.Optional(Type.String()),
+    sources: Type.Optional(SourceManagerSnapshotSchema),
+    config: Type.Optional(Type.Unknown()),
+});
+//# sourceMappingURL=snapshot.js.map

package/dist/schemas/snapshot.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"snapshot.js","sourceRoot":"","sources":["../../src/schemas/snapshot.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EACH,6BAA6B,EAC7B,wBAAwB,EACxB,0BAA0B,EAC1B,0BAA0B,GAC7B,MAAM,YAAY,CAAA;AACnB,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AACrD,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAA;AAEtC,wDAAwD;AAExD,uBAAuB;AACvB,MAAM,+BAA+B,GAAG,IAAI,CAAC,MAAM,CAAC;IAChD,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,6BAA6B,CAAC;IACtD,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;CACxC,CAAC,CAAA;AAEF,uEAAuE;AACvE,mEAAmE;AACnE,MAAM,sBAAsB,GAAG,IAAI,CAAC,MAAM,CAAC;IACvC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACtC,kBAAkB,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAC1D,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CACjD,CAAC,CAAA;AACF,MAAM,YAAY,GAAG;IACjB,UAAU;IACV,oBAAoB;IACpB,kBAAkB;CACZ,CAAA;AAEV,MAAM,wBAAwB,GAAG,IAAI,CAAC,KAAK,CAAC;IACxC,IAAI,CAAC,SAAS,CAAC;QACX,IAAI,CAAC,IAAI,CAAC,wBAAwB,EAAE,YAAY,CAAC;QACjD,sBAAsB;KACzB,CAAC;IACF,IAAI,CAAC,SAAS,CAAC;QACX,IAAI,CAAC,IAAI,CAAC,0BAA0B,EAAE,YAAY,CAAC;QACnD,sBAAsB;KACzB,CAAC;CACL,CAAC,CAAA;AAEF,MAAM,6BAA6B,GAAG,IAAI,CAAC,MAAM,CAAC;IAC9C,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,wBAAwB,CAAC;IAC/C,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;CACxC,CAAC,CAAA;AAEF,oDAAoD;AACpD,MAAM,wBAAwB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC5C,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE;QACtB,UAAU;QACV,oBAAoB;QACpB,kBAAkB;KACrB,CAAC;IACF,IAAI,CAAC,MAAM,CAAC;QACR,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACtC,kBAAkB,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QAC1D,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;KACjD,CAAC;CACL,CAAC,CAAA;AAEF,MAAM,uBAAuB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC3C,IAAI,CAAC,IAAI,CAAC,0BAA0B,EAAE;QAClC,UAAU;QACV,oBAAoB;QACpB,kBAAkB;KACrB,CAAC;IACF,IAAI,CAAC,MAAM,CAAC;QACR,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACtC,kBAAkB,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QAC1D,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;KACjD,CAAC;CACL,CAAC,CAAA;AAEF,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAAC;IAC5C,OAAO,EAAE,uBAAuB;IAChC,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC9C,WAAW,EAAE,+BAA+B;IAC5C,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;CACxC,CAAC,CAAA;AAEF,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAAC;IAC5C,0BAA0B,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;IACtD,4BAA4B,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;CAC3D,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,CAAC,MAAM,CAAC;IACpD,QAAQ,EAAE,wBAAwB;IAClC,SAAS,EAAE,6BAA6B;IACxC,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,2BAA2B,CAAC;IACjD,mBAAmB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACjD,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,2BAA2B,CAAC;IACnD,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;CACxC,CAAC,CAAA"}