@proposit/proposit-core 0.8.9

package/dist/lib/schemata/source.js

@@ -0,0 +1,35 @@
+import Type, {} from "typebox";
+import { UUID } from "./shared.js";
+export const CoreSourceSchema = Type.Object({
+    id: UUID,
+    version: Type.Number({
+        description: "Source version number. Starts at 0.",
+    }),
+    frozen: Type.Boolean({
+        description: "Whether this version is frozen (immutable). Frozen versions cannot be updated.",
+    }),
+    checksum: Type.String({
+        description: "Source-level checksum for sync detection.",
+    }),
+}, {
+    additionalProperties: true,
+    description: "A global source entity providing evidentiary support for variables or expressions.",
+});
+export const CoreClaimSourceAssociationSchema = Type.Object({
+    id: UUID,
+    claimId: UUID,
+    claimVersion: Type.Number({
+        description: "The version of the claim this association pins to.",
+    }),
+    sourceId: UUID,
+    sourceVersion: Type.Number({
+        description: "The version of the source this association pins to.",
+    }),
+    checksum: Type.String({
+        description: "Association checksum for sync detection.",
+    }),
+}, {
+    additionalProperties: true,
+    description: "An association between a claim and a source. Extended via generics for additional fields (e.g., createdBy).",
+});
+//# sourceMappingURL=source.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"source.js","sourceRoot":"","sources":["../../../src/lib/schemata/source.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,MAAM,aAAa,CAAA;AAElC,MAAM,CAAC,MAAM,gBAAgB,GAAG,IAAI,CAAC,MAAM,CACvC;IACI,EAAE,EAAE,IAAI;IACR,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC;QACjB,WAAW,EAAE,qCAAqC;KACrD,CAAC;IACF,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC;QACjB,WAAW,EACP,gFAAgF;KACvF,CAAC;IACF,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,WAAW,EAAE,2CAA2C;KAC3D,CAAC;CACL,EACD;IACI,oBAAoB,EAAE,IAAI;IAC1B,WAAW,EACP,oFAAoF;CAC3F,CACJ,CAAA;AAGD,MAAM,CAAC,MAAM,gCAAgC,GAAG,IAAI,CAAC,MAAM,CACvD;IACI,EAAE,EAAE,IAAI;IACR,OAAO,EAAE,IAAI;IACb,YAAY,EAAE,IAAI,CAAC,MAAM,CAAC;QACtB,WAAW,EAAE,oDAAoD;KACpE,CAAC;IACF,QAAQ,EAAE,IAAI;IACd,aAAa,EAAE,IAAI,CAAC,MAAM,CAAC;QACvB,WAAW,EAAE,qDAAqD;KACrE,CAAC;IACF,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,WAAW,EAAE,0CAA0C;KAC1D,CAAC;CACL,EACD;IACI,oBAAoB,EAAE,IAAI;IAC1B,WAAW,EACP,6GAA6G;CACpH,CACJ,CAAA"}

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

@@ -0,0 +1,20 @@
+/** Configuration for which fields to include in entity checksums. */
+export interface TCoreChecksumConfig {
+    /** Fields to hash for expression entities. Defaults to all base expression fields except `id`. */
+    expressionFields?: Set<string>;
+    /** Fields to hash for variable entities. Defaults to all variable fields except `id`. */
+    variableFields?: Set<string>;
+    /** Fields to hash for premise metadata. Defaults to ["argumentId", "argumentVersion"]. */
+    premiseFields?: Set<string>;
+    /** Fields to hash for argument metadata. Defaults to ["version"]. */
+    argumentFields?: Set<string>;
+    /** Fields to hash for role state. Defaults to ["conclusionPremiseId"]. */
+    roleFields?: Set<string>;
+    /** Fields to hash for claim entities. Defaults to ["version"]. */
+    claimFields?: Set<string>;
+    /** Fields to hash for source entities. Defaults to ["version"]. */
+    sourceFields?: Set<string>;
+    /** Fields to hash for claim-source associations. Defaults to ["claimId", "claimVersion", "sourceId", "sourceVersion"]. */
+    claimSourceAssociationFields?: Set<string>;
+}
+//# sourceMappingURL=checksum.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"checksum.d.ts","sourceRoot":"","sources":["../../../src/lib/types/checksum.ts"],"names":[],"mappings":"AAAA,qEAAqE;AACrE,MAAM,WAAW,mBAAmB;IAChC,kGAAkG;IAClG,gBAAgB,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC9B,yFAAyF;IACzF,cAAc,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC5B,0FAA0F;IAC1F,aAAa,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC3B,qEAAqE;IACrE,cAAc,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC5B,0EAA0E;IAC1E,UAAU,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IACxB,kEAAkE;IAClE,WAAW,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IACzB,mEAAmE;IACnE,YAAY,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC1B,0HAA0H;IAC1H,4BAA4B,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;CAC7C"}

package/dist/lib/types/checksum.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=checksum.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"checksum.js","sourceRoot":"","sources":["../../../src/lib/types/checksum.ts"],"names":[],"mappings":""}

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

