Class ArgumentParser<TArg, TPremise, TExpr, TVar, TClaim, TCitation, TAxiom>

Validates and builds an ArgumentEngine from a parsed LLM response.

Override the protected map* hooks to inject custom fields into the entities created during the build phase.

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

Hierarchy (View Summary)

ArgumentParser
- BasicsArgumentParser

Index

Constructors

constructor

new ArgumentParser<
    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;
    },
>(
    responseSchema?: TSchema,
): ArgumentParser<TArg, TPremise, TExpr, TVar, TClaim, TCitation, TAxiom>
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;
  }
Parameters
- OptionalresponseSchema: TSchema
Returns ArgumentParser<TArg, TPremise, TExpr, TVar, TClaim, TCitation, TAxiom>
- Defined in src/lib/parsing/argument-parser.ts:271

Properties

`Protected` `Readonly`responseSchema

responseSchema: TSchema

Methods

build

build(
    response: {
        argument:
            | {
                claims: {
                    miniId: string;
                    role: "conclusion"
                    | "premise"
                    | "intermediate";
                    type: "normal" | "citation" | "axiomatic";
                }[];
                conclusionPremiseMiniId: string;
                premises: { formula: string; miniId: string }[];
                variables: { claimMiniId: string; miniId: string; symbol: string }[];
            }
            | null;
        failureText: string
        | null;
        selectionRationale: string | null;
        uncategorizedText: string | null;
    },
    options?: TParserBuildOptions,
): TArgumentParserResult<
    TArg,
    TPremise,
    TExpr,
    TVar,
    TClaim,
    TCitation,
    TAxiom,
>
Build an ArgumentEngine from a validated response.
Parameters
- response: {
      argument:
          | {
              claims: {
                  miniId: string;
                  role: "conclusion"
                  | "premise"
                  | "intermediate";
                  type: "normal" | "citation" | "axiomatic";
              }[];
              conclusionPremiseMiniId: string;
              premises: { formula: string; miniId: string }[];
              variables: { claimMiniId: string; miniId: string; symbol: string }[];
          }
          | null;
      failureText: string
      | null;
      selectionRationale: string | null;
      uncategorizedText: string | null;
  }
- Optionaloptions: TParserBuildOptions
Returns TArgumentParserResult<TArg, TPremise, TExpr, TVar, TClaim, TCitation, TAxiom>
Throws
If response.argument is null

Throws
If any formula references an undeclared variable

Throws
If any formula contains nested implies/iff

Throws
If a variable references an undeclared claim miniId

Throws
If the conclusion premise miniId is unresolvable
- Defined in src/lib/parsing/argument-parser.ts:292

`Protected`mapArgument

mapArgument(
    _parsed: {
        claims: {
            miniId: string;
            role: "conclusion" | "premise" | "intermediate";
            type: "normal" | "citation" | "axiomatic";
        }[];
        conclusionPremiseMiniId: string;
        premises: { formula: string; miniId: string }[];
        variables: { claimMiniId: string; miniId: string; symbol: string }[];
    },
): Record<string, unknown>
Parameters
- _parsed: {
      claims: {
          miniId: string;
          role: "conclusion" | "premise" | "intermediate";
          type: "normal" | "citation" | "axiomatic";
      }[];
      conclusionPremiseMiniId: string;
      premises: { formula: string; miniId: string }[];
      variables: { claimMiniId: string; miniId: string; symbol: string }[];
  }
Returns Record<string, unknown>
- Defined in src/lib/parsing/argument-parser.ts:689

`Protected`mapClaim

mapClaim(
    _parsed: {
        miniId: string;
        role: "conclusion" | "premise" | "intermediate";
        type: "normal" | "citation" | "axiomatic";
    },
): Record<string, unknown>
Parameters
- _parsed: {
      miniId: string;
      role: "conclusion" | "premise" | "intermediate";
      type: "normal" | "citation" | "axiomatic";
  }
Returns Record<string, unknown>
- Defined in src/lib/parsing/argument-parser.ts:693

`Protected`mapClaimAxiom

mapClaimAxiom(
    _dependentParsed: {
        miniId: string;
        role: "conclusion" | "premise" | "intermediate";
        type: "normal" | "citation" | "axiomatic";
    },
    _supportingParsed: {
        miniId: string;
        role: "conclusion" | "premise" | "intermediate";
        type: "normal" | "citation" | "axiomatic";
    },
    _dependentClaimId: string,
    _supportingClaimId: string,
): Record<string, unknown>
Parameters
- _dependentParsed: {
      miniId: string;
      role: "conclusion" | "premise" | "intermediate";
      type: "normal" | "citation" | "axiomatic";
  }
