Class PropositCore<TArg, TPremise, TExpr, TVar, TClaim, TCitation, TAxiom, TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>

Top-level orchestrator for the proposit-core system. Owns all four libraries (claims, claim citations, forks, arguments) and provides unified snapshot/restore and validation.

Construction order follows dependency order: claims -> citations -> axioms -> forks -> arguments.

As of v0.10.0 the legacy sources and claimSources libraries have been folded into claims and citations respectively — sources are now claims with type: "citation". As of v0.12.0 a parallel axioms library holds axiomatic-claim connections (a third claim type "axiomatic").

Type Parameters

TArg extends TCoreArgument = TCoreArgument
TPremise extends TCorePremise = TCorePremise
TExpr extends TCorePropositionalExpression = TCorePropositionalExpression
TVar extends TCorePropositionalVariable = TCorePropositionalVariable
TClaim extends TCoreClaim = TCoreClaim
TCitation extends TCoreClaimConnection = TCoreClaimConnection
TAxiom extends TCoreClaimConnection = TCoreClaimConnection
TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord
TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord
TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord
TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord
TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord

Index

Constructors

constructor

new PropositCore<
    TArg extends
        {
            checksum: string;
            combinedChecksum: string;
            descendantChecksum: string
            | null;
            id: string;
            version: number;
        } = {
        checksum: string;
        combinedChecksum: string;
        descendantChecksum: string
        | null;
        id: string;
        version: number;
    },
    TPremise extends
        | {
            argumentId: string;
            argumentVersion: number;
            checksum: string;
            combinedChecksum: string;
            descendantChecksum: string
            | null;
            id: string;
            type: "freeform";
        }
        | {
            argumentId: string;
            argumentVersion: number;
            checksum: string;
            combinedChecksum: string;
            derivedClaimId: string;
            descendantChecksum: string
            | null;
            id: string;
            type: "derivation";
        } = | {
        argumentId: string;
        argumentVersion: number;
        checksum: string;
        combinedChecksum: string;
        descendantChecksum: string
        | null;
        id: string;
        type: "freeform";
    }
    | {
        argumentId: string;
        argumentVersion: number;
        checksum: string;
        combinedChecksum: string;
        derivedClaimId: string;
        descendantChecksum: string
        | null;
        id: string;
        type: "derivation";
    },
    TExpr extends TCorePropositionalExpression = TCorePropositionalExpression,
    TVar extends

            | {
                argumentId: string;
                argumentVersion: number;
                checksum: string;
                claimId: string;
                claimVersion: number;
                id: string;
                symbol: string;
            }
            | {
                argumentId: string;
                argumentVersion: number;
                boundArgumentId: string;
                boundArgumentVersion: number;
                boundPremiseId: string;
                checksum: string;
                id: string;
                symbol: string;
            } = | {
        argumentId: string;
        argumentVersion: number;
        checksum: string;
        claimId: string;
        claimVersion: number;
        id: string;
        symbol: string;
    }
    | {
        argumentId: string;
        argumentVersion: number;
        boundArgumentId: string;
        boundArgumentVersion: number;
        boundPremiseId: string;
        checksum: string;
        id: string;
        symbol: string;
    },
    TClaim extends
        {
            checksum: string;
            frozen: boolean;
            id: string;
            type: "normal"
            | "citation"
            | "axiomatic";
            version: number;
        } = {
        checksum: string;
        frozen: boolean;
        id: string;
        type: "normal"
        | "citation"
        | "axiomatic";
        version: number;
    },
    TCitation extends
        {
            checksum: string;
            claimId: string;
            claimVersion: number;
            id: string;
            supportingClaimId: string;
            supportingClaimVersion: number;
        } = {
        checksum: string;
        claimId: string;
        claimVersion: number;
        id: string;
        supportingClaimId: string;
        supportingClaimVersion: number;
    },
    TAxiom extends
        {
            checksum: string;
            claimId: string;
            claimVersion: number;
            id: string;
            supportingClaimId: string;
            supportingClaimVersion: number;
        } = {
        checksum: string;
        claimId: string;
        claimVersion: number;
        id: string;
        supportingClaimId: string;
        supportingClaimVersion: number;
    },
    TArgFork extends
        {
            entityId: string;
            forkedFromArgumentId: string;
            forkedFromArgumentVersion: number;
            forkedFromEntityId: string;
            forkId: string;
        } = {
        entityId: string;
        forkedFromArgumentId: string;
        forkedFromArgumentVersion: number;
        forkedFromEntityId: string;
        forkId: string;
    },
    TPremiseFork extends
        {
            entityId: string;
            forkedFromArgumentId: string;
            forkedFromArgumentVersion: number;
            forkedFromEntityId: string;
            forkId: string;
        } = {
        entityId: string;
        forkedFromArgumentId: string;
        forkedFromArgumentVersion: number;
        forkedFromEntityId: string;
        forkId: string;
    },
    TExprFork extends
        {
            entityId: string;
            forkedFromArgumentId: string;
            forkedFromArgumentVersion: number;
            forkedFromEntityId: string;
            forkId: string;
        } & { forkedFromPremiseId: string } = {
        entityId: string;
        forkedFromArgumentId: string;
        forkedFromArgumentVersion: number;
        forkedFromEntityId: string;
        forkId: string;
    } & { forkedFromPremiseId: string },
    TVarFork extends
        {
            entityId: string;
            forkedFromArgumentId: string;
            forkedFromArgumentVersion: number;
            forkedFromEntityId: string;
            forkId: string;
        } = {
        entityId: string;
        forkedFromArgumentId: string;
        forkedFromArgumentVersion: number;
        forkedFromEntityId: string;
        forkId: string;
    },
    TClaimFork extends
        {
            entityId: string;
            forkedFromArgumentId: string;
            forkedFromArgumentVersion: number;
            forkedFromEntityId: string;
            forkId: string;
        } & { forkedFromEntityVersion: number } = {
        entityId: string;
        forkedFromArgumentId: string;
        forkedFromArgumentVersion: number;
        forkedFromEntityId: string;
        forkId: string;
    } & { forkedFromEntityVersion: number },