@@ -0,0 +1,60 @@
+import type { TCoreArgument, TCorePremise, TCorePropositionalExpression, TCorePropositionalVariable } from "../schemata/index.js";
+/** A single field-level change on an entity. */
+export interface TCoreFieldChange {
+    field: string;
+    before: unknown;
+    after: unknown;
+}
+/** Field-level diff for a single matched entity. */
+export interface TCoreEntityFieldDiff<T> {
+    before: T;
+    after: T;
+    changes: TCoreFieldChange[];
+}
+/** Set-level diff for a collection of ID-keyed entities. */
+export interface TCoreEntitySetDiff<T extends {
+    id: string;
+}> {
+    added: T[];
+    removed: T[];
+    modified: TCoreEntityFieldDiff<T>[];
+}
+/** Premise diff includes nested expression diffs. */
+export interface TCorePremiseDiff<TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression> extends TCoreEntityFieldDiff<TPremise> {
+    expressions: TCoreEntitySetDiff<TExpr>;
+}
+export interface TCorePremiseSetDiff<TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression> {
+    added: TPremise[];
+    removed: TPremise[];
+    modified: TCorePremiseDiff<TPremise, TExpr>[];
+}
+/** Role changes between two argument versions. */
+export interface TCoreRoleDiff {
+    conclusion: {
+        before: string | undefined;
+        after: string | undefined;
+    };
+}
+/** Top-level diff result from `diffArguments`. */
+export interface TCoreArgumentDiff<TArg extends TCoreArgument = TCoreArgument, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression> {
+    argument: TCoreEntityFieldDiff<TArg>;
+    variables: TCoreEntitySetDiff<TVar>;
+    premises: TCorePremiseSetDiff<TPremise, TExpr>;
+    roles: TCoreRoleDiff;
+}
+/** A comparator receives two matched objects and returns field-level changes. */
+export type TCoreFieldComparator<T> = (before: T, after: T) => TCoreFieldChange[];
+/** Per-entity comparator overrides for `diffArguments`. */
+export interface TCoreDiffOptions<TArg extends TCoreArgument = TCoreArgument, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression> {
+    compareArgument?: TCoreFieldComparator<TArg>;
+    compareVariable?: TCoreFieldComparator<TVar>;
+    comparePremise?: TCoreFieldComparator<TPremise>;
+    compareExpression?: TCoreFieldComparator<TExpr>;
+    /** Custom entity matcher for pairing premises. Default: match by ID. */
+    premiseMatcher?: (a: TPremise, b: TPremise) => boolean;
+    /** Custom entity matcher for pairing variables. Default: match by ID. */
+    variableMatcher?: (a: TVar, b: TVar) => boolean;
+    /** Custom entity matcher for pairing expressions. Default: match by ID. */
+    expressionMatcher?: (a: TExpr, b: TExpr) => boolean;
+}
+//# sourceMappingURL=diff.d.ts.map

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

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

package/dist/lib/types/diff.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=diff.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"diff.js","sourceRoot":"","sources":["../../../src/lib/types/diff.ts"],"names":[],"mappings":""}

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

