Class ArgumentLibrary<TArg, TPremise, TExpr, TVar, TClaim>

Engine registry with lifecycle management. Stores ArgumentEngine instances keyed by argument ID.

Type Parameters

TArg extends TCoreArgument = TCoreArgument
TPremise extends TCorePremise = TCorePremise
TExpr extends TCorePropositionalExpression = TCorePropositionalExpression
TVar extends TCorePropositionalVariable = TCorePropositionalVariable
TClaim extends TCoreClaim = TCoreClaim

Index

Constructors

constructor

Methods

create get getAll register remove snapshot validate fromSnapshot

Constructors

constructor

new ArgumentLibrary<
    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;
    },
>(
    libraries: TArgumentLibraryLibraries<TClaim>,
    options?: TLogicEngineOptions,
): ArgumentLibrary<TArg, TPremise, TExpr, TVar, TClaim>
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;
  }
Parameters
- libraries: TArgumentLibraryLibraries<TClaim>
- Optionaloptions: TLogicEngineOptions
Returns ArgumentLibrary<TArg, TPremise, TExpr, TVar, TClaim>
- Defined in src/lib/core/argument-library.ts:37

Methods

create

create(
argument: TOptionalChecksum<TArg>,
): ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>
Constructs a new ArgumentEngine for the given argument and stores it.
Parameters
- argument: TOptionalChecksum<TArg>
  The argument entity to create an engine for. Checksum fields are optional and will be computed lazily by the engine.
Returns ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>
The newly created engine.

Throws
If an engine with the same argument ID already exists.
- Defined in src/lib/core/argument-library.ts:54

get

get(
argumentId: string,
): ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim> | undefined
Returns the engine for the given argument ID, or undefined if not found.
Parameters
- argumentId: string
  The argument ID to look up.
Returns ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim> | undefined
The engine, or undefined.
- Defined in src/lib/core/argument-library.ts:95

getAll

getAll(): ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>[]
Returns all engines in the library as an array.

Returns ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>[]
An array of all managed engines.
- Defined in src/lib/core/argument-library.ts:106

register

register(engine: ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>): void
Registers a pre-built ArgumentEngine in the library by its argument ID. Used internally when forking creates a new engine that needs to be tracked.
Parameters
- engine: ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>
  The engine to register.
Returns void
Throws
If an engine with the same argument ID already exists.
- Defined in src/lib/core/argument-library.ts:78

remove

remove(argumentId: string): ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>
Removes the engine for the given argument ID and returns it.
Parameters
- argumentId: string
  The argument ID to remove.
Returns ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>
The removed engine.

Throws
If no engine with the given ID exists.
- Defined in src/lib/core/argument-library.ts:117

snapshot

snapshot(): TArgumentLibrarySnapshot<TArg, TPremise, TExpr, TVar>
Returns a serializable snapshot of all engines in the library.

Returns TArgumentLibrarySnapshot<TArg, TPremise, TExpr, TVar>
The argument library snapshot.
- Defined in src/lib/core/argument-library.ts:135

validate

validate(): TInvariantValidationResult
Merges invariant validation results from all managed engines.

Returns TInvariantValidationResult
A combined validation result.
- Defined in src/lib/core/argument-library.ts:148

`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;
    },
>(
    snapshot: TArgumentLibrarySnapshot<TArg, TPremise, TExpr, TVar>,
    libraries: TArgumentLibraryLibraries<TClaim>,
    options?: TLogicEngineOptions,
): ArgumentLibrary<TArg, TPremise, TExpr, TVar, TClaim>
Restores an ArgumentLibrary from a snapshot by calling ArgumentEngine.fromSnapshot() for each engine snapshot.
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;
  }
Parameters
- snapshot: TArgumentLibrarySnapshot<TArg, TPremise, TExpr, TVar>
  The serialized library snapshot.
- libraries: TArgumentLibraryLibraries<TClaim>
  The shared library instances (claim).
- Optionaloptions: TLogicEngineOptions
  Optional engine construction options.
Returns ArgumentLibrary<TArg, TPremise, TExpr, TVar, TClaim>
A fully restored ArgumentLibrary.
- Defined in src/lib/core/argument-library.ts:166

Class ArgumentLibrary<TArg, TPremise, TExpr, TVar, TClaim>

Type Parameters

Index

Constructors

Methods

Constructors

constructor

Type Parameters

Parameters

Returns ArgumentLibrary<TArg, TPremise, TExpr, TVar, TClaim>

Methods

create

Parameters

Returns ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>

Throws

get

Parameters

Returns ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim> | undefined

getAll

Returns ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>[]

register

Parameters

Returns void

Throws

remove

Parameters

Returns ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>

Throws

snapshot

Returns TArgumentLibrarySnapshot<TArg, TPremise, TExpr, TVar>

validate

Returns TInvariantValidationResult

`Static`fromSnapshot

Type Parameters

Parameters

Returns ArgumentLibrary<TArg, TPremise, TExpr, TVar, TClaim>

Settings

On This Page

Class ArgumentLibrary<TArg, TPremise, TExpr, TVar, TClaim>

Type Parameters

Index

Constructors

Methods

Constructors

constructor

Type Parameters

Parameters

Returns ArgumentLibrary<TArg, TPremise, TExpr, TVar, TClaim>

Methods

create

Parameters

Returns ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>

Throws

get

Parameters

Returns ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim> | undefined

getAll

Returns ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>[]

register

Parameters

Returns void

Throws

remove

Parameters

Returns ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>

Throws

snapshot

Returns TArgumentLibrarySnapshot<TArg, TPremise, TExpr, TVar>

validate

Returns TInvariantValidationResult

StaticfromSnapshot

Type Parameters

Parameters

Returns ArgumentLibrary<TArg, TPremise, TExpr, TVar, TClaim>

Settings

On This Page

`Static`fromSnapshot