>(
    options?: TPropositCoreOptions<
        TArg,
        TPremise,
        TExpr,
        TVar,
        TClaim,
        TCitation,
        TAxiom,
        TArgFork,
        TPremiseFork,
        TExprFork,
        TVarFork,
        TClaimFork,
    >,
): PropositCore<
    TArg,
    TPremise,
    TExpr,
    TVar,
    TClaim,
    TCitation,
    TAxiom,
    TArgFork,
    TPremiseFork,
    TExprFork,
    TVarFork,
    TClaimFork,
>
Type Parameters
- TArg extends {
      checksum: string;
      combinedChecksum: string;
      descendantChecksum: string | null;
      id: string;
      version: number;
  } = {
      checksum: string;
      combinedChecksum: string;
      descendantChecksum: string | null;
      id: string;
      version: number;
  }
- TPremise extends
      | {
          argumentId: string;
          argumentVersion: number;
          checksum: string;
          combinedChecksum: string;
          descendantChecksum: string
          | null;
          id: string;
          type: "freeform";
      }
      | {
          argumentId: string;
          argumentVersion: number;
          checksum: string;
          combinedChecksum: string;
          derivedClaimId: string;
          descendantChecksum: string
          | null;
          id: string;
          type: "derivation";
      } =
      | {
          argumentId: string;
          argumentVersion: number;
          checksum: string;
          combinedChecksum: string;
          descendantChecksum: string
          | null;
          id: string;
          type: "freeform";
      }
      | {
          argumentId: string;
          argumentVersion: number;
          checksum: string;
          combinedChecksum: string;
          derivedClaimId: string;
          descendantChecksum: string
          | null;
          id: string;
          type: "derivation";
      }
- TExpr extends TCorePropositionalExpression = TCorePropositionalExpression
- TVar extends
      | {
          argumentId: string;
          argumentVersion: number;
          checksum: string;
          claimId: string;
          claimVersion: number;
          id: string;
          symbol: string;
      }
      | {
          argumentId: string;
          argumentVersion: number;
          boundArgumentId: string;
          boundArgumentVersion: number;
          boundPremiseId: string;
          checksum: string;
          id: string;
          symbol: string;
      } =
      | {
          argumentId: string;
          argumentVersion: number;
          checksum: string;
          claimId: string;
          claimVersion: number;
          id: string;
          symbol: string;
      }
      | {
          argumentId: string;
          argumentVersion: number;
          boundArgumentId: string;
          boundArgumentVersion: number;
          boundPremiseId: string;
          checksum: string;
          id: string;
          symbol: string;
      }