@@ -0,0 +1,164 @@
+import type { TCoreArgumentRoleState } from "../schemata/index.js";
+export type { TCoreArgumentRoleState };
+/** Three-valued truth value: true, false, or null (unset/unknown). */
+export type TCoreTrivalentValue = boolean | null;
+/** Maps variable IDs to three-valued truth values. */
+export type TCoreVariableAssignment = Record<string, TCoreTrivalentValue>;
+/** Operator acceptance state: accepted (true), rejected (false), or unset (normal evaluation). */
+export type TCoreOperatorAssignment = "accepted" | "rejected";
+/** Full expression assignment: variable truth values and operator acceptance states. */
+export interface TCoreExpressionAssignment {
+    /** Variable ID → true/false/null (null = unset/not sure). */
+    variables: TCoreVariableAssignment;
+    /** Operator expression ID → accepted/rejected. Unset operators evaluate normally. */
+    operatorAssignments: Record<string, TCoreOperatorAssignment>;
+}
+/** Severity level for validation issues. */
+export type TCoreValidationSeverity = "error" | "warning";
+/** Machine-readable codes for all validation issues. */
+export type TCoreValidationCode = "ARGUMENT_NO_CONCLUSION" | "ARGUMENT_CONCLUSION_NOT_FOUND" | "ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH" | "ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS" | "PREMISE_EMPTY" | "PREMISE_ROOT_MISSING" | "PREMISE_ROOT_MISMATCH" | "EXPR_CHILD_COUNT_INVALID" | "EXPR_BINARY_POSITIONS_INVALID" | "EXPR_VARIABLE_UNDECLARED" | "ASSIGNMENT_MISSING_VARIABLE" | "ASSIGNMENT_UNKNOWN_VARIABLE" | "SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE" | "SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE" | "SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION" | "SOURCE_ORPHANED" | "EXPR_BOUND_PREMISE_EMPTY";
+export interface TCoreValidationIssue {
+    /** Machine-readable issue code for callers/tests/UI logic. */
+    code: TCoreValidationCode;
+    /** Severity level; `error` blocks evaluation/validity checks. */
+    severity: TCoreValidationSeverity;
+    /** Human-readable explanation of the issue. */
+    message: string;
+    /** Premise associated with the issue, when applicable. */
+    premiseId?: string;
+    /** Expression associated with the issue, when applicable. */
+    expressionId?: string;
+    /** Variable associated with the issue, when applicable. */
+    variableId?: string;
+}
+export interface TCoreValidationResult {
+    /** `true` iff no `error`-severity issues are present. */
+    ok: boolean;
+    /** Full list of validation findings (errors and warnings). */
+    issues: TCoreValidationIssue[];
+}
+export interface TCoreDirectionalVacuity {
+    /** Truth value of the antecedent for this directional implication view. */
+    antecedentTrue: TCoreTrivalentValue;
+    /** Truth value of the consequent for this directional implication view. */
+    consequentTrue: TCoreTrivalentValue;
+    /** Result of evaluating `antecedent -> consequent`. */
+    implicationValue: TCoreTrivalentValue;
+    /** `true` iff the implication is true because the antecedent is false; `null` if indeterminate. */
+    isVacuouslyTrue: TCoreTrivalentValue;
+    /** `true` iff the antecedent was true (the implication "fired"); `null` if indeterminate. */
+    fired: TCoreTrivalentValue;
+}
+export type TCorePremiseInferenceDiagnostic = {
+    kind: "implies";
+    premiseId: string;
+    rootExpressionId: string;
+    leftValue: TCoreTrivalentValue;
+    rightValue: TCoreTrivalentValue;
+    rootValue: TCoreTrivalentValue;
+    antecedentTrue: TCoreTrivalentValue;
+    consequentTrue: TCoreTrivalentValue;
+    isVacuouslyTrue: TCoreTrivalentValue;
+    fired: TCoreTrivalentValue;
+    firedAndHeld: TCoreTrivalentValue;
+} | {
+    kind: "iff";
+    premiseId: string;
+    rootExpressionId: string;
+    leftValue: TCoreTrivalentValue;
+    rightValue: TCoreTrivalentValue;
+    rootValue: TCoreTrivalentValue;
+    leftToRight: TCoreDirectionalVacuity;
+    rightToLeft: TCoreDirectionalVacuity;
+    bothSidesTrue: TCoreTrivalentValue;
+    bothSidesFalse: TCoreTrivalentValue;
+};
+export interface TCorePremiseEvaluationResult {
+    /** ID of the evaluated premise. */
+    premiseId: string;
+    /** Premise classification derived from the root expression. */
+    premiseType: "inference" | "constraint";
+    /** Root expression ID, if the premise has a root. */
+    rootExpressionId?: string;
+    /** Truth value of the root expression, if the premise was evaluable. */
+    rootValue?: TCoreTrivalentValue;
+    /** Per-expression truth values keyed by expression ID. */
+    expressionValues: Record<string, TCoreTrivalentValue>;
+    /** Referenced variable truth values keyed by variable ID. */
+    variableValues: Record<string, TCoreTrivalentValue>;
+    /** Inference-specific diagnostics for `implies`/`iff` roots. */
+    inferenceDiagnostic?: TCorePremiseInferenceDiagnostic;
+}
+export interface TCoreArgumentEvaluationOptions {
+    /** Reject assignment keys that are not referenced by the evaluated premises. */
+    strictUnknownAssignmentKeys?: boolean;
+    /** Include per-expression truth maps in premise results (may be verbose). */
+    includeExpressionValues?: boolean;
+    /** Include inference diagnostics in premise results. */
+    includeDiagnostics?: boolean;
+    /** Run argument/premise evaluability validation before evaluating. */
+    validateFirst?: boolean;
+}
+export interface TCoreArgumentEvaluationResult {
+    /** `false` means evaluation could not be completed (typically validation failure). */
+    ok: boolean;
+    /** Validation output when `ok === false`, or when validation was requested and included. */
+    validation?: TCoreValidationResult;
+    /** The assignment used for this evaluation. */
+    assignment?: TCoreExpressionAssignment;
+    /** All variable IDs referenced across evaluated supporting/conclusion/constraint premises. */
+    referencedVariableIds?: string[];
+    /** Evaluation result for the designated conclusion premise. */
+    conclusion?: TCorePremiseEvaluationResult;
+    /** Evaluation results for premises designated as supporting the argument. */
+    supportingPremises?: TCorePremiseEvaluationResult[];
+    /** Evaluation results for constraint premises (used to determine admissibility). */
+    constraintPremises?: TCorePremiseEvaluationResult[];
+    /** `true` iff all constraint premises evaluate to true under the assignment. */
+    isAdmissibleAssignment?: TCoreTrivalentValue;
+    /** `true` iff every supporting premise evaluates to true. */
+    allSupportingPremisesTrue?: TCoreTrivalentValue;
+    /** The truth value of the conclusion premise root expression. */
+    conclusionTrue?: TCoreTrivalentValue;
+    /** `true` iff constraints are satisfied, all supporting premises are true, and the conclusion is false. */
+    isCounterexample?: TCoreTrivalentValue;
+    /** Convenience inverse of `isCounterexample` for the evaluated assignment. */
+    preservesTruthUnderAssignment?: TCoreTrivalentValue;
+}
+export interface TCoreValidityCheckOptions {
+    /** Stop at first counterexample or continue exhaustively. */
+    mode?: "firstCounterexample" | "exhaustive";
+    /** Safety limit for the number of variables used in truth-table generation. */
+    maxVariables?: number;
+    /** Safety limit for generated assignments checked before truncating. */
+    maxAssignmentsChecked?: number;
+    /** Include full evaluation payloads for captured counterexamples. */
+    includeCounterexampleEvaluations?: boolean;
+    /** Run evaluability validation before truth-table search. */
+    validateFirst?: boolean;
+}
+export interface TCoreCounterexample {
+    /** Assignment under which the argument fails to preserve truth. */
+    assignment: TCoreExpressionAssignment;
+    /** Full argument evaluation result for that assignment. */
+    result: TCoreArgumentEvaluationResult;
+}
+export interface TCoreValidityCheckResult {
+    /** `false` means the validity check could not run to completion. */
+    ok: boolean;
+    /** Validation output when `ok === false`. */
+    validation?: TCoreValidationResult;
+    /** Validity result when known; may be omitted if truncated before conclusion. */
+    isValid?: boolean;
+    /** Variable IDs used to generate the checked assignments. */
+    checkedVariableIds?: string[];
+    /** Total number of assignments evaluated (including inadmissible ones). */
+    numAssignmentsChecked?: number;
+    /** Number of assignments satisfying all constraints. */
+    numAdmissibleAssignments?: number;
+    /** Counterexamples found (one or many depending on mode/options). */
+    counterexamples?: TCoreCounterexample[];
+    /** `true` iff checking stopped due to a configured limit. */
+    truncated?: boolean;
+}
+//# sourceMappingURL=evaluation.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"evaluation.d.ts","sourceRoot":"","sources":["../../../src/lib/types/evaluation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAA;AAElE,YAAY,EAAE,sBAAsB,EAAE,CAAA;AAEtC,sEAAsE;AACtE,MAAM,MAAM,mBAAmB,GAAG,OAAO,GAAG,IAAI,CAAA;AAEhD,sDAAsD;AACtD,MAAM,MAAM,uBAAuB,GAAG,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAA;AAEzE,kGAAkG;AAClG,MAAM,MAAM,uBAAuB,GAAG,UAAU,GAAG,UAAU,CAAA;AAE7D,wFAAwF;AACxF,MAAM,WAAW,yBAAyB;IACtC,6DAA6D;IAC7D,SAAS,EAAE,uBAAuB,CAAA;IAClC,qFAAqF;IACrF,mBAAmB,EAAE,MAAM,CAAC,MAAM,EAAE,uBAAuB,CAAC,CAAA;CAC/D;AAED,4CAA4C;AAC5C,MAAM,MAAM,uBAAuB,GAAG,OAAO,GAAG,SAAS,CAAA;AAEzD,wDAAwD;AACxD,MAAM,MAAM,mBAAmB,GACzB,wBAAwB,GACxB,+BAA+B,GAC/B,sCAAsC,GACtC,oCAAoC,GACpC,eAAe,GACf,sBAAsB,GACtB,uBAAuB,GACvB,0BAA0B,GAC1B,+BAA+B,GAC/B,0BAA0B,GAC1B,6BAA6B,GAC7B,6BAA6B,GAC7B,8CAA8C,GAC9C,+CAA+C,GAC/C,kDAAkD,GAClD,iBAAiB,GACjB,0BAA0B,CAAA;AAEhC,MAAM,WAAW,oBAAoB;IACjC,8DAA8D;IAC9D,IAAI,EAAE,mBAAmB,CAAA;IACzB,iEAAiE;IACjE,QAAQ,EAAE,uBAAuB,CAAA;IACjC,+CAA+C;IAC/C,OAAO,EAAE,MAAM,CAAA;IACf,0DAA0D;IAC1D,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,6DAA6D;IAC7D,YAAY,CAAC,EAAE,MAAM,CAAA;IACrB,2DAA2D;IAC3D,UAAU,CAAC,EAAE,MAAM,CAAA;CACtB;AAED,MAAM,WAAW,qBAAqB;IAClC,yDAAyD;IACzD,EAAE,EAAE,OAAO,CAAA;IACX,8DAA8D;IAC9D,MAAM,EAAE,oBAAoB,EAAE,CAAA;CACjC;AAED,MAAM,WAAW,uBAAuB;IACpC,2EAA2E;IAC3E,cAAc,EAAE,mBAAmB,CAAA;IACnC,2EAA2E;IAC3E,cAAc,EAAE,mBAAmB,CAAA;IACnC,uDAAuD;IACvD,gBAAgB,EAAE,mBAAmB,CAAA;IACrC,mGAAmG;IACnG,eAAe,EAAE,mBAAmB,CAAA;IACpC,6FAA6F;IAC7F,KAAK,EAAE,mBAAmB,CAAA;CAC7B;AAED,MAAM,MAAM,+BAA+B,GACrC;IACI,IAAI,EAAE,SAAS,CAAA;IACf,SAAS,EAAE,MAAM,CAAA;IACjB,gBAAgB,EAAE,MAAM,CAAA;IACxB,SAAS,EAAE,mBAAmB,CAAA;IAC9B,UAAU,EAAE,mBAAmB,CAAA;IAC/B,SAAS,EAAE,mBAAmB,CAAA;IAC9B,cAAc,EAAE,mBAAmB,CAAA;IACnC,cAAc,EAAE,mBAAmB,CAAA;IACnC,eAAe,EAAE,mBAAmB,CAAA;IACpC,KAAK,EAAE,mBAAmB,CAAA;IAC1B,YAAY,EAAE,mBAAmB,CAAA;CACpC,GACD;IACI,IAAI,EAAE,KAAK,CAAA;IACX,SAAS,EAAE,MAAM,CAAA;IACjB,gBAAgB,EAAE,MAAM,CAAA;IACxB,SAAS,EAAE,mBAAmB,CAAA;IAC9B,UAAU,EAAE,mBAAmB,CAAA;IAC/B,SAAS,EAAE,mBAAmB,CAAA;IAC9B,WAAW,EAAE,uBAAuB,CAAA;IACpC,WAAW,EAAE,uBAAuB,CAAA;IACpC,aAAa,EAAE,mBAAmB,CAAA;IAClC,cAAc,EAAE,mBAAmB,CAAA;CACtC,CAAA;AAEP,MAAM,WAAW,4BAA4B;IACzC,mCAAmC;IACnC,SAAS,EAAE,MAAM,CAAA;IACjB,+DAA+D;IAC/D,WAAW,EAAE,WAAW,GAAG,YAAY,CAAA;IACvC,qDAAqD;IACrD,gBAAgB,CAAC,EAAE,MAAM,CAAA;IACzB,wEAAwE;IACxE,SAAS,CAAC,EAAE,mBAAmB,CAAA;IAC/B,0DAA0D;IAC1D,gBAAgB,EAAE,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAA;IACrD,6DAA6D;IAC7D,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAA;IACnD,gEAAgE;IAChE,mBAAmB,CAAC,EAAE,+BAA+B,CAAA;CACxD;AAED,MAAM,WAAW,8BAA8B;IAC3C,gFAAgF;IAChF,2BAA2B,CAAC,EAAE,OAAO,CAAA;IACrC,6EAA6E;IAC7E,uBAAuB,CAAC,EAAE,OAAO,CAAA;IACjC,wDAAwD;IACxD,kBAAkB,CAAC,EAAE,OAAO,CAAA;IAC5B,sEAAsE;IACtE,aAAa,CAAC,EAAE,OAAO,CAAA;CAC1B;AAED,MAAM,WAAW,6BAA6B;IAC1C,sFAAsF;IACtF,EAAE,EAAE,OAAO,CAAA;IACX,4FAA4F;IAC5F,UAAU,CAAC,EAAE,qBAAqB,CAAA;IAClC,+CAA+C;IAC/C,UAAU,CAAC,EAAE,yBAAyB,CAAA;IACtC,8FAA8F;IAC9F,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAA;IAChC,+DAA+D;IAC/D,UAAU,CAAC,EAAE,4BAA4B,CAAA;IACzC,6EAA6E;IAC7E,kBAAkB,CAAC,EAAE,4BAA4B,EAAE,CAAA;IACnD,oFAAoF;IACpF,kBAAkB,CAAC,EAAE,4BAA4B,EAAE,CAAA;IACnD,gFAAgF;IAChF,sBAAsB,CAAC,EAAE,mBAAmB,CAAA;IAC5C,6DAA6D;IAC7D,yBAAyB,CAAC,EAAE,mBAAmB,CAAA;IAC/C,iEAAiE;IACjE,cAAc,CAAC,EAAE,mBAAmB,CAAA;IACpC,2GAA2G;IAC3G,gBAAgB,CAAC,EAAE,mBAAmB,CAAA;IACtC,8EAA8E;IAC9E,6BAA6B,CAAC,EAAE,mBAAmB,CAAA;CACtD;AAED,MAAM,WAAW,yBAAyB;IACtC,6DAA6D;IAC7D,IAAI,CAAC,EAAE,qBAAqB,GAAG,YAAY,CAAA;IAC3C,+EAA+E;IAC/E,YAAY,CAAC,EAAE,MAAM,CAAA;IACrB,wEAAwE;IACxE,qBAAqB,CAAC,EAAE,MAAM,CAAA;IAC9B,qEAAqE;IACrE,gCAAgC,CAAC,EAAE,OAAO,CAAA;IAC1C,6DAA6D;IAC7D,aAAa,CAAC,EAAE,OAAO,CAAA;CAC1B;AAED,MAAM,WAAW,mBAAmB;IAChC,mEAAmE;IACnE,UAAU,EAAE,yBAAyB,CAAA;IACrC,2DAA2D;IAC3D,MAAM,EAAE,6BAA6B,CAAA;CACxC;AAED,MAAM,WAAW,wBAAwB;IACrC,oEAAoE;IACpE,EAAE,EAAE,OAAO,CAAA;IACX,6CAA6C;IAC7C,UAAU,CAAC,EAAE,qBAAqB,CAAA;IAClC,iFAAiF;IACjF,OAAO,CAAC,EAAE,OAAO,CAAA;IACjB,6DAA6D;IAC7D,kBAAkB,CAAC,EAAE,MAAM,EAAE,CAAA;IAC7B,2EAA2E;IAC3E,qBAAqB,CAAC,EAAE,MAAM,CAAA;IAC9B,wDAAwD;IACxD,wBAAwB,CAAC,EAAE,MAAM,CAAA;IACjC,qEAAqE;IACrE,eAAe,CAAC,EAAE,mBAAmB,EAAE,CAAA;IACvC,6DAA6D;IAC7D,SAAS,CAAC,EAAE,OAAO,CAAA;CACtB"}

