# 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… Page: Ontology · Reasoning Canonical: https://banes-lab.com/ontology/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. ### ont-identity - Axis: [ontology](https://banes-lab.com/records/reason/axis-ontology.md) - Math type: [set-theory](https://banes-lab.com/records/reason/math-type-set-theory.md) - Concept: [identity](https://banes-lab.com/records/reason/dimension-identity.md) Details ### ont-composition - Axis: [ontology](https://banes-lab.com/records/reason/axis-ontology.md) - Math type: [set-theory](https://banes-lab.com/records/reason/math-type-set-theory.md) - Concept: [composition](https://banes-lab.com/records/reason/dimension-composition.md) Details ### ont-structure - Axis: [ontology](https://banes-lab.com/records/reason/axis-ontology.md) - Math type: [algebra](https://banes-lab.com/records/reason/math-type-algebra.md) - Concept: [structure](https://banes-lab.com/records/reason/dimension-structure.md) Details ### ont-relation - Axis: [ontology](https://banes-lab.com/records/reason/axis-ontology.md) - Math type: [graph](https://banes-lab.com/records/reason/math-type-graph.md) - Concept: [relation](https://banes-lab.com/records/reason/dimension-relation.md) Details ### ont-space - Axis: [ontology](https://banes-lab.com/records/reason/axis-ontology.md) - Math type: [topology](https://banes-lab.com/records/reason/math-type-topology.md) - Concept: [space](https://banes-lab.com/records/reason/dimension-space.md) Details ### ont-time - Axis: [ontology](https://banes-lab.com/records/reason/axis-ontology.md) - Math type: [analysis](https://banes-lab.com/records/reason/math-type-analysis.md) - Concept: [time](https://banes-lab.com/records/reason/dimension-time.md) Details ### ont-state - Axis: [ontology](https://banes-lab.com/records/reason/axis-ontology.md) - Math type: [set-theory](https://banes-lab.com/records/reason/math-type-set-theory.md) - Concept: [state](https://banes-lab.com/records/reason/dimension-state.md) Details ### ont-change - Axis: [ontology](https://banes-lab.com/records/reason/axis-ontology.md) - Math type: [analysis](https://banes-lab.com/records/reason/math-type-analysis.md) - Concept: [change](https://banes-lab.com/records/reason/dimension-change.md) Details ### ont-behaviour - Axis: [ontology](https://banes-lab.com/records/reason/axis-ontology.md) - Math type: [dynamical-systems](https://banes-lab.com/records/reason/math-type-dynamical-systems.md) - Concept: [behaviour](https://banes-lab.com/records/reason/dimension-behaviour.md) Details ### ont-function - Axis: [ontology](https://banes-lab.com/records/reason/axis-ontology.md) - Math type: [analysis](https://banes-lab.com/records/reason/math-type-analysis.md) - Concept: [function](https://banes-lab.com/records/reason/dimension-function.md) Details ### ont-cause - Axis: [ontology](https://banes-lab.com/records/reason/axis-ontology.md) - Math type: [analysis](https://banes-lab.com/records/reason/math-type-analysis.md) - Concept: [cause](https://banes-lab.com/records/reason/dimension-cause.md) Details ### ont-meaning - Axis: [ontology](https://banes-lab.com/records/reason/axis-ontology.md) - Math type: [logic](https://banes-lab.com/records/reason/math-type-logic.md) - Concept: [meaning](https://banes-lab.com/records/reason/dimension-meaning.md) Details ### ont-scale - Axis: [ontology](https://banes-lab.com/records/reason/axis-ontology.md) - Math type: [topology](https://banes-lab.com/records/reason/math-type-topology.md) - Concept: [scale](https://banes-lab.com/records/reason/dimension-scale.md) Details ### ont-probability - Axis: [ontology](https://banes-lab.com/records/reason/axis-ontology.md) - Math type: [probability](https://banes-lab.com/records/reason/math-type-probability.md) - Concept: [probability](https://banes-lab.com/records/reason/dimension-probability.md) Details ### ont-novelty - Axis: [ontology](https://banes-lab.com/records/reason/axis-ontology.md) - Math type: [probability](https://banes-lab.com/records/reason/math-type-probability.md) - Concept: [novelty](https://banes-lab.com/records/reason/dimension-novelty.md) Details Grounded by [Concrete-vs-Abstract Responsibility Split](https://banes-lab.com/records/algo/concrete-vs-abstract-responsibility-split.md) ### ana-structural - Axis: [analysis](https://banes-lab.com/records/reason/axis-analysis.md) - Math type: [algebra](https://banes-lab.com/records/reason/math-type-algebra.md) - Concept: [structural](https://banes-lab.com/records/reason/lens-structural.md) Details ### ana-temporal - Axis: [analysis](https://banes-lab.com/records/reason/axis-analysis.md) - Math type: [analysis](https://banes-lab.com/records/reason/math-type-analysis.md) - Concept: [temporal](https://banes-lab.com/records/reason/lens-temporal.md) Details Grounded by [Temporal Coupling Detection](https://banes-lab.com/records/algo/temporal-coupling-detection.md) ### ana-spatial - Axis: [analysis](https://banes-lab.com/records/reason/axis-analysis.md) - Math type: [topology](https://banes-lab.com/records/reason/math-type-topology.md) - Concept: [spatial](https://banes-lab.com/records/reason/lens-spatial.md) Details ### ana-statistical - Axis: [analysis](https://banes-lab.com/records/reason/axis-analysis.md) - Math type: [probability](https://banes-lab.com/records/reason/math-type-probability.md) - Concept: [statistical](https://banes-lab.com/records/reason/lens-statistical.md) Details ### ana-frequency - Axis: [analysis](https://banes-lab.com/records/reason/axis-analysis.md) - Math type: [information-theory](https://banes-lab.com/records/reason/math-type-information-theory.md) - Concept: [frequency](https://banes-lab.com/records/reason/lens-frequency.md) Details ### ana-sequential - Axis: [analysis](https://banes-lab.com/records/reason/axis-analysis.md) - Math type: [logic](https://banes-lab.com/records/reason/math-type-logic.md) - Concept: [sequential](https://banes-lab.com/records/reason/lens-sequential.md) Details Grounded by [Sequential Chain Duplication](https://banes-lab.com/records/algo/sequential-chain-duplication.md) ### ana-relational - Axis: [analysis](https://banes-lab.com/records/reason/axis-analysis.md) - Math type: [graph](https://banes-lab.com/records/reason/math-type-graph.md) - Concept: [relational](https://banes-lab.com/records/reason/lens-relational.md) Details Grounded by [Relational Graph Duplication](https://banes-lab.com/records/algo/relational-graph-duplication.md) ### ana-behavioural - Axis: [analysis](https://banes-lab.com/records/reason/axis-analysis.md) - Math type: [dynamical-systems](https://banes-lab.com/records/reason/math-type-dynamical-systems.md) - Concept: [behavioural](https://banes-lab.com/records/reason/lens-behavioural.md) Details ### ana-functional - Axis: [analysis](https://banes-lab.com/records/reason/axis-analysis.md) - Math type: [analysis](https://banes-lab.com/records/reason/math-type-analysis.md) - Concept: [functional](https://banes-lab.com/records/reason/lens-functional.md) Details ### ana-semantic - Axis: [analysis](https://banes-lab.com/records/reason/axis-analysis.md) - Math type: [logic](https://banes-lab.com/records/reason/math-type-logic.md) - Concept: [semantic](https://banes-lab.com/records/reason/lens-semantic.md) Details Grounded by [Conceptual Duplication Detection](https://banes-lab.com/records/algo/conceptual-duplication-detection.md) ### ana-causal - Axis: [analysis](https://banes-lab.com/records/reason/axis-analysis.md) - Math type: [analysis](https://banes-lab.com/records/reason/math-type-analysis.md) - Concept: [causal](https://banes-lab.com/records/reason/lens-causal.md) Details Grounded by [Causal Wiring Duplication](https://banes-lab.com/records/algo/causal-wiring-duplication.md) ### ana-predictive - Axis: [analysis](https://banes-lab.com/records/reason/axis-analysis.md) - Math type: [probability](https://banes-lab.com/records/reason/math-type-probability.md) - Concept: [predictive](https://banes-lab.com/records/reason/lens-predictive.md) Details ### ana-anomaly - Axis: [analysis](https://banes-lab.com/records/reason/axis-analysis.md) - Math type: [probability](https://banes-lab.com/records/reason/math-type-probability.md) - Concept: [anomaly](https://banes-lab.com/records/reason/lens-anomaly.md) Details Grounded by [Anomaly Outlier Detection](https://banes-lab.com/records/algo/anomaly-outlier-detection.md) ### ana-evolutionary - Axis: [analysis](https://banes-lab.com/records/reason/axis-analysis.md) - Math type: [dynamical-systems](https://banes-lab.com/records/reason/math-type-dynamical-systems.md) - Concept: [evolutionary](https://banes-lab.com/records/reason/lens-evolutionary.md) Details ### ana-fractal - Axis: [analysis](https://banes-lab.com/records/reason/axis-analysis.md) - Math type: [topology](https://banes-lab.com/records/reason/math-type-topology.md) - Concept: [fractal](https://banes-lab.com/records/reason/lens-fractal.md) Details Grounded by [Fractal Scale Duplication](https://banes-lab.com/records/algo/fractal-scale-duplication.md) ### rea-observation - Axis: [reasoning](https://banes-lab.com/records/reason/axis-reasoning.md) - Math type: [set-theory](https://banes-lab.com/records/reason/math-type-set-theory.md) - Concept: [observation](https://banes-lab.com/records/reason/mode-observation.md) Details ### rea-description - Axis: [reasoning](https://banes-lab.com/records/reason/axis-reasoning.md) - Math type: [logic](https://banes-lab.com/records/reason/math-type-logic.md) - Concept: [description](https://banes-lab.com/records/reason/mode-description.md) Details ### rea-comparison - Axis: [reasoning](https://banes-lab.com/records/reason/axis-reasoning.md) - Math type: [logic](https://banes-lab.com/records/reason/math-type-logic.md) - Concept: [comparison](https://banes-lab.com/records/reason/mode-comparison.md) Details ### rea-classification - Axis: [reasoning](https://banes-lab.com/records/reason/axis-reasoning.md) - Math type: [set-theory](https://banes-lab.com/records/reason/math-type-set-theory.md) - Concept: [classification](https://banes-lab.com/records/reason/mode-classification.md) Details ### rea-explanation - Axis: [reasoning](https://banes-lab.com/records/reason/axis-reasoning.md) - Math type: [analysis](https://banes-lab.com/records/reason/math-type-analysis.md) - Concept: [explanation](https://banes-lab.com/records/reason/mode-explanation.md) Details ### rea-prediction - Axis: [reasoning](https://banes-lab.com/records/reason/axis-reasoning.md) - Math type: [probability](https://banes-lab.com/records/reason/math-type-probability.md) - Concept: [prediction](https://banes-lab.com/records/reason/mode-prediction.md) Details ### rea-intervention - Axis: [reasoning](https://banes-lab.com/records/reason/axis-reasoning.md) - Math type: [analysis](https://banes-lab.com/records/reason/math-type-analysis.md) - Concept: [intervention](https://banes-lab.com/records/reason/mode-intervention.md) Details ### rea-creation - Axis: [reasoning](https://banes-lab.com/records/reason/axis-reasoning.md) - Math type: [computation](https://banes-lab.com/records/reason/math-type-computation.md) - Concept: [creation](https://banes-lab.com/records/reason/mode-creation.md) Details ### rea-reflection - Axis: [reasoning](https://banes-lab.com/records/reason/axis-reasoning.md) - Math type: [topology](https://banes-lab.com/records/reason/math-type-topology.md) - Concept: [reflection](https://banes-lab.com/records/reason/mode-reflection.md) Details ### rep-symbolic - Axis: [representation](https://banes-lab.com/records/reason/axis-representation.md) - Math type: [algebra](https://banes-lab.com/records/reason/math-type-algebra.md) - Concept: [symbolic](https://banes-lab.com/records/reason/representation-symbolic.md) Details Question Is it encoded as equations or notation? ### rep-numerical - Axis: [representation](https://banes-lab.com/records/reason/axis-representation.md) - Math type: [probability](https://banes-lab.com/records/reason/math-type-probability.md) - Concept: [numerical](https://banes-lab.com/records/reason/representation-numerical.md) Details Question Is it encoded as quantities? ### rep-geometric - Axis: [representation](https://banes-lab.com/records/reason/axis-representation.md) - Math type: [topology](https://banes-lab.com/records/reason/math-type-topology.md) - Concept: [geometric](https://banes-lab.com/records/reason/representation-geometric.md) Details Question Is it encoded as shapes or coordinates? ### rep-topological - Axis: [representation](https://banes-lab.com/records/reason/axis-representation.md) - Math type: [topology](https://banes-lab.com/records/reason/math-type-topology.md) - Concept: [topological](https://banes-lab.com/records/reason/representation-topological.md) Details Question Is it encoded as connectivity or continuity? ### rep-information-theoretic - Axis: [representation](https://banes-lab.com/records/reason/axis-representation.md) - Math type: [information-theory](https://banes-lab.com/records/reason/math-type-information-theory.md) - Concept: [information-theoretic](https://banes-lab.com/records/reason/representation-information-theoretic.md) Details Question Is it encoded as entropy or compression? ### rep-probabilistic - Axis: [representation](https://banes-lab.com/records/reason/axis-representation.md) - Math type: [probability](https://banes-lab.com/records/reason/math-type-probability.md) - Concept: [probabilistic](https://banes-lab.com/records/reason/representation-probabilistic.md) Details Question Is it encoded as distributions? ### rep-dynamical - Axis: [representation](https://banes-lab.com/records/reason/axis-representation.md) - Math type: [dynamical-systems](https://banes-lab.com/records/reason/math-type-dynamical-systems.md) - Concept: [dynamical](https://banes-lab.com/records/reason/representation-dynamical.md) Details Question Is it encoded as state transitions? ### rep-computational - Axis: [representation](https://banes-lab.com/records/reason/axis-representation.md) - Math type: [computation](https://banes-lab.com/records/reason/math-type-computation.md) - Concept: [computational](https://banes-lab.com/records/reason/representation-computational.md) Details Question Is it encoded as an algorithm? ### for-existence - Axis: [formalisation](https://banes-lab.com/records/reason/axis-formalisation.md) - Math type: [set-theory](https://banes-lab.com/records/reason/math-type-set-theory.md) Details Question What object exists? ### for-structure - Axis: [formalisation](https://banes-lab.com/records/reason/axis-formalisation.md) - Math type: [algebra](https://banes-lab.com/records/reason/math-type-algebra.md) Details Question What structure holds? ### for-relation - Axis: [formalisation](https://banes-lab.com/records/reason/axis-formalisation.md) - Math type: [graph](https://banes-lab.com/records/reason/math-type-graph.md) Details Question What mapping connects objects? ### for-space - Axis: [formalisation](https://banes-lab.com/records/reason/axis-formalisation.md) - Math type: [topology](https://banes-lab.com/records/reason/math-type-topology.md) Details Question What environment contains them? ### for-transformation - Axis: [formalisation](https://banes-lab.com/records/reason/axis-formalisation.md) - Math type: [analysis](https://banes-lab.com/records/reason/math-type-analysis.md) Details Question What operation applies? ### for-invariance - Axis: [formalisation](https://banes-lab.com/records/reason/axis-formalisation.md) - Math type: [topology](https://banes-lab.com/records/reason/math-type-topology.md) Details Question What is preserved? ### for-uncertainty - Axis: [formalisation](https://banes-lab.com/records/reason/axis-formalisation.md) - Math type: [probability](https://banes-lab.com/records/reason/math-type-probability.md) Details Question What is uncertain? ### for-computation - Axis: [formalisation](https://banes-lab.com/records/reason/axis-formalisation.md) - Math type: [computation](https://banes-lab.com/records/reason/math-type-computation.md) Details Question What is computable? ### for-abstraction - Axis: [formalisation](https://banes-lab.com/records/reason/axis-formalisation.md) - Math type: [topology](https://banes-lab.com/records/reason/math-type-topology.md) Details Question What generalises? ### for-creation - Axis: [formalisation](https://banes-lab.com/records/reason/axis-formalisation.md) - Math type: [computation](https://banes-lab.com/records/reason/math-type-computation.md) Details Question What new structure can emerge? ### for-absence - Axis: [formalisation](https://banes-lab.com/records/reason/axis-formalisation.md) - Math type: [set-theory](https://banes-lab.com/records/reason/math-type-set-theory.md) Details Question What is absent, and is it distinguished from unknown, omitted and zero? Answer shape set Decision test every absence a later check must distinguish is represented as its own value ### tel-objective - Axis: [teleology](https://banes-lab.com/records/reason/axis-teleology.md) - Math type: [optimisation](https://banes-lab.com/records/reason/math-type-optimisation.md) Details Question What is the objective? ### tel-utility - Axis: [teleology](https://banes-lab.com/records/reason/axis-teleology.md) - Math type: [optimisation](https://banes-lab.com/records/reason/math-type-optimisation.md) Details Question How much does this advance the objective? Answer shape number ### tel-cost - Axis: [teleology](https://banes-lab.com/records/reason/axis-teleology.md) - Math type: [optimisation](https://banes-lab.com/records/reason/math-type-optimisation.md) Details Question What does this cost? Answer shape number ### tel-priority - Axis: [teleology](https://banes-lab.com/records/reason/axis-teleology.md) - Math type: [optimisation](https://banes-lab.com/records/reason/math-type-optimisation.md) Details Question Is this the highest-worth admissible branch? Answer shape boolean Decision test the branch has the highest utility minus cost among the admissible branches Role injection-gate Grounded by [Adaptive Phase Boundary](https://banes-lab.com/records/algo/adaptive-phase-boundary.md), [Automation Priority Ordering](https://banes-lab.com/records/algo/automation-priority-ordering.md), [Developer Decision Gate](https://banes-lab.com/records/algo/developer-decision-gate.md), [Teleological Intent Gate](https://banes-lab.com/records/algo/teleological-intent-gate.md), [Severity Assignment](https://banes-lab.com/records/algo/severity-assignment.md), [Severity Failure Routing](https://banes-lab.com/records/algo/severity-failure-routing.md), [Severity-Ordered Remediation](https://banes-lab.com/records/algo/severity-ordered-remediation.md), [Anti-Pattern Priority Matrix](https://banes-lab.com/records/algo/anti-pattern-priority-matrix.md), [Reshape Risk Priority](https://banes-lab.com/records/algo/reshape-risk-priority.md), [Vocabulary Admission Gate](https://banes-lab.com/records/algo/vocabulary-admission-gate.md), [Coverage Risk Prioritisation](https://banes-lab.com/records/algo/coverage-risk-prioritisation.md) ### ver-evidence - Axis: [verification](https://banes-lab.com/records/reason/axis-verification.md) - Math type: [logic](https://banes-lab.com/records/reason/math-type-logic.md) Details Question What evidence supports this? Answer shape evidence-set Decision test the evidence set is non-empty Role both Grounded by [semantic-correctness](https://banes-lab.com/records/reason/test-surface-semantic-correctness.md), [functional-correctness](https://banes-lab.com/records/reason/test-surface-functional-correctness.md), [state-correctness](https://banes-lab.com/records/reason/test-surface-state-correctness.md), [interface-correctness](https://banes-lab.com/records/reason/test-surface-interface-correctness.md), [interaction-correctness](https://banes-lab.com/records/reason/test-surface-interaction-correctness.md), [temporal-correctness](https://banes-lab.com/records/reason/test-surface-temporal-correctness.md), [concurrency-correctness](https://banes-lab.com/records/reason/test-surface-concurrency-correctness.md), [memory-correctness](https://banes-lab.com/records/reason/test-surface-memory-correctness.md), [resource-correctness](https://banes-lab.com/records/reason/test-surface-resource-correctness.md), [performance-correctness](https://banes-lab.com/records/reason/test-surface-performance-correctness.md), [reliability-correctness](https://banes-lab.com/records/reason/test-surface-reliability-correctness.md), [availability-correctness](https://banes-lab.com/records/reason/test-surface-availability-correctness.md), [consistency-correctness](https://banes-lab.com/records/reason/test-surface-consistency-correctness.md), [data-correctness](https://banes-lab.com/records/reason/test-surface-data-correctness.md), [numerical-correctness](https://banes-lab.com/records/reason/test-surface-numerical-correctness.md), [security-correctness](https://banes-lab.com/records/reason/test-surface-security-correctness.md), [determinism-correctness](https://banes-lab.com/records/reason/test-surface-determinism-correctness.md), [protocol-correctness](https://banes-lab.com/records/reason/test-surface-protocol-correctness.md), [configuration-correctness](https://banes-lab.com/records/reason/test-surface-configuration-correctness.md), [observability-correctness](https://banes-lab.com/records/reason/test-surface-observability-correctness.md), [Evidence Grounding Validation](https://banes-lab.com/records/algo/evidence-grounding-validation.md), [Workflow Validation Gate](https://banes-lab.com/records/algo/workflow-validation-gate.md), [Additive Debt Gate](https://banes-lab.com/records/algo/additive-debt-gate.md), [Zero-Duplication Verification](https://banes-lab.com/records/algo/zero-duplication-verification.md), [Evidence-Based Claim Verification](https://banes-lab.com/records/algo/evidence-based-claim-verification.md), [Verification Execution](https://banes-lab.com/records/algo/verification-execution.md), [Reverification Gate](https://banes-lab.com/records/algo/reverification-gate.md), [Evidence-Gated Claim Verification](https://banes-lab.com/records/algo/evidence-gated-claim-verification.md), [Environment Capability Verification](https://banes-lab.com/records/algo/environment-capability-verification.md), [Recursive Self-Verification](https://banes-lab.com/records/algo/recursive-self-verification.md), [Plan Phase Verification](https://banes-lab.com/records/algo/plan-phase-verification.md), [Mode Contract Validation](https://banes-lab.com/records/algo/mode-contract-validation.md), [PAG Handoff Gate](https://banes-lab.com/records/algo/pag-validation-gate.md), [Anti-Pattern Elimination Verification](https://banes-lab.com/records/algo/anti-pattern-elimination-verification.md), [Machine Verdict Derivation](https://banes-lab.com/records/algo/machine-verdict-derivation.md), [Discovery Verification](https://banes-lab.com/records/algo/discovery-verification.md), [Evidence Verdict](https://banes-lab.com/records/algo/evidence-verdict.md) ### ver-ground-truth - Axis: [verification](https://banes-lab.com/records/reason/axis-verification.md) - Math type: [logic](https://banes-lab.com/records/reason/math-type-logic.md) Details Question Is it true against reality, not merely coherent? Grounded by [semantic-correctness](https://banes-lab.com/records/reason/test-surface-semantic-correctness.md), [functional-correctness](https://banes-lab.com/records/reason/test-surface-functional-correctness.md), [state-correctness](https://banes-lab.com/records/reason/test-surface-state-correctness.md), [interface-correctness](https://banes-lab.com/records/reason/test-surface-interface-correctness.md), [interaction-correctness](https://banes-lab.com/records/reason/test-surface-interaction-correctness.md), [temporal-correctness](https://banes-lab.com/records/reason/test-surface-temporal-correctness.md), [concurrency-correctness](https://banes-lab.com/records/reason/test-surface-concurrency-correctness.md), [memory-correctness](https://banes-lab.com/records/reason/test-surface-memory-correctness.md), [resource-correctness](https://banes-lab.com/records/reason/test-surface-resource-correctness.md), [performance-correctness](https://banes-lab.com/records/reason/test-surface-performance-correctness.md), [reliability-correctness](https://banes-lab.com/records/reason/test-surface-reliability-correctness.md), [availability-correctness](https://banes-lab.com/records/reason/test-surface-availability-correctness.md), [consistency-correctness](https://banes-lab.com/records/reason/test-surface-consistency-correctness.md), [data-correctness](https://banes-lab.com/records/reason/test-surface-data-correctness.md), [numerical-correctness](https://banes-lab.com/records/reason/test-surface-numerical-correctness.md), [security-correctness](https://banes-lab.com/records/reason/test-surface-security-correctness.md), [determinism-correctness](https://banes-lab.com/records/reason/test-surface-determinism-correctness.md), [protocol-correctness](https://banes-lab.com/records/reason/test-surface-protocol-correctness.md), [configuration-correctness](https://banes-lab.com/records/reason/test-surface-configuration-correctness.md), [observability-correctness](https://banes-lab.com/records/reason/test-surface-observability-correctness.md) ### ver-falsification - Axis: [verification](https://banes-lab.com/records/reason/axis-verification.md) - Math type: [logic](https://banes-lab.com/records/reason/math-type-logic.md) Details Question What would refute it? ### ver-confidence - Axis: [verification](https://banes-lab.com/records/reason/axis-verification.md) - Math type: [probability](https://banes-lab.com/records/reason/math-type-probability.md) Details Question How confident is it, and is that enough? Answer shape number[0,1] Decision test confidence is at or above the threshold ### ver-refutation - Axis: [verification](https://banes-lab.com/records/reason/axis-verification.md) - Math type: [logic](https://banes-lab.com/records/reason/math-type-logic.md) Details Question Does refutation outweigh support? ### ver-population - Axis: [verification](https://banes-lab.com/records/reason/axis-verification.md) - Math type: [set-theory](https://banes-lab.com/records/reason/math-type-set-theory.md) Details Question Over what set was this checked? Answer shape n / N Decision test the declared population is non-empty and every member is measured or named absent Role both Grounded by [PAG Handoff Gate](https://banes-lab.com/records/algo/pag-validation-gate.md) ### ver-freshness - Axis: [verification](https://banes-lab.com/records/reason/axis-verification.md) - Math type: [information-theory](https://banes-lab.com/records/reason/math-type-information-theory.md) Details Question Was the read derived after the last relevant mutator? Answer shape boolean Decision test the fingerprint of the inputs and the code matches the output's declared derivation ### ver-standing - Axis: [verification](https://banes-lab.com/records/reason/axis-verification.md) - Math type: [logic](https://banes-lab.com/records/reason/math-type-logic.md) Details Question Did the read set move beneath the verdict? Answer shape boolean Decision test the moved set is empty Grounded by [PAG Handoff Gate](https://banes-lab.com/records/algo/pag-validation-gate.md) ### ver-refusal - Axis: [verification](https://banes-lab.com/records/reason/axis-verification.md) - Math type: [logic](https://banes-lab.com/records/reason/math-type-logic.md) Details Question Where does this stage refuse to continue? Answer shape set Decision test a refusal condition is named before the irreversible write Role injection-gate Grounded by [PAG Handoff Gate](https://banes-lab.com/records/algo/pag-validation-gate.md) ### ter-completion - Axis: [termination](https://banes-lab.com/records/reason/axis-termination.md) - Math type: [set-theory](https://banes-lab.com/records/reason/math-type-set-theory.md) Details Question Is every task done? Answer shape boolean Decision test every task is done Role completion-marker ### ter-saturation - Axis: [termination](https://banes-lab.com/records/reason/axis-termination.md) - Math type: [set-theory](https://banes-lab.com/records/reason/math-type-set-theory.md) Details Question Is nothing left to resolve? Answer shape boolean Decision test no open items remain Role both ### ter-diminishing-returns - Axis: [termination](https://banes-lab.com/records/reason/axis-termination.md) - Math type: [dynamical-systems](https://banes-lab.com/records/reason/math-type-dynamical-systems.md) Details Question Has progress stopped increasing? Answer shape counter Decision test progress is unchanged across a bounded window Role injection-gate ### ter-block - Axis: [termination](https://banes-lab.com/records/reason/axis-termination.md) - Math type: [logic](https://banes-lab.com/records/reason/math-type-logic.md) Details Question Is it blocked on external input? Answer shape boolean Grounded by [PAG Handoff Gate](https://banes-lab.com/records/algo/pag-validation-gate.md) ### ter-stop - Axis: [termination](https://banes-lab.com/records/reason/axis-termination.md) - Math type: [optimisation](https://banes-lab.com/records/reason/math-type-optimisation.md) Details Question Is it complete and verified, saturated, or blocked? Answer shape boolean Decision test saturation, completion and verification all hold Role completion-marker Grounded by [Agent Generation Completion](https://banes-lab.com/records/algo/agent-generation-completion.md), [First-Time Initiation](https://banes-lab.com/records/algo/first-time-initiation.md), [Automation Completion Status](https://banes-lab.com/records/algo/automation-completion-status.md), [Completion Truthfulness](https://banes-lab.com/records/algo/completion-truthfulness.md), [Explicit Termination](https://banes-lab.com/records/algo/explicit-termination.md), [Iteration Bound](https://banes-lab.com/records/algo/iteration-bound.md), [Validation Gate](https://banes-lab.com/records/algo/validation-gate.md), [Phase Close Gate](https://banes-lab.com/records/algo/phase-close-gate.md), [Completion Truthfulness](https://banes-lab.com/records/algo/pattern-distillation-completion-truthfulness.md), [Bounded Cascade Termination](https://banes-lab.com/records/algo/bounded-cascade-termination.md), [Taxonomy Completion](https://banes-lab.com/records/algo/taxonomy-completion.md), [Coverage Completion](https://banes-lab.com/records/algo/coverage-completion.md) ### ter-promotion - Axis: [termination](https://banes-lab.com/records/reason/axis-termination.md) - Math type: [set-theory](https://banes-lab.com/records/reason/math-type-set-theory.md) Details Question Is the candidate promoted, or only produced? Answer shape boolean Decision test a clean verdict precedes the move into accepted state ### ter-publication - Axis: [termination](https://banes-lab.com/records/reason/axis-termination.md) - Math type: [logic](https://banes-lab.com/records/reason/math-type-logic.md) Details Question Is the boundary to the external system explicit, and who crosses it? Answer shape boolean Decision test the publication gate names its party ## Links to - [Ontology](https://banes-lab.com/records/reason/axis-ontology.md) - [Set Theory](https://banes-lab.com/records/reason/math-type-set-theory.md) - [Identity](https://banes-lab.com/records/reason/dimension-identity.md) - [Composition](https://banes-lab.com/records/reason/dimension-composition.md) - [Algebra](https://banes-lab.com/records/reason/math-type-algebra.md) - [Structure](https://banes-lab.com/records/reason/dimension-structure.md) - [Graph](https://banes-lab.com/records/reason/math-type-graph.md) - [Relation](https://banes-lab.com/records/reason/dimension-relation.md) - [Topology](https://banes-lab.com/records/reason/math-type-topology.md) - [Space](https://banes-lab.com/records/reason/dimension-space.md) - [Analysis](https://banes-lab.com/records/reason/math-type-analysis.md) - [Time](https://banes-lab.com/records/reason/dimension-time.md) - [State](https://banes-lab.com/records/reason/dimension-state.md) - [Change](https://banes-lab.com/records/reason/dimension-change.md) - [Dynamical Systems](https://banes-lab.com/records/reason/math-type-dynamical-systems.md) - [Behaviour](https://banes-lab.com/records/reason/dimension-behaviour.md) - [Function](https://banes-lab.com/records/reason/dimension-function.md) - [Cause](https://banes-lab.com/records/reason/dimension-cause.md) - [Logic](https://banes-lab.com/records/reason/math-type-logic.md) - [Meaning](https://banes-lab.com/records/reason/dimension-meaning.md) - [Scale](https://banes-lab.com/records/reason/dimension-scale.md) - [Probability](https://banes-lab.com/records/reason/math-type-probability.md) - [Probability](https://banes-lab.com/records/reason/dimension-probability.md) - [Novelty](https://banes-lab.com/records/reason/dimension-novelty.md) - [Concrete-vs-Abstract Responsibility Split](https://banes-lab.com/records/algo/concrete-vs-abstract-responsibility-split.md) - [Analysis](https://banes-lab.com/records/reason/axis-analysis.md) - [Structural](https://banes-lab.com/records/reason/lens-structural.md) - [Temporal](https://banes-lab.com/records/reason/lens-temporal.md) - [Temporal Coupling Detection](https://banes-lab.com/records/algo/temporal-coupling-detection.md) - [Spatial](https://banes-lab.com/records/reason/lens-spatial.md) - [Statistical](https://banes-lab.com/records/reason/lens-statistical.md) - [Information Theory](https://banes-lab.com/records/reason/math-type-information-theory.md) - [Frequency](https://banes-lab.com/records/reason/lens-frequency.md) - [Sequential](https://banes-lab.com/records/reason/lens-sequential.md) - [Sequential Chain Duplication](https://banes-lab.com/records/algo/sequential-chain-duplication.md) - [Relational](https://banes-lab.com/records/reason/lens-relational.md) - [Relational Graph Duplication](https://banes-lab.com/records/algo/relational-graph-duplication.md) - [Behavioural](https://banes-lab.com/records/reason/lens-behavioural.md) - [Functional](https://banes-lab.com/records/reason/lens-functional.md) - [Semantic](https://banes-lab.com/records/reason/lens-semantic.md) - [Conceptual Duplication Detection](https://banes-lab.com/records/algo/conceptual-duplication-detection.md) - [Causal](https://banes-lab.com/records/reason/lens-causal.md) - [Causal Wiring Duplication](https://banes-lab.com/records/algo/causal-wiring-duplication.md) - [Predictive](https://banes-lab.com/records/reason/lens-predictive.md) - [Anomaly](https://banes-lab.com/records/reason/lens-anomaly.md) - [Anomaly Outlier Detection](https://banes-lab.com/records/algo/anomaly-outlier-detection.md) - [Evolutionary](https://banes-lab.com/records/reason/lens-evolutionary.md) - [Fractal](https://banes-lab.com/records/reason/lens-fractal.md) - [Fractal Scale Duplication](https://banes-lab.com/records/algo/fractal-scale-duplication.md) - [Reasoning](https://banes-lab.com/records/reason/axis-reasoning.md) - [Observation](https://banes-lab.com/records/reason/mode-observation.md) - [Description](https://banes-lab.com/records/reason/mode-description.md) - [Comparison](https://banes-lab.com/records/reason/mode-comparison.md) - [Classification](https://banes-lab.com/records/reason/mode-classification.md) - [Explanation](https://banes-lab.com/records/reason/mode-explanation.md) - [Prediction](https://banes-lab.com/records/reason/mode-prediction.md) - [Intervention](https://banes-lab.com/records/reason/mode-intervention.md) - [Computation](https://banes-lab.com/records/reason/math-type-computation.md) - [Creation](https://banes-lab.com/records/reason/mode-creation.md) - [Reflection](https://banes-lab.com/records/reason/mode-reflection.md) - [Representation](https://banes-lab.com/records/reason/axis-representation.md) - [Symbolic](https://banes-lab.com/records/reason/representation-symbolic.md) - [Numerical](https://banes-lab.com/records/reason/representation-numerical.md) - [Geometric](https://banes-lab.com/records/reason/representation-geometric.md) - [Topological](https://banes-lab.com/records/reason/representation-topological.md) - [Information Theoretic](https://banes-lab.com/records/reason/representation-information-theoretic.md) - [Probabilistic](https://banes-lab.com/records/reason/representation-probabilistic.md) - [Dynamical](https://banes-lab.com/records/reason/representation-dynamical.md) - [Computational](https://banes-lab.com/records/reason/representation-computational.md) - [Formalisation](https://banes-lab.com/records/reason/axis-formalisation.md) - [Teleology](https://banes-lab.com/records/reason/axis-teleology.md) - [Optimisation](https://banes-lab.com/records/reason/math-type-optimisation.md) - [Adaptive Phase Boundary](https://banes-lab.com/records/algo/adaptive-phase-boundary.md) - [Automation Priority Ordering](https://banes-lab.com/records/algo/automation-priority-ordering.md) - [Developer Decision Gate](https://banes-lab.com/records/algo/developer-decision-gate.md) - [Teleological Intent Gate](https://banes-lab.com/records/algo/teleological-intent-gate.md) - [Severity Assignment](https://banes-lab.com/records/algo/severity-assignment.md) - [Severity Failure Routing](https://banes-lab.com/records/algo/severity-failure-routing.md) - [Severity-Ordered Remediation](https://banes-lab.com/records/algo/severity-ordered-remediation.md) - [Anti-Pattern Priority Matrix](https://banes-lab.com/records/algo/anti-pattern-priority-matrix.md) - [Reshape Risk Priority](https://banes-lab.com/records/algo/reshape-risk-priority.md) - [Vocabulary Admission Gate](https://banes-lab.com/records/algo/vocabulary-admission-gate.md) - [Coverage Risk Prioritisation](https://banes-lab.com/records/algo/coverage-risk-prioritisation.md) - [Verification](https://banes-lab.com/records/reason/axis-verification.md) - [Semantic Correctness](https://banes-lab.com/records/reason/test-surface-semantic-correctness.md) - [Functional Correctness](https://banes-lab.com/records/reason/test-surface-functional-correctness.md) - [State Correctness](https://banes-lab.com/records/reason/test-surface-state-correctness.md) - [Interface Correctness](https://banes-lab.com/records/reason/test-surface-interface-correctness.md) - [Interaction Correctness](https://banes-lab.com/records/reason/test-surface-interaction-correctness.md) - [Temporal Correctness](https://banes-lab.com/records/reason/test-surface-temporal-correctness.md) - [Concurrency Correctness](https://banes-lab.com/records/reason/test-surface-concurrency-correctness.md) - [Memory Correctness](https://banes-lab.com/records/reason/test-surface-memory-correctness.md) - [Resource Correctness](https://banes-lab.com/records/reason/test-surface-resource-correctness.md) - [Performance Correctness](https://banes-lab.com/records/reason/test-surface-performance-correctness.md) - [Reliability Correctness](https://banes-lab.com/records/reason/test-surface-reliability-correctness.md) - [Availability Correctness](https://banes-lab.com/records/reason/test-surface-availability-correctness.md) - [Consistency Correctness](https://banes-lab.com/records/reason/test-surface-consistency-correctness.md) - [Data Correctness](https://banes-lab.com/records/reason/test-surface-data-correctness.md) - [Numerical Correctness](https://banes-lab.com/records/reason/test-surface-numerical-correctness.md) - [Security Correctness](https://banes-lab.com/records/reason/test-surface-security-correctness.md) - [Determinism Correctness](https://banes-lab.com/records/reason/test-surface-determinism-correctness.md) - [Protocol Correctness](https://banes-lab.com/records/reason/test-surface-protocol-correctness.md) - [Configuration Correctness](https://banes-lab.com/records/reason/test-surface-configuration-correctness.md) - [Observability Correctness](https://banes-lab.com/records/reason/test-surface-observability-correctness.md) - [Evidence Grounding Validation](https://banes-lab.com/records/algo/evidence-grounding-validation.md) - [Workflow Validation Gate](https://banes-lab.com/records/algo/workflow-validation-gate.md) - [Additive Debt Gate](https://banes-lab.com/records/algo/additive-debt-gate.md) - [Zero-Duplication Verification](https://banes-lab.com/records/algo/zero-duplication-verification.md) - [Evidence-Based Claim Verification](https://banes-lab.com/records/algo/evidence-based-claim-verification.md) - [Verification Execution](https://banes-lab.com/records/algo/verification-execution.md) - [Reverification Gate](https://banes-lab.com/records/algo/reverification-gate.md) - [Evidence-Gated Claim Verification](https://banes-lab.com/records/algo/evidence-gated-claim-verification.md) - [Environment Capability Verification](https://banes-lab.com/records/algo/environment-capability-verification.md) - [Recursive Self-Verification](https://banes-lab.com/records/algo/recursive-self-verification.md) - [Plan Phase Verification](https://banes-lab.com/records/algo/plan-phase-verification.md) - [Mode Contract Validation](https://banes-lab.com/records/algo/mode-contract-validation.md) - [PAG Handoff Gate](https://banes-lab.com/records/algo/pag-validation-gate.md) - [Anti-Pattern Elimination Verification](https://banes-lab.com/records/algo/anti-pattern-elimination-verification.md) - [Machine Verdict Derivation](https://banes-lab.com/records/algo/machine-verdict-derivation.md) - [Discovery Verification](https://banes-lab.com/records/algo/discovery-verification.md) - [Evidence Verdict](https://banes-lab.com/records/algo/evidence-verdict.md) - [Termination](https://banes-lab.com/records/reason/axis-termination.md) - [Agent Generation Completion](https://banes-lab.com/records/algo/agent-generation-completion.md) - [First-Time Initiation](https://banes-lab.com/records/algo/first-time-initiation.md) - [Automation Completion Status](https://banes-lab.com/records/algo/automation-completion-status.md) - [Completion Truthfulness](https://banes-lab.com/records/algo/completion-truthfulness.md) - [Explicit Termination](https://banes-lab.com/records/algo/explicit-termination.md) - [Iteration Bound](https://banes-lab.com/records/algo/iteration-bound.md) - [Validation Gate](https://banes-lab.com/records/algo/validation-gate.md) - [Phase Close Gate](https://banes-lab.com/records/algo/phase-close-gate.md) - [Completion Truthfulness](https://banes-lab.com/records/algo/pattern-distillation-completion-truthfulness.md) - [Bounded Cascade Termination](https://banes-lab.com/records/algo/bounded-cascade-termination.md) - [Taxonomy Completion](https://banes-lab.com/records/algo/taxonomy-completion.md) - [Coverage Completion](https://banes-lab.com/records/algo/coverage-completion.md)