proposit-core
    Preparing search index...

    Module lib

    Classes

    ArgumentEngine
    ArgumentLibrary
    ArgumentParser
    ClaimAxiomLibrary
    ClaimCitationLibrary
    ClaimLibrary
    ForkLibrary
    ForkNamespace
    InvalidArgumentStructureError
    InvariantViolationError
    ManagedDerivationPremiseEngine
    NotOperatorNotDecidableError
    PremiseEngine
    PropositCore
    TDateType
    UnknownExpressionError
    VariableManager
    VersionedLibrary

    Interfaces

    TArgumentEvaluation
    TArgumentEvaluationContext
    TArgumentExpressionQueries
    TArgumentIdentity
    TArgumentLifecycle
    TArgumentRoleState
    TArgumentValidationContext
    TCanonicalizeOperatorAssignmentsInput
    TClaimConnectionLibraryManagement
    TClaimConnectionLookup
    TClaimLibraryManagement
    TClaimLookup
    TCollectArgumentReferencedClaimsResult
    TCoreArgumentDiff
    TCoreArgumentEvaluationOptions
    TCoreArgumentEvaluationResult
    TCoreChangeset
    TCoreChecksumConfig
    TCoreCounterexample
    TCoreDiffOptions
    TCoreDirectionalVacuity
    TCoreEntityChanges
    TCoreEntityFieldDiff
    TCoreEntitySetDiff
    TCoreEvaluationGrading
    TCoreExpressionAssignment
    TCoreFieldChange
    TCoreMutationResult
    TCorePremiseDiff
    TCorePremiseEvaluationResult
    TCorePremiseProfile
    TCorePremiseRelationResult
    TCorePremiseRelationshipAnalysis
    TCorePremiseSetDiff
    TCoreRoleDiff
    TCoreValidationIssue
    TCoreValidationResult
    TCoreValidityCheckOptions
    TCoreValidityCheckResult
    TCoreVariableAppearance
    TCoreVariableRelationship
    TDisplayable
    TEvaluablePremise
    TExpressionMutations
    TExpressionQueries
    TForkArgumentOptions
    TForkRemapTable
    TFormulaTreeVisitor
    TFormulaTreeWalking
    THierarchicalChecksummable
    TPremiseClassification
    TPremiseCrud
    TPremiseEvaluation
    TPremiseIdentity
    TPremiseLifecycle
    TValidatablePremise
    TVariableManagement
    TVariableReferences

    Type Aliases

    TArgumentEngineSnapshot
    TArgumentLibraryLibraries
    TArgumentLibrarySnapshot
    TArgumentParserResult
    TAutoNormalizeConfig
    TClaimBoundVariable
    TClaimConnectionLibrarySnapshot
    TClaimLibrarySnapshot
    TCoreAnalysisFile
    TCoreArgument
    TCoreArgumentForkRecord
    TCoreArgumentRoleState
    TCoreClaim
    TCoreClaimAxiomaticType
    TCoreClaimCitationType
    TCoreClaimConnection
    TCoreClaimForkRecord
    TCoreClaimNormalType
    TCoreClaimType
    TCoreDerivationPremise
    TCoreEntityForkRecord
    TCoreEvaluationGrade
    TCoreExpressionForkRecord
    TCoreFieldComparator
    TCoreFormulaExpression
    TCoreFreeformPremise
    TCoreLogicalOperatorType
    TCoreOperatorAssignment
    TCoreOperatorExpression
    TCorePositionConfig
    TCorePremise
    TCorePremiseForkRecord
    TCorePremiseInferenceDiagnostic
    TCorePremiseRelationshipType
    TCorePremiseSide
    TCorePropositionalExpression
    TCorePropositionalExpressionCombined
    TCorePropositionalExpressionTypes
    TCorePropositionalVariable
    TCorePropositionalVariableExpression
    TCoreTrivalentValue
    TCoreValidationCode
    TCoreValidationSeverity
    TCoreVariableAssignment
    TCoreVariableForkRecord
    TCoreVariablePolarity
    TExpressionInput
    TExpressionManagerSnapshot
    TExpressionUpdate
    TExpressionWithoutPosition
    TForkLibrarySnapshot
    TFormulaAST
    TGrammarConfig
    TGrammarOptions
    TInvariantValidationResult
    TInvariantViolation
    TInvariantViolationEntityType
    TJsonArray
    TJsonObject
    TJsonPrimitive
    TJsonValue
    TLogicEngineOptions
    TNotOperatorNotDecidableReason
    TOptionalChecksum
    TOptionalHierarchicalChecksum
    TOrderedOperation
    TParsedArgument
    TParsedArgumentResponse
    TParsedClaim
    TParsedPremise
    TParsedVariable
    TParserBuildOptions
    TParserWarning
    TParserWarningCode
    TParsingSchemaOptions
    TPremiseBoundVariable
    TPremiseEngineSnapshot
    TPromptOptions
    TPropositCoreConfig
    TPropositCoreOptions
    TPropositCoreSnapshot
    TReactivePremiseSnapshot
    TReactiveSnapshot
    TUUID
    TVariableManagerSnapshot
    TVariableMaterializer
    TVersionedEntity

    Variables

    ARG_CHECKSUM_MISMATCH
    ARG_CIRCULARITY_DETECTED
    ARG_CLAIM_REF_NOT_FOUND
    ARG_CONCLUSION_NOT_FOUND
    ARG_OWNERSHIP_MISMATCH
    ARG_PREMISE_REF_NOT_FOUND
    ARG_SCHEMA_INVALID
    AXIOM_CLAIM_NOT_NORMAL_TYPE
    AXIOM_CLAIM_REF_NOT_FOUND
    AXIOM_DUPLICATE_ID
    AXIOM_NOT_FOUND
    AXIOM_SCHEMA_INVALID
    AXIOM_SUPPORTING_NOT_AXIOMATIC_TYPE
    AXIOM_SUPPORTING_REF_NOT_FOUND
    AXIOM_VARIABLE_ASSIGNMENT_FORBIDDEN
    CITATION_CLAIM_REF_NOT_FOUND
    CITATION_CYCLE_DETECTED
    CITATION_DUPLICATE_ID
    CITATION_NOT_FOUND
    CITATION_SCHEMA_INVALID
    CITATION_SUPPORTING_NOT_CITATION_TYPE
    CITATION_SUPPORTING_REF_NOT_FOUND
    CLAIM_FROZEN_NO_SUCCESSOR
    CLAIM_NOT_FOUND
    CLAIM_SCHEMA_INVALID
    CLAIM_TYPE_IMMUTABLE
    CoreAnalysisFileSchema
    CoreArgumentForkRecordSchema
    CoreArgumentRoleStateSchema
    CoreArgumentSchema
    CoreClaimAxiomaticTypeSchema
    CoreClaimBoundVariableSchema
    CoreClaimCitationTypeSchema
    CoreClaimConnectionSchema
    CoreClaimForkRecordSchema
    CoreClaimNormalTypeSchema
    CoreClaimSchema
    CoreClaimTypeSchema
    CoreDerivationPremiseSchema
    CoreEntityForkRecordSchema
    CoreExpressionForkRecordSchema
    CoreFormulaExpressionSchema
    CoreFreeformPremiseSchema
    CoreLogicalOperatorType
    CoreOperatorExpressionSchema
    CorePremiseBoundVariableSchema
    CorePremiseForkRecordSchema
    CorePremiseSchema
    CorePropositionalExpressionSchema
    CorePropositionalExpressionTypes
    CorePropositionalVariableExpressionSchema
    CorePropositionalVariableSchema
    CoreVariableForkRecordSchema
    CREATE_DERIVATION_CLAIM_NOT_FOUND
    CREATE_DERIVATION_REQUIRES_DERIVED_CLAIM_ID
    DEFAULT_CHECKSUM_CONFIG
    DEFAULT_GRAMMAR_CONFIG
    DEFAULT_POSITION_CONFIG
    DERIVATION_ANTECEDENT_NON_EMPTY
    DERIVATION_CONSEQUENT_LOCKED
    DERIVATION_ROOT_OPERATOR_INVALID
    DERIVATION_STRUCTURE_INVALID
    DERIVATION_STRUCTURE_INVALID_AT_EVALUATION
    DERIVATION_TYPE_MISMATCH
    EMPTY_CLAIM_LOOKUP
    EncodableDate
    EXPR_CHECKSUM_MISMATCH
    EXPR_CHILD_LIMIT_EXCEEDED
    EXPR_DUPLICATE_ID
    EXPR_FORMULA_BETWEEN_OPERATORS_VIOLATED
    EXPR_PARENT_NOT_CONTAINER
    EXPR_PARENT_NOT_FOUND
    EXPR_POSITION_DUPLICATE
    EXPR_ROOT_ONLY_VIOLATED
    EXPR_SCHEMA_INVALID
    EXPR_SELF_REFERENTIAL_PARENT
    FORK_RECORD_SCHEMA_INVALID
    JsonArraySchema
    JsonObjectSchema
    JsonPrimitiveSchema
    JsonValueSchema
    LEGACY_CLAIM_CITATION_SHAPE
    LEGACY_CLAIM_MISSING_TYPE
    LEGACY_MISSING_AXIOM_SLOT
    LEGACY_PREMISE_MISSING_TYPE
    ParsedArgumentResponseSchema
    ParsedArgumentSchema
    ParsedClaimRoleType
    ParsedClaimSchema
    ParsedClaimTypeType
    ParsedPremiseSchema
    ParsedVariableSchema
    PERMISSIVE_GRAMMAR_CONFIG
    POSITION_INITIAL
    POSITION_MAX
    POSITION_MIN
    PREMISE_CHECKSUM_MISMATCH
    PREMISE_ROOT_EXPRESSION_INVALID
    PREMISE_SCHEMA_INVALID
    PREMISE_VARIABLE_REF_NOT_FOUND
    UUID
    VAR_CHECKSUM_MISMATCH
    VAR_DUPLICATE_ID
    VAR_DUPLICATE_SYMBOL
    VAR_SCHEMA_INVALID

    Functions

    analyzePremiseRelationships
    buildParsingPrompt
    buildParsingResponseSchema
    buildPremiseProfile
    canonicalizeOperatorAssignments
    canonicalSerialize
    checkArgumentValidity
    collectArgumentReferencedClaims
    collectArgumentReferencedVariables
    computeHash
    createChecksumConfig
    createLookup
    dateType
    defaultCompareArgument
    defaultCompareExpression
    defaultComparePremise
    defaultCompareVariable
    defaultGenerateId
    diffArguments
    emptyClaimConnectionLookup
    entityChecksum
    evaluateArgument
    forkArgumentEngine
    getParsingResponseSchema
    gradeEvaluation
    isClaimBound
    isExternallyBound
    isPremiseBound
    mergeChangesets
    midpoint
    normalizeChecksumConfig
    Nullable
    orderChangeset
    parseFormula
    propagateOperatorConstraints
    resolveAutoNormalize
    serializeChecksumConfig
    validateArgument
    validateArgumentAfterPremiseMutation
    validateArgumentEvaluability
    validateDerivationStructure

    Settings

    Member Visibility

    On This Page

    Classes
    Interfaces
    TArgumentEvaluationTArgumentEvaluationContextTArgumentExpressionQueriesTArgumentIdentityTArgumentLifecycleTArgumentRoleStateTArgumentValidationContextTCanonicalizeOperatorAssignmentsInputTClaimConnectionLibraryManagementTClaimConnectionLookupTClaimLibraryManagementTClaimLookupTCollectArgumentReferencedClaimsResultTCoreArgumentDiffTCoreArgumentEvaluationOptionsTCoreArgumentEvaluationResultTCoreChangesetTCoreChecksumConfigTCoreCounterexampleTCoreDiffOptionsTCoreDirectionalVacuityTCoreEntityChangesTCoreEntityFieldDiffTCoreEntitySetDiffTCoreEvaluationGradingTCoreExpressionAssignmentTCoreFieldChangeTCoreMutationResultTCorePremiseDiffTCorePremiseEvaluationResultTCorePremiseProfileTCorePremiseRelationResultTCorePremiseRelationshipAnalysisTCorePremiseSetDiffTCoreRoleDiffTCoreValidationIssueTCoreValidationResultTCoreValidityCheckOptionsTCoreValidityCheckResultTCoreVariableAppearanceTCoreVariableRelationshipTDisplayableTEvaluablePremiseTExpressionMutationsTExpressionQueriesTForkArgumentOptionsTForkRemapTableTFormulaTreeVisitorTFormulaTreeWalkingTHierarchicalChecksummableTPremiseClassificationTPremiseCrudTPremiseEvaluationTPremiseIdentityTPremiseLifecycleTValidatablePremiseTVariableManagementTVariableReferences
    Type Aliases
    TArgumentEngineSnapshotTArgumentLibraryLibrariesTArgumentLibrarySnapshotTArgumentParserResultTAutoNormalizeConfigTClaimBoundVariableTClaimConnectionLibrarySnapshotTClaimLibrarySnapshotTCoreAnalysisFileTCoreArgumentTCoreArgumentForkRecordTCoreArgumentRoleStateTCoreClaimTCoreClaimAxiomaticTypeTCoreClaimCitationTypeTCoreClaimConnectionTCoreClaimForkRecordTCoreClaimNormalTypeTCoreClaimTypeTCoreDerivationPremiseTCoreEntityForkRecordTCoreEvaluationGradeTCoreExpressionForkRecordTCoreFieldComparatorTCoreFormulaExpressionTCoreFreeformPremiseTCoreLogicalOperatorTypeTCoreOperatorAssignmentTCoreOperatorExpressionTCorePositionConfigTCorePremiseTCorePremiseForkRecordTCorePremiseInferenceDiagnosticTCorePremiseRelationshipTypeTCorePremiseSideTCorePropositionalExpressionTCorePropositionalExpressionCombinedTCorePropositionalExpressionTypesTCorePropositionalVariableTCorePropositionalVariableExpressionTCoreTrivalentValueTCoreValidationCodeTCoreValidationSeverityTCoreVariableAssignmentTCoreVariableForkRecordTCoreVariablePolarityTExpressionInputTExpressionManagerSnapshotTExpressionUpdateTExpressionWithoutPositionTForkLibrarySnapshotTFormulaASTTGrammarConfigTGrammarOptionsTInvariantValidationResultTInvariantViolationTInvariantViolationEntityTypeTJsonArrayTJsonObjectTJsonPrimitiveTJsonValueTLogicEngineOptionsTNotOperatorNotDecidableReasonTOptionalChecksumTOptionalHierarchicalChecksumTOrderedOperationTParsedArgumentTParsedArgumentResponseTParsedClaimTParsedPremiseTParsedVariableTParserBuildOptionsTParserWarningTParserWarningCodeTParsingSchemaOptionsTPremiseBoundVariableTPremiseEngineSnapshotTPromptOptionsTPropositCoreConfigTPropositCoreOptionsTPropositCoreSnapshotTReactivePremiseSnapshotTReactiveSnapshotTUUIDTVariableManagerSnapshotTVariableMaterializerTVersionedEntity
    Variables
    ARG_CHECKSUM_MISMATCHARG_CIRCULARITY_DETECTEDARG_CLAIM_REF_NOT_FOUNDARG_CONCLUSION_NOT_FOUNDARG_OWNERSHIP_MISMATCHARG_PREMISE_REF_NOT_FOUNDARG_SCHEMA_INVALIDAXIOM_CLAIM_NOT_NORMAL_TYPEAXIOM_CLAIM_REF_NOT_FOUNDAXIOM_DUPLICATE_IDAXIOM_NOT_FOUNDAXIOM_SCHEMA_INVALIDAXIOM_SUPPORTING_NOT_AXIOMATIC_TYPEAXIOM_SUPPORTING_REF_NOT_FOUNDAXIOM_VARIABLE_ASSIGNMENT_FORBIDDENCITATION_CLAIM_REF_NOT_FOUNDCITATION_CYCLE_DETECTEDCITATION_DUPLICATE_IDCITATION_NOT_FOUNDCITATION_SCHEMA_INVALIDCITATION_SUPPORTING_NOT_CITATION_TYPECITATION_SUPPORTING_REF_NOT_FOUNDCLAIM_FROZEN_NO_SUCCESSORCLAIM_NOT_FOUNDCLAIM_SCHEMA_INVALIDCLAIM_TYPE_IMMUTABLECoreAnalysisFileSchemaCoreArgumentForkRecordSchemaCoreArgumentRoleStateSchemaCoreArgumentSchemaCoreClaimAxiomaticTypeSchemaCoreClaimBoundVariableSchemaCoreClaimCitationTypeSchemaCoreClaimConnectionSchemaCoreClaimForkRecordSchemaCoreClaimNormalTypeSchemaCoreClaimSchemaCoreClaimTypeSchemaCoreDerivationPremiseSchemaCoreEntityForkRecordSchemaCoreExpressionForkRecordSchemaCoreFormulaExpressionSchemaCoreFreeformPremiseSchemaCoreLogicalOperatorTypeCoreOperatorExpressionSchemaCorePremiseBoundVariableSchemaCorePremiseForkRecordSchemaCorePremiseSchemaCorePropositionalExpressionSchemaCorePropositionalExpressionTypesCorePropositionalVariableExpressionSchemaCorePropositionalVariableSchemaCoreVariableForkRecordSchemaCREATE_DERIVATION_CLAIM_NOT_FOUNDCREATE_DERIVATION_REQUIRES_DERIVED_CLAIM_IDDEFAULT_CHECKSUM_CONFIGDEFAULT_GRAMMAR_CONFIGDEFAULT_POSITION_CONFIGDERIVATION_ANTECEDENT_NON_EMPTYDERIVATION_CONSEQUENT_LOCKEDDERIVATION_ROOT_OPERATOR_INVALIDDERIVATION_STRUCTURE_INVALIDDERIVATION_STRUCTURE_INVALID_AT_EVALUATIONDERIVATION_TYPE_MISMATCHEMPTY_CLAIM_LOOKUPEncodableDateEXPR_CHECKSUM_MISMATCHEXPR_CHILD_LIMIT_EXCEEDEDEXPR_DUPLICATE_IDEXPR_FORMULA_BETWEEN_OPERATORS_VIOLATEDEXPR_PARENT_NOT_CONTAINEREXPR_PARENT_NOT_FOUNDEXPR_POSITION_DUPLICATEEXPR_ROOT_ONLY_VIOLATEDEXPR_SCHEMA_INVALIDEXPR_SELF_REFERENTIAL_PARENTFORK_RECORD_SCHEMA_INVALIDJsonArraySchemaJsonObjectSchemaJsonPrimitiveSchemaJsonValueSchemaLEGACY_CLAIM_CITATION_SHAPELEGACY_CLAIM_MISSING_TYPELEGACY_MISSING_AXIOM_SLOTLEGACY_PREMISE_MISSING_TYPEParsedArgumentResponseSchemaParsedArgumentSchemaParsedClaimRoleTypeParsedClaimSchemaParsedClaimTypeTypeParsedPremiseSchemaParsedVariableSchemaPERMISSIVE_GRAMMAR_CONFIGPOSITION_INITIALPOSITION_MAXPOSITION_MINPREMISE_CHECKSUM_MISMATCHPREMISE_ROOT_EXPRESSION_INVALIDPREMISE_SCHEMA_INVALIDPREMISE_VARIABLE_REF_NOT_FOUNDUUIDVAR_CHECKSUM_MISMATCHVAR_DUPLICATE_IDVAR_DUPLICATE_SYMBOLVAR_SCHEMA_INVALID
    Functions
    analyzePremiseRelationshipsbuildParsingPromptbuildParsingResponseSchemabuildPremiseProfilecanonicalizeOperatorAssignmentscanonicalSerializecheckArgumentValiditycollectArgumentReferencedClaimscollectArgumentReferencedVariablescomputeHashcreateChecksumConfigcreateLookupdateTypedefaultCompareArgumentdefaultCompareExpressiondefaultComparePremisedefaultCompareVariabledefaultGenerateIddiffArgumentsemptyClaimConnectionLookupentityChecksumevaluateArgumentforkArgumentEnginegetParsingResponseSchemagradeEvaluationisClaimBoundisExternallyBoundisPremiseBoundmergeChangesetsmidpointnormalizeChecksumConfigNullableorderChangesetparseFormulapropagateOperatorConstraintsresolveAutoNormalizeserializeChecksumConfigvalidateArgumentvalidateArgumentAfterPremiseMutationvalidateArgumentEvaluabilityvalidateDerivationStructure