- TClaim extends {
      checksum: string;
      frozen: boolean;
      id: string;
      type: "normal" | "citation" | "axiomatic";
      version: number;
  } = {
      checksum: string;
      frozen: boolean;
      id: string;
      type: "normal" | "citation" | "axiomatic";
      version: number;
  }
- TCitation extends {
      checksum: string;
      claimId: string;
      claimVersion: number;
      id: string;
      supportingClaimId: string;
      supportingClaimVersion: number;
  } = {
      checksum: string;
      claimId: string;
      claimVersion: number;
      id: string;
      supportingClaimId: string;
      supportingClaimVersion: number;
  }
- TAxiom extends {
      checksum: string;
      claimId: string;
      claimVersion: number;
      id: string;
      supportingClaimId: string;
      supportingClaimVersion: number;
  } = {
      checksum: string;
      claimId: string;
      claimVersion: number;
      id: string;
      supportingClaimId: string;
      supportingClaimVersion: number;
  }
- TArgFork extends {
      entityId: string;
      forkedFromArgumentId: string;
      forkedFromArgumentVersion: number;
      forkedFromEntityId: string;
      forkId: string;
  } = {
      entityId: string;
      forkedFromArgumentId: string;
      forkedFromArgumentVersion: number;
      forkedFromEntityId: string;
      forkId: string;
  }
- TPremiseFork extends {
      entityId: string;
      forkedFromArgumentId: string;
      forkedFromArgumentVersion: number;
      forkedFromEntityId: string;
      forkId: string;
  } = {
      entityId: string;
      forkedFromArgumentId: string;
      forkedFromArgumentVersion: number;
      forkedFromEntityId: string;
      forkId: string;
  }
- TExprFork extends {
      entityId: string;
      forkedFromArgumentId: string;
      forkedFromArgumentVersion: number;
      forkedFromEntityId: string;
      forkId: string;
  } & { forkedFromPremiseId: string } = {
      entityId: string;
      forkedFromArgumentId: string;
      forkedFromArgumentVersion: number;
      forkedFromEntityId: string;
      forkId: string;
  } & { forkedFromPremiseId: string }
- TVarFork extends {
      entityId: string;
      forkedFromArgumentId: string;
      forkedFromArgumentVersion: number;
      forkedFromEntityId: string;
      forkId: string;
  } = {
      entityId: string;
      forkedFromArgumentId: string;
      forkedFromArgumentVersion: number;
      forkedFromEntityId: string;
      forkId: string;
  }
- TClaimFork extends {
      entityId: string;
      forkedFromArgumentId: string;
      forkedFromArgumentVersion: number;
      forkedFromEntityId: string;
      forkId: string;
  } & { forkedFromEntityVersion: number } = {
      entityId: string;
      forkedFromArgumentId: string;
      forkedFromArgumentVersion: number;
      forkedFromEntityId: string;
      forkId: string;
  } & { forkedFromEntityVersion: number }
Parameters
- Optionaloptions: TPropositCoreOptions<
      TArg,
      TPremise,
      TExpr,
      TVar,
      TClaim,
      TCitation,
      TAxiom,
      TArgFork,
      TPremiseFork,
      TExprFork,
      TVarFork,
      TClaimFork,
  >
Returns PropositCore<
    TArg,
    TPremise,
    TExpr,
    TVar,
    TClaim,
    TCitation,
    TAxiom,
    TArgFork,
    TPremiseFork,
    TExprFork,
    TVarFork,
    TClaimFork,
>
- Defined in src/lib/core/proposit-core.ts:126

Properties

`Readonly`arguments

arguments: ArgumentLibrary<TArg, TPremise, TExpr, TVar, TClaim>

`Readonly`axioms

axioms: ClaimAxiomLibrary<TAxiom>

`Readonly`citations

citations: ClaimCitationLibrary<TCitation>

`Readonly`claims

claims: ClaimLibrary<TClaim>

