Class ForkLibrary<TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>

Aggregate container for fork provenance across all entity types. Holds five ForkNamespace instances — one per entity kind (arguments, premises, expressions, variables, claims). Fork records are immutable after creation and carry no checksums.

Sources are claims with type: "citation", so their fork records live in the claims namespace; there is no separate sources namespace.

Type Parameters

TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord
TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord
TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord
TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord
TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord

Index

Constructors

constructor

new ForkLibrary<
    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 },
>(): ForkLibrary<TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>
Type Parameters
- 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 }
Returns ForkLibrary<TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>
- Defined in src/lib/core/fork-library.ts:39

Properties

`Readonly`arguments

arguments: ForkNamespace<TArgFork>

`Readonly`claims

claims: ForkNamespace<TClaimFork>

`Readonly`expressions

expressions: ForkNamespace<TExprFork>

`Readonly`premises

premises: ForkNamespace<TPremiseFork>

`Readonly`variables

variables: ForkNamespace<TVarFork>

Methods

snapshot

snapshot(): TForkLibrarySnapshot<
    TArgFork,
    TPremiseFork,
    TExprFork,
    TVarFork,
    TClaimFork,
>
Returns a serializable snapshot of all five namespaces.

Returns TForkLibrarySnapshot<TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>
- Defined in src/lib/core/fork-library.ts:52

validate

validate(): TInvariantValidationResult
Validates all five namespaces and returns the combined result.

Returns TInvariantValidationResult
- Defined in src/lib/core/fork-library.ts:119

`Static`fromSnapshot

fromSnapshot<
    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: TForkLibrarySnapshot<
        TArgFork,
        TPremiseFork,
        TExprFork,
        TVarFork,
        TClaimFork,
    >,
): ForkLibrary<TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>
Restores a full library from a previously captured snapshot.

Pre-v0.10.0 snapshots that contained a sources namespace are not supported here — callers must convert them via the CLI migration before invoking fromSnapshot. Any stray sources key on an input snapshot is silently ignored.
Type Parameters
- 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: TForkLibrarySnapshot<TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>
Returns ForkLibrary<TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>
- Defined in src/lib/core/fork-library.ts:76

Class ForkLibrary<TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>

Type Parameters

Index

Constructors

Properties

Methods

Constructors

constructor

Type Parameters

Returns ForkLibrary<TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>

Properties

`Readonly`arguments

`Readonly`claims

`Readonly`expressions

`Readonly`premises

`Readonly`variables

Methods

snapshot

Returns TForkLibrarySnapshot<TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>

validate

Returns TInvariantValidationResult

`Static`fromSnapshot

Type Parameters

Parameters

Returns ForkLibrary<TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>

Settings

On This Page

Class ForkLibrary<TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>

Type Parameters

Index

Constructors

Properties

Methods

Constructors

constructor

Type Parameters

Returns ForkLibrary<TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>

Properties

Readonlyarguments

Readonlyclaims

Readonlyexpressions

Readonlypremises

Readonlyvariables

Methods

snapshot

Returns TForkLibrarySnapshot<TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>

validate

Returns TInvariantValidationResult

StaticfromSnapshot

Type Parameters

Parameters

Returns ForkLibrary<TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>

Settings

On This Page

`Readonly`arguments

`Readonly`claims

`Readonly`expressions

`Readonly`premises

`Readonly`variables

`Static`fromSnapshot