Reasoning
The nodes
Every node on the axes is listed with the concept it resolves to, the question it asks, the math type it yields, the shape of its answer, its decision test and its role, and the surfaces and contracts that ground themselves in it.
Evidence
- Axis: verification
- Math type: set-theory
Ground Truth
- Axis: verification
- Math type: logic
Refutation Condition
- Axis: verification
- Math type: logic
Confidence
- Axis: verification
- Math type: probability
Support Against Refutation
- Axis: verification
- Math type: logic
Population
- Axis: verification
- Math type: set-theory
Freshness
- Axis: verification
- Math type: information-theory
Standing
- Axis: verification
- Math type: logic
Refusal
- Axis: verification
- Math type: set-theory
Located Observation
- Axis: verification
- Math type: set-theory
Completion
- Axis: termination
- Math type: set-theory
Saturation
- Axis: termination
- Math type: set-theory
Diminishing Returns
- Axis: termination
- Math type: dynamical-systems
Blocked Run
- Axis: termination
- Math type: logic
Stop Condition
- Axis: termination
- Math type: optimization
Promotion
- Axis: termination
- Math type: set-theory
Publication
- Axis: termination
- Math type: logic