# The reason face

> 279 records.

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

## Entries

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