Function forkArgumentEngine

forkArgumentEngine<
    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;
    },
>(
    engine: ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>,
    newArgumentId: string,
    libraries: { claimLibrary: TClaimLookup<TClaim> },
    options?: TForkArgumentOptions,
): {
    engine: ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>;
    remapTable: TForkRemapTable;
}
Creates an independent copy of an argument engine under a new argument ID.

Every premise, expression, and variable receives a fresh ID. All internal cross-references are remapped.

This function does NOT call engine.canFork() — callers are responsible for checking fork eligibility.
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
- engine: ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>
  The source engine to fork.
- newArgumentId: string
  The ID for the forked argument.
- libraries: { claimLibrary: TClaimLookup<TClaim> }
  Claim library for the new engine.
- Optionaloptions: TForkArgumentOptions
  Optional ID generator, checksum/position/grammar config overrides.
Returns {
engine: ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>;
remapTable: TForkRemapTable;
}
The forked engine and a remap table mapping original to new entity IDs.
- Defined in src/lib/core/fork.ts:32

Function forkArgumentEngine

Type Parameters

Parameters

Returns { engine: ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>; remapTable: TForkRemapTable;}

Settings

Returns {
engine: ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>;
remapTable: TForkRemapTable;
}