`Readonly`forks

forks: ForkLibrary<TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>

`Protected`generateId

generateId: () => string

Methods

diffArguments

diffArguments(
    argumentIdA: string,
    argumentIdB: string,
    options?: TCoreDiffOptions<TArg, TVar, TPremise, TExpr>,
): TCoreArgumentDiff<TArg, TVar, TPremise, TExpr>
Computes a structural diff between two arguments managed by this PropositCore instance. Automatically injects fork-aware entity matchers derived from the fork records stored in this.forks. Caller-provided matchers in options take precedence over the fork-aware defaults.
Parameters
- argumentIdA: string
  The ID of the "before" argument.
- argumentIdB: string
  The ID of the "after" argument.
- Optionaloptions: TCoreDiffOptions<TArg, TVar, TPremise, TExpr>
  Optional diff configuration and comparator overrides.
Returns TCoreArgumentDiff<TArg, TVar, TPremise, TExpr>
A structural diff between the two arguments.
- Defined in src/lib/core/proposit-core.ts:699

forkArgument

forkArgument(
    argumentId: string,
    newArgumentId?: string,
    options?: TForkArgumentOptions & {
        argumentForkExtras?: Partial<
            Omit<
                TArgFork,
                | "entityId"
                | "forkedFromEntityId"
                | "forkedFromArgumentId"
                | "forkedFromArgumentVersion"
                | "forkId",
            >,
        >;
        claimForkExtras?: Partial<
            Omit<
                TClaimFork,
                | "entityId"
                | "forkedFromEntityId"
                | "forkedFromArgumentId"
                | "forkedFromArgumentVersion"
                | "forkId"
                | "forkedFromEntityVersion",
            >,
        >;
        expressionForkExtras?: Partial<
            Omit<
                TExprFork,
                | "entityId"
                | "forkedFromEntityId"
                | "forkedFromArgumentId"
                | "forkedFromArgumentVersion"
                | "forkId"
                | "forkedFromPremiseId",
            >,
        >;
        forkId?: string;
        premiseForkExtras?: Partial<
            Omit<
                TPremiseFork,
                | "entityId"
                | "forkedFromEntityId"
                | "forkedFromArgumentId"
                | "forkedFromArgumentVersion"
                | "forkId",
            >,
        >;
        variableForkExtras?: Partial<
            Omit<
                TVarFork,
                | "entityId"
                | "forkedFromEntityId"
                | "forkedFromArgumentId"
                | "forkedFromArgumentVersion"
                | "forkId",
            >,
        >;
    },
): {
    argumentFork: TArgFork;
    claimRemap: Map<string, string>;
    engine: ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>;
    remapTable: TForkRemapTable;
}
Forks an argument, cloning its referenced claims (including any citation-typed claims reachable via citations) and the citation edges between them, then remaps variable claim references to point at the cloned claims. Creates fork records in all five namespaces.
Parameters
- argumentId: string
  The ID of the argument to fork.
- OptionalnewArgumentId: string
  The ID for the forked argument. Defaults to this.generateId().
- Optionaloptions: TForkArgumentOptions & {
      argumentForkExtras?: Partial<
          Omit<
              TArgFork,
              | "entityId"
              | "forkedFromEntityId"
              | "forkedFromArgumentId"
              | "forkedFromArgumentVersion"
              | "forkId",
          >,
      >;
      claimForkExtras?: Partial<
          Omit<
              TClaimFork,
              | "entityId"
              | "forkedFromEntityId"
              | "forkedFromArgumentId"
              | "forkedFromArgumentVersion"
              | "forkId"
              | "forkedFromEntityVersion",
          >,
      >;
      expressionForkExtras?: Partial<
          Omit<
              TExprFork,
              | "entityId"
              | "forkedFromEntityId"
              | "forkedFromArgumentId"
              | "forkedFromArgumentVersion"
              | "forkId"
              | "forkedFromPremiseId",
          >,
      >;
      forkId?: string;
      premiseForkExtras?: Partial<
          Omit<
              TPremiseFork,
              | "entityId"
              | "forkedFromEntityId"
              | "forkedFromArgumentId"
              | "forkedFromArgumentVersion"
              | "forkId",
          >,
      >;
      variableForkExtras?: Partial<
          Omit<
              TVarFork,
              | "entityId"
              | "forkedFromEntityId"
              | "forkedFromArgumentId"
              | "forkedFromArgumentVersion"
              | "forkId",
          >,
      >;
  }
  Optional fork configuration and extras for fork records.
