proposit-core
    Preparing search index...

    Interface TArgumentEvaluationContext

    Read-only interface providing the data an evaluation needs from an argument engine. This is intentionally narrow — evaluation should not mutate anything.

    interface TArgumentEvaluationContext {
        argumentId: string;
        conclusionPremiseId: string | undefined;
        isResponse?: boolean;
        getConclusionPremise(): TEvaluablePremise | undefined;
        getPremise(premiseId: string): TEvaluablePremise | undefined;
        getVariable(
            variableId: 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;
            }
            | {
                argumentId: string;
                argumentVersion: number;
                boundArgumentId: string;
                boundArgumentVersion: number;
                boundAspect: "statement"
                | "inference";
                boundExpressionId: string;
                checksum: string;
                id: string;
                symbol: string;
            }
            | undefined;
        listPremises(): TEvaluablePremise[];
        listSupportingPremises(): TEvaluablePremise[];
        validateEvaluability(): TCoreValidationResult;
    }
    Index

    Properties

    argumentId conclusionPremiseId isResponse?

    Methods

    getConclusionPremise getPremise getVariable listPremises listSupportingPremises validateEvaluability

    Properties

    argumentId: string

    The argument's own ID.

    conclusionPremiseId: string | undefined

    The conclusion premise ID, if set.

    isResponse?: boolean

    Whether the argument is a response. A response has no conclusion and is not evaluated against one, so evaluation and the validity check refuse it with ARGUMENT_IS_RESPONSE. Absent means a standard argument.

    Methods

    • Look up a variable by ID.

      Parameters

      • variableId: string

      Returns
          | {
              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;
              boundArgumentId: string;
              boundArgumentVersion: number;
              boundAspect: "statement"
              | "inference";
              boundExpressionId: string;
              checksum: string;
              id: string;
              symbol: string;
          }
          | undefined

    Settings

    Member Visibility

    On This Page

    Properties
    Methods