package/dist/lib/types/evaluation.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=evaluation.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"evaluation.js","sourceRoot":"","sources":["../../../src/lib/types/evaluation.ts"],"names":[],"mappings":""}

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

@@ -0,0 +1,25 @@
+import type { TCoreChecksumConfig } from "./checksum.js";
+import type { TCorePositionConfig } from "../utils/position.js";
+import type { TGrammarConfig } from "./grammar.js";
+/** Options for `forkArgument`. */
+export interface TForkArgumentOptions {
+    /** ID generator for new entities. Defaults to `crypto.randomUUID`. */
+    generateId?: () => string;
+    /** Checksum config override. If omitted, copied from source engine. */
+    checksumConfig?: TCoreChecksumConfig;
+    /** Position config override. If omitted, copied from source engine. */
+    positionConfig?: TCorePositionConfig;
+    /** Grammar config override. If omitted, copied from source engine. */
+    grammarConfig?: TGrammarConfig;
+}
+/** Maps original entity IDs to their forked counterparts. */
+export interface TForkRemapTable {
+    argumentId: {
+        from: string;
+        to: string;
+    };
+    premises: Map<string, string>;
+    expressions: Map<string, string>;
+    variables: Map<string, string>;
+}
+//# sourceMappingURL=fork.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"fork.d.ts","sourceRoot":"","sources":["../../../src/lib/types/fork.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAA;AACxD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAC/D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AAElD,kCAAkC;AAClC,MAAM,WAAW,oBAAoB;IACjC,sEAAsE;IACtE,UAAU,CAAC,EAAE,MAAM,MAAM,CAAA;IACzB,uEAAuE;IACvE,cAAc,CAAC,EAAE,mBAAmB,CAAA;IACpC,uEAAuE;IACvE,cAAc,CAAC,EAAE,mBAAmB,CAAA;IACpC,sEAAsE;IACtE,aAAa,CAAC,EAAE,cAAc,CAAA;CACjC;AAED,6DAA6D;AAC7D,MAAM,WAAW,eAAe;IAC5B,UAAU,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAA;KAAE,CAAA;IACxC,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC7B,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAChC,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CACjC"}

