proposit-core
Preparing search index...
lib
Module lib
Classes
ArgumentEngine
ArgumentLibrary
ArgumentParser
ClaimAxiomLibrary
ClaimCitationLibrary
ClaimLibrary
ConversationClosedError
ForkLibrary
ForkNamespace
InvalidArgumentStructureError
InvariantViolationError
LlmStageRetryExhaustedError
NonRetryableLlmError
NotOperatorNotDecidableError
PipelineConfigurationError
PremiseEngine
PropositCore
QuotaExhaustedLlmError
RateLimitLlmError
SchemaValidationLlmError
StageAbortedError
SubPipelineFailedError
TDateType
ToolLoopExhaustedError
TransientLlmError
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
TClaimBoundVariable
TClaimConnectionLibrarySnapshot
TClaimCreateInput
TClaimLibrarySnapshot
TConversation
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
TCreateOpenAiResponsesProviderOptions
TDepSpec
TDistillOutput
TDistillTurnOptions
TExecuteFinalizeResult
TExecutePipelineDeps
TExecuteStageDeps
TExecuteStageResult
TExecuteTurnDeps
TExpressionInput
TExpressionManagerSnapshot
TExpressionUpdate
TExpressionWithoutPosition
TForkLibrarySnapshot
TFormulaAST
TGrammarRuleCode
TGrammarTier
TInvariantValidationResult
TInvariantViolation
TInvariantViolationEntityType
TJsonArray
TJsonObject
TJsonPrimitive
TJsonValue
TLaunchStageResult
TLlmModel
TLlmProvider
TLlmRequest
TLlmResponse
TLlmTokenUsage
TLogicEngineOptions
TMultiTurnInput
TMultiTurnOutput
TNotOperatorNotDecidableReason
TOpenAiFetch
TOptionalChecksum
TOptionalDep
TOptionalHierarchicalChecksum
TOrderedOperation
TParsedArgument
TParsedArgumentResponse
TParsedClaim
TParsedPremise
TParsedVariable
TParserBuildOptions
TParserWarning
TParserWarningCode
TParsingSchemaOptions
TPipeline
TPipelineEvent
TPipelineFinalize
TPipelineResult
TPopulateResult
TPremiseBoundVariable
TPremiseEngineSnapshot
TProcessingFailure
TPromptOptions
TPropositCoreConfig
TPropositCoreOptions
TPropositCoreSnapshot
TReactivePremiseSnapshot
TReactiveSnapshot
TReasoningEffort
TResponseId
TResponseStatus
TRetrievedResponse
TRetryPolicy
TRetryReason
TStage
TStageContext
TStageOutcomeRecord
TStageStatus
TToolSpec
TTurnInput
TTurnResult
TUUID
TValidatorContext
TVariableManagerSnapshot
TVersionedEntity
TViolation
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_POSITION_CONFIG
DEFAULT_RETRY_POLICY
DERIVATION_STRUCTURE_INVALID
EMPTY_CLAIM_LOOKUP
EncodableDate
EXPR_CHECKSUM_MISMATCH
EXPR_CHILD_LIMIT_EXCEEDED
EXPR_DUPLICATE_ID
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
GrammarRuleCodeSchema
GrammarTierSchema
JsonArraySchema
JsonObjectSchema
JsonPrimitiveSchema
JsonValueSchema
LEGACY_CLAIM_CITATION_SHAPE
LEGACY_CLAIM_MISSING_TYPE
LEGACY_MISSING_AXIOM_SLOT
LEGACY_PREMISE_MISSING_TYPE
LLM_NON_RETRYABLE_ERROR
LLM_QUOTA_EXHAUSTED
LLM_RATE_LIMITED
LLM_TRANSIENT_ERROR
LLM_UNKNOWN_ERROR
LlmTokenUsageSchema
OUTPUT_SCHEMA_INVALID
ParsedArgumentResponseSchema
ParsedArgumentSchema
ParsedClaimRoleType
ParsedClaimSchema
ParsedClaimTypeType
ParsedPremiseSchema
ParsedVariableSchema
POSITION_INITIAL
POSITION_MAX
POSITION_MIN
PREMISE_CHECKSUM_MISMATCH
PREMISE_ROOT_EXPRESSION_INVALID
PREMISE_SCHEMA_INVALID
PREMISE_VARIABLE_REF_NOT_FOUND
ProcessingFailureSchema
UUID
VAR_CHECKSUM_MISMATCH
VAR_DUPLICATE_ID
VAR_DUPLICATE_SYMBOL
VAR_SCHEMA_INVALID
ViolationSchema
Functions
analyzePremiseRelationships
buildParsingPrompt
buildParsingResponseSchema
buildPremiseProfile
canonicalizeOperatorAssignments
canonicalSerialize
checkArgumentValidity
collectArgumentReferencedClaims
collectArgumentReferencedVariables
completeStage
computeHash
createChecksumConfig
createConversation
createDistillTurn
createLookup
createOpenAiResponsesProvider
createReviewTurn
createSimulateTurn
dateType
defaultCompareArgument
defaultCompareExpression
defaultComparePremise
defaultCompareVariable
defaultGenerateId
deterministicStage
diffArguments
emptyClaimConnectionLookup
entityChecksum
evaluateArgument
executeFinalize
executePipeline
executeStage
executeTurn
forkArgumentEngine
getParsingResponseSchema
gradeEvaluation
isClaimBound
isExternallyBound
isLlmStage
isNakedQDerivationPremise
isNakedQTree
isPremiseBound
launchStage
llmStage
mergeChangesets
midpoint
normalizeChecksumConfig
Nullable
optional
orderChangeset
parseFormula
propagateOperatorConstraints
serializeChecksumConfig
subPipelineStage
validateArgument
validateArgumentAfterPremiseMutation
validateArgumentEvaluability
validateDerivationStructure
validateGrammar
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Classes
Argument
Engine
Argument
Library
Argument
Parser
Claim
Axiom
Library
Claim
Citation
Library
Claim
Library
Conversation
Closed
Error
Fork
Library
Fork
Namespace
Invalid
Argument
Structure
Error
Invariant
Violation
Error
Llm
Stage
Retry
Exhausted
Error
Non
Retryable
Llm
Error
Not
Operator
Not
Decidable
Error
Pipeline
Configuration
Error
Premise
Engine
Proposit
Core
Quota
Exhausted
Llm
Error
Rate
Limit
Llm
Error
Schema
Validation
Llm
Error
Stage
Aborted
Error
Sub
Pipeline
Failed
Error
T
Date
Type
Tool
Loop
Exhausted
Error
Transient
Llm
Error
Unknown
Expression
Error
Variable
Manager
Versioned
Library
Interfaces
T
Argument
Evaluation
T
Argument
Evaluation
Context
T
Argument
Expression
Queries
T
Argument
Identity
T
Argument
Lifecycle
T
Argument
Role
State
T
Argument
Validation
Context
T
Canonicalize
Operator
Assignments
Input
T
Claim
Connection
Library
Management
T
Claim
Connection
Lookup
T
Claim
Library
Management
T
Claim
Lookup
T
Collect
Argument
Referenced
Claims
Result
T
Core
Argument
Diff
T
Core
Argument
Evaluation
Options
T
Core
Argument
Evaluation
Result
T
Core
Changeset
T
Core
Checksum
Config
T
Core
Counterexample
T
Core
Diff
Options
T
Core
Directional
Vacuity
T
Core
Entity
Changes
T
Core
Entity
Field
Diff
T
Core
Entity
Set
Diff
T
Core
Evaluation
Grading
T
Core
Expression
Assignment
T
Core
Field
Change
T
Core
Mutation
Result
T
Core
Premise
Diff
T
Core
Premise
Evaluation
Result
T
Core
Premise
Profile
T
Core
Premise
Relation
Result
T
Core
Premise
Relationship
Analysis
T
Core
Premise
Set
Diff
T
Core
Role
Diff
T
Core
Validation
Issue
T
Core
Validation
Result
T
Core
Validity
Check
Options
T
Core
Validity
Check
Result
T
Core
Variable
Appearance
T
Core
Variable
Relationship
T
Displayable
T
Evaluable
Premise
T
Expression
Mutations
T
Expression
Queries
T
Fork
Argument
Options
T
Fork
Remap
Table
T
Formula
Tree
Visitor
T
Formula
Tree
Walking
T
Hierarchical
Checksummable
T
Premise
Classification
T
Premise
Crud
T
Premise
Evaluation
T
Premise
Identity
T
Premise
Lifecycle
T
Validatable
Premise
T
Variable
Management
T
Variable
References
Type Aliases
T
Argument
Engine
Snapshot
T
Argument
Library
Libraries
T
Argument
Library
Snapshot
T
Argument
Parser
Result
T
Claim
Bound
Variable
T
Claim
Connection
Library
Snapshot
T
Claim
Create
Input
T
Claim
Library
Snapshot
T
Conversation
T
Core
Analysis
File
T
Core
Argument
T
Core
Argument
Fork
Record
T
Core
Argument
Role
State
T
Core
Claim
T
Core
Claim
Axiomatic
Type
T
Core
Claim
Citation
Type
T
Core
Claim
Connection
T
Core
Claim
Fork
Record
T
Core
Claim
Normal
Type
T
Core
Claim
Type
T
Core
Derivation
Premise
T
Core
Entity
Fork
Record
T
Core
Evaluation
Grade
T
Core
Expression
Fork
Record
T
Core
Field
Comparator
T
Core
Formula
Expression
T
Core
Freeform
Premise
T
Core
Logical
Operator
Type
T
Core
Operator
Assignment
T
Core
Operator
Expression
T
Core
Position
Config
T
Core
Premise
T
Core
Premise
Fork
Record
T
Core
Premise
Inference
Diagnostic
T
Core
Premise
Relationship
Type
T
Core
Premise
Side
T
Core
Propositional
Expression
T
Core
Propositional
Expression
Combined
T
Core
Propositional
Expression
Types
T
Core
Propositional
Variable
T
Core
Propositional
Variable
Expression
T
Core
Trivalent
Value
T
Core
Validation
Code
T
Core
Validation
Severity
T
Core
Variable
Assignment
T
Core
Variable
Fork
Record
T
Core
Variable
Polarity
T
Create
Open
Ai
Responses
Provider
Options
T
Dep
Spec
T
Distill
Output
T
Distill
Turn
Options
T
Execute
Finalize
Result
T
Execute
Pipeline
Deps
T
Execute
Stage
Deps
T
Execute
Stage
Result
T
Execute
Turn
Deps
T
Expression
Input
T
Expression
Manager
Snapshot
T
Expression
Update
T
Expression
Without
Position
T
Fork
Library
Snapshot
T
Formula
AST
T
Grammar
Rule
Code
T
Grammar
Tier
T
Invariant
Validation
Result
T
Invariant
Violation
T
Invariant
Violation
Entity
Type
T
Json
Array
T
Json
Object
T
Json
Primitive
T
Json
Value
T
Launch
Stage
Result
T
Llm
Model
T
Llm
Provider
T
Llm
Request
T
Llm
Response
T
Llm
Token
Usage
T
Logic
Engine
Options
T
Multi
Turn
Input
T
Multi
Turn
Output
T
Not
Operator
Not
Decidable
Reason
T
Open
Ai
Fetch
T
Optional
Checksum
T
Optional
Dep
T
Optional
Hierarchical
Checksum
T
Ordered
Operation
T
Parsed
Argument
T
Parsed
Argument
Response
T
Parsed
Claim
T
Parsed
Premise
T
Parsed
Variable
T
Parser
Build
Options
T
Parser
Warning
T
Parser
Warning
Code
T
Parsing
Schema
Options
T
Pipeline
T
Pipeline
Event
T
Pipeline
Finalize
T
Pipeline
Result
T
Populate
Result
T
Premise
Bound
Variable
T
Premise
Engine
Snapshot
T
Processing
Failure
T
Prompt
Options
T
Proposit
Core
Config
T
Proposit
Core
Options
T
Proposit
Core
Snapshot
T
Reactive
Premise
Snapshot
T
Reactive
Snapshot
T
Reasoning
Effort
T
Response
Id
T
Response
Status
T
Retrieved
Response
T
Retry
Policy
T
Retry
Reason
T
Stage
T
Stage
Context
T
Stage
Outcome
Record
T
Stage
Status
T
Tool
Spec
T
Turn
Input
T
Turn
Result
TUUID
T
Validator
Context
T
Variable
Manager
Snapshot
T
Versioned
Entity
T
Violation
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
Core
Analysis
File
Schema
Core
Argument
Fork
Record
Schema
Core
Argument
Role
State
Schema
Core
Argument
Schema
Core
Claim
Axiomatic
Type
Schema
Core
Claim
Bound
Variable
Schema
Core
Claim
Citation
Type
Schema
Core
Claim
Connection
Schema
Core
Claim
Fork
Record
Schema
Core
Claim
Normal
Type
Schema
Core
Claim
Schema
Core
Claim
Type
Schema
Core
Derivation
Premise
Schema
Core
Entity
Fork
Record
Schema
Core
Expression
Fork
Record
Schema
Core
Formula
Expression
Schema
Core
Freeform
Premise
Schema
Core
Logical
Operator
Type
Core
Operator
Expression
Schema
Core
Premise
Bound
Variable
Schema
Core
Premise
Fork
Record
Schema
Core
Premise
Schema
Core
Propositional
Expression
Schema
Core
Propositional
Expression
Types
Core
Propositional
Variable
Expression
Schema
Core
Propositional
Variable
Schema
Core
Variable
Fork
Record
Schema
CREATE_
DERIVATION_
CLAIM_
NOT_
FOUND
CREATE_
DERIVATION_
REQUIRES_
DERIVED_
CLAIM_
ID
DEFAULT_
CHECKSUM_
CONFIG
DEFAULT_
POSITION_
CONFIG
DEFAULT_
RETRY_
POLICY
DERIVATION_
STRUCTURE_
INVALID
EMPTY_
CLAIM_
LOOKUP
Encodable
Date
EXPR_
CHECKSUM_
MISMATCH
EXPR_
CHILD_
LIMIT_
EXCEEDED
EXPR_
DUPLICATE_
ID
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
Grammar
Rule
Code
Schema
Grammar
Tier
Schema
Json
Array
Schema
Json
Object
Schema
Json
Primitive
Schema
Json
Value
Schema
LEGACY_
CLAIM_
CITATION_
SHAPE
LEGACY_
CLAIM_
MISSING_
TYPE
LEGACY_
MISSING_
AXIOM_
SLOT
LEGACY_
PREMISE_
MISSING_
TYPE
LLM_
NON_
RETRYABLE_
ERROR
LLM_
QUOTA_
EXHAUSTED
LLM_
RATE_
LIMITED
LLM_
TRANSIENT_
ERROR
LLM_
UNKNOWN_
ERROR
Llm
Token
Usage
Schema
OUTPUT_
SCHEMA_
INVALID
Parsed
Argument
Response
Schema
Parsed
Argument
Schema
Parsed
Claim
Role
Type
Parsed
Claim
Schema
Parsed
Claim
Type
Type
Parsed
Premise
Schema
Parsed
Variable
Schema
POSITION_
INITIAL
POSITION_
MAX
POSITION_
MIN
PREMISE_
CHECKSUM_
MISMATCH
PREMISE_
ROOT_
EXPRESSION_
INVALID
PREMISE_
SCHEMA_
INVALID
PREMISE_
VARIABLE_
REF_
NOT_
FOUND
Processing
Failure
Schema
UUID
VAR_
CHECKSUM_
MISMATCH
VAR_
DUPLICATE_
ID
VAR_
DUPLICATE_
SYMBOL
VAR_
SCHEMA_
INVALID
Violation
Schema
Functions
analyze
Premise
Relationships
build
Parsing
Prompt
build
Parsing
Response
Schema
build
Premise
Profile
canonicalize
Operator
Assignments
canonical
Serialize
check
Argument
Validity
collect
Argument
Referenced
Claims
collect
Argument
Referenced
Variables
complete
Stage
compute
Hash
create
Checksum
Config
create
Conversation
create
Distill
Turn
create
Lookup
create
Open
Ai
Responses
Provider
create
Review
Turn
create
Simulate
Turn
date
Type
default
Compare
Argument
default
Compare
Expression
default
Compare
Premise
default
Compare
Variable
default
Generate
Id
deterministic
Stage
diff
Arguments
empty
Claim
Connection
Lookup
entity
Checksum
evaluate
Argument
execute
Finalize
execute
Pipeline
execute
Stage
execute
Turn
fork
Argument
Engine
get
Parsing
Response
Schema
grade
Evaluation
is
Claim
Bound
is
Externally
Bound
is
Llm
Stage
is
Naked
Q
Derivation
Premise
is
Naked
Q
Tree
is
Premise
Bound
launch
Stage
llm
Stage
merge
Changesets
midpoint
normalize
Checksum
Config
Nullable
optional
order
Changeset
parse
Formula
propagate
Operator
Constraints
serialize
Checksum
Config
sub
Pipeline
Stage
validate
Argument
validate
Argument
After
Premise
Mutation
validate
Argument
Evaluability
validate
Derivation
Structure
validate
Grammar
proposit-core
Loading...