Returns {
    argumentFork: TArgFork;
    claimRemap: Map<string, string>;
    engine: ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>;
    remapTable: TForkRemapTable;
}
The forked engine, remap tables, and the argument fork record.
- Defined in src/lib/core/proposit-core.ts:390

snapshot

snapshot(): TPropositCoreSnapshot<
    TArg,
    TPremise,
    TExpr,
    TVar,
    TClaim,
    TCitation,
    TAxiom,
    TArgFork,
    TPremiseFork,
    TExprFork,
    TVarFork,
    TClaimFork,
>
Returns a serializable snapshot of the entire PropositCore state, including all libraries.

Returns TPropositCoreSnapshot<
    TArg,
    TPremise,
    TExpr,
    TVar,
    TClaim,
    TCitation,
    TAxiom,
    TArgFork,
    TPremiseFork,
    TExprFork,
    TVarFork,
    TClaimFork,
>
- Defined in src/lib/core/proposit-core.ts:189

validate

validate(): TInvariantValidationResult
Runs invariant validation across all managed libraries and merges the results.

Returns TInvariantValidationResult
A combined validation result.
- Defined in src/lib/core/proposit-core.ts:368

`Static`fromSnapshot

fromSnapshot<
    TArg extends
        {
            checksum: string;
            combinedChecksum: string;
            descendantChecksum: string
            | null;
            id: string;
            version: number;
        } = {
        checksum: string;
        combinedChecksum: string;
        descendantChecksum: string
        | null;
        id: string;
        version: number;
    },
    TPremise extends
        | {
            argumentId: string;
            argumentVersion: number;
            checksum: string;
            combinedChecksum: string;
            descendantChecksum: string
            | null;
            id: string;
            type: "freeform";
        }
        | {
            argumentId: string;
            argumentVersion: number;
            checksum: string;
            combinedChecksum: string;
            derivedClaimId: string;
            descendantChecksum: string
            | null;
            id: string;
            type: "derivation";
        } = | {
        argumentId: string;
        argumentVersion: number;
        checksum: string;
        combinedChecksum: string;
        descendantChecksum: string
        | null;
        id: string;
        type: "freeform";
    }
    | {
        argumentId: string;
        argumentVersion: number;
        checksum: string;
        combinedChecksum: string;
        derivedClaimId: string;
        descendantChecksum: string
        | null;
        id: string;
        type: "derivation";
    },
    TExpr extends TCorePropositionalExpression = TCorePropositionalExpression,
    TVar extends

            | {
                argumentId: string;
                argumentVersion: number;
                checksum: string;
                claimId: string;
                claimVersion: number;
                id: string;
                symbol: string;
            }
            | {
                argumentId: string;
                argumentVersion: number;
                boundArgumentId: string;
                boundArgumentVersion: number;
                boundPremiseId: string;
                checksum: string;
                id: string;
                symbol: string;
            } = | {
        argumentId: string;
        argumentVersion: number;
        checksum: string;
        claimId: string;
        claimVersion: number;
        id: string;
        symbol: string;
    }
    | {
        argumentId: string;
        argumentVersion: number;
        boundArgumentId: string;
        boundArgumentVersion: number;
        boundPremiseId: string;
        checksum: string;
        id: string;
        symbol: string;
    },
    TClaim extends
        {
            checksum: string;
            frozen: boolean;
            id: string;
            type: "normal"
            | "citation"
            | "axiomatic";
            version: number;
        } = {
        checksum: string;
        frozen: boolean;
        id: string;
        type: "normal"
        | "citation"
        | "axiomatic";
        version: number;
    },
    TCitation extends
        {
            checksum: string;
            claimId: string;
            claimVersion: number;
            id: string;
            supportingClaimId: string;
            supportingClaimVersion: number;
        } = {
        checksum: string;
        claimId: string;
        claimVersion: number;
        id: string;
        supportingClaimId: string;
        supportingClaimVersion: number;
    },
    TAxiom extends
        {
            checksum: string;
            claimId: string;
            claimVersion: number;
            id: string;
            supportingClaimId: string;
            supportingClaimVersion: number;
        } = {
        checksum: string;
        claimId: string;
        claimVersion: number;
        id: string;
        supportingClaimId: string;
        supportingClaimVersion: number;
    },
    TArgFork extends
        {
            entityId: string;
            forkedFromArgumentId: string;
            forkedFromArgumentVersion: number;
            forkedFromEntityId: string;
            forkId: string;
        } = {
        entityId: string;
        forkedFromArgumentId: string;
        forkedFromArgumentVersion: number;
        forkedFromEntityId: string;
        forkId: string;
    },
    TPremiseFork extends
        {
            entityId: string;
            forkedFromArgumentId: string;
            forkedFromArgumentVersion: number;
            forkedFromEntityId: string;
            forkId: string;
        } = {
        entityId: string;
        forkedFromArgumentId: string;
        forkedFromArgumentVersion: number;
        forkedFromEntityId: string;
        forkId: string;
    },
    TExprFork extends
        {
            entityId: string;
            forkedFromArgumentId: string;
            forkedFromArgumentVersion: number;
            forkedFromEntityId: string;
            forkId: string;
        } & { forkedFromPremiseId: string } = {
        entityId: string;
        forkedFromArgumentId: string;
        forkedFromArgumentVersion: number;
        forkedFromEntityId: string;
        forkId: string;
    } & { forkedFromPremiseId: string },
    TVarFork extends
        {
            entityId: string;
            forkedFromArgumentId: string;
            forkedFromArgumentVersion: number;
            forkedFromEntityId: string;
            forkId: string;
        } = {
        entityId: string;
        forkedFromArgumentId: string;
        forkedFromArgumentVersion: number;
        forkedFromEntityId: string;
        forkId: string;
    },
    TClaimFork extends
        {
            entityId: string;
            forkedFromArgumentId: string;
            forkedFromArgumentVersion: number;
            forkedFromEntityId: string;
            forkId: string;
        } & { forkedFromEntityVersion: number } = {
        entityId: string;
        forkedFromArgumentId: string;
        forkedFromArgumentVersion: number;
        forkedFromEntityId: string;
        forkId: string;
    } & { forkedFromEntityVersion: number },