package/dist/lib/types/fork.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=fork.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"fork.js","sourceRoot":"","sources":["../../../src/lib/types/fork.ts"],"names":[],"mappings":""}

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

@@ -0,0 +1,38 @@
+/**
+ * Individual structural rule toggles for expression tree grammar.
+ *
+ * Each boolean controls whether a specific structural constraint is enforced.
+ * When `true`, violations throw (or auto-normalize if `TGrammarConfig.autoNormalize`
+ * is also `true` — but only for operations that support it).
+ */
+export type TGrammarOptions = {
+    /** Require a `formula` node between a parent operator and a non-`not` operator child. */
+    enforceFormulaBetweenOperators: boolean;
+};
+/**
+ * Grammar enforcement configuration for expression trees.
+ *
+ * Controls which structural rules are enforced and whether violations are
+ * automatically corrected.
+ *
+ * **`autoNormalize` scope:** When `true`, expression mutation operations
+ * (`addExpression`, `insertExpression`, `wrapExpression`) auto-insert formula
+ * buffers. `removeExpression` auto-collapses operators with 0 or 1 children
+ * and collapses formulas whose bounded subtree has no binary operator
+ * (`and`/`or`). When `false`, no automatic structural changes occur — the
+ * tree can be in any state including incomplete or grammar-violating.
+ *
+ * **Formula collapse rule:** A formula node is only justified if its bounded
+ * subtree (stopping at the next nested formula) contains a binary operator
+ * (`and` or `or`). Formulas wrapping only variables, `not` chains, or other
+ * non-binary subtrees are automatically collapsed when `autoNormalize` is `true`.
+ */
+export type TGrammarConfig = TGrammarOptions & {
+    /** When `true`, auto-fix violations where possible instead of throwing. */
+    autoNormalize: boolean;
+};
+/** Default config: all rules enforced, auto-normalize on. */
+export declare const DEFAULT_GRAMMAR_CONFIG: TGrammarConfig;
+/** Permissive config: no enforcement. Used by default in `fromData`. */
+export declare const PERMISSIVE_GRAMMAR_CONFIG: TGrammarConfig;
+//# sourceMappingURL=grammar.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"grammar.d.ts","sourceRoot":"","sources":["../../../src/lib/types/grammar.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,MAAM,MAAM,eAAe,GAAG;IAC1B,yFAAyF;IACzF,8BAA8B,EAAE,OAAO,CAAA;CAC1C,CAAA;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,MAAM,cAAc,GAAG,eAAe,GAAG;IAC3C,2EAA2E;IAC3E,aAAa,EAAE,OAAO,CAAA;CACzB,CAAA;AAED,6DAA6D;AAC7D,eAAO,MAAM,sBAAsB,EAAE,cAGpC,CAAA;AAED,wEAAwE;AACxE,eAAO,MAAM,yBAAyB,EAAE,cAGvC,CAAA"}