- _supportingParsed: {
      miniId: string;
      role: "conclusion" | "premise" | "intermediate";
      type: "normal" | "citation" | "axiomatic";
  }
- _dependentClaimId: string
- _supportingClaimId: string
Returns Record<string, unknown>
- Defined in src/lib/parsing/argument-parser.ts:714

`Protected`mapClaimCitation

mapClaimCitation(
    _dependentParsed: {
        miniId: string;
        role: "conclusion" | "premise" | "intermediate";
        type: "normal" | "citation" | "axiomatic";
    },
    _supportingParsed: {
        miniId: string;
        role: "conclusion" | "premise" | "intermediate";
        type: "normal" | "citation" | "axiomatic";
    },
    _dependentClaimId: string,
    _supportingClaimId: string,
): Record<string, unknown>
Parameters
- _dependentParsed: {
      miniId: string;
      role: "conclusion" | "premise" | "intermediate";
      type: "normal" | "citation" | "axiomatic";
  }
- _supportingParsed: {
      miniId: string;
      role: "conclusion" | "premise" | "intermediate";
      type: "normal" | "citation" | "axiomatic";
  }
- _dependentClaimId: string
- _supportingClaimId: string
Returns Record<string, unknown>
- Defined in src/lib/parsing/argument-parser.ts:705

`Protected`mapPremise

mapPremise(
_parsed: { formula: string; miniId: string },
): Record<string, unknown>
Parameters
- _parsed: { formula: string; miniId: string }
Returns Record<string, unknown>
- Defined in src/lib/parsing/argument-parser.ts:701

`Protected`mapVariable

mapVariable(
_parsed: { claimMiniId: string; miniId: string; symbol: string },
): Record<string, unknown>
Parameters
- _parsed: { claimMiniId: string; miniId: string; symbol: string }
Returns Record<string, unknown>
- Defined in src/lib/parsing/argument-parser.ts:697

validate

validate(
    raw: unknown,
): {
    argument:
        | {
            claims: {
                miniId: string;
                role: "conclusion"
                | "premise"
                | "intermediate";
                type: "normal" | "citation" | "axiomatic";
            }[];
            conclusionPremiseMiniId: string;
            premises: { formula: string; miniId: string }[];
            variables: { claimMiniId: string; miniId: string; symbol: string }[];
        }
        | null;
    failureText: string
    | null;
    selectionRationale: string | null;
    uncategorizedText: string | null;
}
Validate raw LLM output against the response schema.
Parameters
- raw: unknown
Returns {
    argument:
        | {
            claims: {
                miniId: string;
                role: "conclusion"
                | "premise"
                | "intermediate";
                type: "normal" | "citation" | "axiomatic";
            }[];
            conclusionPremiseMiniId: string;
            premises: { formula: string; miniId: string }[];
            variables: { claimMiniId: string; miniId: string; symbol: string }[];
        }
        | null;
    failureText: string
    | null;
    selectionRationale: string | null;
    uncategorizedText: string | null;
}
- Defined in src/lib/parsing/argument-parser.ts:278

Class ArgumentParser<TArg, TPremise, TExpr, TVar, TClaim, TCitation, TAxiom>

Type Parameters

Hierarchy (View Summary)

Index

Constructors

Properties

Methods

Constructors

constructor

Type Parameters

Parameters

Returns ArgumentParser<TArg, TPremise, TExpr, TVar, TClaim, TCitation, TAxiom>

Properties

Protected ReadonlyresponseSchema

Methods

build

Parameters

Returns TArgumentParserResult<TArg, TPremise, TExpr, TVar, TClaim, TCitation, TAxiom>

Throws

Throws

Throws

Throws

Throws

ProtectedmapArgument

Parameters

Returns Record<string, unknown>

ProtectedmapClaim

Parameters

Returns Record<string, unknown>

ProtectedmapClaimAxiom

Parameters

Returns Record<string, unknown>

ProtectedmapClaimCitation

Parameters

Returns Record<string, unknown>

ProtectedmapPremise

Parameters

Returns Record<string, unknown>

ProtectedmapVariable

Parameters

Returns Record<string, unknown>

validate

Parameters

Settings

On This Page

`Protected` `Readonly`responseSchema

`Protected`mapArgument

`Protected`mapClaim

`Protected`mapClaimAxiom

`Protected`mapClaimCitation

`Protected`mapPremise

`Protected`mapVariable