>(
    snapshot: TPropositCoreSnapshot<
        TArg,
        TPremise,
        TExpr,
        TVar,
        TClaim,
        TCitation,
        TAxiom,
        TArgFork,
        TPremiseFork,
        TExprFork,
        TVarFork,
        TClaimFork,
    >,
    config?: TPropositCoreConfig,
): PropositCore<
    TArg,
    TPremise,
    TExpr,
    TVar,
    TClaim,
    TCitation,
    TAxiom,
    TArgFork,
    TPremiseFork,
    TExprFork,
    TVarFork,
    TClaimFork,
>
Restores a PropositCore instance from a snapshot. Libraries are restored in dependency order: claims -> citations -> axioms -> forks -> arguments.
Type Parameters
- TArg extends {
      checksum: string;
      combinedChecksum: string;
      descendantChecksum: string | null;
      id: string;
      version: number;
  } = {
      checksum: string;
      combinedChecksum: string;
      descendantChecksum: string | null;
      id: string;
      version: number;
  }
- TPremise extends
      | {
          argumentId: string;
          argumentVersion: number;
          checksum: string;
          combinedChecksum: string;
          descendantChecksum: string
          | null;
          id: string;
          type: "freeform";
      }
      | {
          argumentId: string;
          argumentVersion: number;
          checksum: string;
          combinedChecksum: string;
          derivedClaimId: string;
          descendantChecksum: string
          | null;
          id: string;
          type: "derivation";
      } =
      | {
          argumentId: string;
          argumentVersion: number;
          checksum: string;
          combinedChecksum: string;
          descendantChecksum: string
          | null;
          id: string;
          type: "freeform";
      }
      | {
          argumentId: string;
          argumentVersion: number;
          checksum: string;
          combinedChecksum: string;
          derivedClaimId: string;
          descendantChecksum: string
          | null;
          id: string;
          type: "derivation";
      }
