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.

As of v0.10.0 the legacy sources namespace has been folded into claims — sources are now claims with type: "citation".

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 (Phase 14) 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