package/dist/lib/types/grammar.js

@@ -0,0 +1,11 @@
+/** Default config: all rules enforced, auto-normalize on. */
+export const DEFAULT_GRAMMAR_CONFIG = {
+    enforceFormulaBetweenOperators: true,
+    autoNormalize: true,
+};
+/** Permissive config: no enforcement. Used by default in `fromData`. */
+export const PERMISSIVE_GRAMMAR_CONFIG = {
+    enforceFormulaBetweenOperators: false,
+    autoNormalize: false,
+};
+//# sourceMappingURL=grammar.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"grammar.js","sourceRoot":"","sources":["../../../src/lib/types/grammar.ts"],"names":[],"mappings":"AAmCA,6DAA6D;AAC7D,MAAM,CAAC,MAAM,sBAAsB,GAAmB;IAClD,8BAA8B,EAAE,IAAI;IACpC,aAAa,EAAE,IAAI;CACtB,CAAA;AAED,wEAAwE;AACxE,MAAM,CAAC,MAAM,yBAAyB,GAAmB;IACrD,8BAA8B,EAAE,KAAK;IACrC,aAAa,EAAE,KAAK;CACvB,CAAA"}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"mutation.d.ts","sourceRoot":"","sources":["../../../src/lib/types/mutation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,4BAA4B,EAC5B,0BAA0B,EAC1B,YAAY,EACf,MAAM,8BAA8B,CAAA;AACrC,OAAO,KAAK,EACR,aAAa,EACb,sBAAsB,EACzB,MAAM,yBAAyB,CAAA;AAEhC,4EAA4E;AAC5E,MAAM,WAAW,kBAAkB,CAAC,CAAC;IACjC,KAAK,EAAE,CAAC,EAAE,CAAA;IACV,QAAQ,EAAE,CAAC,EAAE,CAAA;IACb,OAAO,EAAE,CAAC,EAAE,CAAA;CACf;AAED;;;GAGG;AACH,MAAM,WAAW,cAAc,CAC3B,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,IAAI,SAAS,aAAa,GAAG,aAAa;IAE1C,WAAW,CAAC,EAAE,kBAAkB,CAAC,KAAK,CAAC,CAAA;IACvC,SAAS,CAAC,EAAE,kBAAkB,CAAC,IAAI,CAAC,CAAA;IACpC,QAAQ,CAAC,EAAE,kBAAkB,CAAC,QAAQ,CAAC,CAAA;IACvC,uDAAuD;IACvD,KAAK,CAAC,EAAE,sBAAsB,CAAA;IAC9B,iEAAiE;IACjE,QAAQ,CAAC,EAAE,IAAI,CAAA;CAClB;AAED;;;;GAIG;AACH,MAAM,WAAW,mBAAmB,CAChC,CAAC,EACD,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,IAAI,SAAS,aAAa,GAAG,aAAa;IAE1C,MAAM,EAAE,CAAC,CAAA;IACT,OAAO,EAAE,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAA;CACvD"}

package/dist/lib/types/mutation.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=mutation.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"mutation.js","sourceRoot":"","sources":["../../../src/lib/types/mutation.ts"],"names":[],"mappings":""}

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

@@ -0,0 +1,14 @@
+import type { TCoreArgument, TCorePremise, TCorePropositionalExpression, TCorePropositionalVariable } from "../schemata/index.js";
+import type { TCoreArgumentRoleState } from "./evaluation.js";
+export type TReactivePremiseSnapshot<TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression> = {
+    premise: TPremise;
+    expressions: Record<string, TExpr>;
+    rootExpressionId: string | undefined;
+};
+export type TReactiveSnapshot<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable> = {
+    argument: TArg;
+    variables: Record<string, TVar>;
+    premises: Record<string, TReactivePremiseSnapshot<TPremise, TExpr>>;
+    roles: TCoreArgumentRoleState;
+};
+//# sourceMappingURL=reactive.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"reactive.d.ts","sourceRoot":"","sources":["../../../src/lib/types/reactive.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC7B,MAAM,sBAAsB,CAAA;AAC7B,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAA;AAE7D,MAAM,MAAM,wBAAwB,CAChC,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,IACzE;IACA,OAAO,EAAE,QAAQ,CAAA;IACjB,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;IAClC,gBAAgB,EAAE,MAAM,GAAG,SAAS,CAAA;CACvC,CAAA;AAED,MAAM,MAAM,iBAAiB,CACzB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,IACpE;IACA,QAAQ,EAAE,IAAI,CAAA;IACd,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;IAC/B,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,wBAAwB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAA;IACnE,KAAK,EAAE,sBAAsB,CAAA;CAChC,CAAA"}

package/dist/lib/types/reactive.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=reactive.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"reactive.js","sourceRoot":"","sources":["../../../src/lib/types/reactive.ts"],"names":[],"mappings":""}

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