- TExpr extends TCorePropositionalExpression = TCorePropositionalExpression
- TVar extends
      | {
          argumentId: string;
          argumentVersion: number;
          checksum: string;
          claimId: string;
          claimVersion: number;
          id: string;
          symbol: string;
      }
      | {
          argumentId: string;
          argumentVersion: number;
          boundArgumentId: string;
          boundArgumentVersion: number;
          boundPremiseId: string;
          checksum: string;
          id: string;
          symbol: string;
      } =
      | {
          argumentId: string;
          argumentVersion: number;
          checksum: string;
          claimId: string;
          claimVersion: number;
          id: string;
          symbol: string;
      }
      | {
          argumentId: string;
          argumentVersion: number;
          boundArgumentId: string;
          boundArgumentVersion: number;
          boundPremiseId: string;
          checksum: string;
          id: string;
          symbol: string;
      }
- TClaim extends {
      checksum: string;
      frozen: boolean;
      id: string;
      type: "normal" | "citation" | "axiomatic";
      version: number;
  } = {
      checksum: string;
      frozen: boolean;
      id: string;
      type: "normal" | "citation" | "axiomatic";
      version: number;
  }
- TCitation extends {
      checksum: string;
      claimId: string;
      claimVersion: number;
      id: string;
      supportingClaimId: string;
      supportingClaimVersion: number;
  } = {
      checksum: string;
      claimId: string;
      claimVersion: number;
      id: string;
      supportingClaimId: string;
      supportingClaimVersion: number;
  }
- TAxiom extends {
      checksum: string;
      claimId: string;
      claimVersion: number;
      id: string;
      supportingClaimId: string;
      supportingClaimVersion: number;
  } = {
      checksum: string;
      claimId: string;
      claimVersion: number;
      id: string;
      supportingClaimId: string;
      supportingClaimVersion: number;
  }
- TArgFork extends {
      entityId: string;
      forkedFromArgumentId: string;
      forkedFromArgumentVersion: number;
      forkedFromEntityId: string;
      forkId: string;
  } = {
      entityId: string;
      forkedFromArgumentId: string;
      forkedFromArgumentVersion: number;
      forkedFromEntityId: string;
      forkId: string;
  }
- TPremiseFork extends {
      entityId: string;
      forkedFromArgumentId: string;
      forkedFromArgumentVersion: number;
      forkedFromEntityId: string;
      forkId: string;
  } = {
      entityId: string;
      forkedFromArgumentId: string;
      forkedFromArgumentVersion: number;
      forkedFromEntityId: string;
      forkId: string;
  }
- TExprFork extends {
      entityId: string;
      forkedFromArgumentId: string;
      forkedFromArgumentVersion: number;
      forkedFromEntityId: string;
      forkId: string;
  } & { forkedFromPremiseId: string } = {
      entityId: string;
      forkedFromArgumentId: string;
      forkedFromArgumentVersion: number;
      forkedFromEntityId: string;
      forkId: string;
  } & { forkedFromPremiseId: string }
- TVarFork extends {
      entityId: string;
      forkedFromArgumentId: string;
      forkedFromArgumentVersion: number;
      forkedFromEntityId: string;
      forkId: string;
  } = {
      entityId: string;
      forkedFromArgumentId: string;
      forkedFromArgumentVersion: number;
      forkedFromEntityId: string;
      forkId: string;
  }
- TClaimFork extends {
      entityId: string;
      forkedFromArgumentId: string;
      forkedFromArgumentVersion: number;
      forkedFromEntityId: string;
      forkId: string;
  } & { forkedFromEntityVersion: number } = {
      entityId: string;
      forkedFromArgumentId: string;
      forkedFromArgumentVersion: number;
      forkedFromEntityId: string;
      forkId: string;
  } & { forkedFromEntityVersion: number }
Parameters
- snapshot: TPropositCoreSnapshot<
      TArg,
      TPremise,
      TExpr,
      TVar,
      TClaim,
      TCitation,
      TAxiom,
      TArgFork,
      TPremiseFork,
      TExprFork,
      TVarFork,
      TClaimFork,
  >
  The serialized PropositCore snapshot.
- Optionalconfig: TPropositCoreConfig
  Optional shared configuration for the restored instance.
