# Reasoning records

> 283 records

This index as JSON: https://banes-lab.com/json/api/records/reasoning

## Fields

- `kind`: [axis](https://banes-lab.com/api/facets/reasoning/kind/axis.md) (8), [dimension](https://banes-lab.com/api/facets/reasoning/kind/dimension.md) (15), [invariant](https://banes-lab.com/api/facets/reasoning/kind/invariant.md) (28), [layer](https://banes-lab.com/api/facets/reasoning/kind/layer.md) (4), [lens](https://banes-lab.com/api/facets/reasoning/kind/lens.md) (19), [loop](https://banes-lab.com/api/facets/reasoning/kind/loop.md) (1), [math-domain](https://banes-lab.com/api/facets/reasoning/kind/math-domain.md) (12), [math-type](https://banes-lab.com/api/facets/reasoning/kind/math-type.md) (11), [mode](https://banes-lab.com/api/facets/reasoning/kind/mode.md) (16), [model](https://banes-lab.com/api/facets/reasoning/kind/model.md) (4), [node](https://banes-lab.com/api/facets/reasoning/kind/node.md) (79), [pattern-type](https://banes-lab.com/api/facets/reasoning/kind/pattern-type.md) (14), [representation](https://banes-lab.com/api/facets/reasoning/kind/representation.md) (14), [substrate-node](https://banes-lab.com/api/facets/reasoning/kind/substrate-node.md) (11), [technique](https://banes-lab.com/api/facets/reasoning/kind/technique.md) (22), [test-surface](https://banes-lab.com/api/facets/reasoning/kind/test-surface.md) (20), [universal-axis](https://banes-lab.com/api/facets/reasoning/kind/universal-axis.md) (5)

## Entries

- [Ontology](https://banes-lab.com/records/reasoning/axis-ontology.md): What is it?
- [Analysis](https://banes-lab.com/records/reasoning/axis-analysis.md): How is it to be seen?
- [Reasoning](https://banes-lab.com/records/reasoning/axis-reasoning.md): Why, and what follows?
- [Representation](https://banes-lab.com/records/reasoning/axis-representation.md): How is it encoded?
- [Formalization](https://banes-lab.com/records/reasoning/axis-formalization.md): What does it resolve to?
- [Teleology](https://banes-lab.com/records/reasoning/axis-teleology.md): What is it for?
- [Verification](https://banes-lab.com/records/reasoning/axis-verification.md): Is it real?
- [Termination](https://banes-lab.com/records/reasoning/axis-termination.md): Is it done?
- [Identity](https://banes-lab.com/records/reasoning/node-ont-identity.md): This node covers the identity concept on the ontology axis. Its mathematical type is set theory.
- [Composition](https://banes-lab.com/records/reasoning/node-ont-composition.md): This node covers the composition concept on the ontology axis. Its mathematical type is set theory.
- [Structure](https://banes-lab.com/records/reasoning/node-ont-structure.md): This node covers the structure concept on the ontology axis. Its mathematical type is algebra.
- [Relation](https://banes-lab.com/records/reasoning/node-ont-relation.md): This node covers the relation concept on the ontology axis. Its mathematical type is graph.
- [Space](https://banes-lab.com/records/reasoning/node-ont-space.md): This node covers the space concept on the ontology axis. Its mathematical type is topology.
- [Time](https://banes-lab.com/records/reasoning/node-ont-time.md): This node covers the time concept on the ontology axis. Its mathematical type is analysis.
- [State](https://banes-lab.com/records/reasoning/node-ont-state.md): This node covers the state concept on the ontology axis. Its mathematical type is set theory.
- [Change](https://banes-lab.com/records/reasoning/node-ont-change.md): This node covers the change concept on the ontology axis. Its mathematical type is analysis.
- [Behavior](https://banes-lab.com/records/reasoning/node-ont-behavior.md): This node covers the behavior concept on the ontology axis. Its mathematical type is dynamical systems.
- [Function](https://banes-lab.com/records/reasoning/node-ont-function.md): This node covers the function concept on the ontology axis. Its mathematical type is analysis.
- [Cause](https://banes-lab.com/records/reasoning/node-ont-cause.md): This node covers the cause concept on the ontology axis. Its mathematical type is analysis.
- [Meaning](https://banes-lab.com/records/reasoning/node-ont-meaning.md): This node covers the meaning concept on the ontology axis. Its mathematical type is logic.
- [Scale](https://banes-lab.com/records/reasoning/node-ont-scale.md): This node covers the scale concept on the ontology axis. Its mathematical type is topology.
- [Probability](https://banes-lab.com/records/reasoning/node-ont-probability.md): This node covers the probability concept on the ontology axis. Its mathematical type is probability.
- [Novelty](https://banes-lab.com/records/reasoning/node-ont-novelty.md): This node covers the novelty concept on the ontology axis. Its mathematical type is probability.
- [Structural Analysis](https://banes-lab.com/records/reasoning/node-ana-structural.md): This node covers the structural concept on the analysis axis. Its mathematical type is algebra.
- [Temporal Analysis](https://banes-lab.com/records/reasoning/node-ana-temporal.md): This node covers the temporal concept on the analysis axis. Its mathematical type is analysis.
- [Spatial Analysis](https://banes-lab.com/records/reasoning/node-ana-spatial.md): This node covers the spatial concept on the analysis axis. Its mathematical type is topology.
- [Statistical Analysis](https://banes-lab.com/records/reasoning/node-ana-statistical.md): This node covers the statistical concept on the analysis axis. Its mathematical type is probability.
- [Frequency Analysis](https://banes-lab.com/records/reasoning/node-ana-frequency.md): This node covers the frequency concept on the analysis axis. Its mathematical type is information theory.
- [Sequential Analysis](https://banes-lab.com/records/reasoning/node-ana-sequential.md): This node covers the sequential concept on the analysis axis. Its mathematical type is logic.
- [Relational Analysis](https://banes-lab.com/records/reasoning/node-ana-relational.md): This node covers the relational concept on the analysis axis. Its mathematical type is graph.
- [Behavioral Analysis](https://banes-lab.com/records/reasoning/node-ana-behavioral.md): This node covers the behavioral concept on the analysis axis. Its mathematical type is dynamical systems.
- [Functional Analysis](https://banes-lab.com/records/reasoning/node-ana-functional.md): This node covers the functional concept on the analysis axis. Its mathematical type is analysis.
- [Semantic Analysis](https://banes-lab.com/records/reasoning/node-ana-semantic.md): This node covers the semantic concept on the analysis axis. Its mathematical type is logic.
- [Causal Analysis](https://banes-lab.com/records/reasoning/node-ana-causal.md): This node covers the causal concept on the analysis axis. Its mathematical type is analysis.
- [Predictive Analysis](https://banes-lab.com/records/reasoning/node-ana-predictive.md): This node covers the predictive concept on the analysis axis. Its mathematical type is probability.
- [Anomaly Analysis](https://banes-lab.com/records/reasoning/node-ana-anomaly.md): This node covers the anomaly concept on the analysis axis. Its mathematical type is probability.
- [Evolutionary Analysis](https://banes-lab.com/records/reasoning/node-ana-evolutionary.md): This node covers the evolutionary concept on the analysis axis. Its mathematical type is dynamical systems.
- [Fractal Analysis](https://banes-lab.com/records/reasoning/node-ana-fractal.md): This node covers the fractal concept on the analysis axis. Its mathematical type is topology.
- [Observation](https://banes-lab.com/records/reasoning/node-rea-observation.md): This node covers the observation concept on the reasoning axis. Its mathematical type is set theory.
- [Description](https://banes-lab.com/records/reasoning/node-rea-description.md): This node covers the description concept on the reasoning axis. Its mathematical type is logic.
- [Comparison](https://banes-lab.com/records/reasoning/node-rea-comparison.md): This node covers the comparison concept on the reasoning axis. Its mathematical type is logic.
- [Classification](https://banes-lab.com/records/reasoning/node-rea-classification.md): This node covers the classification concept on the reasoning axis. Its mathematical type is set theory.
- [Explanation](https://banes-lab.com/records/reasoning/node-rea-explanation.md): This node covers the explanation concept on the reasoning axis. Its mathematical type is analysis.
- [Prediction](https://banes-lab.com/records/reasoning/node-rea-prediction.md): This node covers the prediction concept on the reasoning axis. Its mathematical type is probability.
- [Intervention](https://banes-lab.com/records/reasoning/node-rea-intervention.md): This node covers the intervention concept on the reasoning axis. Its mathematical type is analysis.
- [Creation](https://banes-lab.com/records/reasoning/node-rea-creation.md): This node covers the creation concept on the reasoning axis. Its mathematical type is computation.
- [Reflection](https://banes-lab.com/records/reasoning/node-rea-reflection.md): This node covers the reflection concept on the reasoning axis. Its mathematical type is topology.
- [Symbolic Representation](https://banes-lab.com/records/reasoning/node-rep-symbolic.md): Is it encoded as equations or notation?
- [Numerical Representation](https://banes-lab.com/records/reasoning/node-rep-numerical.md): Is it encoded as quantities?
- [Geometric Representation](https://banes-lab.com/records/reasoning/node-rep-geometric.md): Is it encoded as shapes or coordinates?
- [Topological Representation](https://banes-lab.com/records/reasoning/node-rep-topological.md): Is it encoded as connectivity or continuity?
- [Information-Theoretic Representation](https://banes-lab.com/records/reasoning/node-rep-information-theoretic.md): Is it encoded as entropy or compression?
- [Probabilistic Representation](https://banes-lab.com/records/reasoning/node-rep-probabilistic.md): Is it encoded as distributions?
- [Dynamical Representation](https://banes-lab.com/records/reasoning/node-rep-dynamical.md): Is it encoded as state transitions?
- [Computational Representation](https://banes-lab.com/records/reasoning/node-rep-computational.md): Is it encoded as an algorithm?
- [Existence](https://banes-lab.com/records/reasoning/node-for-existence.md): What object exists?
- [Formal Structure](https://banes-lab.com/records/reasoning/node-for-structure.md): What structure holds?
- [Mapping](https://banes-lab.com/records/reasoning/node-for-relation.md): What mapping connects objects?
- [Environment](https://banes-lab.com/records/reasoning/node-for-space.md): What environment contains them?
- [Transformation](https://banes-lab.com/records/reasoning/node-for-transformation.md): What operation applies?
- [Invariance](https://banes-lab.com/records/reasoning/node-for-invariance.md): What is preserved?
- [Uncertainty](https://banes-lab.com/records/reasoning/node-for-uncertainty.md): What is uncertain?
- [Computability](https://banes-lab.com/records/reasoning/node-for-computation.md): What is computable?
- [Abstraction](https://banes-lab.com/records/reasoning/node-for-abstraction.md): What generalizes?
- [Emergence](https://banes-lab.com/records/reasoning/node-for-creation.md): What new structure can emerge?
- [Absence](https://banes-lab.com/records/reasoning/node-for-absence.md): What is absent, and is it distinguished from unknown, omitted and zero?
- [Objective](https://banes-lab.com/records/reasoning/node-tel-objective.md): What is the objective?
- [Branch Utility](https://banes-lab.com/records/reasoning/node-tel-utility.md): How much does this advance the objective?
- [Branch Cost](https://banes-lab.com/records/reasoning/node-tel-cost.md): What does this cost?
- [Branch Priority](https://banes-lab.com/records/reasoning/node-tel-priority.md): Is this the highest-worth admissible branch?
- [Evidence](https://banes-lab.com/records/reasoning/node-ver-evidence.md): What evidence supports this?
- [Ground Truth](https://banes-lab.com/records/reasoning/node-ver-ground-truth.md): Is it true against reality, not merely coherent?
- [Refutation Condition](https://banes-lab.com/records/reasoning/node-ver-falsification.md): What would refute it?
- [Confidence](https://banes-lab.com/records/reasoning/node-ver-confidence.md): How confident is it, and is that enough?
- [Support Against Refutation](https://banes-lab.com/records/reasoning/node-ver-refutation.md): Does refutation outweigh support?
- [Population](https://banes-lab.com/records/reasoning/node-ver-population.md): Over what set was this checked?
- [Freshness](https://banes-lab.com/records/reasoning/node-ver-freshness.md): Was the read derived after the last relevant mutator?
- [Standing](https://banes-lab.com/records/reasoning/node-ver-standing.md): Did the read set move beneath the verdict?
- [Refusal](https://banes-lab.com/records/reasoning/node-ver-refusal.md): Where does this stage refuse to continue?
- [Located Observation](https://banes-lab.com/records/reasoning/node-ver-observation.md): Does the observation locate a failure, or is an absence of failures read as proof?
- [Completion](https://banes-lab.com/records/reasoning/node-ter-completion.md): Is every task done?
- [Saturation](https://banes-lab.com/records/reasoning/node-ter-saturation.md): Is nothing left to resolve?
- [Diminishing Returns](https://banes-lab.com/records/reasoning/node-ter-diminishing-returns.md): Has progress stopped increasing?
- [Blocked Run](https://banes-lab.com/records/reasoning/node-ter-block.md): Is it blocked on external input?
- [Stop Condition](https://banes-lab.com/records/reasoning/node-ter-stop.md): Do saturation, completion and verification all hold, or is the run blocked?
- [Promotion](https://banes-lab.com/records/reasoning/node-ter-promotion.md): Is the candidate promoted, or only produced?
- [Publication](https://banes-lab.com/records/reasoning/node-ter-publication.md): Is the boundary to the external system explicit, and who crosses it?
- [Existence](https://banes-lab.com/records/reasoning/substrate-node-existence.md): This node sits on the Substrate layer. Its mathematical type is set theory. The Ontogenesis models build on it.
- [Difference](https://banes-lab.com/records/reasoning/substrate-node-difference.md): This node sits on the Substrate layer. Its mathematical type is logic. The Ontogenesis models build on it.
- [Relation](https://banes-lab.com/records/reasoning/substrate-node-relation.md): This node sits on the Substrate layer. Its mathematical type is graph. The Ontogenesis models build on it.
- [Structure](https://banes-lab.com/records/reasoning/substrate-node-structure.md): This node sits on the Substrate layer. Its mathematical type is algebra. The Ontogenesis models build on it.
- [Transformation](https://banes-lab.com/records/reasoning/substrate-node-transformation.md): This node sits on the Substrate layer. Its mathematical type is analysis. The Ontogenesis models build on it.
- [Constraint](https://banes-lab.com/records/reasoning/substrate-node-constraint.md): This node sits on the Substrate layer. Its mathematical type is optimization. The Ontogenesis models build on it.
- [Invariant](https://banes-lab.com/records/reasoning/substrate-node-invariant.md): This node sits on the Substrate layer. Its mathematical type is topology.
- [Uncertainty](https://banes-lab.com/records/reasoning/substrate-node-uncertainty.md): This node sits on the Substrate layer. Its mathematical type is probability.
- [Information](https://banes-lab.com/records/reasoning/substrate-node-information.md): This node sits on the Substrate layer. Its mathematical type is information theory.
- [Procedure](https://banes-lab.com/records/reasoning/substrate-node-procedure.md): This node sits on the Substrate layer. Its mathematical type is computation.
- [Emergence](https://banes-lab.com/records/reasoning/substrate-node-emergence.md): This node sits on the Substrate layer. Its mathematical type is dynamical systems. The Ontogenesis models build on it.
- [Identity](https://banes-lab.com/records/reasoning/dimension-identity.md): What exists?
- [Composition](https://banes-lab.com/records/reasoning/dimension-composition.md): What is it made of?
- [Structure](https://banes-lab.com/records/reasoning/dimension-structure.md): How are parts arranged?
- [Relation](https://banes-lab.com/records/reasoning/dimension-relation.md): What connects it to other things?
- [Space](https://banes-lab.com/records/reasoning/dimension-space.md): Where is it?
- [Time](https://banes-lab.com/records/reasoning/dimension-time.md): When does it occur?
- [State](https://banes-lab.com/records/reasoning/dimension-state.md): What condition is it in?
- [Change](https://banes-lab.com/records/reasoning/dimension-change.md): How does it transform?
- [Behavior](https://banes-lab.com/records/reasoning/dimension-behavior.md): What does it do?
- [Function](https://banes-lab.com/records/reasoning/dimension-function.md): What role does it fulfill?
- [Cause](https://banes-lab.com/records/reasoning/dimension-cause.md): Why does it happen?
- [Meaning](https://banes-lab.com/records/reasoning/dimension-meaning.md): What does it signify?
- [Scale](https://banes-lab.com/records/reasoning/dimension-scale.md): At what level does it exist?
- [Probability](https://banes-lab.com/records/reasoning/dimension-probability.md): How certain is it?
- [Novelty](https://banes-lab.com/records/reasoning/dimension-novelty.md): What deviates from expectation?
- [Correct Outputs](https://banes-lab.com/records/reasoning/invariant-correct-outputs.md): Outputs are correct
- [Correct State Evolution](https://banes-lab.com/records/reasoning/invariant-correct-state-evolution.md): State evolves correctly
- [Valid State Transitions](https://banes-lab.com/records/reasoning/invariant-valid-state-transitions.md): State transitions are valid
- [Correct Interactions](https://banes-lab.com/records/reasoning/invariant-correct-interactions.md): Interactions between components are correct
- [Valid Interfaces and Contracts](https://banes-lab.com/records/reasoning/invariant-valid-interfaces-and-contracts.md): Interfaces and contracts are valid
- [Acceptable Execution Time](https://banes-lab.com/records/reasoning/invariant-acceptable-execution-time.md): Execution time is acceptable
- [Acceptable Resource Consumption](https://banes-lab.com/records/reasoning/invariant-acceptable-resource-consumption.md): Resource consumption is acceptable
- [Safe Concurrent Behavior](https://banes-lab.com/records/reasoning/invariant-safe-concurrent-behavior.md): Concurrent behavior is safe
- [Controlled Memory Usage](https://banes-lab.com/records/reasoning/invariant-controlled-memory-usage.md): Memory usage is controlled
- [Reliability Under Faults](https://banes-lab.com/records/reasoning/invariant-reliability-under-faults.md): The system stays reliable under faults
- [Availability Under Stress](https://banes-lab.com/records/reasoning/invariant-availability-under-stress.md): The system stays available under stress
- [Consistency Across Components](https://banes-lab.com/records/reasoning/invariant-consistency-across-components.md): Components stay consistent with each other
- [Required Determinism](https://banes-lab.com/records/reasoning/invariant-deterministic-behavior-where-required.md): Behavior is deterministic where determinism is required
- [Numerical Validity](https://banes-lab.com/records/reasoning/invariant-numerical-validity.md): Numerical results are valid
- [Security Boundaries](https://banes-lab.com/records/reasoning/invariant-security-boundaries.md): Security boundaries hold
- [Protocol Compliance](https://banes-lab.com/records/reasoning/invariant-protocol-compliance.md): Communication complies with its protocol
- [Configuration Validity](https://banes-lab.com/records/reasoning/invariant-configuration-validity.md): Configuration is valid
- [Accurate Observability](https://banes-lab.com/records/reasoning/invariant-accurate-observability.md): Logs, metrics and traces report the system accurately
- [Reachable Check](https://banes-lab.com/records/reasoning/invariant-epi-reachable-check.md): Every representation in jurisdiction has a computable check
- [Declared Domain](https://banes-lab.com/records/reasoning/invariant-epi-declared-domain.md): A check's domain is explicit and reported beside its verdict
- [Declared Dependency](https://banes-lab.com/records/reasoning/invariant-epi-declared-dependency.md): A dependency is declared by the referent, never inferred from a name
- [Checked Verdict](https://banes-lab.com/records/reasoning/invariant-epi-verdict-is-representation.md): A verdict is itself a representation and has a reachable check of its own
- [Preserved Distinction](https://banes-lab.com/records/reasoning/invariant-epi-preserved-distinction.md): A lowering keeps every distinction a later check needs
- [Fresh Read](https://banes-lab.com/records/reasoning/invariant-epi-fresh-read.md): A check reads a representation derived after the last relevant mutator
- [One Derivation](https://banes-lab.com/records/reasoning/invariant-epi-one-derivation.md): One canonical question has one authoritative derivation
- [Weakest Link](https://banes-lab.com/records/reasoning/invariant-epi-weakest-link.md): A chain is as certain as its least certain link, and a link below the floor is removed from the chain
- [Observation Scope](https://banes-lab.com/records/reasoning/invariant-epi-observation-locates.md): Dynamic observation locates a failure and never certifies absence
- [Three-Condition Stop](https://banes-lab.com/records/reasoning/invariant-epi-terminate-on-three.md): A run stops when saturation, completion and verification all hold, or when it is blocked on something outside it
- [Substrate](https://banes-lab.com/records/reasoning/layer-substrate.md): How does anything come to be?
- [Epistemic](https://banes-lab.com/records/reasoning/layer-epistemic.md): How is it known?
- [Conative](https://banes-lab.com/records/reasoning/layer-conative.md): What is worth doing?
- [Evaluative](https://banes-lab.com/records/reasoning/layer-evaluative.md): Is it right, and is it done?
- [Structure](https://banes-lab.com/records/reasoning/lens-structure.md): How are the parts organized?
- [Time](https://banes-lab.com/records/reasoning/lens-time.md): How does it vary through time?
- [Space](https://banes-lab.com/records/reasoning/lens-space.md): How is it distributed in space?
- [Statistical](https://banes-lab.com/records/reasoning/lens-statistical.md): What regularities emerge from many observations?
- [Frequency](https://banes-lab.com/records/reasoning/lens-frequency.md): What repeats, and how often?
- [Sequential](https://banes-lab.com/records/reasoning/lens-sequential.md): In what order do things occur?
- [Relation](https://banes-lab.com/records/reasoning/lens-relation.md): What connects what?
- [Behavior](https://banes-lab.com/records/reasoning/lens-behavior.md): How does an entity tend to act?
- [Function](https://banes-lab.com/records/reasoning/lens-function.md): What role does something perform?
- [Meaning](https://banes-lab.com/records/reasoning/lens-meaning.md): What meaning is conveyed?
- [Cause](https://banes-lab.com/records/reasoning/lens-cause.md): What produces what?
- [Prediction](https://banes-lab.com/records/reasoning/lens-prediction.md): What usually follows?
- [Anomaly](https://banes-lab.com/records/reasoning/lens-anomaly.md): What breaks the normal pattern?
- [Change](https://banes-lab.com/records/reasoning/lens-change.md): How does the pattern itself change?
- [Fractal](https://banes-lab.com/records/reasoning/lens-fractal.md): Does the same structure recur at different scales?
- [Transformation](https://banes-lab.com/records/reasoning/lens-transformation.md): How does one state become another?
- [Invariant](https://banes-lab.com/records/reasoning/lens-invariant.md): What remains unchanged?
- [Optimization](https://banes-lab.com/records/reasoning/lens-optimization.md): What is the best possible state?
- [Complexity](https://banes-lab.com/records/reasoning/lens-complexity.md): How difficult is the transformation?
- [Number](https://banes-lab.com/records/reasoning/math-domain-number.md): What can be counted or measured?
- [Algebra](https://banes-lab.com/records/reasoning/math-domain-algebra.md): What rules govern transformations?
- [Geometry](https://banes-lab.com/records/reasoning/math-domain-geometry.md): What shapes and spaces exist?
- [Topology](https://banes-lab.com/records/reasoning/math-domain-topology.md): What remains invariant under deformation?
- [Analysis](https://banes-lab.com/records/reasoning/math-domain-analysis.md): How do quantities vary?
- [Logic](https://banes-lab.com/records/reasoning/math-domain-logic.md): What statements follow from others?
- [Set Theory](https://banes-lab.com/records/reasoning/math-domain-set-theory.md): What objects can be constructed?
- [Combinatorics](https://banes-lab.com/records/reasoning/math-domain-combinatorics.md): How many configurations exist?
- [Probability](https://banes-lab.com/records/reasoning/math-domain-probability.md): What outcomes are possible and likely?
- [Information Theory](https://banes-lab.com/records/reasoning/math-domain-information-theory.md): What patterns can be encoded?
- [Computation](https://banes-lab.com/records/reasoning/math-domain-computation.md): What can be generated or solved?
- [Category Theory](https://banes-lab.com/records/reasoning/math-domain-category-theory.md): How do mathematical worlds connect?
- [Set Theory](https://banes-lab.com/records/reasoning/math-type-set-theory.md): What members exist?
- [Logic](https://banes-lab.com/records/reasoning/math-type-logic.md): Does it hold, and what follows from it?
- [Graph](https://banes-lab.com/records/reasoning/math-type-graph.md): What connects what?
- [Algebra](https://banes-lab.com/records/reasoning/math-type-algebra.md): How are parts arranged under laws?
- [Analysis](https://banes-lab.com/records/reasoning/math-type-analysis.md): How do states vary?
- [Optimization](https://banes-lab.com/records/reasoning/math-type-optimization.md): What is admissible or best?
- [Topology](https://banes-lab.com/records/reasoning/math-type-topology.md): What is preserved under change?
- [Probability](https://banes-lab.com/records/reasoning/math-type-probability.md): How certain or likely is it?
- [Information Theory](https://banes-lab.com/records/reasoning/math-type-information-theory.md): What is novel, and how compressible is it?
- [Computation](https://banes-lab.com/records/reasoning/math-type-computation.md): What procedure produces it?
- [Dynamical Systems](https://banes-lab.com/records/reasoning/math-type-dynamical-systems.md): What stable pattern arises, and has it converged?
- [Ontogenesis](https://banes-lab.com/records/reasoning/model-ontogenesis.md): How does a pattern come to be?
- [Epistemology](https://banes-lab.com/records/reasoning/model-epistemology.md): How is a pattern known?
- [Cognition](https://banes-lab.com/records/reasoning/model-cognition.md): How does a system perceive, act, and adapt?
- [Pattern Cycle](https://banes-lab.com/records/reasoning/model-pattern-cycle.md): How does pattern-work proceed?
- [Observation](https://banes-lab.com/records/reasoning/mode-observation.md): What is there?
- [Description](https://banes-lab.com/records/reasoning/mode-description.md): How can it be characterized?
- [Comparison](https://banes-lab.com/records/reasoning/mode-comparison.md): How is it similar or different?
- [Classification](https://banes-lab.com/records/reasoning/mode-classification.md): Which kind is it?
- [Abstraction](https://banes-lab.com/records/reasoning/mode-abstraction.md): removing irrelevant details
- [Generalization](https://banes-lab.com/records/reasoning/mode-generalization.md): extending examples into principles
- [Formalization](https://banes-lab.com/records/reasoning/mode-formalization.md): expressing ideas symbolically
- [Explanation](https://banes-lab.com/records/reasoning/mode-explanation.md): Why is it this way?
- [Deduction](https://banes-lab.com/records/reasoning/mode-deduction.md): deriving necessary consequences
- [Construction](https://banes-lab.com/records/reasoning/mode-construction.md): building objects that satisfy rules
- [Proof](https://banes-lab.com/records/reasoning/mode-proof.md): establishing certainty
- [Prediction](https://banes-lab.com/records/reasoning/mode-prediction.md): What comes next?
- [Optimization](https://banes-lab.com/records/reasoning/mode-optimization.md): selecting preferred solutions
- [Intervention](https://banes-lab.com/records/reasoning/mode-intervention.md): How can it be changed?
- [Creation](https://banes-lab.com/records/reasoning/mode-creation.md): Can new examples be produced?
- [Reflection](https://banes-lab.com/records/reasoning/mode-reflection.md): What general principles emerge?
- [Symbolic](https://banes-lab.com/records/reasoning/pattern-type-symbolic.md): formal systems and equations
- [Number](https://banes-lab.com/records/reasoning/pattern-type-number.md): quantity and arithmetic
- [Algebra](https://banes-lab.com/records/reasoning/pattern-type-algebra.md): operations and transformations
- [Geometry](https://banes-lab.com/records/reasoning/pattern-type-geometry.md): shape and space
- [Topology](https://banes-lab.com/records/reasoning/pattern-type-topology.md): connectivity and invariance
- [Logic](https://banes-lab.com/records/reasoning/pattern-type-logic.md): truth and implication
- [Combinatorics](https://banes-lab.com/records/reasoning/pattern-type-combinatorics.md): possible arrangements
- [Statistical](https://banes-lab.com/records/reasoning/pattern-type-statistical.md): distribution and variation
- [Probability](https://banes-lab.com/records/reasoning/pattern-type-probability.md): randomness and uncertainty
- [Information](https://banes-lab.com/records/reasoning/pattern-type-information.md): compression and complexity
- [Dynamical Systems](https://banes-lab.com/records/reasoning/pattern-type-dynamical-systems.md): change over time
- [Computation](https://banes-lab.com/records/reasoning/pattern-type-computation.md): procedures and algorithms
- [Category Theory](https://banes-lab.com/records/reasoning/pattern-type-category-theory.md): relationships between structures
- [Fractal](https://banes-lab.com/records/reasoning/pattern-type-fractal.md): recursive self-similarity
- [Symbolic](https://banes-lab.com/records/reasoning/representation-symbolic.md): equations, formulas, notation
- [Logic](https://banes-lab.com/records/reasoning/representation-logic.md): statements, predicates, proofs
- [Number](https://banes-lab.com/records/reasoning/representation-number.md): numbers, quantities, measurements
- [Algebra](https://banes-lab.com/records/reasoning/representation-algebra.md): operations, groups, fields
- [Geometry](https://banes-lab.com/records/reasoning/representation-geometry.md): shapes, coordinates, spaces
- [Topology](https://banes-lab.com/records/reasoning/representation-topology.md): connectivity, continuity
- [Graph](https://banes-lab.com/records/reasoning/representation-graph.md): diagrams, graphs, networks
- [Matrix](https://banes-lab.com/records/reasoning/representation-matrix.md): linear transformations
- [Function](https://banes-lab.com/records/reasoning/representation-function.md): mappings between spaces
- [Information Theory](https://banes-lab.com/records/reasoning/representation-information-theory.md): entropy, encoding, compression
- [Probability](https://banes-lab.com/records/reasoning/representation-probability.md): distributions and likelihoods
- [Dynamical Systems](https://banes-lab.com/records/reasoning/representation-dynamical-systems.md): state transitions
- [Computation](https://banes-lab.com/records/reasoning/representation-computation.md): algorithms and programs
- [Category Theory](https://banes-lab.com/records/reasoning/representation-category-theory.md): objects and morphisms
- [Static Analysis](https://banes-lab.com/records/reasoning/technique-static-analysis.md): Reads structure and types for defects before execution
- [Unit Testing](https://banes-lab.com/records/reasoning/technique-unit-testing.md): Compares observed with expected results on an isolated unit
- [Integration Testing](https://banes-lab.com/records/reasoning/technique-integration-testing.md): Compares observed with expected results across cooperating parts
- [End To End Testing](https://banes-lab.com/records/reasoning/technique-end-to-end-testing.md): Compares observed with expected results on the whole system
- [Property Based Testing](https://banes-lab.com/records/reasoning/technique-property-based-testing.md): Asserts that an invariant holds across a generated input space
- [Differential Testing](https://banes-lab.com/records/reasoning/technique-differential-testing.md): Compares observed results with a reference implementation, the oracle
- [Contract Testing](https://banes-lab.com/records/reasoning/technique-contract-testing.md): Compares an observed interface with an agreed contract
- [Runtime Validation](https://banes-lab.com/records/reasoning/technique-runtime-validation.md): Checks boundary data against its declared shape at runtime
- [Assertion Checking](https://banes-lab.com/records/reasoning/technique-assertion-checking.md): Checks a runtime condition against an assumed invariant
- [Fuzz Testing](https://banes-lab.com/records/reasoning/technique-fuzz-testing.md): Generates adversarial inputs to provoke unhandled failures
- [Load Testing](https://banes-lab.com/records/reasoning/technique-load-testing.md): Projects behavior under expected demand
- [Stress Testing](https://banes-lab.com/records/reasoning/technique-stress-testing.md): Projects behavior past its limits to expose timing and ordering defects
- [Profiling](https://banes-lab.com/records/reasoning/technique-profiling.md): Measures the distribution of execution cost
- [Heap Analysis](https://banes-lab.com/records/reasoning/technique-heap-analysis.md): Measures allocation and retention over time
- [Tracing](https://banes-lab.com/records/reasoning/technique-tracing.md): Describes the runtime flow across components
- [Fault Injection](https://banes-lab.com/records/reasoning/technique-fault-injection.md): Induces a failure and observes the response
- [Chaos Testing](https://banes-lab.com/records/reasoning/technique-chaos-testing.md): Induces random failures and observes how the system recovers
- [Model Checking](https://banes-lab.com/records/reasoning/technique-model-checking.md): Proves that a property holds across the reachable state space
- [Deterministic Replay](https://banes-lab.com/records/reasoning/technique-deterministic-replay.md): Reproduces a run to isolate a non-deterministic cause
- [Monitoring](https://banes-lab.com/records/reasoning/technique-monitoring.md): Observes live behavior for deviations from normal
- [Mutation Testing](https://banes-lab.com/records/reasoning/technique-mutation-testing.md): Introduces a deliberate defect and checks that the tests or the rule report it
- [Read After Write Verification](https://banes-lab.com/records/reasoning/technique-read-after-write-verification.md): Reads back what was written and compares it with what was meant to be written
- [Semantic Correctness](https://banes-lab.com/records/reasoning/test-surface-semantic-correctness.md): output(input) = expected(input)
- [Functional Correctness](https://banes-lab.com/records/reasoning/test-surface-functional-correctness.md): transition in allowedTransitions
- [State Correctness](https://banes-lab.com/records/reasoning/test-surface-state-correctness.md): state[t+1] in next(state[t])
- [Interface Correctness](https://banes-lab.com/records/reasoning/test-surface-interface-correctness.md): payload models declaredSchema
- [Interaction Correctness](https://banes-lab.com/records/reasoning/test-surface-interaction-correctness.md): response = contract(request)
- [Temporal Correctness](https://banes-lab.com/records/reasoning/test-surface-temporal-correctness.md): elapsed <= deadline
- [Concurrency Correctness](https://banes-lab.com/records/reasoning/test-surface-concurrency-correctness.md): for-all interleavings: linearizable(history)
- [Memory Correctness](https://banes-lab.com/records/reasoning/test-surface-memory-correctness.md): liveSet bounded as t grows and retained delta approaches 0
- [Resource Correctness](https://banes-lab.com/records/reasoning/test-surface-resource-correctness.md): acquired = released (no leaked handles)
- [Performance Correctness](https://banes-lab.com/records/reasoning/test-surface-performance-correctness.md): latency_p99 <= budget and throughput >= floor
- [Reliability Correctness](https://banes-lab.com/records/reasoning/test-surface-reliability-correctness.md): no input leads to an unhandled fault
- [Availability Correctness](https://banes-lab.com/records/reasoning/test-surface-availability-correctness.md): uptime >= SLO under the declared fault set
- [Consistency Correctness](https://banes-lab.com/records/reasoning/test-surface-consistency-correctness.md): for-all replicas: converge(state)
- [Data Correctness](https://banes-lab.com/records/reasoning/test-surface-data-correctness.md): persisted = written and migrate then inverse = identity
- [Numerical Correctness](https://banes-lab.com/records/reasoning/test-surface-numerical-correctness.md): result is finite and not overflow and not NaN
- [Security Correctness](https://banes-lab.com/records/reasoning/test-surface-security-correctness.md): no input yields privilege escalation or injection
- [Determinism Correctness](https://banes-lab.com/records/reasoning/test-surface-determinism-correctness.md): f(x) = f(x) across runs
- [Protocol Correctness](https://banes-lab.com/records/reasoning/test-surface-protocol-correctness.md): messageSeq in protocolGrammar
- [Configuration Correctness](https://banes-lab.com/records/reasoning/test-surface-configuration-correctness.md): config models configSchema
- [Observability Correctness](https://banes-lab.com/records/reasoning/test-surface-observability-correctness.md): for-all event: emitted and measurable
- [Existence](https://banes-lab.com/records/reasoning/universal-axis-existence.md): What entities are present?
- [Arrangement](https://banes-lab.com/records/reasoning/universal-axis-arrangement.md): How are they organized?
- [Dynamics](https://banes-lab.com/records/reasoning/universal-axis-dynamics.md): How do they change?
- [Interaction](https://banes-lab.com/records/reasoning/universal-axis-interaction.md): How do they influence one another?
- [Abstraction](https://banes-lab.com/records/reasoning/universal-axis-abstraction.md): What meaning or principle can be inferred?
- [Derivation Loop](https://banes-lab.com/records/reasoning/loop-derivation-loop.md): The derivation loop runs through 10 stages, from Orient to Terminate.