@@ -0,0 +1,36 @@
+/** Polarity of a variable within an expression subtree. */
+export type TCoreVariablePolarity = "positive" | "negative";
+/** Which side of an inference premise a variable appears on. */
+export type TCorePremiseSide = "antecedent" | "consequent";
+/** A single variable appearance within a premise, recording its side and polarity. */
+export interface TCoreVariableAppearance {
+    variableId: string;
+    side: TCorePremiseSide;
+    polarity: TCoreVariablePolarity;
+}
+/** Profile of a premise's variable appearances, split by antecedent/consequent. */
+export interface TCorePremiseProfile {
+    premiseId: string;
+    isInference: boolean;
+    appearances: TCoreVariableAppearance[];
+}
+/** The five relationship categories a premise can have relative to a focused premise. */
+export type TCorePremiseRelationshipType = "supporting" | "contradicting" | "restricting" | "downstream" | "unrelated";
+/** Per-variable relationship detail explaining why a variable contributes to the classification. */
+export interface TCoreVariableRelationship {
+    variableId: string;
+    relationship: "supporting" | "contradicting" | "restricting";
+}
+/** Classification result for a single premise relative to the focused premise. */
+export interface TCorePremiseRelationResult {
+    premiseId: string;
+    relationship: TCorePremiseRelationshipType;
+    variableDetails: TCoreVariableRelationship[];
+    transitive: boolean;
+}
+/** Top-level result from `analyzePremiseRelationships`. */
+export interface TCorePremiseRelationshipAnalysis {
+    focusedPremiseId: string;
+    premises: TCorePremiseRelationResult[];
+}
+//# sourceMappingURL=relationships.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"relationships.d.ts","sourceRoot":"","sources":["../../../src/lib/types/relationships.ts"],"names":[],"mappings":"AAAA,2DAA2D;AAC3D,MAAM,MAAM,qBAAqB,GAAG,UAAU,GAAG,UAAU,CAAA;AAE3D,gEAAgE;AAChE,MAAM,MAAM,gBAAgB,GAAG,YAAY,GAAG,YAAY,CAAA;AAE1D,sFAAsF;AACtF,MAAM,WAAW,uBAAuB;IACpC,UAAU,EAAE,MAAM,CAAA;IAClB,IAAI,EAAE,gBAAgB,CAAA;IACtB,QAAQ,EAAE,qBAAqB,CAAA;CAClC;AAED,mFAAmF;AACnF,MAAM,WAAW,mBAAmB;IAChC,SAAS,EAAE,MAAM,CAAA;IACjB,WAAW,EAAE,OAAO,CAAA;IACpB,WAAW,EAAE,uBAAuB,EAAE,CAAA;CACzC;AAED,yFAAyF;AACzF,MAAM,MAAM,4BAA4B,GAClC,YAAY,GACZ,eAAe,GACf,aAAa,GACb,YAAY,GACZ,WAAW,CAAA;AAEjB,oGAAoG;AACpG,MAAM,WAAW,yBAAyB;IACtC,UAAU,EAAE,MAAM,CAAA;IAClB,YAAY,EAAE,YAAY,GAAG,eAAe,GAAG,aAAa,CAAA;CAC/D;AAED,kFAAkF;AAClF,MAAM,WAAW,0BAA0B;IACvC,SAAS,EAAE,MAAM,CAAA;IACjB,YAAY,EAAE,4BAA4B,CAAA;IAC1C,eAAe,EAAE,yBAAyB,EAAE,CAAA;IAC5C,UAAU,EAAE,OAAO,CAAA;CACtB;AAED,2DAA2D;AAC3D,MAAM,WAAW,gCAAgC;IAC7C,gBAAgB,EAAE,MAAM,CAAA;IACxB,QAAQ,EAAE,0BAA0B,EAAE,CAAA;CACzC"}

package/dist/lib/types/relationships.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=relationships.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"relationships.js","sourceRoot":"","sources":["../../../src/lib/types/relationships.ts"],"names":[],"mappings":""}

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