Returns PropositCore<
    TArg,
    TPremise,
    TExpr,
    TVar,
    TClaim,
    TCitation,
    TAxiom,
    TArgFork,
    TPremiseFork,
    TExprFork,
    TVarFork,
    TClaimFork,
>
A fully restored PropositCore instance.
- Defined in src/lib/core/proposit-core.ts:221

Class PropositCore<TArg, TPremise, TExpr, TVar, TClaim, TCitation, TAxiom, TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>

Type Parameters

Index

Constructors

Properties

Methods

Constructors

constructor

Type Parameters

Parameters

Returns PropositCore<
    TArg,
    TPremise,
    TExpr,
    TVar,
    TClaim,
    TCitation,
    TAxiom,
    TArgFork,
    TPremiseFork,
    TExprFork,
    TVarFork,
    TClaimFork,
>

Properties

`Readonly`arguments

`Readonly`axioms

`Readonly`citations

`Readonly`claims

`Readonly`forks

`Protected`generateId

Methods

diffArguments

Parameters

Returns TCoreArgumentDiff<TArg, TVar, TPremise, TExpr>

forkArgument

Parameters

Returns {
    argumentFork: TArgFork;
    claimRemap: Map<string, string>;
    engine: ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>;
    remapTable: TForkRemapTable;
}

snapshot

Returns TPropositCoreSnapshot<
    TArg,
    TPremise,
    TExpr,
    TVar,
    TClaim,
    TCitation,
    TAxiom,
    TArgFork,
    TPremiseFork,
    TExprFork,
    TVarFork,
    TClaimFork,
>

validate

Returns TInvariantValidationResult

`Static`fromSnapshot

Type Parameters

Parameters

Returns PropositCore<
    TArg,
    TPremise,
    TExpr,
    TVar,
    TClaim,
    TCitation,
    TAxiom,
    TArgFork,
    TPremiseFork,
    TExprFork,
    TVarFork,
    TClaimFork,
>

Settings

On This Page

Class PropositCore<TArg, TPremise, TExpr, TVar, TClaim, TCitation, TAxiom, TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>

Type Parameters

Index

Constructors

Properties

Methods

Constructors

constructor

Type Parameters

Parameters

Returns PropositCore< TArg, TPremise, TExpr, TVar, TClaim, TCitation, TAxiom, TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork,>

Properties

Readonlyarguments

Readonlyaxioms

Readonlycitations

Readonlyclaims

Readonlyforks

ProtectedgenerateId

Methods

diffArguments

Parameters

Returns TCoreArgumentDiff<TArg, TVar, TPremise, TExpr>

forkArgument

Parameters

Returns { argumentFork: TArgFork; claimRemap: Map<string, string>; engine: ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>; remapTable: TForkRemapTable;}

snapshot

Returns TPropositCoreSnapshot< TArg, TPremise, TExpr, TVar, TClaim, TCitation, TAxiom, TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork,>

validate

Returns TInvariantValidationResult

StaticfromSnapshot

Type Parameters

Parameters

Returns PropositCore< TArg, TPremise, TExpr, TVar, TClaim, TCitation, TAxiom, TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork,>

Settings

On This Page

Returns PropositCore<
TArg,
TPremise,
TExpr,
TVar,
TClaim,
TCitation,
TAxiom,
TArgFork,
TPremiseFork,
TExprFork,
TVarFork,
TClaimFork,
>

`Readonly`arguments

`Readonly`axioms

`Readonly`citations

`Readonly`claims

`Readonly`forks

`Protected`generateId

Returns {
argumentFork: TArgFork;
claimRemap: Map<string, string>;
engine: ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>;
remapTable: TForkRemapTable;
}

Returns TPropositCoreSnapshot<
TArg,
TPremise,
TExpr,
TVar,
TClaim,
TCitation,
TAxiom,
TArgFork,
TPremiseFork,
TExprFork,
TVarFork,
TClaimFork,
>

`Static`fromSnapshot

Returns PropositCore<
TArg,
TPremise,
TExpr,
TVar,
TClaim,
TCitation,
TAxiom,
TArgFork,
TPremiseFork,
TExprFork,
TVarFork,
TClaimFork,
>