@@ -0,0 +1,47 @@
+export type TInvariantViolationEntityType = "expression" | "variable" | "premise" | "argument" | "claim" | "source" | "association" | "fork" | "forkRecord";
+export type TInvariantViolation = {
+    code: string;
+    message: string;
+    entityType: TInvariantViolationEntityType;
+    entityId: string;
+    premiseId?: string;
+};
+export type TInvariantValidationResult = {
+    ok: boolean;
+    violations: TInvariantViolation[];
+};
+export declare const EXPR_SCHEMA_INVALID = "EXPR_SCHEMA_INVALID";
+export declare const EXPR_DUPLICATE_ID = "EXPR_DUPLICATE_ID";
+export declare const EXPR_SELF_REFERENTIAL_PARENT = "EXPR_SELF_REFERENTIAL_PARENT";
+export declare const EXPR_PARENT_NOT_FOUND = "EXPR_PARENT_NOT_FOUND";
+export declare const EXPR_PARENT_NOT_CONTAINER = "EXPR_PARENT_NOT_CONTAINER";
+export declare const EXPR_ROOT_ONLY_VIOLATED = "EXPR_ROOT_ONLY_VIOLATED";
+export declare const EXPR_FORMULA_BETWEEN_OPERATORS_VIOLATED = "EXPR_FORMULA_BETWEEN_OPERATORS_VIOLATED";
+export declare const EXPR_CHILD_LIMIT_EXCEEDED = "EXPR_CHILD_LIMIT_EXCEEDED";
+export declare const EXPR_POSITION_DUPLICATE = "EXPR_POSITION_DUPLICATE";
+export declare const EXPR_CHECKSUM_MISMATCH = "EXPR_CHECKSUM_MISMATCH";
+export declare const PREMISE_SCHEMA_INVALID = "PREMISE_SCHEMA_INVALID";
+export declare const PREMISE_ROOT_EXPRESSION_INVALID = "PREMISE_ROOT_EXPRESSION_INVALID";
+export declare const PREMISE_VARIABLE_REF_NOT_FOUND = "PREMISE_VARIABLE_REF_NOT_FOUND";
+export declare const PREMISE_CHECKSUM_MISMATCH = "PREMISE_CHECKSUM_MISMATCH";
+export declare const VAR_SCHEMA_INVALID = "VAR_SCHEMA_INVALID";
+export declare const VAR_DUPLICATE_ID = "VAR_DUPLICATE_ID";
+export declare const VAR_DUPLICATE_SYMBOL = "VAR_DUPLICATE_SYMBOL";
+export declare const VAR_CHECKSUM_MISMATCH = "VAR_CHECKSUM_MISMATCH";
+export declare const ARG_SCHEMA_INVALID = "ARG_SCHEMA_INVALID";
+export declare const ARG_OWNERSHIP_MISMATCH = "ARG_OWNERSHIP_MISMATCH";
+export declare const ARG_CLAIM_REF_NOT_FOUND = "ARG_CLAIM_REF_NOT_FOUND";
+export declare const ARG_PREMISE_REF_NOT_FOUND = "ARG_PREMISE_REF_NOT_FOUND";
+export declare const ARG_CIRCULARITY_DETECTED = "ARG_CIRCULARITY_DETECTED";
+export declare const ARG_CONCLUSION_NOT_FOUND = "ARG_CONCLUSION_NOT_FOUND";
+export declare const ARG_CHECKSUM_MISMATCH = "ARG_CHECKSUM_MISMATCH";
+export declare const CLAIM_SCHEMA_INVALID = "CLAIM_SCHEMA_INVALID";
+export declare const CLAIM_FROZEN_NO_SUCCESSOR = "CLAIM_FROZEN_NO_SUCCESSOR";
+export declare const SOURCE_SCHEMA_INVALID = "SOURCE_SCHEMA_INVALID";
+export declare const SOURCE_FROZEN_NO_SUCCESSOR = "SOURCE_FROZEN_NO_SUCCESSOR";
+export declare const ASSOC_SCHEMA_INVALID = "ASSOC_SCHEMA_INVALID";
+export declare const ASSOC_DUPLICATE_ID = "ASSOC_DUPLICATE_ID";
+export declare const ASSOC_CLAIM_REF_NOT_FOUND = "ASSOC_CLAIM_REF_NOT_FOUND";
+export declare const ASSOC_SOURCE_REF_NOT_FOUND = "ASSOC_SOURCE_REF_NOT_FOUND";
+export declare const FORK_RECORD_SCHEMA_INVALID = "FORK_RECORD_SCHEMA_INVALID";
+//# sourceMappingURL=validation.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"validation.d.ts","sourceRoot":"","sources":["../../../src/lib/types/validation.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,6BAA6B,GACnC,YAAY,GACZ,UAAU,GACV,SAAS,GACT,UAAU,GACV,OAAO,GACP,QAAQ,GACR,aAAa,GACb,MAAM,GACN,YAAY,CAAA;AAElB,MAAM,MAAM,mBAAmB,GAAG;IAC9B,IAAI,EAAE,MAAM,CAAA;IACZ,OAAO,EAAE,MAAM,CAAA;IACf,UAAU,EAAE,6BAA6B,CAAA;IACzC,QAAQ,EAAE,MAAM,CAAA;IAChB,SAAS,CAAC,EAAE,MAAM,CAAA;CACrB,CAAA;AAED,MAAM,MAAM,0BAA0B,GAAG;IACrC,EAAE,EAAE,OAAO,CAAA;IACX,UAAU,EAAE,mBAAmB,EAAE,CAAA;CACpC,CAAA;AAGD,eAAO,MAAM,mBAAmB,wBAAwB,CAAA;AACxD,eAAO,MAAM,iBAAiB,sBAAsB,CAAA;AACpD,eAAO,MAAM,4BAA4B,iCAAiC,CAAA;AAC1E,eAAO,MAAM,qBAAqB,0BAA0B,CAAA;AAC5D,eAAO,MAAM,yBAAyB,8BAA8B,CAAA;AACpE,eAAO,MAAM,uBAAuB,4BAA4B,CAAA;AAChE,eAAO,MAAM,uCAAuC,4CACP,CAAA;AAC7C,eAAO,MAAM,yBAAyB,8BAA8B,CAAA;AACpE,eAAO,MAAM,uBAAuB,4BAA4B,CAAA;AAChE,eAAO,MAAM,sBAAsB,2BAA2B,CAAA;AAG9D,eAAO,MAAM,sBAAsB,2BAA2B,CAAA;AAC9D,eAAO,MAAM,+BAA+B,oCAAoC,CAAA;AAChF,eAAO,MAAM,8BAA8B,mCAAmC,CAAA;AAC9E,eAAO,MAAM,yBAAyB,8BAA8B,CAAA;AAGpE,eAAO,MAAM,kBAAkB,uBAAuB,CAAA;AACtD,eAAO,MAAM,gBAAgB,qBAAqB,CAAA;AAClD,eAAO,MAAM,oBAAoB,yBAAyB,CAAA;AAC1D,eAAO,MAAM,qBAAqB,0BAA0B,CAAA;AAG5D,eAAO,MAAM,kBAAkB,uBAAuB,CAAA;AACtD,eAAO,MAAM,sBAAsB,2BAA2B,CAAA;AAC9D,eAAO,MAAM,uBAAuB,4BAA4B,CAAA;AAChE,eAAO,MAAM,yBAAyB,8BAA8B,CAAA;AACpE,eAAO,MAAM,wBAAwB,6BAA6B,CAAA;AAClE,eAAO,MAAM,wBAAwB,6BAA6B,CAAA;AAClE,eAAO,MAAM,qBAAqB,0BAA0B,CAAA;AAG5D,eAAO,MAAM,oBAAoB,yBAAyB,CAAA;AAC1D,eAAO,MAAM,yBAAyB,8BAA8B,CAAA;AAGpE,eAAO,MAAM,qBAAqB,0BAA0B,CAAA;AAC5D,eAAO,MAAM,0BAA0B,+BAA+B,CAAA;AAGtE,eAAO,MAAM,oBAAoB,yBAAyB,CAAA;AAC1D,eAAO,MAAM,kBAAkB,uBAAuB,CAAA;AACtD,eAAO,MAAM,yBAAyB,8BAA8B,CAAA;AACpE,eAAO,MAAM,0BAA0B,+BAA+B,CAAA;AAGtE,eAAO,MAAM,0BAA0B,+BAA+B,CAAA"}